4 ms·
Yes, I look at code. I'm professional developer. I will spend 1-2 minutes at scanning per thousand of lines.
by drran 4y ago
Yes, I look at code. I'm professional developer. I will spend 1-2 minutes at scanning per thousand of lines.
- mechanical_bear 4y agoI’m a developer too. Currently job title “senior enterprise systems engineer”. It would take me much longer than that to ensure the code is ok. Additionally without modelling the code (and proving it correct) in something like COQ, you will never understand the calculus of inductive constructions behind the code and have no guarantees as to its correctness.