3 ms·
> 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 bureaucra
by 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 agoWell, 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.