abramdemski comments on Algorithms as Case Studies in Rationality

[abramdemski]

You mean the guess-and-check algorithm? :)