Overreacted

Untitled

almost 24 years ago

A Social Filesystem

14 days ago

Formats over apps.

Introducing RSC Explorer

about 1 month ago

My new hobby project.

Hire Me in Japan

3 months ago

I'm looking for a new job.

How to Fix Any Bug

3 months ago

The joys of vibecoding.

Where It's at://

4 months ago

From handles to hosting.

Open Social

4 months ago

The protocol is the API.

A Lean Syntax Primer

5 months ago

Programming with proofs.

Lean for JavaScript Developers

5 months ago

Programming with proofs.

Beyond Booleans

6 months ago

What is the type of 2 + 2 = 4?

The Math Is Haunted

6 months ago

A taste of Lean.

I'm Doing a Little Consulting

8 months ago

Personal update post.