17041.
17042.
Sequoia backs Zed
(news.ycombinator.com)
17043.
17044.
Lean proof of Fermat's Last Theorem [pdf]
(news.ycombinator.com)
17045.
17046.
17047.
17048.
Show HN: Nestable.dev – local whiteboard app with nestable canvases, deep links
(news.ycombinator.com)
17049.
17050.
17051.
17052.
Say farewell to the AI bubble, and get ready for the crash
(news.ycombinator.com)
17053.
AI Assistants Are Just Alexa All Over Again
(gizmodo.com)
17054.
17055.
The 12 Best Eye Creams of 2025
(cnet.com)
17056.
Using pollen to make paper, sponges, and more
(arstechnica.com)
17057.
Do Large Language Models Dream of AI Agents?
(wired.com)
17058.
17059.
17060.
17061.
Perplexity’s Comet AI browser tricked into buying fake items online
(bleepingcomputer.com)
17062.
Debugging Behind the Iron Curtain (2010)
(news.ycombinator.com)
17063.
Best Options for Using AI in Chip Design
(news.ycombinator.com)
17064.
17065.
17066.
Zoox taps ex-Uber Pool exec’s startup for routing software help
(techcrunch.com)
17067.
Microsoft boss troubled by rise in reports of 'AI psychosis'
(feeds.bbci.co.uk)
17068.
17069.
17070.
The Pixel Watch 4’s new Gemini-powered fitness coach brings personalized fitness guidance
(androidauthority.com)
Today's top topics:
openai
anthropic
spacex
cnet
spice
oscilloscope
claude code
squarespace
retailer
bluesky