Accidentally writing a fast SAT solver | Blog - Daniel Huang
blog.danielh.cc
where my words occasionally escape /dev/null