Lean Grimoire(terrytao.wordpress.com)
51 points by smilelamp | 8 comments
Terence Tao blog post announcing Lean Grimoire, a coding-agent-rebuilt version of his QED logic crafting game with Lean proof display and a fantasy mode.
First screen, captured . Open the video.
Full page
Captured . Click for the whole screenshot.
Looks similar
Awesome repositories are no longer awesome(erikgahner.github.io)
239 points by erikgahner | 116 comments
A blog post arguing that GitHub 'awesome' curated lists have become less useful due to outdated content and floods of AI-generated pull requests promoting vibe-coded sites.
I struggle to believe that AI R&D is ingenious(lesswrong.com)
136 points by porridgeraisin | 155 comments
A LessWrong shortform comment by Arjun Panickssery arguing AI agents show poor research judgment in autonomous R&D side projects like a Scrabble engine and philosophy research.
JIT bitmap text rendering for microcontrollers(linebender.org)
102 points by dmit | 22 comments
Raph Levien's Linebender blog post describing a JIT technique for fast proportional bitmap text rendering on the RP2350 microcontroller in his vic-2350 project.
JIT bitmap text rendering for microcontrollers(linebender.org)
5 points by raphlinus | 1 comments
Raph Levien's Linebender blog post describing a JIT technique for fast proportional bitmap text rendering on the RP2350 microcontroller for his vic-2350 project.
Variable-width Bézier curves (2025)(luthert.web.illinois.edu)
26 points by leduyquang753 | 7 comments
A blog post by Luther Tychonievich explaining how to draw variable-width (pressure-sensitive) Bézier curves with current 2D graphics APIs for board-work tablet apps.
Related stories
What a Hacker Stole from Me(mynoise.net)
355 points by wonger_ | 106 comments
A myNoise blog post by founder Stéphane describing a hacker's attack on the myNoise website, first via code-injection attempts and then a different strategy.
I'm just having fun(jyn.dev)
457 points by lemper | 209 comments
A blog post by jyn, a compiler engineer, arguing that programming isn't a competition and that they write about technical topics simply for fun.
I’ve removed Disqus. It was making my blog worse(ryansouthgate.com)
510 points by ry8806 | 294 comments
A personal blog post explaining why the author removed the Disqus comment system from his blog, citing its injected ads.
That's not an abstraction, that's a layer of indirection(fhur.me)
546 points by fagnerbrack | 213 comments
A blog post arguing that many so-called abstractions in codebases are merely layers of indirection that add complexity and hurt performance without real value.
I miss thinking hard(jernesto.com)
1166 points by jernestomg | 633 comments
A personal blog post venting that the author rarely spends days thinking hard about difficult problems anymore, tagged as an opinion piece on AI.
My old job feels distant now(pinecoder.dev)
28 points by speckx | 27 comments
A personal blog post on pinecoder.dev reflecting on how the author's previous job now feels distant.