https://diode.zone/videos/watch/979b3399-6a17-4084-a8ac-0892c023707c Greg walks through the improvements and optimizations that radically sped up the relational interpreter used by Barliman. See https://github.com/webyrd/miniKanren-hangout-summaries for more information. ======================================== Original video: https://youtu.be/OfrR1pm8q6g, Originally published: 2017-04-09 Tue, 20 Oct 2026 15:50:08 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://diode.zone https://diode.zone/lazy-static/avatars/61b689b7-84d5-43c7-9fa8-e63a7fd1d952.png https://diode.zone/videos/watch/979b3399-6a17-4084-a8ac-0892c023707c All rights reserved, unless otherwise specified in the terms specified at https://diode.zone/about and potential licenses granted by each content's rightholder.