Just received this in the mail this morning

nobody host events like the @archetypevc crew.

New Yorkers, a storm is arriving today. Don't travel if you don't have to. Never drive or walk through floodwater. Call 911 if you are in danger, and report nonemergency issues to 311. Look out for one another and stay safe.

Here’s to the wanting. Here’s to the dreaming. Here’s to everyone.

Problems with advanced cryptography in production? Need help fixing it? We are happy to announce that zkSecurity now offers incident response: zksecurity.xyz/incident-resp…

I’ve seen a couple of posts about this so wanted to demystify. Today, every Muse user gets a free computer in the cloud. It's a real computer, and we’ve designed the security architecture of the Muse Secure VM carefully so you and your Muse can do almost anything you could with a computer sitting under your desk while keeping you and the system safe from threats like prompt injection. We wrote about this at length in our security blog post – security.muse.ai. Activity in the “runtime cell”, which you share with your Muse is unfettered, but sensitive actions are all overseen by the Sentinel, which runs outside of that cell. Similarly, all sensitive secrets - like the passwords you enter into Muse’s secure credential storage - are also stored outside the runtime cell. The runtime cell gets its own root filesystem (including a full Ubuntu linux image) separate from the host filesystem where your other more sensitive data lives. Because it is isolated from the sensitive stuff that runs on the same box, this means that we can, and do, offer users full visibility and control over the files in the runtime cell. Just as you can when you install Linux on your home computer, you can poke around and see all the files that make the system work - both debian system files and the binaries and data files that implement the parts of Muse which run in the runtime cell. This was a very deliberate choice - your Muse Secure VM truly is your own computer in the cloud. You can install software in it, write and compile code, use the browser to surf the web: it is your own Linux box that you can operate as you choose with your Muse. Poking around in this computer doesn't give you any privileged access to Meta infrastructure, or to other people's data If I may geek out a little here for a second… As a kid I loved to take things apart to see how they worked. As a teenager I got into computers and soon found myself drawn to C:\WINDOWS\SYSTEM and the system registry, later Slackware’s /dev/, /proc/ etc – I could see how the system was laid out and as I explored what DLL files and .so files actually did, I gradually became able to meld the computer to my own will. We’re really proud to be able to put a real computer in millions of people’s hands with a similar level of transparency. We built a file explorer right into the Library tab of the UI. We want you to be able to see the markdown files Muse writes while it thinks about how to serve you better, and explore the internals of the system if you’d like to. So, when you ask your Muse to show you its entire filesystem, and receive gigabytes of files you’re seeing the full contents of the runtime cell. It’s yours to explore and enjoy! If you’re not a geek like me, or simply want to download the data that you personally have created directly with your Muse, we added a feature for that too in Settings > Data controls > Download your agent data.

Never been to the opera before? Now’s your chance. We’re giving away 70,000 free tickets to the @MetOpera at the iconic Lincoln Center. Go to on.nyc.gov/opera to enter the lottery. There’s not a bad seat in the house.

Mamdani low key being the new leader of the free world

Congratulations to @0xAlbertG (Nethermind), @nico_mnbl (zkSecurity), and Benedikt Wagner (Ethereum Foundation) on winning one of three Outstanding Paper Awards at TCC 2026, the Theory of Cryptography Conference, for "A Simplified Round-by-round Soundness Proof of FRI." FRI sits at the core of most STARK-based proof systems, including Starknet's. Its existing soundness proofs are long and hard to check. This paper gives a much simpler one, which is a step toward formally verifying the systems built on it. eprint.iacr.org/2025/1993

Very proud of this work and honoured that it is receiving an Outstanding Paper Award at TCC'26! H/t to my co-authors and huge thanks to @zksecurityXYZ for the support FRI is a fundamental protocol yet few people confidently say they understand the security proof. This ends today

been telling people for a while @nico_mnbl has become one of the experts in the field and they should watch his work - if you don't follow him, highly recommend

You should have heard the devs in standup after the first zkao report. Impressive work!

Thanks David. Zkao is a great product.

Jev-like decision models are a new primitive that sits in between deterministic code and LLMs on the vector of judgment. All of us have been at this point recently where frontier models like Astra and Fable or even Sol and Opus are so expensive, in tokens and in time, that we're trying to figure out what parts of the process we can delegate to dumber models. And then Jev shows up and it's slightly dumber, but it's more different. It can only decide rather than generate, but it's an order of magnitude cheaper and faster than anything that existed before. So my mental model (that I discovered during this conversation 😂) is that decision models are a new primitive that sits in between deterministic code and LLMs on the vector of judgment. You can use it by itself or alongside deterministic code or LLMs or both! And once you see it that way, you begin to notice spots for it everywhere.

Looks like TACEO’s Merces is live! Congrats for the mainnet launch of the newest privacy layer. We've been helping with zkao running on the codebase for a while now :)

I'm so excited 𝔹itℤ by @0xAlbertG et al. is now public! It combines boolean and integer relations, free range checks and efficient binary field commitments. In short: your proof system is no longer tied to a particular finite field. The performance exceeded our expectations. Despite being field agnostic, it performed better on real world tasks than systems fine-tuned for the task. We completely changed the ProveKit roadmap for 𝔹itℤ, and I expect others will too! eprint.iacr.org/2026/2141

🚨 At the U20 Mayors Summit, Mamdani Says the Left Has Ceded “Quality of Life,” “Efficiency,” and “Fraud and Waste” to the Right This was one of the more interesting arguments Zohran Mamdani made today at the U20 Mayors Summit, and a reminder that he can be genuinely sharp when he drops the “central casting” routine. “In New York City, there are certain words that have taken on ideological associations.” “Quality of life has come to be seen as somehow a right-wing concern. Efficiency… has been taken on as a right-wing concern, rooting out fraud and waste, a right-wing concern.” Mamdani’s argument is that refusing to engage those issues actually helps the Right. “If you are staring at an example of social disorder or social inefficiency, and the left refuses to explain either why it has happened or how they will fix it, then the right gets to point at someone in the immediate area and say, ‘That’s who did it.’” The harder question is how much of the broader Left is actually prepared to follow the advice.

Canadian PM Mark Carney: There are only four countries at the forefront of AI: France, Canada, China and the United States. We must join forces to ensure an appropriate framework so that AI is safe and effective.

Cryptographic security games as... real games? Learn about security proofs for BLS signatures in the algebraic group model and co-CDH, and OOPS and Proximity signatures in AGM Embark on a quest to restore the grove by playing Rowan the reduction, and collaborate with Cerulea the challenger, Hazel the hash oracle, Spark the signing oracle and Ava the adversary, having Ava produce a forged signature to solve Cerulea's challenge Astra-generated zksecurity.github.io/reducti…

Tonight, Jewish New Yorkers mark the start of Yom Kippur, the holiest day on the Jewish calendar. It is the peak of the Yamim Noraim, the Days of Awe, and an opportunity for profound reflection. For those fasting — tzom kal, may your fast be easy and meaningful. And to all who observe, G'mar chatimah tovah. May you be sealed in the Book of Life for a good year to come.