I highly doubt he would reject DARPA as a sponsor for NixOS. This was just celebrated by a bunch of safety people that have significant overlap with NixOS security goals: https://www.darpa.mil/program/translating-all-c-to-rust