musl 0.9 released, now under the MIT license. Hooray!

FreeBSD replaces GCC with Clang in FreeBSD 10.0

TCP doesn’t suck, and all the proposed bufferbloat fixes are identical, says Avery Pennarun.

Big Data Counting: How to count a billion distinct objects using only 1.5KB of Memory

Snowflake, a highly experimental Linux distribution based on the musl C library

Northstar Linux is an experimental Linux distribution based on Sabotage Linux.

fatrace reports system wide file access events on Linux systems. Finally a tool to do this!

2D Glasses, converts standard 3D movies into relaxing 2D.

High-Entropy Diagnosis, requires Flash.

The Art of Shadow and Light

The March of Progress

Common Lisp: The Untold Story, by Kent M. Pitman.

Anything Goes, by P. J. O’Rourke. “For three decades the author searched fruitlessly for the perfect city. And then he found it.”

OpenBSD 5.1 Released

portable cwm 5.1 released, I finally made a tar.gz. :)

HyperRogue in a strange, non-Euclidean world.

Lytro Light Field Camera, review at dpreview.com.

Mineception, Minecraft in Minecraft.

The shitty singularity

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?

The Free Universal Construction Kit, WJW.

Typhoeus is a Ruby library to run HTTP requests in parallel while cleanly encapsulating handling logic. Uses libcurl.

bsddistmake is a patch for OpenBSD’s make(1) allowing distributed builds. Nice.

My Pie Town, by Debbie Grossman. “Imagine an America in which all-female families survived the Great Depression raising children and farming homesteads in the absence of men.”

The Point of the Tamagotchi was to Watch Things Die

Minecraft Scientific/Graphing calculator

New Condoms

one tiny hand

My Git Habits, by Mark J. Dominus. Quite individual, but very thoughtful.

The Man Who Broke Atlantic City, “Don Johnson won nearly $6 million playing blackjack in one night, single-handedly decimating the monthly revenue of Atlantic City’s Tropicana casino.” Exciting.

The Bisexuality Report is now available, made for the UK, but probably applies to whole Europe.

A Decision Procedure for Regular Expression Equivalence in Type Theory, by Thierry Coquand and Vincent Siles. Features a nice definition of inductively defined finite sets.

Deciding Kleene Algebras in Coq, by Thomas Braibant and Damien Pous. Very detailed and clear exposition.

Binary combinatory logic (BCL) is a formulation of combinatory logic using only the symbols 0 and 1.

Tailin’ Ruby, by Magnus Holm. Using tail-recursion in Ruby, or emulations thereof.

HEXEN 2.0 is a project by British artist Suzanne Treister. HEXEN 2.0 charts the coming together of diverse physical and social sciences in the framework of post-Second-World-War US governmental and military imperatives.

The Accidental Video Game Porn Archive, PNSFW.

Time in the 10,000-Year Clock (PDF), by Danny Hillis, Rob Seaman, Steve Allen, and Jon Giorgini.

Pre-Millennium Tension: The Dali Clock Y2K Easter Egg, jwz tells it all.

Practical Foundations for Programming Languages (PDF), by Robert Harper. Very comprehensive, yet clear written.

Why Eager Languages Don’t Have Products and Lazy Languages Don’t Have Sums

Programming with Algebraic Effects and Handlers, by Andrej Bauer and Matija Pretnar. Describes the foundations of their language eff.

A Tutorial Implementation of a Dependently Typed Lambda Calculus, by Andres Löh, Conor McBride and Wouter Swierstra. Really nice paper.

Functional Programming, Program Transformations and Compiler Constructions (PDF), PhD thesis by Alexander Augusteijn (1993). Clear, functional expositions of many compiler-related concepts.

MixML is a complete redesign of the ML module language.

Few Examples of Lisp Code Typography

Programming Perl, 4th Edition.

ELLCC is a project to using Clang and the LLVM (Low Level Virtual Machine) compiler infrastructure. Uses the NetBSD libc.

bandwidth, sheesh. Trivium: 17kB.

ISBN to BibTeX Converter, can save some time.

Der Bäcker von nebenan, traditionelle Betriebe statt Massenware in München und Umgebung.

Mari0, “A complete from scratch recreation of Super Mario Bros. with a focus on perfectly imitating the feel the 1985 classic gave us. Then give Mario a portal gun, add puzzle game mechanics from Portal and there you go.”

Classic Nintendo Games are (NP-)Hard, by Greg Aloupis, Erik D. Demaine, Alan Guo.

Photos Captured the Moment the Camera is Destroyed by a Bullet

Rubber Duck, 10 x 11 x 13 meters.

A Cosmology of Malice, ff.

Banksy on Advertising

Computers are very good at the game of Go, 5-dan by now. Recommended reading.

DragonFly BSD 3.0 has been released.

Diode Matrix, “The ROM is easily user-writable using a soldering iron and pair of wire cutters.”

The X Toolkit: WebGL for Scientific Visualization, wow.

The Anti-Cons, Lisp trickery.

Old Fashioned 101: The classic American cocktail, by Martin Doudoroff.

I Love Photography, by Allen Murabayashi.

M.A. Numminen Sings Wittgenstein

Pussy Riot Rocks Russia

A Simple and Convenient Synthesis of Pseudoephedrine From N-Methylamphetamine (PDF), WJW.