3 ms·Beartype: Unbearably fast near-real-time type-checking in Python2 points by ForHackernews 1y ago