3 ms·

What exactly was he angry at?

• anonzzzies 2y ago
  People writing software without proper foundations of logic and proofs. Which was by then quite 'common' (now it's normal of course).