Viewing profile — davidhalter

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 t…

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. fem…

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 …

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)…

Feel free to use Zuban, it already supports Django models and is way ahead in typing support (and it's probably as fast as Ty).

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…

Having created Jedi in 2012, I started ZubanLS in 2020 to advance Python tooling. It understands Mypy config files and passes >95% of the relevant Mypy tests. AMA.

Due to AGPL's viral nature they will have to open source their code if they use it as a library. But in general I feel like companies simply don't want to deal with the potential "…

Most people will be using it as an LSP in their editors. Some companies might be interested in creating services on top of it. They won't be hosting the LSP, but they might want to…

Thanks a lot for this idea. I did not know about this. Do you have any experience with EUPL or with projects that use it? But wouldn't in that case people just use it as a library …

Having created Jedi in 2012, I started ZubanLS [0] in 2020 to advance Python tooling. My initial idea was to use a freemium model where companies would pay for usage on large codeb…

Currently none, but I'm currently re-implementing the Jedi part (auto-completions/goto), which needs lots of type inference on unannotated code. There will therefore be soon be a n…

I think you underestimate how hard it is to move from Mypy to Pyright in big codebases. Having something very very close to Mypy should be very interesting for some companies with …

I'm still thinking about a good model for the future, because I know that in the future they will be fine type checkers. I think the biggest advantage I have is that I don't burn b…

Django compatibility could definitely be a selling point, but I haven’t built a dedicated Django plugin yet. Right now, I’m prioritizing features like auto-completion and go-to-def…

If I'm perfectly honest, I don't know yet. I'm currently pretty open to any model that ensures long-term survival of the project. Some people might be interested because it can be …

Having created Jedi in 2012, I started ZubanLS in 2020 to advance Python tooling. It understands Mypy config files and passes >95% of the relevant Mypy tests. AMA.

I haven't considered it up to this point. This sounds interesting. What commercial license would you propose?

The MagicMock case is indeed interesting. I am not sure what Mypy does there, I would have to investigate. The other issues are probably bugs and should be reported to https://gith…

Having created Jedi in 2012, I started ZubanLS in 2020 to advance Python tooling, with a focus on performance and Mypy-compatibility. Ask me anything.

I agree that this is where it is likely going to go. I have also found my peace about that a while ago. On a personal level I also don't believe that giving up big cars, flying and…

This is such a defeatist and simplistic answer. Climate warming models show big differences between 2 and 4 degrees Celcius. I know the planet is eventually going to be extinguishe…

I have been working on a faster type checker for 3.5 years now. It's coming, I promise :)

Same here. I still cherish my 5$ wooden wedding ring. There's such beautiful wooden jewelry out there.