Blockchain Development Courses
TED via YouTube Daml - More Than a Smart Contract Language
Code Sync via YouTube Predictable Systems Design with Clearly Defined Doubt and Uncertainty - Lambda Days 2023
Code Sync via YouTube Generalizing Payment as Types - Haskell-Based Specification for Continuous Money Transfer
Code Sync via YouTube Improve Your Tests with Makina - Property-Based Testing for Complex Systems
Code Sync via YouTube Runtime Modes and Plugins in Erlang
Code Sync via YouTube Specifying Smart Contracts with Hax and ConCert
ACM SIGPLAN via YouTube Randomized Testing of Byzantine Fault Tolerant Algorithms
ACM SIGPLAN via YouTube Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
ACM SIGPLAN via YouTube Fabric Operations Console Wallet in Hashicorp Vault
LF Decentralized Trust via YouTube