Building @linera_io: real-time systems for markets that can’t wait. Ex @meta, @novi, @anssi_fr.
New York, NY
Joined September 2010
- Tweets1K
- Following1.4K
- Followers187K
- Likes1.7K
Mathieu Baudet retweeted
Lean v4.35.0 is out, and it ships with verified kernels.
Run `lake check --paranoid` to recheck your project with every bundled kernel.
Blog post: leodemoura.github.io/blog/20…
Mathieu Baudet retweeted
interpretability might be the most important scientific problem in the world right now, as I don't think we can solve alignment if we don't know what we're building. I think I have good news about it. I co-authored early work in mechanistic interpretability at OpenAI and came away pessimistic, because neural networks appeared to fold into arbitrary tangled knots. years later, I started openai's first large-scale automated interpretability project, finding about 2% of neurons legible with the primitive tools we had
with modern agentic tools and a much closer look, the picture looks totally different. the vast majority in models up to trillions of parameters are legible, and their circuits beautiful. many famous examples of tangled neurons turned out to be misunderstood. The roadblocks I expected mostly aren't there. I now think ambitious interpretability will be solved by the time we need it most, and possibly quite soon, as automated scientists keep improving. it may be a bitter lesson for interpretability: the simple thing, at absurd scale, works
already-clean.goodfire.com/
Mathieu Baudet retweeted
💯
"Mathematics is about to graduate. It will grow into a full-scale industry and become the true infrastructure of all scientific and technological progress, a foundation that every other field stands on rather than a quiet corner of academia."
Reading all those recent beautiful essays by Terry Tao, Kevin Buzzard and @wtgowers, I could not resist, but write up my deeply personal perspective on how I perceive and see things:
docs.google.com/document/d/e…
Mathieu Baudet retweeted
Velvet 2.0 is out: now based on Lean's most recent verification machinery, easier to set up, and 10x faster. New: exception specs, ghost state, named proof goals, lots of case studies from Dijkstra to lazy segment trees. And a new shiny webpage:
velvet-verifier.dev/
Following my previous post, people have asked how to explore their own microchain on @lineraxyz. The feature is now deployed. Enjoy!
Mathieu Baudet retweeted
Right now, commitments earn a 50x credit boost
Up to 5 million dollars in fee-free Season 1 volume incentives for a max commitment
sale.linera.net
🔥🔥 Introducing: Commitment Credit Multipliers 🔥🔥
Our badge holders are depositing and its time to put the cherry on top for new deposits to jump start the round
Starting now, every 1 dollar committed on sale.linera.net earns up to $50 of fee-free volume during Season 1, the mainnet launch of app.linera.xyz and the direct path to $LNRA rewards
We have a 60% community reserve, with at least 5% and up to 35% marked for Season 1 pending fee calculations and distributed at TGE later this year
The first $500k committed will earn enough credits from just their commitments to trade their cost-basis to free
On 100k commitment at 50x gets 5 MILLION dollars of no fee trades
This one is for the whales, welcome 🐳
Multipliers decrease as we cross the following thresholds on a first-come-first-serve basis:
First $250K committed → 50x
$250K to $500K → 35x
$500K to $1M → 25x
$1M to $1.5M → 20x
$1.5M to $2.25M → 15x
$2.25M to $3.2M → 10x
$3.2M to $8M cap → 5x
Refunded above the cap → 2x
All commitments leading up to this post will be included in the 50x tranche. Thanks to our badge holders for showing up early without any incentives 💪
All sights shift to Season 1 right after the sale concludes. Prepare accordingly and gamify everything
Mathieu Baudet retweeted
🔥🔥 Introducing: Commitment Credit Multipliers 🔥🔥
Our badge holders are depositing and its time to put the cherry on top for new deposits to jump start the round
Starting now, every 1 dollar committed on sale.linera.net earns up to $50 of fee-free volume during Season 1, the mainnet launch of app.linera.xyz and the direct path to $LNRA rewards
We have a 60% community reserve, with at least 5% and up to 35% marked for Season 1 pending fee calculations and distributed at TGE later this year
The first $500k committed will earn enough credits from just their commitments to trade their cost-basis to free
On 100k commitment at 50x gets 5 MILLION dollars of no fee trades
This one is for the whales, welcome 🐳
Multipliers decrease as we cross the following thresholds on a first-come-first-serve basis:
First $250K committed → 50x
$250K to $500K → 35x
$500K to $1M → 25x
$1M to $1.5M → 20x
$1.5M to $2.25M → 15x
$2.25M to $3.2M → 10x
$3.2M to $8M cap → 5x
Refunded above the cap → 2x
All commitments leading up to this post will be included in the 50x tranche. Thanks to our badge holders for showing up early without any incentives 💪
All sights shift to Season 1 right after the sale concludes. Prepare accordingly and gamify everything
The future of gamified finance is unfolding, powered by a big execution engine and some serious product innovation. Congrats @ryantrost and the @lineraxyz team for the release!
Surprise!!
All 15 new Linera Originals are now live @ app.linera.xyz
Come and test the games that fuel $LRNA
Tier Markets - Choose from 6 outcomes, Crash to Moon
Classic - Higher or lower
Race - Which coin goes up the most
15 games, every 60 seconds
Join us @ sale.linera.net
It's happening! And stay tuned for more updates today
The $LNRA sale is now LIVE AND ACTIVE
sale.linera.net
Mathieu Baudet retweeted
agentic payments and the use cases around them have been a hot topic. they haven’t found strong market fit so far, but we think they’re one of the big unlocks for new experiences and products in the space, being right ahead of the real world adoption curve
excited about the partnership with @crossmint on this. we’re building the experience together inside the Pulsar app, guided by the agent, with Crossmint’s infrastructure supporting our product UX, agentic stack and fintech layer
we’re working on 1-click purchasing flows, agent harnesses and 2-factor verification on top of agentic payments, plus an interactive experience with notifications, alerts and recommendations from the agentic stack around preferential FX rates, trading and more
we’re also linking the gamification and rewards hub to all of this, which should make things a bit more fun!
Your Pulsar card is now the most secure way for AI agents to make purchases.
We're enabling it with @crossmint 🧵
Mathieu Baudet retweeted
crypto is going through its venture --> liquid transition as an investible asset class.
most infra has been built, most chains we need exist. there is less of a need for massive vc rounds for infra slop and most funding is now focused on the app layer. this layer needs less vc capital in general and is suited for smaller funds and angels. mega-vc's no longer needed or desired.
crypto vcs starting to diversify into other asset classes is a healthy and natural consequence of this. there are other industries that are only venture investable at this stage, where as crypto is no longer this way.
we are slowly unfucking the tokens and moving towards a much healthier liquid market. high fdvs have been sent to hades, investor skepticism around non-rev protocols has only gotten louder and more detrimental to those tokens, and real, sustainable revenue generating protocols are emerging and being rewarded.
it's an exciting time to be a liquid crypto investor. crypto is still the best technology in the world to move and trade assets and the next few years will solidify this. everything is coming onchain.
strap in, buckle up, hold onto your butts, lock the fuck in. we're making crypto cool again.