Mōdsefa.Donate

Blog

Modsefa's Origin: A New View of Validators and Transactions

11/1/2025 · N. Meyer

A look at the relationship between a "validator as a classifier" and a "dApp as a set of valid transactions," and how this concept led to Modsefa.

Read more →

The Modsefa Spec: Types for Guarantees, Values for Code-Gen

11/2/2025 · N. Meyer

Modsefa's Three-Stage Architecture: From Types to IR

Read more →