Bug-freier Code ist kein Traum in Technologie über 11 Jahre

Tony Hoare (das ist derjenige, der den Quicksort-Algorithmus erfunden hat) hat auf einer Informatikveranstaltung an der TU München sein Konzept zu Werkzeugen für die Erstellung von 100% fehlerfreiem Code vorgestellt. Sein Konzept bezieht sich auf einen Verifying Compiler, also ein Compiler der nicht nur die Syntax checkt, sondern auch auf Semantik und Fehlerfreiheit testet. weiter ...

Android Die Handy-Plattform von Google in Technologie fast 12 Jahre

Seite ein paar Stunden kann man das Android SDK von Google herunterladen (~55MB). Entwickelt wird mit Java6 auf Basis eines Linux-Kernels. Als Entwicklungsumgebung wird Eclipse empfohlen (es existiert schon ein recht brauchbares Plugin).

Phing 2.3 heute? in Netzkultur fast 12 Jahre

Gerade habe ich über die Phing-dev Mailingliste erfahren, das das 2.3er Release kurz bevorsteht. Offene Bugs gibt es keine mehr. Der Branch ist im SVN schon erstellt, es fehlt also nur noch das Zusammenschnüren der Pakete. weiter ...

Time Warp in Browser & Betriebssysteme fast 12 Jahre

Zeitzonen, Sommerzeit, Normalzeit, UTC, CET, MEZ und NTP, das ist absolut nicht mein Ding. Gerade hab ich mir ein kleines Makefile geschrieben um ein etwas größeres LaTeX-File nach PDF umzuwandeln, da sagt mir make:

Warning: File `Makefile" has modification 
   time 6.4e+03 s in the future

Ich schau auf meine Systemuhr: Alles ok. Dann wurde es mir klar: Mein Fileserver hat noch die Sommerzeit eingestellt. Und tatsächlich ging die Systemzeit vom Fileserver mehr als eine Stunde vor. Um dem für allemal vorzubeugen habe ich einen NTP-Daemon installiert, doch dieser gab mir eine Zeit die genau eine Stunde in der Vergangenheit lag und die Hardware-Uhr lag immer noch in der Zukunft. weiter ...

Sonntägliches Link-Mashup in Netzkultur fast 12 Jahre

The Future of Software Development Warum das Wasserfallmodell gescheitert ist und warum ein paar einzelne Webseiten programmieren, die Millionen nutzen, alles gewürzt mit einer Hand voll BuzzWords.

Understanding Ruby blocks, Procs and methods Blocks, yield, lambda und high-order-function einmal richtig erklärt. Die Kommentare sind auch sehr aufschlussreich.

OpenOffice auch mit Word in Browser & Betriebssysteme fast 12 Jahre

Sun hat mit dem ODF Plugin (Version 1.1) eine Möglichkeit geschaffen, OpenOffice-Dateien auch mit MS Word, MS Excel und MS Powerpoint zu öffnen und zu speichern! Das ist der Moment auf den ich gewartet habe; Ab sofort werde ich keine Ausreden mehr gelten lassen, wenn ich OpenOffice-Dateien verschicke. Das Tool ist kostenlos und ~30MB groß.

Fluxbox 1.0 in Browser & Betriebssysteme fast 12 Jahre

Lange hat es gedauert, doch nun ist es getan: Der Windowmanager Fluxbox ist in der Version 1.0 erschienen. Fluxbox wurde vor ca. 7 Jahren von Blackbox abgespalten und seit über 4 Jahren trug er 0.9x Versionsnummern. Ich werde am Wochenende mal einen Blick hineinwerfen und anschauen was sich in den letzten Jahren so getan hat.