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)