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

• Ironclad, a formally verified Unix-like kernel written in Ada
  

  osdev
  

  Comments
• Why I don't love Rust (either) (2021)
  

  c++ rust
  

  Comments
• I worked for the Internet – now what?
  

  javascript rust
  

  Comments
• Trait-Constrained Enums in Rust
  

  haskell plt rust
  

  Comments
• The new `du` command (in `/lib/cargo/bin/coreutils`) outputs wrong sizes in Ubuntu 25.10
  

  linux
  

  Comments
• GSOC 2025 Reports: Using bubblewrap to add sandboxing to NetBSD
  

  netbsd
  

  Comments
• Profiling tools I use for QEMU storage performance optimization
  

  performance virtualization
  

  Comments
• Slow Software for a Burning World
  

  distributed practices web
  

  Comments
• How many options fit into a boolean?
  

  performance rust
  

  Comments
• Small Language Models are the Future of Agentic AI
  

  ai
  

  Comments
• The Ofcom Files, Part 2: IP Blocking the UK is Not Enough to Comply with the Online Safety Act
  

  law
  

  Comments
• Forth - is it still relevant?
  

  concatenative
  

  Comments

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

• opencloud - an alternative to nextcloud written in Go
  

  go performance web
  

  Comments
• Jelly Slider
  

  design web
  

  Comments
• Linking and shrinking Rust static libraries: a tale of fire
  

  rust
  

  Comments
• Problems With Move Semantics in C++
  

  video c++
  

  Comments
• AI's 70% Problem
  

  vibecoding
  

  Comments
• Why I don’t test different designs at the same time
  

  design practices
  

  Comments
• Local First HTMX
  

  web
  

  Comments
• From Milliamperes to Microamperes: Lessons in Low-Power Gadgetmaking
  

  video hardware
  

  Comments
• Bootc for workstation use
  

  linux
  

  Comments
• FFmpeg Assembly Language Lessons
  

  assembly
  

  Comments
• From web developer to database developer in 10 years
  

  databases programming
  

  Comments
• When Your Hash Becomes a String: Hunting a Ruby Million-to-One Memory Bug
  

  debugging ruby
  

  Comments

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

• Unix V4 tape found at The University of Utah
  

  retrocomputing unix
  

  Comments
• I use Typst now
  

  programming
  

  Comments
• Mastodon 4.5
  

  distributed release
  

  Comments
• Error Codes for Control Flow
  

  plt zig
  

  Comments
• What the hell have you built
  

  rant
  

  Comments
• Firefox Forcing LLM Features
  

  vibecoding
  

  Comments
• Typst-Unlit: Write literate Haskell programs in Typst
  

  pdf haskell
  

  Comments
• You Should Write An Agent
  

  vibecoding
  

  Comments
• Building blobd: single-machine object store with sub-millisecond reads and 15 GB/s uploads
  

  performance programming
  

  Comments
• Radiant Computer
  

  osdev programming vibecoding
  

  Comments
• Why Nextcloud feels slow to use
  

  performance web
  

  Comments
• Introduction to IncusOS
  

  release virtualization
  

  Comments

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

• CHERIoT 1.0 Released
  

  hardware security
  

  Comments
• I ****ing hate Science (2021)
  

  science
  

  Comments
• a11y.css
  

  a11y web
  

  Comments
• Don't give Postgres too much memory
  

  databases performance
  

  Comments
• Skeena Indigenous Typeface
  

  design
  

  Comments
• "Why don't you use dependent types?"
  

  formalmethods
  

  Comments
• AWK technical notes (2023)
  

  plt
  

  Comments
• Using Assisted-by commit footers instead of banning AI tools
  

  vibecoding
  

  Comments
• Control structures in programming languages
  

  education ml
  

  Comments
• Absurd Workflows: Durable Execution With Just Postgres
  

  programming
  

  Comments
• State of Terminal Emulators in 2025: The Errant Champions
  

  a11y
  

  Comments
• RDSEED Failure on AMD “Zen 5” Processors
  

  security
  

  Comments

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

• GHC now runs in your browser
  

  haskell
  

  Comments
• My impressions of the MacBook Pro M4
  

  hardware mac
  

  Comments
• Announcing Rust 1.91.0
  

  release rust
  

  Comments
• Just use a button
  

  web
  

  Comments
• wastrel, a profligate implementation of webassembly
  

  compilers wasm
  

  Comments
• Corrosion - a distributed system for propagating SQLite state across a cluster of nodes
  

  databases distributed rust
  

  Comments
• Roadmap for improving the Swift type checker
  

  plt swift
  

  Comments
• The Math Mode Problem in Typst
  

  programming
  

  Comments
• Perfetto: Swiss Army Knife for Linux Client Tracing
  

  linux performance visualization
  

  Comments
• Language Models are Injective and Hence Invertible
  

  ai math security
  

  Comments
• Fix your FODs
  

  nix security
  

  Comments
• Hacking India’s largest automaker: Tata Motors
  

  security
  

  Comments