davidhalter

4 ms·

1.
by davidhalter 3mo ago
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
2.
by davidhalter 6mo ago
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
3.
by davidhalter 9mo ago
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.
4.
by davidhalter 9mo ago
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 a
5.
by davidhalter 9mo ago
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).
6.
by davidhalter 9mo ago
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&#x2
7.
Zuban Beta Release: High-Performance Python Type Checker(zubanls.com)
4 points by davidhalter 11mo ago|0 comments
8.
Show HN: A Mypy-Compatible Language Server Written in Rust, Now Open Source(github.com)
4 points by davidhalter 1y ago|0 comments
9.
by davidhalter 1y ago
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 "threat" of lawsuits so they don't w
10.
by davidhalter 1y ago
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 use it to index code. And at that point there's a
11.
by davidhalter 1y ago
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 and do whatever they want? EUPL feels like LGPL, doesn&
12.
Ask HN: Which Open Source License to Choose for a Python Language Server
11 points by davidhalter 1y ago|13 comments
13.
by davidhalter 1y ago
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 non-compatible mode that infers unannotated code as
14.
by davidhalter 1y ago
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 1mLoC+. Relative maturity can still be a reason for 1-2 year
15.
by davidhalter 1y ago
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 big sums of money while doing it, so I only need a
16.
by davidhalter 1y ago
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-definition, which I think are more impactful in the short term.
17.
by davidhalter 1y ago
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 used as a replacement for Mypy and I'm w
18.
Show HN: A Python Language Server, Mypy-compatible(zubanls.com)
42 points by davidhalter 1y ago|13 comments
19.
by davidhalter 1y ago
I haven't considered it up to this point. This sounds interesting. What commercial license would you propose?
20.
by davidhalter 1y ago
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://github.com/zubanls/zubanls/issues if
21.
Show HN: A Mypy-Compatible Python Language Server Built in Rust(zubanls.com)
9 points by davidhalter 1y ago|6 comments
22.
by davidhalter 2y ago
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 other things is something that nobody is doing. There
23.
by davidhalter 2y ago
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 extinguished, but we are nowhere near that point and just giving up see
24.
by davidhalter 3y ago
I have been working on a faster type checker for 3.5 years now. It's coming, I promise :)
25.
by davidhalter 3y ago
Same here. I still cherish my 5$ wooden wedding ring. There's such beautiful wooden jewelry out there.
26.
by davidhalter 3y ago
I'm currently speeding up Mypy + Jedi in Rust. I'm pretty far already and it's definitely a lot faster. Tests are currently running 500 times faster than Mypy.
27.
by davidhalter 3y ago
I'm currently speeding up Mypy + Jedi in Rust. I'm pretty far already and it's definitely a lot faster. Tests are currently running 500 times faster than Mypy.
28.
by davidhalter 4y ago
This might not apply to you, but it has helped me immensely to cut back spending money for pretty much anything. This means I get to work 70% or even less and still have a kids. I know it's not always easy, but there are people living
29.
by davidhalter 5y ago
I agree. Circular reasoning along with self-fulfilling prophecies are definitely an issue. I still like it for introspection and realizing that other people have different "mind structures", whatever they might be. > it's
30.
by davidhalter 5y ago
Hmm, I found the Enneagram tremendously helpful. Why do you dislike it? I guess people can abuse it really easily, but I feel like it helped me to realize who I am in this world.

More ›