Full-stack software developer at Amazon Robotics. Formerly athenahealth.
I currently live in Braintree, MA, south of Boston. I majored in Computer Science and minored in Classics at Pomona College.
- vim-markdown-composer. A neovim plugin that adds asynchronous markdown preview functionality. Upon opening a markdown file, the plugin opens a browser window that renders the markdown in real-time using websockets. The markdown preview server, aurelius, is editor-agnostic.
- Rust. I have contributed significantly to the Rust
compiler's rich diagnostics. I have also worked on
rustdoc, Rust's built-in documentation tool, where I overhauled the documentation test syntax checking passes. - Cargo. Rust's package manager. I
implemented the widely used
cargo test --allfeature andcargo helpfor third-party subcommands. - FeO Boy. A cycle-accurate emulator for the Nintendo Game Boy written in Rust.
- Room Full of Cats. A puzzle-action game for the Nintendo Game Boy, written in C. The game is playable on actual hardware.
- ChipLang. A domain-specific programming language for composing chiptune. Implemented in Scala. The repository contains examples of songs implemented in ChipLang, including the Super Mario Bros. theme song and the prelude from Final Fantasy.
- FBFS. The Facebook Filesystem. FBFS is an alternative interface for Facebook where friends, statuses, photos, etc. are represented as files on a local filesystem. The repository contains a research paper describing the C++ implementation.
- Rust vs. D: Exploring Possible Successors of C++. My work for the Pomona College Senior Exercise as part of my degree. I held a study where computer science students attempted to implement a series of example programs in C++, D, and Rust. I studied the number and types of bugs that arose, and discussed how various language features assisted in preventing such bugs in a paper.
I enjoy traveling throughout the Northeast, the outdoors, playing video games, and listening to music. My favorite games include Wario Land III, Super Mario World, and Earthbound. I keep an up-to-date backlog of the games I've played. My favorite band is Freezepop. I am a fan of chip music of all kinds, particularly from retro games and the demoscene.