Daily Lobsters for 2025-12-10

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