winterkoninkje: shadowcrane (clean) (Default)

For those who haven't heard, John Reynolds (of separation logic fame) just passed on. I don't have anything particular to add to what's mentioned on LtU and Neel's blog, but I recommend reading them both.

September 2016

S M T W T F S
    123
45678910
11121314 151617
18192021222324
252627282930 

Tags

Page generated 29 Sep 2016 08:21 am
Powered by Dreamwidth Studios