The future won’t wait for you.

@TFTC21

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. anthropic.com/research/forma…

@TFTC21

.@callebtc 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.

@TFTC21

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." x.com/TheHumanoidLab…

@TFTC21

.@callebtc 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.

@TFTC21

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." x.com/a16z/status/21…

@TFTC21

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

@TFTC21

U.S. Deputy Secretary of State Christopher Landau announced that American investors have signed a deal to build a data center near Paraguay's Itaipú Dam, potentially the largest foreign private investment in the country's history. x.com/DeputySecState…

@TFTC21

Don't let your expenses eat your bitcoin. @AvenCard 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. tftc.io/bitcoin-visa-c…

@TFTC21

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.

@TFTC21

Anthropic is making auto mode the default for Claude across all platforms. x.com/claudeai/statu…

@TFTC21

"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." @zackbshapiro on the GENIUS Act and the Bank Secrecy Act.

@TFTC21

One email. Every weekday. Bitcoin, macro, AI, and freedom tech. No fluff. Sign up for The Commoner: tftc.io/commoner

@TFTC21

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. anthropic.com/research/forma…

@TFTC21

.@callebtc 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.

@TFTC21

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." x.com/TheHumanoidLab…

@TFTC21

.@callebtc 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.

@TFTC21

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." x.com/a16z/status/21…

@TFTC21

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

@TFTC21

U.S. Deputy Secretary of State Christopher Landau announced that American investors have signed a deal to build a data center near Paraguay's Itaipú Dam, potentially the largest foreign private investment in the country's history. x.com/DeputySecState…

@TFTC21

Don't let your expenses eat your bitcoin. @AvenCard 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. tftc.io/bitcoin-visa-c…

@TFTC21

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.

@TFTC21

Anthropic is making auto mode the default for Claude across all platforms. x.com/claudeai/statu…

@TFTC21

"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." @zackbshapiro on the GENIUS Act and the Bank Secrecy Act.

@TFTC21

One email. Every weekday. Bitcoin, macro, AI, and freedom tech. No fluff. Sign up for The Commoner: tftc.io/commoner