Masterarbeit

Ende März habe ich meine Masterarbeit abgegeben und damit mein Studium beendet. Es ging um Formale Verifikation von Betriebssystemen. Konkret für Eingebettete Systeme, die vor allem in Fahrzeugen eingesetzt werden. Wer sich für die Details interessiert ist eingeladen den <a href="http://e-collection.ethbib.ethz.ch/view/eth:30359″ title=“Masterthesis Raphael Mack: Formal Verification of embedded operating systems“>Bericht unter http://e-collection.ethbib.ethz.ch/view/eth:30359 zu lesen.

Die Geschichte der IFPI

Der weltweiter Verband der Tonträgerindustrie ist die IFPI. Sie vertritt also die großen Plattenlabels und ist behilflich deren „Rechte“ umzusetzen. Ich persönlich finde es sehr schade, dass es heut zu Tage normal ist, dass ein Künstler sämtliche Rechte an seinen Aufnahmen dem Plattenhersteller abgibt. Aber ja, wie man über die IFPI denken will sollte jeder für sich entscheiden. Ein Blick in die Entstehungsgeschichte der IFPI sollte aber nicht fehlen: http://www.heise.de/tp/r4/artikel/27/27717/1.html

Mein Brot soll doch nicht schwarz werden

Die leidvollen Erfahrungen mit verbranntem Brot aus dem Backhaus sollen ein Ende haben: Meine Tante Heidi hat mich mit ein paar nützlichen Tipps versorgt:

Nach dem Herauskratzen der Glut, Zeitungspapier zusammenknüllen und in den Ofen werfen. 20 Sekunden warten und schauen, was passiert. Beginnt das Papier zu brennen ist der Ofen zu heiß, wenn es sich braun färbt wird das Brot gut, sieht man jedoch kaum eine Veränderung sollte man nochmals anzünden.

Manche verwenden auch eine Hand voll Mehl, welches braun wird, und um die Zeit abzuschätzen wird berichtet, dass ein „Vater Unser“ gebetet wurde. Andere verwenden den nackten Arm, der in den Ofen gestreckt wird – Hält man eie bestimmte Zeit durch ist der Ofen gut.

Wir werden wohl das nächste Mal die Zeitungspapiermethode ausprobieren und sicherlich weniger heizen als dieses Mal.

Backen im Backhaus

Seit langem hatten wir es uns vorgenommen: Brotbacken im Backhaus in Münchingen, aber lange habe ich vor mir hergeschoben rauszufinden wer dafür zuständig ist. Inswischen weiß ich es (und kann bei Bedarf gerne weiterhelfen), war letzte Woche kurz dort und dann ging es ruck-zuck. In der Tonmühle Mehl, Sauerteig und Brotgewürz kaufen, Brotteig kneten, Anheizen, Flammkuchen und Pizzatschen backen und dann … mit großer Spannung unser leict verbranntes Brot aus dem Ofen holen. Nächstes Mal ein bisschen weniger Hitze und es wird perfekt.

Die Brote

Die Post, die Bahn und die Politik

Seit rund 500 Jahren – also seit dem Begin des modernen Postwesens – unterlag die Verteilung von Briefen und Paketen einem Monopol. [Geschichte der Post] Zu Beginnwohl hauptsächlich, weil nur wenig Briefe geschickt wurden, seit der Zeit Kaiser Rudolfs II war das Postmonopol gesetzlich begründet (Postregal, 1597). In Deutschland ist die Post seit Januar 1995 privatisiert, bei der Abschaffung des gesetzlichen Monopols will die EU demnächst nachziehen.

Es gibt noch einige weitere Beispiele von Monopolen die abgeschafft werden wie Öffentlicher Verkehr oder Telekommunikation. In der Politik ist es essentieller Grundbaustein einer Demokratie, dass es eine Vielfalt an Meinungen, Parteien und Wahlkandidaten gibt. Im Gegensatz dazu könnte man eine Diktatur auch als Regierungs- oder Meinungmonopol bezeichnen.

Eine Demokratie sollte sich auch bei der technischen Abwicklung von Verwaltungsarbeiten nicht auf Monopolstrukturen einlassen, da sie sonst in ihren Grundfesten gefährdet wird. Einige Organisationen habe ein Petition für die EU hierzu gestartet (http://www.openparliament.eu/) zu erreichen ist. Ich kann nur wärmstens empfehlen diese zu unterschreiben – einfach folgendes Webformular ausfüllen.

grep for several words

If you want to extract the lines containing (at least) one of several words using grep the following command line will be your friend:
grep "word1\|word2" inputfile