The Four-Color Theorem 1852–1976
(news.ycombinator.com)
61.
62.
Trump's global tariffs struck down by US Supreme Court
(news.ycombinator.com)
63.
64.
Learning Lean: Part 1
(news.ycombinator.com)
65.
66.
Google quietly fixed a big annoyance with Android’s Driving Mode
(androidauthority.com)
67.
68.
Create Amazon-Ready Books Without the Busywork With This AI Book Creator for 82% Off
(feeds.feedburner.com)
69.
The best record players for 2026
(engadget.com)
70.
71.
72.
Long-Sought Proof Tames Some of Math's Unruliest Equations
(news.ycombinator.com)
73.
Show HN: A custom font that displays Cistercian numerals using ligatures
(news.ycombinator.com)
74.
Five disciplines discovered the same math independently – none of them knew
(news.ycombinator.com)
77.
YouTube auto-dub translations just got a whole lot better
(androidauthority.com)
78.
79.
80.
Automatic Programming
(news.ycombinator.com)
81.
Naples' 1790s civil war was intensified by moral panic over Real Analysis (2023)
(news.ycombinator.com)
82.
Common Lisp Extension for Zed
(news.ycombinator.com)
83.
84.
OpenAI’s latest product lets you vibe code science
(technologyreview.com)
85.
Scientists Say Go Ahead, Keep Gooning
(futurism.com)
86.
87.
Airlines are preparing for major disruptions this weekend—here’s how to benefit from it
(feeds.feedburner.com)
88.
What is human-centric design and why does it matter?
(feeds.feedburner.com)
89.
Show HN: UltraContext – A simple context API for AI agents with auto-versioning
(news.ycombinator.com)
90.