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

6 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://

7 months ago

From handles to hosting.

Open Social

7 months ago

The protocol is the API.

A Lean Syntax Primer

8 months ago

Programming with proofs.

Lean for JavaScript Developers

8 months ago

Programming with proofs.

Beyond Booleans

9 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

11 months ago

Personal update post.