Upload date
All time
Last hour
Today
This week
This month
This year
Type
All
Video
Channel
Playlist
Movie
Duration
Short (< 4 minutes)
Medium (4-20 minutes)
Long (> 20 minutes)
Sort by
Relevance
Rating
View count
Features
HD
Subtitles/CC
Creative Commons
3D
Live
4K
360°
VR180
HDR
123 results
My goal is to make Prolog more popular than ever. I am starting this quest by posting videos of me coding in Prolog in realtime, ...
0 views
3 weeks ago
Fair intersection of seekable iterators (Video, miniKanren 2025) Michael Arntzenius (UC Berkeley) Abstract: miniKanren's key ...
23 views
2 weeks ago
![[miniKanren'25] Fair intersection of seekable iterators](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2F-32fwqirjW8%2Fsddefault.jpg)