I'm Matt. I live in Seattle with my two cats who run the place. Professionally I build machine learning systems. Unprofessionally I fall into rabbit holes and build things at the bottom.
The papers are deep dive. The blog posts are long and probably have too many footnotes. The projects are what happens when "I wonder if..." turns into three weeks.
Latest Post
All →Latest Paper
All →May 2026
Kryptos K4 at its Unicity Distance: A Homophonic Reframe and a Model-Robust Under-Determination Result
A deterministic, decipherment-only cryptanalysis of Kryptos K4 (125 experiments, 86 logged verdicts) that stops short of a decryption and instead proves a sharp structural result: K4's free positions are under-determined by the public inputs, pending exactly one external fact. The four cribs leave the 30 selector-locked positions at a provable per-position coin flip.
cryptanalysiskryptosk4homophonic-cipherunicity-distanceunder-determination