- #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