RowHammer is a new type of memory failure that is found only in recent generations of DRAM chips. Just by reading from the same address >100K times, it is possible to corrupt data in nearby addresses. More technically, repeated “activations” to the same DRAM row corrupts data in adjacent DRAM rows. WJW.

Programs and Proofs: Mechanizing Mathematics with Dependent Types, Lecture notes with exercises by Ilya Sergey. Introductory course for Coq and SSReflect.

odo atomically updates a count in a file, which will be created if not present.

pplatex is a small commandline wrapper tool for latex and pdflatex which prints prettier error messages.

XMPP-Client, a secure and trustworthy XMPP client written in OCaml.

A Rare Peek Into The Massive Scale of AWS, very interesting.

Hy is a “wonderful dialect of Lisp” that’s embedded in Python.

Perspective for Emacs provides tagged workspaces in Emacs.

How to fold the world-record-setting paper airplane “Suzanne”

“Get Me Off Your Fucking Mailing List” is an actual science paper accepted by a journal, WJWJWJWJW.

Applying Homotopy Type Theory in Logic, Metaphysics, and Philosophy of Physics, at the University of Bristol. Three good articles up already.

Ftrace Kernel Hooks: More than just tracing (PDF), slides by Steven Rostedt.

tappet, a tiny TweetNaCl-encrypted UDP tunnel.

Functional pearl: finding a densest segment, by Sharon Curtis and Shin-Cheng Mu.

Formally-Proven Kosaraju’s algorithm (PDF), by Laurent Théry using Coq/SSReflect.

Functors and Recursion, by Danny Gratzer.

RegPack, a packer intended for use on minified Javascript code. Impressive.

Linux on Obsolete Displays

The Secret Life of Gitmo’s Women, by Sarah Mirk and Lucy Bellwood.

Kickended is the place where campaigns with no backers live a second life. Free from the pressure of money raising, these retain the purity of abstract ideas.

/r/uptimeporn

Barbie Fucks It Up Again, WJW.

Feminist Hacker Barbie

RIP Alexander Grothendieck (1928–2014), also see MeFi (all links recommended reading).

Alexander Grothendieck: A Country Known Only by Name, by Pierre Cartier.

IAB Statement on Internet Confidentiality, “We recommend that encryption be deployed throughout the protocol stack since there is not a single place within the stack where all kinds of communication can be protected.”

manifest 15, edition von felix schwenzel.

Harris Semiconductor RTX 2000 is a 16-bit stack processor. Used inside Philae.

wrk2 is the HTTP bencharking tool wrk, modifed to produce a constant throughput load.

vdir is a standard for storing calendars and contacts on a filesystem.

paperq, a tool for managing a reading queue of academic literature.

Joey Hess leaves Debian, also see GR vs consensus (from 2006).

Batch NFS (PDF), by Daniel J. Bernstein and Tanja Lange. They’re gonna factor all DNSSEC keys at once!

Inferring Algebraic Effects, by Matija Pretnar. “We present a complete polymorphic effect inference algorithm for an ML-style language with handlers of not only exceptions, but of any other algebraic effect such as input & output, mutable references and many others.”

How I Reverse Engineered Google Docs To Play Back Any Document’s Keystrokes, by James Somers. Amazing.

How I created two images with the same MD5 hash, by Nat McHugh. At a cost of $0.65 on AWS… ouch.

GnuPG 2.1 has been released, with support for Curve 25519.

Mopher, a firewall like mail filter.

CC500, a tiny self-hosting C compiler.

SSHelper, finally OpenSSH 6.6 and rsync 3.0.9 for Android. Free, and it just works out of the box! Thank you, Paul Lutus! (Hint: for rsync as root, use rsync -e 'ssh -p 2222' --rsync-path='su -c rsync' root@IP:...)

vim-notebook, a plugin for Vim for handling any interpreter in a notebook with evaluatable cells style.

PassiveDNS sniffs traffic from an interface or reads a pcap-file and outputs the DNS-server answers to a log file.

Spontaneous creation of the universe from nothing, by Dongshan He, Dongfeng Gao, and Qing-yu Cai.

The fact of Georg C., in short words.

schmutz, thoughts o̒f dirt sp̒ill over to̒ your unicode enabled ̇tex̒t.̣

First drone-filmed porno

whatthecommit.com

actually.js

OpenBSD 5.6 has been released.

Idris 0.9.15.1 released, with experimental support for uniqueness types and partial evaluation.

Xerox Alto file server archive, “the Computer History Museum released a set of files archived in the 1970s and early 1980s from the Xerox Alto file servers at Xerox PARC. The files include source code, executables, documents, fonts, and other files.”

HLF is an implementation of LF ala Twelf. “It is implemented as a DSL within Haskell because I hate parsing.”

JavaScript: The Better Parts (YouTube), talk by Douglas Crockford at Nordic.js 2014. Quite interesting ideas.

Porting OpenVMS to HP Integrity Servers, very interesting report.

Vegeta is a versatile HTTP load testing tool built out of need to drill HTTP services with a constant request rate.

git-feed, generate an Atom feed of git commits in the current repository.

The Hidden Power of BCD Instructions, cool stuff.

Halting Password Puzzles: Hard-to-break Encryption from Human-memorable Keys, by Xavier Boyen.

Building a 10BASE5 “Thick Ethernet” network, because we can.

Ice Cream and Distributed Systems

First Drafts of History, “Earliest extant versions of Wikipedia articles”.

Four stages of competence