Viewing profile — _lambdalambda

Even with multiple assertions the test failure reason should be quite clear as most testing frameworks allow to specify a message which is then output in the testing summary. E.g. …

It's a great topic :) and with so many interesting ideas and constructions. In my comment I was trying to make the more general statement that is (likely) impossible to achieve str…

Hi paper author here :) thanks for the great comment. I'll add some thoughts for other potential future readers: Generally, almost every protocol that does not do some form of traf…

Hi, paper author here :) thanks for providing a great answer to that question. I missed that the post/paper made its way to HN. One thing I'd add for the benefit of the discussion …