Nomadic Labs

@LabosNomades

We do research and development of products and services using distributed, decentralized, and formally verified systems. || French Account

Vrijeme pridruživanja: prosinac 2018.

Tweetovi

Blokirali ste korisnika/cu @LabosNomades

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @LabosNomades

  1. Prikvačeni tweet
    14. sij

    is pleased to partner with to develop a new research program dedicated to technologies. As a result of our collaboration, 4 projects and 11 researchers were funded in France.

    Poništi
  2. prije 7 sati

    Meanwhile at Nomadic Labs #6 just got published. Read about what we have been up to in January.

    Poništi
  3. prije 13 sati

    Inspired by Tendermint, Tenderbake is a first exercise in experimenting with immediate finality in .

    Prikaži ovu nit
    Poništi
  4. prije 13 sati

    We are excited to announce Tenderbake, a Classical BFT Style Consensus for Public Blockchains. The paper was published in collaboration with . Learn how this could be included in a future protocol upgrade.

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    30. sij

    With our recent ground breaking work in collaboration with , the will be available this month. Be ready for the !

    Poništi
  6. proslijedio/la je Tweet
    29. sij

    Here’s the video summarizing the event at Madrid featuring , and many more researchers:

    Poništi
  7. 28. sij

    Check out the Problem analysis session: Mehdi Bouaziz from Nomadic Labs was the judge for this particular competition. Congratulations to the winners who were awarded a brand new ledger hardware wallet.

    Prikaži ovu nit
    Poništi
  8. 28. sij

    We are proud to have sponsored 2020, the south-western Europe regional contest of the ACM ICPC.

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet

    🎥 Video summary of the `First Software - Workshop’. We want to thank all the speakers from , and our Institute for taking part ➡️ ____ , , , ,

    Poništi
  10. proslijedio/la je Tweet
    24. sij

    Closing a great with the social! Great week in NOLA meeting our friends in the community

    Prikaži ovu nit
    Poništi
  11. 24. sij

    Some of you might remember our blog post on how to write a protocol, published back in June last year. Nomadic Labs is proud to announce a second, more detailed edition. Part 1: Part 2:

    Poništi
  12. 21. sij

    In our most recent blogpost, we discuss how we formally verified the spending limit contract used in the Cortez mobile wallet. Android users can already make use of this new feature. IOS coming soon.

    Poništi
  13. 20. sij

    Pietro Abate from Nomadic Labs is attending , the European Convention in Barcelona. Don't miss this opportunity to ask related questions.

    Poništi
  14. 18. sij
    Prikaži ovu nit
    Poništi
  15. 18. sij

    Nomadic Labs is one of 11 proud founding members of , the Association for the Development of Digital Assets. By bringing together French industry actors and representing them, ADAN aims to promote the development of digital assets in France and Europe.

    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    16. sij

    Are you looking to dive into development? Our mainnet faucet is now live! Request real Tezos tokens (tez) to be used for development and testing purposes on the mainnet:

    Poništi
  17. 16. sij

    Nomadic Labs is proud to partner with both French and Madrid based research teams, and . With more open scientific research, and the entire community stand to benefit from these collaborations.

    Poništi
  18. proslijedio/la je Tweet

    Michel Mauny () presents the distinguishing features of the technology and the decentralized ecosystem supporting it's development. at

    Prikaži ovu nit
    Poništi
  19. proslijedio/la je Tweet
    15. sij

    Want to learn more about how functions under the hood? Here are some resources to get a primer on 🐫

    Poništi
  20. proslijedio/la je Tweet
    14. sij

    Dexter is nearing completion. The smart contract is now being formally verified by Arvid Jakobsson of using Mi-Cho-Coq:

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·