I'm Isaac DeFrain (he/him)

Check out my websites

• company
• personal

I love organizing information!

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 (OCaml, Rust, 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 full-time software developer working broadly in the blockchain space since 2018

• RChain (2018 - 2022)
• Tezos (2020 - 2022)
• Cosmos (2022)
• Mina (2022 - present)

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 general process of how things came to be the way they are