Computer History Museum Makes Historic MS-DOS and Word for Windows Source Code Available to the Public, “We are today releasing the source code of MS-DOS version 1.1 from 1982, and of version 2.0 from 1983.”

Univalent Foundations: New Foundations of Mathematics, talk by Vladimir Voevodsky (Slides). Recommended.

Closing panel at the 1995 Brown/MIT Vannevar Bush Symposium, featuring Doug Engelbart, Alan Kay, Ted Nelson, and Tim Berners-Lee.

Examples of mathematical results discovered “late”

Baresip is a portable and modular SIP User-Agent with audio and video support.

kakoune, a modal editor with an interesting vi-inspired editing language.

Zeitstempeldienst der DFN-PKI, very interesting!

The Story of ○, by Eugene McDonnell.

How The Famous “Dali Atomicus” Photo Was Taken

2048 implemented in sed

Eggnog by Serge Lang

Our Comrade The Electron, talk by Maciej Cegłowski. “We haven’t seen yet what a truly bad government is capable of doing with modern information technology. What the good ones get up to is terrifying enough.”

The End of full-disclosure. A loss.

Pattern matching without K, by Jesper Cockx, Dominique Devriese, and Frank Piessens. “In this paper, we propose a new criterion for dependent pattern matching without K, and prove it correct by a translation to eliminators in the style of Goguen et al.”

How to design an elliptic-curve signature system, by djb.

Semantic Linefeeds, an idea worth revisiting.

Postgres full-text search is Good Enough! Good intro.

Kotlin is a statically typed programming language that compiles to JVM byte codes and JavaScript. Has a few very interesting features, and sounds pretty good in general.

dvisvgm converts TeX DVI files to the XML-based scalable vector graphics format SVG.

AltDrag, easily drag windows when pressing the alt key on Microsoft Windows. Makes Windows surprisingly cwm-like.

Go Concurrency Patterns: Pipelines and cancellation, by Sameer Ajmani.

Emulator for the Oberon RISC machine, works pretty well.

Derivative Clicker

2048 Variants

Turing’s theory of morphogenesis validated 60 years after his death

OpenSMTPd Now the Default MTA in OpenBSD, that project ist making great progress.

Agile Is Dead (Long Live Agility), by PragDave.

Clive’s ZX file systems and name spaces (PDF), by Francisco J. Ballesteros. “Clive is an operating system we are building that introduces a new file system interface and related utilities. The ZX file system leverages what we learned from Plan 9 but, at the same time supports streaming of requests and is amenable for CSP-like programming interfaces.” more.

Attic, a deduplicating backup program written in Python. Looks great.

Micro GNU/emacs, a portable version of the mg maintained by the OpenBSD team. Has been receiving updates again.

codegroup encodes and decodes arbitrary binary data in five-letter code groups, just like spies.

A Day of Communication at GitHub, pretty interesting.

Fermilab bans PowerPoint slides in favor of low-tech whiteboards.

Mini Metro is an upcoming minimalistic subway layout game.

My love is like base64 encoding…, by Ben Werdmüller.

Wrist-Mounted Dali Clock!

John McAfee at The Setup.

“Ooh Aah… Just a Little Bit”: A small amount of side channel can go a long way, by Naomi Benger, Joop van de Pol, Nigel P. Smart, and Yuval Yarom. “We apply the Flush-Reload side-channel attack based on cache hits/misses to extract a small amount of data from OpenSSL ECDSA signature requests. … We demonstrate our analysis via experiments using the curve secp256k1 used in the Bitcoin protocol. In particular we show that with as little as 200 signatures we are able to achieve a reasonable level of success in recovering the secret key for a 256-bit curve.”

miTLS is a verified reference implementation of the TLS protocol written in F# and specified in F7.

My secret tip for GSoC success, by Michael Haggerty. Was posted to the Git mailing list, should be posted to all GSoC hosts.

sam2p is a UNIX command line utility written in ANSI C++ that converts many raster (bitmap) image formats into Adobe PostScript or PDF files and several other formats.

The Mid-Career Crisis of the Perl Programmer, by chromatic.

Bestes politisches Plakat 2013, hervoragende Auswahl.

BANCStar, the worst programming environment in the world?

ArsonCoin is a peer-to-peer payment system and digital currency introduced in 2014. It is a offensivecurrency, so-called because it uses criminal offenses to control the creation and transfer of money.

Should Mathematicians Cooperate with GCHQ?, by Tom Leinster.

New partition function record: computed, by Fredrik Johansson.

Breaking down FRP, by Yaron Minsky. “I’ll try to shed some light, and in particular give you some guide posts for understanding how the different versions of FRP relate to each other.”

How much is a mechanized proof worth, certification-wise? (PDF), slides by Xavier Leroy.

Understanding Yoneda, by Bartosz Milewski.

TLS Symmetric Crypto, steadily progressing.

What Linux can learn from Solaris performance and vice-versa, comprehensive slide set by Brendan Gregg.

Coping with the TCP TIME-WAIT state on busy Linux servers, by Vincent Bernat. Everything you ever wanted to know.

The Zen of Comprehensive Archive Networks, required reading before you design a package manager for your favorite language.

MCPL is a simple typeless language which is based on BCPL. It makes extensive use of pattern matching somewhat related to that used in ML and Prolog, and some other features come from C.

speedread, a simple terminal-based open source Spritz-alike.

Colossal Cave Wiki, spoiler warning.

BiteLabs, eww.