https://www.eff.org/deeplinks/2025/10/department-defense-wants-less-proof-its-software-works