John C. Reynolds, RIP.

A Study of Concurrent Real-Time Garbage Collectors (PDF), by Filip Pizlo, Erez Petrank, and Bjarne Steensgaard.

In Search of an Understandable Consensus Algorithm (PDF), by Diego Ongaro and John Ousterhout. An alternative to Paxos.

bcron, a new cron system designed with secure operations in mind.

Ampere, a bittorrent client that runs in Chrome without plugins.

go circuit, extends the reach of Go’s linguistic environment to multi-host/multi-process applications.

bundledoc is a post-processor for the snapshot package that bundles together all the classes, packages and files needed to build a given LaTeX document.

Boolean Algebra in JavaScript. Transistor-level.

VSRE stands for “very short reply expected”. It’s a way for you to indicate to the recipients of your email that they have to reply with a short (usually one to five words) reply.

Fassbinder’s Favourites, “A year before his death in 1982 Fassbinder compiled a list of his 10 favourite films by other directors and his favourite 10 of his own films.”

Modern art was CIA ‘weapon’

Celebrity Close-Up

The Boston Marathon Bombing: Keep Calm and Carry On, Bruce Schneier: “Empathize, but refuse to be terrorized.”

The Most Difficult Bug, a nice story.

Reimplementing “git clone” in Haskell from the bottom up, by Stefan Saasen. Nice exposition.

tlsdate sets the local clock by securely connecting with TLS to remote servers and extracting the remote time out of the secure handshake.

fs-utils, File System Access Utilities in Userland using NetBSD rump.

Patoline is a digital typography system, similar to TeX. Uses Ocaml. Very early.

Pushover is a fun puzzle game originally published by Ocean in 1992. In this game you control an ant that can walk along platforms that are connected with ladders. On those platforms are dominos that need to fall according to some rules.

bíogo is a bioinformatics library for the Go language.

Internet Censorship in Dubai and the UAE, and how to circumvent it. By Julius Plenz.

Constructive Formalization of Regular Languages, Bachelor Thesis by Jan-Oliver Kaiser, using Coq and SSReflect. (Probably a good example of a medium-size proof.)

‘Could you poison your child?’: images from a century of medical propaganda, at The Verge.

A Small Area of Land (Kaka’ako Earth Room), a “temporary earth sculpture” made from “32,000 pounds of volcanic soil and coral sand.”

How Inventor Paul Vo Created a Little Black Box That Could Change Guitars Forever

DC Introduces First Transgender Character in Mainstream Comics

61 Things I Learned At The National Hobo Convention

GCR decoding on the fly, “The little routine presented here is, with all due humbleness, hands down the best code I ever wrote.” Impressive.

The stack calculus, by Alberto Carraro, Thomas Ehrhard, and Antonino Salibra. “We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded.”

Mtac: A Monad for Typed Tactic Programming in Coq, by Beta Ziliani et al. “We present Mtac, a lightweight but powerful extension to Coq that supports dependently-typed tactic programming. Mtac tactics have access to all the features of ordinary Coq programming, as well as a new set of typed tactical primitives.”

Debian Code Search is a search engine for source code – it searches all the open source projects which are included in the Debian archive. Currently, that includes about 18000 packages with 140 GiB of source code.

pristine-tar can regenerate a pristine upstream tarball using only a small binary delta file and a copy of the source which can be a revision control checkout.

Zerocoin: making Bitcoin anonymous, interesting.

Q^3 is a very new project using Mozilla’s Rust language and OpenGL 3.3 to create a Quake 3 like game.

Nestful is a simple Ruby HTTP/REST client with a sane API. By Alex MacCaw.

“Communicating sequential processes” implemented in Go, examples from Tony Hoare’s seminal 1978 paper.

learnfun & playfun, a general technique for automating NES games.

The 6th Underhanded C Contest is now Open

Why I’m quitting Mendeley, danah boyd tells.

15 Mid-Century Modern Dream Homes that will Kill Your Children

Hey Cthulhu, …

Learn Vimscript the Hard Way is a book for users of the Vim editor who want to learn how to customize Vim. By Steve Losh.

Improving the Performance of fsck in FreeBSD (PDF), by Marshall Kirk McKusick. “This work has once again shown the power of separating the filesystem layout policy routines from the implementation routines.” (No changes to fsck required.)

Dependent Types: A New Paradigm?, by Paul Callaghan. A quick tour of Idris for mortals.

RFC 6919: Further Key Words for Use in RFCs to Indicate Requirement Levels

RFC 6921: Design Considerations for Faster-Than-Light (FTL) Communication

The largest computer ever built, the “Semi-Automatic Ground Environment”.

imfdb, the Internet Movie Firearms Database. WJW.

Logarithmic Maps of the Universe

The Google Graveyard, “Leave a flower for a deceased Google product.”

Indifferent cats in amateur porn, NSFW but cute.

Distractions in Space, WJW. PNSFW.

German flea circus hit by freeze