Daily Lobsters for 2025-05-26

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