14431.
14432.
14433.
14434.
14435.
Xr0 verifier, guarantee the safety of C programs at compile time
(news.ycombinator.com)
14437.
14438.
Show HN: Offline tiles and routing and geocoding in one Docker Compose stack
(news.ycombinator.com)
14439.
Zeit v1
(news.ycombinator.com)
14440.
14441.
Now's Your Chance to Get a Quality Refurbished MacBook Air for $200
(feeds.feedburner.com)
14442.
14443.
14444.
14445.
14446.
Not for Human Consumption
(news.ycombinator.com)
14447.
14448.
I love Google Gemini — but not on a screen, in my fridge
(androidauthority.com)
14449.
14450.
This smart home controller is literally a piece of wood
(theverge.com)
14451.
1Password Coupon: Score a Free Trial in January
(wired.com)
14452.
An AI strategist explains why she stopped setting New Year’s goals
(feeds.feedburner.com)
14453.
Trump says Venezuela’s Maduro captured after strikes
(news.ycombinator.com)
14454.
IQuest-Coder: A new open-source code model beats Claude Sonnet 4.5 and GPT 5.1 [pdf]
(news.ycombinator.com)
14455.
Inside Elon Musk’s Optimus Robot Project
(feeds.content.dowjones.io)
14456.
I charged $18k for a Static HTML Page (2019)
(news.ycombinator.com)
14457.
I wrote the manual Karpathy said was missing for agentic AI
(news.ycombinator.com)
14458.
From boots to Bernie: Zohran Mamdani’s inauguration served up many viral moments
(feeds.feedburner.com)
14459.
Global software engineering job postings outlook – 2026
(news.ycombinator.com)
14460.