[Haskell'25] typedKanren: Statically Typed Relational Programming with Exhaustive Matching in(…)
26:09
[Haskell'25] typedKanren: Statically Typed Relational Programming wit…
2 months ago
YouTubeACM SIGPLAN
[miniKanren'25] An Empirical Study of Rational Tree Unification for miniKanren
23:58
[miniKanren'25] An Empirical Study of Rational Tree Unification for mi…
2 months ago
YouTubeACM SIGPLAN
Does MiniKanren Support the 'Not' Operator? Exploring Logic Programming Challenges
1:55
Does MiniKanren Support the 'Not' Operator? Exploring Logic Progra…
2 months ago
YouTubeThe Debug Zone
[miniKanren'25] Typed Embedding of miniKanren for Functional Conversion
23:24
[miniKanren'25] Typed Embedding of miniKanren for Functional Conv…
2 months ago
YouTubeACM SIGPLAN
Prolog & Neural Networks. Implementing Logic Programming in Python
8:19
Prolog & Neural Networks. Implementing Logic Programmin…
41 views2 weeks ago
YouTubeSunSay, Сенсей, Sensei
mini on Instagram: "たくさんのご視聴ありがとうございました🙇‍♂️ mini10月号の撮影秘話や気になる秋のファッションアイテム、mini公式インスタグラムで募集した"慧人くんに聞きたいこと！"などをお話してくれました！"
28:35
mini on Instagram: "たくさんのご視聴ありがとうございました🙇‍♂️ mi…
15.8K viewsSep 13, 2023
Instagrammini_tkj
Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
Barliman: trying the halting problem backwards, blindfolded - William …
7.7K viewsDec 3, 2016
YouTubeClojureTV
miniKanren - Dan Friedman and William Byrd
9.4K viewsJan 7, 2013
YouTubeClojureTV
1:30
迷你世界：小乾你做的学校门好矮，我一下就跳出来了，休想困住我
1.7M viewsMay 12, 2019
YouTube小乾游戏解说
7:25
Lisp周辺技術の論文紹介: rKanren: Guided Search in miniKanren(2013)
21 views6 months ago
YouTubeLisp徒然草
18:17
【梨涡少女mini】 【为食出发】卡路里我的天敌，mini挑战十万卡路里！
118.2K viewsSep 25, 2019
YouTube梨涡少女mini - 官方频道
22:34
Byrd - mediKanren: A System for Bio-medical Reasoning
959 viewsNov 19, 2020
YouTubeACM SIGPLAN
35:42
ULTIMATE My Player Beginners Guide in PGA TOUR 2K23
60.7K viewsOct 16, 2022
YouTubeGamer Ability
39:58
miniKanren Philosophy - William Byrd & Daniel Friedman
10.9K viewsJan 17, 2013
YouTubeClojureTV
1:01:39
"Simple Made Easy" - Rich Hickey (2011)
170.5K viewsSep 2, 2021
YouTubeStrange Loop Conference
[ICFP/SPLASH'25] Peony NW - miniKanren (Oct 17th)
297 views4 months ago
YouTubeACM SIGPLAN
Andy Keep - Writing a Nanopass Compiler
27.8K viewsJan 6, 2014
YouTubeClojureTV
1:41
迷你世界：小乾果然在惦记我的墙，光天化日之下，他就开始明抢了
171.6K viewsJan 15, 2020
YouTube小乾游戏解说
5:10
Сравнение Kanken Classic и Mini от kanken.msk.ru
21K viewsMay 8, 2019
YouTubeKanken
41:56
The Haskell Unfolder Episode 42: logic programming with typedKan…
1.2K views10 months ago
YouTubeWell-Typed
10:34
Functional and relational programming for biology and med…
203 viewsOct 16, 2019
YouTubeTogoTV
3:27
迷你世界：小乾是窮人，被武魂殿欺負，變身唐三找雷神之錘去報仇
579.8K viewsJul 18, 2022
YouTube小乾游戏解说
1:14
छोटेलाल ने खाया जापानी चावल 🤯😉 ~ mini wood toy woodwork…
12.4K views3 months ago
YouTubeStar Fun Ltd
0:46
बंदर पी रहा ठंडा 🤯 ~ mini wood toy woodworking art skill / wood / …
12.8K views3 months ago
YouTubeStar Fun Ltd
Functional and relational programming for biology and med…
2 months ago
dbcls.jp
37:34
Dan Friedman & Jason Hemann - How to be a good host: miniKanre…
1.6K viewsJul 18, 2015
YouTubeCurry On!
12:35
住在南部的韓國女孩快要憂鬱症了，大家陪米妮珍聊天一下🚨 | 韓國人愛台 …
2.4K viewsDec 8, 2023
YouTubeMiNiJinE 米妮珍 미니진이
1:16
迷你世界：把小乾关到监狱里，让他做我的奴隶，每天到煤场里挖煤
527.3K viewsMar 20, 2019
YouTube小乾游戏解说
41:15
William E Byrd - Relational Interpreters, Program Synthesis, a…
4.4K viewsFeb 1, 2018
YouTubeErlang Solutions
58:03
The Algorithm for Precision Medicine
11.2K viewsFeb 18, 2020
YouTubeJane Street
See more videos
Static thumbnail place holder