Viewing profile — baggiponte

I’m afraid you missed a bit the mark :( This is the equivalent of LSP but for coding agents. So any editor does not have to rebuild an interface to support each and every new one.

Really hope for this to get traction so I’m not bound to the usual IDE

i think it's good to let them experiment! cargo (and go?) offers this already, so why not.

uv ruffy sounds funny

Wow I never realized how much mistral was “disconnected” from the ecosystem

How’s this different from xml?

Yeah. The docs tell you that you should build it yourself, but…

Litestar is really underrated but deserves much more usage! I’ve been meaning to try it for at least a year now, but always felt a bit scary to tell the team “hey let’s deviate fro…

Yeah they might be good but the marketing is really bold and, to a certain extent, arrogant if not outright disgusting.

BasedPyright is much better than pyright! Must use.

That’s not true, they have been developing it as red knot for a good while :)

You basically pay databricks a “fee” to choose the more appropriate and modern stack for you to build on, and keep it up to date. Never used it, but it handles with lots of the adm…

This looks so dope!

sqlalchemy doesn’t really accepts strings - if you do, you need to pass them into a “conn.execute(text(…))”, so end users should not face a breaking change.

Type checkers to the rescue ahaha I think db.get could also raise if the type does not match?

OpenAI coping so hard

he's coping so hard.

Oh you maintain PyTorch right?

Absolutely. No second thoughts.

also a whole bunch of new features (--script mode), speed of development, a stacked team.

Yes but only for linting (the flake8 rules etc). The end goal is to have proper type checking and, I think, proper LSP refactoring capabilities.

they are working on it! the internal name is currently red-knot (you can see it in their GH History and in the discord). First thing is a type checker, I think, then the renaming c…

Super interested. Do you have an equivalent of vLLM? Did you have to rewrite batching, paged attention…?

Uuuh can you tell a bit more about wasabi, the Python LSP? Saw a post years ago and been eager to see whether it’d be open sourced (or why it wouldn’t).

Have you seen two “prototypes” of standard for LLM telemetry? One is openllmetry, maintained by the folks at TraceLoop. Seems the more popular. The other one is openinference IIRC,…