Filme, Filme, Filme

... gibt es leider(?) nicht hier. Dieses Blog beschäftigt sich ausschließlich mit Themen aus dem Umfeld der Informatik.

Da ich jedoch ein absoluter Filmfan bin, will ich darauf aufmerksam machen, dass ich auch in einer Filmgruppe mitwirke, die ebenfalls über ein Blog (Atom, RSS) verfügt.

Also wacker auch dort eintragen. :)

more ...

Star Wars Episode IV.V

Die Fachhochschule Augsburg zeigt mit Episode IV.V eine amüsante Variante des altbekannten Star-Wars Themas. Was macht Darth Vader eigentlich wirklich? Ich meine, kennen wir den Mann wirklich oder wurde seine Bild einfach durch diverse Filme in der Öffentlichkeit stark verzerrt?!

more ...

Computer kaputt

Volker Strübing weiß einfach, was sich gehört. Bissig werden kluge Beobachtungen über den aktuellen Live-Style (igitt) in bunte kleine Animationsfilmchen gepresst - untermalt mit tief schwarzem Pessimismus. All dies findet in einer (Berliner?) Straßenkneipe auf dem Schnipselfriedhof statt. Oben könnt ihr die erste Folge seiner bald auch im Radio erscheinenden Miniserie …

more ...


CAV beim Computerclub

Gerade endete in Berlin die diesjährige CAV (computer aided verification) - eine bekannte und wichtige Konferenz für Informatiker, die sich mit der Verifikation von Computerprogrammen beschäftigt. Ziel der Softwareverifikation ist die Überprüfung von Software gegenüber einer Spezifikation. Es soll also sichergestellt werden, dass die Software das macht, was sich der Programmierer …

more ...



Hobbytronic 2007

Wieder einmal war es soweit und die Hobbytronic» öffnete für eine Woche ihre Pforten in den Dortmunder Westfalenhallen, um - naja, warum eigentlich? Es gab viele Stände, die diverse Hardware anboten, ein bißchen Software hier und da, und eine Meisterschaft im Case-Modding», die die Messe vor der letztendlichen Banalität retten sollte …

more ...

LaTeX mit Emacs und AUCTex

AUCTex» nennt sich ein Modus, mit dem man herrlich LaTeX-Dateien im Emacs bearbeiten kann. Es gibt viele kleine Helferlein, die den Alltag mit LaTeX erleichten. So etwa lassen sich die Übersetzungsreihenfolgen automatisieren, die entstehen, wenn man komplexere Szenarien mit Bibtex und MakeIndex verwendet. Hier hilft AUCTex, die Übersicht zu behalten …

more ...

Mächtiger Dateimanager in Emacs

Mit Strg-x d erhält man im Emacs einen Dateimanager, der es in sich hat. Eines der wohl mächtigsten (und leider wohl auch weniger bekannten) Features ist das Kommando wdired-change-to-wdired-mode, mit dem der Buffer des angezeigten Verzeichnisses in einen gewöhnlichen Emacs-Buffer verwandelt wird. Auf diesem kann man dann z.B. mittels …

more ...