lson.dev
/blog
Posts
2025-09-25
|
system-design, software-engineering
Enforceable Correctness
The price of getting computers to help you