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”.

IPv6 excuses

Security fraud in Europe’s “Quantum Manifesto”, by djb. “I think that anyone proposing funding for quantum computing is ethically obliged to highlight the fact that quantum technologies are a huge threat to security.”

BitKeeper is now available under Apache-2.0 license. Wow.

L.B. Stanza is a new optionally-typed general purpose programming language.

Termux is a terminal emulator and Linux environment bringing powerful terminal access to Android. Very nice!

Qxw is a program to help you create and publish crosswords.

The MOnSter 6502, a discrete version of a microprocessor.

vim-sneak is a minimalist, versatile Vim motion plugin that jumps to any location specified by two characters.

For World’s Newest Scrabble Stars, SHORT Tops SHORTER, “Nigeria is one of the countries where Scrabble is seen as a sport.”

How Chris McCandless Died, an update to ‘Into the Wild’.

“Anguish”: Invisible Programming Language and Invisible Data Theft, a dialect of Brainfuck.

Astronomers crack the secret of this gorgeous poem by Sappho

Folding Paper with a Hydraulic Press

The 8000th Busy Beaver number eludes ZF set theory, new paper by Adam Yedidia and Scott Aaronson.

Yet Another Padding Oracle in OpenSSL CBC Ciphersuites, nicely explained by Filippo Valsorda. More.

Design of the RISC-V Instruction Set Architecture (PDF), dissertation by Andrew Shell Waterman.

Stratified Synthesis: Automatically Learning the x86-64 Instruction Set (PDF), by Stefan Heule, Eric Schkufza, Rahul Sharma, and Alex Aiken. Crazy.

Patina: A Formalization of the Rust Programming Language (PDF), by Eric Reed. “We present a formal semantics that captures the key features relevant to memory safety, unique pointers and borrowed references, specifies how they guarantee memory safety, and describes the operation of the Borrow Checker. We use this model to prove the soudness of some core operations and justify the conjecture that the model, as a whole, is sound.”

Phrack #69, with a very interesting prophile on solardiz.

The First Gay Space on the Internet (2014), about soc.motss.

How to create nonbreaking arbitrary length snakes for full-width justification?, tex.sx at its best.

HTML Forms Rube Goldberg Machine

Chez Scheme is now Apache 2.0 licensed!

Effcient algorithms for supersingular isogeny Diffe-Hellman, by Craig Costello, Patrick Longa, and Michael Naehrig.

XRay: A Function Call Tracing System (PDF), developed at Google.

Introducing MIR, the Rust mid-level immediate representation.

xoroshiro128+ is the successor to the xorshift128+ RNG. “xoroshiro128+ is our current suggestion for replacing low-quality generators commonly found in programming languages.”

fzy is fast, simple fuzzy text selector for the terminal with an advanced scoring algorithm.

An integer formula for Fibonacci numbers, generating functions ftw.

JayisGames is done, how many hours I enjoyed these games.

POSIX Makefile Assignments are Turing-Complete