The hospitalization of unvaccinated people vs. vaccinated people was 10.5 times higher [1]. Lethality was 7 times higher if you did not take the vaccine [2]. I think we also have to remember that hospitalizations where the reason why a lot of mandates where enacted in the first place. Politicians where afraid that the hospitals would run out of capacity.
Attractive females might also have different behavior in remote teaching. Attractiveness directly affects how people behave and feel. This might also be different for males vs. females.
I'm sure that attractiveness does play a role for grades, it's just not nearly as simple as the paper puts it.
There are a lot of potential explanations, which is why these kinds of studies are unfortunately not that helpful and often cause questionable media coverage.
Have you tried `--pretty`? That is more of a Rust style. Most type checker report the short version, but have longer versions of the issues. IMO that's a good choice, but opinions might differ.
Zuban maybe doesn't succeed in terms of the amount of users, but it's nearly finished, supports the full Python type system (I'm in the process of completing the conformance tests), has support for Django and LSP support is also pretty much complete. So in a technical way it did already succeed.
It might not be used as much, but to be honest I think that's fine. I'm not a big VC-funded company and just hope to be able to serve the users it has. There's space for multiple tools in this area and it's probably good to have multiple type checkers in the Python world to avoid the typical VC rug pull.
Mypy is not trash at all. It is still the most precise type checker, supports a lot of complicated cases and has plugins that make a lot of things more type safe. I believe Mypy is severely underrated and a lot of people believe that it's not as good as Pyright because of the conformance tests.
The problem is that the conformance tests were mostly written by Eric Traut, so there's a natural bias towards specifying what Pyright does well. There's a lot of things Mypy does really well that should probably be implemented in Pyright.