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
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.
Pigshell: Unix the Web(pigshell.com)
63 points by pbohun | 18 comments
Pigshell 0.6.4 is a browser-based Unix-style shell that represents web resources and cloud data as files you can process with command pipelines.
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.
Successful People (2013)(blog.samaltman.com)
13 points by epestr | 7 comments
A short 2013 blog post by Sam Altman arguing that the most successful founders pursue a religion-like mission rather than setting out to build companies.
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
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.
LittleJS is 2D and 3D now(frankforce.com)
91 points by dmit | 36 comments
Blog post by Frank Force announcing that LittleJS, a small open source JavaScript web game engine, now supports 3D in addition to 2D.
An interactive guide to SVG paths(joshwcomeau.com)
429 points by joshwcomeau | 43 comments
Josh Comeau's interactive tutorial explaining how the SVG path element and its drawing commands work.
Web development is fun again(ma.ttias.be)
444 points by Mojah | 544 comments
Mattias Geniar's blog post reflecting on how web development felt simpler in the PHP 4 and jQuery era and arguing it has become fun again.
Train Your Own LLM from Scratch(github.com)
376 points by kristianpaul | 43 comments
GitHub repository by angelos-p providing code and docs for training your own large language model from scratch.
Programming with Less Than Nothing(joshmoody.org)
407 points by signa11 | 138 comments
A blog post by Josh Moody presenting a fictional interview where FizzBuzz is implemented in JavaScript using only S and K combinators.