256 karma · joined May 20, 2016
They all lack certain features vs basedpyright (what I was using) such as auto imports (Ty has experimental support), showing signature/doc when selecting autocomplete options (I think Ty does have this one) and some other features that I can't remember.
One feature that always existed in Jedi (and now also Zuban) is "goto declaration" in Python. It allowed me to goto the "import" instead of the original definition of a function/class which I'm surprised either isn't supported at all (pyright?) or would just do the same thing as "goto definition" (Ty), seems like an obvious oversight imho.
Edit: Also, I wish all these new tools give more importance to such IDE features as much as they do for type checking.
fzf-lua (and several other picker plugins) provide really powerful features and ux out of the box.
I understand that configuration can seem overwhelming but investing a few hours will be really rewarding. I love (neo)vim
I find screen to be more stable than tmux but can't say I had any issues with tmux in the past couple of years (but it bothers me that tmux sessions share the initial environment the first session was launched from iirc). Right now it's the clipboard support that makes me use tmux over screen.
I can't answer you about Kaggle competitions as I never was involved in any but I imagine the novelty would be in the way people encode the datasets and maybe the cost functions they implement but the models themselves are probably based on already established archs