---
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>)

Daily ranking · strictly above median

## 2023-05-09

### [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>)

### [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>)

### [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>)

### [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>)

### [Understanding ActivityPub](<https://seb.jambor.dev/posts/understanding-activitypub/>)

Source: Lobsters · Domain: seb.jambor.dev

Published: 2023-05-09T16:01:59+00:00

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

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

### [The seven specification ur-languages](<https://buttondown.email/hillelwayne/archive/the-seven-specification-ur-languages/>)

Source: Lobsters · Domain: buttondown.email

Published: 2023-05-09T14:26:30+00:00

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

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