https://www.gwern.net/docs/math/1996-hoare.pdf
look so awful?
How did hardware get so good? When you think of many, many gigabytes of RAM, all those billions and billions of bits and it checks out as flawless, I am gobsmacked at the perfection.
https://www.gwern.net/docs/math/1996-hoare.pdf
look so awful?