Latest articles
Standalone writing on software, mathematics, and building things. Guided series live in Learning paths.
Reading OpenAI’s Math Repository: From Research Claims to Checkable Proofs
A deep guide to OpenAI’s math release: proof versus tests, rational approximation, zeta zero-free regions, Lean, and what formal verification does—and does not—establish.
Starting a company in India — a planning journal, corrected
Tech Vistara's recorded domain and landing-page work, with a source-checked comparison of entity structures, incorporation, tax, recognition, IP and operating controls. Proposed steps remain proposed.
Learning paths
Prefer a guided sequence? Explore connected lessons, examples, and interactive experiments by subject.