2 ms·

Frankly this sounds like some bureaucrat who likes HTT made up an excuse to fund it. It's a mil/gov version of a corporate engineer who decides to build a proje

by hopler 8y ago

Frankly this sounds like some bureaucrat who likes HTT made up an excuse to fund it. It's a mil/gov version of a corporate engineer who decides to build a project in a language they read about on HN.

sigstoat 8y ago
> this sounds like some bureaucrat who likes HTT ...did you read that after you typed it? do you think there is a actually some US federal government bureaucrat running around who has an opinion on HTT?
- marshray 8y ago
  Well, considering that it's the official position of the U.S. Army Research Office Aberdeen Proving Ground that "Homotopy Type Theory and its applications are such an area that is of significant interest in military applications", yes. https://www.arl.army.mil/www/pages/8/W911NF-17-S-0002%20ARO-Core-BAA-Amendment-03.PDF https://www.arl.army.mil/www/pages/8/W911NF-17-S-0002%20ARO-...
- Fomite 8y ago
  ...I know some US federal government bureaucrats who have opinions on things like that.