Juan Manuel Serrano - To type or not to type: a matter of logic

แชร์
ฝัง

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

ต่อไป
เล่นอัตโนมัติ
Kacper Korban - Scala 3, but I have trust issues33:38Kacper Korban - Scala 3, but I have trust issues
Kacper Korban - Scala 3, but I have trust issuesKonfy
มุมมอง 315
Noon van der Silk - Quantum Computing and Haskell - A Linear Love Story?42:59Noon van der Silk - Quantum Computing and Haskell - A Linear Love Story?
Noon van der Silk - Quantum Computing and Haskell - A Linear Love Story?Konfy
มุมมอง 750
Chris Penner - Alternative by example - A typeclass for parsing, concurrency, logic programming46:58Chris Penner - Alternative by example - A typeclass for parsing, concurrency, logic programming
Chris Penner - Alternative by example - A typeclass for parsing, concurrency, logic programmingKonfy
มุมมอง 1.9K
A cake made of coal briquettes?|Chinese Mountain Forest Life and Food #Moo TikTok#FYP00:17A cake made of coal briquettes?|Chinese Mountain Forest Life and Food #Moo TikTok#FYP
A cake made of coal briquettes?|Chinese Mountain Forest Life and Food #Moo TikTok#FYPEater Straw Hat
มุมมอง 352K
NCT DREAM 엔시티 드림 'Flying Kiss' MV03:29NCT DREAM 엔시티 드림 'Flying Kiss' MV
NCT DREAM 엔시티 드림 'Flying Kiss' MVSMTOWN
มุมมอง 401K
ลูกทุ่งดัง ฟังหน้าหนาว 01 | #คำสั่งคุณหมอ #นำ้ชีแห่งความหลัง #กระท่อมสาวเมิน #ทนหนาวอีกปี43:29ลูกทุ่งดัง ฟังหน้าหนาว 01 | #คำสั่งคุณหมอ #นำ้ชีแห่งความหลัง #กระท่อมสาวเมิน #ทนหนาวอีกปี
ลูกทุ่งดัง ฟังหน้าหนาว 01 | #คำสั่งคุณหมอ #นำ้ชีแห่งความหลัง #กระท่อมสาวเมิน #ทนหนาวอีกปีพ.ศ.มิวสิค
มุมมอง 110K
SLR+ New Tracer.Who needs this for Christmas? #toys #gelblasters #gelblasterguns #airsoft00:27SLR+ New Tracer.Who needs this for Christmas? #toys #gelblasters #gelblasterguns #airsoft
SLR+ New Tracer.Who needs this for Christmas? #toys #gelblasters #gelblasterguns #airsoftLKCJ
มุมมอง 2.8M
Jan Christopher Vogt - Software like Lego - how Haskell naturally delivers on a decades old dream35:40Jan Christopher Vogt - Software like Lego - how Haskell naturally delivers on a decades old dream
Jan Christopher Vogt - Software like Lego - how Haskell naturally delivers on a decades old dreamKonfy
มุมมอง 449
Mikael Tonnberg - Knowledge as code - why we use Haskell at a fast growing startup36:22Mikael Tonnberg - Knowledge as code - why we use Haskell at a fast growing startup
Mikael Tonnberg - Knowledge as code - why we use Haskell at a fast growing startupKonfy
มุมมอง 1.1K
Dmitrii Kovanikov - One way and another45:05Dmitrii Kovanikov - One way and another
Dmitrii Kovanikov - One way and anotherKonfy
มุมมอง 423
Alejandro Serrano Mena - All You Wanted to Know About Type Classes38:52Alejandro Serrano Mena - All You Wanted to Know About Type Classes
Alejandro Serrano Mena - All You Wanted to Know About Type ClassesKonfy
มุมมอง 1.1K
Rebecca Skinner - Make It Purple: An Introduction To Type Level Programming41:15Rebecca Skinner - Make It Purple: An Introduction To Type Level Programming
Rebecca Skinner - Make It Purple: An Introduction To Type Level ProgrammingKonfy
มุมมอง 2.4K
Tokenization for NLP is Hard [ LingMon #213 ]30:51Tokenization for NLP is Hard [ LingMon #213 ]
Tokenization for NLP is Hard [ LingMon #213 ]ÚFAL MFF UK
มุมมอง 19
Gergo Erdi - Executable, Synthesizable, Human Readable: Pick Three41:06Gergo Erdi - Executable, Synthesizable, Human Readable: Pick Three
Gergo Erdi - Executable, Synthesizable, Human Readable: Pick ThreeKonfy
มุมมอง 480
Jeremy Gibbons - Continuation-passing style, defunctionalization, and associativity45:46Jeremy Gibbons - Continuation-passing style, defunctionalization, and associativity
Jeremy Gibbons - Continuation-passing style, defunctionalization, and associativityKonfy
มุมมอง 2.9K
Anton Kholomiov - Sound design with Haskell26:52Anton Kholomiov - Sound design with Haskell
Anton Kholomiov - Sound design with HaskellKonfy
มุมมอง 486
Low Battery 🪫🥹🥹🥹00:10Low Battery 🪫🥹🥹🥹
Low Battery 🪫🥹🥹🥹dednahype
มุมมอง 4.2M
เชื่อมโทรศัพท์00:16เชื่อมโทรศัพท์
เชื่อมโทรศัพท์ลาด5 เครื่องมือ
มุมมอง 510K
ให้ AI ทายของที่อยู่ในมือ01:00ให้ AI ทายของที่อยู่ในมือ
ให้ AI ทายของที่อยู่ในมือโกงมั้ยครับ
มุมมอง 2.2M
Handy remote!00:25Handy remote!
Handy remote!LeraKek
มุมมอง 3.5M
I bought the most BEAUTIFUL Phones on the Internet!20:54I bought the most BEAUTIFUL Phones on the Internet!
I bought the most BEAUTIFUL Phones on the Internet!Mrwhosetheboss
มุมมอง 2.8M
How eStreetSmart are you? #shorts00:47How eStreetSmart are you? #shorts
How eStreetSmart are you? #shortseStreetSecurity
มุมมอง 13M
เชื่อมเครื่องเกม 444 เครื่อง เข้ากับจอทีวี 1 เครื่อง! #เกมกับshorts #เกม #gfr01:00เชื่อมเครื่องเกม 444 เครื่อง เข้ากับจอทีวี 1 เครื่อง! #เกมกับshorts #เกม #gfr
เชื่อมเครื่องเกม 444 เครื่อง เข้ากับจอทีวี 1 เครื่อง! #เกมกับshorts #เกม #gfrGUFUNNAROCK
มุมมอง 777K
มือถือเปิดไม่ติด สาบานว่าไม่เคยทำตก 😤 #houkandbank #shorts #reels #ซ่อมไอโฟน #ซ่อมiphone01:01มือถือเปิดไม่ติด สาบานว่าไม่เคยทำตก 😤 #houkandbank #shorts #reels #ซ่อมไอโฟน #ซ่อมiphone
มือถือเปิดไม่ติด สาบานว่าไม่เคยทำตก 😤 #houkandbank #shorts #reels #ซ่อมไอโฟน #ซ่อมiphoneHoukandBank
มุมมอง 46K