Blog
with technical and non-technical musings. Highlights:
Bootstrapping Compilers and T-diagrams
Kami is Graph Contraction
Two Lovely Talks from POPL 2020
Circle-Circle Intersections
Closest Point on Cube