xychelsea and xychelsea 2. yan visited Chelsa Manning in prison.
Solving and Verifying the boolean Pythagorean Triples problem via
Cube-and-Conquer, by Marijn J. H. Heule, Oliver Kullmann, and
Victor W. Marek.
“Exploiting recent progress in unsatisfability proofs of SAT solvers,
we produced and verifed a proof in the DRAT format, which is almost
200 terabytes in size. From this we extracted and made available a
compressed certifcate of 68 gigabytes,that allows anyone to
reconstruct the DRAT proof for checking.”
Internet-Meme – kurz und geek, von erlehmann und plomlompom.
Jetzt als PDF unter CC BY-SA online verfügbar!
letskencrypt is yet another Let’s Encrypt client, but one with a
strong focus on security.
The Common Lisp Interface Manager, source now on GitHub.
Solving a Century-Old Typographical Mystery, “How a strange face in
a random 19th-century newspaper ad became a portal to a forgotten
moment in ASCII art history.”
Java Generics are Turing Complete, by Radu Grigore.
How to print things using the genius Möbius double-sided scheme.
secho, a “sick horrible parody of GNU feature creep”.