# velvet (blogs) — RSS Amplifier Recent posts from the 4 feeds in the RSS Amplifier directory that cover velvet. Page: Feed: --- ## [The Midnight Leak in Global Banking](https://xrpmanchester.substack.com/p/the-midnight-leak-in-global-banking) _2026-08-21 · XRP-Man · XRP\_MANchester_ When the world's biggest creditor runs for the exit, traditional banking wires are too slow to save the market. Enter the era of emergency digital bridges ## [Manufacturing Mashiach: The Deep-State Plot to Stage Biblical Prophecy](https://xrpmanchester.substack.com/p/manufacturing-mashiach-the-deep-state) _2026-08-20 · XRP-Man · XRP\_MANchester_ Inside the five-stage geopolitical blueprint designed to fracture NATO, trigger a war with Turkey, and force a desperate world to accept a prepared Messiah. ## [The Bessant Backstop: The Day That the Safety Net Snapped](https://xrpmanchester.substack.com/p/the-bessant-backstop-the-day-that) _2026-08-20 · XRP-Man · XRP\_MANchester_ How a $4 Billion Treasury Buyback Shock Wave, Coupled With a Hidden Dollar Void Has Set the Stage for a Global Currency Chaos ## [The Invisible Highway: Why Global Financial Collapse is the Secret Key to Unlocking XRP](https://xrpmanchester.substack.com/p/the-invisible-highway-why-global) _2026-08-19 · XRP-Man · XRP\_MANchester_ How Ripple engineered the open-source plumbing for a post-dollar world, and why a high token price requires a system-wide crisis. ## [Rebranding the Reserve: How the Fall of the Dollar is Being Sold as a Victory](https://xrpmanchester.substack.com/p/rebranding-the-reserve-how-the-fall) _2026-08-18 · XRP-Man · XRP\_MANchester_ For decades, a dominant currency was considered an untouchable American strength, but a new populist paradigm is prepping the public to embrace its decline. ## [Sette Picasso](https://brushstrokesandfaultlines.substack.com/p/sette-picasso) _2026-08-17 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ The Velvet Blade II, Chapter 12 ## [The Pre-IPO Ambush: How OpenAI’s Executive Collapse Has Trapped Wall Street’s Newest Grift](https://xrpmanchester.substack.com/p/the-pre-ipo-ambush-how-openais-executive) _2026-08-17 · XRP-Man · XRP\_MANchester_ The 2008 playbook is back. Bankers wrapped billions in toxic AI liabilities in a shiny tech bow to dump onto public pensions. Then OpenAI’s leadership team walked out leaving them holding the bag ## [The Midnight Mechanic: How China Swallowed the West’s Financial Playbook](https://xrpmanchester.substack.com/p/the-midnight-mechanic-how-china-swallowed) _2026-08-15 · XRP-Man · XRP\_MANchester_ A historic mid-month injection reveals the People’s Bank of China is no longer waiting for a crisis, it is building an alternative to the US Dollar, one step at a time. ## [Silicon Valley’s Rope-a-Dope: The Pre-IPO Ambush of OpenAI](https://xrpmanchester.substack.com/p/silicon-valleys-rope-a-dope-the-pre) _2026-08-14 · XRP-Man · XRP\_MANchester_ By walking out en masse, OpenAI's leadership left their public offering hanging in mid-air, leaving the 2008 banking elite stranded with hundreds of billions in untransferable losses ## [The Grenade Juggler: Why America’s New Playbook Risks Global Economic Collapse](https://xrpmanchester.substack.com/p/the-grenade-juggler-why-americas) _2026-08-14 · XRP-Man · XRP\_MANchester_ Scott Bessent is using modern central banking plumbing to hide a massive fiscal fire, but forcing Japan to raise interest rates might trigger the global financial earthquake he is trying to prevent. ## [Auto-trade Cross-Exchange Gaps (Sponsored)](https://crawlproof.com/a/5kdokME1g0MF) _2026-08-14 · **Sponsored**_ Find cross-exchange spreads, backtest strategies, and execute automatically with risk controls. ## [When the Hard Part Stops Being Hard](https://proofsandintuitions.net/2026/08/14/when-the-hard-part-stops-being-hard/) _2026-08-14 · Ilya Sergey · Proofs and Intuitions_ A few days ago, a paper I co-authored, Tracking Borrows with Regular Expressions, was accepted to OOPSLA’26. It presents a new type system for Move, a Rust-style smart contract language, built on a rather cute idea: using regular expressions to capture heap reachability. I won’t go into the technical details here. What I want to talk about instead is how the paper was made and how the publication… ## [Dogshit on Steroids: How AI Data Centres and the CIP Loophole Are Creating a Financial Super-Bubble](https://xrpmanchester.substack.com/p/dogshit-on-steroids-how-ai-data-centres) _2026-08-13 · XRP-Man · XRP\_MANchester_ Move over 2008. By weaponising Construction in Progress accounts, extending chip lifespans, and abandoning risk-retention rules, the tech sector is building a debt bomb that dwarfs subprime. ## [The $176 Billion Accounting Trick Fueling the Next Great Debt Meltdown](https://xrpmanchester.substack.com/p/the-176-billion-accounting-trick) _2026-08-12 · XRP-Man · XRP\_MANchester_ How tech titans altered depreciation schedules and regulators sidelined post-crisis protections to inflate the artificial intelligence boom. ## [The Death of Paper Gold: How the UK’s New Crypto Framework Weaponises Physical Bullion](https://xrpmanchester.substack.com/p/the-death-of-paper-gold-how-the-uks) _2026-08-11 · XRP-Man · XRP\_MANchester_ London is racing to turn its ancient vaults into high-speed digital weapons, bringing an end to legacy paper trading and triggering the rise of 24/7 gold-backed bank accounts. ## [Dopo Francoforte](https://brushstrokesandfaultlines.substack.com/p/dopo-francoforte) _2026-08-06 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ The Velvet Blade II, Chapter 11 ## [Time's Conversation](https://brushstrokesandfaultlines.substack.com/p/times-conversation) _2026-08-06 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ B&F Vol. 12, August 2026 ## [Ch. 1.6 Journey halfway around the world](https://karenkkoehler.substack.com/p/ch-16-journey-halfway-around-the) _2026-07-11 · Karen Koehler · Karen Koehler_ The Trials and Tribulations of the Velvet Hammer part 6 ## [Carte, Stanze, Rotture](https://brushstrokesandfaultlines.substack.com/p/carte-stanze-rotture) _2026-07-11 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ The Velvet Blade II, Chapter Ten ## [Office Work](https://brushstrokesandfaultlines.substack.com/p/office-work) _2026-07-03 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ The Velvet Blade II, Vignette 44 ## [The White Duck](https://brushstrokesandfaultlines.substack.com/p/the-white-duck) _2026-07-01 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ The Velvet Blade II, Vignette 43 ## [Meet Claude, an AI assistant (Sponsored)](https://crawlproof.com/a/oK2Le3tD6jjN) _2026-07-01 · **Sponsored**_ Chat with Claude at claude.ai — a conversational AI assistant. ## [Where Memory Stands](https://brushstrokesandfaultlines.substack.com/p/where-memory-stands) _2026-07-01 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ On mountains, monuments, walls, and the warning written plainly before us ## [Stonewall Is Not A Relic](https://brushstrokesandfaultlines.substack.com/p/stonewall-is-not-a-relic) _2026-07-01 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ Stonewall is a strange name for a place where something broke open. ## [The Sacred Site and The State](https://brushstrokesandfaultlines.substack.com/p/the-sacred-site-and-the-state) _2026-07-01 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ A shrine does not always announce itself with bells. ## [Landmark Decisions](https://brushstrokesandfaultlines.substack.com/p/landmark-decisions) _2026-07-01 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ Not every monument is made of stone. ## [The Art That Wants to Go Home](https://brushstrokesandfaultlines.substack.com/p/the-art-that-wants-to-go-home) _2026-07-01 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ There are objects in museums that appear calm because glass has taught them stillness. ## [The Museum Under Siege](https://brushstrokesandfaultlines.substack.com/p/the-museum-under-siege) _2026-07-01 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ A museum does not have to burn to be under siege. ## [When Statues Fall](https://brushstrokesandfaultlines.substack.com/p/when-statues-fall) _2026-07-01 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ A statue does not fall all at once. ## [The Stone that Learns to Lie](https://brushstrokesandfaultlines.substack.com/p/the-stone-that-learns-to-lie) _2026-07-01 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ A monument begins with ambition. ## [Shrines on Foreign Soil](https://brushstrokesandfaultlines.substack.com/p/shrines-on-foreign-soil) _2026-07-01 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ There are places where a nation becomes smaller than its dead. ## [The Obelisk and The Nation](https://brushstrokesandfaultlines.substack.com/p/the-obelisk-and-the-nation) _2026-07-01 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ There is something almost too simple about the Washington Monument. ## [Crush Every Threat in Real Time (Sponsored)](https://crawlproof.com/a/4EHJqM9MZsCC) _2026-07-01 · **Sponsored**_ One agent for real-time detection, exposure tracking, and active defense. ## [The Gods On The Hill](https://brushstrokesandfaultlines.substack.com/p/the-gods-on-the-hill) _2026-07-01 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ Before the monument became a postcard, it was a climb. ## [The Wall Before The Word](https://brushstrokesandfaultlines.substack.com/p/the-wall-before-the-word) _2026-07-01 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ Before we had monuments, we had walls. ## [When Awe Became Architecture](https://brushstrokesandfaultlines.substack.com/p/when-awe-became-architecture) _2026-07-01 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ Before the monument had a name, there was awe. ## [Terzo Strumento](https://brushstrokesandfaultlines.substack.com/p/terzo-strumento) _2026-06-26 · Brushstrokes and Faultlines · Brushstrokes and Faultlines_ The Velvet Blade II, Chapter 9 ## [Liveness Proofs in Veil, Part I: The First Step](https://proofsandintuitions.net/2026/06/24/liveness-proofs-in-veil-part-1/) _2026-06-24 · Qiyuan Zhao · Proofs and Intuitions_ Safety property means “nothing bad happens during the run of a program”; liveness property means “the program eventually does something good”. In this post, we walk through a simple proof of a liveness property in Veil, using a basic consensus protocol as an example. ## [Ch. 1.5 Down the laundry chute onto the flying killer whale and other tall tales.](https://karenkkoehler.substack.com/p/ch-15-down-the-laundry-chute-onto) _2026-06-22 · Karen Koehler · Karen Koehler_ The Trials and Tribulations of the Velvet Hammer part 5 ## [Ch. 1.4 Sticks, stones and a dumb worm.](https://karenkkoehler.substack.com/p/ch-14-sticks-stones-and-a-dumb-worm) _2026-06-15 · Karen Koehler · Karen Koehler_ The Trials and Tribulations of the Velvet Hammer part 4 ## [And then there are five.](https://karenkkoehler.substack.com/p/ch-13-the-trials-and-tribulations) _2026-06-08 · Karen Koehler · Karen Koehler_ The Trials and Tribulations of the Velvet Hammer part 3 ## [Ch. 1.2 Debbie Doo Doo](https://karenkkoehler.substack.com/p/the-trials-and-tribulations-of-the) _2026-06-01 · Karen Koehler · Karen Koehler_ The Trials and Tribulations of the Velvet Hammer part 2 ## [Ch. 1.1 The Trials and Tribulations of the Velvet Hammer](https://karenkkoehler.substack.com/p/ch-11-the-trials-and-tribulations) _2026-05-26 · Karen Koehler · Karen Koehler_ a trial lawyer's memoir ## [On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications](https://proofsandintuitions.net/2026/05/18/property-based-testing-specifications/) _2026-05-18 · Yueyang Feng · Proofs and Intuitions_ In this post, we show that property-based testing (PBT) is surprisingly effective for validating LLM-synthesised specifications of Lean programs: it is a cheap alternative to symbolic proofs, which helped to detect underspecification in 10% of the specs in state-of-the-art benchmarks for verified code generation. ## [Verifying Move Borrow Checker in Lean: an Experiment in AI-Assisted PL Metatheory](https://proofsandintuitions.net/2026/03/18/move-borrow-checker-lean/) _2026-03-18 · Ilya Sergey · Proofs and Intuitions_ I formalised and proved the correctness of Move’s new borrow checker in Lean: 39,000 lines of mechanised metatheory, produced in under a month with the help of an AI coding assistant. This post tells the story of how it went and what it means for the future of PL research. ## [Verifying Distributed Protocols in Veil](https://proofsandintuitions.net/2026/02/09/distributed-verification-veil/) _2026-02-09 · Ilya Sergey · Proofs and Intuitions_ In this post, we discuss how to formalise, test, and prove the correctness of a classic distributed protocol by combining model checking, automated deductive verification, and AI-powered invariant inference in Veil, a new auto-active Lean-based verifier for distributed protocols. ## [Multi-Modal Program Verification in Velvet](https://proofsandintuitions.net/2026/01/21/multi-modal-verification-velvet/) _2026-01-21 · Ilya Sergey · Proofs and Intuitions_ In this post, we will show how to specify and verify imperative programs in Lean 4 using Velvet—an embedded verifier, which relies on a combination of automated symbolic and AI-assisted theorem proving techniques. ## [Hello, World!](https://proofsandintuitions.net/2026/01/10/hello-world/) _2026-01-10 · Ilya Sergey · Proofs and Intuitions_ Welcome to Proofs and Intuitions! This is a blog about mathematics, formal verification, and the ideas that connect them.