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 →