Overreacted

Untitled

over 23 years ago

A Social Filesystem

3 months ago

Formats over apps.

Introducing RSC Explorer

4 months ago

My new hobby project.

Hire Me in Japan

5 months ago

I'm looking for a new job.

How to Fix Any Bug

6 months ago

The joys of vibecoding.

Where It's at://

6 months ago

From handles to hosting.

Open Social

7 months ago

The protocol is the API.

A Lean Syntax Primer

7 months ago

Programming with proofs.

Lean for JavaScript Developers

7 months ago

Programming with proofs.

Beyond Booleans

8 months ago

What is the type of 2 + 2 = 4?

The Math Is Haunted

9 months ago

A taste of Lean.

I'm Doing a Little Consulting

10 months ago

Personal update post.