Learning a new programming language with an LLM
feeding.cloud.geek.nz·11h
Formalization of Erdős problems
xenaproject.wordpress.com·2d
The Easiest Way to Build a Type Checker
jimmyhmiller.github.io·8h
Squint Testing Lisps
blog.toast.cafe·15h
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·1d
Theory and AI Alignment
scottaaronson.blog·1d
Crafting Interpreters in Rust: Parsing Unary Negation
blog.differentpla.net·20h
Loading...Loading more...