https://diode.zone/videos/watch/8a15addf-d292-4feb-81bf-0a09d3e1fed5 Luke explains how he added interval arithmetic constraints to a Python version of miniKanren to make it easier to design hulls for ships. Will describes an experiment to bias miniKanren search for program synthesis, based on a simple approach to training on Scheme programs. See https://github.com/webyrd/miniKanren-hangout-summaries for more information. ======================================== Original video: https://youtu.be/u3xjelzmC20, Originally published: 2017-04-16 Wed, 21 Oct 2026 13:21:48 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://diode.zone https://diode.zone/lazy-static/avatars/f8052465-9d60-4b32-92d3-0f4304b24ca6.png https://diode.zone/videos/watch/8a15addf-d292-4feb-81bf-0a09d3e1fed5 All rights reserved, unless otherwise specified in the terms specified at https://diode.zone/about and potential licenses granted by each content's rightholder.