Engineer · founder · writing things down

I get interested when the visible problem is not the real one.

I'm Prolok Nair. Most of my work starts the same way: I end up fixated on the thing underneath the thing everyone else is trying to optimize. That has pulled me through machine learning, startups, security, and now AI verification. I write here when I have followed an idea far enough that it feels worth pinning down.