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

• Go proposal: Secret mode
  

  go
  

  Comments
• Prediction: AI will make formal verification go mainstream
  

  ai formalmethods
  

  Comments
• Zig asserts are not C asserts
  

  zig
  

  Comments
• Factor 0.101 now available
  

  concatenative
  

  Comments
• Join the on-call roster, it’ll change your life
  

  devops practices
  

  Comments
• Deprecations via warnings don’t work for Python libraries
  

  practices python
  

  Comments
• why i think jj-vcs is worth your time
  

  vcs
  

  Comments
• Addressing Linux's Missing PKI Infrastructure
  

  linux security
  

  Comments
• 39C3 Fahrplan 2025
  

  event
  

  Comments
• Metacode: The new standard for machine-readable comments for Python
  

  python
  

  Comments
• The world needs social sovereignty
  

  web
  

  Comments
• Disagreements over post-quantum encryption for TLS
  

  cryptography
  

  Comments

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

• Why the Sanitizer API is just `setHTML()`
  

  browsers security web
  

  Comments
• Icons in Menus Everywhere — Send Help
  

  design mac
  

  Comments
• potential security breach in syncthing-fork
  

  android security
  

  Comments
• Jepsen: NATS 2.12.1
  

  databases distributed testing
  

  Comments
• An Attempt at a Compelling Articulation of Forth's Practical Strengths and Eternal Usefulness
  

  concatenative programming
  

  Comments
• One too many words on AT&T's $2,000 Korn shell and other Usenet topics
  

  hardware historical unix
  

  Comments
• F35 Fighter Jet’s C++ Coding Standards
  

  pdf c++
  

  Comments
• The Internet forgets, but I don’t want to
  

  culture web
  

  Comments
• Practical guide to XHTML (2021)
  

  web
  

  Comments
• From Azure Functions to FreeBSD
  

  freebsd
  

  Comments
• Nova Programming Language
  

  plt
  

  Comments
• 150.000 nodes in a Virtual DOM? No problem
  

  video web
  

  Comments

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

• Do Not Put Your Site Behind Cloudflare if You Don't Need To
  

  practices
  

  Comments
• Rebecca Heineman - from homelessness to porting Doom
  

  transcript games
  

  Comments
• My next chapter with Mastodon
  

  person web
  

  Comments
• Chuck Moore retires from colorforth after latest Windows breaks rendering
  

  video concatenative
  

  Comments
• 6 years after too much crypto
  

  cryptography security
  

  Comments
• Announcing Lix 2.94 “Açaí na tigela”
  

  nix
  

  Comments
• A 450 KB static site generator based on Markdown and Lua
  

  show lua web
  

  Comments
• Garbage collection is useful
  

  programming
  

  Comments
• Add a VLAN to OPNsense in Just 26 Clicks Across 6 Screens
  

  networking rant
  

  Comments
• Sōzu HTTP reverse proxy
  

  devops rust
  

  Comments
• A 'small' vanilla Kubernetes install on NixOS
  

  devops nix
  

  Comments
• How quake.exe got its TCP/IP stack
  

  games historical networking
  

  Comments

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