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.
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
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.