Edward Snowden: the whistleblower behind revelations of NSA surveillance
Timeline of NSA Domestic Spying at the EFF.
PRISM, Verizon: Surprise!,
“You have to work hard to stop a war that kills a few hundred thousand
instead of millions. You have to work hard to stop massive
surveillance, instead of genocides. It’s all hard. Things can still
get better. Disappointment is the price of wanting a better world.
You need to stop being surprised that no-one else is fighting for it,
and start being surprised you’re not doing more.”
Dvir’s proof of the finite field Kakeya conjecture (2008),
presented by Terence Tao.
A Prolog Specification of Giant Number Arithmetic (PDF), by Paul Tarau.
Elementary Topos Theory and Intuitionistic Logic (PDF), by C. L. Mahany.
Introduction to computability logic (PDF), by Giorgi Japaridze.
A parable, by Edsger W. Dijkstra.
Text-align: Justify and RWD, a cool CSS trick.
Dialect Survey Results, visualized as colored maps of the USA.
Hexagonal Grids in computer games.
SELinux’s toxic mistake
ocaml-ctypes is a library for binding to C libraries using pure
OCaml. The primary aim is to make writing C extensions as
straightforward as possible.
micro-ecc is a small ECDH and ECDSA implementation for 32-bit
Oblique Strategies, nice to see such a site online again.
Tatsuo Horiuchi, the 73-year old Excel spreadsheet artist.
Chef Dominique Ansel Invents the CRONUT, genius!
Playful Recreations of Classic Paintings on Toast
Candy box, I spent way too much time on that.