... 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. :)

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?!

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 …

In einem Vortrag bei Google erklärt Linus Torvalds die Vorzüge seines selbst entwickelten Versionsverwaltungssystems git. Das besondere an git ist, dass es, im Gegensatz zu Systemen wie etwa CVS oder Subversion (SVN), kein zentrales Repository gibt, in dem alle Daten abgelegt werden. Vielmehr hat jeder Entwickler sein eigenes Repository und …

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 …

Ipe» ist ein kleines aber feines Tool zur Erstellung von PDF-Grafiken. Besonders schön dabei ist die Möglichkeit, LaTeX-Formeln in die Dokumente einbinden zu können.

Danke an dieser Stelle an Shahid Jabbar» für den Hinweis auf dieses kleine nützliche Programm.

Wie in jedem Jahr, so startet auch in diesem Jahr wieder einmal ein Programmierwettbewerb parallel zur ICFP (International Conference on Functional Programming). Teilnehmen darf jeder. Jede Programmiersprache ist eingeladen (insbesondere auch nicht-funktionale Sprachen), sich in 72 Stunden vom 20.7. bis zum 23.7. zu messen.

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 …

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 …

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 …