About Me
- š Hello, Iām Hank.
- š Iām an Electrical Engineering undergrad interested in computer science.
- š My main passions are compilers, programming languages, and computer architecture.
- š» I write code in Rust, Swift, Haskell, and Lean 4.
- š For tooling, I live in Neovim and Nix.
- š¾ When Iām not coding, Iām on the tennis court.
- š¶ I unwind with Melodic Dubstep and Tropical House on repeat.
ORCID iD: