How to get your agent to use Pyrefly for type checking [video] | Dark Hacker News