Daily Lobsters for 2025-12-14

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

• What's the point of lightweight code with modern computers?
  

  performance rant
  

  Comments
• I Tried Gleam for Advent of Code, and I Get the Hype
  

  gleam programming
  

  Comments
• The state of the kernel Rust experiment
  

  linux rust
  

  Comments
• VACUUM Is a Lie: About Your Indexes
  

  databases
  

  Comments
• YOCaml a framework used to describe static site generator
  

  ml web
  

  Comments
• 50 years of proof assistants
  

  compsci historical
  

  Comments
• The Typeframe PX-88 Portable Computing System
  

  hardware
  

  Comments
• The (Mostly) Complete Unicode Spiral (2022)
  

  art
  

  Comments
• Concrete syntax matters, actually
  

  video plt
  

  Comments
• Django: what’s new in 6.0
  

  python
  

  Comments
• I couldn't find a logging library that worked for my library, so I made one
  

  javascript
  

  Comments
• async dns
  

  c networking
  

  Comments