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.

June 2016

S M T W T F S
   1 23 4
567891011
121314 15161718
19202122 232425
2627282930  

Tags

Page generated 26 Jul 2016 08:20 am
Powered by Dreamwidth Studios