--- title: Stripe eyes OpenRouter for $7B, AWS ships a formally... description: Stripe is reportedly paying over $7 billion for OpenRouter, a 5.4x jump from its Series B valuation three months ago. AWS's new Graviton5 instances run a... canonical: https://daily.dev/posts/stripe-eyes-openrouter-for-7b-aws-ships-a-formally-verified-hypervisor-nqjtaxo04 twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: Stripe eyes OpenRouter for $7B, AWS ships a formally verified hypervisor | daily.dev og:description: Stripe is reportedly paying over $7 billion for OpenRouter, a 5.4x jump from its Series B valuation three months ago. AWS's new Graviton5 instances run a... og:url: https://daily.dev/posts/stripe-eyes-openrouter-for-7b-aws-ships-a-formally-verified-hypervisor-nqjtaxo04 og:image: https://api.daily.dev/og/posts/nqJtaxO04.png og:image:alt: Stripe eyes OpenRouter for $7B, AWS ships a formally verified hypervisor og:image:width: 1200 og:image:height: 630 og:locale: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # Stripe eyes OpenRouter for $7B, AWS ships a formally verified hypervisor **[Backend Digest](https://daily.dev/sources/backend_digest)** · 4 min read · 0 upvotes · 0 comments ## Summary Stripe is reportedly paying over $7 billion for OpenRouter, a 5.4x jump from its Series B valuation three months ago. AWS's new Graviton5 instances run a hypervisor with 330,000 lines of machine-checked proofs behind it. Discord shared a brutally honest postmortem of moving voice traffic to Cloudflare's edge, bugs and all. And two separate token-cost studies landed on the same number: agent conversations get quadratically more expensive as they run longer. ## Content **TLDR:** Stripe is reportedly paying over $7 billion for OpenRouter, a 5.4x jump from its Series B valuation three months ago. AWS's new Graviton5 instances run a hypervisor with 330,000 lines of machine-checked proofs behind it. Discord shared a brutally honest postmortem of moving voice traffic to Cloudflare's edge, bugs and all. And two separate token-cost studies landed on the same number: agent conversations get quadratically more expensive as they run longer. --- ## Stripe reportedly paying $7B+ for OpenRouter Bloomberg reports Stripe has agreed to acquire the AI model routing startup for more than $7 billion, just months after OpenRouter's $113M Series B valued it at $1.3 billion. The API routes 200 trillion-plus tokens a month across 400-500+ models, but the real prize is probably the metadata: a live signal of which models win which workloads and how demand shifts. If it closes, Stripe controls both the metering and routing layers for AI spend, which only stays a boring, useful product as long as OpenRouter keeps routing neutrally instead of steering traffic toward Stripe's own interests. [Read more](https://daily.dev/posts/sTh8s2cdT) ## AWS's Nitro Isolation Engine gets formal proofs behind VM isolation The new M9g and M9gd Graviton5 instances run on a separation kernel written in a restricted Rust subset (μRust), with 330,000 lines of Isabelle/HOL proofs covering confidentiality, integrity, and memory safety. AWS is calling it the first formally verified hypervisor in a commercial cloud, putting it in the same league as seL4. The AutoCorrode proof infrastructure behind it was open-sourced last year, so if you've been curious how this stuff actually gets verified at scale, it's worth digging into. [Read more](https://daily.dev/posts/xonDXKppx) ## Discord's honest postmortem on moving voice to Cloudflare's edge Discord shifted over 80% of voice and video traffic off a hyperscaler onto Cloudflare's 300+ PoPs to cut latency, and the writeup doesn't hide the mess: mixed-region calls got worse on new local PoPs, a Rotterdam peering bottleneck spiked latency for Orange customers, and a Rust SFU write-starvation bug combined with a softirq scheduling issue caused European ping spikes that ran into 2026. Fixes included a Valkey-backed discovery service, a nine-millisecond flush budget in the Tokio event loop, and CPU affinity pinning. Frankfurt now sees 34% lower ping and 42% less packet loss than the old vendor — but it took real pain to get there. [Read more](https://daily.dev/posts/XeEigwjRP) ## Two studies agree: agent loops cost quadratically, not linearly One analysis of 23,968 real agent turns ($5,816 spent) found the prompt-to-output ratio sits at 309:1, and identical work costs 3.8x more at turn 190 than turn 5, because stateless APIs resend the full history every time. A separate interactive simulator makes the same case: prompt caching cuts the cost coefficient by roughly 10x if the prefix stays byte-stable, but one changed byte invalidates the whole cache and resets nothing about the underlying quadratic growth. Both push the same advice — track prompt-to-output ratio and repeated tool calls, not raw token counts. [Read more](https://daily.dev/feed-by-ids?id=liVgzSNPR&id=RE4zHCLsv) --- ## Also notable - **MCP tool descriptions have no deprecation policy:** A survey of the MCP registry (66,954 publications, 20,359 servers) found 96.9% semver compliance but only ~1.5% of servers ever use the deprecation status field, meaning a tool's prose description — which models bind to like prompt input — can change meaning with zero schema-diff signal. [Read more](https://daily.dev/posts/e3emdqb1Q) - **AWS open-sources Dogwood for temporal agent policies:** Dogwood extends Cedar with operators like formerly, count_within, and sum_within so policies can reason about sequences of prior agent tool calls, not just single requests, though it sacrifices Cedar's automated formal-reasoning guarantees and ships explicitly not production-ready. [Read more](https://daily.dev/posts/BXI8dF9Jv) - **Razorpay cuts fact-table generation from 30+ hours to under 3:** Moving to an incremental processing system on Apache Iceberg with CDC events, graph traversal, and secondary indexes gave Razorpay a 90% reduction in both compute time and cost for transactional report generation. [Read more](https://daily.dev/posts/ZHnyK4aql) - **DynamoDB adds native vector search up to 4096 dimensions:** The new SearchVectors API supports Euclidean, Cosine, and Dot product distance with inline filtering and no storage limits, letting teams drop a separate vector database, though some are questioning cost versus alternatives like S3 vector buckets. [Read more](https://daily.dev/posts/nn2Cx8I4Z) - **Supabase plus a third-party auth library triples critical vulnerability rates:** A scan of 1,236 AI-built apps found 35.8% critical findings when a non-Supabase auth library is paired with Supabase (versus 24.5% for Supabase alone and 4.2% baseline), because the mismatched token silently breaks row-level security instead of erroring. [Read more](https://daily.dev/posts/w6mw2xewx) --- Tags: [#aws](https://daily.dev/tags/aws), [#cloudflare](https://daily.dev/tags/cloudflare), [#stripe](https://daily.dev/tags/stripe), [#openrouter](https://daily.dev/tags/openrouter) [View this post on daily.dev](https://daily.dev/posts/stripe-eyes-openrouter-for-7b-aws-ships-a-formally-verified-hypervisor-nqjtaxo04) ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@type":"DiscussionForumPosting","mainEntityOfPage":"https://daily.dev/posts/stripe-eyes-openrouter-for-7b-aws-ships-a-formally-verified-hypervisor-nqjtaxo04","headline":"Stripe eyes OpenRouter for $7B, AWS ships a formally verified hypervisor","text":"Stripe is reportedly paying over $7 billion for OpenRouter, a 5.4x jump from its Series B valuation three months ago. AWS's new Graviton5 instances run a hypervisor with 330,000 lines of machine-checked proofs behind it. Discord shared a brutally honest postmortem of moving voice traffic to Cloudflare's edge, bugs and all. And two separate token-cost studies landed on the same number: agent conversations get quadratically more expensive as they run longer.","url":"https://daily.dev/posts/stripe-eyes-openrouter-for-7b-aws-ships-a-formally-verified-hypervisor-nqjtaxo04","datePublished":"2026-08-17T04:18:10.299Z","dateModified":"2026-09-13T21:18:22.779Z","author":{"@type":"Organization","name":"Backend Digest","logo":"https://media.daily.dev/image/upload/s--9uCSrsAb--/f_auto,q_auto/v1773839398/logos/backend_digest?_a=BAMAMiiu0","url":"https://daily.dev/sources/backend_digest"},"interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":0},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"isPartOf":{"@type":"WebPage","url":"https://daily.dev/sources/backend_digest","name":"Backend Digest"}} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"Backend Digest","item":"https://daily.dev/sources/backend_digest"},{"@type":"ListItem","position":3,"name":"Stripe eyes OpenRouter for $7B, AWS ships a formally verified hypervisor"}]} ```