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

• The Missing Piece in Rust Error Handling
  

  rust
  

  Comments
• Programming Isn’t Special
  

  art vibecoding
  

  Comments
• Bevy 0.20
  

  games release rust
  

  Comments
• 64-Day Certificate Lifetimes Coming Feb 2027
  

  devops security
  

  Comments
• Unison Cloud is now open source
  

  release
  

  Comments
• A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda
  

  design plt
  

  Comments
• Why Are Coding Agents So Dumb?
  

  rant vibecoding
  

  Comments
• Beauty in DVD Menus
  

  art
  

  Comments
• Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
  

  pdf formalmethods math reversing vibecoding
  

  Comments
• Python 3.15.0
  

  python release
  

  Comments
• Extending Guix
  

  nix
  

  Comments
• The Performance Cost of RwLock in Our Read-Heavy Workload
  

  performance rust
  

  Comments

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

• Anti-Patterns in Software Blogging
  

  programming
  

  Comments
• Janet on x32: 32-bit Pointers, 64-bit Speed, 25% Less RAM
  

  linux performance
  

  Comments
• Last rites for Gentoo's Chromium package
  

  browsers linux practices
  

  Comments
• Software developers are not okay
  

  philosophy
  

  Comments
• Is COSMIC DE mogging KDE Plasma?
  

  design linux
  

  Comments
• Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90
  

  person
  

  Comments
• C for Rust Programmers
  

  c rust
  

  Comments
• A Terminal Protocol for Program Status (OSC 7501)
  

  programming
  

  Comments
• Release of Polars 2.0
  

  release
  

  Comments
• Explaining the Magelight XP glitch in Skyrim
  

  games reversing
  

  Comments
• Reasons to dislike AI coding
  

  vibecoding
  

  Comments
• Shipping JPEG XL in Chrome
  

  browsers rust
  

  Comments

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

• Why don’t more developers "use the platform"?
  

  web
  

  Comments
• Rust's derive often implies inline
  

  rust
  

  Comments
• We’re going to need default hard budget caps on pretty much everything
  

  practices vibecoding
  

  Comments
• Kolibri: A Sovereign Open-Weight Model
  

  vibecoding
  

  Comments
• The complement of true is true, except when it's false
  

  c++
  

  Comments
• System-level ad-blocking in Android
  

  android
  

  Comments
• An Update on Orion for Linux and Windows
  

  browsers linux windows
  

  Comments
• Rust, In Sickness & In Health
  

  video rust
  

  Comments
• Flatpak from the CLI sucks
  

  linux rant
  

  Comments
• Problems and solutions to the modern desktop (Make tmux the OS)
  

  ios osdev vibecoding windows
  

  Comments
• Our RISC-V emulator PasRISCV
  

  games virtualization
  

  Comments
• Upstream Rust maintenance report
  

  compilers performance rust
  

  Comments

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

• IANA's email about why example.com changed
  

  networking web
  

  Comments
• Announcing Rust 1.99.0
  

  release rust
  

  Comments
• Who's hiring? Q4 2026
  

  job
  

  Comments
• Reviving Valve's 15-year-old e-book
  

  games reversing vibecoding
  

  Comments
• Typeclasses vs Modules
  

  haskell ml plt
  

  Comments
• Finding Bugs
  

  rust testing
  

  Comments
• EDG C/C++ Compiler Project
  

  c c++ compilers
  

  Comments
• Turbo Haskell
  

  haskell java programming vibecoding
  

  Comments
• The AI Pascal’s Wager
  

  vibecoding
  

  Comments
• Reducing the cognitive load of AI changes
  

  vibecoding
  

  Comments
• Q2 2026 Backblaze Drive Stats: Hard Drive Failure Rates
  

  hardware
  

  Comments
• Major rsync upgrade in Debian because of 33 CVEs
  

  security
  

  Comments

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

• Looking forward to Git 2.56 - and 3.0
  

  vcs
  

  Comments
• Named and Optional Arguments are Awesome
  

  plt rust
  

  Comments
• Self-Hosting Behind CGNAT
  

  linux networking
  

  Comments
• Fearless SIMD v1.0 is here
  

  release rust
  

  Comments
• Arguing about arguments
  

  programming rust
  

  Comments
• rift - a tiling window manager for macos
  

  mac rust
  

  Comments
• Why 0xCAFEBABE?
  

  historical java
  

  Comments
• Ju! Ju! Tsu
  

  book vcs
  

  Comments
• evocation - Call forth the blue-green flame of computation from the universe, weave its energies into a fabric, that we may share our blood with it
  

  concatenative plt
  

  Comments
• Design your programming languages right (2024)
  

  plt
  

  Comments
• AI Has No Wisdom and Neither Will You
  

  rant vibecoding
  

  Comments
• Making a game for the GBA and PC from the same codebase
  

  games
  

  Comments