Head of Engineering @nomadiclabs / #tezos #ocaml #functionalprogramming #verification #criticalsystems / Formerly Assoc. Prof at Univ Paris Cité
Paris, France
Joined April 2009
- Tweets2.7K
- Following1.8K
- Followers1.3K
- Likes17.7K
I hear people are fighting over .si domains because of the "Super Intelligence" hype.
I'm not playing that game. .li stands for "Legendary Intelligence".
Obviously superior.
We will test in the open and share our learnings, because quantum resistance is critical to this industry.
Quantumnet is live.
Tezos’ first experimental post-quantum testnet brings the core pieces of a quantum-resistant blockchain together in one place for engineers, bakers and the wider technical community to test in the open.
Learn more ↓
spotlight.tezos.com/introduc…
Yann Régis-Gianas retweeted
Have a better idea for Jev? Now you can build it yourself.
Just pay per call over @x402 - from $0.00001/call on
@etherlink
Try it here: jev.agents.bakingbad.dev
Everyone's asking where the profit is. Fair question!
Jev's paper portfolio is down 4%🙃
Lets see if it can bounce back this weekend
Shipped the part that we care about: full routing transparency - every DEX and every pool,full calldata
Check it out: j3vroute.agents.bakingbad.de…
1/3
Yann Régis-Gianas retweeted
💡One explorer for the entire Tezos ecosystem.
🔹Joining all layers: L1 and Tezos X;
🔹And runtimes: Michelson and EVM.
xtzkt.io/
Soon...
metals.io is attracting growing institutional interest.
Another win for the tokenized RWA industry.
"Institutions are not short on interest in tokenized real-world assets. They are short on places to hold them."
@Anchorage supporting @etherlink means tokenized uranium (@uranium_io) has a home at a chartered bank, with custody for institutions.
Yann Régis-Gianas retweeted
Love to see this, and there is a lesson for those in the Tezos ecosystem here as well. A short 🧵...
Please read what I said about Zcash two years ago, when its price chart looked like this. I still stand by every word. xitter.cf/zooko/status/182197845…
Yann Régis-Gianas retweeted
📢 Octez version 25.2 has just been released!
Octez v25.2 hardens the Octez node against security threats and improves its robustness.
We recommend that all node operators and bakers upgrade promptly.
📄 forum.tezosagora.org/t/octez…
Yann Régis-Gianas retweeted
💻 A big developer team looks impressive on paper, but headcount alone doesn't ship code
Commits per developer show which ecosystems ship the most code per contributor
These are Web3's most productive developer communities 👇
Yann Régis-Gianas retweeted
@AnthropicAI has shared the first end-to-end, computer-checked proof of Fermat's Last Theorem: 13 million lines of Lean, 29,500 intermediate theorems. Their announcement calls it "the largest Lean proof ever constructed."
See also Kevin Buzzard's blog post about the proof: xenaproject.wordpress.com/20…
🔗 Anthropic's announce post: anthropic.com/research/forma…
🔗 The code: github.com/anthropics/fermat…
#LeanLang #LeanProver #FLT
Yann Régis-Gianas retweeted
Tezos will lead in the transition to post-quantum!
Why post-quantum, why now? ex.rs/why-post-quantum-why-n…
Yann Régis-Gianas retweeted
This week was a satisfying one to follow, Ganesha is officially live after quite the journey through governance, tokenized uranium is reaching more of Europe, and there’s a new Tezos X-Plained to catch up on the latest crypto regulation.
bakingsheet.tezoscommons.org…
Yann Régis-Gianas retweeted
Etherlink 7.0 Upgrade Status 🚨
The Ganesha upgrade proposal was successfully activated at block 51,484,839.
Full changelog, security fix sources, and root hash reproduction steps coming soon.
Thanks to the community and @tezos bakers for voting 💚
Yann Régis-Gianas retweeted
The first cross-runtime transaction between Tezos' Michelson and EVM!
explorer.etherlink.com/tx/0x…
Yann Régis-Gianas retweeted
The recent Lean kernel soundness bug shows the importance of fundamental type theory research. The extensions to inductive types that practical proof assistants support need to be fully understood, so that kernel design can reflect sound theoretical grounding
Yann Régis-Gianas retweeted
Real-world metals. on-chain access.
@metalsofficial brings tokenized metals to Etherlink → powered by fast, low-cost infrastructure.
Explore the platform ↓
🔗 metals.io/
Debruijn indices are perfect identifiers for LLMs. Deep embeddings are agent friendly AND simple to reason about.
Yann Régis-Gianas retweeted
Two years of Adaptive Issuance:
🔵 More than 30% of circulating tez is now directly staked → up from ~7%
🔵 For the first time, more tez is staked than delegated
🔵 Issuance has fallen below 3%, its lowest level yet
More participation. Lower issuance. Stronger network economics.
Dive into the full breakdown ↓
spotlight.tezos.com/two-year…
