Why AI hasn't changed your software

Jonathan Blow asks why AI coding hasn't made software better, and Haskell pitches itself as the language for reviewing AI code. Plus palm-played guitar frets, Jensen Huang's clash with Nvidia's interim CEO, and a live transcribed airband feed from Orcas Island.Jonathan Blow – If AI solved coding, why is my software still the same? (HN discussion)A technical vision for the Haskell ecosystem (HN discussion)Minnesota guitarist's "palmfrets" invention strikes a new chord (HN discussion)Nvidia allegedly engineered scarcity by funding AI startups to buy its GPUs (HN discussion)Live airband on all frequencies from KORS (HN discussion)Chapters:(00:00) Intro(00:43) 1. Jonathan Blow – If AI solved coding, why is my software still the same?(01:23) 1. Jonathan Blow – If AI solved coding, why is my software still the same?: HN comments(03:06) 2. A technical vision for the Haskell ecosystem(04:03) 2. A technical vision for the Haskell ecosystem: HN comments(05:21) 3. Minnesota guitarist's "palmfrets" invention strikes a new chord(06:33) 3. Minnesota guitarist's "palmfrets" invention strikes a new chord: HN comments(07:13) 4. Nvidia allegedly engineered scarcity by funding AI startups to buy its GPUs(08:16) 4. Nvidia allegedly engineered scarcity by funding AI startups to buy its GPUs: HN comments(09:10) 5. Live airband on all frequencies from KORS(10:27) 5. Live airband on all frequencies from KORS: HN comments(11:16) Wrap-up

A telecommunications outage grounds every departing flight in the United States, six pallets of reportedly Nvidia hardware vanish on the way to Texas, and a teacher counts the steps to open one slideshow. Plus a cheap synthesizer whose maker embraced its hackers, and a manifesto against AI slop.FAA issues national ground stop (HN discussion)$11.4M in Nvidia hardware vanishes during shipment from CA to TX (HN discussion)It Takes 16 Clicks for a Student to Open a PowerPoint on an iPad (HN discussion)FM-1 Workbench (HN discussion)No AI Slop: A Manifesto (HN discussion)Chapters:(00:00) Intro(00:46) 1. FAA issues national ground stop(02:08) 1. FAA issues national ground stop: HN comments(03:43) 2. $11.4M in Nvidia hardware vanishes during shipment from CA to TX(04:48) 2. $11.4M in Nvidia hardware vanishes during shipment from CA to TX: HN comments(06:12) 3. It Takes 16 Clicks for a Student to Open a PowerPoint on an iPad(07:21) 3. It Takes 16 Clicks for a Student to Open a PowerPoint on an iPad: HN comments(08:26) 4. FM-1 Workbench(09:18) 4. FM-1 Workbench: HN comments(10:10) 5. No AI Slop: A Manifesto(11:25) 5. No AI Slop: A Manifesto: HN comments(12:21) Wrap-up

LibreOffice's one-line boast during Microsoft's outage, the backlash over Google's AI-or-nothing Search for schools, the EU's lagging digital identity wallets, a breach at a Brazilian insurer, and an AI reading of Kurt Gödel's notebooks.LibreOffice actually works 365 days a year (HN discussion)Why is Google cutting off Search from AI-free schools? (HN discussion)EU Digital Identity Wallet rollout: every EU state on one board (HN discussion)Brazil's Caixa insurer breach exposes names and tax IDs of 7.6M customers (HN discussion)AI unlocks Gödel's notebooks (HN discussion)Chapters:(00:00) Intro(00:51) 1. LibreOffice actually works 365 days a year(01:12) 1. LibreOffice actually works 365 days a year: HN comments(02:35) 2. Why is Google cutting off Search from AI-free schools?(03:41) 2. Why is Google cutting off Search from AI-free schools?: HN comments(04:59) 3. EU Digital Identity Wallet rollout: every EU state on one board(05:57) 3. EU Digital Identity Wallet rollout: every EU state on one board: HN comments(06:53) 4. Brazil's Caixa insurer breach exposes names and tax IDs of 7.6M customers(07:45) 4. Brazil's Caixa insurer breach exposes names and tax IDs of 7.6M customers: HN comments(08:38) 5. AI unlocks Gödel's notebooks(10:16) 5. AI unlocks Gödel's notebooks: HN comments(11:04) Wrap-up

A window manager from 1997 that people still run every day, US producer prices at a near four-year high, and an air purifier freed from its cloud. Plus Zig versus C, and a novelist on how AI fakes erode readers' trust.IceWM (HN discussion)U.S. October PPI Rises 6.5% YoY, Highest in Nearly Four Years (HN discussion)Reverse Engineering My Coway Air Purifier to Ditch the Cloud (HN discussion)Why Zig over C for Systems Programming (HN discussion)AI Is Destroying the Trust Between Writers and Readers (HN discussion)Chapters:(00:00) Intro(00:44) 1. IceWM(01:30) 1. IceWM: HN comments(02:45) 2. U.S. October PPI Rises 6.5% YoY, Highest in Nearly Four Years(03:39) 2. U.S. October PPI Rises 6.5% YoY, Highest in Nearly Four Years: HN comments(04:42) 3. Reverse Engineering My Coway Air Purifier to Ditch the Cloud(06:06) 3. Reverse Engineering My Coway Air Purifier to Ditch the Cloud: HN comments(06:56) 4. Why Zig over C for Systems Programming(08:09) 4. Why Zig over C for Systems Programming: HN comments(08:58) 5. AI Is Destroying the Trust Between Writers and Readers(10:05) 5. AI Is Destroying the Trust Between Writers and Readers: HN comments(10:45) Wrap-up

Claude's sign-in breaks the morning after Microsoft's outage began, which has now run past twelve hours. Plus a 1960 paper that put doomsday on today's date, Eli Lilly's CEO on Anthropic's cure promise, and Brave selling searches to AI agents for crypto.Elevated errors on claude.ai, Claude Code, and platform.claude.com (HN discussion)Microsoft Outlook/365 still down after 12 hours (HN discussion)Doomsday: Friday, 13 November, A.D. 2026 (1960) (HN discussion)Eli Lilly CEO pushes back on Dario Amodei's ludicrous medical claims (HN discussion)Brave Search API now accepts agentic payments via the x402 protocol (HN discussion)Chapters:(00:00) Intro(00:45) 1. Elevated errors on claude.ai, Claude Code, and platform.claude.com(01:38) 1. Elevated errors on claude.ai, Claude Code, and platform.claude.com: HN comments(03:09) 2. Microsoft Outlook/365 still down after 12 hours(04:20) 2. Microsoft Outlook/365 still down after 12 hours: HN comments(05:32) 3. Doomsday: Friday, 13 November, A.D. 2026 (1960)(06:31) 3. Doomsday: Friday, 13 November, A.D. 2026 (1960): HN comments(07:39) 4. Eli Lilly CEO pushes back on Dario Amodei's ludicrous medical claims(08:45) 4. Eli Lilly CEO pushes back on Dario Amodei's ludicrous medical claims: HN comments(10:00) 5. Brave Search API now accepts agentic payments via the x402 protocol(10:54) 5. Brave Search API now accepts agentic payments via the x402 protocol: HN comments(11:56) Wrap-up

Modders make Raven's never-released Quake 4 expansion playable, a new Rust JIT promises shorter builds, and a startup claims a 145-billion-parameter model fits a laptop. Plus a 22-year-old Postgres flaw turned into code execution, and Nvidia staff pushing to bring back Jensen Huang.Abandoned Quake 4 expansion finished by modders and now playable (HN discussion)Relax: JIT compiler for Rust to reduce build times (HN discussion)Edge0-145B: Frontier AI Capabilities on Your Own Computer (HN discussion)Turning a 22-year-old Postgres type-confusion primitive into RCE (HN discussion)Nvidia employees petition to bring back Jensen Huang (HN discussion)Chapters:(00:00) Intro(00:48) 1. Abandoned Quake 4 expansion finished by modders and now playable(02:00) 1. Abandoned Quake 4 expansion finished by modders and now playable: HN comments(02:43) 2. Relax: JIT compiler for Rust to reduce build times(03:40) 2. Relax: JIT compiler for Rust to reduce build times: HN comments(04:17) 3. Edge0-145B: Frontier AI Capabilities on Your Own Computer(05:11) 3. Edge0-145B: Frontier AI Capabilities on Your Own Computer: HN comments(06:03) 4. Turning a 22-year-old Postgres type-confusion primitive into RCE(07:16) 4. Turning a 22-year-old Postgres type-confusion primitive into RCE: HN comments(08:00) 5. Nvidia employees petition to bring back Jensen Huang(09:12) 5. Nvidia employees petition to bring back Jensen Huang: HN comments(10:32) Wrap-up

A new tool draws Linux boot as a live tree of systemd jobs, and synth developers say AI-made apps have clogged Apple's App Review. Plus a 16-billion-parameter model on a 2013 iPad, Blackwell fingerprints in Chinese AI models, and an agent that waters a garden.A live tree of systemd jobs on the boot console (HN discussion)AI is turning Apple's app review process into a nightmare for synth developers (HN discussion)I'm making LLMs work on small and old devices (HN discussion)Chinese frontier AI models carry the fingerprint of export-controlled GPUs (HN discussion)I gave an agent a lakehouse and control of my garden (HN discussion)Chapters:(00:00) Intro(00:47) 1. A live tree of systemd jobs on the boot console(01:44) 1. A live tree of systemd jobs on the boot console: HN comments(03:44) 2. AI is turning Apple's app review process into a nightmare for synth developers(04:59) 2. AI is turning Apple's app review process into a nightmare for synth developers: HN comments(06:27) 3. I'm making LLMs work on small and old devices(07:37) 3. I'm making LLMs work on small and old devices: HN comments(08:41) 4. Chinese frontier AI models carry the fingerprint of export-controlled GPUs(09:52) 4. Chinese frontier AI models carry the fingerprint of export-controlled GPUs: HN comments(10:36) 5. I gave an agent a lakehouse and control of my garden(11:50) 5. I gave an agent a lakehouse and control of my garden: HN comments(12:32) Wrap-up

Microsoft's mail and Teams outage is still unfixed nearly six hours in as revived servers can fail again, a study says households pay most grid costs from data center growth, an AI-built app frees an embroidery machine from its subscription, a possible sixth dwarf planet turns up past Neptune, and a fluid-cooled ship battery makes big claims.Service degradation on Microsoft 365 (HN discussion)Data centers need power – lower income, rural residents pay the price (HN discussion)Show HN: My $300 embroidery machine needed a subscription, so I built my own app (HN discussion)Dwarf planet candidate appears which takes roughly 280 years to orbit our sun (HN discussion)Electric ship batteries promise compact, cooler power (HN discussion)Chapters:(00:00) Intro(00:48) 1. Service degradation on Microsoft 365(02:09) 1. Service degradation on Microsoft 365: HN comments(04:01) 2. Data centers need power – lower income, rural residents pay the price(04:59) 2. Data centers need power – lower income, rural residents pay the price: HN comments(06:41) 3. Show HN: My $300 embroidery machine needed a subscription, so I built my own app(07:51) 3. Show HN: My $300 embroidery machine needed a subscription, so I built my own app: HN comments(09:07) 4. Dwarf planet candidate appears which takes roughly 280 years to orbit our sun(10:27) 4. Dwarf planet candidate appears which takes roughly 280 years to orbit our sun: HN comments(11:20) 5. Electric ship batteries promise compact, cooler power(12:35) 5. Electric ship batteries promise compact, cooler power: HN comments(13:27) Wrap-up

Google's new everyday Gemini model beats one of its frontier models on an outside index, Microsoft 365 goes down for hours, Nintendo sweeps Switch mod-chip firmware off GitHub, Jane Street lets campus candidates use LLMs, and Rust stabilizes the never type.Gemini 4 Hydrogen (HN discussion)Ask HN: Microsoft/Azure Outage? (HN discussion)Nintendo Takes Down Emulators and Firmware in Massive GitHub DMCA Sweep (HN discussion)Our software engineering interviews are changing a little (HN discussion)Rust 1.100 (HN discussion)Chapters:(00:00) Intro(00:41) 1. Gemini 4 Hydrogen(01:42) 1. Gemini 4 Hydrogen: HN comments(03:29) 2. Ask HN: Microsoft/Azure Outage?(04:36) 2. Ask HN: Microsoft/Azure Outage?: HN comments(06:04) 3. Nintendo Takes Down Emulators and Firmware in Massive GitHub DMCA Sweep(07:15) 3. Nintendo Takes Down Emulators and Firmware in Massive GitHub DMCA Sweep: HN comments(08:39) 4. Our software engineering interviews are changing a little(09:36) 4. Our software engineering interviews are changing a little: HN comments(11:00) 5. Rust 1.100(12:03) 5. Rust 1.100: HN comments(12:44) Wrap-up

Jensen Huang leaves Nvidia with finance chief Colette Kress as interim CEO. Plus Jane Street's Socratic tutor skill, Atuin's synced agent sessions, why correct software is hard, and a tiny RNA copier.NVIDIA Announces CEO Transition (HN discussion)Socratic Tutor (HN discussion)Atuin Threads: All your agent sessions on every machine (HN discussion)Why Writing Correct Software Is Hard (HN discussion)Did Life Begin in an RNA World? (HN discussion)Chapters:(00:00) Intro(00:46) 1. NVIDIA Announces CEO Transition(01:48) 1. NVIDIA Announces CEO Transition: HN comments(03:17) 2. Socratic Tutor(04:20) 2. Socratic Tutor: HN comments(05:29) 3. Atuin Threads: All your agent sessions on every machine(06:35) 3. Atuin Threads: All your agent sessions on every machine: HN comments(07:28) 4. Why Writing Correct Software Is Hard(08:30) 4. Why Writing Correct Software Is Hard: HN comments(09:30) 5. Did Life Begin in an RNA World?(10:42) 5. Did Life Begin in an RNA World?: HN comments(11:24) Wrap-up