1. 19
    Modern SAT solvers: fast, neat and underused (part 2 of N) compsci codingnest.com
    calvin avatar via calvin 10 days ago | cached | 2 comments

  1.  

  2. 1
    Vaelatern avatar Vaelatern 9 days ago | link

    Buggered SSL cert; at least FF on Android doesn’t accept it.

    1. 2
      Vaelatern avatar Vaelatern 4 days ago | link

      Works now