codehakase.com

Shorts

Short-form content and quick notes that don’t warrant a full blog post.

GADTs for Type-Level Domain Logic

May 7, 2025

I’ve been leveraging Generalized Algebraic Data Types (GADTs) in Haskell and found them exceptionally powerful for encoding domain-specific rules and …

Implementing Non-Copyable Embedded Structs

May 6, 2025

While working with embedded structs, I learned that even implicitly promoted fields can be silently copied if the parent struct is passed by value. This becomes …

Tmux sessionizer

May 5, 2025

I came across tmux-sessionizer today, and this has become handy in how I’m managing tmux sesisons.

For my workflow, I added an alias that’ll launch …