this is also just very specifically the one "NASA" outpost they have that is specifically owned by the CIA. there's like a public autobiography about it somewhere
Floyd, Robert W.; Ullman, Jeffrey D. (1980). "The Compilation of Regular Expressions into Integrated Circuits". NASA Sti/Recon Technical Report N. 81. Fairfax County, Virginia: Ft. Belvoir: Defense Technical Information Center: 12334. Bibcode:1980STIN...8112334F.
also i did spend a good deal of time trying to find an actual living example of euclid's elements and all i could find was some fucking cambridge asshole saying outright that he had written every part of it himself. and of course it all acted like "formalism" was such a huge fucking important thing back in ancient fucking greco-mathematics