Hey, I'm Noah 👋
I'm a student at Brown University studying Computer Science. Right now, I'm most interested in programming languages and machine learning.
Over winter break, I'm aiming to post a writing or mini-project to this website every 2 days. My status is tracked using beeminder.
Previously, I
- built ATA, an LLM-powered tutor for Brown courses with funding/credits from B* and OpenAI.
- interned at Netflix in Los Gatos, working on automating navigation in TV UIs (think computer-use for TVs)
Projects
Dimspector: PyTorch Static Shape Inference
A proof-of-concept program analysis that statically infers the shape of PyTorch tensors given parameter annotations, built for a final. Supports symbolic expressions without using an SMT solver. We're currently building it out into an analysis that can tackle a much larger subset of programs (which I wrote a post about).
Verilog CPU
A simple 8-bit computer (with accompanying basic assembler) written from the ground up in verilog. Still in progress!