Daily Lobsters for 2025-07-10

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

• Phrase origin: Why do we “call” functions?
  

  historical plt
  

  Comments
• The Tree Borrows paper is finally published
  

  formalmethods plt rust
  

  Comments
• Hare by Example
  

  programming
  

  Comments
• IBM Power11 hits the market this month
  

  hardware
  

  Comments
• CVE-2025-48384: Breaking git with a carriage return and cloning RCE
  

  security vcs
  

  Comments
• toml v0.9
  

  rust
  

  Comments
• Multiple vulnerabilities fixed in Git
  

  security vcs
  

  Comments
• Frame of preference – A history of Mac settings, 1984–2004
  

  historical mac
  

  Comments
• Brut: A New Web Framework for Ruby
  

  ruby
  

  Comments
• Supabase MCP can leak your entire SQL database
  

  security vibecoding
  

  Comments
• Hippocratic License
  

  law
  

  Comments
• Oregon Programming Languages Summer School (OPLSS) 2025: Types, Logic, and Formal Methods
  

  video education formalmethods plt
  

  Comments