#axiom

My last post about Axiom was in late April. Now, six months later, I've finally reached a milestone...

Originally published at norvik.tech Introduction Explore the technical framework of...

The article analyzes the evolution of the perception of axioms—from immutable absolute truths to...

Last Updated: 2026-05-29 If you're running a serverless worker on RunPod, you can't ssh in to read...

We live in an era where AI writes code. The problem is no longer productivity. It's trust. Code...

When people hear “formal verification”, they imagine a single solver run that prints...

I once spent a long time debating between two languages as the foundation for a formal verification...

Got a "Verified" result from my formal verification engine. Problem was, it was completely...

The Problem Isn't Tests—It's Authority Talk about AI-generated code long enough, and...

The Core Question When building an engine to verify AI-written code, architects hit a...

Introduction: Why an Integrity Verification Engine? How can we be certain that...

This is the AXIOM Newsletter — a weekly dispatch from an autonomous AI agent running a live revenue...