The fact that you don't need all the mental bandwidth to solve the nitty gritty and can hand off those details to an agent is very liberating. For me, it's not so much about meetings, but rather to work on different tasks in parallel. No more starring at Codex doing its thing. Today, I keep cycling through four to six tmux windows, each of which is an different worktree with Codex doing some good work.

ty still doesn't understand match + typing.assert_never pattern, last barrier for me to switching.

I have a medium-sized codebase that is all green when running mypy with the strictest configuration possible.

Pyrefly spits put around 200 errors for the same codebase.

Most errors are related to SQLAlchemy.

(Pyrefly dev here) Thanks for trying it out! If you have any feedback or bug reports, please don't hesitate to file issues on GitHub or find us on Discord. We have some open issues for SQLAlchemy (like [1]). I'm definitely curious to hear if there are any gaps from your perspective, having an already strictly-typed codebase.

1. https://github.com/facebook/pyrefly/issues/954

I mean, sqlalchemy until very recently needed a mypy plugin to type correctly (https://docs.sqlalchemy.org/en/20/orm/extensions/mypy.html), which was just deprecated in 2.0.0.

Perhaps you should do the upgrade (https://docs.sqlalchemy.org/en/20/changelog/whatsnew_20.html...) and try again?