News for hackers. Stuff that matters.
Re:Donald Knuth was framed by kragen on Wednesday February 26, 2020 @04:23PM (#22427499)
I think the SAT solver he wrote recently is several times larger, but otherwise I agree.

There are no comments on this comment yet.