gwern comments on Open thread, August 21 - August 27, 2017

gwern 25 Aug 2017 2:40 UTC
7 points
Grognor has reportedly died: https://twitter.com/MakerOfDecision/status/898625422270889984

Sad. He didn’t like me, but I mostly liked him.
- Vaniver 27 Aug 2017 22:41 UTC
  3 points
  Parent
  Boo death.
  
  I maintain the list: Less Wrong on Twitter. No, really, I actually maintain it. I request that you don’t turn it into a wiki article unless I die.