
Hello! I am Melvin, and you may remember me for writing the guides to using Galleon and AirGap. Welcome back to the second part of the tezos-node blog post! If...
Read More
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…