Chess World Championships 2013, Anand vs. Carlsen. Nice commentary on the games, also showing why they didn’t move differently. I’m not very much into chess but enjoyed that.

Small gaps between primes, by James Maynard. “We introduce a refinement of the GPY sieve method for studying prime k-tuples and small gaps between primes. […] We also show that lim inf(p_n+1−p_n) ≤ 600.”

Primes in intervals of bounded length (PDF), summary paper by Andrew Granville about the recent developments.

R7RS-small draft ratified by the Steering Committee.

40 years of boxplots, by Hadley Wickham and Lisa Stryjewski.

Advanced R programming, book in progress by Hadley Wickham.

Seaborn is a library of high-level functions that facilitate making informative and attractive plots of statistical data using Python’s matplotlib.

Alea: a library for reasoning on randomized algorithms in Coq, by Christine Paulin-Mohring.

Vectorization of ChaCha Stream Cipher, by Martin Goll and Shay Gueron. “On the latest Intel Haswell microarchitecture, our AVX2 implementation performs at 1.43 cycles per byte (on a 4KB message), which is ~2x faster than the current implementation in the Chromium project.”

minime, a minimalist editor inspired by sam(1), acme(1) and emacs(1). Looks pretty neat.

Nomography, or Computing without Computers.

Fairy chess

The making of Real World OCaml, final version is up!

Terminal Cornucopia, “Can common items sold in airports after the security screening be used to build lethal weapons?” (Of course, here’s how.)

Optimal Irreducible Polynomials for GF(2^m) Arithmetic, by Michael Scott.

Verified Vector Clocks: An Experience Report, by Christopher Meiklejohn.

Twitter waterflow problem and loeb

Beyond Compare, the first tool with reasonable (supporting insertions and deletions) and quick binary diffs I could find. Linux version available. $30. (If you know an open source/commandline alternative, please mail me.)

WMND is a dockapp for monitoring network interfaces under WindowMaker and other compatible window managers.

mattext, a simple matrix-style pager. Fun!

Shelter From The Storm, the inside story of Bob Dylan’s Blood On The Tracks.

Adobe Crossword

cachemonet.com

Distributed computing with alien technology

Wang Tiles and Aperiodic Tiling, “The discovery of an aperiodic set spoilt Wang’s argument and it is now known that the Tiling Problem is undecidable.”

Antimirov Derivatives for Regular Expressions, “rather than taking regular expressions modulo the ACUI equations, we can construct sets of partial derivatives, which collectively accept the same strings as the Brzozowski derivative.” Nice piece of OCaml.

Point-free, set-free concrete linear algebra (PDF), Georges Gonthier outlines the linear algebra subset of SSReflect.

Theorem of three circles in Coq, by Julianna Zsidó.

Baysig is a probabilistic, spatiotemporal and purely functional programming language.

Interactive Idris editing with Vim

How was Mozilla born, the story of the first mascot on the Internet.

Dwarf Fortress: A Marxist Analysis

Berlin in den 90ern

Boys’ Night

ROT 8000

3eanuts

Toyota’s killer firmware: Bad design and its consequences, “The in-depth analysis conducted by Barr and his colleagues illuminates a shameful example of software design and development, and provides a cautionary tale to all involved in safety-critical development, whether that be for automotive, medical, aerospace, or anywhere else where failure is not tolerable.”

How to lose $172,222 a second for 45 minutes, “probably the most painful bug report I’ve ever read.”

The intuitionistic programming language (IPL) is a new open source programming language, implemented in OCaml, combining a very high level of abstraction with compilation to efficient LLVM bytecode.

perma.cc helps authors and journals create permanent archived citations in their published work. Backed by many American libraries.

15-819 Homotopy Type Theory, ongoing course by Robert Harper. Video and notes are public.

git integration a tool to manage a branch which is the result of merging several in-progress topic branches onto a base branch.

ktap is a new script-based dynamic tracing tool for Linux, it uses a scripting language and lets users trace the Linux kernel dynamically.

minimunin, a tiny munin-node implementation for FreeBSD written in pure bourne shell providing basic plugin support

The OpenBSD 5.4 Release

SALTO, The Xerox Alto Simulator.

Parsing JSON with a single regex

Devil’s Dictionary of Programming

Clicking Bad