Elektrine lite

← Feed

Martin Quinson ⏚

emptty@mastodon.social

<p>Eco-anxieux, climato-réactionnaire et féministe.</p><p><a href="https://mastodon.social/tags/teamESR" class="mention hashtag" rel="tag">#<span>teamESR</span></a>: Enseigne la prog, réseau, OS + méthodo recherche et pédago. Cherche en systèmes distribués, méthodes formelles, OS. Co-auteur de SimGrid</p><p>Sympatisant <a href="https://mastodon.social/tags/Debian" class="mention hashtag" rel="tag">#<span>Debian</span></a>, @Framasoft et @LaQuadrature, né à 330ppm.</p>

Posts

  • View post

    Ma belle-mère, dont c&amp;#39;est l&amp;#39;anniversaire, nous dit qu&amp;#39;elle aura un repère pour se souvenir de cette vague de chaleur. Ma première pensée a été que j&amp;#39;espère vraiment que ce niveau de chaleur est exceptionnel et ne se banalisera pas à l&amp;#39;avenir. J&amp;#39;ai pas osé le verbaliser pour ne pas casser l&amp;#39;ambiance. Je suis sans doute encore passé pour un handicapé des relations humaines, qui fait une drôle de tête sans rien dire quand il faudrait un peti...

  • View post

    @PhieLaidMignon Ce serait oublier un peu vite les inondations de ce printemps.

  • View post

    RE: https://digitalcourage.social/@echo_pbreyer/116828917738547075 Quelqu&amp;#39;un pour faire une pétition adéquate sur le site de l&amp;#39;assemblée nationale ? Je sais que c&amp;#39;est pas la même chambre des représentants, mais je ne crois pas qu&amp;#39;il y ait un équivalent à Bruxelles, si ? Bon, c&amp;#39;est admettre que quelqu&amp;#39;un s&amp;#39;intéresse aux pétitions officielles. 🤷

  • View post

    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&amp;#39;s their role to oversee European politics and to correct the course if the Europeans get out of line. Source: US National Security Stra...

  • View post

    @hare : is there any news from the work on the 32-bit ARM support to QBE and Hare, please? It&amp;#39;s an exciting project, thanks for undertaking it! https://nlnet.nl/project/QBE-32-bit-ARM-support/

  • View post

    RE: https://mediapart.social/@mediapart/115779773446903149 J&amp;#39;aime beaucoup les travaux de Geneviève Pruvost. Comme quoi, pas forcément besoin d&amp;#39;idée grandiose pour créer de l&amp;#39;espoir &amp;lt;3

  • View post

    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.