tobias.rautenkranz.ch

Posts

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.
The F-117 Computational Stealth History

2025-02-23

The development leading up to the F-117 aircraft in 1981 was heavily dependent on software simulation of its radar visibility.