whoami
Notes on Nix, Rust, Haskell, Neovim and systems programming. I'm a PhD student at Yale working on programming languages and formal methods. Here's what I've been building and more about me.
1 S Tier Posts
- Running NixOS like Gentoo
- Developing with Haskell
- Debugging Nix Expressions
- Performance Engineering Neovim
- Quick 'n Dirty 1-liners
- Weird Filesystem Things
- Checking myself in HIBP
- Using John the Ripper
- The Async Trait-or and the Case for BoxSyncFuture
- Subtyping with associated types on traits in Rust
- Understanding Subtyping in Rust
- A Portable Text Editor: Nix <3 Neovim
- Writing a "hello world" Riscv Kernel with Nix in Rust