3 ms·My intern this summer is teaching me about formal methods. You are hiring the wrong ones.by ted_dunning 1y agoMy intern this summer is teaching me about formal methods. You are hiring the wrong ones.