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