I feel this article funny. Most FAANG interviewers have just average talent
2 karma · joined May 27, 2015
I barely know anything about TLA+ though.
This is so stupid because none of those techniques are reliable enough to be put in such kind of scenarios.
Not mention that software developers work for gov or bank in China are usually worse than developers in tech companies.
Why not look them up when necessary ?