How to Formalize All of Mathematics
We haven't written up this one. Hacker News has the full story — the link below goes straight to it.
More in Tech
25 Years Later, DC's Most Innovative Sci-Fi Show Changed Superheroes Forever
Smallville turns 25. Its focus on Clark Kent, friendship with Lex Luthor, and “no tights, no flights” rule helped change superhero TV.
Super Scam Me documentary shows what it takes to catch a romance scammer
Watch an exclusive clip from Super Scam Me where a victim tracks down her scammer.
Super Scam Me documentary shows what it takes to catch a romance scammer
Watch an exclusive clip from Super Scam Me where a victim tracks down her scammer.
Tesla turns to 50-year-old stunt technology as it tries to Roadster again
If you want to make a car spin in the air, compressed gas is a good way to do it.
iPhone Duo Preorders Are Live, But Shipping Is Already Pushed into 2027
Preorders are live for Apple's brand-new foldable iPhone Duo, but shipping is already pushed into 2027.
Lenovo Yoga Pro 9i Gen 11 Aura Edition review: A creative studio that fits in your backpack
An absurdly powerful laptop designed for workstation-level performance in the creative space, while keeping Lenovo's stylish design. But is the cost worth it?