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

• Declarative music - 2 Minute Deep Acid in Strudel (from scratch)
  

  video art editors
  

  Comments
• Lobsters Interview with Susam
  

  interview person
  

  Comments
• Kefir 0.5.0 Release Announcement (C17/C23 compiler)
  

  c compilers release
  

  Comments
• A positive lambda: '+[]{}'
  

  c++
  

  Comments
• FatNums: An Alternate Representation for School Arithmetic (2020)
  

  education math
  

  Comments
• Program verification is not all-or-nothing
  

  formalmethods
  

  Comments
• Classic GTK1 GUI Library for Windows, Linux and MacOS
  

  retrocomputing
  

  Comments
• Fun Friday Question: What Easter Eggs have you Found or Made?
  

  ask programming
  

  Comments
• Debian 13, Postgres, and the US/* time zones
  

  databases devops linux
  

  Comments
• Logging in Go with Slog: A Practitioner's Guide
  

  go
  

  Comments
• Defeating Nondeterminism in LLM Inference
  

  ai
  

  Comments
• httpjail: monitor and restrict HTTP/HTTPS requests from processes
  

  networking vibecoding
  

  Comments

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

• What the hell is going on right now?
  

  rant vibecoding
  

  Comments
• Lobsters Interview with Matklad
  

  person
  

  Comments
• I'm too dumb for Zig's new IO interface
  

  zig
  

  Comments
• The issue of anti-cheat on Linux
  

  games linux
  

  Comments
• Go is still not good
  

  go rant
  

  Comments
• Ledger (2023)
  

  finance unix visualization
  

  Comments
• Arch Linux - News: Recent service outages
  

  linux
  

  Comments
• No, Google Did Not Unilaterally Decide to Kill XSLT
  

  web
  

  Comments
• The Baby Paradox in Haskell
  

  formalmethods haskell
  

  Comments
• Hyperclay | Single File HTML APPS
  

  web
  

  Comments
• A New Rust Packaging Model
  

  nix rust
  

  Comments
• Why do software developers love complexity?
  

  practices
  

  Comments

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

• Why is GitHub UI getting so much slower?
  

  performance web
  

  Comments
• Lobsters Interview with Hwayne
  

  interview formalmethods person
  

  Comments
• The Framework Desktop is a beast
  

  hardware
  

  Comments
• Debian 13 "trixie" released
  

  linux release
  

  Comments
• an engineer's perspective on hiring
  

  practices
  

  Comments
• A Spellchecker Used to Be a Major Feat of Software Engineering (2008)
  

  historical
  

  Comments
• Partially Matching Zig Enums
  

  programming
  

  Comments
• A puzzling Python program
  

  python
  

  Comments
• Introducing spindle
  

  nix vcs
  

  Comments
• Programming as Extended Cognition
  

  programming
  

  Comments
• A CT scanner reveals surprises inside the 386 processor's ceramic package
  

  hardware historical reversing
  

  Comments
• Why MCP’s Disregard for 40 Years of RPC Best Practices Will Burn Enterprises
  

  api vibecoding
  

  Comments

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

• Phrase origin: Why do we “call” functions?
  

  historical plt
  

  Comments
• The Tree Borrows paper is finally published
  

  formalmethods plt rust
  

  Comments
• Hare by Example
  

  programming
  

  Comments
• IBM Power11 hits the market this month
  

  hardware
  

  Comments
• CVE-2025-48384: Breaking git with a carriage return and cloning RCE
  

  security vcs
  

  Comments
• toml v0.9
  

  rust
  

  Comments
• Multiple vulnerabilities fixed in Git
  

  security vcs
  

  Comments
• Frame of preference – A history of Mac settings, 1984–2004
  

  historical mac
  

  Comments
• Brut: A New Web Framework for Ruby
  

  ruby
  

  Comments
• Supabase MCP can leak your entire SQL database
  

  security vibecoding
  

  Comments
• Hippocratic License
  

  law
  

  Comments
• Oregon Programming Languages Summer School (OPLSS) 2025: Types, Logic, and Formal Methods
  

  video education formalmethods plt
  

  Comments

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

• The rise of Whatever
  

  culture rant
  

  Comments
• I want to leave tech: what do I do?
  

  culture person
  

  Comments
• Zig Roadmap 2026
  

  video zig
  

  Comments
• The most mysterious bug I solved at work
  

  debugging
  

  Comments
• Git experts should try Jujutsu
  

  practices vcs
  

  Comments
• Our Fullstack Architecture: Eta, HTMX, and Lit
  

  web
  

  Comments
• writing a little gosh
  

  go unix
  

  Comments
• A supposedly worthwhile contract I'll never do again
  

  formalmethods
  

  Comments
• RFC 9799: ACME Extensions for ".onion"
  

  cryptography security
  

  Comments
• Compression Dictionary Transport
  

  performance web
  

  Comments
• goHardDrive Leaked Personal Data for Thousands of Customers
  

  security
  

  Comments
• Taking over 60k spyware user accounts with SQL injection
  

  security
  

  Comments