Unsafe Impedance: Safe Languages and Safe by Design Software arxiv.org 6 points by dan353hehe 2 days ago