Volker StolzšŸ³ļøā€šŸŒˆ

@fm_volker
329 Followers
434 Following
9.2K 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. Listening to/on Unix sockets.
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
Live your life in a way that a large crowd doesn't gather at midnight to cheer your name being removed from a building. This feels like when they tore down the statue of Saddam. To make it sweeter, it was mostly Latinos on the scaffolds taking his name down. Keep eating those cheeseburgers because the biggest party in the history of the world waiting is on standby. - Bill Jubran
#USpol

RE: https://mastodon.social/@_inside/116742529849306484

Apple need to figure out how to offer terms for PCC use more widely. PCC might not be free, but you want dev to be using it rather than roll their own infra with insufficient privacy.

(If anti-trust, make the use contingent on a user subscription, and let the user deal with their token quotas)

Dropped past Taipei's Guanghua Digital Plaza, and, despite having been here dozens of times, I finally found the portal to the underworld realm where they sell solder in kilo ingots.

One kilogram. Ingots.

What must you be doing to consume your solder in one kilo ingots?

#taipei #Taiwan #GuangHuaDigitalPlaza #å°ē£ #台北 #å…‰čÆå•†å “

Let’s stop saying ā€˜world’s first trillionaire’ and start saying ā€˜world’s *last* trillionaire’

What’s the French for Schadenfreude?

Once upon a time – in the summer of 2022 – I posted a silly little joke on Twitter (before I left there, obviously):

I thought a few people might find it funny, but it took off beyond my expectations. By my standards over 5000 ā€œlikesā€ counts as ā€œgoing viralā€ (as you young people say). Most people saw the joke immediately – if you don’t get it, the image is of a slice of choriz,o not an astronomical object – and some even joined in with puns and other jokes. Even funnier, some respondents earnestly shared their devastating insight that it was chorizo (or some variant thereof). I honestly didn’t think anyone would think that I was seriously trying to pass it off as a JWST picture; it was just meant to be silly. But there you go. That’s Twitter. I should also report that some people looked at the rainbow flags in my profile and proceeded to indulge in some homophobic abuse. That’s Twitter too.

Anyway, the day after I posted the image it seems a prominent French physicist called Etienne Klein who has many times more Twitter followers than I ever did, posted an embellished version of the same joke.

To cut a long story short that led to ChorizoGate, a story which made it into numerous newspapers, from the Daily Star to The Times, and even got coverage on CNN News and the RTƉ website. More exciting and even Physics World! In nearly all the stories I’ve seen, the image, together with the JWST connection, is attributed to Ɖtienne Klein who is apparently very well known in France as a popularizer of science in the French language. Because he writes and broadcasts in French he is not so well known outside France.

In a post on this affair at the time, I said

To be honest I’m quite relieved to have avoided the media notoriety surrounding ChorizoGate, especially as it means I’ve avoided being on the front page of the Daily Star! Dr Klein is welcome to the publicity, though perhaps it might backfire on him…

And backfire it has.

Ɖtienne Klein’s appropriation of a silly joke was of no consequence, but at the time I couldn’t help wondering how someone who would do that might behave with things that actually matter. Now I know the answer, and it’s more than worrying. An investigation into the PhD thesis of Etienne Klein by Paris CitĆ© University has concluded that there is extensive evidence of plagiarism in it. Who needs AI when you have Etienne Klein? The University has now decided to rescind Klein’s doctorate, which was awarded in 1999.

What’s the French for Schadenfreude?

#ChorizoGate #EtienneKlein #ParisCitƩUniversity #Plagiarism

I note that Elon Musk's wealth now exceeds the annual GDP of Switzerland.

I think this makes him a state-level actor, and a *hostile* one.

I submit that we have tools for dealing with rogue states, and they should be applied to him until/unless he starts to behave. NB: said tools vary from polite talkings-to by diplomats all the way up to cruise missile strikes and invasions.

@JonathanAldrich For Onward!, for which you are listed as SC member, I reviewed obvious slop.

If we don't do something about it, it will break all the good things we are trying to achieve with venue like Onward!.

I wish we could bar authors that abuse the system from submitting for a while.

Du trodde kanskje Schibsted nye betal eller bli profilert strategi var ille.

NĆ„ viser det seg at de har gitt #OpenAI tilgang til journalistenes interne notater, og mente det ikke var nĆødvendig Ć„ rapportere det som et avvik til #Datatilsynet

Open AI skal ha slettet opplysningene, men dette er jo ganske alvorlig. Om kilder eller ubekreftede opplysninger blir brukt i resultatene til ChatGPT er det undergravende for avisenes samfunnsoppdrag og kildebeskyttelse.

https://www.morgenbladet.no/kultur/neppe-tvil-om-at-dette-er-brudd-pa-personvernforordningen/10388585

– Neppe tvil om at dette er brudd pĆ„ personvernforordningen

Bare muligheten for at Open AI har hatt tilgang pÄ Schibsted-journalisters interne kommentarer, er et brudd med personvernlovene, ifølge jussprofessor.

morgenbladet
Die meisten von euch dürften noch nie etwas gehört haben von einem PD68 Computer oder von dem darauf laufenden Unix-Clone Idris. Am VCFe 25.0 Anfang Mai in München hat uns @me_ die ganze (bekannte) Geschichte dazu erzählt. Enjoy: https://www.youtube.com/watch?v=Y6FRvoY7CSE #VCFe25 #VCFe #vintagecomputing #retrocomputing #idris #pd68 #atari #atarist #unix #techhistory #technikgeschichte
Idris: Wiederbelebung eines frühen Unix-Clones – Michael Engel

YouTube

For ten years I have hoped that the costs of verification would eventually be worth the benefits to corporations. It is wild to see an admission that this has happened. Formal proof summer is officially here!

https://blog.janestreet.com/formal-methods-at-jane-street-index/

Formal methods and the future of programming

I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.

Jane Street Blog