Overreacted

Latest posts

1. How I Vibed a Proof of Conway’s Conjecture

   18 Sept 2026 · overreacted.io

   You can just prove things, apparently.

2. There Are No Instances in atproto

   19 Jun 2026 · overreacted.io

   Like RSS and Google Reader.

3. A Social Filesystem

   18 Jan 2026 · overreacted.io

   Formats over apps.

4. Introducing RSC Explorer

   19 Dec 2025 · overreacted.io

   My new hobby project.

5. Hire Me in Japan

   11 Nov 2025 · overreacted.io

   I'm looking for a new job.

6. How to Fix Any Bug

   21 Oct 2025 · overreacted.io

   The joys of vibecoding.

7. Where It's at://

   2 Oct 2025 · overreacted.io

   From handles to hosting.

8. Open Social

   26 Sept 2025 · overreacted.io

   The protocol is the API.

9. A Lean Syntax Primer

   2 Sept 2025 · overreacted.io

   Programming with proofs.

10. Beyond Booleans

    16 Aug 2025 · overreacted.io

    What is the type of 2 + 2 = 4?

11. The Math Is Haunted

    30 Jul 2025 · overreacted.io

    A taste of Lean.

12. Suppressions of Suppressions

    11 Jun 2025 · overreacted.io

    I heard you like linting.

13. I'm Doing a Little Consulting

    11 Jun 2025 · overreacted.io

    Personal update post.

14. How Imports Work in RSC

    5 Jun 2025 · overreacted.io

    A layered module system.

15. RSC for LISP Developers

    1 Jun 2025 · overreacted.io

    Quoting for modules.

16. Progressive JSON

    31 May 2025 · overreacted.io

    Why streaming isn't enough.

17. Why Does RSC Integrate with a Bundler?

    30 May 2025 · overreacted.io

    One does not simply serialize a module.

18. One Roundtrip Per Navigation

    29 May 2025 · overreacted.io

    What do HTML, GraphQL, and RSC have in common?

19. Static as a Server

    8 May 2025 · overreacted.io

    You wouldn't download a site.

20. RSC for Astro Developers

    6 May 2025 · overreacted.io

    Islands, but make it fractal.