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
53 results
Before a neural network makes a single prediction or a language model generates a word, linear algebra runs the show.
160 views
3d ago
In this way, Citrus provides a simple functional programming language, equivalent to PyLSE, with increased verification ...
39 views
6d ago
Elements of Logic Programming in a Concatenative Functional Language (Video, LOPSTR+PPDP 2026) Attila Egri-Nagy (Akita ...
50 views
Listen to 100s of Science Documentaries on Turing for Free. CHeckout the App at iOS: ...
104,929 views
Towards a Higher-Order Bialgebraic Denotational Semantics (Video, ICFP 2026) Sergey Goncharov, Marco Peressotti, Stelios ...
98 views
Read the full article: https://binaryverseai.com/courtade-kumar-conjecture-solved-ai-proofs/ After 13 years, the Courtade Kumar ...
275 views
5d ago
What happens when the perfect answer from mathematics makes absolutely no sense in real life? In this engaging lesson, we ...
5 views
Episode 9: When the Machine Is Its Own Language This episode turns Episode 8's consequential difference into a technical ...
0 views
When Types Intersect and Effects Get Handled (Video, ICFP 2026) Stefano Catozi, Ugo Dal Lago, Taro Sekiyama (University ...
49 views
XUEFENG taught a statistics lesson on ordered models and probit analysis, explaining how to handle categorical variables with ...
25 views
A Typed and Unified Reflection for Shift and Shift0 (Video, LOPSTR+PPDP 2026) Yui Tamura, and Kenichi Asai (Ochanomizu ...
231 views
How do you guarantee that autonomous AI agents actually finish what they start? In this deep-dive architecture masterclass, we ...
53 views
Made with Restream. Livestream on 30+ platforms at once via https://restream.io.
417 views
Streamed 5d ago
Where does the logarithm come from, and why is it the inverse of the exponential? This lesson starts from a question you can't ...
14 views
1d ago
Tempo: Reconstructing Synchronous Reactive Programming with OCaml 5 Effects (Video, LOPSTR+PPDP 2026) Frédéric ...
38 views
The conference addresses the development of algebraic thinking from primary education through mathematical modeling. It ...
13 views
Where does your last award actually lose time? Usually not on the judgment calls. It's the same vendor data typed into three ...
8 views
4d ago
A Categorical Model of Natural Language Through Attention in Language Models Dr. Víctor Germán Mijangos de la Cruz Department ...
314 views
AMPL + Python = amplpy Mathematical Optimization Hands-on (1) Mathematical Optimization AMPL: A Modeling Language for ...
168 views
16h ago
BOOK INFO: Title: My Inventions and Other Works Author: Nikola Tesla Narrated by: LibriVox volunteers ABOUT THE BOOK ...
481 views
Show more
![[ICFP'26] Citrus: Algebraic Reasoning About Superconductor Electronics](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2F7z9IzpsMZZk%2Fsddefault.jpg)
![[LOPSTR+PPDP'26] Elements of Logic Programming in a Concatenative Functional Language](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FG7Y99PmhjW0%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)
![[ICFP'26] When Types Intersect and Effects Get Handled](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FRE1Kmjab4YE%2Fsddefault.jpg)
![[LOPSTR+PPDP'26] A Typed and Unified Reflection for Shift and Shift0](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FPQOd1oPuSwA%2Fsddefault.jpg)
![[zig] learning about effects by making a language VM](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FONbedOPPgrY%2Fsddefault.jpg)
![[LOPSTR+PPDP'26] Tempo: Reconstructing Synchronous Reactive Programming with OCaml 5 Effects](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FthvEIEssI7U%2Fsddefault.jpg)
