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

• i'm just having fun
  

  art person
  

  Comments
• "Super secure" MAGA-themed messaging app leaks everyone's phone number
  

  security
  

  Comments
• November in Servo: monthly releases, context menus, parallel CSS parsing, and more
  

  browsers
  

  Comments
• Writing a blatant Telegram clone using Qt, QML and Rust. And C++
  

  show c++ rust
  

  Comments
• Radicle: peer-to-peer collaboration with Git (2024)
  

  rust vcs
  

  Comments
• D-Bus is a disgrace to the Linux desktop
  

  linux rant
  

  Comments
• "Are you the one?" is free money
  

  math
  

  Comments
• No Graphics API
  

  graphics
  

  Comments
• TLA+ modeling tips
  

  distributed formalmethods
  

  Comments
• Rust GCC backend: Why and how
  

  compilers rust
  

  Comments
• Torvalds On Linux Security Modules
  

  linux security
  

  Comments
• ty: An extremely fast Python type checker and language server
  

  python release
  

  Comments

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

• Mr TIFF
  

  historical
  

  Comments
• A Short Survey of Compiler Targets
  

  compilers
  

  Comments
• You don't need Kafka: Building a message queue with only two UNIX signals
  

  ruby unix
  

  Comments
• Things I Don't Like in Configuration Languages
  

  rant
  

  Comments
• Myna: monospace typeface designed for symbol-heavy programming languages
  

  programming
  

  Comments
• Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
  

  programming zig
  

  Comments
• I made a website that vibe-codes itself
  

  vibecoding web
  

  Comments
• JVM exceptions are weird: a decompiler perspective
  

  java reversing
  

  Comments
• What is cosh(List(Bool))? Or beyond algebra: analysis of data types
  

  formalmethods math
  

  Comments
• Strange Attractors
  

  math programming visualization
  

  Comments
• Announcing the Rust Foundation Maintainers Fund
  

  rust
  

  Comments
• On Async Mutexes
  

  plt zig
  

  Comments

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

• CHERIoT 1.0 Released
  

  hardware security
  

  Comments
• I ****ing hate Science (2021)
  

  science
  

  Comments
• a11y.css
  

  a11y web
  

  Comments
• Don't give Postgres too much memory
  

  databases performance
  

  Comments
• Skeena Indigenous Typeface
  

  design
  

  Comments
• "Why don't you use dependent types?"
  

  formalmethods
  

  Comments
• AWK technical notes (2023)
  

  plt
  

  Comments
• Using Assisted-by commit footers instead of banning AI tools
  

  vibecoding
  

  Comments
• Control structures in programming languages
  

  education ml
  

  Comments
• Absurd Workflows: Durable Execution With Just Postgres
  

  programming
  

  Comments
• State of Terminal Emulators in 2025: The Errant Champions
  

  a11y
  

  Comments
• RDSEED Failure on AMD “Zen 5” Processors
  

  security
  

  Comments

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

• Switch to Jujutsu already: a tutorial
  

  vcs
  

  Comments
• Burrows-Wheeler Transform (BWT)
  

  math science
  

  Comments
• The Country That Broke Kotlin
  

  kotlin
  

  Comments
• LineageOS 23 released
  

  android
  

  Comments
• fzf 0.66.0 introduces “--raw mode”
  

  release unix
  

  Comments
• Testing two 18 TB white label SATA hard drives from datablocks.dev
  

  hardware
  

  Comments
• The reason GCC is not a library (2000)
  

  compilers
  

  Comments
• Three ways "formally verified" can go wrong
  

  formalmethods
  

  Comments
• The European Accessibility Act will make the Web Better for Everyone
  

  a11y law web
  

  Comments
• WSL-For-FreeBSD: Experimental project to FreeBSD in WSL2
  

  freebsd virtualization windows
  

  Comments
• w11: PDP-11/70 CPU core and SoC
  

  hardware retrocomputing
  

  Comments
• Tinymist is an integrated language service for Typst
  

  programming
  

  Comments