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

• Why SSL was renamed to TLS in late 90s (2014)
  

  browsers historical security
  

  Comments
• Breaking my Security Assignments
  

  security
  

  Comments
• Writing Toy Software Is A Joy
  

  programming
  

  Comments
• How the Final Cartridge III Freezer works
  

  hardware historical
  

  Comments
• The Art of Lisp & Writing
  

  lisp practices
  

  Comments
• Inside the Apollo "8-Ball" FDAI (Flight Director / Attitude Indicator)
  

  hardware historical
  

  Comments
• filedb: Disk Based Key-Value Store Inspired by Bitcask
  

  databases zig
  

  Comments
• StarMalloc: verified memory allocator
  

  compsci formalmethods security
  

  Comments
• HTML WARDen (an HTML-based wiki)
  

  release
  

  Comments
• A meta-analysis of three different notions of software complexity
  

  philosophy
  

  Comments
• Self-referential abstractions: A quick look at the wacky epistemology of analog circuitry
  

  hardware
  

  Comments
• Model Once, Represent Everywhere: UDA (Unified Data Architecture) at Netflix
  

  api distributed scaling
  

  Comments

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

• strace tips for better debugging
  

  debugging linux
  

  Comments
• The fastest way to detect a vowel in a string
  

  programming python
  

  Comments
• todo.txt tasks in my TRMNL
  

  hardware programming
  

  Comments
• C2y: Hitting the Ground Running
  

  c
  

  Comments
• Design Patterns for Securing LLM Agents against Prompt Injections
  

  security vibecoding
  

  Comments
• HTML spec change: escaping < and > in attributes
  

  web
  

  Comments
• Datalog in Rust
  

  compilers rust
  

  Comments
• Hypershell: A Type-Level DSL for Shell-Scripting in Rust powered by Context-Generic Programming
  

  plt release rust
  

  Comments
• Implementing Logic Programming
  

  plt
  

  Comments
• Mosh: the mobile shell
  

  unix
  

  Comments
• Adding public transport data to Transitous
  

  programming
  

  Comments
• 100 years of Zermelo’s axiom of choice: What was the problem with it?
  

  formalmethods math
  

  Comments

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

• jemalloc Postmortem
  

  c programming
  

  Comments
• OxCaml, Jane Street's extension of OCaml is now open-source
  

  ml
  

  Comments
• Asterinas: A Linux ABI-compatible, Rust-based framekernel OS
  

  osdev rust
  

  Comments
• If the Moon Were Only 1 Pixel - A tediously accurate map of the solar system
  

  art
  

  Comments
• Radicle Desktop: a graphical user interface for the Radicle peer-to-peer code forge
  

  vcs
  

  Comments
• macOS Tahoe brings a new disk image format
  

  mac
  

  Comments
• Tattoy: a text-based terminal compositor
  

  release
  

  Comments
• What I talk about when I talk about IRs
  

  compilers
  

  Comments
• Architecture Decision Records
  

  practices
  

  Comments
• Writing a Verified Postfix Calculator in Ada/SPARK
  

  formalmethods programming
  

  Comments
• Introducing the twom database format
  

  databases
  

  Comments
• Rendering crispy text on the GPU
  

  graphics
  

  Comments

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

• Next.js 15.1+ is unusable outside of Vercel
  

  web
  

  Comments
• How much EU is in DNS4EU?
  

  networking
  

  Comments
• AI Boom Drives 150% Surge in Indirect Emissions at Major Tech Firms, UN Warns
  

  ai
  

  Comments
• Rumour: Google intends to discontinue the Android Open Source Project
  

  android
  

  Comments
• Cursor YOLO deleted everything in my computer
  

  vibecoding
  

  Comments
• Agentic Coding Recommendations
  

  vibecoding
  

  Comments
• Patterns for failure-free, bounded-space, and bounded-time programming
  

  programming
  

  Comments
• Raku's "core"
  

  perl plt
  

  Comments
• Bypassing GitHub Actions policies in the dumbest way possible
  

  security
  

  Comments
• Frequent reauth doesn't make you more secure
  

  security
  

  Comments
• EU launches EU-based, privacy-focused DNS resolution service
  

  networking
  

  Comments
• Solving LinkedIn Queens with SMT
  

  programming
  

  Comments

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

• “Localhost tracking” explained. It could cost Meta €32b
  

  privacy
  

  Comments
• GNOME introducing stronger dependencies on systemd
  

  linux systemd
  

  Comments
• FreeBSD 14.3-RELEASE Announcement
  

  freebsd release
  

  Comments
• Avoiding generative models is the rational and responsible thing to do
  

  vibecoding
  

  Comments
• hare-update assists in addressing breaking changes in your code
  

  programming
  

  Comments
• Android 16 is here
  

  android
  

  Comments
• Firefox OS's story from a mozilla insider not working on the project
  

  browsers historical
  

  Comments
• R9: Plan 9 in Rust
  

  osdev rust
  

  Comments
• Why Doctors Hate Their Computers (2018)
  

  philosophy
  

  Comments
• Verse Language
  

  plt
  

  Comments
• Quarkdown - Markdown with superpowers
  

  programming
  

  Comments
• Whatever happened to sandboxfs?
  

  mac performance programming
  

  Comments