· software
Proving Liveness with TLA
Article URL: https://roscidus.com/blog/blog/2026/01/01/tla-liveness/ Comments URL: https://news.ycombinator.com/item?id=46471699 Points: 9 Comments: 0...
-
- · software
TLA+ Modeling Tips
Model minimalistically Start from a tiny core, and always keep a working model as you extend. Your default should be omission. Add a component only when you ca...
- · software
Should CSS be a constraint system instead?
CSS is hard. The layout rules are quite complex and hard to pick up just from examples. Something like “centering a ” is, like, famously a problem. Or remember...