Determinism is a safety property
Safety claims need repeatability. Determinism enables replay, audits, and controlled failure analysis.
Writing
Articles and notes on deterministic AI, verification, and deployment reality.
I write about systems where behavior can be audited and reproduced.
I prefer claims that can be tested.
Why offline deployment changes everything
Offline is not a niche; it forces discipline. Engineering patterns that work when the cloud is not an option.
Fixed-point thinking for reproducible systems
Floating point creates drift. Fixed-point can reduce it. Q15 as an intuition for stable numerics.
Execution receipts for AI inference
Receipts are to inference what logs are to systems, but stronger. Verifiable and replayable proofs.
Auditability beats alignment
Alignment is not an operational control. Auditability is. Receipts as evidence for compliance.