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

• Why I Ignore The Spotlight as a Staff Engineer
  

  practices
  

  Comments
• Super-flat ASTs
  

  compilers performance
  

  Comments
• SVG Filters - Clickjacking 2.0
  

  security web
  

  Comments
• PGlite - Embeddable Postgres
  

  databases wasm
  

  Comments
• SWI-Prolog 10.0.0 released
  

  release
  

  Comments
• Teaching an LLM a Niche Diagraming Language
  

  vibecoding
  

  Comments
• Alpine Linux 3.23.0 Released: apk-tools v3, linux-stable replaces linux-edge
  

  linux
  

  Comments
• Critical Security Vulnerability in React Server Components
  

  javascript security
  

  Comments
• Ferrocene 25.11.0 now available
  

  release rust
  

  Comments
• Local-first is not offline-first
  

  distributed web
  

  Comments
• Marathon OS: A gesture-based mobile shell and Linux system inspired by BB10
  

  linux mobile
  

  Comments
• Django 6.0 released
  

  python web
  

  Comments

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

• Gitmal - a static pages generator for Git repos
  

  go release
  

  Comments
• Go proposal: Type-safe error checking
  

  go
  

  Comments
• Decreasing Certificate Lifetimes to 45 Days
  

  practices security
  

  Comments
• FreeBSD 15.0-RELEASE Announcement
  

  freebsd
  

  Comments
• LLMs are a failure. A new AI winter is coming
  

  vibecoding
  

  Comments
• Constructing The Word's First JPEG XL MD5 Hash Quine
  

  cryptography
  

  Comments
• New AI slop signal: code blocks with weird indentation
  

  vibecoding
  

  Comments
• Claude 4.5 Opus' Soul Document
  

  vibecoding
  

  Comments
• Off-grid Boat Communications with Meshtastic
  

  hardware
  

  Comments
• zmx: session persistence for terminal processes
  

  show zig
  

  Comments
• Punycode: My New Favorite Algorithm
  

  browsers networking web
  

  Comments
• In defense of lock poisoning in Rust
  

  rust
  

  Comments