Skip to headlines
?
×
Keyboard shortcuts
?
Show / hide shortcuts
J
/
K
Next / previous story
Tab
/
Shift Tab
Next / previous link or control
Enter
Open link or submit form
Space
Toggle focused details
Esc
Close this dialog
Enable J/K shortcuts
Shortcuts pause while typing. Tab navigation always works.
daily
diff
Headlines
Hacker News
Lobsters
Programming.dev
Archive
Search
Appearance
Dark
Light
System
Daily edition
Hot now
Daily headlines
Top 10
Top 20
Above median
Daily ranking · strictly above median
2023-05-09
9
30
An Introduction to TLA+ and Its Use in Parties
LB
innoq.com
3 years ago
formalmethods
11
18
Which Go router should I use? (with flowchart)
LB
alexedwards.net
3 years ago
go
7
21
Fitting millions of documents in 128 TB of virtual memory
LB
blog.meilisearch.com
3 years ago
programming
9
16
Why your TCP-based VPN stutters (and how to fix it)
LB
blog.carldong.me
3 years ago
networking
5
26
Understanding ActivityPub
LB
seb.jambor.dev
3 years ago
distributed
10
20
The seven specification ur-languages
LB
buttondown.email
3 years ago
programming