3 ms·It would be great to have an update from Knuth. There is no other Knuth.by wslh 1y agoIt would be great to have an update from Knuth. There is no other Knuth.