The report says that includes two full-time infrastructure engineers. Which isn’t crazy given Rust infrastructure’s userbase and traffic.

$15k seems pretty lean to me for Zig since it includes hardware purchases.