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

# Daily headlines

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

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

### [An SVG viewer / browser / "slideshow" which itself is a self-contained SVG](<https://github.com/stevana/svg-viewer-in-svg#svg-viewer-written-in-svg>)

Source: Lobsters · Domain: github.com

Published: 2023-09-09T07:29:57+00:00

Points: 12 · Comments: [5](<https://lobste.rs/s/70ymtu>)

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

### [Using Kani to Validate Security Boundaries in AWS Firecracker](<https://model-checking.github.io/kani-verifier-blog/2023/08/31/using-kani-to-validate-security-boundaries-in-aws-firecracker.html>)

Source: Lobsters · Domain: model-checking.github.io

Published: 2023-09-08T20:11:25+00:00

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

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

### [My mental model of Clojure transducers](<https://blog.danieljanus.pl/2023/09/09/transducers/>)

Source: Lobsters · Domain: blog.danieljanus.pl

Published: 2023-09-09T13:14:58+00:00

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

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

### [Much Ado About Nil Things: More Go Pitfalls](<https://www.dolthub.com/blog/2023-09-08-much-ado-about-nil-things/>)

Source: Lobsters · Domain: dolthub.com

Published: 2023-09-09T13:15:05+00:00

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

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

### [There is plenty of room at the bottom (2021)](<http://muratbuffalo.blogspot.com/2021/08/there-is-plenty-of-room-at-bottom.html>)

Source: Lobsters · Domain: muratbuffalo.blogspot.com

Published: 2023-09-09T12:37:39+00:00

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

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

## Edition progress · 15/20 selections generated

Checkpoints use UTC. Calculated recovery may fill gaps; missing eligible coverage remains missed.

- 01:12 UTC · estimated
- 02:24 UTC · estimated
- 03:36 UTC · estimated
- 04:48 UTC · estimated
- 06:00 UTC · estimated
- 07:12 UTC · estimated
- 08:24 UTC · estimated
- 09:36 UTC · missed
- 10:48 UTC · estimated
- 12:00 UTC · estimated
- 13:12 UTC · estimated
- 14:24 UTC · missed
- 15:36 UTC · missed
- 16:48 UTC · estimated
- 18:00 UTC · estimated
- 19:12 UTC · estimated
- 20:24 UTC · estimated
- 21:36 UTC · missed
- 22:48 UTC · missed
- 00:00 UTC · estimated

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

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