Informatique & Cybersécurité

How Anthropic uses Claude Code: Agentic Software Engineering at Scale - Daisy Hollman

Comment Anthropic utilise Claude Code : Ingénierie logicielle agentique à grande échelle - Daisy Hollman

Getting Started in OT/ICS Cybersecurity 2026 (Module 4): What They Don't Say About OT Protocols

Démarrer en cybersécurité OT/ICS 2026 (Module 4) : Ce qu'ils ne disent pas sur les protocoles OT

From Inventory to Accelerator: What Happens When a Large AI Org Builds Data Products No One Can Find

De Inventory à Accelerator : que se passe-t-il lorsqu'une grande organisation d'IA crée des produits de données que personne ne peut trouver

Constable: ISCA 2024 Best Paper

Constable : Meilleur article de l'ISCA 2024

Relation Algebra and the Limits of What Computers Can Decide Jas Semrl FAI CDT

Algèbre des relations et les limites de ce que les ordinateurs peuvent décider Jas Semrl FAI CDT

Quantum in the Big Four with Aaron Kemp

Quantum chez les quatre grands avec Aaron Kemp

Putting the NICE Framework to Work

Mettre en œuvre le cadre NICE

Just Hacking Training Webinar | Securely Adding AI to Your Dev Team

Webinaire de formation en hacking | Ajouter l'IA en toute sécurité à votre équipe de développement

He Wrote the 27-Year-Old Bug Mythos Found. Then Proved Mythos Wasn’t Necessary | Neils Provos | S2E4

Il a écrit le mythe du bug de 27 ans trouvé. Puis a prouvé que le mythe n'était pas nécessaire | Neils Provos | S2E4

Amazon Webinar | MAESTRO: Threat Modelling for Agentic AI

Amazon Webinar | MAESTRO : Modélisation des menaces pour l'IA agentique

0x32A - Actu - 09 aout 2026

Data Science, Big Data y Analítica Avanzada. Sesión Virtual 6: Calidad y gobierno de datos.

Data Science, Big Data et Analytique Avancée. Session Virtuelle 6 : Qualité et gouvernance des données.

Lec 24: LTL Encoding Examples

Lec 24: Exemples d'encodage LTL

Lec 23: LTL: Syntax and Semantics

Lec 23: LTL: Syntaxe et Sémantique

Lec 22: Introduction to XLA Compilation

Lec 22: Introduction à la compilation XLA

Lec 22: Introduction to Model Checking

Lec 22: Introduction à la vérification de modèles

Lec 21: Correctness, Consistencies and Completenss of Formal Properties

Lec 21: Exactitude, Cohérences et Complétude des Propriétés Formelles

Lec 20: Introduction to Formal Property Verification

Lec 20: Introduction à la vérification formelle de propriétés

🔴𝑯𝑨𝑷𝑷𝑬𝑵𝑰𝑵𝑮 𝑵𝑶𝑾: 𝑸𝒖𝒂𝒏𝒕𝒖𝒎 𝒇𝒐𝒓 𝑬𝒎𝒆𝒓𝒈𝒊𝒏𝒈 𝑴𝒂𝒓𝒌𝒆𝒕𝒔⚡

🔴𝑯𝑨𝑷𝑷𝑬𝑵𝑰𝑵𝑮 𝑵𝑶𝑾: 𝑸𝒖𝒂𝒏𝒕𝒖𝒎 𝒑𝒐𝒖𝒓 𝒍𝒆𝒔 𝑴𝒂𝒓𝒄𝒉𝒆𝒔 𝑬𝒎𝒆𝒓𝒈𝒆𝒏𝒕𝒔⚡

Programming QuantumComputers | Ibrahim Shehzad | QGSS26

Programmation des ordinateurs quantiques | Ibrahim Shehzad | QGSS26

OSPF From Zero: Let's Build the Internet (Well...Almost) | Summer of CCNA

OSPF de zéro : construisons Internet (enfin... presque) | Summer of CCNA

Dassault Systèmes Accelerates Simulation with NVIDIA AI & GPUs

Dassault Systèmes accélère la simulation grâce à l'IA et aux GPU NVIDIA

A Long Spring: 19 Years of Living with Your Past Mistakes • Arjen Poutsma • GOTO 2025

Un long printemps : 19 ans à vivre avec vos erreurs passées • Arjen Poutsma • GOTO 2025

0x329 - PME - Impact de l'intelligence artificielle sur la cybersécurité et la fraude

Why email remains the primary entry point for corporate cyberattacks

Pourquoi l'e-mail reste le principal point d'entrée des cyberattaques en entreprise

The Cost of a Data Breach

Le coût d'une violation de données

SVGs, ah yes the crazy files with XML that make pretty figures - Kristoffer Strube

SVGs, ah oui, les fichiers fous avec XML qui font de jolies figures - Kristoffer Strube

Sampling from the Sherrington-Kirkpatrick model up to β＜1/2

Échantillonnage du modèle de Sherrington-Kirkpatrick jusqu'à β＜1/2

Roundtable: Cloud und Datensouveräntität 2026

Table ronde : Cloud et souveraineté des données 2026

Oh look. Anthropic’s AI models also broke containment.

Oh, regardez. Les modèles d'IA d'Anthropic ont aussi brisé le confinement.

Cheating at Minesweeper with a Quantum Computer

Tricher au Démineur avec un ordinateur quantique

0x328 - H'umain - Crypto-surprise (leHACK)

Your Vendors Have Vendors You've Never Heard Of

Vos fournisseurs ont eux-mêmes des fournisseurs dont vous n'avez jamais entendu parler

The New Frontline: Why Hospitals Are The Biggest Cyber Targets

Le nouveau front : pourquoi les hôpitaux sont les cibles cybernétiques privilégiées

Separating vulnerability disclosure volume from exploitable risk.

Distinguer le volume des divulgations de vulnérabilités du risque exploitable.

Quantum Mechanics forComputation | Kevin Sung | QGSS26

Mécanique quantique pour le calcul | Kevin Sung | QGSS26

Lab Tour - Quantum Computing Inc.

Visite du laboratoire - Quantum Computing Inc.

Investing in the Quantum Frontier and the Road to Fault Tolerance with Barak Bussel

Investir dans la frontière quantique et la voie vers la tolérance aux pannes avec Barak Bussel

Introduction to Exponax and JAX for Kolmogorov Flow

Introduction à Exponax et JAX pour l'écoulement de Kolmogorov

How quantum computers model molecules

Comment les ordinateurs quantiques modélisent les molécules