News for hackers. Stuff that matters.
Re:Erdos 281 solved with ChatGPT 5.2 Pro by sampullman on Sunday January 18, 2026 @07:51AM (#46667434)
Regular WD40 should not be used as bearing lubricant!
Re:Erdos 281 solved with ChatGPT 5.2 Pro by danielbln on Sunday January 18, 2026 @07:58AM (#46667472)
Exactly!