Sabitlenmiş Tweet
zooko🛡🦓🦓🦓 ⓩ
148.2K posts
zooko🛡🦓🦓🦓 ⓩ
@zooko
Freedom maximalist. Good vibes only.
Boulder, Colorado, USA, Earth Katılım Mart 2008
2.6K Takip Edilen111.3K Takipçiler
zooko🛡🦓🦓🦓 ⓩ retweetledi
I agree. I also think that people being unsure about the model initially is a fair take, and one that leads to deeper research into the history and critical thinking about the pros/cons - and also healthy discourse within the community.
The alternative would be blind tribalism. Willingness to respectfully disagree, debate and talk through ideas in the open is one of my favorite aspects of the ZEC community.
English
zooko🛡🦓🦓🦓 ⓩ retweetledi
"If—" is a poem by English poet Rudyard Kipling
If you can keep your head when all about you
Are losing theirs and blaming it on you;
If you can trust yourself when all men doubt you,
But make allowance for their doubting too:
If you can wait and not be tired by waiting,
Or being lied about, don't deal in lies,
Or being hated don't give way to hating,
And yet don't look too good, nor talk too wise;
If you can dream—and not make dreams your master;
If you can think—and not make thoughts your aim,
If you can meet with Triumph and Disaster
And treat those two impostors just the same:
If you can bear to hear the truth you've spoken
Twisted by knaves to make a trap for fools,
Or watch the things you gave your life to, broken,
And stoop and build 'em up with worn-out tools;
If you can make one heap of all your winnings
And risk it on one turn of pitch-and-toss,
And lose, and start again at your beginnings
And never breathe a word about your loss:
If you can force your heart and nerve and sinew
To serve your turn long after they are gone,
And so hold on when there is nothing in you
Except the Will which says to them: 'Hold on!'
If you can talk with crowds and keep your virtue,
Or walk with Kings—nor lose the common touch,
If neither foes nor loving friends can hurt you,
If all men count with you, but none too much:
If you can fill the unforgiving minute
With sixty seconds' worth of distance run,
Yours is the Earth and everything that's in it,
And—which is more—you'll be a Man, my son!
English
zooko🛡🦓🦓🦓 ⓩ retweetledi
just a thought, but many people who are about to be wildly liquid could perhaps engage in noblesse oblige and breathe life into the spark of a new renaissance / enlightenment era. that could happen next, if you wanted
English
zooko🛡🦓🦓🦓 ⓩ retweetledi
zooko🛡🦓🦓🦓 ⓩ retweetledi
A voluntary arrangement between consenting adults.
IDK how a person can be a freedom maximalist and against this.
Just don't participate if you don't like it.
Palmar 🎧@palmarzk
The Zcash Dev Fund is viewed as a tax on miners, but given that miners participate in the network voluntarily, perhaps it should be seen as a donation from them toward network development that would ultimately benefit them.
English
zooko🛡🦓🦓🦓 ⓩ retweetledi
One of my favorite abstract qualities of the universe is that beauty often really is a good heuristic for truth
English
@zooko An interesting side note, mathematicians are fully embracing AI with Lean.
English
@riemann_ben Yes! Neat to see how culture influences technological development!
English
Interesting. It sounds like Haskell is about to get left behind because it has anti-AI culture. I also suspect the same thing is about to happen to Zig. avi.press/posts/2026-07-…
English
Very few people know the amount of useful work that the current models can do in Code/Codex/etc. with the right setup
This is not a "rah rah you are so early" post, this is a "AI companies are doing a really bad job explaining what their systems actually do in a clear way" post.
English
zooko🛡🦓🦓🦓 ⓩ retweetledi
Satnam Singh@satnam6502
This article by @avi_press describes why he switched some of his company's (new) code from Haskell to Python, and he makes a lot of great points. The relative value of the Haskell type system has diminished in this AI world, and the slow build times hurt more than ever. It would be interesting to imagine a world where they had switched instead to Lean, retaining many of the advantages of Haskell but now gaining significantly more value from the type system e.g. being able to use AI theorem provers to prove formal properties about your code (or aid the AI synthesis of code with formal properties). Build times may still be an issue, but I suspect sufficient mitigations could be developed. And before you kick my head in, I've been using Haskell for 36 years and I am a huge fan. avi.press/posts/2026-07-…
ZXX
zooko🛡🦓🦓🦓 ⓩ retweetledi
@Jinx_Yxurself Frontload Ironwood, tachyon and crosslink. This is the play
English
zooko🛡🦓🦓🦓 ⓩ retweetledi
It took me a few hours to write a Lean formalization of the theorems and proofs in a recent paper of ours. I used Fable + 5.6 Sol. I found the exercise shockingly eye opening. I don't think we should publish papers without Lean proofs at this point.
English
zooko🛡🦓🦓🦓 ⓩ retweetledi
zooko🛡🦓🦓🦓 ⓩ retweetledi
Solid arguments against Lightning's privacy.
In the early days of Lightning people predicted it will end up as a hub and spoke system with centralized liquidity and got a ton of abuse for it.
You cannot meme an inherently bad architecture into a good one.
ddadybayo@ddadybayo
This is the kind of narrative that gets pushed while the actual architecture centralizes and leaks. Onion routing hides the full path. That part is real. But the protocol has built in leaks that have been known and documented for years: - Same payment hash on every hop →trivial correlation. - Balance probing recovers up to 89% of public channel balances. - Timing analysis: the single most central node can observe timing on 50% of payments. Top 4 nodes cover 72%. Meanwhile the “decentralized L2” part: - Public capacity hovers between 2.7k–5.6k BTC. - Top 10 nodes control 62% of all public liquidity. - Gini coefficient for node capacity: 0.97. - Top 10% of nodes hold 80% of the locked bitcoin. This is not decentralization. This is a hub and spoke system with a few very powerful hubs. Who runs these hubs? Mostly exchanges and LSPs: Bitfinex, ACINQ, Binance, Kraken, OKX, Wallet of Satoshi and similar. If you’re not running your own full node and managing your own liquidity, you’re almost certainly routing through these entities. They see sender, receiver and amounts. Privacy collapses. This isn’t a bug. It’s the predictable result of a design that prioritizes routing efficiency and capital efficiency over actual decentralization and strong privacy. Powerful adversaries (state level or well resourced) don’t even need to break onion routing perfectly. They just sit on or near the big hubs and watch. Lightning can move small payments faster and cheaper than on-chain. That’s its actual use case. But calling it incredible privacy by default while the liquidity and routing are this concentrated and while these attacks exist, is dishonest. Real privacy requires an additional layer on top (Chaumian ecash like Cashu is one attempt). The base Lightning protocol does not deliver it. Bitcoin was supposed to be a tool for financial sovereignty and resistance to control. When the dominant scaling solution creates new centralized chokepoints that are easy to monitor and potentially censor, we’ve traded one set of problems for another that serves power better. Data doesn’t lie. Narratives do.
English
zooko🛡🦓🦓🦓 ⓩ retweetledi
zooko🛡🦓🦓🦓 ⓩ retweetledi
zooko🛡🦓🦓🦓 ⓩ retweetledi
The same way that basically everything is downstream from oil, in the future basically everything will be downstream from fission
Isaiah Taylor - making nuclear reactors@isaiah_p_taylor
There is no escaping jet fuel It is truly the pinnacle of chemistry, the best thing to come from the periodic table yet Nobody has yet faced the carbon single bond chain and won
English