Dean Allen, R.I.P., by Om Malik.

A Cryptographic Analysis of the WireGuard Protocol, by Benjamin Dowling and Kenneth G. Paterson.

Fast and Loose Reasoning is Morally Correct (2006), by Nils Anders Danielsson, John Hughes, Patrik Jansson and Jeremy Gibbons. “Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify such reasoning.”

Spectre and the end of Langsec, by Andy Wingo.

The Time I Ruined Programming, by Michael O. Church.

dune, the OCaml build system formerly known as Jbuilder.

Blickensderfer typewriter, with a DHIATENSOR keyboard.

Blooms: Phi-Based Strobe Animated Sculptures, amazing. Saw one at 34C3.

I am a mathematician, me too.

Tea if by sea, cha if by land, “why the world only has two words for tea”.

Finding a CPU Design Bug in the Xbox 360, by Bruce Dawson.

OBNC is a compiler for Niklaus Wirth’s programming language Oberon. OBNC translates source code written in Oberon to the lower-level programming language C.

Eukleides is a computer language devoted to elementary plane geometry.

Quinto: Resurrecting an Abandoned Board Game, by JR Heard. “Quinto is basically Scrabble, except with numbers instead of letters.” Fun.

what3words.com maps every 3x3m area on earth to three words.

A Water-based Solution of Polynomial Equations, by Mark Levi.

Phonetic Palindromes (2011), by Susan Thorpe.

Mathematical and Puzzle Fonts/Typefaces, by Erik Demaine, Martin Demaine, and others.

Social Decay, illustrations by Andrei Lacatusu.

Reading privileged memory with a side-channel, by Jann Horn, Project Zero. Papers on Spectre and Meltdown

GIMPS Project Discovers Largest Known Prime Number: 2^77,232,917-1

Dude, you broke the future!, Charlie Stross’s keynote on 34C3. Recommended.

IOHIDeous, by Siguza: “the tale of a macOS-only vulnerability in IOHIDFamily that yields kernel r/w and can be exploited by any unprivileged user.”

The 25th IOCCC will be open from 2017-Dec-29 05:38:51 UTC to 2018-Feb-28 05:29:15 UTC.

Computer latency: 1977–2017, measured by Dan Luu.

Racket-on-Chez Status: January 2018

Compiling a Subset of APL Into a Typed Intermediate Language (PDF, 2014), by Martin Elsman and Martin Dybdal.

UnifrakturMaguntia, 𝖆 𝖀𝖓𝖎𝖈𝖔𝖉𝖊 𝕱𝖗𝖆𝖐𝖙𝖚𝖗 𝕱𝖔𝖓𝖙.