iamrecursion
Compilers, type-theory, runtimes, formal verification, cryptography. Mixing, mastering and music. Skiing, parkour, martial arts.
CTO & CFO @tactile-metrology, Principal Engineer @reilabsDenver, CO, USA
iamrecursion's Followers
- eust-wSol III
- ankit307India
- rtbs-dev@usnistgov
- standardgalacticXanadu
- kasrakhosraviFlair
- saihannmao
- Guyincharge001
- z0uki
- souzapdBrazil
- sumanth-krishna🚀
- 7Codez
- caerAlicorn Systems
- blockbuilder97
- Pamplemousse@Oracle
- NotAShelf[::1]
- JulienMalkaPhD Student at Télécom Paris // Self employed consultant
- RaitoBezariusIndependent Contributor
- tjslh
- Mouradif
- 0xOsiris
- charlesweruMedical-wellbeing care
- zhenyuyang0
- mikedemarais@rainbow-me
- LunaphiedDenver, CO
- razi-edPeers Solutions GmbH
- itsmadson127.0.0.1
- sendra
- minziqueSri Lanka
- nukisman
- mkieblesz
- Jonta254
- aresbit
- zonblehttps://www.cerence.com
- jalalmostafaIPE-KIT
- jserv@BiiLabs
- gilescopeIOHK