Overreacted

Untitled

almost 24 years ago

A Social Filesystem

about 1 month ago

Formats over apps.

Introducing RSC Explorer

2 months ago

My new hobby project.

Hire Me in Japan

4 months ago

I'm looking for a new job.

How to Fix Any Bug

4 months ago

The joys of vibecoding.

Where It's at://

5 months ago

From handles to hosting.

Open Social

5 months ago

The protocol is the API.

A Lean Syntax Primer

6 months ago

Programming with proofs.

Lean for JavaScript Developers

6 months ago

Programming with proofs.

Beyond Booleans

7 months ago

What is the type of 2 + 2 = 4?

The Math Is Haunted

7 months ago

A taste of Lean.

I'm Doing a Little Consulting

9 months ago

Personal update post.