hrkrshnn

About

I'm currently building Spearbit! I used to work for the EF on building Solidity–nowadays my contributions are mostly on the language design and some other fun stuff.

I have a background in pure math, studying problems at the intersection of hyperbolic geometry, discrete math, and algebraic topology. I also used to help build mathematical optimization software at ZIB.

Contact

  • Twitter.
  • Discord: @hrkrshnn#9999.

Talks

Some Writings

Notes