Software engineer / Brooklyn, NY

Side projects
& notes.

I write software, mostly in Rust and TypeScript. This is where I keep my side projects, writing, and things I find interesting.

A bit about me

The site, experiments, and infrastructure are in one repo. Browse the code 

Arrow keys move this shape on the shared poster. R turns it.

12No Goals

Try writing a few proofs in Lean. Start with 2 + 2 = 4 and work up to induction.

Connecting to the shared poster…