zlacker

>>gregor+(OP)
> Every line was thoroughly reviewed and cross-referenced with relevant RFCs, by security experts with previous experience with those RFCs.

This sounds like coding but slower

>>teaear+Pc
I would say it ended up being much faster than had I written it by hand. It took a few days to produce this library -- it would almost certainly have taken me weeks to write it myself.

>>kenton+Gf
If you had written it by hand would the verification process been as time consuming?

i.e. overall including the time spent verifying that it was correct, do you consider it a net win?

>>noodle+si
I was already including my own time spent verifying the output, which I mostly did right away as the code was being generated (approving or rejecting each edit).

And the separate security review would have been required either way.

So yes, it saved time.