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

• Using LLMs at Oxide
  

  vibecoding
  

  Comments
• Use Python for Scripting
  

  python
  

  Comments
• Eurydice: a Rust to C compiler (yes)
  

  c compilers rust
  

  Comments
• Vanilla CSS is all you need
  

  css
  

  Comments
• FreeBSD 15: Why You’ll Want It
  

  freebsd
  

  Comments
• Discovering the indieweb with calm tech
  

  browsers web
  

  Comments
• It Is Worth It To Optimize Images For Your Site
  

  web
  

  Comments
• What I learnt about making websites by reading two thousand web pages
  

  web
  

  Comments
• When square pixels aren’t square
  

  web
  

  Comments
• The Path to Mojo 1.0
  

  plt
  

  Comments
• The Gerrit code review iceberg
  

  osdev
  

  Comments
• How to make a macOS screen saver
  

  mac
  

  Comments

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

• Flow Control: a programmer's text editor
  

  editors vim zig
  

  Comments
• Framework Laptop 13 gets ARM processor with 12 cores via third-party upgrade kit
  

  hardware
  

  Comments
• Reminder about Framework Laptop
  

  culture
  

  Comments
• How I discovered a hidden microphone on a Chinese NanoKVM
  

  hardware
  

  Comments
• GitHub Actions Has a Package Manager, and It Might Be the Worst
  

  security
  

  Comments
• Leaving Intel
  

  performance person
  

  Comments
• Should CSS be Constraints?
  

  css
  

  Comments
• I want a better build executor
  

  programming
  

  Comments
• Perl's decline was cultural
  

  perl
  

  Comments
• What's the Point of Learning Functional Programming?
  

  haskell
  

  Comments
• Why We Built Lightpanda in Zig
  

  zig
  

  Comments
• The Resonant Computing Manifesto
  

  programming vibecoding
  

  Comments

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

• jujutsu v0.36.0 released
  

  release vcs
  

  Comments
• How to speed up the Rust compiler in December 2025
  

  performance rust
  

  Comments
• Fairphone open-sources Fairphone 5 and 6 software, and Moments switch
  

  android
  

  Comments
• Thoughts on Go vs. Rust vs. Zig
  

  go rust zig
  

  Comments
• ][ Hello blog
  

  show go
  

  Comments
• Lobsters Interview with Aks
  

  person
  

  Comments
• Typewriter plotters
  

  hardware historical
  

  Comments
• Why ed(1)?
  

  editors
  

  Comments
• bcachefs 1.33.0 - reconcile
  

  linux release
  

  Comments
• APL for Plan9
  

  apl
  

  Comments
• JavaScript Announced 30 Years Ago
  

  historical javascript
  

  Comments
• Golang’s Big Miss on Memory Arenas
  

  go
  

  Comments