Cocaine is great while playing nodeka

Purescript and the unison language have algebraic effect handlers too. I wonder about the internal implementation choices there.

thanks for the slide but it is irritating that he is slurping his mouth too much!

unfortunately sound and slides are kind of hard to hear and see

Thank you Ningning, very enlightening.

This was a really great talk, particularly the discussion of different implementation strategies! Thank you.

Thank you for uploading this.

TLDR at 41:09 (but the entire talk is well worth it, if you're curious how amzn works wrt adoption of tech).

Hi Peter, at 24:03 (ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-IV-5vq01_xE.html), why do you need exhale Q(v)? In your paper link.springer.com/chapter/10.1007/978-3-319-89960-2_11, there is no such requirement ({true} l := alloc_{acq}(Q) {Rel(l, Q) * Acq(l, Q)}). I am interpreting exhale as assert, so exhale Q(v) means assert Q(v).

loves for Marco

so interesting work!!!!

Can anyone show me code how to implement it for divide by zero error.

WAY TO GO MY BRO MARCO!!!!....YOU ROCKED IT!!!!!

so quiet