Import of OpenBSD/arm64, hooray!

RISCVEMU is a system emulator for the RISC-V architecture, by the one and only Fabrice Bellard.

Mathematical Components is the name of a library of formalized mathematics for the Coq system. New book by Assia Mahboubi and Enrico Tassi about it is public now.

Why Constant-Time Crypto?, by BearSSL author Thomas Pornin.

Curta Calculator Type I, ready for 3D printing.

Rogue One: A Star Wars Story of UX design.

ThreadTone, a halftone representation of an image using nothing but thread.

Jabberwocky Variations

Drone Sweaters

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

Spec-ulation Keynote (YouTube), by Rich Hickey. Very good insights.

zkSNARKs in a nutshell, by Christian Reitwiessner. “SNARKs are short for succinct non-interactive arguments of knowledge.”

Torsors Made Easy, by John Baez (2009).

s6-tlsc is a program that establishes a TLS or SSL client connection over an existing TCP connection, then spawns an application. All the crypto used in s6-tlsc is provided by the chosen SSL backend: BearSSL or LibreSSL, depending on the options given when configuring s6-networking.

ln.exe, a tool for NTFS hardlinks on Windows, also can do incremental backups with hardlink farms.

earlyoom checks the amount of available memory and free swap 10 times a second. If both are below 10%, it will kill the largest process. This hack works a lot better than Linux built-in OOM…

24 Days of Rust

Kuriositäten-Adventskalender 2016

The Internet Archive is building a Canadian copy to protect itself from Trump, please donate if you can. FAQs.

Bringing typed, modular macros to OCaml, by Olivier Nicole.

Eff directly in OCaml, by Oleg.

“Modern C” is now feature complete, book by Jens Gustedt.

Advent of Code 2016, my repo with solutions.

QEMU Advent Calendar, an amazing QEMU disk image every day!

Perl Advent Calendar 2016

Perl 6 Advent Calendar

24 ways to impress your friends

Matheon Calendar

The GeoCities Cage at Exodus Communications, storing 12TB in 1999.

A 4-bit Calculator made in cardboard and marble, neat.

Ich war Praktikant bei der Berliner AfD, von Fabian Herriger.