Posts – Random Bits of Knowledge

The Machines That Find the Flaws

A technical and quantitative investigation of frontier AI in cybersecurity, examining autonomous vulnerability discovery, exploit development, AI-assisted remediation, real-world agentic attacks, software supply-chain risks, benchmark evidence, and the requirements for verified security and enforceable agent control.

Modified	Nov 1, 2026
Audiences	analyst, executive, practitioner, subject-matter expert, technical specialist
Difficulty	intermediate
Series

Modified	Oct 31, 2026
Audiences	practitioner,researcher,subject-matter expert,technical specialist
Difficulty	intermediate
Series	AI and the transformation of mathematics

Modified	Oct 31, 2026
Audiences	analyst, practitioner, researcher, subject-matter expert, technical specialist
Difficulty	intermediate
Series	Post-quantum cryptography transition

Modified	Oct 19, 2026
Audiences	analyst, practitioner, researcher, subject-matter expert, technical specialist
Difficulty	intermediate
Series

Categories

The Machines That Find the Flaws

After the Enormous Theorem: Verification, Discovery, and the Missing Layer of Understanding

What 22,593 Cat Qubits Really Mean

Mistral and the European AI Frontier

Math 2.0 Gets an Operating System: Can Open Math OS Build Mathematics Beyond the Theorem Factory?

MITRE ATT&CK v20: AI, Critical Infrastructure, and the Evolution of Detection Engineering

Math 2.0: Beyond the Theorem Factory

When Mathematical Discovery Became a Production System

How Sovereign Is Kolibri?

From 67 Submissions to 19,525: The Research Explosion

The Netherlands Is Building a Sovereign Digital State

Photovoltaic Cybersecurity Is an Authority-Architecture Problem

AI Agents Are Solving Open Problems and Changing What Mathematics Is For

Dynamics 365 Activate and the Productization of Enterprise Application Migration

Data Is Not the New Oil

When the User Becomes the Exploit

Guerra profonda: recensione tecnica e guida all’approfondimento

When Formalization Became Industrial

Programming Authority Is the Real PLC Security Boundary

After Proof Abundance: Palomar and the New Infrastructure of Mathematical Trust

The Industrialization of Mathematical Intelligence: Beyond Proof Abundance to Open Questions of Governance

A CVE Is Not an Article 14 Report: What Actually Makes a Vulnerability Reportable?

Does the CRA Require Vulnerability Scanning from 11 September 2026? No, but It Does Require a Reporting Decision Process

When AI Failure Became a Theorem: What the Grothendieck Constant Breakthrough Reveals About Human–AI Mathematical Collaboration

Growing Abundance of AI Math: Progress around the Riemann Hypothesis and a Counterexample to the Maxwell Conjecture

After the Hugging Face Intrusion: What the New Technical Record Changes

The Withdrawal of HAWK

AI Mathematics Crosses the Systems Boundary

When the Proof Checker Becomes Part of the Experiment

When an AI Evaluation Became a Cyber Intrusion

Proof Abundance and the New Practice of Mathematics

The First Scroll Read by Machine Learning

When Digital Trust Gets a Deadline

When AI Enters the Laboratory

The Industrialization of Intelligence

When a Nobel Laureate Uses an LLM to Prove a Theorem: A Turning Point for Mathematical Discovery

The Leiden Declaration and the Governance of AI-Assisted Mathematics

The New Cognitive Infrastructure of Science

The Erdős Moment of AI

When Vulnerability Databases Become Triage Systems

KDE, the Sovereign Tech Fund, and Europe’s Search for Digital Sovereignty

Process Mining: From Theory to Execution

Code Sovereignty Starts with the Forge

The French state becomes machine readable through an AI layer

France’s Linux Desktop Turn and the European Logic of Digital Sovereignty

Quantum Cryptography at the Edge of Feasibility: Resource Estimates, Architectural Divergence, and Systemic Risk

Reclaiming the Namespace: EU Digital Sovereignty in the CVE Ecosystem?

Quantum-Safe HTTPS Certificates: Google’s Structural Innovation, Technical Foundations, and Governance Implications

What Is a World Model?

A Glimpse of Agent Evolution

Quantum Computing Threats and the Advantage of Acting Now

Beyond De-Skilling: Intelligence Explosion and the End of Skill as a Stable Category

Beyond the Hype: What Microsoft’s Copilot Data Really Says About AI at Work

Darwin Gödel Machine: A Commentary on Novelty and Implications

Beyond the Urgency: A Commentary on Dario Amodei’s Vision for AI Interpretability

Beyond Human Data: A Critical Examination of Silver & Sutton’s Welcome to the Era of Experience

Architecting Change

Simulating Tethered Buoy Dynamics

GPT-4 Anniversary

Intervento al DABS Day 2024 - Università Ca’ Foscari

AI as Important as Fire, Generative AI as the Printing Press, Autonomous Agents as the Wheel – What’s Next?

Color Space Sampling 101

Singletons in Python

Quantum Key Distribution and Post-Quantum Cryptography

Cybersecurity in an Era with Quantum Computers: Interpreting Mosca’s Risk Inequality

Controllo delle Partite IVA in Excel Tramite il Servizio VIES