grew up on a farm in north india with basically no signal. now i make computers prove things using cryptography they themselves don't fully trust. life's weird.

cs @ georgia state. they gave me a full ride and called me a presidential scholar, which still feels like a clerical error.

right now i'm at cmu cylab writing zero-knowledge proof tooling in rust — building a unit-testing framework for zokrates circuits inside a compiler. it's as niche as it sounds. i love it here.

also i built stockd, an ai thing that stops restaurants from throwing food (and money) in the dumpster. it works. people use it. wild.

i keep going to these and accidentally winning. not a flex (it's a little bit a flex):

• 🥇 hackprinceton — best business & enterprise, and best use of enterpro. yeah, two. built autonomous finance agents that negotiate for hours without me.
• 🥇 hackgt 12 — built an accessibility scanner because the web is kind of hostile and someone had to
• 🥇 ugahacks 11 — that was stockd, before stockd was stockd

at this point it's less "skill" and more "a recurring scheduling problem."

rust when i want pain. python when i want results. crypto math when i want both. zk proofs, a little quant finance on the side, and an unhealthy amount of caffeine.

i don't list every framework i've touched. you can assume i've touched it.

currently: making .zok files testable so future-me suffers less · staring at time series · existing

i'm around → linkedin · medium · github

_{no signal on the farm. signal now. we move.}