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

• The Programmer Identity Crisis
  

  vibecoding
  

  Comments
• Citizen Protest Halts Chat Control
  

  cryptography law privacy
  

  Comments
• My Email to Tim Cook
  

  ios law
  

  Comments
• Saving My Commit With `jj evolog`
  

  vcs
  

  Comments
• Half an year on Alpine: just musl aside
  

  linux
  

  Comments
• Ratcheting with Postgres CONSTRAINT
  

  databases practices
  

  Comments
• How we found a bug in Go's arm64 compiler
  

  go
  

  Comments
• Dewaffling the tech industry
  

  culture rant
  

  Comments
• You're doing Rails wrong
  

  practices satire web
  

  Comments
• Qualcomm's buying Arduino – what it means for makers
  

  hardware
  

  Comments
• Common Lisp implementation of the Forth 2012 Standard
  

  concatenative lisp
  

  Comments
• TypeScript is Like C#
  

  programming
  

  Comments

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

• Why I'm Spoiled By Apple Silicon (But Still Love Framework)
  

  hardware mac
  

  Comments
• Under the hood: Vec<T>
  

  rust
  

  Comments
• Cap'n Web: a new RPC system for browsers and web servers
  

  networking web
  

  Comments
• Cloudflare is sponsoring Ladybird and Omarchy
  

  browsers web
  

  Comments
• kernel: Introduce multikernel architecture support
  

  linux
  

  Comments
• Dear GitHub: no YAML anchors, please
  

  programming rant
  

  Comments
• Memory Allocation in Go
  

  go
  

  Comments
• Multikernel architecture proposed for Linux
  

  linux
  

  Comments
• The free software commons (2024)
  

  philosophy
  

  Comments
• Parsing Crusader Kings III data files to generate mods
  

  dotnet games
  

  Comments
• Are XSLT stylesheets pure functions?
  

  ask plt web
  

  Comments
• 第四: a Japanese and Forth inspired postfix language
  

  concatenative plt
  

  Comments

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

• Open Source is one person
  

  programming
  

  Comments
• Sometimes CPU cores are odd
  

  web
  

  Comments
• GMP damages AMD Zen 5 CPUs
  

  hardware
  

  Comments
• I'll only buy devices with GrapheneOS
  

  android privacy
  

  Comments
• Are people’s bosses really making them use AI tools?
  

  vibecoding
  

  Comments
• Block ads and trackers
  

  privacy web
  

  Comments
• Making Minecraft Spherical
  

  games
  

  Comments
• State of the art for reducing executable size with heavily optimized program
  

  c++ practices
  

  Comments
• Rupert’s property: cut a hole in a polyhedron big enough for an identical copy to slide through
  

  math
  

  Comments
• Implementing Forth in Go and C
  

  c concatenative go
  

  Comments
• The Koka programming language
  

  plt
  

  Comments
• Group Borrowing: Zero-Cost Memory Safety with Fewer Restrictions
  

  compilers plt programming
  

  Comments

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

• NVIDIA is full of shit
  

  hardware rant
  

  Comments
• Anubis Pilot Project Report - June 2025
  

  pdf ai
  

  Comments
• Recent Archive of Our Own outage was caused by integer exhaustion
  

  databases scaling web
  

  Comments
• mawkdown, a lightweight, line-oriented(ish) text markup tool implemented in awk
  

  unix web
  

  Comments
• Reflections on 2 years of CPython’s JIT Compiler: The good, the bad, the ugly
  

  compilers python
  

  Comments
• Why I got rid of all my neovim plugins
  

  vim
  

  Comments
• OpenMW 0.49.0 Released
  

  games release
  

  Comments
• What clever tools/workflows do you use to manage development environments?
  

  ask programming
  

  Comments
• The ITTAGE indirect branch predictor
  

  hardware performance
  

  Comments
• When AI Codes, What’s Left for me?
  

  transcript vibecoding
  

  Comments
• The Eternal Mainframe
  

  browsers historical philosophy
  

  Comments
• Tiny Great Languages: MOUSE
  

  concatenative retrocomputing
  

  Comments