Andrew Helwer personal blog
The current state of TLA⁺ development
The 2025 TLA⁺ Community Event was held last week on May 4th at McMaster University in Hamilton, Ontario, Canada. It was a satellite event to ETAPS 2025, which I also attended, and plan to write about in the near future. I gave a talk somewhat-hucksterishly titled It’s never been easier to write TLA⁺ tooling! which I…
- Points
- 142
- HN comments
- 42
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringSystems & Performance2025
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| May 15, 2025 | The current state of TLA⁺ development by todsacerdoti | 142 | 42 |
