- #formal #lean
- Statistical Learning Theory in Lean 4: Empirical Processes from Scratch
- Formalizing Gröbner Basis Theory in Lean
- Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
- #idea #openweb
- </> htmx ~ Prefer If Statements To Polymorphism...
- #lean #formal
- LeanArchitect: Automating Blueprint Generation for Humans and AI
- #lean #py
- Calling Lean Functions As Python Functions
- #rust
- One page of async Rust
- Adventures in Rust borrowing deserialisation
- #rust #agent #jj
- Interview With Steve Klabnik
- #rust #zig
- make.ts
- CI In a Box
- Programming Aphorisms
- Justifying text-wrap: pretty