Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @ZaynahNicolas
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @ZaynahNicolas
-
Zay proslijedio/la je Tweet
Inspired by Tendermint, Tenderbake is a first exercise in experimenting with immediate finality in
#Tezos.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
We are excited to announce Tenderbake, a Classical BFT Style Consensus for Public Blockchains. The paper was published in collaboration with
@CEA_List. Learn how this could be included in a future#Tezos protocol upgrade. http://arxiv.org/abs/2001.11965#Blockchain#POSPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
It was a great honor to receive the FIC 2020 award presented by @cedric_o and@AirbusCyber, and a pleasure to share the podium with@olvid_io and@citalid. Thank you@FIC_eu for these 3 days!pic.twitter.com/e3xS3v5LjD
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
The spending limit contract has been formally verified!
The android version of the Cortez #Tezos wallet was updated to include spending limits. More info in the blogpost below. Stay tuned for a more detailed post soon!#Blockchain#SmartContractshttps://blog.nomadic-labs.com/cortez-security-by-using-the-spending-limit-contract.html …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
Closing a great
#POPL20 with the@Tezos social! Great week in NOLA meeting our friends in the@sigplan community@LabosNomades@TezosFoundation@TQTezos@poplconfpic.twitter.com/WsVcamhj1G
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
This video features an impressive assortment of personalities. Each with their idea of why functional programming is cool.https://twitter.com/yurug/status/1221373094062895104 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
Some of you might remember our blog post on how to write a
#Tezos protocol, published back in June last year. Nomadic Labs is proud to announce a second, more detailed edition. Part 1: https://blog.nomadic-labs.com/how-to-write-a-tezos-protocol.html … Part 2:https://blog.nomadic-labs.com/how-to-write-a-tezos-protocol-part-2.html …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
Pietro Abate from Nomadic Labs is attending
#EBCBCN, the European#Blockchain Convention in Barcelona. Don't miss this opportunity to ask#Tezos related questions.https://eblockchainconvention.com/barcelona/Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
Nomadic Labs is one of 11 proud founding members of
@adan_asso , 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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
@LabosNomadesFR est heureux d’être un des membres fondateurs de@adan_asso. En réunissant et en représentant les acteurs industriels français, nous aurons pour mission de favoriser le développement des actifs numériques en France et en Europe.https://twitter.com/cryptonaute_fr/status/1217352601613807616 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
A new version of my
@frama_c tutorial is available. It mainly follows some changes in Frama-C Calcium but also includes a few minor fixes. Note that the French version is back. EN: https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf … FR: https://allan-blanchard.fr/publis/frama-c-wp-tutoriel-fr.pdf …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
Nomadic Labs is proud to partner with both French and Madrid based research teams,
@Inria and@IMDEA_Software. With more open scientific research,#Tezos and the entire#blockchain community stand to benefit from these collaborations.https://twitter.com/IMDEA_Software/status/1217850212850511873 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
@LabosNomadesFR est heureux de s’associer avec@Inria et@IMDEA_Software. Ces collaborations permettent de préparer le futur des technologies#blockchain.https://twitter.com/IMDEA_Software/status/1217850212850511873 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
Discover Albert, an intermediate smart-contract language for the
#Tezos#blockchain. It was published by Julien Tesson, Raphaël Cauderlier, Bruno Bernardo and Basile Pesin, one of our interns at Nomadic Labs. More details in the paper below. https://arxiv.org/abs/2001.02630Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
''How to Develop Smart Contracts with
#Tezos.'' Alexandre Doussot from@LabosNomades is presenting at the Paris P2P Festival introducing Michelson and Ligo, two fundamental languages for the Tezos ecosystem.https://p2p.paris/en/talks/how-to-develop-smart-contracts-with-tezos/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
Nomadic Labs partners up with
@IMDEA_Software , a leading research institute in Madrid's Community. Don't miss out the first#Tezos workshop in cooperation with IMDEA, next Thursday! More info and registration in the links below: https://wp.software.imdea.org/tezos/ https://www.eventbrite.es/e/first-imdea-software-tezos-blockchain-workshop-registration-86311264315 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
Ns avons été bouleversés par ces incendies gigantesques qui n'en finissent pas de dévaster les forêts. Pauvres gens impuissants, pauvres animaux aussi : des décennies pr que la faune s'en remette en espérant un retour au calme
https://www.sciencesetavenir.fr/animaux/biodiversite/australie-les-feux-de-foret-ont-tue-au-moins-500-millions-d-animaux_140242#xtor=EPR-1-[SEAActu17h]-20200103 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
Our new blogpost gives a more detailed description of the improved
#Tezos reward formula proposed in#Carthage https://blog.nomadic-labs.com/a-new-reward-formula-for-carthage.html …#BlockchainHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
The new Frama-C 20 (Calcium) is out at http://frama-c.com/download.html , and the opam package is already available! This release includes better support for ghost code in the kernel, automatic loop unrolling for Eva, a cache mechanism for WP, support for rationals in E-ACSL, and more!
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zay proslijedio/la je Tweet
We released a new version of the mainnet-staging branch with improvements to the new storage backend which make it more reliable and more efficient.
More info in our Agora post below.https://forum.tezosagora.org/t/new-version-of-mainnet-staging-branch-03-12-2019/1492 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.