All articles

Vibe Coding Pintos Sep 28, 2026
Changing the theme of the blog Feb 7, 2026
What the date? Nov 13, 2023
Producing long and short versions of a paper in LaTeX Feb 27, 2023
Neo-Classical Logic (SIGBOVIK 2022) Apr 1, 2022
Meta-Programming in LaTeX Mar 1, 2022
Statically Verified Refinements for Multiparty Protocols @ OOPSLA '20 Mar 29, 2020