trapcc proves Turing-completeness of the Intel MMU. WJW.

Write Yourself a Haskell… in Lisp, reread the title carefully if you think you’ve seen this already.

On Partial Functions in Idris, Edwin Brady: “I don’t believe it’s a language’s job to tell a program what level of precision their programs’ types should have.”

The second-order-diff Git trick, nice idea.

Jonesforth-ARM is a Forth interpreter developed for ARM.

git-remote-gcrypt implements GNU Privacy Guard-encrypted git remotes. This will be awesome.

404PageFound started in May 2009 with the goal of uncovering dated websites (generally from 1994–2001) that are still active and have avoided major updates.

Guerrilla surveillance camera destruction hits the U.S., “now Camover is a global game.”

Lux-Lesebogen was a miniature bi-weekly magazine for young people published in Germany between 1946 and 1964. Impressive cover art.

The “Well-Sorted Version”, a Bible containing the complete text of the King James Version, alphabetized.

Battle of the Somm, by Ben Schott. The secret language of some of New York’s finest Sommeliers.

The Saddest Map In America

turam’s glue gun chandelier

skifree.js

The Password Hashing Competition (PHC) is an effort organized to identify new password hashing schemes in order to improve on the state-of-the-art (PBKDF2, scrypt, etc.). The PHC follows the model of focused cryptographic competitions such as AES, eSTREAM, or SHA-3.

Bye bye beams!, “This time, it’s true. The Large Hadron Collider (LHC), will stop making collisions for about two years.”

Simple Generators v. Lazy Evaluation, by Oleg Kiselyov, Simon Peyton-Jones, and Amr Sabry.

Qt GUI Toolkit Ported to JavaScript via Emscripten

Adobe Photoshop Source Code of version 1 at the Computer History Museum.

ReactiveML is based on the synchronous reactive model of Boussinot embedded in an ML language (here OCaml). The synchronous reactive model provides synchronous parallel composition and dynamic features like the dynamic creation of processes.

My Favorite APL Symbol, by Roger K.W. Hui.

The empty set according to Bourbaki

Markdown.css is CSS to make HTML markup look like plain-text markdown.

ddate.cc, a Discordian Date web service.

Kowloon Walled City was a densely populated, largely ungoverned settlement in Kowloon, Hong Kong. In 1987, the Walled City contained 33,000 residents within its 0.026 square km borders.

Daniel Permanetter slinks cinematically into Bob Dylan’s life.

Pictures of Hipsters Taking Pictures of Food

The Children’s Illustrated Clausewitz

List of sexually active popes

Ice cylinder maker

GIMPS Project Discovers Largest Known Prime Number, , which is the 48th Mersenne Prime.

Why We Shut Down Charm on the Eve of Public Launch, at $48k/Year and Growing, Amy Hoy reflects.

ΕΥΚΛΕΙΔΗΣ, a Geometry Drawing Language. It aims to be a fairly comprehensive system to create geometric figures, either static or dynamic. Eukleides allows to handle basic types of data: numbers and strings, as well as geometric types of data: points, vectors, sets (of points), lines, circles and conics.

ELI is an array programming language system based on APL but uses ASCII-character set.

Lexical Scanning in Go, talk by Rob Pike (2011). YouTube video.

The Base64 Encoder Has A Fixed Point, nice.

A regular expression crossword puzzle (PDF). That was an hour of fun.

Things Fitting Perfectly Into Other Things

Standard Normal Distribution Plushie

“What am I going to do with this penis pan?”

Lucky Thirteen: Breaking the TLS and DTLS Record Protocols, by Nadhem J. AlFardan and Kenneth G. Paterson. “We have found new attacks against TLS and DTLS that allow a Man-in-the-Middle attacker to recover plaintext from a TLS/DTLS connection when CBC-mode encryption is used. The attacks arise from a flaw in the TLS specification rather than as a bug in specific implementations.”

Managing NetBSD with Ansible, First Steps, by Hubert Feyrer.

Portable OpenSMTPD, a portable version of the small and secure OpenBSD SMTP daemon.

RbNaCl is a Ruby binding to the state-of-the-art Networking and Cryptography library by Daniel J. Bernstein.

The Arensito Keyboard Layout, quite interesting.

Free Complete Works of H.P. Lovecraft for Nook and Kindle, as EPUB, MOBI, PDF.

Eleven things organizations can learn from airports, by Seth Godin.

Detecting lost rooms with architectural antennae

Short Phrases for Typeface Specimens

Paperman, full animated short film by Disney. Recommended.

Group of Men Have Played Game of Tag for 23 Years