Haskell Live Coding Session 3 Authenticated Computation

Summary

See how I hope you enjoyed it anyway this especially what working and Nominal sets are about dealing with name capture in a principled way, based on permutations of 'atoms' or 'names'. We spent the ... In this stream we went off and found a nicer format for succinct serialization without quite so many parentheses. Then we spent a ... Continuing on from last time, we build the bulk of a library for lazily (de)serializing data with succinct data structures. -- Watch Building a library for commutative applicative functors and general chat about the Reviewing the last couple of days work on delimited continuations, and then implementing explicit sharing in the style of ... Broadcast in the middle of the week. We mostly spent this time exploring building an alternative form of generic Undoing a fair bit of the damage we did from the last couple of streams and trying to incorporate the things we did . -- Watch ... Working towards a little relational An introduction to the "Art of the Propagator." -- Watch