I am concerned that “written in Haskell and OCaml are closer to algebra and therefore easier to formally verify” may turn out to be a myth that is accepted without…
Read More
Follow Our Tweets
"How can I start baking?" Let us answer your questions at our very first baking day in Hong Kong on 27 July. We will teach you the steps to be a baker! Have some free food and drinks on us after the baking day at our networking party! 🥂 🍻 🍰 🥧 https://t.co/lYqYfcoCVb
The indexer for #Tezos we have been working on is ready for beta-testing! https://t.co/qQO1EHHLls
We celebrated the one year anniversary of the Tezos betanet launch in Hanoi last Friday with some beer and food!
For more photos: https://t.co/8Vikb5D83U
We have some guests from France visiting our office this week! & of course, guests always = good food.... 😋🍚😋🍚😋
3We have wrapped up our week-long training course in Vietnam! It was such a delight to see so much enthusiasm and potential during the classes!🤓🤓 Thank you Quyen and Vincent from @LabosNomades for making this week such a success too!
4