Looks similar
Related stories
The Mathocalypse(scottaaronson.blog)
361 points by 6bitquant | 380 comments
Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.
PeerTube is a free, decentralized and federated video platform(github.com)
592 points by doener | 274 comments
GitHub repository for PeerTube, an AGPL-licensed ActivityPub-federated video streaming platform that uses P2P delivery in the browser.
That's not an abstraction, that's a layer of indirection(fhur.me)
546 points by fagnerbrack | 213 comments
A blog post arguing that many so-called abstractions in codebases are merely layers of indirection that add complexity and hurt performance without real value.
Human mathematicians are being outcounterexampled(xenaproject.wordpress.com)
456 points by artninja1988 | 225 comments
A Xena Project blog post about mathematicians being outpaced at finding counterexamples, from the blog on mathematicians learning the Lean theorem prover.
Cryptographers solve decades-old privacy problem(nautil.us)
324 points by Brajeshwar | 124 comments
Nautilus article by Madison Goldberg on cryptographers' advance toward fully private database lookups and internet searches (private information retrieval).
The Chalk and the Airplane(unintendedconsequenc.es)
23 points by paulorlando | 9 comments
Blog essay on mathematicians' emotional reactions to AI-generated proofs, framing it as the end of math's romantic era and comparing it to past industrial disruptions.












