---
title: "Daily headlines · Daily Diff"
---

# Daily headlines

[Daily edition](</index.md>) · [Hot now](</hot.md>)

[Top 10](</headlines/first.md?date=2026-11-14&limit=10&q=>) · [Top 20](</headlines/first.md?date=2026-11-14&limit=20&q=>) · [Above median](</headlines/first.md?date=2026-11-14&limit=20&q=&mode=median>)

### [AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems](<https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths>)

Source: Hacker News · Domain: theguardian.com

Published: 2026-11-13T17:30:10+00:00

Points: 416 · Comments: [107](<https://news.ycombinator.com/item?id=50486748>)

### [It Takes 16 Clicks for a Student to Open a PowerPoint on an iPad](<https://www.reddit.com/r/Teachers/comments/1xuup7a/technology_sucks_it_literally_takes_16_clicks_for/>)

Source: Hacker News · Domain: reddit.com

Published: 2026-11-13T18:18:37+00:00

Points: 382 · Comments: [215](<https://news.ycombinator.com/item?id=50487522>)

### [Global Microsoft Outage](<https://www.cnn.com/2026/11/12/business/live-news/microsoft-global-outage-intl-hnk>)

Source: Hacker News · Domain: cnn.com

Published: 2026-11-13T06:18:23+00:00

Points: 292 · Comments: [182](<https://news.ycombinator.com/item?id=50479098>)

### [How Not to Build a Music Player](<https://alichraghi.github.io/blog/how-not-to-build-a-music-player>)

Source: Lobsters · Domain: alichraghi.github.io

Published: 2026-11-13T09:16:28+00:00

Points: 106 · Comments: [25](<https://lobste.rs/s/lh9pwf>)

Tags: [person](</search.md?q=person>)

### [Nvidia allegedly engineered scarcity by funding AI startups to buy its GPUs](<https://www.techpowerup.com/354814/nvidia-allegedly-engineered-scarcity-by-funding-ai-startups-to-buy-its-gpus>)

Source: Hacker News · Domain: techpowerup.com

Published: 2026-11-14T02:52:59+00:00

Points: 995 · Comments: [600](<https://news.ycombinator.com/item?id=50493251>)

### [Ukraine knocks out 36% of Russia's oil refining capacity in under two weeks](<https://english.nv.ua/nation/thirteen-day-drone-blitz-paralyzes-36-of-moscow-s-oil-50658616.html>)

Source: Hacker News · Domain: english.nv.ua

Published: 2026-11-14T01:10:22+00:00

Points: 300 · Comments: [209](<https://news.ycombinator.com/item?id=50492456>)

### [Jonathan Blow – If AI solved coding, why is my software still the same? \[video\]](<https://www.youtube.com/watch?v=IRK8h67ol7Q>)

Source: Hacker News · Domain: youtube.com

Published: 2026-11-13T15:08:44+00:00

Points: 444 · Comments: [637](<https://news.ycombinator.com/item?id=50484658>)

### [FM-1 Workbench](<https://open.m-vave.com/fm1-workbench>)

Source: Hacker News · Domain: open.m-vave.com

Published: 2026-11-13T19:14:02+00:00

Points: 265 · Comments: [175](<https://news.ycombinator.com/item?id=50488325>)

### [Terminal borders that don't cost a cell](<https://www.joshka.net/cell-borders/>)

Source: Hacker News · Domain: joshka.net

Published: 2026-11-13T23:06:40+00:00

Points: 396 · Comments: [177](<https://news.ycombinator.com/item?id=50491423>)

Also discussed: [Lobsters · 48 comments](<https://lobste.rs/s/akdy9z>)

### [Ggml v1.0.0](<https://github.com/ggml-org/ggml/releases/tag/v1.0.0>)

Source: Hacker News · Domain: github.com

Published: 2026-11-14T02:28:29+00:00

Points: 389 · Comments: [66](<https://news.ycombinator.com/item?id=50493062>)

## Edition progress · 17/20 selections generated

Checkpoints use UTC. Calculated recovery may fill gaps; missing eligible coverage remains missed.

- 01:12 UTC · estimated
- 02:24 UTC · estimated
- 03:36 UTC · estimated
- 04:48 UTC · estimated
- 06:00 UTC · estimated
- 07:12 UTC · estimated
- 08:24 UTC · estimated
- 09:36 UTC · estimated
- 10:48 UTC · estimated
- 12:00 UTC · estimated
- 13:12 UTC · estimated
- 14:24 UTC · estimated
- 15:36 UTC · estimated
- 16:48 UTC · estimated
- 18:00 UTC · estimated
- 19:12 UTC · estimated
- 20:24 UTC · selected
- 21:36 UTC · pending
- 22:48 UTC · pending
- 00:00 UTC · pending

[Previous day](</headlines/first.md?date=2026-11-13&limit=20&q=>) · [Today](</headlines/first.md?date=2026-11-14&limit=20&q=>)

[Headlines 1–10](</headlines/first.md?date=2026-11-14&limit=20&q=>) · [Headlines 11–20](</headlines/second.md?date=2026-11-14&limit=20&q=>)