The 12 highest-rated articles on Lobsters on January 01, 2026 which have not appeared on any previous Lobsters Daily are:

• A SOLID Load of Bull
  

  programming
  

  Comments
• What are some interesting projects that you've done this year?
  

  ask programming
  

  Comments
• A vulnerability in libsodium
  

  cryptography
  

  Comments
• Mastodon Stories for systemd v259
  

  systemd
  

  Comments
• Fixing a Buffer Overflow in UNIX v4 Like It's 1973
  

  unix
  

  Comments
• Why we trust strangers’ open source more than our colleagues’
  

  practices programming
  

  Comments
• Xous: A Pure-Rust Rethink of the Embedded Operating System
  

  video hardware rust
  

  Comments
• Using The Corne Split Keyboard For Half A Year
  

  hardware
  

  Comments
• What I've Learned Writing Gleam
  

  gleam
  

  Comments
• Make-shift shebangs for Go
  

  go unix
  

  Comments
• Memory Safety Is …
  

  plt
  

  Comments
• Building a React App with Formally Verified State
  

  formalmethods vibecoding
  

  Comments

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

• Why is calling my asm function from Rust slower than calling it from C?
  

  assembly performance rust
  

  Comments
• Arcan 0.7.1 – Minutes To Midnight
  

  osdev release
  

  Comments
• pre-commit hooks are fundamentally broken
  

  vcs
  

  Comments
• Play the Monty Hall game
  

  games math
  

  Comments
• 39C3: Power Cycles Streaming
  

  video event
  

  Comments
• Simplifying the build process for vst3-rs
  

  rust
  

  Comments
• What are you doing this weekend?
  

  ask programming
  

  Comments
• This PNG will show different version if you open it in Chrome than in Safari
  

  graphics
  

  Comments
• Show: Twine - A tool to dynamically trace calls in production Elixir systems
  

  show elixir
  

  Comments
• Automating What Backblaze Lifecycle Rules Don't Do Instantly
  

  devops linux nix systemd
  

  Comments
• QNX Self-Hosted Developer Desktop Brings QNX 8.0 To A Wayland + Xfce Desktop
  

  osdev
  

  Comments
• From Intent to Proof: Dafny Verification for Web Apps
  

  formalmethods
  

  Comments

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

• The lightest notes app implementation in 111 loc
  

  show web
  

  Comments
• I foretold that Mac app notarization is security theater
  

  mac security
  

  Comments
• What's "new" in Miri (and also, there's a Miri paper!)
  

  rust
  

  Comments
• mquickjs: Micro QuickJS Javascript Engine
  

  javascript
  

  Comments
• FreeBSD Closes the Laptop Gap: Year One Project Update
  

  freebsd
  

  Comments
• Email Simplicity vs Decentralized Chat
  

  ask email networking
  

  Comments
• Instant database clones with PostgreSQL 18
  

  databases osdev
  

  Comments
• From Zero to QED: An informal introduction to formality in Lean 4
  

  compsci formalmethods
  

  Comments
• The Linux kernel is just a program
  

  go linux
  

  Comments
• Are we Loong yet?
  

  hardware
  

  Comments
• Introducing Open Forms
  

  release
  

  Comments
• Proposed Rust kernel extensions in place of eBPF
  

  linux rust
  

  Comments

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