HN Buddy

Daily digest of top Hacker News posts and comments

Subscribe to the HN Buddy Daily Digest

Your email will only be used for the HN Buddy Daily Digest. I will not share it with anyone.

HN Buddy Daily Digest

Friday, November 13, 2026

Hey buddy,

Long time no talk! Just saw some wild stuff on Hacker News from Friday, figured I'd give you the quick rundown. It was a pretty interesting day, especially with all the tech drama.

FAA Ground Stop Chaos

The biggest thing was the FAA issuing a national ground stop for all flights in the US! It lasted like 4.5 hours. Super crazy, right? But get this, the comments section, instead of talking about air traffic, somehow devolved into a deep dive on old phone tech, specifically Time Division Multiplexing (TDM) versus packet switching. People were saying TDM was way better for phone calls. Go figure!

Nvidia CEO Drama

Then there was this whole thing about Nvidia employees petitioning to bring back Jensen Huang. Apparently, he was out. The comments were wild, suggesting it wasn't just about some infidelity scandal being pushed, but more about him potentially diverting massive amounts of chips to China illegally. Talk about corporate intrigue!

Big Tech Outages: Microsoft & Claude Down

Seems like Friday was a bad day for big tech. Microsoft Outlook/365 was down for 12 hours, and there was even a global Microsoft outage reported. And if that wasn't enough, Claude, the AI, had "elevated errors" too. For Claude, people in the comments figured out it was an authentication issue, not the AI itself making more mistakes. Some joked about "AI slop" causing these outages, which is pretty dark humor for IT folks.

LibreOffice's Subtle Jab

Someone posted this funny title: "LibreOffice actually works 365 days a year". It's a clear dig at Microsoft, implying their stuff doesn't always work. A cool comment brought up an old joke about OpenOffice, where someone supposedly found a bug preventing it from printing on Tuesdays. Classic!

Doomsday 2026: A Blast from the Past

Super relevant for the date, there was an article titled "Doomsday: Friday, 13 November, A.D. 2026 (1960)". It was an old scientific paper from 1960 predicting doomsday for *today's date*. The comments went pretty deep into societal issues like poverty, fertility rates, and the "Limits to Growth" concept. Kinda chilling how some of those predictions might feel relevant even now.

AI Unlocks Gödel's Notebooks

This was pretty cool: AI apparently helped unlock Kurt Gödel's notebooks, said to contain hundreds of new theorems. It's like AI bringing old genius back to life. The comments clarified that humans did the incredibly hard work of transcribing Gödel's shorthand first, but the AI then helped analyze and make sense of the content to find new mathematical insights. Still super impressive!

Anyway, that's the highlights. Catch you later!

All Stories from Today

FAA issues national ground stop – lifted 4.5 hours later (www.nbcnews.com)

LibreOffice actually works 365 days a year (twitter.com)

Nvidia employees petition to bring back Jensen Huang (www.wired.com)

Elevated errors on claude.ai, Claude Code, and platform.claude.com (status.claude.com)

Doomsday: Friday, 13 November, A.D. 2026 (1960) (www.science.org)

Microsoft Outlook/365 still down after 12 hours (twitter.com)

AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems (www.theguardian.com)

IceWM (ice-wm.org)

$11.4M in Nvidia hardware vanishes during shipment from CA to TX (www.freightwaves.com)

It Takes 16 Clicks for a Student to Open a PowerPoint on an iPad (www.reddit.com)

AI is destroying the trust between writers and readers (www.theatlantic.com)

Global Microsoft Outage (www.cnn.com)

Eli Lilly CEO pushes back on Dario Amodei's medical claims (garymarcus.substack.com)

Jonathan Blow – If AI solved coding, why is my software still the same? [video] (www.youtube.com)

Brave Search API now accepts agentic payments via the x402 protocol (brave.com)

Live airband on all frequencies from KORS. Victoria, CA also ground stopped (orcasairband.com)

After 600 experiments, here's what I discovered about JEPA world models (haddyalchaer.com)

FM-1 Workbench (open.m-vave.com)

Why Zig over C for Systems Programming (www.mtsoukalos.eu)

Terminal borders that don't cost a cell (www.joshka.net)

Big tech is here to let us down (blog.jsweeting.me)

Show HN: Isometric SF – A pixel-art map of the SF Bay Area (isometricsf.com)

A technical vision for the Haskell ecosystem (discourse.haskell.org)

All US airports are currently ground stopped (twitter.com)

Claude Is Down (status.claude.com)

No AI Slop: A Manifesto (www.slopmanifesto.com)

Why is Google cutting off Search from AI-free schools? Here are some theories (text.npr.org)

Found: A protein that drives ageing without unleashing inflammation (www.nature.com)

U.S. October PPI Rises 6.5% YoY, Highest in Nearly Four Years (news.ycombinator.com)

Brazil's Caixa insurer breach exposes names and tax IDs of all 7.6M customers (filemanager-cdn.mziq.com)