Slowcial Sharing

lobste.rs

Showing summary for 2026-04-14 | From 2026-04-13 00:00:00 UTC to 2026-04-14 00:00:00 UTC

Go to latest

• Servo 0.1.0 (first LTS version) is now available on crates.io

  http://servo.org

  111 points | 7 comments | 2026-04-13 13:42:04 UTC

• GitHub Stacked PRs

  http://github.github.com

  82 points | 52 comments | 2026-04-13 21:05:39 UTC

• Lean proved this program was correct; then I found a bug

  http://kirancodes.me

  64 points | 22 comments | 2026-04-13 16:04:27 UTC

• All elementary functions from a single binary operator

  http://arxiv.org

  55 points | 8 comments | 2026-04-13 10:30:59 UTC

• Configuration flags are where software goes to rot

  http://00f.net

  39 points | 21 comments | 2026-04-13 15:12:52 UTC

• Debloat your async Rust

  http://tweedegolf.nl

  37 points | 1 comments | 2026-04-13 16:28:30 UTC

• Did you notice the command error exit in the shell?

  http://monzool.net

  34 points | 23 comments | 2026-04-13 05:53:07 UTC

• What are you doing this week?

  http://lobste.rs

  25 points | 51 comments | 2026-04-13 11:43:10 UTC

• Can we finally use C++ Modules in 2026?

  http://mropert.github.io

  18 points | 7 comments | 2026-04-13 18:56:34 UTC

• Microsoft exec suggests AI agents will need to buy software licenses, just like employees

  http://www.businessinsider.com

  16 points | 13 comments | 2026-04-13 23:23:31 UTC