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

• Atom is better than RSS, in ways that matter
  

  web
  

  Comments
• Postmortem for Lean Kernel Soundness Bug #14576
  

  formalmethods plt
  

  Comments
• sizeof is surprisingly difficult to parse in c
  

  c
  

  Comments
• A week in Matrix
  

  distributed rant
  

  Comments
• Resigning from Arch Linux
  

  linux person
  

  Comments
• An old-new take on argument parsing in Rust
  

  rust unix
  

  Comments
• Prevent cognitive debt by manually retyping LLM-generated code
  

  vibecoding
  

  Comments
• But can your calculator run Linux?
  

  hardware linux
  

  Comments
• The Fixi Project
  

  web
  

  Comments
• Where's your website?
  

  culture
  

  Comments
• LLMs won't break symmetric crypto
  

  cryptography vibecoding
  

  Comments
• Test the Email Verification Protocol with an origin trial
  

  browsers email
  

  Comments

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

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

• Memory Safety Absolutists
  

  c rust zig
  

  Comments
• Maybe we should revisit microkernels
  

  osdev
  

  Comments
• How I Find Problems to Solve as a Staff Engineer
  

  practices
  

  Comments
• General Resolution: LLM usage in Debian
  

  culture linux vibecoding
  

  Comments
• Emacs Writing Machine
  

  emacs linux
  

  Comments
• Teaching Kids Forth
  

  concatenative education
  

  Comments
• How to self-host servers in your living room on static IPs
  

  networking
  

  Comments
• Himalaya v2.0.0: CLI to manage emails
  

  email release rust vibecoding
  

  Comments
• Verse: A New Scripting Language
  

  video logiclangs plt
  

  Comments
• I'm running the ICFP programming contest
  

  event programming
  

  Comments
• Postgres LISTEN/NOTIFY Actually Scales
  

  databases
  

  Comments
• Delightful integration tests in Rust
  

  rust
  

  Comments

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

• Don't take the black pill
  

  video culture
  

  Comments
• Making GIFs from 35mm film photography
  

  art
  

  Comments
• You should selfhost your mail (in 2026)
  

  email
  

  Comments
• Fil-C: Garbage In, Memory Safety Out
  

  video c c++
  

  Comments
• FreeBSD ports frozen after someone commits the entire 150MB Linux Copilot binary
  

  freebsd
  

  Comments
• Software Should Work Worked
  

  event
  

  Comments
• Jolt: running Clojure on Chez Scheme
  

  clojure lisp programming vibecoding
  

  Comments
• On Accountability
  

  practices vibecoding
  

  Comments
• The PImpl idiom and the C++26 std::indirect type
  

  c++
  

  Comments
• Prompt Caching In Agents
  

  vibecoding
  

  Comments
• Spatial languages: writing code in 2D
  

  plt
  

  Comments
• The case for MUDs in modern times
  

  games retrocomputing
  

  Comments

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

• So Reddit has decided that plain HTML is unsafe
  

  rant web
  

  Comments
• LG to Ban Residential Proxies from Smart TV Apps
  

  security
  

  Comments
• Free Ink · An open ecosystem for e-readers
  

  hardware
  

  Comments
• OpenAI model breaks out of security sandbox, hacks Hugging Face for data to pass test
  

  security vibecoding
  

  Comments
• SIMD for Collision
  

  performance
  

  Comments
• Slash Pages
  

  web
  

  Comments
• log is non-monotonic in PHP and Lua
  

  lua math php
  

  Comments
• COSMIC DE’s First Seven Months
  

  linux
  

  Comments
• Rewriting the Futhark type checker
  

  plt
  

  Comments
• Unranked, systemd, crawls
  

  linux systemd
  

  Comments
• PyPI releases now reject new files after 14 days
  

  python security
  

  Comments
• Prefactoring: Clear the Way for Your New Feature
  

  testing
  

  Comments