Dave Fisher is a plain awesome guy. Look at his “Home Computer”, his desktop setup, animations he writes in C and hand-coded Postscript(!), his zine (“Biology Class” from the first issue is a must read!), well, and the rest of his site. (Really, it’s worth it.)

Typedia is a resource to classify, categorize, and connect typefaces.

Toledo Nanochess, 1258 non-blank characters of C.

Micro-Max, another tiny chess (1443 chars). This one is well-documented.

NeXT’s OPENSTEP up and running on a MacBook Pro, rawr.

symbolics.com has been sold.

Dishwasher-Steamed Salmon With Cilantro Sauce and Poached Chicken and Couscous in a Coffee Maker, better don’t let McGyver into your kitchen.

The Official RING HOMOMORPHISMS Webpage, “Ring Homomorphisms are sooooooooooo sweet that I want to crap my pants.”

Sexmap: Create Your Map of Human Sexuality, nice concept.

Peeing in the shower: the rules, WJW.

Principia Discordia, 1st Edition.

How Many People Are In Space Right Now?

Museum of Animal Perspectives

Dissection of a Cathedral

P.S.: I’ll be offline until mid-September, don’t expect updates.

The ÆrieBSD project strives to produce a free, multi-platform UNIX-like operating system including the best possible free development environment. This includes (in adition to traditional BSD environment) free compilers, assemblers, linkers and other tools for various architectures as well cross-building capabilities. A GPL-free OpenBSD fork, very interesting.

Notes from the Metalevel: An Introduction to Computer Composition, by Heinrich Konrad Taube.

Wandering through linear types, capabilities, and regions, slides by François Pottier.

Baseline is a CSS framework build around the idea of a “real” baseline grid.

The Daily Death: When A Celebrity Dies Every 15 Minute

Dive Into HTML 5, by Mark Pilgrim. Early draft.

Yet another Key-Value database, by LShift.

The Longest Poem in the World is twitter-sourced.

Uncomfortable Plot Summaries

iPhone soap

Swim

Repeating Lenin, by Slavoj Žižek. “Doesn’t Lenin stand precisely for the FAILURE to put Marxism into practice, for the big catastrophe which left its mark on the entire XXth century world politics, for the Real Socialist experiment which culminated in an economically inefficient dictatorship?”

Be The Wumpus is a game with no graphics, with no text, only audio. You are a wumpus, a blind, cave dwelling creature who subsists on meals of unlucky cave wanderers. Back in the 70’s, you may have been among those brave souls who hunted the wumpus. But the wumpus, driven nearly to extinction, is now a protected species. But, do not fear, there is still much fun to be had involving both hunting, and wumpusses. Now you can be the wumpus, and hunt the wumpus hunters!

SLOGN, is a new conference in theoretical computer science, narrowly construed, encouraging difficult arguments, analyses, and algorithms. Neat ;)

WebFinger, “We’re bringing back the finger protocol, but using HTTP this time.”

A Short Manifesto on the Future of Attention, by Michael Erard.

Livraria da Vila, impressive bookstore by Isay Weinfeld.

Ikea Owns Verdana, this is just terrible.

Robotic buddy high fives you with each happy Twitter message

Crappy Taxidermy

Cthulhu Scripture

Last Suppers

Mathematics, Biology and Metabiology, by G. J. Chaitin. “It would be nice to have a mathematical understanding of basic biological concepts and to be able to prove that life must evolve in very general circumstances.”

Scala — The Next 5 Years (PDF), slides by Martin Odersky.

A wee bit of algebra, “Group! Enter Abelian bonus stage!” The final game.

Twenty questions about the GPL, by Jacob Kaplan-Moss. Try answering them.

Dark Stores, photo set by Brian Ulrich.

THEM THANGS, take yourself the time to scroll though the archives. NSFW.

A lost Caslon type: Long Primer No. 1, lovely.

Citing papers that you’ve never read — or that were never written.

The Role of Amplifiers in Science

CROW DAD!

Grassmann’s Vision, by David Hestenes. “Hermann Grassmann is cast as a pivotal figure in the historical development of a universal geometric calculus for mathematics and physics which continues to this day. He formulated most of the basic ideas and, to a remarkable extent, anticipates later developments. His influence is far more potent and pervasive than generally recognized.”

Effective Interactive Proofs for Higher-Order Imperative Programs, by Adam Chlipala, Gregory Malecha, Greg Morrisett, Avraham Shinnar, and Ryan Wisnesky. “We present a new approach for constructing and verifying higher-order, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is based on Hoare Type Theory. […] In this paper, we present a re-implementation of Ynot which makes it possible to implement fully-verified, higher-order imperative programs with reasonable proof burden.”

Objects as Modules in Newspeak, by Gilad Bracha et al. “Unlike its predecessors, there is no static state in Newspeak, nor is there a global namespace. Top level classes act as module definitions, which are independent, immutable, self-contained parametric namespaces.”

Searching for Evidence of Unallocated IPv4 Address Space Usage in DITL 2008 Data (PDF), by Duane Wessels. Ouch.

Audio Logger and MP3 Streaming Service, how to run a web radio, djb-style. Awesome use of small tools in a Unixy way.

Mario AI Competition, about learning, or otherwise developing, the best controller (agent) for a version of Super Mario Bros.

Question Suggestions, small voyages into the collective psyche of humans who ask google questions.

NeXTStep Icons Still in OSX Leopard, nice.

Coca-Cola vs. Pepsi, Revised Edition

Translation Party

Escherization

Unix 8th Edition Man Pages (check out Section 9, which contains some obscure tools that were written for the jerq terminal, like jim, the sam predecessor.)

Mediathek durchsucht die ARD-, ZDF-, Arte und 3Sat-Mediathek, lädt Beiträge mit einem Programm eigener Wahl und kann Themen als Abos anlegen und neue Beiträge automatisch downloaden. Braucht Java 6.

plans within plans within plans, Manuel Simoni’s blog about the internet. Recommended.

WPS: PostScript for the Web, a PostScript and PDF interpreter for HTML 5 canvas. Awesome.

FileMap is a file-based map-reduce system for data-parallel computation.

In Bb 2.0 is a collaborative music and spoken word project.

TASCK, the easiest online to do list ever. Pretty nice.

A short history of btrfs, a project worth watching.

ARPANET Maps, 1969–1977.

How Different Groups Spend Their Day

Turkey demolition goes wrong, WJW.

Funky forest, go for a drink? PNSFW.

Random Buddha