-
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. @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 170 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, governance watchdog 🐕 ➡️ 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
The Wolf of Tezos �... @TheWolfOfTezos
5K Followers 1K Following Tezos OG 🍷 My bakery: capsulecorp.tez 🥖 DM me if you want to delegate/stake your $XTZ and earn rewards 👍
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 253 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 951 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
716 Followers 789 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
811 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
477 Followers 365 Following La boulangerie du coin - Baker Tezos 🇫🇷 We also speak 🇬🇧 tz1aJHKKUWrwfsuoftdmwNBbBctjSWchMWZY laboulange.tez PFP: https://t.co/azn42XhJAd
BP @bena_production
110 Followers 435 Following
Limer @Limer
35 Followers 841 Following
NordBaker @nordbaker
62 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_
150 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
367 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
309 Followers 255 Following chief of staff @trilitech | web3 | all things #tezos #etherlink #worldofwomen | business excellence nerd ✨ (views are my own)
l939l🦎 @l939l_tez
897 Followers 2K Following l939l.tez -Bakery👇 tz1Xr1oSHktk4Gms6XByJDvJgTRrAArS3tVe
Camilo Nascimento @camilographics
1K Followers 830 Following Artist / Designer / Illustrator for hire @ArhantaComics @ArhantaStudio #TezosArtist Clients include NASA SPIF, Cornell Univ., NCPE, See link for my info, Peace
Minefrog @Minefrog1
459 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 for Web3, through formal verification 🚀 Ethereum, Solana, Sui 🔍 Solidity, Rust, zero-knowledge. DM us to ensure your code is safe!
Ezra Tollett @EzraTollett
19 Followers 13 Following
Roman @roman21pd
598 Followers 450 Following člen kyberkultúry, bezchybný saunér, člen 21Pd, eshopár #bitcoin⚡️
Saiyajin @TezSCORUs
13 Followers 98 Following
TazMan.tez 🌮 @Marpal88
681 Followers 1K Following TEZOS & BITCOIN @Salsa_DAO @TempleWallet @TezosDegenClub @YourBakeBuddy Tezos Baker 🇨🇿
TezBake (BakeBuddy.te... @YourBakeBuddy
1K Followers 313 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
331 Followers 4K Following
家鴨のジョナサ... @JonathanTheDuck
517 Followers 2K Following 緑の貌のジョセフに連なるもので、学院に学びました。薄暗がりの中を歩み、言の葉を集め、科学の息吹と語らいながら、出されたご飯は残さず食べ、転んでも泣かず、節度と責任とを重んじ、自由と平和とを愛する文化国家を営んで参ります。
James @jamzwamz3
17 Followers 423 Following
Subhash @Subhash31954133
369 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 208 Following
CanCorrect @CanCorrect
13 Followers 34 Following A 501(c)(3) approved nonprofit, pioneering multi-stream recycling solutions. 🌏 ♻️ #cancorrect #dontmesswithtexas
Monika @Monikakhatri60
892 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
29,2 B posts
114 B posts
22,5 B posts
74,3 B posts
11,1 B posts
14,6 B posts
9.071 posts
3.722 posts
1.026 posts
2.669 posts
4.628 posts
61,6 B posts
1.986 posts
2.465 posts
1.599 posts
23,1 B posts
8.809 posts
2.031 posts
You might like
Tarides
@tarides_
2K Followers
Functori
@myfunctori
593 Followers
trilitech
@trilitech
3K Followers
MIDL.dev - Staking & ...
@midl_dev
408 Followers
ELECTIS
@ElectisSolution
432 Followers
Alexander Eichhorn
@echa_io
937 Followers
Gabriel
@Gabe_cc
1K Followers
Alex Davis
@mv1_Davis
53K Followers
Jev Björsell
@jevonearth
874 Followers
ubinetic
@ubinetic
403 Followers
Hayek Lab - ꜩ - Hay...
@HayekLab
748 Followers
Maria Zubova
@zubova_maria
274 Followers
257Byte
@257Byte
263 Followers
Martin Pospěch
@martin_pospech
577 Followers
Johann ꜩ/acc
@tulpenhaendler
535 Followers