with @b1ackd0g @noahcitron @eddylazzarin @smc90 A wide-ranging conversation all about programming languages and crypto -- for both existing blockchain & smart contract programmers, other non-web3 developers seeking to enter the space, and anyone interested in how programming languages evolve and come into existence (as well as in the intersection of language, code, and expression). The discussion covers differences (and similarities) in conventional programming languages vs. smart contract programming; debates the unique constraints (and opportunities) of blockchains; and also touches on topics such as formal verification, governance & community, tooling, cross-platform adaptation, and much much more... but also the history, ebbs, and flows of traditional programming to today.