Comment by tombert

Oh I have a bunch of anecdotes about interviewers from BigCos that knew absolutely nothing about concurrent programming but thought that they knew a lot about concurrent programming and "corrected" my answers during the interview. There's a lot of confidently incorrect people at the staff level of big corporations, and it's a little concerning.

Before someone thinks I'm being cocky about me being right and them being wrong, after every interview involving concurrency I always write a PlusCal/TLA+ spec with my answer and use the model checker to make sure that my answer actually solved the problem correctly. This is why I can be confident that my answers were correct; I'm not smarter than anyone really, it's just that I try and verify my work.