Grothendieck reportedly died on Thursday, November 13, 2014.
From this journal a year earlier:
After clicking on the link “a grave intellectual whole” from the Nov. 13, 2013, post
see also Benedict Cumberbatch’s less serious approach to Bletchley Park:
“I want to see this film; this film’s been up my ass for the last five years.”