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.
[ Parent
| on HN ]
There are no comments on this comment yet.