Live Coding Differential Dataflow Part 2

Summary

We continue from the previous video, fleshing out our implementation a bit more to line up with the expectations of the test ... Delight in the radiant excitement of We get in to some refactoring and attempt some optimizations! Along the way we make our program a bit more idiomatic, and ... We continue with computing truss decompositions in graphs (edges that participate in lots of mutual triangles). We pick up where ... Further adventures in graph computation, in which we refactor the algorithms to use the same in-memory graph arrangements, ... youtube.com/playlist?list=PL3M3s8ZCMFRDKXrJOHGEumDuUbl9TLjnl This video is We tidy up our implementation a bit, talking through the manual construction of recursive Continuing our exploration of Rust's ecosystem, I started learning Timely Following up on an idea of some other folks, we explain the RGA CRDT, its casting in Datalog, and its translation into This video walks through the new UI experience for upgrading your Gen 1 This talk will cover a new computational framework, Naiad, now available for download, is an investigation of data-parallel We start a new project to write a simple sudoku solver in