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