Xr0 verifier, guarantee the safety of C programs at compile time
(news.ycombinator.com)
9811.
9812.
RIP to All the Tech We've Lost in 2025
(cnet.com)
9814.
Rust is beyond object-oriented, part 3: Inheritance (2023)
(news.ycombinator.com)
9815.
Not for Human Consumption
(news.ycombinator.com)
9816.
The Kimwolf botnet is stalking your local network
(news.ycombinator.com)
9817.
Inside Elon Musk’s Optimus Robot Project
(feeds.content.dowjones.io)
9818.
Microsoft kills official way to activate Windows 11/10 without internet
(news.ycombinator.com)
9819.
From boots to Bernie: Zohran Mamdani’s inauguration served up many viral moments
(feeds.feedburner.com)
9820.
Daft Punk Easter Egg in the BPM Tempo of Harder, Better, Faster, Stronger?
(news.ycombinator.com)
9821.
Researchers spot Saturn-sized planet in the “Einstein desert”
(arstechnica.com)
9822.
9823.
9824.
Where are Engadget's CES 2025 winners now?
(engadget.com)
9825.
9826.
9827.
9828.
9829.
9831.
9832.
IPv6 just turned 30 and still hasn't taken over the world
(news.ycombinator.com)
9833.
9834.
9835.
9836.
The Kimwolf Botnet is Stalking Your Local Network
(krebsonsecurity.com)
9837.
The Netflix Simian Army (2011)
(news.ycombinator.com)
9838.
How Trump’s tariffs and fight with the Fed shaped the U.S. stock market in 2025
(feeds.feedburner.com)
9839.
Today's top topics:
openai
elon musk
microsoft
google
sam altman
apple
android authority
sony
amazon
android