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

# Daily headlines

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

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

### [Protoweb](<https://protoweb.org/>)

Source: Lobsters · Domain: protoweb.org

Published: 2024-02-17T20:08:59+00:00

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

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

### [Mathematical and Puzzle Fonts/Typefaces](<https://erikdemaine.org/fonts/>)

Source: Lobsters · Domain: erikdemaine.org

Published: 2024-02-17T19:03:59+00:00

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

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

### [Strategy pattern in Go](<https://rednafi.com/go/strategy_pattern/>)

Source: Lobsters · Domain: rednafi.com

Published: 2024-02-17T11:53:39+00:00

Points: 6 · Comments: [12](<https://lobste.rs/s/o3leyk>)

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

### [Steampipe \| select \* from cloud](<https://steampipe.io/>)

Source: Lobsters · Domain: steampipe.io

Published: 2024-02-17T20:00:53+00:00

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

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

### [Lisp \& Hardware Verification with ACL2](<https://www.youtube.com/watch?v=iFEb9p54x_Q>)

Source: Lobsters · Domain: youtube.com

Published: 2024-02-17T18:56:38+00:00

Points: 8 · Comments: [2](<https://lobste.rs/s/4jjoig>)

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

## Edition progress · 5/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 · estimated
- 08:24 UTC · missed
- 09:36 UTC · estimated
- 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=2024-02-17&limit=20&q=>) · [Today](</headlines/first.md?date=2026-11-10&limit=20&q=>) · [Next day](</headlines/first.md?date=2024-02-19&limit=20&q=>)

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