DS Summit 2019 – Thailand is the premiere conference focused on bringing awareness and educating the market in Thailand on the latest developments as well as opportunities and benefits brought…
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…
This is the translation of an interview in French of Vincent Botbol: http://binaire.blog.lemonde.fr/2019/01/14/tezos-une-cryptomonnaie-a-232-millions-de-dollars/ Tezos: a 232 million dollars cryptocurrency In July 2017, Tezos makes a remarked entrance in the world…
In collaboration with Bitfish, Tezos Southeast Asia held the first meetup in Bangkok on 20 Dec 2018. A huge diversity of participants attended the event. Our president, Mr Caleb Kow introduced…
We had our first ever Meetup on 29 Nov 2018. It was held in a cosy space in the heart of Taipei City. Approximately 30 participants turned up for our…
The first ever 2 weeks intensive Tezos Masterclass was completed recently. We hope that the participants had a great time and benefited as much as we did. This event would…
Neat, multisig support coming to the #Tezos CLI!
https://t.co/qJgNmQXSXv
It's a small thing but built in support is really convenient. What's more that contract has some formal proofs of correctness in Coq.
One of the easiest ways to get started baking using a Ledger Nano S and a GUI to top things off! 🔥⚒️🧁
Kiln is now available for Ubuntu! 🎉
Baking in has never been easier - no. command. line. needed. - just Kiln and a @Ledger Nano S!
Here's how 👇
https://t.co/pJj1xepVcL
It’s gonna be a great day of awesome speakers and insightful #Tezos related topics. Go Tezos! 😃
We’re ready for you Paris #tquorum #tezos #pbws
