Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Nov 22, 2017
Mike Stay describes type theory and how it applies to the LADL Algorithm(LADL = Logic As Distributed Law) at the RChain Developer Retreat.
rchain.coop RChain’s platform architecture is a decentralized, economically sustainable public compute infrastructure. The platform design results from the inspirations of earlier blockchains and builds on top of the shoulders of giants in the disciplines of mathematics and programming language design.
Discord (Private) : Requires Membership - Co-op members, leadership and developers share a PRIVATE Discord server that requires a $20 membership and KYC to join. Register for membership and Private Discord access here: https://member.rchain.coop/