I don’t. I think it’s counter productive. Going by that reasoning we shouldn’t be using the Internet because it was funded by DARPA.

NixOS is open source. Anduril can just use it anyway. Besides, almost every major tech company will have defense ties in one way or another.