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

# Daily headlines

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

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

Daily ranking · strictly above median

## 2024-05-16

### [That time PostgreSQL said "no thanks, I don't need your index"](<https://jaywhy13.hashnode.dev/that-time-postgresql-said-no-thanks-i-dont-need-your-index>)

Source: Lobsters · Domain: jaywhy13.hashnode.dev

Published: 2024-05-15T18:15:30+00:00

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

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

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

### [procfusion: Very simple process manager written in Rust for your Docker images](<https://github.com/linkdd/procfusion>)

Source: Lobsters · Domain: github.com

Published: 2024-05-15T13:06:16+00:00

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

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

### [Make a game with Hoot for the Lisp Game Jam](<https://spritely.institute/news/make-a-game-with-hoot-for-the-lisp-game-jam.html>)

Source: Lobsters · Domain: spritely.institute

Published: 2024-05-15T18:32:08+00:00

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

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

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

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