News for hackers. Stuff that matters.
Re:How close are computers to automating mathematical reason... by dang on Saturday August 29, 2020 @04:10PM (#24319055)
Please keep personal swipes out of your comments here. They're against the rules (https://news.ycombinator.com/newsguidelines.html). We've had to ask you this before.

There are no comments on this comment yet.