Is truth futureproof? On the possible futures of mechanized proofs

The SRE regular-expression notation (1998)

A few cores too many (2016)