koragenda

I trip on light fantastick toe
and type check in my head’s I go;
some terms of order high I’ll bind,
reduce, and judge, for every kind.

Essays and Notes

• Notes on Engine Development
• Color Maps for Visualizing Data
• Introduction to Effect Systems ^wip
• Notating the Has-Type Relation ^wip
• Statements and Expressions ^wip

Proxima and Ephemera

• I’ll be speaking at RustWeek 2026.
• Here’s me at the Lingering Garden.