Keine Kampfdrohnen! Wir sind gegen die Etablierung einer Drohnentechnologie zur Kriegsführung, Überwachung und Unterdrückung.

Google broke it, by Volker Weber. “You can bend a piece of metal. Back and forth. Many times. And then, finally, it will break.”

Programming and Reasoning with Algebraic Effects and Dependent Types, by Edwin Brady. Pretty awesome.

Pluralism in Mathematics (PDF), by E. B. Davies. “We defend pluralism in mathematics, and in particular Errett Bishop’s constructive approach to mathematics, on pragmatic grounds, avoiding the philosophical issues which have dissuaded many mathematicians from taking it seriously.”

goweb, a literate programming tool for Go. Very close to Knuth’s WEB.

Terminology is a new terminal emulator for Enlightenment. Crazy slick and very fast.

Bitmessage is a P2P communications protocol used to send encrypted messages to another person or to many subscribers.

SiND prints freedesktop notifications to stdout.

tetr.js, proper implementation of Tetris in HTML5. Try it.

Revisionist History, “If a working time machine falls into my lap, these are a few things I’d address…” Lacks Lambdas in Java.

Newton Poetry, a weblog about the pioneering PDA, Apple’s Newton MessagePad, and how it interfaces with the modern Mac world.

Our Favorite Typefaces of 2012, at Typographica.

Music From Mathematics was an album of early electronic music, programmed by the boffins at Bell Laboratories way back in the early 1960s, using the then-new IBM 7090 computer and an “electronic to sound transducer”.

Starry, Starry, Starry Night, Thierry Cohen blends city scenes and the night skies from less populated locations that fall on the same latitudes.

Super Mario World “Completed” in Under 3 Minutes by Corrupting the RAM

The Fresh Ten Commandments

Actresses without teeth

un? Bubble-wrap Bikini

Port scanning /0 using insecure embedded devices, “From March to December 2012 we used ~420 Thousand insecure embedded devices as a distributed port scanner to scan all IPv4 addresses.” WJW. (Also see the paper. Fantastic results.)

Running NetBSD’s Rump Kernels On Any Host, “builds unmodified NetBSD kernel drivers such as file systems and the TCP/IP stack as components for hosts such as Linux and other BSDs.”

Using BGP for realtime import and export of OpenBSD spamd entries, by Peter Hessler and Bob Beck. Neat idea.

LiScript replaces JavaScript’s syntax by Lisp’s powerful S-Expressions and macro system. Nice small implementation.

Copper is a simple imperative language statically typed with type inference and genericity. Elegant design.

Nineteen Films, Dave Fischer attempts to list the greatest films ever made. Also, his list of Insane Films.

Hacking NVidia Cards into their Professional Counterparts, by changing the resistors that specify the PCI ID(!).

Voyager 1 has entered a new region of space

Homeworld 2 – Backgrounds, very cool.

Beetle Juice – A Minecraft Roller Coaster

Bierdeckelnotation auf Wikipedia…

Conception Connection

Attack of the week: RC4 is kind of broken in TLS, “if you’re using RC4 as your primary ciphersuite in SSL/TLS, now would be a great time to stop.”

Failures of secret-key cryptography (PDF), talk by D. J. Bernstein. Recommended (looks only so long because of an “animation” inside).

Google, destroyer of ecosystems, Aldo Cortesi on the shutdown of Google Reader: “The only way Google could inconvenience me more would be to shut down search itself”.

Computing Digits of π with CUDA, with new great results.

ANTS: Advanced Namespace ToolS for Plan 9, “ANTS offers tools which allow multiple forms of Plan 9 to work independently side by side, but share resources as needed.” Allows for screen(1)-like reattaching, too.

Writing Go in Emacs, a collection of tools presented by Dominik Honnef.

se is a screen oriented version of the classic UNIX text editor ed. Revived 2013.

Logic programming is overrated, says Mark Engelberg.

Triangles, Rotation, a Theorem and the Jackpot, by Dave Auckly. “This is an expository paper designed to introduce undergraduates to the Atiyah-Singer index theorem 50 years after its announcement.” Check out that problem, and its solution.

Zeroless Arithmetic: Representing Integers ONLY using ONE, by Edinah K. Ghang and Doron Zeilberger.

Tales Of Kink.Com, by Maggie Mayhem. Recommended, PNSFW.

Habemus opinionem, The New York Times experiments with more structured online comments. Interesting idea.

Distorted Wooden Cabinet Carved To Look Like Someone Hit The ‘Pause’ Button (if you remember analog artifacts, that is.)

New York City’s Hidden Subway Station

Liberal Crime Squad, the game.

Hitler finds out Google Reader is shutting down

#920; In which an Exception is made

prank easter eggs

Vatileaks fear creeps into the Conclave, “A sophisticated anti-bug and cell phone signal system has been installed in the Sistine Chapel.”

Category theory for scientists, by David I. Spivak. “There are many books designed to introduce category theory to either a mathematical audience or a computer science audience. In this book, our audience is the broader scientific community. We attempt to show that category theory can be applied throughout the sciences as a framework for modeling phenomena and communicating results.”

Univalent categories and the Rezk completion, by Benedikt Ahrens, Chris Kapulkin, and Michael Shulman. “We develop category theory within Univalent Foundations, which is a foundational system for mathematics based on a homotopical interpretation of dependent type theory. In this system, we propose a definition of “category” for which equality and equivalence of categories agree.” With proofs in Coq.

Plain Paxos a basic implementation of the Paxos algorithm in Python, by Tom Cocagne. “The distinguishing characteristic of this implementation, as compared to other freely available and open-source implementations, is that this library is completely independent of application domains and networking infrastructures.”

Pcompress is a high-performance utility to do compression/decompression and deduplication in parallel by splitting input data into chunks. Chunk splitting can happen at fixed points or variable content-defined boundaries.

Peeking into Linux kernel-land using /proc filesystem for quick’n’dirty troubleshooting, cool tricks.

One true awk, now on Github.

A/C but no D/C: last Con Edison direct current customer is history, guess the year before clicking.

How to “open” microchip and what’s inside? Great views.

Conway’s Soldiers

Stunning Dita Von Teese in Revolutionary 3D-Printed Dress, “The spectacular garment is made of 17 individually printed pieces with 3,000 articulated joints.”

I’m trying to stay away from the Internet lately

Client-side MVC is not a silver bullet, Thomas Fuchs: “It’s better to let the server handle HTML rendering and minimize the use of JavaScript on the client.”

Mechanizing Metatheory in a Logical Framework (PDF), by Robert Harper and Daniel R. Licata.

Go 1.1 Function Calls, by Russ Cox: “As part of addressing the dynamic code generation problem for Go 1.1, it is worth taking a broader look at the way Go implements function calls.”

Godef prints the source location of definitions in Go programs. This is awesome, especially when used from the new go-mode.el.

errcheck is a program for checking for unchecked errors in Go programs.

mlannot is an OCaml annotation extractor for VIM.

Kaputt is a unit testing tool for the OCaml language, also featuring QuickCheck-like tests.

DIY Weapons of the Syrian Rebels, WJW.

Submarine Cable Map

Butch Heroes

PETPETA, People for Ethical Treatment of People for Ethical Treatment of Animals.

Windows 95 Tips, Tricks, and Tweaks

The way things work

all I own