David Spivak: Categorical Databases

แชร์
ฝัง
  • เผยแพร่เมื่อ 15 ต.ค. 2024
  • Kensho AI Labs, Academic Speaker Series
    2019/02/27

ความคิดเห็น • 10

ต่อไป
เล่นอัตโนมัติ
Angeline Aguinaldo: Diary of a software engineer using categories43:44Angeline Aguinaldo: Diary of a software engineer using categories
Angeline Aguinaldo: Diary of a software engineer using categoriesTopos Institute
มุมมอง 4.1K
Daniel Beskin - Category Theory as a Tool for Thought - Lambda Days 202041:28Daniel Beskin - Category Theory as a Tool for Thought - Lambda Days 2020
Daniel Beskin - Category Theory as a Tool for Thought - Lambda Days 2020Code Sync
มุมมอง 10K
Cats4AI talk: Dynamic organizational systems: from deep learning to prediction markets, David Spivak1:12:01Cats4AI talk: Dynamic organizational systems: from deep learning to prediction markets, David Spivak
Cats4AI talk: Dynamic organizational systems: from deep learning to prediction markets, David SpivakPim de Haan
มุมมอง 1.8K
女儿：爸爸，玩你轻而易举！ #funny #萌娃 #宝宝 #comedy #搞笑00:15女儿：爸爸，玩你轻而易举！ #funny #萌娃 #宝宝 #comedy #搞笑
女儿：爸爸，玩你轻而易举！ #funny #萌娃 #宝宝 #comedy #搞笑朵朵的五口之家
มุมมอง 1.8M
🔴Live โหนกระแส ติดกับดัก...รักบอสตัวร้าย #22:43:31🔴Live โหนกระแส ติดกับดัก...รักบอสตัวร้าย #2
🔴Live โหนกระแส ติดกับดัก...รักบอสตัวร้าย #2โหนกระแส [Hone-Krasae] official
มุมมอง 5M
Part 5. Roblox trend☠️00:13Part 5. Roblox trend☠️
Part 5. Roblox trend☠️Kan Andrey
มุมมอง 2.9M
LIVE PEA U23 Youngster League 2024 : บุรีรัมย์ ยูไนเต็ด vs การท่าเรือ เอฟซี2:16:20LIVE PEA U23 Youngster League 2024 : บุรีรัมย์ ยูไนเต็ด vs การท่าเรือ เอฟซี
LIVE PEA U23 Youngster League 2024 : บุรีรัมย์ ยูไนเต็ด vs การท่าเรือ เอฟซีBURIRAM UNITED
มุมมอง 163K
Evan Patterson: Double-categorical databases and knowledge representation50:31Evan Patterson: Double-categorical databases and knowledge representation
Evan Patterson: Double-categorical databases and knowledge representationTopos Institute
มุมมอง 1.5K
A Crash Course in Category Theory - Bartosz Milewski1:15:14A Crash Course in Category Theory - Bartosz Milewski
A Crash Course in Category Theory - Bartosz MilewskiScalaIO FR
มุมมอง 90K
Categorical Databases [1/5]14:01Categorical Databases [1/5]
Categorical Databases [1/5]Edward Kmett
มุมมอง 4.7K
Category Theory for Neuroscience (pure math to combat scientific stagnation)32:16Category Theory for Neuroscience (pure math to combat scientific stagnation)
Category Theory for Neuroscience (pure math to combat scientific stagnation)Astonishing Hypothesis
มุมมอง 101K
ACT 2020 Tutorial: Introduction to Applied Category Theory (David Spivak)38:32ACT 2020 Tutorial: Introduction to Applied Category Theory (David Spivak)
ACT 2020 Tutorial: Introduction to Applied Category Theory (David Spivak)Applied Category Theory
มุมมอง 7K
Dynamic Interfaces and Arrangements by David Spivak, MIT1:44:14Dynamic Interfaces and Arrangements by David Spivak, MIT
Dynamic Interfaces and Arrangements by David Spivak, MITMichael Levin's Academic Content
มุมมอง 1.2K
What A General Diagonal Argument Looks Like (Category Theory)36:10What A General Diagonal Argument Looks Like (Category Theory)
What A General Diagonal Argument Looks Like (Category Theory)Thricery
มุมมอง 81K
Programming with Categories - Lecture 046:25Programming with Categories - Lecture 0
Programming with Categories - Lecture 0Topos Institute
มุมมอง 28K
[Berkeley Seminar] Kris Brown: Categorical approaches to inferentialist semantics1:01:27[Berkeley Seminar] Kris Brown: Categorical approaches to inferentialist semantics
[Berkeley Seminar] Kris Brown: Categorical approaches to inferentialist semanticsTopos Institute
มุมมอง 272
ขนเงิน 10,000,000 ดอง ตะลุยกินเวียดนาม!59:23ขนเงิน 10,000,000 ดอง ตะลุยกินเวียดนาม!
ขนเงิน 10,000,000 ดอง ตะลุยกินเวียดนาม!พิมรี่พาย
มุมมอง 765K
วิเคราะห์ภาษากาย “บอสพอล” ร้องไห้-เผชิญหน้ากับผู้เสียหาย | ข่าวพร้อมบวก | 14 ต.ค. 6719:27วิเคราะห์ภาษากาย “บอสพอล” ร้องไห้-เผชิญหน้ากับผู้เสียหาย | ข่าวพร้อมบวก | 14 ต.ค. 67
วิเคราะห์ภาษากาย “บอสพอล” ร้องไห้-เผชิญหน้ากับผู้เสียหาย | ข่าวพร้อมบวก | 14 ต.ค. 67MONO NEWS
มุมมอง 420K
[DRIP] ‘Love, Maybe’ PREVIEW01:28[DRIP] ‘Love, Maybe’ PREVIEW
[DRIP] ‘Love, Maybe’ PREVIEWBABYMONSTER
มุมมอง 3.2M
ไทยเฉือดซีเรีย 2-1! อาเซียนแห่ชมลูกยิงชนาธิป!! เพจซีเรียหาว่าไทยซื้อกรรมการ!!14:29ไทยเฉือดซีเรีย 2-1! อาเซียนแห่ชมลูกยิงชนาธิป!! เพจซีเรียหาว่าไทยซื้อกรรมการ!!
ไทยเฉือดซีเรีย 2-1! อาเซียนแห่ชมลูกยิงชนาธิป!! เพจซีเรียหาว่าไทยซื้อกรรมการ!!หมีเก็บบอล
มุมมอง 85K
เที่ยวสามชายแดนภาคใต้โนแพลน...ปัตตานี Ep.31:34:10เที่ยวสามชายแดนภาคใต้โนแพลน...ปัตตานี Ep.3
เที่ยวสามชายแดนภาคใต้โนแพลน...ปัตตานี Ep.3Kyutae Oppa
มุมมอง 481K
“อาจารย์เบียร์ คนตื่นธรรม” ตายเลยตอนนี้ดับทุกข์ได้? แน่ใจนะว่าจบ ตกนรกรับไหวไหม | WOODY FM53:46“อาจารย์เบียร์ คนตื่นธรรม” ตายเลยตอนนี้ดับทุกข์ได้? แน่ใจนะว่าจบ ตกนรกรับไหวไหม | WOODY FM
“อาจารย์เบียร์ คนตื่นธรรม” ตายเลยตอนนี้ดับทุกข์ได้? แน่ใจนะว่าจบ ตกนรกรับไหวไหม | WOODY FMWOODY
มุมมอง 2.2M
📌LIVE #14 : พาผีปากเหม็นไป แปรงฟัน !! | Night Drive คืนหลอนซ่อนทาง3:02:11📌LIVE #14 : พาผีปากเหม็นไป แปรงฟัน !! | Night Drive คืนหลอนซ่อนทาง
📌LIVE #14 : พาผีปากเหม็นไป แปรงฟัน !! | Night Drive คืนหลอนซ่อนทางPANGCHOM
มุมมอง 549K
จะเดินก็ไม่กล้า! ผอ เคลียร์ต้นไม้หน้าทางออก เจอครูแซว คนจะกลับบ้าน ผอ. มาขยันอะไรตอนนี้00:19จะเดินก็ไม่กล้า! ผอ เคลียร์ต้นไม้หน้าทางออก เจอครูแซว คนจะกลับบ้าน ผอ. มาขยันอะไรตอนนี้
จะเดินก็ไม่กล้า! ผอ เคลียร์ต้นไม้หน้าทางออก เจอครูแซว คนจะกลับบ้าน ผอ. มาขยันอะไรตอนนี้Bright TV
มุมมอง 635K