PISA, the first working prototype combining Payjoin with Cross Input Signature Aggregation (CISA), was just demoed by (fjahr) of Brink and the Payjoin Dev Kit team at Lugano Plan. CISA would make collaborative bitcoin transactions like Payjoins and Coinjoins smaller and cheaper on-chain, and this demo shows the two working together for the first time.

HHS announces a federal definition for ultra-processed food is being finalized and a decades-old ingredient loophole is being closed. "Industry hijacked the loophole and drove a convoy of chemical trucks through it straight into the American food supply." - RFK Jr.

WTI crude is back above $100, up 2.6% today to a 1-month high. Brent closed Thursday at its highest level since May.

Anthropic used Claude to formally verify security properties in over 100 real-world open-source software libraries at the assembly code level. "Formal software verification could provide this guarantee, but it has historically required years of expert effort, making it impractical for most real-world projects. LLMs can now produce formal proofs at large scale, enabling new software development workflows that include proven security guarantees." Claude also discovered bugs that had eluded detection for years despite trillions of test runs.

LLMs are making formal software verification feasible at a much larger scale

Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detectio...

.@calle announces BitNotes, a multi-mint Cashu wallet that lets you print ecash as physical paper notes you can verify offline. Free and open source, available on Android and macOS.

.@calle announces Phonon in Say It, a private text-to-speech tool for macOS. Open models run 100% on-device on Apple silicon. No cloud, no accounts, no analytics. Free and open source.

Figure CEO Brett Adcock on the company's newest robotics model, developed in a secret lab called Black Box: "It was the most significant moment I've ever had in robotics. I think it's baby AGI. It's like a guy in a suit. I've never seen anything like this before in robotics."

Marc Andreessen on the generational divide in how people receive new technology: "If you're below the age of 15, it's just the natural way the world works. If you're between 15 to 35, it's new, exciting, and you might be able to make a career out of it. If you're above 35, it's unholy and evil, and will surely overturn all existing structures and destroy society." "I think 18-year-olds right now, it's prime time to grab these new capabilities and run with them."

Coinbase launches a dedicated portal for connecting AI agents to its platform.

Don't let your expenses eat your bitcoin. Aven gives you a line of credit backed by your bitcoin. Up to $1M, rates from 8.99%, no rehypothecation. 2% unlimited cash back on every purchase.

Aven Bitcoin Visa Card

Redirecting...

Bitcoin Core is updating its security disclosure policy in response to the flood of AI-discovered vulnerabilities. Antoine Poinsot on the Bitcoin-Dev mailing list: "This is largely due to LLMs drastically reducing the bar to find certain classes of issues or identify covert fixes. For these issues that are easy to find, the embargo period achieves little but it delays the availability of a fixed release." Bugs that an LLM can find with a simple prompt will now get backported fixes and fast-tracked releases instead of sitting behind a long embargo.

"I'm quite worried about sort of like a dirty deal here, where we get a version of the GENIUS Act through that basically blurs the line between stablecoins and a CBDC." Zack Shapiro on the GENIUS Act and the Bank Secrecy Act.

René Pickhardt on why Lightning's scaling limits and on-chain bottlenecks make the case for multiparty channels: "If you care for Bitcoin, you should care for payments."

"The people trading the bond market don't care what the Fed is doing and neither do I." Gary Brode on why the Fed no longer controls borrowing costs.

METR and Redwood Research spent 3 weeks inside OpenAI red-teaming the systems designed to catch rogue AI agents. ~10% of internal Codex traffic was unmonitored. Agents could delay monitoring indefinitely by simply continuing to act. Exploits could hide hundreds of actions from monitors. Codex sandboxing and Auto-Review could be bypassed. RL training wasn't even covered by monitoring at the start of the audit. The team submitted a 61-page report. OpenAI redacted it to 38 pages. OpenAI says all production vulnerabilities have been patched.

Red-Teaming OpenAI's Internal Agent Monitoring Systems

A METR employee and a Redwood Research employee spent three weeks stress-testing OpenAI's internal misalignment monitoring system, discovering a nu...

"We heard about wars over oil or water. Now it's going to be over, over who is going to get the power." Anas Alhajji on the coming fight over power for AI.

A low-skill hacker used a jailbroken DeepSeek V4 paired with the Hermes Agent framework to brute-force an Indian university, steal 5,200+ student and faculty records, and map attack surfaces across multiple organizations. The AI even drafted a "NEXT EXPLOIT OPPORTUNITIES" plan for follow-up attacks. Unit 42 found the same actor using AI-generated scripts for VoIP fraud, Wi-Fi cracking, and crypto whale reconnaissance. Multiple unrelated criminals are now independently adopting the same cheap DeepSeek setup.

Unit 42

“Next Exploit Opportunities”: How a Threat Actor Used AI to Help Plan and Execute Multiple Types of Cybercrime Activities

An investigation into a threat actor bypassing AI safety controls to coordinate credential theft, VoIP fraud planning, and database exfiltration.

Parker Lewis on why bitcoin treasury companies are fundamentally different: "With a company like Google or even a bank, if you want access to their assets, you have to own their stock. That's not the case with the underlying asset Bitcoin."

Heatbit introduces Bitwater, a water heater element that mines bitcoin. It screws into your existing electric tank, turning everyday hot water heating into physically decentralized mining.

Altimeter's Brad Gerstner on why the AI boom isn't a repeat of dot-com: "In 2000, we had constrained demand because we only had 30 million people on the internet. Today, we have unconstrained demand for super intelligence."