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

View post
Byebye #Vivino, it was fun while it lasted. Hope you didn’t make your GDPR-workflow too expensive internally… #enshittified
View post
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.
View post
@floe@hci.social Congrats! It’s nice to see that you have chance for smaller grants! Here in 🇳🇴 it’s more like all-or-nothing, either you get one of the few projects with ~3 positions, or nothing at all.
View post
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...
View post
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
View post
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
View post
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” 🎉
View post
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
View post
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. 🤣
View post
@osm_tech Need to develop a cute “Are you the owner of this website?”-overlay for the tiles…
View post
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