3511.
3512.
3513.
Verus is a tool for verifying the correctness of code written in Rust
(news.ycombinator.com)
3514.
Tim Cook stepping down as Apple CEO, John Ternus taking over
(techcrunch.com)
3515.
AI Resistance: some recent anti-AI stuff that’s worth discussing
(news.ycombinator.com)
3516.
AI Resistance Is Growing
(news.ycombinator.com)
3517.
Tim Cook will still be Apple’s Trump whisperer
(theverge.com)
3518.
Goop Kitchen is opening 7 NYC locations—but you might never step inside one
(feeds.feedburner.com)
3519.
F-35 is built for the wrong war
(news.ycombinator.com)
3520.
F-35 is a masterpiece built for the wrong war
(news.ycombinator.com)
3521.
3522.
How Startups Can Outmaneuver Big Companies and Carve Their Own Market
(feeds.feedburner.com)
3523.
3524.
3525.
Blue Origin rocket grounded after satellite 'mishap'
(feeds.bbci.co.uk)
3526.
3527.
3528.
Apple Music suffering second outage in two weeks
(9to5mac.com)
3529.
3530.
3531.
3532.
7 Overlooked Ways to Cut Costs in Your Business Right Now
(feeds.feedburner.com)
3533.
3534.
3535.
US opens refund portal to start paying back Trump's illegal tariffs
(arstechnica.com)
3536.
Here's how F1 is tweaking its hybrid systems to try to save the show
(arstechnica.com)
3537.
The Palantir's Stasi Protocols
(news.ycombinator.com)
3538.
The USC Professor Who Pioneered Socially Assistive Robotics
(spectrum.ieee.org)
3539.
Feel Like a Fraud? Read This Before You Doubt Yourself Again
(feeds.feedburner.com)
3540.
When will gas drop below $3 again? The government just gave a timeline
(feeds.feedburner.com)
Today's top topics:
apple
google
android
juul
puff bar
synthetic nicotine
vaping
youtube
apple cash
openai