Re: [math-fun] PDP-1 lore