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

# Daily headlines

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

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

### [Story: Redis and its creator antirez](<https://blog.brachiosoft.com/redis-en>)

Source: Lobsters · Domain: blog.brachiosoft.com

Published: 2023-05-09T15:00:33+00:00

Points: 11 · Comments: [1](<https://lobste.rs/s/ldamqv>)

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

### [How OmniPaxos handles partial connectivity - and why other protocols can’t](<https://omnipaxos.com/blog/how-omnipaxos-handles-partial-connectivity-and-why-other-protocols-cant/>)

Source: Lobsters · Domain: omnipaxos.com

Published: 2023-05-09T14:17:19+00:00

Points: 5 · Comments: [2](<https://lobste.rs/s/defoca>)

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

### [Cover Craft Dust Covers - Disaster Insurance. Protect your hardware from the unexpected](<https://computeradsfromthepast.substack.com/p/cover-craft-dust-covers>)

Source: Lobsters · Domain: computeradsfromthepast.substack.com

Published: 2023-05-09T17:28:09+00:00

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

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

## Edition progress · 3/20 selections generated

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

- 01:12 UTC · estimated
- 02:24 UTC · missed
- 03:36 UTC · missed
- 04:48 UTC · missed
- 06:00 UTC · missed
- 07:12 UTC · missed
- 08:24 UTC · missed
- 09:36 UTC · missed
- 10:48 UTC · missed
- 12:00 UTC · estimated
- 13:12 UTC · missed
- 14:24 UTC · missed
- 15:36 UTC · estimated
- 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-05-09&limit=20&q=>) · [Today](</headlines/first.md?date=2026-11-13&limit=20&q=>) · [Next day](</headlines/first.md?date=2023-05-11&limit=20&q=>)

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