Portfolio
- MDCP™ Platform
Deterministic computing platform for safety-critical systems
- MDLCE™ Compliance Engine
Liability closure for regulated industries
- CardioCore™ Medical Kernel
IEC 62304 medical device software kernel
- Open Source Projects
Deterministic ML, security monitoring, and education
Content
- Insights
Deterministic computing and safety-critical systems
- AI Architecture
Production ML systems from infrastructure experience
- Why Deterministic Computing?
Core principles and value proposition
Technical Overviews
- Tick Scheduler
Interactive deterministic scheduling demonstration
- Incident Replay
Deterministic incident reconstruction
- Race Conditions
Visual explanation of race condition elimination
- ROI Calculator
ASIL-D certification cost calculator
Information
- Request Technical Brief
Get in touch for detailed documentation
- RSS Feed
Subscribe to technical articles
- Privacy
How we handle your data
- Legal
Terms and intellectual property
Open Source Projects (12)
- Fixed-Point Fundamentals MIT
Learn fixed-point arithmetic from first principles — because 'close enough' isn't deterministic
Education
- certifiable-bench GPL-3.0
Performance benchmarking for deterministic ML — because 'fast' means nothing if you can't prove it's correct
Deterministic Computing
- certifiable-harness GPL-3.0
End-to-end test harness for deterministic ML — because 'it works on my machine' isn't certifiable
Deterministic ML
- certifiable-verify GPL-3.0
Pipeline verification for the certifiable-* ecosystem — because 'we checked it manually' isn't certifiable
Deterministic ML
- certifiable-monitor GPL-3.0
Deterministic runtime monitoring — because 'the model drifted' isn't certifiable
Open Source
- Certifiable Deploy GPL-3.0
Deterministic model packaging and cryptographic attestation — because 'trust me, it's the right model' isn't certifiable
Deterministic ML
- Certifiable Quant GPL-3.0
Deterministic model quantization with formal error certificates for safety-critical ML
Deterministic ML
- C-From-Scratch MIT
Learn to build safety-critical systems in C — mathematical rigour, not 'Hello World'
Education
- Certifiable Data GPL-3.0
Deterministic data pipelines for safety-critical ML — because 'we shuffled the data' isn't reproducible
Deterministic ML
- C-Sentinel MIT
Semantic observability for UNIX systems — lightweight system probing with explainable risk scoring
Security Monitoring
- Certifiable Inference GPL-3.0
Deterministic, bit-perfect neural network inference for safety-critical systems
Deterministic ML
- Certifiable Training GPL-3.0
Deterministic ML training with Merkle audit trails — because 'we trained it' isn't certifiable
Deterministic ML
Insights Articles (34)
- 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
January 26, 2026 21:30 · Deterministic Computing
- 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
January 26, 2026 20:05 · Systems Architecture
- Contracts as Documentation: Why Comments Lie and Code Doesn't
How preconditions, postconditions, and invariants become living documentation
January 26, 2026 19:00 · Formal Methods
- Why 'Hello World' Fails Safety-Critical Engineers
Traditional C tutorials teach habits that certification auditors reject
January 26, 2026 18:30 · Safety-Critical Programming
- C From Scratch: A New Approach to Learning Safety-Critical C
Why proving code correct before writing it changes everything
January 24, 2026 22:31 · Announcements
- Stochastic Rounding Without the Stochastic
How PRNG-controlled rounding can provide regularisation benefits deterministically
January 20, 2026 22:00 · Deterministic Computing
- Cross-Platform Bit-Identity: From Theory to 7 Matching Hashes
The practical journey of verifying deterministic ML across platforms
January 20, 2026 20:45 · Deterministic Computing
- The Feistel Shuffle: Deterministic Data Ordering Without Randomness
How cycle-walking Feistel networks can provide reproducible shuffling for ML training
January 20, 2026 20:24 · Deterministic Computing
- Merkle Chains for ML Audit Trails
How cryptographic hash chains can make every training step verifiable
January 20, 2026 19:30 · Deterministic Computing
- Round-to-Nearest-Even: The Rounding Mode That Makes Determinism Possible
Why banker's rounding matters for bit-identical machine learning
January 20, 2026 19:00 · Deterministic Computing
- Fixed-Point Neural Networks: The Math Behind Q16.16
How integer arithmetic can enable deterministic AI inference for safety-critical systems
January 15, 2026 21:30 · Safety-Critical AI
- Bit-Perfect Reproducibility: Why It Matters and How to Prove It
What deterministic execution actually means and how to verify it across platforms
January 15, 2026 20:15 · Safety-Critical AI
- The Real Cost of Dynamic Memory in Safety-Critical Systems
Why malloc is problematic for certification and how static allocation can simplify verification
January 15, 2026 19:20 · Safety-Critical AI
- From Proofs to Code: Mathematical Transcription in C
How mathematical contracts become deterministic implementations
January 12, 2026 23:25 · Formal Methods
- The Hidden Cost of Non-Determinism
Understanding the financial impact of debugging race conditions and Heisenbugs
January 12, 2026 19:50 · Business Case
- ISO 26262 and ASIL-D: The Role of Determinism
How deterministic architecture can support automotive functional safety certification
January 12, 2026 19:20 · Certification
- The Hidden Cost of 'Consistent Environments': What Docker Actually Guarantees
Why shipping 450MB to avoid inconsistency may be solving the wrong problem
January 12, 2026 18:30 · Systems Architecture
- The Zero-Variance Problem: When Mathematics Meets Machines
Why perfect consistency creates impossible calculations—and how to handle it
January 11, 2026 22:50 · Formal Methods
- Composition Without Compromise: Connecting FSMs
How verified components combine to create verified systems
January 11, 2026 22:22 · Formal Methods
- Why Your ML Model Gives Different Results Every Tuesday
The hidden sources of non-determinism in machine learning, and why they matter more than you think
January 09, 2026 21:20 · Deterministic Computing
- Closure, Totality, and the Algebra of Safe Systems
Why three mathematical properties can determine whether your system fails safe or fails silent
January 08, 2026 21:20 · Formal Methods
- Heartbeats and State Machines: Proving Existence in Time
How deterministic finite state machines can model liveness detection with verifiable properties
January 08, 2026 17:40 · Formal Methods
- IEC 62304 Class C: What Medical Device Software Actually Requires
How deterministic architecture can support the most stringent safety classification for medical device software
January 08, 2026 17:15 · Medical Devices
- Statistics as State Transitions
How finite state machines can provide a deterministic foundation for anomaly detection
January 7, 2026 21:00 · Formal Methods
- Why EMA Beats SMA for Safety-Critical Monitoring
How exponential moving averages provide the mathematical properties that safety-critical systems require
January 7, 2026 · Systems Architecture
- Semantic Security Monitoring in Deterministic Systems
How structured observability can support incident investigation and regulatory compliance
January 07, 2026 · Safety Engineering
- MDCP vs. Conventional RTOS
Side-by-side comparison of MDCP deterministic platform against VxWorks, QNX, FreeRTOS, and conventional real-time operating systems
January 5, 2026 · Technical Comparison
- NVIDIA's ASIL-B Linux Kernel: The Path to ASIL-D and Deterministic Execution
NVIDIA's achievement is impressive — and it clarifies the architectural considerations for Level 4/5 autonomy
December 24, 2025 · Autonomous Systems
- Reproducibility and the Economics of Debugging
How non-deterministic execution can amplify engineering cost and schedule risk
December 23, 2025 · Engineering Economics
- The Mathematics of Deterministic Scheduling
How tick-based execution addresses non-determinism at the fundamental level of computation
December 23, 2025 · Formal Methods
- Cryptographic Execution Tracing and Evidentiary Integrity
How deterministic systems with cryptographic sealing can strengthen post-incident analysis
December 23, 2025 · Deterministic Computing
- DO-178C Level A Certification: How Deterministic Execution Can Streamline Certification Effort
How tick-based architecture and minimal code footprint can reduce certification effort and timelines in aerospace programs
December 23, 2025 · Safety Certification
- Reproducibility and Post-Incident Analysis in Implantable Cardiac Devices
How execution traceability can influence investigation, liability, and regulatory outcomes
December 23, 2025 · Medical Devices
- The MycoEco Kernel: Lock-Free Determinism at Scale
How event-based architecture enables deterministic multi-core execution without locks
December 23, 2025 · Systems Architecture
AI Architecture Articles (17)
- Incident Reconstruction: Why 'It Worked Yesterday' Isn't Evidence
How bit-perfect replay, execution tracing, and sealed audit logs transform incident response from guesswork to forensics
January 26, 2026 22:00 · AI Architecture
- Version Control for Deterministic Systems: Git Isn't Enough
How Merkle chains, cryptographic attestation, and reproducible builds satisfy certification evidence requirements
January 26, 2026 21:15 · AI Architecture
- Testing ML Systems: Beyond Unit Tests and Accuracy Metrics
A practical testing strategy for production machine learning
January 24, 2026 00:30 · AI Architecture
- Cost Engineering for ML Infrastructure: What Actually Matters
Where the money goes and what to optimise first
January 24, 2026 00:05 · AI Architecture
- State Management in ML Services: Beyond Stateless Inference
Architectural patterns for ML systems that need to remember
January 23, 2026 22:00 · AI Architecture
- Graceful Degradation in ML Systems: When Your Model Can't Answer
Fallback strategies for production inference that fails gracefully instead of failing loudly
January 23, 2026 21:14 · AI Architecture
- The Observability Blind Spot: What ML Metrics Don't Tell You
Why accuracy looks fine while your production system burns
January 23, 2026 18:00 · AI Architecture
- The Certifiable-* Ecosystem: Eight Projects, One Deterministic ML Pipeline
From training data to deployed inference — bit-identical, auditable, certifiable
January 19, 2026 23:00 · AI Architecture
- A Complete Deterministic ML Pipeline for Safety-Critical Systems
From training data to deployed inference — bit-identical, auditable, certifiable
January 19, 2026 00:15 · AI Architecture
- WCET Analysis for Neural Network Inference
How to prove worst-case execution time for convolution, matrix multiply, and pooling operations
January 15, 2026 22:31 · AI Architecture
- Why TensorFlow Lite Faces Challenges in DO-178C Certification
Understanding the architectural properties that complicate aerospace certification for mobile inference frameworks
January 15, 2026 20:45 · AI Architecture
- Why Floating Point Is Dangerous: The Case for Deterministic AI in C
When 'mostly reproducible' isn't good enough for systems that matter
January 14, 2026 20:00 · AI Architecture
- Debugging Model Behavior in Production
When the model works in staging but fails in prod, here's how to find out why
January 13, 2026 21:40 · AI Architecture
- When You Don't Need a Feature Store
Most teams solve a problem they don't have yet
January 13, 2026 21:15 · AI Architecture
- Model Serving Architecture Patterns
Understanding latency, throughput, and the trade-offs between them
January 13, 2026 20:35 · AI Architecture
- Production AI Systems: What 30 Years of UNIX Taught Me
The infrastructure principles that kept systems running still apply to ML
January 13, 2026 19:51 · AI Architecture
- The Observability Gap in ML Systems
Why your model serving cluster fails at 3AM and you can't figure out why
January 13, 2026 19:15 · AI Architecture