Post ContenterfsfRead More

You might also be interested in reading Vitalik Buterin says AI ‘formal verification’ could actually make crypto much more secure.