slightlyoff@toot.cafe ("Alex Russell") wrote:
TIL:
https://oeis.org/wiki/Welcome#:~:text=%5BIncidentally%2C%20today%20these%20cards%20are%20sometimes%20referred%20to%20as%20%22punch%20cards%22%20(sic).%20This%20is%20wrong%2C%20they%20were%20always%20called%20%22punched%20cards%22.%20Anyone%20who%20says%20%22punch%20cards%22%20is%20showing%20they%20know%20nothing%20about%20the%20subject.%20Saying%20%22punch%20cards%22%20is%20like%20saying%20%22hike%20boots%22%20or%20%22walk%20stick%22%20or%20%22chew%20gum%22.%5D
Mastodon Feed