Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)
29mar2008
Celebrating Three Years of Anarchaia!, “Thanks for all your kind mails, contributed links and other pleasantness. I still enjoy it as much as I hope you do as well.”
The TeX Tuneup of 2008, unbelievable: “New versions of TeX (3.1415926) and METAFONT (2.718281) have just been released, after five years of accumulated experience with the previous versions.” The diff.
Now you see me now you don’t watch me dive below
Deep down in your love lake where the sweet fish come and go
And I might sink and I might drown but death don’t mean a thing
‘Cause life continues right or wrong when I play this birthday song
I learned from you, and you can’t even sing
— Don McLean, Birthday Song
Simply Logical: Intelligent Reasoning by Example, by Peter Flach. Full PDF available.
Unification Theory, by Franz Baader and Wayne Snyder. “Unification is a fundamental process upon which many methods for automated de duction are based. Unification theory abstracts from the specific applications of this process: it provides formal definitions for important notions like instantiation, most general unifier, etc., investigates properties of these notions, and provides and analyzes unification algorithms that can be used in different contexts.”
CCC publiziert die Fingerabdrücke von Wolfgang Schäuble, pwned. “Die Hacker haben es nicht beim Abdruck von Schäubles Fingerabdruck belassen – dem Heft liegt auch eine fertige Fingerabdruck-Attrappe bei.”
Deep Mix, minimal Moscow Radio.
How to Disagree, by Paul Graham.
Asaph, a small blogging system, that allows you to instantly post links and images directly from any page on the web. Really neat tumblelog software.
T-Shirts and Memberships, 2008, for Daring Fireball. I got one, should have done it earlier. Keep up the excellent work, John.
Unread Books, I counted: of 198 books in the shelf, I didn’t read 43 (as in “didn’t start”, not “didn’t finish”). But I fully agree with “Rather, the books on your shelves are there to convey the type of person you would like to be.”
Tahoe: A Secure Distributed Filesystem, by Brian Warner, Zooko Wilcox-O’Hearn, and Rob Kinninmont. “The “Tahoe” project is a distributed filesystem, which safely stores files on multiple machines to protect against hardware failures. Cryptographic tools are used to ensure integrity and confidentiality, and a decentralized architecture minimizes single points of failure.” Sounds promising.
Signing bug in Wii, or when strncmp sucks.
MOST-POSITIVE-BIGNUM, Jamie Zawinski found it on the TI Explorer.
StrokeDB is an embeddable distributed document database written in Ruby. It is schema-free, it scales infinitely, it even tracks revisions and perfectly integrates with Ruby applications. Hot hot hot!
WashUP: A washing machine on your toilet, umm, yeah.
montañas, plain beautiful.
Working on inheritance in Factor.
Sing me back home with a song I used to hear
Make my old memories come alive
Take me away and turn back the years
Sing Me Back Home before I die
— Haggard Merle, Sing Me Back Home
The Grothendieck Circle, to make publicly available (and in some cases translate) the material written by and about Alexandre Grothendieck as well as to provide biographical material on Grothendieck’s life and his origins. For the present, we have posted several of his writings appearing on the web in complete form for the first time, together with many links to other online sources of his work. Since many of these texts are unpublished or are out-of-print we hope this site will serve as a valuable resource, expanding over time.
Types for Prolog, pretty nice.
Optimal Union-Find in Constraint Handling Rules, by Tom Schrijvers and Thom Fruehwirth. “Constraint Handling Rules (CHR) is a committed-choice rule-based language that was originally intended for writing constraint solvers. In this paper we show that it is also possible to write the classic union-find algorithm and variants in CHR. The programs neither compromise in declarativeness nor efficiency. We study the time complexity of our programs: they match the almost-linear complexity of the best known imperative implementations. This fact is illustrated with experimental results.”
Kein Transrapid für München, *kicher*.
Wrong Number, Chris Okasaki asks: “Is it time to overhaul the user interface of the phone system?” Yes! Why is there no phone-DNS?
How to guarantee a girl never leaves you, WJW.
What has happened so far, by Urs Schreiber. “The n-Category Café has recently passed beyond 6⋅10 2 entries, 1.3⋅10 3 trackbacks and 1⋅10 4 comments.” Gratulations!
Sign Up Forms Must Die, by Luke Wroblewski at A List Apart. Couldn’t agree more.
Findability, Orphan of the Web Design Industry, by Aarron Walter at A List Apart. “Once upon a time in a web design agency, there lived a sad little boy named Findability.”
Powered by Nukumi2 0.5.
