Daily Lobsters for 2025-05-17

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

• Stack overflow is almost dead
  

  culture programming
  

  Comments
• Asahi Linux Progress Report: Linux 6.15
  

  linux
  

  Comments
• I don’t like NumPy
  

  python
  

  Comments
• Evolution of Rust compiler errors
  

  compilers rust
  

  Comments
• A leap year check in three instructions
  

  c compilers formalmethods
  

  Comments
• Teal: a statically-typed dialect of Lua
  

  lua
  

  Comments
• Rust 1.0, ten years later
  

  historical rust
  

  Comments
• Jetrelay: A high-performance ATproto relay in 500 LOC
  

  linux performance
  

  Comments
• A coherent European/non-US cloud strategy: building railroads for the cloud economy
  

  devops
  

  Comments
• OCaml Web Development: Essential Tools and Libraries in 2025
  

  ml web
  

  Comments
• Classical "Single user computers" were a flawed or at least limited idea
  

  historical
  

  Comments
• The current state of TLA⁺ development
  

  formalmethods
  

  Comments