May 15, 2026
post
Four Litres Waiting for a Quarter Teaspoon
Cheese MakingChymosin cleaves one peptide bond and milk becomes curd—simple chemistry until you're holding $24 worth of raw milk and a quarter teaspoon of enzyme.
code-a-day
You Can't Uncurdle Milk: Linear Types
Linear Types 🔗 Cheese MakingWhen transformations are irreversible, the type system should enforce it.