Item — HN Reader

It's hard to find details...apparently it's code named "red knot" (or "red_knot").

Here's the github issues filter linked in the screenshot:

And the best answer/description of what the type checker will be:

3 comments

> apparently it's code named "red knot" (or "red_knot")

Missed opportunity to call it typy in my opinion

Is anyone going to tell them how bad that name is? Especially considering their other project is called ruff...