Hillel Wayne personal blog
What TLA+ can and can't check
Let's chill just a little bit on the "TLA+ will save AI from itself" narrative
- Points
- 246
- HN comments
- 51
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringMath & Algorithms2026
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Sep 30, 2026 | What TLA+ can and can't check by b-man | 246 | 51 |
