Kyle Into
Kyle is a Software Developer at Meta focused on developer tooling and static analysis. For the past four years he has worked to improve Python language services. Kyle is passionate about building tools that make developers' lives easier, especially in dynamic languages like Python.
Homepage:
LinkedIn:
Session
04-14
17:10
30min
Type Errors for Better Agent-Assisted Development
Kyle Into
Type annotations aren't just for humans anymore. As AI coding agents write more Python, type checkers offer something unique: fast, concrete diagnostics about what went wrong and where. In this talk, I explore connecting Pyrefly to Claude Code, feeding type errors back to the agent as it works, and whether this is the missing feedback signal for agentic development.
PyCon: Programming & Software Engineering & Testing
Platinum [2nd Floor]