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.