Loading...

LADL Algorithm and Type Theory | RChain Developer Retreat Day 4

748 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Loading...

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.

Official Website: https://www.rchain.coop/
RChain Architecture Doc : http://rchain-architecture.readthedoc...

Comparison of Blockchains : http://rchain-architecture.readthedoc...

Twitter: https://twitter.com/rchain_coop
Facebook Page: https://www.facebook.com/rchaincooper...
Youtube: https://www.youtube.com/channel/UCSS3...
Reddit : https://www.reddit.com/r/RChain_Offic... and https://www.reddit.com/r/RChain/
Medium: https://medium.com/rchain-cooperative
Slack: https://ourchain.slack.com/ (To be phased out and replaced by Private Discord)

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/

Discord (Public): https://discord.gg/fvY8qhx
Telegram RChain Official Chat Group: @rchain_coop
Telegram Chat Invite Link: https://t.me/rchain_coop

Telegram RChain Official Announcements Channel : @RChain_Official
Telegram Announcement Channel Link: https://t.me/RChain_Official

Loading...

to add this to Watch Later

Add to

Loading playlists...