Plugtest
(news.ycombinator.com)
10681.
10682.
TorchLean: Formalizing Neural Networks in Lean
(news.ycombinator.com)
10683.
Running a One Trillion-Parameter LLM Locally on AMD Ryzen AI Max+ Cluster
(news.ycombinator.com)
10684.
Raspberry Pi Pico as AM Radio Transmitter
(news.ycombinator.com)
10685.
The trap Anthropic built for itself
(techcrunch.com)
10686.
Poll: Code with AI or Not?
(news.ycombinator.com)
10687.
Show HN: Xmloxide – an agent made rust replacement for libxml2
(news.ycombinator.com)
10688.
Claude is the Number 2 Free App in Apple’s App Store Now
(gizmodo.com)
10689.
Programmable Cryptography (2024)
(news.ycombinator.com)
10690.
10691.
10692.
MinIO Is Dead, Long Live MinIO
(news.ycombinator.com)
10693.
10694.
10695.
10696.
10697.
10698.
Trump moves to ban Anthropic from the US government
(arstechnica.com)
10699.
Block the “Upgrade to Tahoe” Alerts
(news.ycombinator.com)
10701.
Flip Distance of Convex Triangulations and Tree Rotation Is NP-Complete
(news.ycombinator.com)
10702.
Moldova broke our data pipeline
(news.ycombinator.com)
10703.
Verified Spec-Driven Development (VSDD)
(news.ycombinator.com)
10704.
Obsidian Sync now has a headless client
(news.ycombinator.com)
10705.
10706.
10707.
10708.
Why China’s humanoid robot industry is winning the early market
(techcrunch.com)
10709.
10710.
Today's top topics:
google
gemini
openai
google io
android
anthropic
apple
microsoft
android authority
google io 2026