Do smart people work at Boring Company? Do smart people work on FSD at Tesla? What about the HyperLoop? It is possible for smart people to make technical achievements without the overall project being particularly successful.
At least as of a couple months ago, `ty` was actually being developed in the `ruff` repo (per an pdocast interview the devs did on Talk Python), so that might be why the `ty` repo looks empty (and pulls in ruff as a git submodule).
I've been considering this as my Android exit plan (as part of a slow rolling de-googling effort, even before the recent "sideloading" news). Are you using it as a daily driver? I'm sort of surprised it doesn't get brought up more.