I wonder how many of the problems he lists on https://www-cs-faculty.stanford.edu/~knuth/news.html could be solved/checked with something like Fable at this point.