Submission timeline
2007–2026One slot for every year since HN launched. Height is that year's peak points; orange marks a 100+ point or 50+ comment breakout. Select a bar to open its strongest thread.
First comments on top threads
HN comment orderGodDAMN am I behind on updating this There's at least a couple more major improvements I want to make. One is fixing all of the small errors, and one is adding c-syntax. They've been stalled out due to Reasons (tm), but I'm hoping on diving back in soon.
I haven't done any work on this since July due to needing to prepare a new TLA+ workshop from scratch, but now that that's over I plan to spend a day each week doing updates. On the docket: - Moving some of the examples from Practical TLA+ over to the site - Adding more exercises to the core - Adding the new modules and TLC options showcased at this years TLAConf - Way, way more examples and advanced topics. I…
The first top-level comment from each of the four biggest threads, in HN’s own order. Excerpts are shortened; open a comment for full context.
- Breakout years
- 2
- Total points
- 650
- Total comments
- 156
100+ points or 50+ comments
reference only — not used in Hall rules or ranking
reference only — not used in Hall rules or ranking
Every submission
| Date | Title as submitted | By | Points | Comments |
|---|---|---|---|---|
| 2018-08-10 | Learn TLA+ | jxub | 3 | 0 |
| 2019-04-14 | Learn TLA+ (2018)First breakout · Best thread | brodo | 387 | 92 |
| 2022-02-08 | Learn TLA+ | creata | 3 | 0 |
| 2022-09-28 | Learn TLA+Latest 20+ point return | yarapavan | 254 | 64 |
| 2025-10-22 | Learn TLA+Hall induction | 1970-01-01 | 3 | 0 |