Mypy 1.6 - Hackdot

Re:Mypy 1.6 by guappa on Wednesday October 18, 2023 @05:33AM (#37926524)

I guess mypy has 10x more users as well. People who use pyright use an IDE and they aren't likely to report a bug.

[ Parent | on HN ]

Re:Mypy 1.6 by diarrhea on Wednesday October 18, 2023 @09:59AM (#37928780)

Ah okay, thanks for the context. The projects are quite close in terms of GitHub stars, 11k vs 16k.

[ Parent | on HN ]

Re:Mypy 1.6 by guappa on Thursday October 19, 2023 @02:05AM (#37939085)

Stars are meaningless. There are bots putting them at random to look like legit accounts and sell them to projects.

[ Parent | on HN ]