Overreacted

There Are No Instances in atproto

2 months ago

Like RSS and Google Reader.

Untitled

over 23 years ago

A Social Filesystem

7 months ago

Formats over apps.

Introducing RSC Explorer

8 months ago

My new hobby project.

Hire Me in Japan

10 months ago

I'm looking for a new job.

How to Fix Any Bug

10 months ago

The joys of vibecoding.

Where It's at://

11 months ago

From handles to hosting.

A Lean Syntax Primer

12 months ago

Programming with proofs.

Open Social

11 months ago

The protocol is the API.

Lean for JavaScript Developers

12 months ago

Programming with proofs.

Beyond Booleans

about 1 year ago

What is the type of 2 + 2 = 4?

The Math Is Haunted

about 1 year ago

A taste of Lean.