Real-time AI based anomaly detection & L2 MACsec control loop on legacy infra without GPUs. Powered by CXL 3.1, DPDK SmartNICs, and Ultra Ethernet.
-
Updated
Jun 28, 2026 - Python
Real-time AI based anomaly detection & L2 MACsec control loop on legacy infra without GPUs. Powered by CXL 3.1, DPDK SmartNICs, and Ultra Ethernet.
Oracle-verified experiments in mathematics and physics ML — exact integer training, zero-calibration quantization, and an append-only ledger that books nulls and retractions beside the wins.
Proof-Carrying Numerical Verification for Financial LLM Outputs. Deterministic symbolic re-execution against SEC EDGAR ground truth, with Ed25519-signed, tamper-evident certificates.
Recorded evidence and manuscript for a single-fixture packed-AWQ route-block arithmetic mechanism study
UORI (arabic-math-lang): Arabic mathematical programming language and research stack connecting deterministic language tooling, deterministic LLM research, kernel/runtime contracts, and a future global APK interface.
To associate your repository with the deterministic-computing topic, visit your repo's landing page and select "manage topics."