My blogposts
- Oct 22, 2025
Or, what's so nice about filtered colimits
- Oct 13, 2025
With the power of geometry, anything is intuitable.
- Oct 11, 2025
With a pinch of life lessons.
- Sep 22, 2025
Taking the scenic route
- Mar 9, 2024
- Dec 24, 2023
- May 5, 2023
- Mar 21, 2023
My projects
- The Styff programming language online playground. Try it! (WARNING: abandoned project :/)
- MyOwnTT - an implementation of dependent type theory with dependent records.
- An example implementation for type checking system F using pure bidi.