Verifying all of nixpkgs could cost about $400M over five years if AI capability keeps doubling every eight months

A post sharing a cost estimate says all of nixpkgs could be verified for about $400 million in roughly five years on a $100 million-a-year budget, if AI capability keeps doubling every eight months. It estimates that verifying 95% of the code by the end of 2027 would cost about $134 million if verification speeds up fourfold. The post also puts Linux plus Firecracker at about $1 million and says verifying just 9 MB would cover all dependencies of two-thirds of all code.