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 orderYes! SAT solvers are an amazing secret weapon for solving tricky problems. I've been collecting some fun examples of solver-aided programming here: https://github.com/kach/recreational-rosette (also, not in that repo, but still interesting: https://github.com/kach/tower-of-power).
https://archive.is/zE6eQ
(2018). I remember reading it then and liking it very much.
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
- 595
- Total comments
- 181
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-03 | Modern SAT solvers: fast, neat and underusedFirst breakout · Best thread | ScottWRobinson | 368 | 90 |
| 2020-05-04 | Modern SAT solvers: fast, neat and underused (part 1 of N) | Liriel | 1 | 1 |
| 2023-05-26 | Modern SAT solvers: fast, neat and underused (2018)Latest 20+ point return | weird_user | 226 | 90 |