Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
(news.ycombinator.com)
23971.
23972.
23973.
23974.
23975.
23976.
Founder of GitLab battles cancer by founding companies
(news.ycombinator.com)
23977.
23978.
Seeing Like a Spreadsheet
(news.ycombinator.com)
23979.
23980.
23981.
Militarized snowflakes: The accidental beauty of Renaissance star forts
(news.ycombinator.com)
23982.
23983.
These iPad apps will make you wish you had more free time
(techcrunch.com)
23986.
Audio tapes reveal mass rule-breaking in Milgram's obedience experiments
(news.ycombinator.com)
23987.
Folk are getting dangerously attached to AI that always tells them they're right
(news.ycombinator.com)
23988.
23989.
23990.
23991.
Roulette Computers: Hidden Devices That Predict Spins
(news.ycombinator.com)
23992.
23993.
23994.
Entrepreneurs Can Now Access 1,000+ Professional Courses for Just $19.97 for Life
(feeds.feedburner.com)
23995.
23996.
23997.
23998.
Explanation for why we don't see two-foot-long dragonflies anymore fails
(arstechnica.com)
23999.
24000.
Spanish legislation as a Git repo
(news.ycombinator.com)
Today's top topics:
vernor vinge