I don't know people or talk to people so I'm happy to hear otherwise. Which industries? I definitely look for libraries which are handcoded and I consider them

I don't know people or talk to people so I'm happy to hear otherwise. Which industries? I definitely look for libraries which are handcoded and I consider them to generally be of a much higher quality, but it increasingly seems like high performance / critical infra is going to move to formal proofs rather than hand coding