<story><title>US Army applying new areas of math</title><url>https://www.johndcook.com/blog/2019/03/21/us-army-math/</url></story><parent_chain></parent_chain><comment><author>noobermin</author><text>To be very honest, count me in as one of these. I am someone who works for a gov&amp;#x27;t lab, but I do &amp;quot;very pure&amp;quot; scientific research. It&amp;#x27;s not that our research doesn&amp;#x27;t have &amp;quot;defense applications,&amp;quot; it might eventually, but we are definitely a few steps removed from say CFD modeling of airplane wings.&lt;p&gt;The thing is traditional sources of funding suck, and gov&amp;#x27;t labs give researchers a much better environment than the endlessly political academia. Moreover, while the contractor we work with has something like a 30% odd markup for grants, the nearest university (that I got my PhD from) takes a whopping 56% of grant money as &amp;quot;overhead,&amp;quot; I imagine to pay the salaries of the President, coaches, and superstar medical faculty salaries, as well as the new development all along the nearby street.&lt;p&gt;I&amp;#x27;m happy for my job, I just am embarrassed when I tell people I work for the military because they think I make bombs or something.</text></comment>
<story><title>US Army applying new areas of math</title><url>https://www.johndcook.com/blog/2019/03/21/us-army-math/</url></story><parent_chain></parent_chain><comment><author>wenc</author><text>I wonder if there&amp;#x27;s anyone here working on Homotopy Type Theory that can explain what it is, and how it is used in modeling?&lt;p&gt;I skimmed the PDF of the book but am drawing blank as to its connection to an application. Perhaps it&amp;#x27;s used for verification of concepts, similar to how formal methods in CS (e.g. TLA+) are used to conceptually check algorithms?</text></comment>