3391.
3392.
A Good Lemma Is Worth a Thousand Theorems (2007)
(news.ycombinator.com)
3393.
3394.
Schanuel's Conjecture and the Semantics of Triton's FPSan
(news.ycombinator.com)
3395.
The Messy Courtroom Drama Over AI’s Biggest Breakup
(feeds.content.dowjones.io)
3396.
I broke AppLovin's mediation cipher protocol
(news.ycombinator.com)
3397.
3398.
3399.
SQL patterns I use to catch transaction fraud
(news.ycombinator.com)
3401.
Kioxia and Dell Cram Nearly 10PB Into a Single 2U Server
(slashdot.org)
3402.
3403.
Russia pressures university students to become wartime drone pilots
(arstechnica.com)
3404.
3405.
3406.
Best price: Ring Floodlight Cam Pro available for just $229.99
(androidauthority.com)
3407.
3408.
Sam Raimi’s Next Movie Could Be His Creepiest Yet
(gizmodo.com)
3409.
The Era of 15GB Free Gmail Storage Is Ending
(slashdot.org)
3410.
3411.
SpaceX Is Aiming to Go Public on June 12 in What Stands to Be Biggest IPO Ever
(feeds.content.dowjones.io)
3412.
Meta to receive $3.3B in tax breaks for its $10B Louisiana data center
(news.ycombinator.com)
3413.
Ask an Astronaut: 333 hours of Q&A footage with astronauts
(news.ycombinator.com)
3414.
3415.
3416.
Echoes (Live at Pompeii)
(news.ycombinator.com)
3417.
Claude helps recover $400,000 in Bitcoin after a very expensive stoner mistake
(androidauthority.com)
3418.
Waymo updates 3,800 robotaxis after they 'drive into standing water'
(news.ycombinator.com)
3419.
Waymo recalls 3,800 robotaxis after they drive into flood waters
(news.ycombinator.com)
3420.
Building a UMatrix Replacement
(news.ycombinator.com)
Today's top topics:
google
apple
android authority
meta
openai
anthropic
android
microsoft
android 17
amazon