@neauoire as far as I understand there's this interesting thing where they fund high quality computing research labs but a funding quirk basically forces the labs to dissolve every three years and then re form with the same academics but shuffled around between labs, which is how the same group of people gave us both ocaml and coq and then abandoned maintenance of both immediately