State of MetaFilter, sad to hear. More.
Common Lisp bits, “The Internet Archive has a giant tarball of old Lucid stuff, a 3.6GB download.” Awesome resource!
Twenty Questions for Donald Knuth, interesting as always.
OCaml 4.02: everything else, so many good features soon to come.
APL demonstration (1975). Love the TTY!
ikvjwd, an IPv6 proxy to Github.
My No-Soap, No-Shampoo, Bacteria-Rich Hygiene Experiment, by Julia Scott.
A Paris Made to be Destroyed–Sham Paris, 1917/18
RFC 7258 / BCP 188: “Pervasive Monitoring Is an Attack”, “The IETF community’s technical assessment is that PM is an attack on the privacy of Internet users and organisations. The IETF community has expressed strong agreement that PM is an attack that needs to be mitigated where possible, via the design of protocols that make PM significantly more expensive or infeasible.”
MuxChain is a small package designed to complement Go’s net/http for specifying chains of handlers.
Lucid Energize Demo (1993, YouTube). Pretty impressive.
Typography in 8 bits: System fonts
Lemma 1, Auszug aus der Erzählung von Helga Königsdorf (1938–2014).
Game of Thrones written on brutal medieval word processor and OS, I’d gladly take WordStar over MS Office any day.
Poetry WTF?! is a website for poetry, but not your gran’s poetry.
Felix Schwenzel: Wie ich lernte, die Überwachung zu lieben, Vortrag von der re:publica 14. Empfehlenswert.
Bring the Guillotine Back to Death Row, Conor Friedersdorf says.
Using Routers to Build Logic Circuits: How Powerful is BGP? (PDF), by Marco Chiesa, Luca Cittadini, Giuseppe Di Battista, Laurent Vanbever, and Stefano Vissicchio. “BGP has the same computing power as a Turing Machine.”
TinySSH is small SSH server using state-of-the-art cryptographic library NaCl / TweetNaCl.
TweetNaCl is the world’s first auditable high-security cryptographic library. TweetNaCl fits into just 100 tweets while supporting all 25 of the NaCl functions used by applications.
task spooler (ts) is a Unix batch system where the tasks spooled run one after the other. The amount of jobs to run at once can be set at any time.
sysstat, Solaris’ key system statistics at a glance. Nice if you miss top.
Maths spying: The quandary of working for the spooks, by Tom Leinster. “[M]athematicians must decide: do we cooperate with the intelligence services or not?”
Stochastic Superoptimization (PDF), by Eric Schkufza, Rahul Sharma, and Alex Aiken. “We formulate the loop-free binary superoptimization task as a stochastic search problem. … STOKE is able to produce programs which either match or outperform the code produced by gcc -O3, icc -O3, and in some cases, expert handwritten assembly.”
Inductive Graphs and Functional Graph Algorithms (PDF), by Martin Erwig (2001). “We propose a new style of writing graph algorithms in functional languages which is based on an alternative view of graphs as inductively defined data types.”
OpenBSD 5.5 has been released. Featuring many improvements.
Compiling OpenSSH No Longer Requires Linking in OpenSSL, “reduces algorithms to curve25519, aes-ctr, chacha, ed25519”. Very nice.
SigmaVPN is simple, light-weight and modular VPN software for UNIX systems, deploying the NaCl encryption library.
Golog aspires to be an ISO Prolog interpreter written in Go.
Illumos: Getting Started with MDB, by Johann Oskarsson.
git-forward-merge, merges without needing to checkout destination.
Mathdown, an online collaborative Markdown editor with math support.
VEB Typoart in Dresden was East Germany’s state-run type foundry.