Wow, that was some quote by Sussman. Terrible. However, they will be more skilled at dealing with the crap industry will throw at them.<p>Far as trustworthy, at least we&#x27;re seeing a minor resurgence of that. I write about many of those techs. I think Ocaml community is one of best examples. There&#x27;s an inherently robust language, a good compiler, integration with formal methods via Coq extraction, smart academics invested in it, uptake in industry (i.e. Jane St), and mainstream uptake to a degree. Leroy et al have something really good going on there.<p>Need more academic stuff like that.