Corrigenda

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 all in kind.

Essays and Notes

• Notes on Engine Development
• Rust Traits as Existential Types ^in-prog
• Introduction to Effect Systems ^to-do
• Notating the Has-Type Relation ^to-do
• Statements and Expressions ^to-do
• Color Maps for Visualizing Data ^to-do
• Omnium Gatherum Mathematicum

※ I don’t use llms and never will.

Presentations

• Writing a Top-10 Chess Engine in Rust f. RustWeek 2026 · recording · slides

Proxima and Ephemera

• Recently I finished reading
  • Bloom Into You
  • The Incandescent
  • The Long-Lived King
  • The Everlasting
  • Kase-san and Yamada
  • Kase-san and . . .
  • Handsome Girl and Sheltered Girl
  • Surviving Romance
  • Pure Villain
  • The Summer You Were There