“The Talk” (on Quantum Computing), by Scott Aaronson and Zach Weinersmith. Recommended.

The Computational Complexity of Portal and Other 3D Video Games, by Erik D. Demaine, Joshua Lockhart, and Jayson Lynch.

5th RISC-V Workshop Proceedings, from November 2016.

The Theorem Prover Museum, “With the current wave of retirements of the original principal investigators there is good chance that the systems are lost, when their group servers are shut down. This web site aims to preserve the ones we can still get our hands on.”

Version SAT, Russ Cox on computational complexity of software management.

The Underhanded Rust Contest, “quietly carve out fractions of a penny from each transaction into an account you control.”

Redux: compromising Linux using… SNES Ricoh 5A22 processor opcodes?!

Let’s decipher a thousand-year-old magic square, by Mark J. Dominius.

Covert Cartographics, very cool tools.

Was ist das für 1 Room?, a fun little game. “Think of it as ‘Sokoban meets IKEA’!” Gets pretty tricky.