Euclid's list that can't be finished
The proof that there are infinitely many primes doesn't construct a new prime — it constructs a number guaranteed to have a prime factor missing from any finite list. That distinction is the whole proof.
Software Engineer · 12 years
Kalyan Kaushik Khasibhatla
Building software that's fast, easy to use, and dependable — across the web, mobile and the JVM.
I build software for a living, aiming for the same thing every time: fast, easy to use, and reliably available. Mostly the web and Java, with a few years (2015–2018) on mobile. These days the work is web engineering, performant Java services and accessibility — plus platform, DevOps and a few lower-level languages, learned in the open.
Alongside that I keep notes: mathematics and physics worked through properly, computer science fundamentals revisited, and summaries of papers I've read. They all live under writing.
What I work on
- Web engineering current focus
- Front-ends and services built to be fast, easy to use, and reliably available — not just functionally correct.
- Java & performance current focus
- Building applications on the JVM engineered to stay fast and stay up under real load.
- Accessibility current focus
- Making interfaces that work as well by keyboard and screen reader as they do by mouse — not just passing an automated check.
- Platform & DevOps learning in public
- CI/CD, infrastructure as code, and observability — the practices that keep something fast and working from quietly stopping being either.
- Systems languages learning in public
- Rust, Zig and Go — going a level lower than the web stack to understand what it's built on top of.
- Mobile 2015–2018
- Native and cross-platform applications, with the usual trade-offs around offline state, background work and release cadence.
Recent writing
All postsThe switch everything else is built on
Before logic gates, before bits, there's a piece of doped silicon that only conducts when you tell it to. Working through why, from the lattice up.
Hello, world
What this site is for, and how the writing here is organised.
Selected projects
All repositories-
planning-poker
Updated Jun 2026
Pulled from GitHub and Codeberg at build time, so this never goes stale.