notpushkin 11 hours ago

I guess we need to guesstimate the length of a shortest Turing machine implementation of amd64 then?