Comment by tombert

I just think it has to be soft skills in a few particular cases; I always check my work after the interview to see if I got the questions right, almost always by writing a PlusCal spec and checking against the invariants that they specified. Sometimes my answer is wrong and doesn't satisfy the invariant and there's edge cases that I didn't consider, and when that's the case I'm not really surprised when I'm rejected.

But when I get the technical questions correct and TLA+ seems to agree with me, that's where I get really confused. I'm not typically interviewing for management positions, I'm interviewing for engineering jobs.