Jun 17, 2026 A number is not just a number: how to make the compiler catch unit bugs Passing milliseconds where seconds were expected is a bug that passes every test. type-level-correctnessunitstypescriptzero-cost-abstractions
