pmrondon

3 ms·

1. 1.▲
   by pmrondon 14y ago

   To write on both sides of difficult notebooks, I flip the book upside down (i.e., rotate the writing surface 180 degrees) when writing on left-hand pages. It's much easier to write that way with a fairly small loss to readability.
2. 2.▲
   by pmrondon 14y ago

   At least in the area of programming languages this could not be further from the truth - papers from MSR are a significant portion of every year's POPL and PLDI proceedings.
3. 3.▲
   by pmrondon 14y ago

   Thanks! It's great to see interest in our work on HN. Yes, this is the precursor to and basis for our current work on refinement type inference for C. For those who haven't seen it, our recent work has focused on extending the automatic pro