Volker Stolz

@fm_volker
317 Followers
425 Following
8.7K Posts
Unprofessional takes on CompSci and other things. Card-carrying member of @informatik. Sub-tooter at https://fediscience.org/@selabhvl. Part of the control-group.
https://λ.foldr.org/~vs/. Relapses into #FreeBSD.
#bergen - nordisk by nature. #FormalMethods #RuntimeVerification #Refactoring #HomeAssistant
Privatehttps://lambda.foldr.org/~vs/
Workhttps://selabhvl.github.io/vsto/
Githubhttps://github.com/VolkerStolz
DBLPhttps://dblp.org/pid/24/2502.html

Folks: if you write a supposedly anonymous review for my paper, and suggest to cite n > 1 additional papers which happen to have one specific author in common, then your review is no longer anonymous 🙄

#academia #writing

We are going to put some of the MoreVMs'26 talks online.

First up:
How Many Compilers Is Too Many? A Look at V8’s History, Tradeoffs, and Architectural Choices

By Leszek Swirski from Google's V8 team

https://youtu.be/LpJ79MxplUk

How Many Compilers Is Too Many? A Look at V8’s History, Tradeoffs, and Architectural Choices

YouTube
Sebastian Junges is just talking about stochastic model checking as a Spin invited speaker.

Leute: Spahn zaubert das Nuklear-Kaninchen aus dem Hut, damit ihr darüber redet. Das tut er, damit ihr nicht mehr über seine Maskendeals sprecht.

Also redet einfach nicht über Spahns Mininukes sondern weiter über Maskendeals.

Das Thema atmet dem eigentlichen Thema den Sauerstoff weg.

Fallt da doch nicht drauf rein!

Something virtually no social media service/app has ever gotten right is a solution to I-just-saw-something-a-few-seconds-ago-but-I-scrolled-by-it-and-now-it’s-gone-forever.

Search can seemingly never be scoped to “last 500 posts in my feed” or “posted in the last 5 hours” or “only posted/boosted by accounts I follow”.

It must be a much harder problem than I imagine (“Dammit, Jim; I’m a web designer, not a programmer”) — and I’m all too well aware that “just” is a 4-letter word — but I’d use a feature like this daily. #UX #UI

"Find out more about the First Conference on Transitioning Away from Fossil Fuels."

https://transitionawayconference.com/faqs

FAQs — First Conference on Transitioning Away from Fossil Fuels

Colombia and the Netherlands will host the First Conference on Transitioning Away from Fossil Fuels. The Conference is designed as a space for countries, subnational governments and other stakeholders that recognize the need to implement a transition away from fossil fuels in a just, orderly and equitable manner, in line with climate goals and the best available science.

First Conference on Transitioning Away from Fossil Fuels

"Modellrechnung von Aachener Forschern: Gutverdiener profitieren am meisten vom Tankrabatt"

Wundert mich eigentlich, dass es dafür Aachener Forscher braucht. Jede*r, der*die nicht in Steuerfragen vom Rübentrecker geflogen ist, sollte das wissen.

https://www.spiegel.de/wirtschaft/rwth-zu-tankrabatt-haushalte-mit-hohen-einkommen-profitieren-am-meisten-a-08b73229-223f-407a-a766-3a6ec0dd64dc

Modellrechnung von Aachener Forschern: Gutverdiener profitieren am meisten vom Tankrabatt

Die Bundesregierung will Pkw-Fahrer entlasten, die unter hohen Spritpreisen leiden. Doch die angekündigten Steuersenkungen kommen vor allem einkommensstarken Haushalten zugute, haben Forscher aus Aachen errechnet.

DER SPIEGEL
#GeGID: Die Krankenkassen sollen über die ePA-App ein Berichtigungsrecht nach Art. 16 DSGVO auf die Daten der elektronischen Patientenakte bekommen.
Klingt harmlos. Bedeutet aber: Schreibzugriff auf ärztlich erstellte Befunde und Medikationspläne — ohne dass Ärzt*innen als Urheber*innen informiert werden.
Das geht so nicht. Ein Thread. 🧵

Wenn der Staat euch ein Stück Software gibt, um damit hoheitliche Dokumente darzustellen und der Staat es zum gesellschaftlichen Standard macht, die Software ständig zu benutzen, dann sind natürlich jede Art von Grundrechtsupdates, die sich in einer App abbilden lassen, nur noch Softwareupdates.

Dann ist Bewegungsprofilbildung, selektiver oder vollständiger Entzug der Bürgerrechte, realtime Abschiebetracker, … einfach nur Sotware, welche die Faschos in 72 Stunden ausrollen können.

Und come on, die CDU fände es doch einen Traum, wenn sie Menschen auf der Flucht, nicht nur eine Bezahlkarte mit exakten Einkaufsbeschränkungen geben könnte, sondern auch noch kontrollieren kann, was die sonst noch so in ihrer digitalen Brieftasche haben.