https://diode.zone/videos/watch/5963b14c-231f-423b-8b65-55778e96dfd5 miniKanren search, miniKanren for network configuration(??), and an open problem for Barliman. See https://github.com/webyrd/miniKanren-hangout-summaries for more information. ======================================== Original video: https://youtu.be/B7Tglu-1_NQ, Originally published: 2017-04-02 Tue, 20 Oct 2026 14:07:54 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/5963b14c-231f-423b-8b65-55778e96dfd5 All rights reserved, unless otherwise specified in the terms specified at https://diode.zone/about and potential licenses granted by each content's rightholder.