ᕕ( ᐛ )ᕗ

Often happy, rarely content, and likely caffeinated. Writing mainly about software.

Branded Types

Oct 21, 2023

A secure-by-design domain primitive that gives type and run-time safety.

Feb 5, 2023

When your system pushes event messages, your final message should be that you have stopped pushing events.

Jan 23, 2023

One-sentence summaries and takeaways from papers, essays, and talks by people much smarter than me.