Servermainboard

Seeehr cooles Mainboard für einen kleinen Heim-Server (den ich vll irgendwann demnächst, aber noch nicht gleich brauchen werde…):

Super Micro X7SPA-H

Alles da: jede Menge SATA Ports (mit einem guten ICH9 Chipsatz), niedriger Stromverbrauch, eine Zwei-Port-Intel-Netzwerkkarte, Platz für 4GB Speicher und, falls doch mal ein HTPC draus werden sollte, Platz für eine kleine Grafikkarte. Super-Teil, mit fast 200 Euro zwar nicht billig, aber auch nicht überteuert, finde ich. Außerdem sollten die vielen Intel-Komponenten dafür sorgen, dass die Linux-Kompatibilität einwandfrei ist.

Email-Software

Demnächst muß ich wohl meine Emails anders verwalten, zustellen, aufheben und sortieren als das bis jetzt über meinen Uni-Account möglich war. Spannende Programme in diesem Zusammenhang scheinen zu sein:

Nur wie ich das jetzt alles machen soll, das habe ich noch nicht entschieden :-)

Dinge, die ich gerade spannend finde

Kurt Beck über die Quadratur des Kreises

Fundstück von Petra: Das kommt davon, wenn man auf einem Bildungsgipfel über Dinge redet, von denen man nichts versteht. Die Webseite Bildungsklick berichtet, Kurt Beck, Ministerpräsident von Rheinland-Pfalz, habe folgendes gesagt:

„Beck betonte allerdings mit Blick auf die von der Koalition geplanten Steuersenkungen, immer weiter sinkende Einnahmen, höhere Bildungsausgaben und die Schuldenbremse seien kaum miteinander vereinbar. ‚Das ist mehr als die Quadratur des Kreises verlangt.‘ “

Wie bereits 1882 von Lindemann bewiesen, ist die Quadratur eines Kreises mit Zirkel und Lineal unmöglich. Der Beweis benutzt Galoistheorie und Lindemanns Beweis der Transzendenz von π. Auch heute noch wird von vielen Amateurmathematikern immer wieder versucht, eine Konstruktion der Quadratur des Kreises anzugeben, obwohl das unmöglich ist.

Da stellt sich jetzt also die Frage, Herr Beck, was verlangt genau die Lösung eines (bewiesenermaßen) unlösbaren Problems? Und was genau wollten Sie uns damit sagen? Falls Sie meinen, dass es unmöglich ist, warum sagen Sie dann ‚kaum miteinander vereinbar‘? Ausgerechnet auf dem Bildungsgipfel…

Interessant ist meiner Meinung auch, dass viele Medien diesen Satz zitieren, sich aber niemand darüber zu wundern scheint. So weit ist es her mit der mathematischen Allgemeinbildung [PDF] heutzutage…

Permute notation in latex documents

This week, I was having a coffee with Petra and Immanuel and we were discussing the importance of good notation.

Somehow, the idea of writing a script that permutes the notation in a given document came up, perhaps to illustrate this viewpoint.

It sounded like a fun project, and so I wrote permute_notation.py, a short Python script that takes a latex file and produces a copy of the file with completely permuted notation. The effects are not really surprising: usually, you do not understand your own work anymore :)

You can download it and try for yourself. It is quite simple to use: permute_notation.py input.tex output.tex

Attention: The script unconditionally overwrites output.tex, so be careful!

By default, the script permutes lower and upper case Latin and Greek letters. You can specify the switch -s to permute alphabets only among themselves, such that the text might remain at least barely legible.

As usual, the script is provided under the GPL.

Note: This script has been tested to work with my diploma thesis(result (PDF)). I hope that it will also work with your document. If not, just copy a latex snippet which is permuted incorrectly into the comments and I will take care of it.

Der Himmel über den Osterinseln

Brown sharpie