I vibed a proof of Conway's conjecture(overreacted.io)

215 points by m-hodges 1 month ago | 186 comments

RSC for Lisp Developers(overreacted.io)

46 points by bundie 1 year ago | 39 comments

Open Social(overreacted.io)

882 points by knowtheory 1 year ago | 353 comments

Dan Abramov's overreacted blog post arguing that social media should follow open source's path, built on open protocols like AT Protocol.

There are no instances in ATProto(overreacted.io)

509 points by danabramov 4 months ago | 289 comments

Dan Abramov's Overreacted blog post explaining why the concept of "instances" from Mastodon doesn't apply to Bluesky's AT Protocol.

JSX over the Wire(overreacted.io)

221 points by danabramov 1 year ago | 138 comments

Progressive JSON(overreacted.io)

532 points by kacesensitive 1 year ago | 215 comments

Dan Abramov's overreacted blog post explaining the idea of progressively streaming JSON, analogous to progressive JPEGs, and how React Server Components use it.

The Mathocalypse(scottaaronson.blog)

361 points by 6bitquant 18 days ago | 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.

Why Math Dumped OpenAI(raymyers.org)

11 points by xeonmc 9 days ago | 0 comments

A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.

Human mathematicians are being outcounterexampled(xenaproject.wordpress.com)

456 points by artninja1988 3 months ago | 225 comments

A Xena Project blog post about mathematicians being outpaced at finding counterexamples, from the blog on mathematicians learning the Lean theorem prover.

That's not an abstraction, that's a layer of indirection(fhur.me)

546 points by fagnerbrack 1 year ago | 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.

How to Formalize All of Mathematics(xenaproject.wordpress.com)

62 points by practal 10 days ago | 53 comments

A Xena Project blog post by Kevin Buzzard's group on how to formalize all of mathematics using the Lean theorem prover.

The Mathocalypse(scottaaronson.blog)

15 points by philipfweiss 18 days ago | 1 comments

Scott Aaronson's Shtetl-Optimized blog post reacting to OpenAI releasing hundreds of AI-solved major math results, including one his wife worked on.