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

# Daily headlines

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

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

### [Inside a low budget consumer hardware espionage implant](<https://ha.cking.ch/s8_data_line_locator/>)

Source: Lobsters · Domain: ha.cking.ch

Published: 2024-05-15T07:22:02+00:00

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

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

### [ok Considered Harmful](<https://www.dolthub.com/blog/2024-05-10-ok-considered-harmful/>)

Source: Lobsters · Domain: dolthub.com

Published: 2024-05-15T08:12:26+00:00

Points: 17 · Comments: [46](<https://lobste.rs/s/lnav33>)

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

### [VMware Fusion: The Worst Website In The Entire World](<https://matduggan.com/the-worst-website-in-the-entire-world/>)

Source: Lobsters · Domain: matduggan.com

Published: 2024-05-15T13:29:05+00:00

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

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

### [Translation of Rust's core and alloc crates to Coq](<https://formal.land/blog/2024/04/26/translation-core-alloc-crates>)

Source: Lobsters · Domain: formal.land

Published: 2024-05-15T08:55:55+00:00

Points: 16 · Comments: [0](<https://lobste.rs/s/449txi>)

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

### [Jepsen: Datomic Pro 1.0.7075](<https://jepsen.io/analyses/datomic-pro-1.0.7075>)

Source: Lobsters · Domain: jepsen.io

Published: 2024-05-15T16:57:56+00:00

Points: 102 · Comments: [15](<https://lobste.rs/s/rjonl7>)

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

### [Heroku on two standard dynos?](<https://brandur.org/fragments/heroku-two-dynos>)

Source: Lobsters · Domain: brandur.org

Published: 2024-05-15T13:22:47+00:00

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

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

### [Apple announces new accessibility features, including Eye Tracking](<https://www.apple.com/newsroom/2024/05/apple-announces-new-accessibility-features-including-eye-tracking/>)

Source: Lobsters · Domain: apple.com

Published: 2024-05-15T15:01:08+00:00

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

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

### [A Rust + WASM development environment with Nix](<https://jordankaye.dev/posts/rust-wasm-nix/>)

Source: Lobsters · Domain: jordankaye.dev

Published: 2024-05-15T13:24:33+00:00

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

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

### [Discovering Small GitHub Projects for Contributing to FOSS](<https://wiki.developersindia.in/faqs/finding-small-foss-projects-on-github>)

Source: Lobsters · Domain: wiki.developersindia.in

Published: 2024-05-15T06:55:20+00:00

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

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

## Edition progress · 9/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 · missed
- 04:48 UTC · missed
- 06:00 UTC · missed
- 07:12 UTC · missed
- 08:24 UTC · missed
- 09:36 UTC · missed
- 10:48 UTC · missed
- 12:00 UTC · estimated
- 13:12 UTC · missed
- 14:24 UTC · missed
- 15:36 UTC · estimated
- 16:48 UTC · estimated
- 18:00 UTC · estimated
- 19:12 UTC · estimated
- 20:24 UTC · estimated
- 21:36 UTC · estimated
- 22:48 UTC · estimated
- 00:00 UTC · estimated

[Previous day](</headlines/first.md?date=2024-05-14&limit=20&q=>) · [Today](</headlines/first.md?date=2026-11-08&limit=20&q=>) · [Next day](</headlines/first.md?date=2024-05-16&limit=20&q=>)

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