4 ms·

Isn't Knuth 150 years old though?

• deleted 15y ago
  [deleted]