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

Daily ranking · strictly above median

## 2024-02-18

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

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

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

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

### [FreeBSD Status Report 2023 Q4](<https://www.freebsd.org/status/report-2023-10-2023-12/>)

Source: Lobsters · Domain: freebsd.org

Published: 2024-02-16T16:53:48+00:00

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

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