Related stories

• Ruby-lean: A Ruby semantics with a type soundness proofsamx.io
  Hacker News · 1 points · 6 days ago
• Four months of Ruby Central moving Ruby backwardandre.arko.net
  Lobsters · 51 points · 7 months ago
• The Ruby Type Checkercs.umd.edu
  Lobsters · 7 points · over 12 years ago
• Hoare Type Theory, Polymorphism and Separationynot.cs.harvard.edu
  Lobsters · 8 points · about 9 years ago
• Lean 4 proof of Fermat's Last Theorem: how Claude did it in 11 daysdev.to
  DEV Community · 0 points · 6 days ago
• Deploy Ruby on Rails on a VPSrubymadscience.com
  Lobsters · 0 points · about 5 hours ago