Maria und Josef in Neukölln, Lesebefehl!

Rethinking Set Theory, by Tom Leinster. A very pragmatic approach and good discussion.

BLAKE2 is an improved version of the SHA-3 finalist BLAKE. It is fast as MD5 on 64-bit platforms and requires at least 33% less RAM than SHA-2 or SHA-3 on low-end systems.

Afterquery is a pure-client-side javascript tool that downloads jsonp-formatted data from a given URL, applies a configurable series of transformations, and then renders the result as either a data table or a Google Visualizations (gviz) chart. Features a very nice query language.

LuaJITTeX is an experimental version of LuaTeX where Lua is replaced by LuaJIT.

Iron Lambda is a collection of ​Coq formalisations for functional languages of increasing complexity.

FreeBSD/armv6: what’s new and exciting?, and a new Raspberry Pi image.

netmap, a novel framework for fast packet I/O has been FreeBSD for quite some time now.

New Trampled Snow Art from Simon Beck

The Surprising Menger Sponge Slice

E17 Release: ZERO, “the first and final official release of E17”.

GNU sed 4.2.2 released, and a rant from the maintainer, Paolo Bonzini steps down from GNU sed and GNU grep.

GnuTLS, copyright assignment, and GNU project governance, at LWN.

Afterquery is a pure-client-side javascript tool that downloads jsonp-formatted data from a given URL, applies a configurable series of transformations, and then renders the result as either a data table or a Google Visualizations (gviz) chart. Features a very nice query language.

go.wde provides windows, drawing and events for Go on X11, Win and Mac.

ML4PG, a machine-learning extension for Proof General. It allows to gather proof statistics related to shapes of goals, sequences of applied tactics, and proof-tree structures from the libraries of interactive higher-order proofs written in Coq and SSReflect. WJW.

Dstat is a versatile replacement for vmstat, iostat, netstat and ifstat.

Searching Without Objectives, “Kenneth O. Stanley considers that innovation is stifled when we are strictly following a high goal, and we would progress more when we are inclined to discovery rather than following an objective.” Recommended.

Embedding Pure Type Systems in the lambda-Pi-calculus modulo (PDF), by Denis Cousineau and Gilles Dowek.

Dedukti is a universal proof checker, based on the λΠ-calculus modulo formalism.

What Would Be Left, If…?, apocalypses in math and theory.

My type design philosophy, by Martin Majoor. I like his idea of an “Akzidenz Grotesk Italic”.

Srinivasa Ramanujan’s 125th Birthday Google Doodle

Concrete Eames Chair

The Web We Lost, Anil Dash remembers.

Mars Code, video of a talk by Gerard Holzmann of the JPL Laboratory for Reliable Software at HotDep ‘12 on the software behind Curiosity.

Go for C programmers, slides of a talk by Robert Griesemer.

Caledon is a dependently typed, polymorphic, higher order logic programming language.

Ronja is a free technology project for reliable optical data links with a current range of 1.4km and a communication speed of 10Mbps full duplex.

NetBSD binary kernel modules usable on Linux in rump kernels, fun.

REBOL [R3] Source Code Distribution, now public under Apache 2.0 License(!).

Building my Own Laptop, sounds pretty awesome.

Earliest Uses of Various Mathematical Symbols

Non-invasive printf debugging, cool trick.

Opportunistische Rechtschreibung, Haekels’chwein’s Regeln .

Turning the Raspberry Pi Into an FM Transmitter

The Animated ‘GIF-iti’ of INSA

Google60, WJW.

Jul!

libFirm is a library that provides an intermediate representation and optimisations for compilers. A C99 front-end exists which works on x86.

rdumpfs, I wrote a small backup tool.

Broken LaTeX, a LaTeX document that does not converge. Nasty.

Exceptions are shared secrets, Robert Harper says.

Bell Labs CSR Selected Technical Reports

Perl Advent Calendar 2012

Perl 6 Advent Calendar

SysAdvent

The history of AOL as told through New York Times crossword clues

Fourteen years of Pantone colors-of-the-year

The Miracle of Christmas

Kill Yourself at Home

Tilt-Shift Van Gogh

ok.

Getting Plan 9 running on the Raspberry Pi, full images are available now. Finally a cheap terminal!

Zwischenstand im Presse-Limbo zum Leistungschutzrecht, es tut so weh.

Forget Disclosure – Hackers Should Keep Security Holes to Themselves, by weev: “[I]n many cases the harm of disclosure to the un-patched masses (and the loss of the exploit’s potential as a tool against oppressive governments) greatly outweighs any benefit that comes from shaming vendors.”

10 PRINT is a book about a one-line Commodore 64 BASIC program. Full text available online.

An Executable Semantic Definition of the Beta Language using Rewriting Logic (PDF), by Mark Hills, T. Barış Aktemur, and Grigore Roşu.

24 ways is the advent calendar for web geeks.

Ruby Advent Calendar 2012, in Japanese.

Perl Dancer Advent Calendar 2012

24 Days of Hackage

Einstein Platform is NewtonOS running on other operating system (including Android!).

Perl 6 cheat sheet, more languages need such a thing.

The life and extraordinary adventures of a typographical point, by Artemy Lebedev.

Feminist icon: Cookie Mueller, NSFW.

Skrillex Quest, WJW.