## Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)

### 12jan2008

How to install FreeBSD 7.0 under ZFS, very nice.

Demonology ‘08, by Trollaxor. “In the new year the Berkeley Software Distribution family of Unix-like operating systems is growing at a phenomenal rate and excitement over the possibilities for this operating system family is in the air. After unprecedented development and adoption as well as major shifts in the marketplace, it’s time to take a look at what’s new with this demonic family of operating systems. Don’t fear, the word demon means Unix goodness at just the right price.” I wish for ZFS and dtrace for NetBSD.

Just because I’m good at fooling you

When no ones around

I walk in your shoes

— Mono, Silicone

BASIC and the IBM 5100, with a brilliant switch.

Mädchen auf Schweizer Kinderschokolade, revolutionär.

Perl 5.12 proposals, if they go on like that, we won’t need Perl 6 at all.

RIP Mitch Kapor’s Chandler, and now just do a straight port of Agenda for modern systems!

Has Google gone MAD?, “Google Calculator can now perform calculations in Donald Knuth’s units of length, volume and mass – the Potrzebie System, as defined in MAD Magazine issue #33.”, yay!

I lost myself on the subway train

and i know now what it’s worth

to have you here

I took the L in my final breath

and it’s everything to me

to have you here

please help me god

all I know is that this is the end.

— Atomica, Recent

The story behind the proof of Fermat’s Last Theorem, WJW: “Prof. Andrew Wiles told me by himself, in order to focus on the proof of the Fermat’s Last Theorem, there was one year in which he worked extremely hard to write 20 papers and locked them up in his desk drawer. Then he would pick up two to publish each year. In this way, he gained precious ten years to allow himself to do nothing else except Fermat’s Last Theorem.”

Hilbert II wants to become a free, world wide mathematical knowledge base that contains mathematical theorems and proofs in a formal correct form. All belonging documents are published under the GNU Free Documentation License. We aim to adapt the common mathematical argumentation to a formal syntax. That means, whenever in mathematics a certain kind of argumentation is often used we will look forward to integrate it into the formal language of Hilbert II. This formal language is called the QEDEQ format.