The Pentagon formally labels Anthropic a supply-chain risk
(theverge.com)
601.
602.
603.
The disappearing Form D (2018)
(news.ycombinator.com)
604.
605.
Editing changes in patch format with Jujutsu
(news.ycombinator.com)
606.
607.
130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?
(news.ycombinator.com)
608.
609.
I Audited the Privacy of Popular Free Dev Tools, the Results Are Terrifying
(news.ycombinator.com)
610.
611.
Data Does Not Speak to You
(news.ycombinator.com)
612.
613.
Former NASA chief turned ULA lobbyist seeks law to limit SpaceX funding
(arstechnica.com)
615.
616.
WebMCP is available for early preview
(news.ycombinator.com)
617.
TorchLean: Formalizing Neural Networks in Lean
(news.ycombinator.com)
618.
We Will Not Be Divided
(news.ycombinator.com)
619.
Apple and Netflix team up to air Formula 1 Canadian Grand Prix
(techcrunch.com)
621.
Google paid startup Form Energy $1B for its massive 100-hour battery
(techcrunch.com)
623.
625.
GNU Texmacs
(news.ycombinator.com)
626.
628.
629.
Today's top topics:
openai
anthropic
apple
ai safety
google
ios 27
dario amodei
nvidia
iphone 18 pro
artificial intelligence