LLMs could be, but shouldn't be compilers(alperenkeles.com)104 points by alpaylan 8 months ago | 112 comments
λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)149 points by ux266478 8 months ago | 36 comments
Lamport's Byzantine Generals Algorithm in Python(bytepawn.com)14 points by Maro 1 year ago | 1 comments
Experimenting with LLMs to Research, Reflect, and Plan(eugeneyan.com)131 points by gk1 3 years ago | 14 comments
I built a programming language using Claude Code(ankursethi.com)101 points by GeneralMaximus 7 months ago | 146 comments