Sometimes, When “All the Facts are In,” It’s Worse: The UC-Davis Pepper-Spray Report, read this.

20th International Obfuscated C Code Contest, winning entries from 2011 are up.

The Frank Manual (PDF), by Conor McBride. “Shall we be pure or impure? Frank is a strongly typed functional programming language answering this question ‘Yes.’”

PGFPlots, a LaTeX Package to create normal/logarithmic plots in two and three dimensions. Can be used to typeset complex tables from .csv files, too.

Scheme without special forms: a metacircular adventure

Parsing Mixfix Operators, by Nils Anders Danielsson and Ulf Norell.

Intel SSD 330 Review, probably the way to go.

Cortex-M0 emulator on ATTiny85

Making a 6 pin MSP430 value line device, WJW.

The Republia Times, recommended Flash game.

Descriptive Camera, 2012

RFC6540: IPv6 Support Required for All IP-Capable Nodes, and there was much rejoicing.

Linear Logic, course by Frank Pfenning with lots of material.

Finite Field Arithmetic and Reed-Solomon Coding, well summarized by Russ Cox. And how to apply it for making QArt.

On Structural Regexes and interactive implementations thereof.

Panda Three-Way, Lynn Beisner re-examines the rite of passage that is “first sex” after learning her son lost his virginity in a three-way with an older couple.

Tromi, a high-speed falling tetromino game in pygame. Feels TGM-ish. (More info.)

Nested

Xmonad in Coq: Programming a window manager in a proof assistant, by Wouter Swierstra.

Recursive types for free!, by Philip Wadler.

When is a functional program not a functional program?, by John Longley.

Constructivist and Structuralist Foundations: Bishop’s and Lawvere’s Theories of Sets, by Erik Palmgren.

Predicative and Impredicative Definitions

The Raster Tragedy at Low-Resolution Revisited: Opportunities and Challenges beyond “Delta-Hinting”, by Beat Stamm.

How Emacs changed my Life, slides by matz.

CPU DB, a complete database of processors for researchers and hobbyists alike.

The Elian Script, “An alternative writing system whose properties combine the linearity of spelling with the free-form nature of drawing.”

Copyright stagnation, this needs to be fixed.

Slow Motion Car Crash

Mosh is a remote terminal application that supports intermittent connectivity, allows roaming, and provides speculative local echo and line editing of user keystrokes.

split2flac splits one big APE/FLAC/WV/WAV audio image with CUE sheet into FLAC/M4A/MP3/OGG_VORBIS/WAV tracks with tagging, renaming, charset conversion of cue sheet, album cover images. Very useful.

Linux on an 8-bit micro?, WJW.

Random Hash Functions, by Russ Cox.

Go version 1 is released

Loose Ends, or: how to troll computer algebra developers.

The Story Of The Extra Audio Track: Recording Music With OpenBSD

The Daiquiri, by Albert McMurry.

Down To Fax is the hot new way to meet eligible singles.

World Map: Metal Bands per 100,000 People.

RFC6592: The Null Packet, by Carlos Pignataro.

Is it a condom, or is it an Android?