Post #936 262 Dec 6, 2025, 20:16 UTC https://www.youtube.com/watch?v=-32fwqirjW8but also do read the paper i found it better structured than the slides + the video %) https://arxiv.org/pdf/2510.26016 YouTube [miniKanren'25] Fair intersection of seekable iterators Fair intersection of seekable iterators (Video, miniKanren 2025) Michael Arntzenius (UC Berkeley) Abstract: miniKanren’s key semantic advance over Prolog is to implement a complete yet efficient search strategy, fairly interleaving execution between disjuncts.…