News for hackers. Stuff that matters.

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

Re:Ty: A fast Python type checker and language server by _carljm on Wednesday May 07, 2025 @06:40PM (#43921242)
There's a good chance many of the errors we emit are incorrect, at this stage. Lots to do still!
[ Parent | on HN ]
Re:Ty: A fast Python type checker and language server by dcreager on Wednesday May 07, 2025 @07:48PM (#43921642)
Wait wait wait

Carl, you did not tell me that the errors we emit need to be correct!!

I think I need to go revisit some of my PRs...

[ Parent | on HN ]
Re:Ty: A fast Python type checker and language server by _carljm on Wednesday May 07, 2025 @08:12PM (#43921769)
I knew we left something important out of that onboarding document
[ Parent | on HN ]
Re:Ty: A fast Python type checker and language server by renmillar on Thursday May 08, 2025 @08:26AM (#43925458)
Why don't you just run ty on the ty codebase and let it tell you which errors are correct and which are erroneous?
[ Parent | on HN ]