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.
Why memcmp Fails on Structs: Padding, Floats, and Silent Bugs
How struct padding and IEEE 754 float representation cause memcmp to produce incorrect equality results, and why field-by-field comparison is the only fix
The Type Promotion Trap: C's Silent Integer Conversion Bugs
How implicit type promotion rules turn correct-looking comparisons into logic errors in C
16 min read →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
6 min read →Init-Update-Status-Reset: O(1) Safety Guarantees
A four-function interface that enables static analysis, bounded resources, and compositional verification
12 min read →Contracts as Documentation: Why Comments Lie
How preconditions, postconditions, and invariants become living documentation
9 min read →Why 'Hello World' Fails Safety-Critical Engineers
Traditional C tutorials teach habits that certification auditors reject
10 min read →C From Scratch: Learning Safety-Critical C
Why proving code correct before writing it changes everything
9 min read →Stochastic Rounding Without the Stochastic
How PRNG-controlled rounding can provide regularisation benefits deterministically
7 min read →Cross-Platform Bit-Identity: Theory to Practice
The practical journey of verifying deterministic ML across platforms
8 min read →Feistel Shuffle: Deterministic Data Ordering
How cycle-walking Feistel networks can provide reproducible shuffling for ML training
7 min read →10 of 36 articles