James Bowen: Haskell, Tensor Flow, and Dependent Types

แชร์
ฝัง
  • เผยแพร่เมื่อ 14 พ.ย. 2024

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

ต่อไป
เล่นอัตโนมัติ
Maximilian Tagher: Validation Across the Stack (Postgres, Haskell, and the frontend)18:11Maximilian Tagher: Validation Across the Stack (Postgres, Haskell, and the frontend)
Maximilian Tagher: Validation Across the Stack (Postgres, Haskell, and the frontend)Bay Area Haskell
มุมมอง 666
André van Meulebrouck: Intro to containers: functor, applicative, monad16:51André van Meulebrouck: Intro to containers: functor, applicative, monad
André van Meulebrouck: Intro to containers: functor, applicative, monadBay Area Haskell
มุมมอง 775
What are dependent types? aka the Calculus of Construction (as a type wizard)29:10What are dependent types? aka the Calculus of Construction (as a type wizard)
What are dependent types? aka the Calculus of Construction (as a type wizard)Eduardo Rafael
มุมมอง 4K
Haunted House 😰😨 LeoNata family #shorts00:37Haunted House 😰😨 LeoNata family #shorts
Haunted House 😰😨 LeoNata family #shortsLeoNata Family
มุมมอง 11M
When Cucumbers Meet PVC Pipe The Results Are Wild! 🤭00:44When Cucumbers Meet PVC Pipe The Results Are Wild! 🤭
When Cucumbers Meet PVC Pipe The Results Are Wild! 🤭Crafty Buddy
มุมมอง 26M
เหล่าบอสกวักมือเรียก "แก๊งนักตบขี้หมูไหล" อยากได้ 20 ล้าน ก็เข้ามาเคลียร์กัน l EP.1802 l 14 พ.ย.671:29:43เหล่าบอสกวักมือเรียก "แก๊งนักตบขี้หมูไหล" อยากได้ 20 ล้าน ก็เข้ามาเคลียร์กัน l EP.1802 l 14 พ.ย.67
เหล่าบอสกวักมือเรียก "แก๊งนักตบขี้หมูไหล" อยากได้ 20 ล้าน ก็เข้ามาเคลียร์กัน l EP.1802 l 14 พ.ย.67โหนกระแส [Hone-Krasae] official
มุมมอง 1.3M
FIN | ไม่อยากให้ลูกเกิดมาเป็นภาระ | หนึ่งในร้อย EP.17 | 3Plus04:51FIN | ไม่อยากให้ลูกเกิดมาเป็นภาระ | หนึ่งในร้อย EP.17 | 3Plus
FIN | ไม่อยากให้ลูกเกิดมาเป็นภาระ | หนึ่งในร้อย EP.17 | 3Plus3Plus
มุมมอง 100K
Judah Jacobson and Frederick Mayle: Haskell Bindings for TensorFlow53:32Judah Jacobson and Frederick Mayle: Haskell Bindings for TensorFlow
Judah Jacobson and Frederick Mayle: Haskell Bindings for TensorFlowBay Area Haskell
มุมมอง 800
Type Theory for the Working Rustacean - Dan Pittman19:24Type Theory for the Working Rustacean - Dan Pittman
Type Theory for the Working Rustacean - Dan PittmanRust Belt Rust Conference
มุมมอง 18K
John Leo: Dependent Types in GHC54:52John Leo: Dependent Types in GHC
John Leo: Dependent Types in GHCBay Area Haskell
มุมมอง 1.1K
Dmitriy Tadyshev: Simple Distributed Web Crawler with Cloud Haskell15:41Dmitriy Tadyshev: Simple Distributed Web Crawler with Cloud Haskell
Dmitriy Tadyshev: Simple Distributed Web Crawler with Cloud HaskellBay Area Haskell
มุมมอง 1K
Lambda Calculus - Computerphile12:40Lambda Calculus - Computerphile
Lambda Calculus - ComputerphileComputerphile
มุมมอง 1M
Webassembly Is NOT What You Think!48:42Webassembly Is NOT What You Think!
Webassembly Is NOT What You Think!The Art Of The Terminal
มุมมอง 10K
Nick Pollard: Free objects (eg. Free applicatives, free monoids)16:37Nick Pollard: Free objects (eg. Free applicatives, free monoids)
Nick Pollard: Free objects (eg. Free applicatives, free monoids)Bay Area Haskell
มุมมอง 688
All Rust string types explained22:13All Rust string types explained
All Rust string types explainedLet's Get Rusty
มุมมอง 181K
The PROBLEM With Checked Exceptions In Java10:49The PROBLEM With Checked Exceptions In Java
The PROBLEM With Checked Exceptions In JavaContinuous Delivery
มุมมอง 7K
สุขสันต์วันลอยกระทงนะคะ 🤪 #พี่กุ๊กกุ๊ก00:10สุขสันต์วันลอยกระทงนะคะ 🤪 #พี่กุ๊กกุ๊ก
สุขสันต์วันลอยกระทงนะคะ 🤪 #พี่กุ๊กกุ๊กPANDAKOOKKOOK
มุมมอง 260K
พี่แกล้งน้อง ลอยกระทงกลางน้ำ!00:19พี่แกล้งน้อง ลอยกระทงกลางน้ำ!
พี่แกล้งน้อง ลอยกระทงกลางน้ำ!PANDAKOOKKOOK
มุมมอง 121K
Twin Telepathy Challenge!00:23Twin Telepathy Challenge!
Twin Telepathy Challenge!Stokes Twins
มุมมอง 39M
หอบลูกร้องสื่อฯ ! ถูกสาวไฮโซแย่งสามี จับได้คาหนังคาเขา | ข่าวเย็นประเด็นร้อน07:21หอบลูกร้องสื่อฯ ! ถูกสาวไฮโซแย่งสามี จับได้คาหนังคาเขา | ข่าวเย็นประเด็นร้อน
หอบลูกร้องสื่อฯ ! ถูกสาวไฮโซแย่งสามี จับได้คาหนังคาเขา | ข่าวเย็นประเด็นร้อนCh7HDNews
มุมมอง 1.1M
RoV : รีวิว Satoru Gojo ในแรงค์ Supreme !16:56RoV : รีวิว Satoru Gojo ในแรงค์ Supreme !
RoV : รีวิว Satoru Gojo ในแรงค์ Supreme !กิต งายย
มุมมอง 315K
ENHYPEN (엔하이픈) 'No Doubt' Official MV03:05ENHYPEN (엔하이픈) 'No Doubt' Official MV
ENHYPEN (엔하이픈) 'No Doubt' Official MVHYBE LABELS
มุมมอง 20M
เหตุประหลาด ! น้ำผุดจากใต้ดินท่วมหมู่บ้าน ไม่ทราบสาเหตุ | เช้านี้ที่หมอชิต04:04เหตุประหลาด ! น้ำผุดจากใต้ดินท่วมหมู่บ้าน ไม่ทราบสาเหตุ | เช้านี้ที่หมอชิต
เหตุประหลาด ! น้ำผุดจากใต้ดินท่วมหมู่บ้าน ไม่ทราบสาเหตุ | เช้านี้ที่หมอชิตCh7HDNews
มุมมอง 1.4M
Does the rabbit have so many children now?#Short #Officer Rabbit #angel00:19Does the rabbit have so many children now?#Short #Officer Rabbit #angel
Does the rabbit have so many children now?#Short #Officer Rabbit #angel兔子警官
มุมมอง 1.5M