10 Vorschläge um die Welt zu verbessern, Video von Felix Schwenzel auf der re:publica 2013.

The CSS Zen Garden is 10 years old.

Faster curve25519 with precomputation, by Adam Langley.

Row Polymorphism Isn’t Subtyping, says Brian McKenna.

(Nearly) full tickless operation in Linux 3.10

Yeti is ML style functional programming language that runs on the JVM.

velour, an IRC client for the acme text editor.

Crit-bit trees for Haskell

This phosphine will get you fired, “I got to know many evil chemical smells over the years but nothing comes anywhere close.”

Die letzten Tage der Menschheit, eine Graphic Novel nach Karl Kraus.

Ode to a shipping label

http://info.cern.ch/hypertext/WWW/TheProject.html, Cool URIs don’t change.

OpenBSD 5.3 has been released. I’ve seen things your programs wouldn’t believe.

DragonFly 3.4 released!

Got CFF? “Google, in cooperation with Adobe and the FreeType project, released the Adobe CFF engine, an advanced CFF rasterizer, into open source for beta test.”

Predicting Google closures, “Google has occasionally shutdown services I use, and typically without any serious warning (here one day and gone the next); this is frustrating and tedious.”

Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism (PDF), by Joshua Dunfield and Neelakantan R. Krishnaswami.

Diff Displays is a project from the SACHI group that helps users of single or multiple displays (eg. monitors) to quickly gauge what has changed since they last looked at a display.

Trend: a general-purpose, efficient trend graph “Data is read in ASCII form from a file or continuously from a FIFO and displayed in real-time into a multi-pass trend (much like a CRT oscilloscope).”

go-raft is an Go implementation of the Raft distributed consensus protocol.

zoo, a irregular time series package for R.

Little Book of R for Time Series

Patch review vs diff review, revisited, at Jane Street.

Exim / Dovecot Command Execution, huge ouch.

Android sucks…, Boris Kraut spricht mir aus der Seele.

Neutral Milk Hotel Reunite for Tour, whoa.

I’m still here: back online after a year without the internet, by Paul Miller.

A Day Without Headphones: My 24-Hour Street Harassment Diary

Oh Joy, Sextoy, NSFW webcomic by Erica Moen.

White Men Wearing Google Glass

John C. Reynolds, RIP.

A Study of Concurrent Real-Time Garbage Collectors (PDF), by Filip Pizlo, Erez Petrank, and Bjarne Steensgaard.

In Search of an Understandable Consensus Algorithm (PDF), by Diego Ongaro and John Ousterhout. An alternative to Paxos.

bcron, a new cron system designed with secure operations in mind.

Ampere, a bittorrent client that runs in Chrome without plugins.

go circuit, extends the reach of Go’s linguistic environment to multi-host/multi-process applications.

bundledoc is a post-processor for the snapshot package that bundles together all the classes, packages and files needed to build a given LaTeX document.

Boolean Algebra in JavaScript. Transistor-level.

VSRE stands for “very short reply expected”. It’s a way for you to indicate to the recipients of your email that they have to reply with a short (usually one to five words) reply.

Fassbinder’s Favourites, “A year before his death in 1982 Fassbinder compiled a list of his 10 favourite films by other directors and his favourite 10 of his own films.”

Modern art was CIA ‘weapon’

Celebrity Close-Up

The Boston Marathon Bombing: Keep Calm and Carry On, Bruce Schneier: “Empathize, but refuse to be terrorized.”

The Most Difficult Bug, a nice story.

Reimplementing “git clone” in Haskell from the bottom up, by Stefan Saasen. Nice exposition.

tlsdate sets the local clock by securely connecting with TLS to remote servers and extracting the remote time out of the secure handshake.

fs-utils, File System Access Utilities in Userland using NetBSD rump.

Patoline is a digital typography system, similar to TeX. Uses Ocaml. Very early.

Pushover is a fun puzzle game originally published by Ocean in 1992. In this game you control an ant that can walk along platforms that are connected with ladders. On those platforms are dominos that need to fall according to some rules.

bíogo is a bioinformatics library for the Go language.

Internet Censorship in Dubai and the UAE, and how to circumvent it. By Julius Plenz.

Constructive Formalization of Regular Languages, Bachelor Thesis by Jan-Oliver Kaiser, using Coq and SSReflect. (Probably a good example of a medium-size proof.)

‘Could you poison your child?’: images from a century of medical propaganda, at The Verge.

A Small Area of Land (Kaka’ako Earth Room), a “temporary earth sculpture” made from “32,000 pounds of volcanic soil and coral sand.”

How Inventor Paul Vo Created a Little Black Box That Could Change Guitars Forever

DC Introduces First Transgender Character in Mainstream Comics

61 Things I Learned At The National Hobo Convention

GCR decoding on the fly, “The little routine presented here is, with all due humbleness, hands down the best code I ever wrote.” Impressive.

The stack calculus, by Alberto Carraro, Thomas Ehrhard, and Antonino Salibra. “We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded.”

Mtac: A Monad for Typed Tactic Programming in Coq, by Beta Ziliani et al. “We present Mtac, a lightweight but powerful extension to Coq that supports dependently-typed tactic programming. Mtac tactics have access to all the features of ordinary Coq programming, as well as a new set of typed tactical primitives.”

Debian Code Search is a search engine for source code – it searches all the open source projects which are included in the Debian archive. Currently, that includes about 18000 packages with 140 GiB of source code.

pristine-tar can regenerate a pristine upstream tarball using only a small binary delta file and a copy of the source which can be a revision control checkout.

Zerocoin: making Bitcoin anonymous, interesting.

Q^3 is a very new project using Mozilla’s Rust language and OpenGL 3.3 to create a Quake 3 like game.

Nestful is a simple Ruby HTTP/REST client with a sane API. By Alex MacCaw.

“Communicating sequential processes” implemented in Go, examples from Tony Hoare’s seminal 1978 paper.

learnfun & playfun, a general technique for automating NES games.

The 6th Underhanded C Contest is now Open

Why I’m quitting Mendeley, danah boyd tells.

15 Mid-Century Modern Dream Homes that will Kill Your Children

Hey Cthulhu, …

Learn Vimscript the Hard Way is a book for users of the Vim editor who want to learn how to customize Vim. By Steve Losh.

Improving the Performance of fsck in FreeBSD (PDF), by Marshall Kirk McKusick. “This work has once again shown the power of separating the filesystem layout policy routines from the implementation routines.” (No changes to fsck required.)

Dependent Types: A New Paradigm?, by Paul Callaghan. A quick tour of Idris for mortals.

RFC 6919: Further Key Words for Use in RFCs to Indicate Requirement Levels

RFC 6921: Design Considerations for Faster-Than-Light (FTL) Communication

The largest computer ever built, the “Semi-Automatic Ground Environment”.

imfdb, the Internet Movie Firearms Database. WJW.

Logarithmic Maps of the Universe

The Google Graveyard, “Leave a flower for a deceased Google product.”

Indifferent cats in amateur porn, NSFW but cute.

Distractions in Space, WJW. PNSFW.

German flea circus hit by freeze

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