How we chose Positron's Python type checker #1 Post by nomial » Tue, Mar 31, 2026, 9:30 PM UTC How we chose Positron's Python type checkerpositron.posit.co