- #agent/idea
- A Year Of Vibes
- #browser
- iOS Web Browser Latency
- #build #cpp
- cpx - A batteries-included Cargo-like CLI for C++.
- #cg #math
- ANCIENT GREEK GEOMETRY
- #formal #lean
- From Zero to QED: An informal introduction to formality in Lean 4
- #idea #sec #selfhost
- Notes on the Great Western Splinternet Civil War
- #lang
- Nature Programming Language
- #math/app
- Are Two Heads Better Than One?
- #selfhost/data
- Mass quitting Apple
- #system
- How I Left YouTube
- #wayland
- phoenix - A modern X server written from scratch