News for hackers. Stuff that matters.
Re:Astral – "We're building a new static type checker for Py... by iso8859-1 on Wednesday January 29, 2025 @11:47PM (#42874955)
the repo says the code is in the mypy repo and it looks like it is maintained in there. so I think it has had updates the last four years?
Re:Astral – "We're building a new static type checker for Py... by Redoubts on Thursday January 30, 2025 @02:41PM (#42881377)
Yeah, mypy uses it themselves for their releases. I think they get 5x speedups empirically