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

• Mergiraf - syntax-aware git merge driver
  

  programming vcs
  

  Comments
• The Peach meme: On CRTs, pixels and signal quality (again)
  

  art retrocomputing
  

  Comments
• Happy Birthday to KDE
  

  linux
  

  Comments
• Meta news on Lix in October 2025
  

  nix
  

  Comments
• zoo of array languages
  

  apl
  

  Comments
• We need (at least) ergonomic, explicit handles
  

  rust
  

  Comments
• Revisiting SailfishOS
  

  mobile
  

  Comments
• nanochat: The best ChatGPT that $100 can buy
  

  ai rust
  

  Comments
• Django forever
  

  python web
  

  Comments
• Why did containers happen? A view from ten years in the trenches by Docker's former CTO Justin Cormack
  

  virtualization
  

  Comments
• Octothorpes
  

  web
  

  Comments
• nitro: tiny but flexible init system and process supervisor
  

  unix
  

  Comments

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

• Switch to Jujutsu already: a tutorial
  

  vcs
  

  Comments
• Burrows-Wheeler Transform (BWT)
  

  math science
  

  Comments
• The Country That Broke Kotlin
  

  kotlin
  

  Comments
• LineageOS 23 released
  

  android
  

  Comments
• fzf 0.66.0 introduces “--raw mode”
  

  release unix
  

  Comments
• Testing two 18 TB white label SATA hard drives from datablocks.dev
  

  hardware
  

  Comments
• The reason GCC is not a library (2000)
  

  compilers
  

  Comments
• Three ways "formally verified" can go wrong
  

  formalmethods
  

  Comments
• The European Accessibility Act will make the Web Better for Everyone
  

  a11y law web
  

  Comments
• WSL-For-FreeBSD: Experimental project to FreeBSD in WSL2
  

  freebsd virtualization windows
  

  Comments
• w11: PDP-11/70 CPU core and SoC
  

  hardware retrocomputing
  

  Comments
• Tinymist is an integrated language service for Typst
  

  programming
  

  Comments

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

• Bro, ban me at the IP level if you don't like me
  

  web
  

  Comments
• Why I Read Technical Books
  

  practices
  

  Comments
• ghrc.io Appears to be Malicious
  

  devops security virtualization
  

  Comments
• What are OKLCH colors?
  

  design
  

  Comments
• Who's Afraid of a Hard Page Load?
  

  web
  

  Comments
• I Don't Like Imports
  

  practices rust
  

  Comments
• Don't pick weird subnets for embedded networks, use VRFs
  

  networking
  

  Comments
• Which Programming Language Should I Teach First?
  

  education
  

  Comments
• Introducing Zod Codecs
  

  javascript release
  

  Comments
• macOS dotfiles should not go in ~/Library/Application Support
  

  mac unix
  

  Comments
• Google wants to make sideloading Android apps safer by verifying developers’ identities
  

  android privacy
  

  Comments
• The Limits of NTP Accuracy on Linux
  

  linux
  

  Comments