Haskell Live Coding Session 13 Succinct Serialization Part 5

Summary

Back from Iceland, where I managed to get more done on guanxi. Most of this stream is devoted to describing the changes made ... Undoing a fair bit of the damage we did from the last couple of streams and trying to incorporate the things we did . -- Watch ... In which we (mostly) convert to using a sum-of-product representation for terms to get a more efficient Continuing on from last time, we build the bulk of a library for lazily (de) In this stream we went off and found a nicer format for Broadcast in the middle of the week. We mostly spent this time exploring building an alternative form of generic An introduction to the "Art of the Propagator." -- Watch Building a little library for authenticated computations in Nominal sets are about dealing with name capture in a principled way, based on permutations of 'atoms' or 'names'. We spent the ... We manage to implement the "Dancing with Decision Diagrams" paper in guanxi. -- Watch