leastfixedpoint

Archived tweet #10075 from the @leastfixedpoint Twitter Archive
@vj_chidambaram That sounds reasonable. "Harder" is likely to be a qualitative evaluation - or do you think even showing "it is harder" should be cast as a quantitative experiment for OSDI?