Now
Last updated: August 15, 2026 · how?
📍 Santa Monica, CA
Working on
Migrating my blog from Jekyll to Astro and building out new personal projects.
Thinking about
How generative AI is changing the craft of software engineering, and what skills will matter most in five years.
Recently active on GitHub
- korbonits/ricci-flow-blueprint Aug 13
- korbonits/formal-conjectures Jul 21
- korbonits/mathlib4 Jul 21
- korbonits/cslib Aug 10
- korbonits/LightMem Jul 26
Currently reading
- The Proof in the Code: How a Truth Machine Is Transforming Math and AI — Kevin Hartnett
- Ulysses — James Joyce
- The Complete Works of William Shakespeare — William Shakespeare
- The Essential James Joyce (Annotated): Dubliners · Portrait of the Artist · Ulysses | Irish Literary Fiction | James Joyce | Erato Press (British & Irish Classics) — James Joyce
- Transcription — Ben Lerner