Learning a new programming language with an LLM
feeding.cloud.geek.nz·13h
Formalization of Erdős problems
xenaproject.wordpress.com·2d
The Easiest Way to Build a Type Checker
jimmyhmiller.github.io·10h
Reliable AWS Lambda Data Pipelines with AsyncAPI Specification • Hari Krishnan • GOTO 2025
youtube.com·30m
Squint Testing Lisps
blog.toast.cafe·16h
Schemas, Channels & Messages in MCAP
mmhaskell.com·1h
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·1d
Theory and AI Alignment
scottaaronson.blog·1d
2025 in Review: A Year of Smarter, Context-Aware API Security
lab.wallarm.com·1h
Crafting Interpreters in Rust: Parsing Unary Negation
blog.differentpla.net·22h
Loading...Loading more...