Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by jaycrowell
Solving the Whole Year Puzzle with Z3
19 points
jaycrowell
2025-11-17T01:42:20Z
jcrowell.net