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.
Top comments
Yes! 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.
HN stats
- 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 |