I am then posting the recorded conversation on my youtube channel and here in this post I ask you for good questions that you'd like to hear being answered.
I got interested in their work, because for their smart contracts, they are going to use a very modern dependently typed programming language developed by Microsoft F*, related to F# and OCaml. I myself do youtube videos on Idris, which is similar.
Take care
@qed