Lobsters Daily
Daily top stories from Lobste.rs

Daily Lobsters for 2026-07-30

The 12 highest-rated articles on Lobsters on July 30, 2026 which have not appeared on any previous Lobsters Daily are:

  • It doesn’t matter whether “Matz is nice”
    culture ruby
    Comments
  • State of multi-player Wayland
    linux
    Comments
  • AI Mania Is Eviscerating Global Decision-Making
    vibecoding
    Comments
  • The mean means nothing
    performance
    Comments
  • User Interfaces of the Demo Scene
    art design
    Comments
  • Writing Toy Software Is A Joy (2025)
    programming
    Comments
  • Why Rocq is better than Lean for program verification
    compilers formalmethods ml plt
    Comments
  • Manganin: tools matter
    vcs zig
    Comments
  • Overengineered calculator: Zig + QBE
    compilers zig
    Comments
  • A field day for Gleam’s language server | Gleam v.1.18.0 release
    gleam release
    Comments
  • Dependency Cultures - Richard Feldman (Software Should Work Conf 2026)
    video practices programming
    Comments
  • Building (systems) software with Nix
    nix osdev
    Comments
art, compilers, culture, design, formalmethods, gleam, linux, ml, nix, osdev, performance, plt, practices, programming, release, ruby, vcs, vibecoding, video, zig

Subscribe

RSS feed

Recent posts

  • Daily Lobsters for 2026-07-30
  • Daily Lobsters for 2026-07-29
  • Daily Lobsters for 2026-07-28
  • Daily Lobsters for 2026-07-27
  • Daily Lobsters for 2026-07-26
  • Daily Lobsters for 2026-07-25
  • Daily Lobsters for 2026-07-24

Archives

  • 2026
  • 2025
  • 2024
Inspired by Hacker News Daily

We can't find the internet

Attempting to reconnect

Something went wrong!

Attempting to reconnect