Beartype: Unbearably fast near-real-time type-checking in Pythongithub.com/beartype2 pointsForHackernews10 months ago