πŸ’­ Playground | Red Knot ━━━━━━━━━━━━━━━━━━━━━━━ !https://types.ruff.rs/ Date: May 2, 2025 Image: Playground | ty β€” An in-browser playground for ty, an extremely fast Python type-checker written in Rust. Playground | ty An in-browser playground for ty, an extremely fast Python type-checker written in Rust. types.ruff.rs ty, has a playground running at types.ruff.rs. You can edit code in there and see what the type checker results would be in browser. This looks good, excited to see it running in my lsp. Here is an example where a Optional may not be defined. Image: image Checking for existance before using it resolves the issue. Image: image NOTE β”‚ This post is a thought </thoughts/>. It’s a short note that I make about someone else’s content online #thoughts </tags/thoughts/>