BLOG
Stories from the frontier
Thoughts on verification, composition, coherence, and the future of software that works like hardware.
25 articles
What if Software Worked Like DNA?
DNA doesn't mutate randomly. What if software could work the same way? Introducing Digital Circuitality — 64 verified codons for computation.
JAN 15, 2026
Your First PCD Circuit in 5 Minutes
Step-by-step tutorial for writing, compiling, and certifying your first PCD circuit using brikc. From install to Φ_c = 1 in minutes.
MAR 5, 2026
EVA Algebra Deep Dive
A deep dive into EVA — the formal algebraic system behind BRIK-64's pipeline composition and closure proofs. Sequential, parallel, conditional.
MAR 1, 2026
The First Universal Transpiler: 10 Languages In, 14 Out
Every transpiler converts one language to one other. BRIK-64 converts any of 10 to any of 14 — with formal certification that the output is equivalent to the input.
MAR 23, 2026
Your Tests Pass. Your Code Is Broken.
15 functions that pass every unit test. All 15 contain real bugs. BRIK-64's TCE catches them all — because certification is not testing.
MAR 24, 2026
The $3 Trillion COBOL Problem — And How PCD Solves It
220 billion lines of COBOL run in production. The workforce that understands it is retiring. PCD offers incremental, verified migration.
MAR 21, 2026
The BPU — Hardware That Says No
In 1978, Mercedes-Benz introduced ABS. The BPU does for AI what ABS did for braking — hardware that says no.
JAN 29, 2026
Why Your AI Needs Blueprints, Not Hope
Your team adopted AI code generation. Productivity went up. But nobody talks about what's actually being built. Breaking the circular testing problem.
MAR 20, 2026
PCD for AI Agents — A Practical Guide
You're an AI agent generating code millions of times a day. Hope is not engineering. Here's how PCD changes that.
FEB 10, 2026
Why Information Entropy Is Not Thermal Entropy
Kish & Ferry (2018) proved that information entropy and thermal entropy are apples and oranges. What this means for Digital Circuitality.
MAR 12, 2026
The Physicist Who Asked Whether Noise Can Compute
Profile of Prof. Laszlo B. Kish — Noise-Based Logic, KLJN key exchange, and the entropy distinction that shaped Digital Circuitality.
MAR 15, 2026
AI Safety with Policy Circuits
Every AI safety mechanism you use today is software. What happens when you can enforce it with verified circuits? Policy circuits change the game.
JAN 22, 2026
AI Guardrails for Robots
How BRIK-64 policy circuits provide hardware-enforced ALLOW/BLOCK guardrails for autonomous AI agents and robotics systems.
MAR 8, 2026
Reverse-Compile Anything: The BRIK Lifter
The Lifter is a reverse compiler. It takes your existing source code and produces a PCD blueprint — covering 12 languages.
MAR 21, 2026
From JavaScript to Rust in 3 Commands
You have a JavaScript function that works. You need it in Rust. Three commands. Verified. Done.
MAR 21, 2026
The Verification Gap — Why Software Is 50 Years Behind Hardware
In 1965, Gordon Moore predicted transistors would double every two years. Software verification never kept up. Until now.
FEB 20, 2026
Your Messy Code Goes In. Clean, Verified Code Comes Out.
The PCD Roundtrip — extract the computational essence of messy code, verify it mathematically, and recompile into clean code with auto-generated tests.
MAR 21, 2026
Proving Code Equivalence Across Languages
30 functions compiled to JavaScript and Python. Outputs compared bit-for-bit. Zero divergences across 50,000+ test runs.
MAR 24, 2026
Building with SDKs
How to use the BRIK-64 SDKs to integrate Digital Circuitality into existing projects without adopting PCD. Rust, JavaScript, Python.
FEB 25, 2026
What Artificial Intuition Gets Right — And What It Can't Verify
Carlos E. Perez argues AI is intuition, not intelligence. He's right. But intuition without certification is a liability.
MAR 22, 2026
Your Code Already Exists. Now Verify It.
You have a codebase. Thousands of functions. They all work — probably. The Lifter changes that equation.
MAR 18, 2026
Beyond Certification — Building Real Software with 128 Monomers
The previous article showed PCD as a fortress. But real software isn't pure. Games, simulations, AI pipelines — and the power of open circuits.
FEB 15, 2026
Why Your Calculator Is Lying to You
Open any language. Type 0.1 + 0.2. The answer is 0.30000000000000004. This is not a bug. This is IEEE 754.
FEB 5, 2026
110,227 Tests to Break Our Own Compiler — 0 Failures
The adversarial corpus: 110,227 tests across 7 levels — from individual monomers to real execution. Full monomer catalog, all backends, all languages. Zero failures.
MAR 24, 2026
Your AI Agent Speaks PCD: The BRIK-64 API and MCP
The platform API and MCP server let your AI agent compile, certify, and publish PCD circuits programmatically.
MAR 21, 2026