Daily Shaarli
March 20, 2026
Le fait qu’à chaque fois, les sites concernés m’envoient un e-mail pour me demander mon putain d’avis avec une note sur comment s’est passé l’opération.
« les standards de qualité baissent, dans tout le secteur, y compris nos concurrents »
Wtf
Toute personne qui engage une procédure civile devant le tribunal judiciaire ou une action devant le conseil des prud’hommes doit désormais payer une contribution pour l’aide juridique d’un montant de 50 €.
L'Union Européenne devrait éviter un "airbus du numérique" afin d'éviter tous les défauts des GAFAMs.
Cela passe par le développement et la reconnaissance des communs numériques : logiciels libres, infrastructures décentralisées, interopérables, gouvernées collectivement et ancrées dans les territoires.
[Des alternatives] sont certes bien moins visibles que les grandes plateformes car elles ne promettent ni croissance infinie, ni domination mondiale, mais elles proposent en revanche un contre-modèle bien plus robuste : un numérique au service de l’intérêt général, de l’autonomie et de la démocratie.
Des nouvelles du Windows
- Monotonicity (and immutability)
- Pre- and post-conditions (assumed to be true just before the runs, post-conditions are things that are assumed to be true just after the function returns)
- Invariants: things that should be true before, during and after that code runs.
- Isolation: every change has a "blast radius" - a change to one part of the code may necessitate a change to another part to ensure the consistency/correctness of the whole system.
- Induction: a proof technique for handling recursive structures
As second recommendation: "you should try to write your code in a form that's easy to write little proofs about"
Simple and funny. Press space to impulse the cube.