I'm Isaac DeFrain (he/him)
I embody the values of radical ownership of outcomes and incremental improvement
Check out my:
There are many, including, but not limited to:
- blockchain
- network security
- distributed systems
- on-chain governance
- byzantine fault tolerance
- web3 and smart contracts
- concurrency and process calculi
- protocol design and implementation
- proof-of-stake consensus algorithms
- dependent types and theorem provers
- parsers, compilers, interpreters, and DSLs
- functional programming (Rust, OCaml, Haskell, Scala)
- formal specification/verification, model checking, and trace checking
My formal training is in pure mathematics (paper I published in 2018)
I am a senior software developer working broadly in the blockchain space since 2018
Outside of work you will find me
- hiking
- rock climbing
- coding for fun
- learning (I am always learning!)
- watching a variety of TV shows and movies
I am endlessly fascinated by the following topics:
- governance
- mathematics
- nuclear fusion
- quantum mechanics
- surveillance capitalism
- nuclear nonproliferation
- fitness, nutrition, health
- activism, politics, civil liberties
- social impacts of blockchain/cryptocurrency
- cults, hate groups, fascism, religious extremism
- history and the process of how things came to be the way they are