corpus.blog
41554 blogs · [ { "id": "01a087e4-4f09-72e2-a042-e27654b9094d", "title": "One IP, Six Crawler Identities, One Second: Detection Built Against Real Production Logs", "url": "https://speytech.com/insights/rotational-bot-identity-detection/", "published_at": "2026-05-17T00:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e27655304619", "title": "SEO Validator: A Deploy Gate for SEO Regressions", "url": "https://speytech.com/insights/seo-validator-deploy-gate/", "published_at": "2026-05-14T00:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765552d979", "title": "Self-Hosted Static Sites Need Operational SEO Observability", "url": "https://speytech.com/insights/operational-seo-observability/", "published_at": "2026-05-12T00:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e276563198e5", "title": "Undefined Behaviour: Compiler's Licence to Delete Your Code", "url": "https://speytech.com/insights/undefined-behaviour-compiler/", "published_at": "2026-04-17T00:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e27656b5d1f8", "title": "Why memcmp Fails on Structs: Padding, Floats, Silent Bugs", "url": "https://speytech.com/insights/memcmp-struct-comparison/", "published_at": "2026-04-16T00:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e276570ef43a", "title": "The Type Promotion Trap: C's Silent Integer Conversion Bugs", "url": "https://speytech.com/insights/type-promotion-trap/", "published_at": "2026-04-15T00:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e27657a928d8", "title": "Incident Reconstruction: Beyond It Worked Yesterday", "url": "https://speytech.com/ai-architecture/incident-reconstruction-determinism/", "published_at": "2026-01-26T22:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e27657cb4133", "title": "When Fixed-Point Beats Floating-Point (And When It Doesn't)", "url": "https://speytech.com/insights/fixed-point-vs-floating-point-tradeoffs/", "published_at": "2026-01-26T21:30:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e27657da39bc", "title": "Version Control for Deterministic Systems: Git Isn't Enough", "url": "https://speytech.com/ai-architecture/version-control-deterministic-systems/", "published_at": "2026-01-26T21:15:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765832f194", "title": "Init-Update-Status-Reset: O(1) Safety Guarantees", "url": "https://speytech.com/insights/init-update-status-reset-pattern/", "published_at": "2026-01-26T20:05:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e27659292b55", "title": "Contracts as Documentation: Why Comments Lie", "url": "https://speytech.com/insights/contracts-as-documentation/", "published_at": "2026-01-26T19:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765947e9d0", "title": "Why 'Hello World' Fails Safety-Critical Engineers", "url": "https://speytech.com/insights/hello-world-fails-safety-critical/", "published_at": "2026-01-26T18:30:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e27659a394a4", "title": "C From Scratch: Learning Safety-Critical C", "url": "https://speytech.com/insights/c-from-scratch-book-launch/", "published_at": "2026-01-24T22:31:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765a5b1adf", "title": "Testing ML Systems: Beyond Unit Tests and Accuracy Metrics", "url": "https://speytech.com/ai-architecture/ml-testing-systems/", "published_at": "2026-01-24T00:30:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765aa5a03c", "title": "Cost Engineering for ML Infrastructure", "url": "https://speytech.com/ai-architecture/ml-cost-engineering/", "published_at": "2026-01-24T00:05:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765b290845", "title": "State Management in ML Services: Beyond Stateless Inference", "url": "https://speytech.com/ai-architecture/ml-state-management/", "published_at": "2026-01-23T22:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765b4438a3", "title": "Graceful Degradation in ML Systems", "url": "https://speytech.com/ai-architecture/ml-graceful-degradation/", "published_at": "2026-01-23T21:14:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765b883412", "title": "The Observability Blind Spot: What ML Metrics Miss", "url": "https://speytech.com/ai-architecture/ml-observability-blind-spot/", "published_at": "2026-01-23T18:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765bf102dd", "title": "Fixed-Point Fundamentals", "url": "https://speytech.com/open-source/fixed-point-fundamentals/", "published_at": "2026-01-22T20:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765c90acc7", "title": "certifiable-bench", "url": "https://speytech.com/open-source/certifiable-bench/", "published_at": "2026-01-21T22:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765d208028", "title": "Stochastic Rounding Without the Stochastic", "url": "https://speytech.com/insights/stochastic-rounding-deterministic/", "published_at": "2026-01-20T22:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765e053fd8", "title": "Cross-Platform Bit-Identity: Theory to Practice", "url": "https://speytech.com/insights/cross-platform-bit-identity/", "published_at": "2026-01-20T20:45:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765e3265e1", "title": "Feistel Shuffle: Deterministic Data Ordering", "url": "https://speytech.com/insights/feistel-shuffle-deterministic/", "published_at": "2026-01-20T20:24:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765e42002d", "title": "Merkle Chains for ML Audit Trails", "url": "https://speytech.com/insights/merkle-chains-ml-audit/", "published_at": "2026-01-20T19:30:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765f2d48c5", "title": "Round-to-Nearest-Even: The Key to Determinism", "url": "https://speytech.com/insights/round-to-nearest-even/", "published_at": "2026-01-20T19:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765f50cd11", "title": "The Certifiable-* Ecosystem: One Deterministic ML Pipeline", "url": "https://speytech.com/ai-architecture/certifiable-ecosystem/", "published_at": "2026-01-19T23:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2765f9e86eb", "title": "certifiable-harness", "url": "https://speytech.com/open-source/certifiable-harness/", "published_at": "2026-01-19T22:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e2766059621b", "title": "certifiable-verify", "url": "https://speytech.com/open-source/certifiable-verify/", "published_at": "2026-01-19T21:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e276606a7499", "title": "certifiable-monitor", "url": "https://speytech.com/open-source/certifiable-monitor/", "published_at": "2026-01-19T17:00:00+00:00" }, { "id": "01a087e4-4f09-72e2-a042-e27660946ab8", "title": "Deterministic ML Pipeline for Safety-Critical Systems", "url": "https://speytech.com/ai-architecture/deterministic-ml-pipeline/", "published_at": "2026-01-19T00:15:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a6ecbe481", "title": "Certifiable Deploy", "url": "https://speytech.com/open-source/certifiable-deploy/", "published_at": "2026-01-18T22:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a6eefc82d", "title": "Certifiable Quant", "url": "https://speytech.com/open-source/certifiable-quant/", "published_at": "2026-01-18T21:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a6f59080a", "title": "C-From-Scratch", "url": "https://speytech.com/open-source/c-from-scratch/", "published_at": "2026-01-17T09:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a6fadb18b", "title": "Certifiable Data", "url": "https://speytech.com/open-source/certifiable-data/", "published_at": "2026-01-16T10:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a70729128", "title": "C-Sentinel", "url": "https://speytech.com/open-source/c-sentinel/", "published_at": "2026-01-16T09:10:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7144bbf2", "title": "WCET Analysis for Neural Network Inference", "url": "https://speytech.com/ai-architecture/wcet-neural-network-inference/", "published_at": "2026-01-15T22:31:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a71c348d6", "title": "Fixed-Point Neural Networks: The Math Behind Q16.16", "url": "https://speytech.com/insights/fixed-point-neural-networks/", "published_at": "2026-01-15T21:30:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a72b8f851", "title": "TensorFlow Lite and DO-178C Certification Challenges", "url": "https://speytech.com/ai-architecture/tflite-do178c-challenges/", "published_at": "2026-01-15T20:45:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7388d6c2", "title": "Bit-Perfect Reproducibility: Why It Matters", "url": "https://speytech.com/insights/bit-perfect-reproducibility/", "published_at": "2026-01-15T20:15:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a746c4b0e", "title": "The Real Cost of Dynamic Memory in Safety-Critical Systems", "url": "https://speytech.com/insights/dynamic-memory-safety-critical/", "published_at": "2026-01-15T19:20:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a751de3e3", "title": "Certifiable Inference", "url": "https://speytech.com/open-source/certifiable-inference/", "published_at": "2026-01-15T10:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a76038a13", "title": "Why Floating Point Is Dangerous for Deterministic AI", "url": "https://speytech.com/ai-architecture/floating-point-danger/", "published_at": "2026-01-14T20:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a766228f2", "title": "Certifiable Training", "url": "https://speytech.com/open-source/certifiable-training/", "published_at": "2026-01-14T10:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a77014db4", "title": "Debugging Model Behavior in Production", "url": "https://speytech.com/ai-architecture/debugging-model-behavior-production/", "published_at": "2026-01-13T21:40:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a774dca30", "title": "When You Don't Need a Feature Store", "url": "https://speytech.com/ai-architecture/when-you-dont-need-feature-store/", "published_at": "2026-01-13T21:15:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a77596e8f", "title": "Model Serving Architecture Patterns", "url": "https://speytech.com/ai-architecture/ai-model-serving-patterns/", "published_at": "2026-01-13T20:35:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7844b327", "title": "Production AI Systems: What 30 Years of UNIX Taught Me", "url": "https://speytech.com/ai-architecture/production-ai-unix-principles/", "published_at": "2026-01-13T19:51:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a78fd618a", "title": "The Observability Gap in ML Systems", "url": "https://speytech.com/ai-architecture/ml-observability-gap/", "published_at": "2026-01-13T19:15:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7924c581", "title": "From Proofs to Code: Mathematical Transcription in C", "url": "https://speytech.com/insights/mathematical-proofs-to-code/", "published_at": "2026-01-12T23:25:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7a07b8a7", "title": "The Hidden Cost of Non-Determinism", "url": "https://speytech.com/insights/nondeterminism-cost-debugging/", "published_at": "2026-01-12T19:50:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7a91750b", "title": "ISO 26262 and ASIL-D: The Role of Determinism", "url": "https://speytech.com/insights/iso-26262-asil-d-determinism/", "published_at": "2026-01-12T19:20:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7b55a8cb", "title": "What Docker Actually Guarantees About Consistency", "url": "https://speytech.com/insights/docker-hidden-cost/", "published_at": "2026-01-12T18:30:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7c401410", "title": "The Zero-Variance Problem: When Mathematics Meets Machines", "url": "https://speytech.com/insights/zero-variance-problem/", "published_at": "2026-01-11T22:50:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7c7090d2", "title": "Composition Without Compromise: Connecting FSMs", "url": "https://speytech.com/insights/fsm-composition/", "published_at": "2026-01-11T22:22:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7d3d0f82", "title": "Why Your ML Model Gives Different Results Every Tuesday", "url": "https://speytech.com/insights/ml-nondeterminism-problem/", "published_at": "2026-01-09T21:20:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7d3de8a9", "title": "Closure, Totality, and the Algebra of Safe Systems", "url": "https://speytech.com/insights/closure-totality-algebra/", "published_at": "2026-01-08T21:20:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7d562667", "title": "Heartbeats and State Machines: Proving Existence in Time", "url": "https://speytech.com/insights/heartbeats-state-machines/", "published_at": "2026-01-08T17:40:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7dbdb2a1", "title": "IEC 62304 Class C: Medical Device Software Requirements", "url": "https://speytech.com/insights/iec-62304-class-c/", "published_at": "2026-01-08T17:15:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7e852f03", "title": "Statistics as State Transitions", "url": "https://speytech.com/insights/statistics-as-state-transitions/", "published_at": "2026-01-07T21:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7f23454a", "title": "Why EMA Beats SMA for Safety-Critical Monitoring", "url": "https://speytech.com/insights/ema-vs-sma-monitoring/", "published_at": "2026-01-07T00:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7f49cabc", "title": "Semantic Security Monitoring in Deterministic Systems", "url": "https://speytech.com/insights/semantic-security-monitoring/", "published_at": "2026-01-07T00:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a7fe12492", "title": "MDCP vs. Conventional RTOS", "url": "https://speytech.com/insights/mdcp-vs-conventional-rtos/", "published_at": "2026-01-05T00:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a80d8e583", "title": "NVIDIA ASIL-B to ASIL-D: The Determinism Question", "url": "https://speytech.com/insights/nvidia-asil-determinism/", "published_at": "2025-12-24T00:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a819f1aef", "title": "Cryptographic Execution Tracing and Evidentiary Integrity", "url": "https://speytech.com/insights/cryptographic-proof-execution/", "published_at": "2025-12-23T00:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a82407ebc", "title": "Reproducibility and the Economics of Debugging", "url": "https://speytech.com/insights/debugging-economics/", "published_at": "2025-12-23T00:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a827201cd", "title": "The Mathematics of Deterministic Scheduling", "url": "https://speytech.com/insights/deterministic-scheduling/", "published_at": "2025-12-23T00:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a83681268", "title": "DO-178C: Deterministic Execution Cuts Certification Cost", "url": "https://speytech.com/insights/do178c-certification/", "published_at": "2025-12-23T00:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a8392db0e", "title": "Post-Incident Analysis in Implantable Cardiac Devices", "url": "https://speytech.com/insights/implantable-device-litigation/", "published_at": "2025-12-23T00:00:00+00:00" }, { "id": "01a087e4-4f0a-73f5-a769-a80a844e3529", "title": "The MycoEco Kernel: Lock-Free Determinism at Scale", "url": "https://speytech.com/insights/mycoeco-kernel/", "published_at": "2025-12-23T00:00:00+00:00" } ] posts Claim your blog
Back to speytech.com
Blog · corpus.blog/blogs/speytech.com/posts

speytech.com

speytech.com

2026

One IP, Six Crawler Identities, One Second: Detection Built Against Real Production Logsoriginal ↗
17 May 2026
SEO Validator: A Deploy Gate for SEO Regressionsoriginal ↗
14 May 2026
Self-Hosted Static Sites Need Operational SEO Observabilityoriginal ↗
12 May 2026
Undefined Behaviour: Compiler's Licence to Delete Your Codeoriginal ↗
17 Apr 2026
Why memcmp Fails on Structs: Padding, Floats, Silent Bugsoriginal ↗
16 Apr 2026
The Type Promotion Trap: C's Silent Integer Conversion Bugsoriginal ↗
15 Apr 2026
Incident Reconstruction: Beyond It Worked Yesterdayoriginal ↗
26 Jan 2026
When Fixed-Point Beats Floating-Point (And When It Doesn't)original ↗
26 Jan 2026
Version Control for Deterministic Systems: Git Isn't Enoughoriginal ↗
26 Jan 2026
Init-Update-Status-Reset: O(1) Safety Guaranteesoriginal ↗
26 Jan 2026
Contracts as Documentation: Why Comments Lieoriginal ↗
26 Jan 2026
Why 'Hello World' Fails Safety-Critical Engineersoriginal ↗
26 Jan 2026
C From Scratch: Learning Safety-Critical Coriginal ↗
24 Jan 2026
Testing ML Systems: Beyond Unit Tests and Accuracy Metricsoriginal ↗
24 Jan 2026
Cost Engineering for ML Infrastructureoriginal ↗
24 Jan 2026
State Management in ML Services: Beyond Stateless Inferenceoriginal ↗
23 Jan 2026
Graceful Degradation in ML Systemsoriginal ↗
23 Jan 2026
The Observability Blind Spot: What ML Metrics Missoriginal ↗
23 Jan 2026
Fixed-Point Fundamentalsoriginal ↗
22 Jan 2026
certifiable-benchoriginal ↗
21 Jan 2026
Stochastic Rounding Without the Stochasticoriginal ↗
20 Jan 2026
Cross-Platform Bit-Identity: Theory to Practiceoriginal ↗
20 Jan 2026
Feistel Shuffle: Deterministic Data Orderingoriginal ↗
20 Jan 2026
Merkle Chains for ML Audit Trailsoriginal ↗
20 Jan 2026
Round-to-Nearest-Even: The Key to Determinismoriginal ↗
20 Jan 2026
The Certifiable-* Ecosystem: One Deterministic ML Pipelineoriginal ↗
19 Jan 2026
certifiable-harnessoriginal ↗
19 Jan 2026
certifiable-verifyoriginal ↗
19 Jan 2026
certifiable-monitororiginal ↗
19 Jan 2026
Deterministic ML Pipeline for Safety-Critical Systemsoriginal ↗
19 Jan 2026
Certifiable Deployoriginal ↗
18 Jan 2026
Certifiable Quantoriginal ↗
18 Jan 2026
C-From-Scratchoriginal ↗
17 Jan 2026
Certifiable Dataoriginal ↗
16 Jan 2026
C-Sentineloriginal ↗
16 Jan 2026
WCET Analysis for Neural Network Inferenceoriginal ↗
15 Jan 2026
Fixed-Point Neural Networks: The Math Behind Q16.16original ↗
15 Jan 2026
TensorFlow Lite and DO-178C Certification Challengesoriginal ↗
15 Jan 2026
Bit-Perfect Reproducibility: Why It Mattersoriginal ↗
15 Jan 2026
The Real Cost of Dynamic Memory in Safety-Critical Systemsoriginal ↗
15 Jan 2026
Certifiable Inferenceoriginal ↗
15 Jan 2026
Why Floating Point Is Dangerous for Deterministic AIoriginal ↗
14 Jan 2026
Certifiable Trainingoriginal ↗
14 Jan 2026
Debugging Model Behavior in Productionoriginal ↗
13 Jan 2026
When You Don't Need a Feature Storeoriginal ↗
13 Jan 2026
Model Serving Architecture Patternsoriginal ↗
13 Jan 2026
Production AI Systems: What 30 Years of UNIX Taught Meoriginal ↗
13 Jan 2026
The Observability Gap in ML Systemsoriginal ↗
13 Jan 2026
From Proofs to Code: Mathematical Transcription in Coriginal ↗
12 Jan 2026
The Hidden Cost of Non-Determinismoriginal ↗
12 Jan 2026
ISO 26262 and ASIL-D: The Role of Determinismoriginal ↗
12 Jan 2026
What Docker Actually Guarantees About Consistencyoriginal ↗
12 Jan 2026
The Zero-Variance Problem: When Mathematics Meets Machinesoriginal ↗
11 Jan 2026
Composition Without Compromise: Connecting FSMsoriginal ↗
11 Jan 2026
Why Your ML Model Gives Different Results Every Tuesdayoriginal ↗
9 Jan 2026
Closure, Totality, and the Algebra of Safe Systemsoriginal ↗
8 Jan 2026
Heartbeats and State Machines: Proving Existence in Timeoriginal ↗
8 Jan 2026
IEC 62304 Class C: Medical Device Software Requirementsoriginal ↗
8 Jan 2026
Statistics as State Transitionsoriginal ↗
7 Jan 2026
Why EMA Beats SMA for Safety-Critical Monitoringoriginal ↗
7 Jan 2026
Semantic Security Monitoring in Deterministic Systemsoriginal ↗
7 Jan 2026
MDCP vs. Conventional RTOSoriginal ↗
5 Jan 2026

2025

NVIDIA ASIL-B to ASIL-D: The Determinism Questionoriginal ↗
24 Dec 2025
Cryptographic Execution Tracing and Evidentiary Integrityoriginal ↗
23 Dec 2025
Reproducibility and the Economics of Debuggingoriginal ↗
23 Dec 2025
The Mathematics of Deterministic Schedulingoriginal ↗
23 Dec 2025
DO-178C: Deterministic Execution Cuts Certification Costoriginal ↗
23 Dec 2025
Post-Incident Analysis in Implantable Cardiac Devicesoriginal ↗
23 Dec 2025
The MycoEco Kernel: Lock-Free Determinism at Scaleoriginal ↗
23 Dec 2025