vscodevscodeDetailsPostsPython type checking and package managementNewsDatePost2025-01-01Python type checking and package management