Re:"Erdos problem #728 was solved more or less autonomously ...
by pfdietz on Friday January 09, 2026 @08:24PM
(#46561725)
Apropos your account name, I just wanted to mention that I used various Xerox D machines back in the day. They were fun.
[ Parent
| on HN ]
There are no comments on this comment yet.