{"id":"1792707085308-tech-segment","slug":"pc-sales-crater-as-ram-prices-bite","title":"PC sales crater as RAM prices bite","summary":"Anthropic has a Frontier Red Team and has published research on using Claude for formal verification and bug-finding; the general claim that formal verification can prove absence of certain bugs but historically required expert time is accurate.\n\nCanva launched Canva Craft, an AI image generation model with a two-stage architecture that plans designs before generating images.\n\nCounterpoint Research reported global PC shipments fell 21% year-over-year in Q3 2026, and smartphone shipments hit a 14-year low.\n\nThe Verge reports that SpaceX and Tesla have formed special committees to discuss a merger, and that SpaceX is about to borrow another $40 billion for Nvidia chips.","publishedAt":"2026-10-22T22:11:25.308Z","channel":{"id":"tech","name":"Oncast Tech","language":"en"},"show":"Tech Tonight","verification":{"status":"verified","leadVerdict":"TRUE","notes":"TRUE: Anthropic has a Frontier Red Team and has published research on using Claude for formal verification and bug-finding; the general claim that formal verification can prove absence of certain bugs but historically required expert time is accurate.\nSource: [anthropic.com](https://www.anthropic.com/research/team/frontier-red-team), [runtimeverification.com](https://runtimeverification.com/blog/the-proof-is-in-the-s (https://x.com/AnthropicAI/status/2113390212911083894)\n\nTRUE: Canva launched Canva Craft, an AI image generation model with a two-stage architecture that plans designs before generating images.\nSource: [theverge.com](https://www.theverge.com/ai-artificial-intelligence/1017151/canva-craft-in-house-ai-model) NAMES: Canva = design software company (https://www.theverge.com/ai-artificial-intelligence/1017151/canva-craft-in-house-ai-model)\n\nTRUE: Counterpoint Research reported global PC shipments fell 21% year-over-year in Q3 2026, and smartphone shipments hit a 14-year low.\nSource: [theverge.com](https://www.theverge.com/gadgets/1017144/global-pc-shipments-dropped-q3-2026-ram) POST news:a816c7c78ed97a2a: NOCLAIM (https://www.theverge.com/gadgets/1017144/global-pc-shipments-dropped-q3-2026-ram)\n\nTRUE: The Verge reports that SpaceX and Tesla have formed special committees to discuss a merger, and that SpaceX is about to borrow another $40 billion for Nvidia chips.\nSource: [theverge.com](https://www.theverge.com/ai-artificial-intelligence/1016879/spacex-tesla-cursed-katamari) (https://www.theverge.com/ai-artificial-intelligence/1016879/spacex-tesla-cursed-katamari)","claims":[{"verdict":"TRUE","summary":"Anthropic has a Frontier Red Team and has published research on using Claude for formal verification and bug-finding; the general claim that formal verification can prove absence of certain bugs but historically required expert time is accurate.","sourceName":"[anthropic.com](https://www.anthropic.com/research/team/frontier-red-team), [runtimeverification.com](https://runtimeverification.com/blog/the-proof-is-in-the-s","sourceUrl":"https://x.com/AnthropicAI/status/2113390212911083894","claim":"New on our Frontier Red Team blog: using Claude to formally verify software at large scale. Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time). With AI models,","author":"Anthropic (@AnthropicAI)"},{"verdict":"TRUE","summary":"Canva launched Canva Craft, an AI image generation model with a two-stage architecture that plans designs before generating images.","sourceName":"[theverge.com](https://www.theverge.com/ai-artificial-intelligence/1017151/canva-craft-in-house-ai-model) NAMES: Canva = design software company","sourceUrl":"https://www.theverge.com/ai-artificial-intelligence/1017151/canva-craft-in-house-ai-model","claim":"Canva’s first AI image model plans designs before generating them - Canva is diving even deeper into AI with the launch of an image generation model that competes directly with those from OpenAI, Microsoft, and Google. The model, called Canva Craft, uses a two-stage architecture ","author":"The Verge"},{"verdict":"TRUE","summary":"Counterpoint Research reported global PC shipments fell 21% year-over-year in Q3 2026, and smartphone shipments hit a 14-year low.","sourceName":"[theverge.com](https://www.theverge.com/gadgets/1017144/global-pc-shipments-dropped-q3-2026-ram) POST news:a816c7c78ed97a2a: NOCLAIM","sourceUrl":"https://www.theverge.com/gadgets/1017144/global-pc-shipments-dropped-q3-2026-ram","claim":"PC shipments dropped over 20 percent in Q3 due to RAM price hikes - Demand for new PCs took a hit after months of price hikes, with Counterpoint Research reporting global PC shipments fell 21 percent year-over-year in Q3 2026. That's in line with earlier reports from IDC and Omdi","author":"The Verge"},{"verdict":"TRUE","summary":"The Verge reports that SpaceX and Tesla have formed special committees to discuss a merger, and that SpaceX is about to borrow another $40 billion for Nvidia chips.","sourceName":"[theverge.com](https://www.theverge.com/ai-artificial-intelligence/1016879/spacex-tesla-cursed-katamari)","sourceUrl":"https://www.theverge.com/ai-artificial-intelligence/1016879/spacex-tesla-cursed-katamari","claim":"Sure, let’s smoosh SpaceX and Tesla together, who cares - Oh sure, SpaceX's credit risk is pretty high because it's about to borrow another $40 billion to spend on Nvidia chips, but who cares about that? SpaceX and Tesla have formed special committees to discuss a merger! The deg","author":"The Verge"}]},"sources":[{"url":"https://x.com/AnthropicAI/status/2113390212911083894","name":"[anthropic.com](https://www.anthropic.com/research/team/frontier-red-team), [runtimeverification.com](https://runtimeverification.com/blog/the-proof-is-in-the-s","kind":"x","verdict":"TRUE","author":"Anthropic (@AnthropicAI)"},{"url":"https://www.theverge.com/ai-artificial-intelligence/1017151/canva-craft-in-house-ai-model","name":"[theverge.com](https://www.theverge.com/ai-artificial-intelligence/1017151/canva-craft-in-house-ai-model) NAMES: Canva = design software company","kind":"news","verdict":"TRUE","author":"The Verge"},{"url":"https://www.theverge.com/gadgets/1017144/global-pc-shipments-dropped-q3-2026-ram","name":"[theverge.com](https://www.theverge.com/gadgets/1017144/global-pc-shipments-dropped-q3-2026-ram) POST news:a816c7c78ed97a2a: NOCLAIM","kind":"news","verdict":"TRUE","author":"The Verge"},{"url":"https://www.theverge.com/ai-artificial-intelligence/1016879/spacex-tesla-cursed-katamari","name":"[theverge.com](https://www.theverge.com/ai-artificial-intelligence/1016879/spacex-tesla-cursed-katamari)","kind":"news","verdict":"TRUE","author":"The Verge"}],"url":"https://oncast.fm/story/1792707085308-tech-segment-pc-sales-crater-as-ram-prices-bite","listenUrl":"https://oncast.fm/c/tech","attribution":{"publisher":"Oncast","site":"https://oncast.fm","url":"https://oncast.fm/story/1792707085308-tech-segment-pc-sales-crater-as-ram-prices-bite","cite":"Cite https://oncast.fm/story/1792707085308-tech-segment-pc-sales-crater-as-ram-prices-bite and the original source links. Fact-check by Oncast (oncast.fm)."},"hostsSaid":[{"host":"Matilda","text":"PC shipments just fell off a cliff — down 21 percent in a single quarter."},{"host":"Chris","text":"Twenty-one percent? That's not a dip, that's a crater."},{"host":"Matilda","text":"Counterpoint Research says it's the RAM. Prices have been climbing for months, and people just stopped buying."},{"host":"Chris","text":"So the memory shortage finally hit consumers. I've been watching those prices creep up on every build I price out."},{"host":"Matilda","text":"And it's not just PCs. Smartphone shipments hit a fourteen-year low in the same quarter."},{"host":"Chris","text":"Fourteen years. That's before the first iPhone was even a decade old."},{"host":"Matilda","text":"The weird part? Everyone's still talking about AI demand for chips. But the consumer side is freezing up."},{"host":"Chris","text":"Because AI servers are eating the supply. The RAM that used to go into your laptop is going into data centers."},{"host":"Matilda","text":"So the AI boom is literally pricing people out of buying a new computer."},{"host":"Chris","text":"That's exactly what the numbers say. And it's not going to fix itself next quarter."},{"host":"Matilda","text":"Speaking of AI eating everything — Canva just launched its own image model. It's called Canva Craft."},{"host":"Chris","text":"Canva's making foundation models now? The design app?"},{"host":"Matilda","text":"The Verge says it uses a two-stage thing — it plans the design first, then generates the image."},{"host":"Chris","text":"So instead of just spitting out pixels, it thinks about layout before it draws. That's actually smart."},{"host":"Matilda","text":"They're going straight at OpenAI, Microsoft, Google. Everyone's got an image model now."},{"host":"Chris","text":"But Canva's pitch is different. Their users aren't prompt engineers — they're small business owners making a flyer."},{"host":"Matilda","text":"Right. If the model understands 'make this text fit here and don't cover the logo,' that's a real product."},{"host":"Chris","text":"That's the first AI image tool I've heard of that's built for people who don't care about AI."},{"host":"Matilda","text":"Meanwhile, Anthropic's red team just published something that sounds like a big deal — using Claude to formally verify software."},{"host":"Chris","text":"Formal verification. That's the thing where you mathematically prove code has no certain bugs."},{"host":"Matilda","text":"Historically it's been too expensive for big codebases. Too much expert time."},{"host":"Chris","text":"And now they're saying Claude can do it at scale. That would be huge for safety-critical stuff."},{"host":"Matilda","text":"It's a blog post, not a peer-reviewed paper. But the direction is interesting."},{"host":"Chris","text":"If an AI can prove your code is bug-free, that changes how we build everything from cars to medical devices."},{"host":"Matilda","text":"And one more thing — that levelsio guy, the indie hacker, is on SpaceX's AI landing page now."},{"host":"Chris","text":"The guy who builds tiny apps is on the rocket company's AI page? That's a crossover I didn't expect."},{"host":"Matilda","text":"He's proud of it. Posted it himself. Good for him, honestly."},{"host":"Chris","text":"From shipping a flight tracker to being on SpaceX's page. That's the indie dream right there."}]}