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
43 results
In the Qubi Programming Language series, Founder & CEO Trent Rosenthal explains what Qubi is, how it works, and how you ...
9 views
5d ago
LazyHMC: Hamiltonian Monte Carlo Simulation for Lazy, Infinite Dimensional Probabilistic Programs (Video, ICFP 2026) ...
22 views
1d ago
In this video, we compare parametric vs. non-parametric machine learning approaches. About this video The Neuro Symbolic ...
794 views
Did you know it's possible to create a rotating 3D donut entirely inside in a terminal, built only from ordinary text characters?
115,495 views
7d ago
Imprecise Probabilistic Programming, Precisely (Functional Pearl) (Video, ICFP 2026) Jack Liell-Cock, and Sam Staton (University ...
16 views
Higher-order fork, modally (Video, HOPE 2026) Aghilas Boussaa, Wenhao Tang, and Sam Lindley (École normale supérieure ...
31 views
In this lecture, we introduce a definition for convexity of functions and explores some examples and useful properties of convex ...
23,117 views
In this work, we present ZGCM-1, a fully open 7B dense foundation model trained from scratch with extreme data, system, and ...
11 views
I created a Japanese House Configurator that works in Unreal Engine and uses Rhino in the background to generate precise ...
14,049 views
Meet Locus Studio - a tool that takes the oldest way to draw geometry, compass and straightedge, and makes it live, precise, and ...
23 views
6d ago
3 views
2d ago
Towards a Higher-Order Bialgebraic Denotational Semantics (Video, ICFP 2026) Sergey Goncharov, Marco Peressotti, Stelios ...
60 views
Automating tasks in SOLIDWORKS is a great way to improve productivity and make our lives easier. Thankfully SOLIDWORKS ...
2,707 views
Automating reinforced-concrete column analysis in Grasshopper. In this demo, I use a custom plugin, **SpColumnGH**, ...
52 views
AI Risk Series Module 2. AI Tools, Techniques and Algorithms Section 4: Supervised Learning – Machine Learning & Deep ...
0 views
We usually think of AI models as general-purpose systems. But if one model can already work across coding, science, finance, ...
513 views
3d ago
4d ago
What happens when that infinite mathematical complexity is translated directly into sound? In this video, I transform 32 complex ...
6,524 views
Autonomous AI discovery requires long-horizon exploration across thousands of proposal-evaluation steps. But managing search ...
63 views
In this video, you will learn how to input mathematical expressions into Maple using various methods including Maple's palettes ...
548 views
Show more
![[ICFP'26] LazyHMC: Hamiltonian Monte Carlo simulation for lazy, infinite dimensional(…)](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FUUBHWajWxW4%2Fsddefault.jpg)
![[ICFP'26] Imprecise Probabilistic Programming, Precisely (Functional Pearl)](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2Fy6Gwr33DaCg%2Fsddefault.jpg)
![[HOPE'26] Higher-order fork, modally](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FeBm5YHai6Ks%2Fsddefault.jpg)
![[ICFP'26] Towards a Higher-Order Bialgebraic Denotational Semantics](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FAez8IpoJ8z4%2Fsddefault.jpg)
