TH-cam
US
Jamie Vicary - Introducing homotopy.io: A proof assistant for geometrical higher category theory
1:27:56
Conor McBride - Epigram 2: Autopsy, Obituary, Apology
1:42:15
Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021
53:06
SHIN SONIC x TAILS SO BABY Cute story?! (The Sonic Tapes Animation)
01:00
[UNCUT]"ทนายตั้ม" แฉยับ! ความลับสวรรค์ ใครคือ "บิ๊กเทวดา" ของบอสพอล l คนดังนั่งเคลียร์ l 15 ต.ค. 67
47:55
ILLSLICK - WINTER IS COMING [Official Video]
02:47
Anders Mörtberg - Cubical Agda
FMF Foundations seminar
ติดตาม
152
ดาวน์โหลด
โหลดลิงค์.....
มุมมอง 510
0
0
เพิ่มลงใน
เพลย์ลิสต์ของฉัน
ดูภายหลัง
แชร์
แชร์
ฝัง
ขนาดวิดีโอ:
1280 X 720
853 X 480
640 X 360
แสดงแผงควบคุมโปรแกรมเล่น
เล่นอัตโนมัติ
เล่นใหม่
เผยแพร่เมื่อ 16 ต.ค. 2024
ความคิดเห็น •
ต่อไป
เล่นอัตโนมัติ
1:27:56
Jamie Vicary - Introducing homotopy.io: A proof assistant for geometrical higher category theory
FMF Foundations seminar
มุมมอง 802
1:42:15
Conor McBride - Epigram 2: Autopsy, Obituary, Apology
FMF Foundations seminar
มุมมอง 892
53:06
Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021
Code Sync
มุมมอง 2K
01:00
SHIN SONIC x TAILS SO BABY Cute story?! (The Sonic Tapes Animation)
AM Animation
มุมมอง 4.4M
47:55
[UNCUT]"ทนายตั้ม" แฉยับ! ความลับสวรรค์ ใครคือ "บิ๊กเทวดา" ของบอสพอล l คนดังนั่งเคลียร์ l 15 ต.ค. 67
ช่อง8 : Thai Ch8
มุมมอง 744K
02:47
ILLSLICK - WINTER IS COMING [Official Video]
Illslick thelegandary
มุมมอง 14M
24:37
“อาร์ต พศุตม์” เกือบเอี่ยวแต่รอดมาได้ | แฉฮอต 2024
วันบันเทิง oneบันเทิง
มุมมอง 294K
1:43:58
Autumn realizability
FMF Foundations seminar
มุมมอง 421
1:09:55
Valery Isaev - Arend proof assistant
FMF Foundations seminar
มุมมอง 779
1:14:56
Jon Sterling - redtt and the future of Cartesian cubical type theory
FMF Foundations seminar
มุมมอง 699
1:34:18
Programování v Rustu #3: Ownership, borrowing, lifetimes
Jakub Beránek
มุมมอง 54
1:07:51
"Constructive Real Numbers in the Agda Proof Assistant", talk by Zach Murray at CQTS @ NYU Abu Dhabi
Urs Schreiber
มุมมอง 592
38:13
Birth of BASIC
Dartmouth
มุมมอง 1.2M
16:02
Viral Video of a Man's Crazy Job Interview
Darryl Vega TV
มุมมอง 1.4M
31:33
The Oldest Unsolved Problem in Math
Veritasium
มุมมอง 11M
1:00:05
(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019
GOTO Conferences
มุมมอง 1.8K
42:16
1 คืน ตำนานสวนน้ำโบราณ!! ตกดึกมีคนหอมแก้มกันแหละเธอ ฮาๆ!! (Part.2/2)
OAUJUN HI-END
มุมมอง 1.6M
00:54
Useful phone hack for parents! 📱🩷
TheSoul Music Family
มุมมอง 1.4M
00:42
REAL 3D brush can draw grass Life Hack #shorts #lifehacks
MrMaximus
มุมมอง 10M
1:33:41
เปิดข้อมูล “บอสพอล” สุดลึกลับ ย้ายบ้านบ่อย เปลี่ยนชื่อบานตะไท ใคร “เทวดา” ? #ถกไม่เถียง
terodigital
มุมมอง 1.2M
5:39:46
Live! ถ่ายทอดสดหวย ถ่ายทอดสดการออกรางวัลสลากกินแบ่งรัฐบาล งวดวันที่ 16 ตุลาคม 2567
เรื่องเล่าข่าวร้อน
มุมมอง 976K
09:29
HIGHLIGHTS : Argentina 6-0 Bolivia | CONMEBOL World Cup Qualifiers | 16.10.24
BG SPORTS
มุมมอง 272K
8:19:26
🔴 LIVE ! บุกรวบ "บอสพอล" พร้อมพวก 18 คน กลางวง สคบ. "กันต์-มิน-แซม" โดนด้วย |สดสด|16-10-67|ข่าวช่อง8
ข่าวช่อง8
มุมมอง 894K
47:55
[UNCUT]"ทนายตั้ม" แฉยับ! ความลับสวรรค์ ใครคือ "บิ๊กเทวดา" ของบอสพอล l คนดังนั่งเคลียร์ l 15 ต.ค. 67
ช่อง8 : Thai Ch8
มุมมอง 744K