New Twitter Mentions for alexstu

@alexstu was mentioned in 439: Eventually Converge on Correctness