There Are No Instances in atproto
Like RSS and Google Reader.... read more
A Social Filesystem
Formats over apps.... read more
Introducing RSC Explorer
My new hobby project.... read more
Hire Me in Japan
I'm looking for a new job.... read more
How to Fix Any Bug
The joys of vibecoding.... read more
Where It's at://
From handles to hosting.... read more
Open Social
The protocol is the API.... read more
A Lean Syntax Primer
Programming with proofs.... read more
Beyond Booleans
What is the type of 2 + 2 = 4?... read more
The Math Is Haunted
A taste of Lean.... read more