Eine ganze Reihe klassischer Texte der Informatik - insbesondere Paper (oder heisst es Papers?) - verspricht Classic Texts In Computer Science». Meine Highlights darunter waeren

• An axiomatic basis for computer programming C. A. R. Hoare Ja, der Hoare-Kalkül muss einfach da rein.

• Call-by-name, call-by-value, and the lambda calculus Gordon Plotkin

• Why Functional …

Heute war ein wohl ganz besonderes Datum. Genau um 01:02:03 am 04.05.06 versprechen alle zahlenmystischen Versprechungen Wundersames.

Dies und noch viel mehr zu einigen ausgewählten Zahlen gibt es bei archimedes-lab.org».

via Mathematische Kleinigkeiten»

Unser aller Begründer der Unvllstndigkt hatte am 28. April sein 100 jähriges Jubiläum und ich habe es verpasst. Egal. Lieber zu spät als gar nicht gedenke ich hiermit feierlich einem der wohl größten mathematischen Verwirrer seiner Zeit: Kurt Gödel»:

Gödel proved fundamental results about axiomatic systems showing in any axiomatic …

Wenn ein Käse unendlich viele Löcher hat, jedes Loch jedoch unendlich klein ist, gibt es den Käse dann noch oder besteht der Käse dann nur noch aus einem Loch?

Die beiden ersten - und wohl interessantesten - Fragen und deren Antworten stehen bereits hier.

Where …

Ein Artikel» von Audibleblog verraet etwas über die Geschichte und Innovationskraft von Xerox – einem Unternehmen, das hauptächlich für Kopierer bekannt ist, sich unter anderem aber auch für Erfindungen wie den Laserdrucker, die Computermaus oder aber die graphische Benuzeroberfläche verantwortlich zeichnet. Der Bericht gibt einen schönen Einblick in eine Welt, die …

Alles wird gut! Java scheint sich in Version 6 endlich recht modular und allgemein der Öffentlichkeit zu öffnen und Erweiterungsmöglichkeiten um eine Scriptsprache anzubieten. So zumindest der vielversprechende Artikel mit dem Titel Build your own scripting language for Java - An introduction to JSR 22»

David G. Wiseman» hat auf seiner Seite eine Liste lustiger Kommandozeilenkommandos» hinterlassen. Mein Favorit ist hierbei

% %blow
%blow: No such job.

Ahem.

So ergab es sich am heutigen Tage, dass nach einiger Zeit der Probierens, es (ja was denn eigentlich?) mir nun endgültig gelang, ein mehr oder minder komplexes Dokument in in ein mehr oder minder anderes komplexes Dokument in HTML zu konvertieren. Schier unendlich hohe Hürden mussten gemeistert werden, ehe das …