I'm Isaac DeFrain (he/him)

I embody the values ofradical ownership of outcomes andincremental improvement

Check out my:

• public repos
• company website
• personal website

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

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

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

PinnedLoading

1. TLAplusFunTLAplusFunPublic

   TLA+ questions, answers, and experiments

   TLA 23

2. fnfnPublic

   Fun with rust!

   Rust

3. simple-compilersimple-compilerPublic

   A simple compiler for a simple language. Compiles to RISC instructions with dead code optimization.

   OCaml 11

4. model-based-trace-checkingmodel-based-trace-checkingPublic

   Model-based trace-checking ✅ check the conformance of your implementation to your specification

   Rust 5

5. github-reporting-pygithub-reporting-pyPublic

   Forked fromMichaelCurrin/github-reporting-py

   Create detailed and summary CSV reports of activity by a GitHub user, using the GraphQL API 👨‍💻 📊 🐍

   Python

6. mina-indexermina-indexerPublic

   Forked fromGranola-Team/mina-indexer

   The Mina Indexer is a re-designed version of the software collectively called the "Mina archive node."

   Rust 1