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 August 02, 2026 which have not appeared on any previous Lobsters Daily are:

• Elevators
  

  compsci math performance visualization
  

  Comments
• NetBSD 11.0 released
  

  netbsd release
  

  Comments
• Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8)
  

  openbsd practices
  

  Comments
• June in Servo: real world compat, media queries, SharedWorker, and more
  

  browsers web
  

  Comments
• Arch Linux disables AUR package adoption
  

  linux security
  

  Comments
• wiff
  

  practices vcs vibecoding
  

  Comments
• The Wheels We Keep Reinventing
  

  practices
  

  Comments
• The State of Chez Scheme in Debian
  

  linux lisp
  

  Comments
• what the double-fork?
  

  linux
  

  Comments
• Let's make the worst htmx ever
  

  javascript web
  

  Comments
• Accepting a messy git history
  

  practices vcs
  

  Comments
• What are you doing this weekend?
  

  ask programming
  

  Comments

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

• How to speed up the Rust compiler in July 2026
  

  compilers performance rust
  

  Comments
• Go 1.27 interactive tour
  

  go
  

  Comments
• Ruby Central's Destructive Legacy
  

  ruby
  

  Comments
• Why I forked rand
  

  rust
  

  Comments
• Stripe Just Wants a Number
  

  programming
  

  Comments
• Building Progressively Enhanced Forms Using htmx
  

  javascript web
  

  Comments
• GCC steering committee announces AI policy
  

  c c++ vibecoding
  

  Comments
• Correlated RNG
  

  games
  

  Comments
• A question about a factorial operator
  

  ask compilers
  

  Comments
• Full flattening of nested data parallelism
  

  programming
  

  Comments
• Private data in ATProto: Permissioned Data Proposal
  

  distributed
  

  Comments
• Guix shell now inside Emacs
  

  emacs nix
  

  Comments

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

• C++ float-to-int conversion can be undefined behavior
  

  c++
  

  Comments
• First CHERIoT Silicon
  

  hardware
  

  Comments
• What side projects have you enjoyed the most?
  

  ask programming
  

  Comments
• deskhop: Fast Desktop Switching Device
  

  hardware
  

  Comments
• The AI Aesthetic
  

  design vibecoding
  

  Comments
• Some notes about Anthropic’s new results
  

  cryptography vibecoding
  

  Comments
• basebrowserproject
  

  browsers
  

  Comments
• Setting timers in simple games (feat. the frame rule)
  

  games
  

  Comments
• Stacked pull requests are now in public preview
  

  vcs
  

  Comments
• GNU Hyperbole Implicit Buttons: Build your Hyperverse
  

  emacs
  

  Comments
• PostgreSQL MVCC: tradeoffs compared to other engines
  

  databases
  

  Comments
• Progress toward compiling Linux with gccrs
  

  linux rust
  

  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