Good morning, Belval! Second day of #UndoneCS. https://www.undonecs.org/2026/

This morning, some AI (we were mostly spared yesterday).

Undone Computer Science 2026

2nd conference on Undone Science in Computer Science

Undone Computer Science 2026

"Explainable AI as a consequence of target system ignorance in Machine Learning" by Clément Arlotti

[Personal opinion: this is one of my main problems with generators: they cannot explain why they said what they said.]

#UndoneCS

"epistemic agent with graduate physics knowledge" (aka a student) 🙂

#UndoneCS

Unlike traditional modelling, in deep learning, model, data and algorithms are intertwined. Explainability requires separability and we don't have it.

(Example is of course a cat image recognition system.)

No structuring hypothesis, no prior knowledge, no explainability.

#UndoneCS

"Radical alternative for AI" by François Levin

Limitations of the AGI (Artificial General Intelligence): some technical (it is irrealist), some practical (specialized IA would be more interesting), some political.

Proposal: attempt instead Alien Intelligence, an intelligence different from ours. Human are not the reference.

#UndoneCS

"Memory Undone: Between Knowing and Not Knowing in Data Systems" by Viktoriia Makovska,

Not obvious how to implement real deletion of data: data is always stored in many places (think of logs).

Also, if you delete a nasty account in a social network, AI trained from data will retain his nastyness ("memory ghosts").

Erasure is possible, Unlearning more difficult.

#UndoneCS

There is now a scientific field called "machine unlearning" (implementing real deletion).

It is not just for individual privacy, it is also to fix the training data.

Unlearning may mean to *add* information to counterbalance the ghost of the deleted information.

#UndoneCS #unlearning

"Ineffective Right & Undone Science: the case of the access to administrative algorithms in France" by Luc Pellissier

Spoiler: source code access does not really work when you want to understand the origin of a decision.

#UndoneCS

Pseudonymisation of legal decisions in France: refusal to give the source code of the LLM which does it. What is the source code of a LLM? Training corpus+weights?

The speaker asked his university the source code of the pay program. Refusal "for security reasons".

#UndoneCS

"Electronic bureaucracy and lack of reflexivity" by David Monniaux @MonniauxD

Internal university processes are computerized but CS researchers in the university are never consulted. UI of internal software is awful,

Security is often awful ("2FA" by sending two emails to the same address).

#UndoneCS

Discussion "are the french academics always complaining?" :-)

#UndoneCS

Keynote by Tomas Petricek https://tomasp.net/ (from his book "Cultures of programming" https://www.cambridge.org/core/books/cultures-of-programming/075A2D1DE611EE47807A683147B21691)

When there is a bug (like the Knigth glitch https://en.wikipedia.org/wiki/Knight_Capital_Group#2012_stock_trading_disruption), which lessons to deduce? Whose fault was it?

#UndoneCS

Tomas Petricek - New ways of thinking about programming

I'm an assistant professor at Charles University and a partner at fsharpWorks. I work on making programming simpler and more open. To do so, I combine work on programming systems with history and philosophy of programming and computing.

"When you write HelloWorld in Haskell, as a first example, you cannot explain easily what it does."

#UndoneCS #monads

Summary of the keynote: there are several cultures of programming, do no stick to only one (not just the mathematical one or the engineering one).

#UndoneCS

"Fragmented Innovation: Anime and the Limits of Computer Science R&D" by Jun Kato https://junkato.jp/

Academic study of anime production (mostly undone). Production was not digitalized quickly because all the studios are on the same subway line in Tokyo, so physical distribution of material was possible.

#UndoneCS

Portfolio of Jun Kato

Research and design portfolio website of Dr. Jun Kato, introducing past projects, publications, and so on.

"Can We Rigorously and Verifiably Determine How Little the Industry complies with Copyleft Licenses such as GPL?" by Bradley Kühn

Not enough crossover venues between free software people and academics.

Compliance with copyleft licences: companies sending source code… which does not compile.

#UndoneCS

Teaching project by @bkuhn : ask students to pick one product they own and then request the source code of every copyleft component of it and try to compile it 🙂

#UndoneCS

"Donald Trump is one of the few people which respected the AGPL." (For Truth Social)

#UndoneCS

"Who is driving storage research? Questioning the priorities behind SSD research" by Ryan Lahfa

#UndoneCS

Research on storage is mostly done in big tech / HPC and the needs of the small systems (self-hosted servers)) are quite forgotten.

#UndoneCS

@bortzmeyer Lovely way to gild to: no independent developers
@bortzmeyer because it's gaz
(désolé)

@bortzmeyer please correct the quote up thread: I said AGPL (Affero GPL). AGPL is a *lot* rarer than GPL, so said the misquote is a much more sweeping statement than what I actuallt said.

Relevant links:
https://sfconservancy.org/blog/2021/oct/21/trump-group-agplv3/
https://variety.com/2021/digital/news/donald-trump-social-media-violation-software-licensing-1235095575/

#UndoneCS

Trump's Social Media Platform and the Affero General Public License (of Mastodon)

An analysis: Trump's Group has 30 days to remedy the violation, or their rights in the software are permanently terminatedIn 2002, we used phrases like “Web 2.0” and “AJAX” to describe the revolution that was happening in web technology for average consumers. This was just before names like Twitter and Facebook became famous worldwide. Web 2.0 was the groundwork infrastructure of the “social media” to come.

Software Freedom Conservancy
@bortzmeyer was the discussion restricted to the French ones? 😛
@niallor I'm just back from China and, in China, people don't complain.