I love this kind of unifying formalism, but I wish they at least gave some intuition for what a weird machine is. I appreciate that it takes a lot of buildup to define them formally, but it would have been nice to have a plain-English explanation somewhere in the introduction.
5 comments
[ 2.7 ms ] story [ 20.5 ms ] thread