[math-fun] PDP-1 lore