PiDP-11: Recreating the PDP-11/70 and PiDP-8/I: Recreating the PDP-8/I using a Raspberry Pi.

One Monad to Prove Them All, Functional Pearl by Jan Christiansen, Sandra Dylus, and Finn Teegen.

Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory, by Jesper Cockx and Dominique Devriese. “This paper proposes a proof-relevant framework for reasoning formally about unification in a dependently typed setting. In this framework, unification rules compute not just a unifier but also a corresponding soundness proof in the form of an equivalence between two sets of equations. By rephrasing the standard unification rules in a proof-relevant manner, they are guaranteed to preserve soundness of the theory.”

Linear Logic for Constructive Mathematics, by Mike Shulman.

The Eudora Email Client Source Code, now BSD-licensed!

Digital Mars C/C++ Compiler, open sourced and being ported to D.

Wrek is an Erlang library for concurrently executing task dependency graphs.

Playing battleships over BGP, because we can.

Journey of a Single Line

Cause of polycystic ovary syndrome discovered at last

Generic Deriving of Generic Traversals, by Csongor Kiss, Matthew Pickering, and Nicolas Wu. “In this paper, we use the combination of lenses and traversals to give rise to an expressive and flexible library for querying and modifying complex data structures.”

Introducing the Mgmt Configuration Language, this FRP approach sounds quite sensible.

walk is a fast, general purpose, graph based build and task execution utility.

ijk transforms arrays into virtual DOM trees; a terse alternative to JSX. (Or: Lisp wins.)

Cannes Interview: Christopher Nolan on Kubrick’s 2001.

WebGL Lathe Workshop

25th International Obfuscated C Code Contest, the winners’ entries are up. (Recommended: burton1, mills)

EFAIL describes vulnerabilities in the end-to-end encryption technologies OpenPGP and S/MIME that leak the plaintext of encrypted emails.

POP SS Vulnerability (PDF), by Nick Peterson and Nemanja Mulasmajic. “This is a serious security vulnerability and oversight made by operating system vendors due to unclear and perhaps even incomplete documentation on the caveats of the ​POP SS instruction and its interaction with interrupt gate semantics.”

Felix Schwenzels Vortrag auf der #rp18, wie immer lohnenswert.

Don’t Get Distracted, by Caleb Thompson. “I’m going to tell you about how I took a job building software to kill people.”

Who Is Karl Marx: Meet the Anti-Capitalist Scholar, at Teen Vogue.

Abe-Ohkubo-Suzuki Ring Signatures convince a verifier that a message is signed by any member in a group of n independent signers without allowing the verifier to identify who the signer was.

xoshiro / xoroshiro random number generators and the PRNG shootout. New designs by the maker of xorshift*.

Von Neumann’s First Computer Program, by Donald E. Knuth (1970).

Comprehending Ringads (PDF), by Jeremy Gibbons. “When the monad has the additional structure of a so-called ringad, corresponding to ‘empty’ and ‘union’ operations, then it can be seen as some kind of collection type, and the comprehension notation can also be extended to incorporate aggregations.”

Reuleaux Selectors for gender.

Building games that can be understood at a glance, by Zach Gage.

quoteSalute provides you with inspiring salutations taken from digital editions of letters for usage in your e-mail correspondence.

Splendid Adventures on a Sunday Afternoon, from Ludum Dare 41.