Algol 68 Genie - An Algol 68 interpreter. Obercool. Algol 68 ist ja zwar eine Vintage Language, aber eine faszinierende: die einzige, wo für die Definition der Sprache selber eine Metasprache definiert wurde, in der die Definition der Sprache selber geschrieben ist. Der Algol68 Report ist immer noch einer der faszinierendsten Programmiersprachenstandards den ich kenne.
Archiv 28. Mai 2005
Giro in verdammt spannend
Die heutige Etappe war klasse: zwischenzeitlich hatte Simoni - nach Hilfe von DiLuca - schon virtuell das rosa Trikot übergestreift, aber in der Abfahrt und anschliessenden Zielanfahrt hat er es dann wieder verloren. Alle Plätze 1-6 des Gesamtklassements waren in den Führungsgruppen vertreten und kämpften um Punkte. Beeindruckend die recht bunten Koalitionen die sich gebildet haben und recht lange gehalten haben. Salvodelli hat nach 3500 KM Rundfahrt gerade mal 28 Sekunden Vorsprung vor Simoni und 45 Sekunden Vorsprung vor Rujano, dem Etappensieger von heute. Wow. Wär nett wenn sich bei der Tour auch mal anstelle von wildem Taktieren mal so aktiver Radsport zeigen würde.
Und es gibt ein PDF Browser Plugin für den Safari. Für non-commercial-Nutzung frei. Zeigt direkt im Browser PDFS an anstatt einen externen Viewer anzuwerfen. Ich habs allerdings noch nicht ausprobiert.
PithHelmet ist ein Ad-Blocker für Safari. Sehr ähnlich in der Funktion zu dem AdBlocker für FireFox. Sehr praktisch, macht Safari damit wieder durchaus zu einem interessanten Browser. Zusätzlich liefert PithHelmet für Safari selektive JavaScript-Unterdrückung und ähnliche Mechanismen - so wie es auch OmniWeb bietet. Allerdings ist die eine oder andere Regel (vor allem die BadSense-Regel ist mir da aufgefallen) ein bischen aggressiv, aber das kann man ja gut konfigurieren.
Safari WebDevAdditions ist eine Developer Toolbar für den Safari - also Anzeige von Blocklevel-Elementen, Links etc. Macht einen recht praktischen Eindruck auf mich.
saft ist eine Kitchen-Sink-Erweiterung für den Safari. Haufenweise Features drin. Allerdings Shareware, ich habs auch noch nicht ausprobiert.
Scharping kandidiert nicht mehr für Bundestag - käme die Aussage von einem Politiker bei dem man davon ausgehen könnte das er auch tatsächlich gewählt würde, wäre es ja durchaus interessant. Aber Scharping?