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

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

• Net-Negative Cursor
  

  rust vibecoding
  

  Comments
• When was the last time you broke production and how?
  

  ask practices
  

  Comments
• A poor man’s types
  

  plt
  

  Comments
• MinIO Removes Web UI Features from Community Version, Pushes Users to Paid Plans
  

  api web
  

  Comments
• Which New Language Should I Learn for Web Development?
  

  elixir web
  

  Comments
• Making openat(2) and friends more useful in practice
  

  openbsd
  

  Comments
• The Linux 6.15 kernel arrives and it's big a victory for Rust fans
  

  linux rust
  

  Comments
• Learning C3
  

  c
  

  Comments
• I Want to Love Linux. It Doesn't Love Me Back: Post 3 – Speakup, BRLTTY, and the Forgotten Infrastructure of Console Access
  

  a11y linux
  

  Comments
• Systems Correctness Practices at Amazon Web Services
  

  formalmethods testing
  

  Comments
• Redesigning the Initial Bootstrap Sequence
  

  compilers rust
  

  Comments
• The radix 2^51 trick to 256-bit addition (2020)
  

  assembly performance
  

  Comments

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

• CAPTCHAs don't work any more for ticket sellers
  

  a11y ai
  

  Comments
• What Works (and Doesn't) Selling Formal Methods
  

  formalmethods
  

  Comments
• Reinvent the Wheel
  

  programming
  

  Comments
• plwm: An X11 window manager written in Prolog
  

  linux
  

  Comments
• tachy0n: The last 0day jailbreak
  

  ios security
  

  Comments
• How I used o3 to find CVE-2025-37899, a remote zeroday vulnerability in the Linux kernel’s SMB implementation
  

  linux security vibecoding
  

  Comments
• Building interactive web pages with Guile Hoot
  

  lisp
  

  Comments
• Fedora 43 Cleared To Ship With Wayland-Only GNOME
  

  linux
  

  Comments
• Having your compile-time cake and eating it too
  

  plt rust zig
  

  Comments
• Domain Theory Lecture Notes
  

  math plt
  

  Comments
• Programming On 34 Keys (2022)
  

  hardware programming
  

  Comments
• There is no Diffie-Hellman but Elliptic Curve Diffie-Hellman
  

  cryptography math
  

  Comments

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

• Reports of Deno's Demise Have Been Greatly Exaggerated
  

  javascript
  

  Comments
• Making Video Games in 2025 (without an engine)
  

  games
  

  Comments
• An Open File Format for storing the information from a forge such as issues, pull/merge requests, milestones
  

  programming
  

  Comments
• Microsoft Edit is now open source
  

  editors
  

  Comments
• Building a personal archive of the web, the slow way
  

  web
  

  Comments
• Is Winter Coming?
  

  vibecoding
  

  Comments
• Enlightenmentware
  

  programming
  

  Comments
• Hypervisor as a Library
  

  linux osdev rust virtualization
  

  Comments
• A Python frozenset interpretation of Dependent Type Theory
  

  formalmethods plt
  

  Comments
• Open Source Can't Coordinate
  

  linux
  

  Comments
• Tag Proposal: concatenative
  

  meta
  

  Comments
• Steve Langasek, One of Ubuntu Linux's Leading Lights, Has Died
  

  person
  

  Comments