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

# Daily headlines

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

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

### [Which Go router should I use? (with flowchart)](<https://www.alexedwards.net/blog/which-go-router-should-i-use>)

Source: Lobsters · Domain: alexedwards.net

Published: 2023-05-08T21:32:11+00:00

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

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

### [Why your TCP-based VPN stutters (and how to fix it)](<https://blog.carldong.me/2023/05/03/why-do-vpns.html>)

Source: Lobsters · Domain: blog.carldong.me

Published: 2023-05-08T20:49:37+00:00

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

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

### [Programmable Ink](<https://youtu.be/ifYuvgXZ108>)

Source: Lobsters · Domain: youtu.be

Published: 2023-05-08T18:03:06+00:00

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

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

### [What is Type-Level Programming?](<https://blog.sulami.xyz/posts/type-level-programming/>)

Source: Lobsters · Domain: blog.sulami.xyz

Published: 2023-05-08T18:56:00+00:00

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

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

### [SQRL is an open standard for secure website login and authentication](<https://en.m.wikipedia.org/wiki/SQRL>)

Source: Lobsters · Domain: en.m.wikipedia.org

Published: 2023-05-08T19:29:16+00:00

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

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

### [An Introduction to TLA+ and Its Use in Parties](<https://www.innoq.com/en/articles/2023/04/an-introduction-to-tla/>)

Source: Lobsters · Domain: innoq.com

Published: 2023-05-09T09:18:04+00:00

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

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

### [Fitting millions of documents in 128 TB of virtual memory](<https://blog.meilisearch.com/dynamic-virtual-address-management/>)

Source: Lobsters · Domain: blog.meilisearch.com

Published: 2023-05-09T08:24:23+00:00

Points: 21 · Comments: [7](<https://lobste.rs/s/3swdng>)

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

### [Assemblers](<https://maskray.me/blog/2023-05-08-assemblers>)

Source: Lobsters · Domain: maskray.me

Published: 2023-05-09T07:16:12+00:00

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

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

### [Interrupt Safe Ring Buffer: Bare Metal Programming Series](<https://www.youtube.com/watch?v=uIJnATS9j_0>)

Source: Lobsters · Domain: youtube.com

Published: 2023-05-09T09:36:31+00:00

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

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

### [Around the world: How Wikipedia became a multi-datacenter deployment](<https://techblog.wikimedia.org/2023/05/08/around-the-world-how-wikipedia-became-a-multi-datacenter-deployment/>)

Source: Lobsters · Domain: techblog.wikimedia.org

Published: 2023-05-08T19:23:42+00:00

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

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

## Edition progress · 13/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 · estimated
- 07:12 UTC · missed
- 08:24 UTC · missed
- 09:36 UTC · estimated
- 10:48 UTC · missed
- 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 · missed
- 20:24 UTC · estimated
- 21:36 UTC · estimated
- 22:48 UTC · estimated
- 00:00 UTC · missed

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

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