
Worked on one of the most interesting problem I’ve worked in a while.
Would’ve taken forever to realise what the blocker was if we did not have the type of telemetry data we collect.
Long form post soon.
1
25
802
A bit of a brain dump on how I think about L1s, foundations, incentives, and the economies they’re trying to build.
I think of L1s as nations, and foundations as something between a central bank, a government treasury, and an economic development agency.
Their job is to allocate capital in ways that grow the economy. Part of that is funding infrastructure (the labs and engineers building the chain), and part of it is creating the right conditions for businesses and capital to move into the ecosystem.
Unlike central banks, foundations generally can’t arbitrarily print money. Token issuance is largely governed by the protocol. But especially in the early days, when foundations control a significant portion of the token supply, they have enormous influence over how that money enters circulation.
In that sense, treasury allocation is a form of fiscal policy. Over time, as tokens and capital become more widely distributed, the foundation’s influence over the economy should naturally diminish.
Take Monad as an example.
Much of Monad’s economic activity today is incentivized. There’s lending liquidity attracted through ~6% APR on Aave, investments in ecosystem projects, and programs that subsidize operating costs for businesses, like gas subsidies for market makers on Kuru.
There’s nothing inherently wrong with subsidized TVL.
Imagine a country trying to attract foreign capital and businesses. It offers tax breaks, infrastructure subsidies, and favorable economic policies to make setting up shop attractive.
The idea isn’t to subsidize everything forever. It’s to bootstrap an economy where capital and businesses can eventually sustain themselves.
Look at the liquidity attracted to Monad through Aave incentives. That capital is now available within the ecosystem, and having access to it makes the chain a much more attractive destination for other businesses.
Consider Fasanara Capital’s vault offering ~5.7% native APR.
When you’re trying to bring an institutional asset manager onto a chain, being able to demonstrate that you already have significant capital and demand within the ecosystem is an enormous advantage.
The foundation’s incentives help attract capital, and its BD efforts help bring in businesses that can put that capital to productive use.
Some of that capital, which initially arrived for subsidies, now has a reason to stay for the actual economic opportunities available on the chain.
This is how incentivized TVL can progressively turn into sticky TVL.
I’ve heard arguments that foundations should use their treasuries to pump meme coins to bootstrap activity. I find this a much less compelling use of capital. You might attract attention, volumes, and speculative capital for a while, but it’s hard to see what lasting economic activity that creates.
There’s a difference between subsidizing the formation of an economy and paying people to temporarily participate in one.
Network effects matter.
When businesses decide where to operate, they care about infrastructure, access to capital, and the other businesses already operating there.
Better infrastructure (low block times, MCP, better sequencing and execution), access to liquidity, and an existing ecosystem of applications all make a chain more attractive for businesses.
This is also where being EVM compatible matters enormously. Ethereum has built incredible network effects through applications like Aave, Uniswap, and the broader DeFi ecosystem. Monad doesn’t have those network effects organically yet, but by being EVM compatible, it gets to inherit a part of them.
Businesses don’t have to build everything from scratch. They can bring existing applications, infrastructure, and tooling into a new economy.
I think a large part of a foundation’s job is to accelerate this process. Build good infrastructure, attract businesses, bring in capital, and create the conditions for an economy to flourish.
The goal is an economy that eventually doesn’t need subsidies.
Building in the bear market has been extremely fulfilling.
Big day coming soon!
We have been shipping pretty crazy lately @KuruExchange! Super excited to unveil what we have been cooking from past couple of months soon!!
1
15
537
It’s the first math problem solved with ai that I actually fully understand
As expected, result is completely unintuitive, tells me nothing about graphs, provides an unintuitive bound, and requires digging through lean to find more than a loose summary
We asked ten Claude Opus 5.5 agents to devise a faster shortest-path algorithm and prove it in Lean. Within 15 hours, they produced C-HD: a formally verified improvement over the published bounds.
Readers added context they thought people might want to know
C-HD's formally verified bound improves priors only in a narrow sparse density range (m ≤ n⌊⌊log₂ n⌋^{3/4}⌋) as an asymptotic guarantee with enormous constants and no practical speedup demonstrated. vals.ai/blogs/faster-s… github.com/spicylemonade/…
The general sentiment on Twitter after seeing this seems to be that degrees and PhDs are becoming less relevant. I don’t think that’s the takeaway.
Throwing a lot of tokens at a problem without understanding where to throw them won’t cut it.
The degree itself may not matter as much, but the expertise and work it takes to earn one gives you an unfair advantage in a world where AI can massively amplify your productivity.
Your AI agent is only as good as your ability to guide it.
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
1
12
635
Join @datdev and I tomorrow!
Tomorrow, Wednesday September 9, on Metropolis Livestreams
15:00–16:00 UTC: Building with Kuru with @0xtrojan_
16:00–16:30 UTC: How to Set Up Monad Data Pipelines and Alerts with QuickNode's @sensahil
16:30–17:00 UTC: Build Your First Agent Wallet Plugin with MetaMask's @ayushbherwani
17:00–17:30 UTC: Why Launchpads Are Great Apps to Build with @cryptunez
To add the livestreams to your calendar and learn more, visit: hackathon.monad.xyz/calendar
Rohan | Kuru retweeted
I had fomo that codex had a pet and claude code didn't.
So I built one
It tells me which session needs my input and clicking it takes me to that terminal. Also random facts and news, for some reason
named it JARVIS because obviously
check it out:
github.com/Shaurya0104/claud…
Rohan | Kuru retweeted
Kind of wild to see this shift.
For the past three days, Kuru has done more volume than every other spot and perp DEX on Monad combined.
my thesis is when markets get this volatile, people just want to trade spot again.
🤖 Made with AI
Looking to help teams who have interesting ideas on how they want to build a Prediction Market on Kuru!
We're collaborating with @monad on the Metropolis online global hackathon!
Kuru is sponsoring two bounties in Onchain Finance & Trading
1. $5000 - Build the Next Consumer Trading App: Build a new trading experience routed through Kuru’s onchain order book.
2. $5000 - Bring New Assets and Markets to Kuru: Build infrastructure to bring new assets class onto Kuru
Sign up: monad.xyz/metropolis
There's a new version of this post
4
124























