So far so good on listening/watching this video about F* -> Verified Effectful Programming in F* - Catalin Hritcu: https://www.youtube.com/watch?v=SPCko8ACB0M #fsharp #fstar #ocaml #mitls #hacl #ocaml #tezos #zenprotocol
A great presentation from Adam Perlow, Founder, and CEO of #ZenProtocol. It isn’t very long and highly recommended.
https://www.reddit.com/r/CryptoCurrency/new/t3_a31g48
#Cryptonews #Reddit #Cryptocurrency