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 …

Eine der wohl segenreichsten Erfindungen stellen sogenannte Newsfeeds dar. Hierbei handelt es sich um nach eigenen Vorstellungen aggregierten Inhalt aus dem Internet. Einen schönen einführenden Artikel gab es dazu bei spiegel-online.de». Auf jeden Fall einen Blick wert.

Die Option HISTCONTROL steuert in der .bashrc die Einstellungen für die history. Mit export HISTCONTROL=ignoredups kann diese etwas kleiner halten werden, wenn man die Duplikate (wie etwa ls oder cd) entfernt. Dies ist z.B. dann sinnvoll, wenn man mit Strg-S vorwärtssuchend oder Strg-R rückwärts suchend diese History durchsucht …

Dies ist der erste Satz eines Blogeintrages, der etwas über eine Geschichte schreiben moechte, deren Titel seinerseits etwas ueber die Geschichte erzaehlt. Dies ist der zweite Satz eines bereits in der ersten Zeile und im Titel - wie auch in kommenden Zeilen - refenrenzierten Artikels ueber eine Geschichte deren Titel This Is …

Wie ich gerade einem Artikel bei Spiegel Online» entnehmen durfte, ist das hoelzerne Zweigestirn der Wolfgangs (Wolgang Back» und Wolfgang Rudolph») zurueckgekehrt. Bekannt aus dem guten alten ueber viele Jahre gesendeten WDR-Computerclub», macht man sich nun daran, in Form eines Podcastes» die Welt zurueck zu erobern. CC-Zwei» nennt sich das …