Interview With Susam Pal - Oct 2025

Susam builds tiny, lightweight, minimalist tools for programmers and scholars.

Interview With Hillel Wayne - Aug 2025

Hillel Wayne breathes formal methods.