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.
Hacking the JavaScript Lottery, breaking XorShift128+ with Z3.
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”.