Remote

Volker Stolz🏳️‍🌈

@fm_volker@mastodon.social

mastodon 4.7.0-beta.1

Unprofessional takes on CompSci and other things. Card-carrying member of @informatik@mas.to. Sub-tooter at @selabhvl@fediscience.org. Part of the control-group & training material. Listening to/on Unix sockets.
https://λ.foldr.org/~vs/. Relapses into #FreeBSD.
#Bergen - nordisk by nature. #FormalMethods #RuntimeVerification #Refactoring #HomeAssistant
3./4.9. EuroBSD/Bruxelles(?), 6.-9.9. TU Darmstadt

0 Followers

0 Following

30 Posts

Joined October 29, 2022

Private:

https://lambda.foldr.org/~vs/

Work:

https://selabhvl.github.io/vsto/

Github:

https://github.com/VolkerStolz

DBLP:

https://dblp.org/pid/24/2502.html

Posts

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · 4d ago

Replying to @blinry@chaos.social

@blinry@chaos.social There’s https://feedsin.space but it was also a bit flaky recently.

feedsin.space

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Jul 18, 2026

Replying to @technozid@friendica.a-zwenkau.de

@technozid @feorag@wandering.shop Let’s not forget Puffendorf!

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Jul 18, 2026

Replying to @feorag@wandering.shop

@feorag@wandering.shop Wow, they’re definitely sending you the scenic route (via Rheydt?!). Enjoy the sight of Bagger 288 on the horizon!

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Jul 14, 2026

Replying to @nafmo@social.vivaldi.net

@nafmo@social.vivaldi.net @jon@gruene.social Same way they turned airline staff into immigration officials everywhere else...

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Jul 08, 2026

Replying to @isotopp@infosec.exchange

@isotopp@infosec.exchange Für die Faulen: https://www.openpetition.de/petition/online/stoppt-das-gesetz-zum-negativen-redispatch-schluss-mit-der-verbrennung-von-steuergeldern

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Jun 29, 2026

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.

Quoting

Enno Lenze @ennolenze@infosec.exchange

Updates zur Russischen 100.000€ Zala KI-Drohne, die wir gerade zerlegen. Eine Liste aller identifizierten Chips (Nvidia, Texas Instruments, STmicro, ...) und Bilder von Chips, die uns Rätsel aufgeben. Wir suchen auch noch eine Bodenstation dazu. https://www.berlinstory.de/news/russische-drohne-mit-nvidia-ki-chips/

Open quoted post

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · May 12, 2026

Replying to @tanketom@tutoteket.no

@tanketom@tutoteket.no 1-2 herav: https://hexaspot.com/collections/meshtastic-products/products/wismesh-repeater-mini – sikkert rimeligere hvis du bygger den selv, men: life’s too short. Og så en Heltec eller sånn for å koble seg til. Vil gjerne regne/måle først litt gjennom om det faktisk gir mening, f.eks. for å skape dekning fra Osveien via Sædalen (er den din?) og/eller Nesttun helt veien til Kronstad. Og så se om vi kan sette opp ett eller annet studentprosjekt rundt dette :-)

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · May 12, 2026

Replying to @tanketom@tutoteket.no

@tanketom@tutoteket.no Hvor kjøpte du utstyr – noen anbefaling? Det finns en leverandør i NL som har ferdige “starter-pakke”, også med solceller og batteri, vurderer å skaffe meg noe fra der i sommer.

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · May 03, 2026

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

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · May 03, 2026

Replying to @jschauma@mstdn.social

@jschauma Teaching sand how to multi-user was a mistake…

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · May 02, 2026

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” 🎉

mastodon.social

Mastodon

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Apr 24, 2026

RE: @64er@mastodon.social

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. 🤣

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Apr 22, 2026

Replying to @gauteweb@mikrobloggen.no

@gauteweb Jeg bruker Joker.com🇪🇺, men vet ikke om de støtter ddclient.

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Apr 22, 2026

Replying to @me_@sueden.social

@me_ With a 🍒 on top!

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Apr 08, 2026

Replying to @nanochess@mastodon.social

@nanochess@mastodon.social Madness.

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Mar 18, 2026

Replying to @shriramk@mastodon.social

@shriramk 8/10, guessed two as being Real when they were AI. Neato, I guess what we’ll be playing in the lunch-meeting tomorrow! But I’m missing the 3rd category, “AI generated (Conf. 20XX)”!

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Mar 15, 2026

In Shonan 2023, with a handful of usual suspects (Shaukat Ali, Domenico Bianculli, Antonio Cicchetti, Robbert Jongeling & Catia Trubiani), we brain-stormed a bit on uncertainty & 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

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Mar 10, 2026

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

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Mar 01, 2026

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)

#uio #nextcloud

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Feb 16, 2026

Replying to @MsMerope@sfba.social

@MsMerope @Doerpstroot @paulaborchardt Better, listen to him reading it on tour! I gotta tape/recording somewhere from the 00s or so. TPB should provide.

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Feb 12, 2026

Replying to @adfichter@infosec.exchange

@adfichter Good sign that you must be doing something right. ✊

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Feb 11, 2026

RE: @Kollisjon@mastodon.bergen.social

Norwegian consumer protection council perspective on enshittification, with @pluralistic@mamot.fr, 27. Feb, “Kulturhuset”, so I assume in Oslo ;-) There seems to be an option to register and watch the stream as well!

#forbrukerradet @finnmyrstad@eupolicy.social

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Feb 11, 2026

Replying to @GossiTheDog@cyberplace.social

@GossiTheDog@cyberplace.social What’s worse is that you can almost FEEL the vibe in that meeting where invariably someone must’ve cracked the joke “what, c’mon, you don’t like looking at d*ck-pics?!” 🤮 (PW;DR)

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Feb 06, 2026

Replying to @osm_tech@en.osm.town

@osm_tech Need to develop a cute “Are you the owner of this website?”-overlay for the tiles…

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Feb 02, 2026

Replying to @floe@hci.social

@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.

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Jan 30, 2026

Replying to @hfalcke@mastodon.social

@hfalcke@mastodon.social I’m glad we/you keep paying Google (Scholar) with our data for this “service”… #GoogleScholar

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Jan 21, 2026

Replying to @mushu@social.troll.academy

@mushu@social.troll.academy @0xabad1dea@infosec.exchange curl|bash in a build-script instead of shipping the script in the repo looks :sus: AF.

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Jan 15, 2026

Replying to @bagder@mastodon.social

@bagder@mastodon.social Funny coincidence, I played with those two earlier today: $ ( strace echo "1234") | /bin/true and $ ( strace echo "1234") | : With props to the git test suite which actually spells it … ((do something .. | :) …

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Jun 26, 2025

Replying to @Natasha_Jay@tech.lgbt

@Natasha_Jay@tech.lgbt #equinor – Heia 🇳🇴!

Volker Stolz🏳️‍🌈 @fm_volker@mastodon.social · Mar 27, 2025

Replying to @organicmaps@mastodon.social

@organicmaps What happened over at Github? I must've missed that!

Remote instance

mastodon.social

Open on original server

Volker Stolz🏳️‍🌈

Posts

Mastodon

Remote instance

Media