Daily Lobsters for 2025-12-24

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