This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Zed
zed.dev
did:plc:h4nlizncnhhcq7mwpz3uuvzk
@osiewicz.bsky.social is on a mission to improve Zed's default 🐍 experience. This week, we switched from `pyright` to `basedpyright` as our default language server, as it includes support for inlay hints, semantic highlighting, auto-import code actions, and stricter type checking.
2025-09-17T20:47:27.710Z