Posts
-
Wormaly Werified
2026-03-31A formally verified worm (snake) game in ACL2.
-
The F-117 Computational Stealth History
2025-02-23The development leading up to the F-117 aircraft in 1981 was heavily dependent on software simulation of its radar visibility.
-
ASUS BR1100F status LED
2024-07-06BR1100F Laptop status LED on Linux
old posts (19)
Projects
Schnittbildanatomie: sectional-anatomy.org