Request for Startups 9: Kill Hollywood at Y Combinator.

Regular Expression Matching with a Trigram Index, or: How Google Code Search Worked. By Russ Cox. The trigram index is a lovely idea.

Idris is a general purpose pure functional programming language with dependent types. It is compiled, with eager evaluation.

Doozer is a highly-available, completely consistent store for small amounts of extremely important data. When the data changes, it can notify connected clients immediately.

Vacietis is a C to Common Lisp compiler inspired by the Zeta-C compiler for Lisp Machines and TCC. Very early.

Elsevier – my part in its downfall, by Tim Gower. “Why do any of us publish papers in Elsevier journals?”

A puzzle about typing, by Andrej Bauer.

Type held in the hand, stunning details of real world typesetting.

We Are Not The Dead, soldiers’ faces before, during and after serving in Afghanistan.

Piss, short movie by Bette Bentley and Vincent Peone. NSFW. “What a refreshingly honest look at the confusing world of negotiation, consent, kink and love.”

When Zombies Attack!: Mathematical Modelling of an Outbreak of Zombie Infection (PDF), by Philip Munz, Ioan Hudea, Joe Imad, and Robert J. Smith

CSS px is an Angular Measurement, by Sean B. Palmer. Lovely.

Awesome WM in Kindle Touch!, interesting choice.

Microsoft keeps it old-school with a pricey text adventure game

Let’s Play: Ancient Greek Punishment, flash “game”.