@ma2bd
Account based inUnited States
About this account
- Account based in
- United States
- Connected via
- United States App Store
Account-level information from X, not a live location or the device used for a specific post.
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
- Followers194K
- Likes1.7K
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.
Mathieu Baudet retweeted
The cherry on top.
Normally, if a round oversubscribes you simply get shrunk pro rata and are left disappointed when you’re only filled on a smaller allocation.
Commitment credits track the amount you pledge to the round, not your final allocation.
If you commit $50k, and the round shrinks you to $10k, you’ll still get the full in-app benefits of the $50k in credits.
Extremely excited to see the game theory of this play out as the round builds.
Introducing: 🪙 Commitment Credits 🪙
Exclusive to the $LNRA Community Round
Every dollar committed is eligible for one dollar of fee-free volume during Season 1
Pre-register now @ sale.linera.net
Mathieu Baudet retweeted
If you're looking for a weekend project, how about training your own text-to-speech model from scratch on your own GPU, and then running it on any device's CPU?
We just open-sourced the entire Pocket TTS training stack: data pipeline, recipes, and evals.
It learns pretty damn fast:
~15k steps: babbling starts turning into words
~50k steps: it reads anything you type (WER under 1%)
~200k steps: the voice stops sounding synthetic
On a beefy consumer GPU, that's a week of training. On eight H100s: 10-20 hours. A TTS training run will cost you less than $200 if you rent your hardware, and an order of magnitude less if you just pay for power.
Some things we'd love to see people try:
- Train it in your own language (a few hundred hours of speech gets you surprisingly far).
- Add new features to Pocket TTS (Emotion tags? Make it sing?).
- Beat us at our own game: make it faster and smaller.
Show us what you build! We'll highlight the best models and new languages for the whole community to enjoy. Pocket TTS has already found many use cases, from reading for people with visual impairments to making NPCs in video games talk, and we're sure there's much more to do with it!
Here's an example of a Czech Pocket TTS. Try just asking your favorite agent to find data and apply the method, and you can have your own.
Get started: github.com/kyutai-labs/pocke…
