I have decided to take the leap out of crypto and find a new job in AI If you, or anyone you know, is hiring, I would love to chat! let’s cook 🧑‍🍳 ps. I’m also open to crypto-related roles if they’re interesting

✨Introducing ZKLean, formal verification for interconnected software✨ Frontier AIs keep finding critical bugs everywhere. Formal verification is the obvious cure, but what if your software has dependencies like npm packages or API endpoints? ZKLean is the solution👇

✨Introducing ZKLean, formal verification for interconnected software✨ Frontier AIs keep finding critical bugs everywhere. Formal verification is the obvious cure, but what if your software has dependencies like npm packages or API endpoints? ZKLean is the solution👇

People are confused about semis dumping and gpu spot price increasing. This is only because demand is moving to open source models, and all the GPUs are being hoarded by the big labs or stuck under commitments, so GPU on the rental market absorb the demand. IMO SpaceX will drop the race, and will fully pivot to compute provider. Thesis is the same, frontier is platauing, reward on training is getting lower, and all of a sudden big labs hoarding gpus will rush to capture the inference margin before it collapses.

Introducing Tama, a dev toolchain for secure-by-construction EVM smart contracts Tama enables you to build provably secure apps in 3 steps: 1. Code: write the contract itself 2. Spec: define what correct behavior looks like 3. Prove: prove the code matches the specs

Introducing Tamago🍳, a standard contract suite for Verity analogous to Solady for Solidity First ever (!!!) formally verified implementations of sqrt(), cbrt(), log10(), and log256() in EVM. Also the first ever formally verified ERC-4626 vault! cc @VitalikButerin @Fricoben

Introducing TamaSwap, the first provably unhackable DEX. - No-free-lunch theorem, machine-checked via Lean - Onchain HTML interface, forever online - No protocol fees, no-code deploy to any EVM chain Built with Tama + Verity. AGPL license. The platonic ideal of xy=k.

Formal verification at the compiled bytecode level is insane work If Anthropic can do that, why not simply formally model popular languages/compilers which can then be used to much more easily prove code written in those languages?

The Aztec team is unbelievably based on the technical side. I’d go as far as saying they’re the most serious project in the entire crypto industry. Unfortunately we’re in a market of lemons. Integrity is a liability nowadays.

Capitalism is a powerful force for good. It benefits everyone, especially those who lean in and help build the future. But it’s under attack (again). Wealth taxes, price controls, government-run grocery stores, asset seizures. Fear is being used as a political lever and an excuse for control. I’ve seen this play out before, it leads nowhere good. I lived in Buenos Aires in 2008 when the Argentine government seized $30B in private pensions to ‘protect’ citizens from the financial crisis. Then they froze access to the dollar and nationalized companies. Within a decade, inflation was over 50%. The elites had miraculously moved their money, leaving regular people to take the financial hit. Politicians are selling collectivism out of the same playbook used by Argentina, Venezuela, and the former Soviet Union: promise protection, concentrate power, tighten the fist. And the costs fall on the poorest people in society who are unable to protect themselves. Capitalism isn't perfect. But it’s far better than every alternative that’s been tried. Millions of people making independent decisions, with the free market rewarding the best ideas, will out-build any central planner.

(1/2): I have met this person at nearly every crypto conference I have ever attended, and by now I can usually identify him before he even reaches the registration desk, because he arrives wearing the unmistakable expression of a man who has crossed three time zones, answered forty-seven Telegram messages from people he does not like, and paid twelve euros for airport water in order to be physically present at a gathering devoted to the future, only to discover, almost immediately, that the future appears to consist largely of men standing beneath purple lighting and discussing distribution. He checks into the hotel, opens the conference app, scrolls through a schedule containing panels called things like “Reimagining Coordination at Scale” and “The New Institutional Frontier,” and feels, for one brief and embarrassing moment, the stirring of hope, because perhaps this will be the one, perhaps this will be the conference where somebody says something real, where a conversation escapes the gravitational pull of fundraising announcements, ecosystem grants, and whatever the phrase “go-to-market motion” is currently being asked to conceal. By ten in the morning he has received a tote bag made from allegedly regenerative fabric, a metal water bottle that leaks from the lid, a lanyard large enough to function as a municipal permit, and three invitations to side events taking place simultaneously in different parts of the city, each one described as “intimate,” despite having eight hundred RSVPs and a DJ flown in from Berlin. He goes to the first panel. A founder says we are still early and venture capitalist says the next billion users are coming. Eventually a moderator, with the glazed composure of somebody who has already moderated this exact conversation in Singapore, Dubai, Paris, Denver, and a yacht off Mykonos, asks what needs to happen for mass adoption. Everyone agrees that UX must improve and the audience nods with the solemnity of a parliamentary vote. Nothing has technically been said, but the applause is loud. By lunch he has participated in six conversations, all of which begin with “What are you working on?” and end with “We should definitely find a way to collaborate,” which in conference language means that both parties will add one another on Telegram, exchange a fire emoji beneath a future announcement post, and never again occupy the same emotional universe. He meets a man building infrastructure for autonomous agents, although the infrastructure is not yet built and the agents are not yet autonomous. He meets another man launching a protocol for decentralized reputation, who spends most of the conversation explaining which well-known investors already trust him. He meets a founder who says he is obsessed with user sovereignty, then glances every twenty seconds toward the entrance in case someone more important has arrived. By the evening he is standing in a cavernous venue once used to manufacture turbines, now filled with dry ice, ornamental lasers, and several thousand people discussing credible neutrality while trying to get past a velvet rope. There is free food, technically, although it consists of two miniature tacos placed on a slate tile by a person wearing black gloves, and there is free alcohol, abundantly, which may explain why the revolution against extractive intermediaries has temporarily organized itself around a sponsored bar requiring three wristbands and a QR code.

"crypto" has largely forgotten its purpose, which is to empower individuals at the expense of intermediaries...that's because the intermediaries are the last remaining exit liquidity, so we can't disrupt them or they will not buy our bags. . . . massive catch-22 as an industry. the highest-$-value use case--tokenized stocks, etc.--hangs in the balance, and so far the "industry" is massively supporting cosplay intermediary tokenization instead of trying to disrupt and destroy the incumbents using this technology

happy 4th of july and happy 250th everyone. take a moment to notice that the social and material conditions that make it possible for us to read each other's posts like this - social media, the internet, free speech, the computer, the smartphone - are overwhelmingly american

🇺🇸America is the most successful political experiment in history. She aimed to bring liberty, equality, and prosperity for all. And she has succeeded beyond any reasonable person’s wildest imaginations. America and her allies defeated the tyrannies of monarchy, fascism, and socialism/communism. Instead of bringing brutal oppression and deaths on a global scale which any other nation would have done in her place, America created for the first time in history a maritime global order where nations and peoples are free to trade with each other and prosper together. Not only that, America was and is the greatest producer of scientific and technological advancement. Oil, electricity, nuclear power, computers, the internet, and now AI. A truly ludicrous amount of prosperity came as a direct result. America is also the only nation in existence that truly accepts immigrants as her own. If you move to Japan, you will never be Japanese. If you move to the Netherlands, you will never be Dutch. But if you move to America, you can become American. America is objectively the single biggest force for good in history. She is loved by most and envied by the rest. She is living proof of what wonders humanity is capable of when given the freedom to pursue happiness. 🇺🇸🎆🍾Happy 250th birthday America!