Now

Last updated: October 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/formal-conjecturesOct 8
• korbonits/neurips-mathai-2026Oct 3
• korbonits/mathlib4Sep 25
• korbonits/ricci-flow-blueprintSep 24
• korbonits/sheafSep 24

Currently reading

• Raising Good Humans: A Mindful Guide to Breaking the Cycle of Reactive Parenting and Raising Kind, Confident Kids — Hunter Clarke-Fields
• La place — Annie Ernaux
• 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

Recent writing

• One of the Following Four StatementsSep 8, 2026
• The Question Was Already WrittenSep 6, 2026