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

• Hacking on the reMarkable 2
  

  hardware
  

  Comments
• NixOS 25.11 released
  

  nix release
  

  Comments
• Boing
  

  art
  

  Comments
• Internet Handle
  

  web
  

  Comments
• Building the perfect Linux PC with Linus Torvalds
  

  video linux
  

  Comments
• ty - Python type checker
  

  python
  

  Comments
• A Love Letter to FreeBSD
  

  freebsd
  

  Comments
• Real-Time Rendering with JPEG-Compressed Textures
  

  graphics
  

  Comments
• From Zero to GitHub: Starting A New jj (Jujutsu) Repo
  

  vcs
  

  Comments
• Why xor eax, eax?
  

  assembly compilers
  

  Comments
• Don't Click Here
  

  web
  

  Comments
• One jobserver to rule them all
  

  unix
  

  Comments

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

• Open Source Developers Are Exhausted, Unpaid, and Ready to Walk Away
  

  programming
  

  Comments
• Disallow code usage with a custom `clippy.toml`
  

  rust
  

  Comments
• Firefox 147 Will Support The XDG Base Directory Specification
  

  browsers
  

  Comments
• Why BSDs?
  

  freebsd netbsd openbsd
  

  Comments
• We're (now) moving from OpenBSD to FreeBSD for firewalls
  

  freebsd openbsd
  

  Comments
• The Lions Operating System
  

  osdev
  

  Comments
• Signal Polls: Yes, no, maybe (yes!)
  

  release
  

  Comments
• A battery included hacker's file manager with VIM inspired keybind in a single binary
  

  rust vim
  

  Comments
• LLMs are bullshitters. But that doesn't mean they're not useful
  

  vibecoding
  

  Comments
• Twenty years of Django releases
  

  python web
  

  Comments
• Zork I, II, and III go Open Source
  

  games historical
  

  Comments
• A Function Inliner for Wasmtime and Cranelift
  

  compilers wasm
  

  Comments