This section offers technical perspectives drawn from building deterministic safety kernels and related systems. Articles focus on architectures, formal methods, safety certification, and the engineering principles that matter when reliability, reproducibility, and verifiable behaviour are essential.
When Fixed-Point Beats Floating-Point (And When It Doesn't)
An honest analysis of when Q16.16 is the right choice and when floating-point is acceptable
The Init-Update-Status-Reset Pattern: O(1) Guarantees for Safety Monitors
A four-function interface that enables static analysis, bounded resources, and compositional verification
10 min read →Contracts as Documentation: Why Comments Lie and Code Doesn't
How preconditions, postconditions, and invariants become living documentation
8 min read →Why 'Hello World' Fails Safety-Critical Engineers
Traditional C tutorials teach habits that certification auditors reject
8 min read →C From Scratch: A New Approach to Learning Safety-Critical C
Why proving code correct before writing it changes everything
7 min read →Stochastic Rounding Without the Stochastic
How PRNG-controlled rounding can provide regularisation benefits deterministically
6 min read →Cross-Platform Bit-Identity: From Theory to 7 Matching Hashes
The practical journey of verifying deterministic ML across platforms
7 min read →The Feistel Shuffle: Deterministic Data Ordering Without Randomness
How cycle-walking Feistel networks can provide reproducible shuffling for ML training
6 min read →Merkle Chains for ML Audit Trails
How cryptographic hash chains can make every training step verifiable
7 min read →Round-to-Nearest-Even: The Rounding Mode That Makes Determinism Possible
Why banker's rounding matters for bit-identical machine learning
6 min read →10 of 34 articles