Now

Last updated: June 14, 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 1
• korbonits/formal-conjectures May 30
• korbonits/korbonits.github.io May 15
• korbonits/sheaf May 15
• korbonits/feast-dolt May 15

Currently reading

• Behind Closed Doors: The Secret Life of London Private Members' Clubs — Seth Alexander Thevoz
• Hunt, Gather, Parent: What Ancient Cultures Can Teach Us About the Lost Art of Raising Happy, Helpful Little Humans — Michaeleen Doucleff
• Transcription: A Novel — Ben Lerner
• The Mind Illuminated: A Complete Meditation Guide Integrating Buddhist Wisdom and Brain Science for Greater Mindfulness — Culadasa (John Yates)
• The Modern Mind: An Intellectual History of the 20th Century — Peter Watson

Recent writing

• Who Verifies the Verifier May 28, 2026
• Same-Day Model Integration: ESMC + ESMFold2 in Sheaf v0.11 May 27, 2026