SELECTED WORK
A full-stack AI concierge for unfamiliar codebases: paste a GitHub repo and chat with an agent that reads the real code, streams its reasoning live, and cites every claim with a clickable file:line.
A Cornell-gated retrieval assistant over Confluence: hybrid dense + sparse search with reranking, every answer cited to its source, Claude on Bedrock via an IAM role (no keys in the box), shipped to AWS with a zero-SSH pipeline.
A Quine-McCluskey minimizer with a terminal and a browser front end: state a Boolean function six different ways, get the provably minimal expression, and watch every step of the working — grouping tables, Karnaugh groups, and a drawn logic circuit.
A CPU taped out on real silicon (Tiny Tapeout, GF180MCU) that runs the Brainmess esolang — a multicycle core with no memory of its own, fetching and executing every instruction over an SPI link to off-chip RAM.
The 4×4 sliding-tile puzzle written twice in Rust — once as a state machine you can play and search with BFS, and once as a bit-vector transition system whose next-state logic is a mux tree a solver can reason about.
