How did people deal with punch cards?

Submitted ⁨⁨1⁩ ⁨year⁩ ago⁩ by ⁨bot@lemmy.smeargle.fans [bot]⁩ to ⁨hackernews@lemmy.smeargle.fans⁩

https://blog.computationalcomplexity.org/2023/11/in-bad-old-days-we-had-punchcards-how.html