9871.
9872.
9873.
Police Investigating Weird Man Found in Waymo by Passenger
(futurism.com)
9874.
Alpine A390 Review: Price, Specs, Availability
(wired.com)
9875.
Lean theorem prover mathlib
(news.ycombinator.com)
9876.
Lean Theorem Prover Mathlib
(news.ycombinator.com)
9877.
Venezuela explained in 10 maps and charts
(news.ycombinator.com)
9878.
9879.
9880.
9881.
VPN location claims don't match real traffic exits
(news.ycombinator.com)
9882.
9884.
Essential Semiconductor Physics,Mark Lundstrom Purdue University [pdf]
(news.ycombinator.com)
9885.
Purrtran – ᓚᘏᗢ – A Programming Language for Cat People
(news.ycombinator.com)
9886.
Building an efficient hash table in Java
(news.ycombinator.com)
9887.
9888.
9889.
9890.
9891.
9892.
The Samsung Galaxy S26 is already the worst phone of 2026
(androidauthority.com)
9894.
How Governments Turn the Internet Into a Weapon
(gizmodo.com)
9895.
9896.
9897.
Scientists Discover Strong Upside for Men Getting Castrated
(futurism.com)
9898.
AI Can Make Decisions Better Than People Do. So Why Don’t We Trust It?
(feeds.content.dowjones.io)
9899.
9900.
Today's top topics:
openai
microsoft
elon musk
google
sam altman
apple
amazon
android authority
sony
android