Introducing Project Theseus, starting with challoc

Chainguard has announced Project Theseus, an open-source initiative to rebuild core software components and eliminate entire bug classes, starting with challoc. Written primarily in Rust using AI coding agents, challoc is a memory allocator designed to replace glibc malloc, jemalloc, tcmalloc, and mimalloc while offering formal verification and enhanced container memory management. The company states that challoc provides improved memory efficiency and safety without sacrificing throughput. Open article →