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.
with @b1ackd0g @noahcitron @eddylazzarin @smc90
This episode is all about programming languages and crypto -- and it’s for both existing blockchain & smart contract programmers, and also other non-web3 developers seeking to enter the space... and, for anyone who is just curious about how programming languages evolve and come into existence (as well as interested in the intersection of language, code, and expression!)
It's a fun and fascinating ride, because we cover everything from differences (and similarities) in conventional programming languages vs. smart contract programming; discuss and debate the unique constraints (and opportunities) of blockchains; and also touch on topics such as formal verification, governance & community, tooling, cross-platform adaptation, and much much more... But we also dig into with the history, ebbs, and flows of traditional programming to today.
Our guests in this episode, in conversation with Sonal Chokshi, include:
As a reminder, none of this is investment, business, legal, or tax advice; please see a16z.com/disclosures for more important information – including, a link to a list of our investments.