Hey there! This is my personal blog. If you want to see my professional page, check out here.

Articles

• PLDI 2026 Reflections
  06-23-2026
• TinyPPL in Lean
  15-08-2025
• Category theory in Lean, Part 1
  01-08-2025
• How to integrate a polynomial over a simplex
  01-06-2025