MENU
Home
Mp3 Beta
Fun & Interesting
Funny videos
Tik Tok is funny
Bigo Hot Girls
K-Pop
Funny accident
Comedy
Record Guinness
Funny animals
Got Talent
Talented people
How do they do it?
Unique invention
Strange world
The camera comes back
Movie theaters
Movie 18+
Comedy
Short film
Share on
Facebook
Share on
Twitter
Nghe mp3
Carlo Angiuli - Homotopy Type Theory 101
Boston Computation Club
383 lượt xem
3 years ago
Video Not Working?
Fix It Now
No description yet...
Comment
1:43:33
André Joyal --- Homotopy type theory: a new bridge between logic, category theory and topology.b
The New York City Category Theory Seminar
0 views
1:41:18
GETCO 2022 / Eric Finster / Introduction to Homotopy Type Theory
Samuel Mimram
0 views
28:33
Terence Tao on how we measure the cosmos | Distance ladder part 1
3Blue1Brown
0 views
1:01:09
Matej Panciak - An Introduction to Lurk
Boston Computation Club
0 views
1:00:38
Gaspard Baye - Hacking GenAI with LLM Red Teaming and Beyond
Boston Computation Club
0 views
35:40
BREAKING NEWS: Elon Musk Delivers His 'DOGE Update' One Month Since Trump Retook The White House
Forbes Breaking News
0 views
16:30
Bernie Sanders takes down Elon Musk and Donald Trump's oligarchy in intense speech
PoliticsJOE
0 views
53:50
A Taste of Type Theory • Bartosz Milewski • YOW! 2019
GOTO Conferences
0 views
1:28:36
Homotopy Theory in Type Theory Homotopy Group- Licata, Brunerie, Lumsdaine
xuan-gottfried YANG
0 views
57:43
Radically Better Academic Search With Undermind with Joshua Ramette
Boston Computation Club
0 views
57:24
Category Theory: Introduction to Category Theory 1
Advanced Math by Professor Roman
0 views
1:04:38
Q&A on Puzzles - Roger Barkan in conversation with Jacob Denbeaux
Boston Computation Club
0 views