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 on Jan 29, 2025 \| 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 on Jan 30, 2025 | [–]

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

Missed opportunity to call it typy in my opinion

smpretzer on Jan 29, 2025 | | [–]

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

kalb_almas on Jan 31, 2025 | [–]

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

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact