ᕕ( ᐛ )ᕗ

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

Tainted Types


A value object that lets you mark data like user input as dangerous and force all downstream code to handle it correctly.
Read more ⟶

Branded Types


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

Always Tell When You Stop Telling


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