I wrote a thing about how smart contracts people aren’t smart and don’t know much about law or rules-based-thinking, or the kind of human reasoning you can’t express in code, and why they need to go read H.L.A. Hart.
https://tommorris.org/posts/2020/hart-contracts-not-smart-contracts/