Ask HN: What's the status of Stripe's Ruby type checker? | Hacker News Reader