Daily Lobsters for 2025-11-04

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