Large-scale cluster management at Google with Borg, by Abhishek Verma, Luis Pedrosa, Madhukar R. Korupolu, David Oppenheimer, Eric Tune, and John Wilkes. “We present a summary of the Borg system architecture and features, important design decisions, a quantitative analysis of some of its policy decisions, and a qualitative examination of lessons learned from a decade of operational experience with it.”

Pre-Pooping Your Pants With Rust, by Alexis Beingessner.

Hevea Project, an implementation of the Convex Integration Theory in order to visualize isometric embeddings of flat tori in three-dimensional Euclidean space.

Calculate categorically! (PDF, 1991), by Maarten M. Fokkinga. Quite nice notation, perhaps useful where diagrams are not appropriate. (Also see A Gentle Introduction to Category Theory: the calculational approach.)

Building OCaml with Redo

Fairfax, a nice 6x12 pixel font with huge range of characters.

The Anti-Pigeonhole Conjecture

How to pronounce hexadecimal

The death of optimizing compilers (PDF), slides by Daniel J. Bernstein.

The Hash Function BLAKE, a book by Jean-Philippe Aumasson, Willi Meier, Raphael C.-W. Phan, and Luca Henzen. Foreword by Daniel J. Bernstein.

Vector quotients: an aid for 3D calculations, by J. H. Condon and M. D. McIlroy.

A notation for the most general form of repetition (PDF, 1984). By Maarten M. Fokkinga.

MAT, the Metadata Anonymisation Toolkit.

git-timemachine, Emacs mode to step through historic versions of git controlled files. Very useful.

dygraphs is a fast, flexible open source JavaScript charting library.

Rock and Riot

There’s a Massive, Illicit Bust of Edward Snowden Stuck to a War Monument in Brooklyn, for not very long.

46 Years of RFCs (Celebrating The Anniversary of RFC 1)

The Next Stage of Staging (PDF), by Jun Inoue, Oleg Kiselyov, and Yukiyoshi Kameyama.

Sheaves & Sensors (2008, PDF). Slides by Robert Ghrist.

8088 MPH: We Break All Your Emulators, amazing demo! More background info..

Extracting the Private Key from a TREZOR using power analysis.

Me and the Hugos, by George R.R. Martin.

What Our Office Learned Working Naked for One Month (Ironically NSFW)

Valar Morghulis, an illustrated guide to all 456 deaths in “Game of Thrones”.

A Record of the Proceedings of SIGBOVIK 2015 (PDF).

Your kids will love a cookie-decorating party, by Mark Dominus. Recommended reading.

Lean is a new open source theorem prover being developed at Microsoft Research, and its standard library at Carnegie Mellon University. Apache 2.0 licensed. Contains a library for Homotopy Type Theory.

Our Favorite Typefaces of 2014, by Typographica.

WhyTheName of your favourite Unix tool.

xNBD is yet another NBD (Network Block Device) server program, which works with the NBD client driver of Linux Kernel.

Scan Tailor is an interactive post-processing tool for scanned pages. It performs operations such as page splitting, deskewing, adding/removing borders, and others.

lua-ed, an implementation of the standard Unix editor “ed”, written in Lua.

1401 - FORTRAN Illustrated, “an innovative 63-pass compiler that ran in only 8k of core.”

formal-morality, a formal moral framework coded in Haskell.

Is It O.K. To Be A Luddite? (1984), by Thomas Pynchon.

The US Forest Service’s Cocktail Construction Chart

Tiling by Squares, a whole website about it.