tobias.rautenkranz.ch

Posts

Org Mode smart quotes de-CH 🇨🇭

2026-05-05
Die smart quotes Option von GNU Emacs Org Mode wandelt normale ASCII Anführungszeichen " und ' in die entsprechenden der einstellten Sprache.
Cybulski und Gadulski - Das Vermächtniß Kains

2026-05-03
In der ersten Ausgabe seiner Zeitschrift Auf der Höhe kündigte Leopold von Sacher-Masoch die Novelle «Cybulski und Gadulski» für den dritten Teil «Der Staat» seines unvollendeten Novellenzyklus «Das Vermächtniß Kains» an. (von Sacher-Masoch 1881 Unsere Mitarbeiter, S. IX)
Wormaly Werified

2026-03-31
A formally verified worm (snake) game in ACL2.