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…
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.
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…
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…
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.
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…