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

Watch the latest video from the World Blockchain Forum where the CEO, Adam Perlow talks about more of the #Zen Protocol as A Decentralized Financial System. #WBF #ZenProtocol
https://www.reddit.com/r/Bitcoin/new/t3_9jtk5t
#Cryptonews #Reddit #Bitcoin

Hear how #zenprotocol applies #fsharp and #fstar to solve modern block chain challenges: https://m.youtube.com/watch?v=ffzgQH4AHRA