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

• A note on Fil-C
  

  plt
  

  Comments
• jujutsu v0.35.0 released
  

  release vcs
  

  Comments
• Announcing Development on Flirt
  

  vcs
  

  Comments
• LixCon in 2026
  

  event nix
  

  Comments
• By the power of grayscale
  

  c graphics
  

  Comments
• How I fell in love with calendar.txt
  

  unix
  

  Comments
• apps.apple.com: App Store web version
  

  web
  

  Comments
• gem.coop update #1
  

  ruby
  

  Comments
• Löb and möb: strange loops in Haskell
  

  haskell
  

  Comments
• Recursive macros in C, demystified (once the ugly crying stops)
  

  c c++
  

  Comments
• oss-security - runc container breakouts via procfs writes: CVE-2025-31133, CVE-2025-52565, and CVE-2025-52881
  

  devops security
  

  Comments
• A File Format Uncracked for 20 Years
  

  reversing
  

  Comments

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

• Mr TIFF
  

  historical
  

  Comments
• A Short Survey of Compiler Targets
  

  compilers
  

  Comments
• You don't need Kafka: Building a message queue with only two UNIX signals
  

  ruby unix
  

  Comments
• Things I Don't Like in Configuration Languages
  

  rant
  

  Comments
• Myna: monospace typeface designed for symbol-heavy programming languages
  

  programming
  

  Comments
• Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
  

  programming zig
  

  Comments
• I made a website that vibe-codes itself
  

  vibecoding web
  

  Comments
• JVM exceptions are weird: a decompiler perspective
  

  java reversing
  

  Comments
• What is cosh(List(Bool))? Or beyond algebra: analysis of data types
  

  formalmethods math
  

  Comments
• Strange Attractors
  

  math programming visualization
  

  Comments
• Announcing the Rust Foundation Maintainers Fund
  

  rust
  

  Comments
• On Async Mutexes
  

  plt zig
  

  Comments