-
Tweets58
-
Followers255
-
Following2
-
Likes5
DaiLambda retweeted
The last day of @splashcon with the opening keynote @50storms!
0
7
8
0
0
Download Video
Our CEO did a tutorial of Tezos blockchain and its DApps development at Nagoya Web3 Hackathon held by @NagoyaU_Web3 dailambda.jp/blog/2022-11-2…
We have released Plebeia 2.0.1 Merkle Patricia tree implementation for version controlled disk storages storagehttps://gitlab.com/dailambda/plebeia/-/tree/2.0.1
DaiLambda retweeted
#tezos ブロックチェーンのアジア圏向け TezAsia Hackathon が参加登録受付中です。Tezos を知らない人向けのチュートリアルも開催されるようですので、ブロックチェーンで何か始めてみたい方にもおすすめです: unstop.com/competition/te…
DaiLambda retweeted
The Merkle Proof API is one of the last major features that we integrated from Plebeia. It is the result of a years-long collaboration between @dailambda and @tarides_ to improve the storage system of @tezos. tarides.com/blog/2022-06-1… #functionalprogramming #OCaml #API
Here is our latest benchmark of #tezos + Plebeia, a storage system based on Merkle Patricia binary tree: dailambda.jp/blog/2022-06-1…
DaiLambda retweeted
Very likely, we can reduce #tezos gas usage by at least 7% by a very small fix to the protocol. Verifying...
We are working on reducing the overhead of lengthy migrations at Tezos protocol upgrades to an unnoticeable level: dailambda.jp/blog/2022-05-2…
Optz Michelson 最適化器のリリースについて、日本語記事を公開しました: dailambda.jp/blog/2022-04-2…
We have just updated Optz, an optimizer of #tezos Michelson code. Its optimal code search now supports CAR/CDR/PAIR/UNPAIR opcodes: dailambda.jp/optz-js/ . Document update will follow soon.
Our CEO Jun Furuse was invited to talk "Blockchain and formal verification - cases of Tezos" at PPL 2022, programming and programming language workshop by JSSST. dailambda.jp/blog/2022-03-0…
Our CEO Jun Furuse was invited to talk of "Blockchain and Formal Verification -- cases of Tezos" at PPL 2022 workshop: jssst-ppl.org/workshop/2022/…
非HDウォレット情報の Kukai と Temple への import について、メモを書きました。#tezos のウォレット import でトラブっている人は参考にしてください: dailambda.jp/blog/2022-01-1…
Arthur B. (🇸🇬 i... @ArthurB
43K Followers 1K Following @Tezos co-founder w/ wife @breitwoman & Agitprop founder. Aligning ASI to not zap everyone is unsolved, that's bad. Tezos stuff, high context humor & more.
Nomadic Labs @LabosNomades
12K Followers 171 Following @Tezos blockchain experts. 🐙 Working on the core development, evolution and adoption of the Tezos protocol in France, Luxembourg, Belgium and Germany.
Claude Barde @claudebarde
5K Followers 1K Following Blockchain & web3 developer advocate 🔑 I put the “fun” in “functional programming” 👨🏻💻 Runner & hiker 🌲 Views are my own
BakingBenjamins.tez @BakingBenjamins
11K Followers 2K Following Tezos baker circa 2020, here for the hard conversions 👀🗣️ ➡️ Staking fee 10% ➡️ Delegation fee 20% ➡️ Contributor @TezCapital | Delegate @TezosDomains DAO
Marigold @Marigold_Dev
2K Followers 217 Following A @Tezos core dev team Building #dapps projects Mentoring #blockchain startups #Community-centered, open DM 🙂 Newsletter 👉 https://t.co/qefVCECunP
LigoLANG @LigoLang
845 Followers 89 Following LIGO is a statically typed high-level smart-contract language that compiles down to Michelson. It seeks to be easy to use and safe.
Functori @myfunctori
593 Followers 196 Following We help clients drive innovation through top-tier consulting, prototyping, and R&D thanks to our blockchains, static languages, and program safety expertise.
Tezos Ukraine 🇺�... @TezosUkraine
2K Followers 254 Following Building the Tezos Ecosystem in Ukraine and Eastern Europe. 🔸Russian/Ukrainian Twitter: @Tezos_Ukraine 🔸Telegram Channel: https://t.co/N9W50bpgBl
Jun Furuse 🐫🌴 @camloeba
2K Followers 531 Following Aka @camlspotter, OCaml programmer who has once used Haskell in his work. CEO of DaiLambda, Inc. Migrated to BlueSky. @jun.dailambda.jp
Om Malviya | Superlen... @hsrwala
3K Followers 3K Following Serial Bear Market Builder. Building @SuperlendHQ
Corey Soreff | csoref... @csoreff
10K Followers 3K Following Growing #Tezos, Executive Director @TezosCommons, Author, Ruby/Elixir
TzStats @tzstats
3K Followers 2K Following Tezos block explorer. Powerful data API and advanced analytics. Built and maintained by @trilitech.
JarrodWoodard @j84woodard
1K Followers 954 Following All views are my own. https://t.co/p45t01DNhk ftw https://t.co/femzqPVFta Husband, Philosophy enjoyer, Machine Master.
Ottez @OTTEZnft
7K Followers 3K Following Humans are gone, Ottez have moved in. 4,007 generative artworks on the Tezos blockchain by @wwwombats & @paggyalmeyda
StakeNow @StakeNow
2K Followers 2K Following StakeNow by vDL Digital Ventures GmbH | Evolving from public staking. Delegators, please redelegate to another baker! Embracing new web3/crypto ventures. 🚀
Germán Delbianco @knayawp
727 Followers 793 Following Computer arsonist. Tries to reason with block thingies @trilitech ex @labosnomades @IRIF_Paris @IMDEA_Software @lccrosario (opinions are entirely my own)
dmitry | hanji.io @dmitrytez
809 Followers 4K Following founder @hanjiprotocol, was building onchain CLOBs when it wasn't cool prev systemic internalizer + weekend trading @ Tinkoff
TheTezosCommunity @TheTezos
4K Followers 2K Following TheTezosCommunity, the hub in the Tezos community ecosystem. https://t.co/Xmoziz78RS #StrongerTogether
🅾🅻🅳🅾 @oldo
1K Followers 5K Following
Violet Bond @VioletBondArt
12K Followers 8K Following Current Collection - "The Broken Portraits" made with a dying scanner, an exploration of technology and mortality, https://t.co/129xvdKlK5
La Boulange ꜩ @LaBoulangeTezos
476 Followers 367 Following La boulangerie du coin - Baker Tezos 🇫🇷 We also speak 🇬🇧 tz1aJHKKUWrwfsuoftdmwNBbBctjSWchMWZY laboulange.tez PFP: https://t.co/azn42XhJAd
BP @bena_production
120 Followers 437 Following
Limer @Limer
43 Followers 842 Following
NordBaker @nordbaker
63 Followers 125 Following Supporting to keep the #Tezos ecosystem decentralized. With @YourBakeBuddy Est. 2023/01 - Cycle 571 Delegate to: tz1MKkLaFh39wnY1mEa2LoHJVWgUPeUwBRpM Fee: 10%
Rossa774 @Rossa774
3K Followers 3K Following #XTZ🚀🚀🌚#Tezos🚀🚀🌚 #Tezonian🚀🚀🌚Co-founder @XTZNews rossa774.tez ꜩ
Martin 0xmartins@mast... @0xMartinS
1K Followers 5K Following 🌮 0xmartins.tez - mostly collecting #fxhash;; 👽 pfp: #LosOsos2422;; 💬 Tweets #generativeart
Tezos Andalucia @AndaluciaTezos
56 Followers 85 Following Ayudamos a conectarte al ecosistema Tezos. Noticias, Guías y análisis en Castellano. Conéctate ill@. Baker delegación: tz1b23jSuHcadDQjtEZmD4ZHigpHGN7bRXAK
PatrickH @pahi_
139 Followers 2K Following Tech Enthusiast . Research . Green Energy . Blockchain / DLT . AI / ML . IOT
erwinh @hoogerwoord
1K Followers 2K Following generative design / art / data spaces. @thestackreport / https://t.co/GiK7GSn0ii
haoping @caaatisgood
370 Followers 2K Following building punches - progress tracker with genart viz. @_nightsweekends s3-4
Tezos Italia (tezosit... @TezosItalia
2K Followers 2K Following @TezosItalia : di supporto a #Tezos con informazioni e aggiornamenti in tempo reale dedicati al rivoluzionario ecosistema $XTZ
Katie @katiemhegarty
321 Followers 338 Following chief of staff @trilitech | all things #crypto #tezos #etherlink #worldofwomen & #pugs | professional business excellence nerd ✨ (views are my own)
l939l🦎 @l939l_tez
896 Followers 2K Following l939l.tez -Bakery👇 tz1Xr1oSHktk4Gms6XByJDvJgTRrAArS3tVe
Camilo Nascimento @camilographics
1K Followers 829 Following Artist / Designer / Illustrator for hire @ArhantaComics @ArhantaStudio #TezosArtist Clients include NASA SPIF, Cornell Univ., NCPE, See link for my info, Peace
Minefrog @Minefrog1
456 Followers 7K Following #DeFi Frog | Trader | Growth Investor | Engineer | Blockchain Researcher | Art Connoisseur | Gamer | Alpha in RTs | Not Financial Advice | DYOR
Heidi Szabo @HeidiSz57737312
16 Followers 266 Following
Formal Land 🌲 @FormalLand
1K Followers 2K Following Security audits for Web3 We innovate in the formal verification space to provide you with the most extensive security solution. Solidity, Rust (Solana), ZK
Ezra Tollett @EzraTollett
19 Followers 13 Following
Roman @roman21pd
606 Followers 453 Following člen kyberkultúry, bezchybný saunér, člen 21Pd, eshopár #bitcoin⚡️
Saiyajin @TezSCORUs
14 Followers 98 Following
TazMan.tez 🌮 @Marpal88
677 Followers 1K Following TEZOS & BITCOIN @Salsa_DAO @TempleWallet @TezosDegenClub @YourBakeBuddy Tezos Baker 🇨🇿
TezBake (BakeBuddy.te... @YourBakeBuddy
1K Followers 315 Following A Tezos baking tool for both novices and pros. Made for Tezos with 💗 by @TezCapital | Also: @YourPayBuddy, @YourGovBuddy @YourWatchBuddy & @YourPeakBuddy
kosta @jebutinameno
1K Followers 2K Following
Aaron E @AaronE12
328 Followers 4K Following
家鴨のジョナサ... @JonathanTheDuck
513 Followers 2K Following 緑の貌のジョセフに連なるもので、学院に学びました。薄暗がりの中を歩み、言の葉を集め、科学の息吹と語らいながら、出されたご飯は残さず食べ、転んでも泣かず、節度と責任とを重んじ、自由と平和とを愛する文化国家を営んで参ります。
James @jamzwamz3
17 Followers 423 Following
Subhash @Subhash31954133
370 Followers 5K Following 🧡 Xally! My Binance Pay ID - 456678653 Peacefully Life By Prem Rawat https://t.co/CJ3e2wqzZO #oktchain #oktcagent
rmu (gcc/acc) @rmu_ae
50 Followers 210 Following
CanCorrect @CanCorrect
13 Followers 34 Following A 501(c)(3) approved nonprofit, pioneering multi-stream recycling solutions. 🌏 ♻️ #cancorrect #dontmesswithtexas
Monika @Monikakhatri60
880 Followers 5K Following pfp - Sketchbook-B by William Mapan. Parametric explorer of QQL #107, #208 Collector (with artistic soul) of Artblocks OBJKT GENTK ARTKL
Tom Ridge @TomRidge15
4 Followers 74 Following
ITO Kensei @itokensei0
25 Followers 66 Following すうがくとなかよく Category Theory/Scala/Homotopy Type Theory/Coq/Topological Quantum Computation
LigoLANG @LigoLang
845 Followers 89 Following LIGO is a statically typed high-level smart-contract language that compiles down to Michelson. It seeks to be easy to use and safe.
Trends for United States
3.353 posts
9.134 posts
158 B posts
6.377 posts
10,9 B posts
25,6 B posts
505 B posts
106 B posts
3.783 posts
11,6 B posts
3.229 posts
118 B posts
73,2 B posts
42,2 B posts
1,23 Mn posts
8.090 posts
2.229 posts
18,2 B posts
You might like
Tarides
@tarides_
2K Followers
Functori
@myfunctori
593 Followers
trilitech
@trilitech
3K Followers
MIDL.dev - Staking Se...
@midl_dev
411 Followers
Daniel Hines
@danhines09
597 Followers
Taquito
@TezosTaquito
1K Followers
Alexander Eichhorn
@echa_io
934 Followers
Gabriel
@Gabe_cc
1K Followers
Alex Davis
@mv1_Davis
53K Followers
Jev Björsell
@jevonearth
883 Followers
ubinetic
@ubinetic
402 Followers
Hayek Lab - ꜩ - Hay...
@HayekLab
745 Followers
Maria Zubova
@zubova_maria
283 Followers
257Byte
@257Byte
263 Followers
Martin Pospěch
@martin_pospech
575 Followers