Numbat: Building and Verifying a Self-Contained Machine-Learning Stack
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 arX…