GoKawiil
Solving Fermat: Andrew Wiles
(news.ycombinator.com)
1.
2.
Android Auto has a developer menu you can access in seconds
(engadget.com)
3.
4.
A beloved way to watch live TV on Android Auto is riding off into the sunset
(androidauthority.com)
5.
What's a Mathematician to Do?
(news.ycombinator.com)
6.
7.
Micron Ships Gigantic 245TB SSD
(slashdot.org)
8.
9.
Pentagon Begins Releasing New Files On UFOs
(slashdot.org)
10.
Apple, Intel Have Reached Preliminary Chip-Making Agreement
(slashdot.org)
11.
AI Hard Drive Shortage Makes Archiving the Internet Harder
(slashdot.org)
12.
13.
14.
First Segment of the Fehmarnbelt Tunnel Is In Place
(slashdot.org)
15.
The Canvas Hack Is a New Kind of Ransomware Debacle
(slashdot.org)
16.
Sam Altman Had a Bad Day In Court
(slashdot.org)
17.
IMF Warns New AI Models Risk 'Systemic' Shock To Finance
(slashdot.org)
18.
60% of MD5 Password Hashes Are Crackable In Under an Hour
(slashdot.org)
19.
Fundamental Theorem of Calculus
(news.ycombinator.com)
20.
A Renaissance gambling dispute spawned probability theory
(news.ycombinator.com)
21.
22.
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover
(news.ycombinator.com)
23.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
(news.ycombinator.com)