Curated Picks

An Ada Forum thread in December 2025 noted community concern over Ada/SPARK's absence from recent ACM SIGPLAN research videos on formal verification and software quality. Developer Heziode announced Aclida, a formally verified CLI framework under development, aimed at addressing the ecosystem gap highlighted by Rust's system utility rewrites. Participants pointed to concrete adoption barriers, including packaging complexity for Linux distributions, unfamiliar tooling, and the lack of compelling proof-of-concept projects. While no agreement emerged on whether outreach should be driven by AdaCore or the community, several contributors argued that focusing on safety-critical niches rather than broad adoption was a more realistic direction.

Anthropic ($350B valuation) acquired Bun to power Claude Code. Bun's runtime is written in Zig. The Ziggit community discussion reveals competing emotions: excitement that Zig now powers critical infrastructure at billion-dollar scale, but anxiety about influence from a company whose AI coding tools feel philosophically opposed to Zig's "no hidden magic" ethos. One observation: Anthropic may have secured "the bargain of the century" in acquiring Jarred Sumner, whose obsessive performance optimization perfectly embodies what attracts engineers to Zig. The thread validates both Zig's commercial readiness and its community's resistance to compromise on principles.

GitHub Actions has reached the point where CI scheduling feels nondeterministic. In Zig's case it stalled the entire build pipeline so badly that even manual retries weren't enough to recover. Andrew Kelley attributes this to Microsoft's AI-first shift and the explicit "embrace AI or get out" stance from leadership, which he argues has degraded engineering priorities. Zig's move to Codeberg is a concrete response to platform reliability falling below an acceptable threshold, even with years of ecosystem lock-in.