Media Summary: Continuing on from last time, we build the bulk of a library for lazily (de)serializing data with succinct data structures. -- Watch Accompanies Miran Lipovaca's "Learn You a Hope you liked the video! This took a while to make (mostly bc of uni stuff getting in the way). In this video, I will be going over the ...
Haskell Live Coding Session 9 - Detailed Analysis & Overview
Continuing on from last time, we build the bulk of a library for lazily (de)serializing data with succinct data structures. -- Watch Accompanies Miran Lipovaca's "Learn You a Hope you liked the video! This took a while to make (mostly bc of uni stuff getting in the way). In this video, I will be going over the ... In this video, we cover the basics of input/output actions (IO actions) and their sequencing. Course materials: ... A bit of a crash course on succinct data structures and dynamization schemes. -- Watch Where I go through the implementation of a simple compression algorithm for educational purposes. To explain and understand ...
The "Art of the Propagator", Part 2/2. -- Watch 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 ...
