miniblog.

What Developers Want and Need from Program Analysis: An Empirical Study https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/ase-2016.pdf Static analysis tools should have very few checks enabled by default, and great editor integration!

If you can afford the performance cost of a higher level language, it's probabably worth it. Great empirical study:

It's worryingly easy to disregard empirical evidence, if it supports a viewpoint that differs from our friends: http://t.co/HceBUrgu11