[rozab]

> he wrote in the 1940s about the idea of stored programs, in an era where the punch cards themselves didn't exist

Punchcards were used for the 1890 US census. The standard 80 column format was introduced by IBM in 1928.