Engineering Blog
Latest BRIK64 articles
Page 3 of 4 · articles 21-30
Laszlo B. Kish and the Information-Theory Thread
A research profile on the ideas that influenced the information-theoretic framing behind Digital Circuitality.
Informational Entropy Is Not Thermal Entropy
Why the distinction matters for the foundations story and how it sharpens the claim boundary around Digital Circuitality.
From Preferences to Enforced Action Boundaries
Why robotics and agent systems need explicit action gates, bounded state, and reviewable fallback paths.
First PCD Circuit: A Minimal Walkthrough
Install the CLI, write a small circuit, and inspect the bounded output path. A practical introduction to the format and the compile step.
EVA Algebra: Sequence, Parallel, Conditional
How three composition operators carry sequencing, fan-out, and branching through the circuit model, and what that means for compiler readability and closure.
Working with the SDKs Without Leaving the Bounded Model
How the Rust, JavaScript, and Python SDKs expose BRIK64 patterns while keeping the formal core distinct from host-language code.
Why Software Verification Still Looks Different from Hardware
A comparison between sampled software testing and the compositional review posture hardware teams expect.
128 Operations and the Boundary Between Core and Bridges
A tour of the reviewed core, the contract-bounded extensions, and what that split means for technical scope.
PCD for AI Agents: A Small Format with an External Proof Loop
How a finite grammar helps agents author bounded logic while the compiler and policy checks stay outside the model.
Precision as a Declared Domain
Why bounded numeric domains matter for floating behavior, decimal handling, and reviewable arithmetic.