Recommendations you can check.
Co-creator of Redux and long-time React core contributor; writes overreacted.io.
8 things
CodexSoftware OpenAI
Codex has a really nice "Goals" feature that periodically reminds the sessions what they're supposed to be doing, which makes it easier to prevent drift.
Account of using AI models and Lean over a month to produce a proof of a Conway conjecture.
2026-09-18·overreacted.io ↗
ChatGPTSoftware OpenAI
While Claude made important contributions, on average ChatGPT seemed better at new mathematical thinking, and definitely better at coordination and adhering to goals.
Account of using AI models and Lean over a month to produce a proof of a Conway conjecture.
2026-09-18·overreacted.io ↗
TangledSoftware
If you want to try new apps or make new apps, you can do that too! Check out Tangled and Semble, which have nothing to do with Bluesky.
Essay explaining atproto decentralization and why there are no Bluesky instances.
2026-06-19·overreacted.io ↗
SembleSoftware
If you want to try new apps or make new apps, you can do that too! Check out Tangled and Semble, which have nothing to do with Bluesky.
Essay explaining atproto decentralization and why there are no Bluesky instances.
2026-06-19·overreacted.io ↗
pdslsSoftware
Open pdsls. If you want to explore the Atmosphere (at://-mosphere, get it?), pdsls is the best starting point.
Essay on atproto as a social filesystem, with a tour of the Atmosphere.
2026-01-18·overreacted.io ↗
LeanSoftware
It took me an entire month of my free time and a boatload of tokens, but I believe I've obtained a Lean proof of this conjecture posed by John Conway 50 years ago
Account of using AI models and Lean over a month to produce a proof of a Conway conjecture.
2026-09-18·overreacted.io ↗
EuroskyService
If you want to swap your hosting, you can. I literally did this today. Aside from three or four UX snags, it was all automatic. My atproto stuff is at Eurosky now.
Essay explaining atproto decentralization and why there are no Bluesky instances.
2026-06-19·overreacted.io ↗
ClaudeSoftware Anthropic
Claude was good at writing Lean when there was a clear unambiguous goal. While Claude made important contributions, on average ChatGPT seemed better at new mathematical thinking, and definitely better at coordination and adhering to goals.
Account of using AI models and Lean over a month to produce a proof of a Conway conjecture.
2026-09-18·overreacted.io ↗
Every entry is a verbatim quote and a link to the public post it came from. Nothing is paraphrased. If it is not on record somewhere public, it is not here.
The verdict is what they actually said: loved and liked are explicit; recommended means they told others to get it; uses means they only say they use it; read is a book on their public shelf with no verdict; mixed and disliked are kept too.
A dashed affiliate link, sponsored or their own label means the post disclosed a relationship. It is shown, never hidden.
The shading behind a date shows how dated a recommendation is for its kind of thing.
The shading behind a date shows how dated a recommendation is, for its kind of thing. Fully green is recent. It drains a quarter at a time as the post gets older, and is empty once it reads as dated.
What counts as old depends on the thing. A laptop praised four years ago has been replaced twice; a book loved twenty years ago is probably still loved. The shading is gone after about:
Stripes mean the post carries no date and the date shown is an estimate. No date at all, no shading.