Formalizing Fermat's Last Theorem
•www.anthropic.com
Discovery of a new OpenAI agent message board
•collusion.wiki
Shutting down our public encrypted DNS
•mullvad.net
Show HN: Open-Source eInk Bike Computer
•opentrailpaper.com
The Rust React Compiler is now native in Vite
•blog.master.dev
Government Rails Site Hit Hours After CVE Patch
•rietta.com
IBM Bob
•bob.ibm.com
Solving the Jane Street reverse engineering challenge
•jestoph.com