Technowatermelon. Elder Millenial. Building Farcaster. 

nf.td/varun

template didn't have idris but that would be S tier

Tricks with polynomials and Riemann-Roch spaces. Breaking into the platonic realm to pillage forbidden abstractions. Starknet grantee.

The only problem is externality pricing.

Building https://negationgame.com

ecosystem, performance, garbage collected

you like that it's garbage collected? that has to drop it down a tier cmon

yeah very different criteria. haskell and rust are mostly there for the type system. Performance is just a bonus on rust for me