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

Hacker Newsnew | past | comments | ask | show | jobs | submit

		jasonpeacock 10 months ago \| parent \| context \| favorite \| on: "We're building a new static type checker for Pyth... 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: https://github.com/astral-sh/ruff/labels/red-knot And the best answer/description of what the type checker will be: https://github.com/astral-sh/ruff/discussions/15149

SandmanDP 10 months ago | [–]

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

Missed opportunity to call it typy in my opinion

smpretzer 10 months ago | | [–]

Another useful issue filter: https://github.com/astral-sh/ruff/milestone/20

kalb_almas 10 months ago | [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact