Lobsters Daily
Daily top stories from Lobste.rs

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
ai, concatenative, cryptography, devops, event, formalmethods, go, linux, practices, python, security, vcs, web, zig

Subscribe

RSS feed

Recent posts

  • Daily Lobsters for 2026-03-13
  • Daily Lobsters for 2026-03-12
  • Daily Lobsters for 2026-03-11
  • Daily Lobsters for 2026-03-10
  • Daily Lobsters for 2026-03-09
  • Daily Lobsters for 2026-03-08
  • Daily Lobsters for 2026-03-07

Archives

  • 2026
  • 2025
  • 2024
Inspired by Hacker News Daily

We can't find the internet

Attempting to reconnect

Something went wrong!

Attempting to reconnect