Hillel Wayne personal blog
Modeling Redux with TLA+
Update 01/07/19 Greetings from 2019! The good news is that Chicago isn’t yet a radioactive crater. The bad news is almost everything I said about refinement in this article is wrong. I’m working on writing a more in-depth, rigorous treatment of refinement as its own article. But this one is currently explaining…
- Points
- 132
- HN comments
- 33
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringWeb & Frontend2018
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Mar 12, 2018 | Modeling Redux with TLA+ by hellerve | 132 | 33 |
