Welcome
I write about math, ai, crypto, cs and anything capturing my curiosity. Bite-sized but rigorous. No PhD required.
Waza: An AI Coach for Your Hands
Building an AI coach that sees what you see and talks you through real-world skills
Just Dictation
How a $25 indie Mac app replaced my keyboard. No subscription, no voice OS required.
Zero-Knowledge: Constructing a SNARK Proof (Part 2/3)
A trusted setup, eight curve commitments, and five pairing checks: how to turn a polynomial identity into a working zero-knowledge SNARK.
Zero-Knowledge: Turning Computation into Polynomials (Part 1/3)
From a program to a few polynomial equations: how SNARKs encode computation through flattening, R1CS, and the QAP transformation
Verkle Trees: Polynomial Commitments (Part 2/2)
How a single curve point can commit to 256 children, and why proofs shrink from kilobytes to bytes