- MLIR
- unification
- GRIN
- demand analysis
- tabled typeclass resolution
- ZX
- pwn.college
- semantics of general relativity
- mathemagic
- oripa and FOLD
- tensegrity
- uncivilization
- CSES
- USACO
- rete
- number theory / amalgam
- sampleraytracer
- bijective combinatorics
- Why do people stay poor?
- Talk: p-adics
- Talk: smallpt-hs