Overreacted

There Are No Instances in atproto

12 days ago

Like RSS and Google Reader.

Untitled

over 23 years ago

A Social Filesystem

5 months ago

Formats over apps.

Introducing RSC Explorer

6 months ago

My new hobby project.

Hire Me in Japan

8 months ago

I'm looking for a new job.

How to Fix Any Bug

8 months ago

The joys of vibecoding.

Where It's at://

9 months ago

From handles to hosting.

A Lean Syntax Primer

10 months ago

Programming with proofs.

Open Social

9 months ago

The protocol is the API.

Lean for JavaScript Developers

10 months ago

Programming with proofs.

Beyond Booleans

11 months ago

What is the type of 2 + 2 = 4?

The Math Is Haunted

11 months ago

A taste of Lean.