Now
Last updated: July 25, 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/mathlib4 Jun 26
- korbonits/korbonits.github.io Jun 26
- korbonits/formal-conjectures Jul 21
- korbonits/tiny-control-plane Jul 2
Currently reading
- 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
- Hunt, Gather, Parent: What Ancient Cultures Can Teach Us About the Lost Art of Raising Happy, Helpful Little Humans — Michaeleen Doucleff
- Transcription — Ben Lerner