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
The End of full-disclosure. A loss.
Pattern matching without K, by Jesper Cockx, Dominique Devriese, and
“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
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.