{"slug": "numbat-building-and-verifying-a-self-contained-machine-learning-stack", "title": "Numbat: Building and Verifying a Self-Contained Machine-Learning Stack", "summary": "Researchers built and verified numbat, a machine-learning stack written entirely in Zig with no third-party runtime dependencies, exposing over 1,400 C ABI entry points and bindings for six languages, according to an arXiv paper (2609.10632v1). As the acceptance test, the team trained a 25.9M-parameter YOLOv8m-class detector from random initialization on COCO 2017 for the full 500-epoch schedule, scoring 0.4956 mAP50-95 under the official protocol versus a published endpoint of 0.502, with single-GPU step time at parity on identical hardware. The five-level verification protocol surfaced ten silent recipe divergences, and the weights, per-epoch metrics and full run manifest were released.", "body_md": "arXiv:2609.10632v1 Announce Type: cross \nAbstract: Machine-learning systems are built almost exclusively on a few large Python-orchestrated frameworks, and they inherit those stacks' engineering costs: environments of hundreds of version-coupled packages, separate export toolchains for deployment, and the split between the language research is written in and the language products ship in. We report on the construction and verification of numbat, a machine-learning stack written in one general-purpose language (Zig) with no third-party runtime dependencies. The stack spans tensor computation, automatic differentiation, neural-network modules, mixed precision, multi-GPU training, data loading and monitoring; an SDK exposes it behind a stable, additively versioned C ABI of over 1,400 entry points, with bindings for six languages; and its clinical domain planes encode regulatory requirements as executable acceptance gates rather than documentation. Verifying such a stack is the harder half of building it: a defective training run rarely fails, it converges quietly to a slightly worse model. We treat a widely used reference implementation as an executable specification and verify against it at five levels, from operator gradient checks to an automated trajectory gate against a same-machine reference run - the arrangement our companion study formalizes as a trajectory-level differential oracle. The protocol surfaced ten silent recipe divergences, which we catalog with mechanisms and symptoms. As the acceptance test, we train a 25.9M-parameter detector of the YOLOv8m class from random initialization on COCO 2017 for the full 500-epoch schedule: the exported weights score 0.4956 mAP50-95 under the official protocol, scored by the reference stack's own validator (published endpoint 0.502), with single-GPU step time at parity on identical hardware. Weights, per-epoch metrics and the full run manifest are released.", "url": "https://wpnews.pro/news/numbat-building-and-verifying-a-self-contained-machine-learning-stack", "canonical_source": "https://www.machinebrief.com/news/numbat-building-and-verifying-a-self-contained-machine-learn-ih4e", "published_at": "2026-09-11 04:00:00+00:00", "updated_at": "2026-09-11 06:27:42.431048+00:00", "lang": "en", "topics": ["machine-learning", "ai-research", "mlops", "developer-tools", "ai-infrastructure"], "entities": ["numbat", "Zig", "YOLOv8m", "COCO 2017", "arXiv"], "alternates": {"html": "https://wpnews.pro/news/numbat-building-and-verifying-a-self-contained-machine-learning-stack", "markdown": "https://wpnews.pro/news/numbat-building-and-verifying-a-self-contained-machine-learning-stack.md", "text": "https://wpnews.pro/news/numbat-building-and-verifying-a-self-contained-machine-learning-stack.txt", "jsonld": "https://wpnews.pro/news/numbat-building-and-verifying-a-self-contained-machine-learning-stack.jsonld"}}