NERD FACT: On December 1, it will be 40 years since @TheOfficialACM published the STOC ’85 proceedings containing Goldwasser-Micali-Rackoff’s ‘The Knowledge Complexity of Interactive Proof-Systems’ - the paper that introduced interactive proofs and zero-knowledge proofs.