Psst, bored?

Maybe my ramblings can help with that.

Posts

• WebAssembly is not about the Web July 1, 2026
• Accidentally building a dependently-typed language with Z3 January 4, 2026