Comment by skydhash

3 months ago

The lesson I retain from a similar endeavor is that you should document all the usecase of a module or a project before rewriting them. And that task can be as exhausting as formally verifying the module.

Yeah, it could be several weeks or even months before even writing a single line of code depending on size of project. Important to do, but PMs would be a hard to sell that to :(

(Ideally these things are written while the code is being written but let's be honest, we rarely keep those up to date)