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

# Daily headlines

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

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

### [Just for fun: What happens when you shift a register by more than the register size?](<https://devblogs.microsoft.com/oldnewthing/20230904-00/?p=108704>)

Source: Lobsters · Domain: devblogs.microsoft.com

Published: 2023-09-09T15:18:38+00:00

Points: 9 · Comments: [0](<https://lobste.rs/s/lndue2>)

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

### [Is POPL Mathematics or Science?](<https://www.cs.princeton.edu/~appel/papers/science.pdf>)

Source: Lobsters · Domain: cs.princeton.edu

Published: 2023-09-09T12:00:07+00:00

Points: 7 · Comments: [0](<https://lobste.rs/s/w0qu8g>)

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

## Edition progress · 2/20 selections generated

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

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

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

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