News for hackers. Stuff that matters.
Re:"Erdos problem #728 was solved more or less autonomously ... by nazgul17 on Friday January 09, 2026 @07:23PM (#46561292)
This was also my experience with certain algorithms in the realm of scheduling.

There are no comments on this comment yet.