The one for Chris Lattner is definitely off: https://twitter.com/clattner_llvm/status/1150992062365310977