Lien L’IA peut-elle devenir mathématicienne ?

Lien Création (supervisée) d'un compilateur prouvé formellement par de l'IAGen

Lien Doctolib réfute livrer « les infos de ses utilisateurs » aux grands acteurs de l’IA

Journal "comment l'IA va impacter l'industrie cyber"

Tous les ans, à Rennes, il y a une conférence de sécurité informatique nommée le SSTIC.
https://www.sstic.org
Je viens à l'instant de regarder la présentation de cloture, et je suis vraiment horrifié par ce que je viens de voir: https://www.sstic.org/2026/presentation/cloture_2026/
Globalement, l'orateur (français ex-directeur de Tenable, grosse boite US de milliards de dollars) commence par faire une pub éhontée pour son projet nommé bromure, qui est en gros un navigateur empaqueté dans une VM, permettant d'éviter 100% des attaques car (…)
Lien Méga data center : découvrez si vous vivez à proximité d'un des futurs projets français destinés à l'intelligence artificielle
Lien IA : il faudra l'eau et l'électricité de 1,3 milliard de personnes pour répondre à vos prompts d'ici 2030

Journal J'ai testé pour vous : le bark coding
Tout le monde connaît le vibe coding : Vous décrivez une application et l'IA et les agents[1] la codent pour vous. Il semblerait que tout le monde fasse ça et que tout le monde travaille 10 fois plus vite. Du coup les journées doivent être longues au boulot pour eux…
M'enfin, c'est pas le sujet. Aujourd'hui, je vais vous parler de la prochaine révolution : le bark coding.
Kézako ? C'est pareil, mais en utilisant un agent cynophile.
Et (…)
Lien Combien d’énergie consomme vraiment l’IA ? La réponse en infographies
Journal Gains potentiels de l'IA en terme d'optimisation énergétique, et consommation d'énergie

L'agence internationale de l'énergie a une page sur le développement de l'IA. On parle beaucoup de la consommation énergétiques et autres méfaits.
On parle beaucoup moins des gains attendus/putatifs de l'IA en terme d'optimisation énergétique … l'AIE en liste quelques-un, en terme d'optimisation logistique par exemple. Les gains de l'IA, dans leur projections et hypothèses, dépassent potentiellement les émissions de CO2 dues aux constructions de datacenter.
J'ai une question cependant : est-ce que ces optimisations sont vraiment liées à la (…)
Lien No, Artificial Intelligence Is Not Conscious

Lien Resistance is futile : une IA décode le codex Borg
Journée Rust Paris le 9 juin 2026 pour les devs et utilisateurs
Adeptes de Rust, et aussi ceux qui se demandent s'il faut s'y mettre, bloquez votre 9 juin 2026 la semaine prochaine ! La conférence Rust Paris revient pour sa troisième édition, même jour, même heure et même lieu. Cette journée est toujours dédiée aux développeurs et aux utilisateurs de Rust, avec un mot d’ordre : REX — retour d’expérience. Les intervenants viendront partager leurs succès, mais aussi les défis rencontrés, dans des contextes variés : WebAssembly, systèmes embarqués, critiques & Temps-réel, cybersécurité (fuzzing, audit), vérification formelle & certification, Big Data, HPC, Cloud & Microservices, Réseaux & Infrastructures, IA, recherche académique…

- 📅 9 juin 2025
- ⏰ 9h00 — 19h00
- 📍 Université de Jussieu – 4, place Jussieu 75005 Paris, amphithéâtre 43, au fond à droite en entrant
- 🎟️ C'est une conférence payante (120 € HT) mais…
- 15% de réduction pour les lecteurs de LinuxFr.org si vous utilisez le code
LinuxFR_RustParis2026 - voire gratuite si votre employeur est membre de Systematic (Pôle de compétitivité organisateur via le Hub Open Source)
- 15% de réduction pour les lecteurs de LinuxFr.org si vous utilisez le code
Lien Une bibliothèque Java injecte dans ses logs un prompt ordonnant aux agents IA de détruire tous les tests créés par celle-ci

Lien IA : la revanche des imbéciles

