Mike great write up. Now I have to source to cite for ADE.

Samuel M. Smith

Samuel M. Smith Ph.D. Is a pioneering technologist in multiple fields including automated reasoning, distributed systems, autonomous vehicles, and blockchain.

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store