News for hackers. Stuff that matters.
Re:Mypy 1.6 by maximilianroos on Tuesday October 17, 2023 @02:21PM (#37919322)
For those using mypy and wishing it were a bit faster — dmypy is really good.

I often leave this running, so I can see live errors on every save:

    watchexec -rc -e py -- dmypy run

There are no comments on this comment yet.