Julien Girard-Satabin
determineddust.bsky.social
Julien Girard-Satabin
@determineddust.bsky.social
Academic and engineer. Formal Verification, Artificial Intelligence, Explainability, Self-Hosting.

Wrapups and opinion pieces at https://julien.girard-satabin.fr
🥀 In 10 years, we will not be able to build new computers.
😷 Wear a mask, save lives.
Un sysadmin un peu plus énervé contre ces équivalents numériques de hordes de Huns pourrait vouloir installer des pièges plus agressifs. Comme Nepenthes, par exemple

zadzmo.org/code/nepenth...

c'est très rigolo ça génère des pages aléatoires via des chaînes de Markov, on s'amuse
Nepenthes - ZADZMO.org
Making web crawlers eat shit since 2023
zadzmo.org
November 26, 2025 at 5:34 PM
Le logiciel en question :
anubis.techaro.lol
Anubis: Web AI Firewall Utility | Anubis
Weigh the soul of incoming HTTP requests to protect your website!
anubis.techaro.lol
November 26, 2025 at 5:31 PM
tldr des scientifiques en cryptographie tiennent une élection. Æls n'arrivent pas à lire les résultats. Motif : l'un des trois tiers (haha) de confiance a paumé la clef de déchiffrement.
November 22, 2025 at 3:46 PM
La déclaration officielle, les gens sont un peu honteux

iacr.org/news/item/27...
IACR News item: 21 November 2025
iacr.org
November 22, 2025 at 3:27 PM
smooch
November 19, 2025 at 9:49 PM
Et donc, l'institution, pour pallier un manque de formation qui est en gros auto-infligé (parce que le métier est de moins en moins attractif), se repose sur une machine à générer des banalités pour les interactions avec les premiers usagers de l'école.

C'est vraiment l'usage le plus pertinent ?
November 19, 2025 at 6:03 PM
et à quel point ces tâches occupent du temps effectif pour un enseignant ?
November 19, 2025 at 3:25 PM
pour quels usages ? comment ça vous aiderait, vos élèves et vous ? je suis curieux du discours qui va être relayé
November 19, 2025 at 1:59 PM
A cool paper, which probably demanded a huge amount of work. Having a collection of patterns like that are tremendously useful for formal verification tool developers, to guide their developments, or even be used in competitions.
November 19, 2025 at 10:24 AM
And since Cloudflare effectively contributes to centralizing a big chunk of the internet traffic, those neglects result in dire consequences.
November 19, 2025 at 9:58 AM
* assumptions made on a database query, that resulted in filling much more data than necessary
* bad error handling (yes, even in Rust, it can happen)
* one component crashing should not bring the whole system with it
November 19, 2025 at 9:58 AM