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 06, 2025 which have not appeared on any previous Lobsters Daily are:

• I Think I’m Done Thinking About genAI For Now
  

  vibecoding
  

  Comments
• Why I Wrote the BEAM Book
  

  book erlang
  

  Comments
• DNS4EU For Public is available
  

  networking security
  

  Comments
• Picking uncontested private IP subnets with usage data
  

  networking
  

  Comments
• gg: GG - Gui for JJ
  

  vcs
  

  Comments
• A programming system
  

  programming
  

  Comments
• In which I have Opinions about parsing and grammars
  

  plt
  

  Comments
• Experimenting with no-build Web Applications
  

  javascript web
  

  Comments
• AI is a gamechanger for TLA+ users
  

  formalmethods vibecoding
  

  Comments
• Goblinville: A Spring Lisp Game Jam 2025 retrospective
  

  games lisp
  

  Comments
• Linearity and uniqueness
  

  plt
  

  Comments
• yet another LLM
  

  satire vibecoding
  

  Comments

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

• Gleam v1.11.0 released
  

  gleam javascript release
  

  Comments
• A tour of upcoming RFCs for the Hare programming language
  

  plt
  

  Comments
• Is the transition to IPv6 inevitable?
  

  networking
  

  Comments
• Root Shell on Credit Card Terminal
  

  security
  

  Comments
• Google Logo Ligature Bug
  

  web
  

  Comments
• Our Grafana and Loki installs have quietly become 'legacy software' here
  

  devops
  

  Comments
• wl-kbptr: Control the mouse pointer with the keyboard on Wayland
  

  a11y
  

  Comments
• A Lean companion to “Analysis I”
  

  formalmethods math
  

  Comments
• Is It JavaScript?
  

  javascript web
  

  Comments
• Structured errors in Go
  

  go
  

  Comments
• My AI Skeptic Friends Are All Nuts
  

  rant vibecoding
  

  Comments
• Designing Error Types in Rust Libraries
  

  rust
  

  Comments