hrkrshnn

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.

• Twitter.
• Discord: @hrkrshnn#9999.

• Interop summit: 28 February 2023: Nuanced EVM.
• Dappcamp: 2 Nov 2022: Topics in Solidity.
• Devcon Bogota: 13 October 2022: Symbolic computation for fun and for profit.
• ETHGlobal: 2 September 2022: Topics in solidity, YouTube.
• Dappcamp: 25 May 2022: Topics in solidity.
• Solidity Summit: 20 April 2022, Optimizer, YouTube.
• ETHLisbon: 22 Oct 2021, Solidity101.
• ETHGlobal: 8 October 2021: What's new in Solidity.

• Solidity Optimizations.
• Custom Errors.
• User Defined Value Types.

• Efficiently verifying in EVM that two numbers are coprime.