News for hackers. Stuff that matters.

A comment on Ty: A fast Python type checker and language server.

Re:Ty: A fast Python type checker and language server by sestep on Wednesday May 07, 2025 @05:05PM (#43920550)
Is this the same thing as Red Knot?
[ Parent | on HN ]
Re:Ty: A fast Python type checker and language server by _carljm on Wednesday May 07, 2025 @05:31PM (#43920769)
Yes, red knot was the internal development code name; ty is the actual name.
[ Parent | on HN ]