The Ruby Type Checker

Related stories

• Practical Decryption exFiltration: Breaking PDF Encryptionpdf-insecurity.org
  Lobsters · 3 points · almost 7 years ago
• Ruby-lean: A Ruby semantics with a type soundness proofsamx.io
  Hacker News · 1 points · 3 days ago
• Hoare Type Theory, Polymorphism and Separationynot.cs.harvard.edu
  Lobsters · 8 points · about 9 years ago
• What is WCAG for PDF? A practical guide to PDF Accessibilitypdf4wcag.com
  Hacker News · 3 points · 7 days ago
• pdf-diff - tool for visualizing differences between two pdf filesgithub.com
  Lobsters · 9 points · about 4 years ago
• Show HN: Why is my PDF so big? – See every byte of a PDF as a treemapwhyismypdfsobig.com
  Hacker News · 2 points · 6 days ago

Related topics