Senior at Northern Arizona University.
Currently working on: NVMe testing with Rust and TLA+... and a reverse proxy in Go.
Projects
A web-based RPG built around New York Times games. Backend powered by Go with gorilla/websocket; frontend built on Canvas and TypeScript.
Core HTTP functionality written from scratch in Go. Multithreaded handling of concurrent requests. Currently adding reverse proxy functionality.
An NVMe testing tool driven by formal specifications. Correct device behavior is described in TLA+, and a Rust execution engine issues commands against an NVMe device.