Seoul, the 19th Tezos protocol upgrade, is live!
⚡ Aggregated attestations → leaner consensus, enabling a faster network
✍️ Protocol-native multisigs → stronger security & better UX for institutions
🔒 Simplified staking UX → one-click unstaking enabled
19.09.2025 15:19 — 👍 4 🔁 2 💬 1 📌 1
Chiitan loves all transgender people.
I've received a lot of criticism for expressing my support, but what's more important is that all transgender people live happy lives.
Blue Sky cannot display long posts, so please read this post if you'd like.
love you all 🤍
↓
www.instagram.com/reel/C9qppva...
17.09.2025 09:53 — 👍 42180 🔁 13629 💬 571 📌 497
it feels natural to me that it forms a partially eval'd closure rather than a lazy context?
would feel strange to be forced to lift out a fully supplied argument into its own expression to avoid re-running it each time `x` is supplied
25.08.2025 16:42 — 👍 0 🔁 0 💬 0 📌 0
In a strict language, definitely B I think?
IIUC that B is where arguments are eval'ed before application
25.08.2025 16:36 — 👍 0 🔁 0 💬 1 📌 0
YouTube video by Tezos
Tezos X-plained - Episode 7: Jstz
ICYMI:
Build smart contracts like web apps, seamless JavaScript & TypeScript, npm libraries, JIT compilation, and HTTP-style contract calls.
Watch it all in Tezos Xplained: Jstz 👇
youtu.be/lrA5pmdomhw
16.07.2025 16:19 — 👍 2 🔁 1 💬 0 📌 1
Just "crying wolf", I guess?
05.05.2025 16:57 — 👍 0 🔁 0 💬 1 📌 0
YouTube video by Tezos
Tezos X-plained - Episode 3: Quebec
For Tezos X-Plained Ep.3: Quebec, I sat down with Yann from @nomadiclabs.bsky.social to break down what the most recent protocol upgrade means for Tezos.
Covering faster finality, staking improvements and how it fits into the #TezosX roadmap!
Watch the full episode: www.youtube.com/watch?v=nOYP...
26.03.2025 11:35 — 👍 2 🔁 1 💬 0 📌 0
Finally beat the Tree Sentinel without levelling up 😭😭😭
This has taken so long #eldenring
02.03.2025 18:49 — 👍 1 🔁 0 💬 0 📌 0
Etherlink, Tezos' L2, Goes Live, Launches $3 Million Incentive Program
Etherlink, layer-2 blockchain based on Tezos, completes beta testing and invites everyone to join its incentive program
📢 Etherlink has exited beta and is now live on mainnet!
To mark the occasion, the waitlist for Apple Farm - Etherlink’s dedicated rewards program - is now open, offering users fresh (and juicy) opportunities. 🍏
Learn more at Utoday 👇
u.today/etherlink-te...
26.02.2025 12:00 — 👍 6 🔁 3 💬 0 📌 0
The DAL is a crucial part of the #TezosX roadmap.
Notably, the incentives only kick in once the 66% participation threshold is met, and there is no slashing for now.
19.02.2025 19:16 — 👍 3 🔁 0 💬 0 📌 0
Announcing Rio, Tezos’ 18th Protocol Upgrade Proposal
Improving Tezos’ scalability, staking experience, and network resilience.
What's coming for #Tezos in Rio?
- shorter cycles (1 day)
- reduced staking lockup periods
- the first iteration of DAL incentives
Read the full details here: research-development.nomadic-labs.com/rio-announce...
19.02.2025 19:14 — 👍 2 🔁 1 💬 1 📌 0
That's really exciting! It will be great to have more people over for sure 😊
08.02.2025 17:33 — 👍 1 🔁 0 💬 0 📌 0
I didn't :/ doesn't really seem to be any recourse options
Just get to spend time here instead :)
07.02.2025 23:56 — 👍 1 🔁 0 💬 1 📌 0
👋🏻
07.02.2025 08:37 — 👍 1 🔁 0 💬 2 📌 0
This! Signal is really good
29.01.2025 10:04 — 👍 1 🔁 0 💬 0 📌 0
I was today years old when I found out the Chupa Chups logo was designed by Salvador Dalí
🤯
26.01.2025 14:47 — 👍 2 🔁 0 💬 1 📌 0
GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation
An interpreter for Rust's mid-level intermediate representation - rust-lang/miri
Definitely check out Miri if you haven't before!
As easy as:
- cargo +nightly component add miri
- cargo +nightly miri test
...though you might want to go make a coffee while you wait :)
github.com/rust-lang/miri
21.01.2025 23:56 — 👍 2 🔁 0 💬 0 📌 0
Finally tried out Miri for the first time today - immediately found a safety issue on deallocation!
Was related to allocation alignment mismatch to Box's requirements.
Some safety comments in the std-lib docs make more sense to me now!
And, bonus, learned about [repr(align)] 🤩
#rust #miri
21.01.2025 23:52 — 👍 1 🔁 0 💬 2 📌 0
Yesterday evening it took Tezos 16s to make a seamless upgrade without forking.
- Blocktime went from 10 to 8 seconds
- Adaptive Issuance curve was adjusted to lower issuance faster
- Delegator rewards cut from 50% to 33% compared to stakers.
- Bakers stake capacity raised from 5x to 9x
#Tezos
21.01.2025 09:16 — 👍 4 🔁 1 💬 0 📌 0
A photo of the front cover of Engineering Elixir Applications, by Ellie Fairholm & Josep Giralt D'Lacoste
I finally got my copy of the fantastic "Engineering Elixir Applications", by my friends Ellie Fairholm & Josep Giralt D'Lacoste!
Was a privilege to be asked to be a technical reviewer for this book, I enjoyed the process immensely and so, so happy to see it in print ❤️
#Elixir #BEAMOps
21.01.2025 09:04 — 👍 5 🔁 2 💬 1 📌 0
Welcome, Quebec!
20.01.2025 23:34 — 👍 2 🔁 0 💬 0 📌 0
I guess I'm here now 😊
17.01.2025 22:01 — 👍 3 🔁 0 💬 1 📌 0
Tez Capital (TzC/tezcap) is a collaborative project by Alisis and GrokTech, makers of TezBake, TezPay & TezGov. Learn more: https://tez.capital
#Tezos is 👑 ➕ We are the ones! 🫵🧑🍳 // Using➡️ @YourBakeBuddy, @YourGovBuddy & @YourPayBuddy // Est. @ Cycle 228 | tz1S5WxdZR5f9NzsPXhr7L9L1vrEb5spZFur
Official account for Britain’s leading independent economic research institute. https://ifs.org.uk/
An EVM-compatible, non-custodial Layer 2 blockchain powered by Tezos Smart Rollups technology.
White British trans woman with chronic pain. Sisters of Dorley is my fault.
She/her.
help me pay rent: https://www.patreon.com/alysongreaves | https://ko-fi.com/rememberwhenyoutried
buy my books here: https://linktr.ee/badambulist
📫 https://www.aleksandra.art
Broadcaster @lbc.co.uk
Author: https://www.waterstones.com/book/how-they-broke-britain/james-obrien/9780753560365
Ex-AAA Rendering+Optimisation Programmer
TechArtist, Designer. Stylized Art.
#indiedev #solodev #gamedev 🏳️⚧️🇸🇪
Shader Illusionist ✨
AssassinsCreed2 / FC2 / BF3 / MidnightClub 2+3
GDC Advisory Board Emeritus
She/Her
mastodon.gamedev.place/@ChristinaCoffin
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones
https://welltypedwit.ch
DeFi founder on Tezos blockchain
A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@rust
Tezos blockchain experts. 🐙 Working on the core development, evolution and adoption of the Tezos protocol in France, Luxembourg and Belgium.
https://nomadic-labs.com/
We're building the next generation of decentralized network tech!
https://spritely.institute
Co-author/co-editor of ActivityPub (what connects together the fediverse, including Mastodon, etc). Executive Director of the Spritely Institute. Lisp/scheme enthusiast, chaos transfem, sketcher of tiny creature drawings.
https://dustycloud.org
Support: http://foelh.com & http://harpsouthend.org.uk
Crypto/Blockchain/IT. I bake on #tezos and do Tech at the
Tezos Foundation. Opinions are my own. 2 dogs.
CTO of Microsoft Azure, author of novels Rogue Code, Zero Day and Trojan Horse, Windows Internals, Sysinternals tools. Opinions are my own.
Enabling companies to succeed with #rustlang, #svelte and #emberjs. Founder/Managing Director @mainmatter.com, Host @eurorust.eu, Co-host @emberfest.eu
An annual conference dedicated to the Rust coding language.
Team up with us to go further!
Check out our upcoming events 👉 https://mainmatter.com/events/
#svelte, #rustlang, #emberjs, #rubyonrails, #elixirlang, #transformation