software contractor at atum.works (sf) — building the realtime control + metrology stack for an automated wafer processing line: c++ control runtime, custom sensor + plc drivers, camera ingest, and ml-based process monitoring
juiced: sms-based sports betting on a free-entry sweepstakes model. currently live, processing 500–1500 bets / week
summer '25 intern in prof. yoel fink's lab at mit — compressed a neural network from 4mb down to 100kb of ram, wrote custom inference libraries to run on unsupported microcontrollers
independent layered proof of the devil-wins result in the power-1 angel problem (known per berlekamp '82)