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




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 (…)

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 (…)

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 (…)

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…

LinuxFR_RustParis2026


