Dave Halter Profile
Dave Halter

@jedidjah_ch

Followers
167
Following
155
Media
4
Statuses
198

Human - Currently creating @zubanls

Joined October 2012
Don't wanna be here? Send us removal request.
@jedidjah_ch
Dave Halter
30 days
I just released ZubanLS - A Mypy-compatible Python Language Server built in Rust - as a spiritual successor to Jedi. Will be posting on @zubanls.
0
1
1
@jedidjah_ch
Dave Halter
2 years
Just before Python 3.12 releases, I have released Jedi 0.19.1 with Python 3.12 support. We have never been so early, thanks Peter!.
0
0
5
@jedidjah_ch
Dave Halter
2 years
Jedi release 0.19.0. Support for Python 3.11, much faster completions for IPython users, especially when using large pandas datasets.
0
1
6
@jedidjah_ch
Dave Halter
3 years
Released Jedi 0.18.2, a smaller bugfix release, feel free to upgrade.
0
0
3
@jedidjah_ch
Dave Halter
3 years
RT @dbrgn: Whoa, @jedidjah_ch (author of the Jedi autocompletion engine) is rewriting mypy in Rust and the current version is already 650x….
0
9
0
@jedidjah_ch
Dave Halter
3 years
RT @JohannesOrtloff: "I think engineers should think more in terms of data structures than in terms of algorithms, because algorithms are j….
0
1
0
@jedidjah_ch
Dave Halter
3 years
RT @dbrgn: I'm excited that the @pythonsummit will be a conference entirely without sponsors and goodie-bags (full of mostly useless stuff….
0
2
0
@jedidjah_ch
Dave Halter
3 years
RT @pythonsummit: Only two more weeks until the end of our call for proposals! We’ve got some great submissions by wonderful folks already,….
0
3
0
@jedidjah_ch
Dave Halter
3 years
RT @pythonsummit: We’re back! Join us on September 22, 2022 at the Swiss Python Summit 2022. This is going to be the final edition. And be….
0
7
0
@jedidjah_ch
Dave Halter
4 years
It currently feels like I'm breaking Rust lifetimes and I'm discovering 10 different edge cases (compiler bugs) that somehow have strange behavior. Especially with Closures.
0
0
1
@jedidjah_ch
Dave Halter
5 years
At the current rate, Jedi has > 150 Mio. downloads on PyPI a year. Kind of crazy. It's mostly CI traffic of course.
0
0
4
@jedidjah_ch
Dave Halter
5 years
Jedi 0.18.0 is out. Finally dropped Python 2. Improves Python 3.9 support.
0
4
20
@jedidjah_ch
Dave Halter
5 years
Just released Jedi 0.17.2. Mostly bugfixes. This is the last release that has Python 2 support.
0
1
7
@jedidjah_ch
Dave Halter
5 years
Released Jedi 0.17.1. Added Django support, better Generic support and Python 3.9 support.
0
1
5
@jedidjah_ch
Dave Halter
5 years
Jedi Release (0.16.0). Really happy to make this big release: Features include pytest/dict key completions, faster tensorflow/numpy/pandas completions, new APIs and more.
0
0
5
@jedidjah_ch
Dave Halter
6 years
Python 2 is dead. Long live Python 3!.
0
0
2
@jedidjah_ch
Dave Halter
6 years
Not thinking new year's eve 2020 is special? How about celebrating that Python 2 is finally end-of-life: I'm so happy that I get to drop support for it. :).
1
1
7
@jedidjah_ch
Dave Halter
6 years
New Jedi Release: 0.15.2. Features include better call signatures, fuzzy completions a lot of bugfixes. Behind the scenes there was a huge refactoring as well.
0
0
3
@jedidjah_ch
Dave Halter
6 years
New Jedi release 0.15.0, features include a few new APIs, file path completions, *args/**kwargs resolving for calls, dataclass/enum support and a bit more. All in all some great new features!.
1
4
22
@jedidjah_ch
Dave Halter
6 years
This obviously doesn't include vendoring (especially of VScode). VScode has probably half a million a month by itself and some other editors would probably add a 100k as well. It's also important to note that a lot of the downloads are because of IPython.
0
0
0