Martin Quinson ⏚

To start the new year, I wrote a summary of what I did as a researcher in computer science and professor in 2025. FWIW.

https://people.irisa.fr/Martin.Quinson/blog/251231/Status_update:_2025

I speak of #SimGrid, software model-checking and exhaustive testing of digital infrastructures, #csUnplugged, #SmolPhone, #FrugalComputing and #DeuxFleurs among other things.

@neauoire@merveilles.town I was reading your devlog, where you say "I am not convinced that computers solve any real problems either", pointing to a text by @akkartik@merveilles.town Maybe reading this great text from @stph@framapiaf.org may change your mind (if you happen to read French) https://aswemay.fr/co/think.html Computers change the way we think (cf. Vannevar Bush etc), trough abstraction, addressing, connection, duplication, transformation and universality. #uxn is a great computing facility. Maybe it could evolve to a litteracy facility?

RE: @mediapart@mediapart.social

J'aime beaucoup les travaux de Geneviève Pruvost. Comme quoi, pas forcément besoin d'idée grandiose pour créer de l'espoir <3

@hare@fosstodon.org : is there any news from the work on the 32-bit ARM support to QBE and Hare, please? It's an exciting project, thanks for undertaking it!

https://nlnet.nl/project/QBE-32-bit-ARM-support/

Scarry video, by a (usually) moderate presenter https://www.youtube.com/watch?v=YAh-xEteBz4

(redacted) excerpts:
The US sees it as a strategic priority that MAGA movements come to power in Europe. They intend to use all their means to support such movements.
Trump administration considers Western Europe within their sphere of influence, and believe it's their role to oversee European politics and to correct the course if the Europeans get out of line.

Source: US National Security Strategy document.

😱 brace!