Haskell Live-Coding, Session 14.2, Succinct Serialization, Part 6Haskell...
yt:video:GCPClbek0RgGCPClbek0RgUCE3MJbkTVLoK8dAq7Del8wwUndoing a fair bit of the damage we did from the last couple of streams and trying to incorporate the things we did like. -- Watch live at...
View ArticleHaskell Live-Coding, Session 14.1, Succinct Serialization, Part 6Haskell...
yt:video:bfooJoXCKpkbfooJoXCKpkUCE3MJbkTVLoK8dAq7Del8wwUndoing a fair bit of the damage we did from the last couple of streams and trying to incorporate the things we did like. -- Watch live at...
View ArticleHaskell Live-Coding, Session 14.3, Succinct Serialization, Part 6Haskell...
yt:video:10Cj33G9G-M10Cj33G9G-MUCE3MJbkTVLoK8dAq7Del8wwUndoing a fair bit of the damage we did from the last couple of streams and trying to incorporate the things we did like. -- Watch live at...
View ArticleHaskell Live-Coding, Session 15, Back from ICFPHaskell Live-Coding, Session...
yt:video:JYWSqT1FIugJYWSqT1FIugUCE3MJbkTVLoK8dAq7Del8wwWorking towards a little relational programming library as an excuse to write some code after returning from ICFP. http://github.com/ekmett/guanxi...
View ArticleHaskell Live-Coding, Session 16, Relational Programming, Part 2Haskell...
yt:video:yTlTtmVX3vAyTlTtmVX3vAUCE3MJbkTVLoK8dAq7Del8wwPicking up from where we left off last stream ("Back from ICFP") we continue forging on building a little library for relational programming in...
View ArticleHaskell Live-Coding, Session 18, Nominal SetsHaskell Live-Coding, Session 18,...
yt:video:3Zreblm0Ux03Zreblm0Ux0UCE3MJbkTVLoK8dAq7Del8wwNominal sets are about dealing with name capture in a principled way, based on permutations of 'atoms' or 'names'. We spent the night refactoring...
View ArticleHaskell Live-Coding, Session 17, Relational Programming, Part 3Haskell...
yt:video:wkHRM_5CV84wkHRM_5CV84UCE3MJbkTVLoK8dAq7Del8wwMore relational programming. We finish fleshing out the notion of a "Log" to help us steal the power of seminaive evaluation from Datalog for our...
View ArticleHaskell Live-Coding, Session 19, Relational Programming, Part 4 (Soul of a...
yt:video:P2Ak8sEolkIP2Ak8sEolkIUCE3MJbkTVLoK8dAq7Del8wwMore live-coding. New computer, so I'm currently playing with my development environment to see how well it works for the stream. In the meantime,...
View ArticleHaskell Live-Coding, Session 20, Relational Programming, Part 5Haskell...
yt:video:YUgZrsDhn4oYUgZrsDhn4oUCE3MJbkTVLoK8dAq7Del8wwBack from Iceland, where I managed to get more done on guanxi. Most of this stream is devoted to describing the changes made thus far and less to...
View ArticleHaskell Live-Coding, Session 21, Relational Programming, Part 6Haskell...
yt:video:UAcZUK7x6xwUAcZUK7x6xwUCE3MJbkTVLoK8dAq7Del8wwReviewing the last couple of days work on delimited continuations, and then implementing explicit sharing in the style of...
View ArticleC++ Live-Coding, Session 22, Dancing LinksC++ Live-Coding, Session 22,...
yt:video:gxHE3uguDbggxHE3uguDbgUCE3MJbkTVLoK8dAq7Del8wwImplementing Knuth's algorithm X with Dancing Links in C++. -- Watch live at https://www.twitch.tv/ekmett
View ArticleC++ Live Coding, Session 23, Dancing Links, Part 2C++ Live Coding, Session...
yt:video:IoXDNWhN0awIoXDNWhN0awUCE3MJbkTVLoK8dAq7Del8wwMore work on Dancing Links for guanxi. -- Watch live at https://www.twitch.tv/ekmett
View ArticleLive-Coding, Session 24, Dancing with Decision DiagramsLive-Coding, Session...
yt:video:DTm_Fe7hdIYDTm_Fe7hdIYUCE3MJbkTVLoK8dAq7Del8wwWe manage to implement the "Dancing with Decision Diagrams" paper in guanxi. -- Watch live at https://www.twitch.tv/ekmett
View ArticleHaskell Live-Coding, Session 25, Guanxi ReviewHaskell Live-Coding, Session...
yt:video:ISNYPKiE0YUISNYPKiE0YUUCE3MJbkTVLoK8dAq7Del8wwThis is a review of the last few streams, where we go through what it is that we've managed to build during my obsession with Logic Programming....
View ArticleLive Coding with Edward Kmett, Episode 26Live Coding with Edward Kmett,...
Getting back in the saddle after 4 years away. Dusting off my work on hkd-based distributive functors. -- Watch live at https://www.twitch.tv/ekmett
View Article
