Volker Stolz🏳️‍🌈

fm_volker@mastodon.social

Unprofessional takes on CompSci and other things. Card-carrying member of <a href="https://mas.to/@informatik" class="u-url mention">@informatik</a>. Sub-tooter at <a href="https://fediscience.org/@selabhvl" target="_blank" rel="nofollow noopener" translate="no">https://fediscience.org/@selabhvl</a>. Part of the control-group & training material. Listening to/on Unix sockets. <a href="https://λ.foldr.org/~vs/" target="_blank" rel="nofollow noopener" translate="no">https://λ.foldr.org/~vs/</a>. Relapses into <a href="https://mastodon.social/tags/FreeBSD" clas

Posts

Post #3536116
RE: https://infosec.exchange/@ennolenze/116833960374145655 “leistungsfähige KI Hardware von Nvidia [TX2-A (Jetson Tegra X2) KI-Chip mit 8GB RAM], einen Airbag, Detektoren für ukrainische Drohnen, eine 500GB Festplatte” Dient zur Aufklärung, und hätte die russische Arme sicher gerne wieder zurück gehabt.
Post #2275866
Almost might want to skip over to Oslo for the #CS3 conference in two weeks: https://indico.cern.ch/event/1560960/program Keynotes: Digital Sovereignty or Digital Dependency: Europe’s Tech Moment of Truth (F. Karlitschek, Nextcloud) The HPC-Cloud Pipeline: Data Provisioning for Destination Earth and the AI Revolution in Weather Forecasting (T. Quintino, ECMWF) Clinical research and data in the AI era: Lessons and future directions from the AI-Mind project (Dr. Hatlestad-Hall, Oslo U. Hospital...
Post #2275815
My Italian colleagues Giorgio Audrito, Ferruccio Damiani, Giordano Scarso, Gianluca Torta and me will be giving a full-day tutorial on Aggregate Programming at FM’26! You can already get a glimpse on what we’re up to in our quest for world-domination (though decentralized!) at https://fcpp.github.io. https://conf.researchr.org/details/fm-2026/fm-2026-tutorials/8/Distributed-Runtime-Verification-in-Proximity-based-Networks-A-Tutorial-on-the-Aggre #formalmethods #fm2026
Post #2275813
In Shonan 2023, with a handful of usual suspects (Shaukat Ali, Domenico Bianculli, Antonio Cicchetti, Robbert Jongeling &amp; Catia Trubiani), we brain-stormed a bit on uncertainty &amp; RV in the context of DevOps. The resulting book chapter/book is now available! Blog-post: https://selabhvl.github.io/update/2026/03/15/DevOps-CPS-Shonan.html #DevOps #RuntimeVerification #Shonan
Post #1981064
Vorher/nachher Dreifaltigkeitskirche #Aachen - nett was die “Junge Kirche Aachen” draus gemacht hat, und die “Ruggs” channeln unser aller Wut gegen die Maschine. Ach so, und “Happy Birthday” 🎉
Post #1981063
Now these are TOS that I can agree to for genAI! Shout-out to Gordon Pace and his “technology-assurance sandbox” that would have a field day with this: does your server-log show that I clicked the button? Do you conclude that I agreed to /your/ TOS or the TOS on the screen? #MacOS #ChatGPT Photo credit: Gerardo Schneider
Post #1677534
RE: https://mastodon.social/@64er/116460580636527276 Oh, damit habe ich wohl mal einen Satz Icons für ein Spiel gemacht haben. Roland und ich hatten uns irgendwas Wildes mit Handel zu römischen Zeiten im Mittelmeer ausgedacht und brauchten Trireme (2 Zeichen für linke/rechte Hälfte) etc. 🤣
Post #1603879
RE: https://mastodon.bergen.social/@Kollisjon/116046777464175947 Norwegian consumer protection council perspective on enshittification, with @pluralistic, 27. Feb, “Kulturhuset”, so I assume in Oslo ;-) There seems to be an option to register and watch the stream as well! #forbrukerradet @finnmyrstad