Adding Pyrefly Type Checking to Your Agentic Loop | Hacker News Reader