From 6bc8531aea0a2724da269ce6288bb419dff1903c Mon Sep 17 00:00:00 2001 From: Guillaume Allais Date: Sun, 18 Feb 2024 09:23:15 +0000 Subject: [PATCH] [ 101 ] link to video --- _101.json | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/_101.json b/_101.json index 0e8b793..fd1215a 100644 --- a/_101.json +++ b/_101.json @@ -175,7 +175,13 @@ "title": "Making lenses less pointless", "abstract": "This talk contains two ideas. The first is a small trick for programming with lenses in a not-pointfree way, without using macros or other brittle hacks. The key is something I call a \"dialectic\", which is a value that carries around a delimited continuation with it. The second idea is realising that the central construction of Matteo's \"Diegetic Open Games\" paper amounts to a monad on the category of lenses that arises as the Kleisli dual of the linear ! comonad in a Dialectica category. By putting these two ideas together we get a shallow DSL for open games, differentiable programming, and other applications of categorical cybernetics. This will be a live coding talk using Haskell, although I think the same ideas should work in any language with first class functions.", "location": "LT209 and Online", - "material": [] + "material": [ + { + "tag": "Link", + "address": "https://www.youtube.com/watch?v=_572EOJPP6M", + "linkDescription": "Video" + } + ] }, { "tag": "Talk",