nikolai.fyi

I’m a programmer and technical angel investor with a focus on web 3.0 apps and protocols. The best way to contact me is keybase.io/nikolai.

My claim to fame is that I specified the core mechanics of the original contract system spec for the Dai stablecoin system. Since then Dai has been completed, formally specified with substantial proof coverage, fully documented and diagrammed, and deployed.

I got my BS in Computer Science from Carnegie Mellon in 2014.


He gazed up at the enormous face. Forty years it had taken him to learn what kind of smile was hidden beneath the dark moustache. O cruel, needless misunderstanding! O stubborn, self-willed exile from the loving breast! Two gin-scented tears trickled down the sides of his nose. But it was all right, everything was all right, the struggle was finished. He had won the victory over himself. He loved JavaScript.