Type-driven Development with Idris

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

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

ต่อไป
เล่นอัตโนมัติ
Functional Programming in 40 Minutes • Russ Olsen • GOTO 201841:35Functional Programming in 40 Minutes • Russ Olsen • GOTO 2018
Functional Programming in 40 Minutes • Russ Olsen • GOTO 2018GOTO Conferences
มุมมอง 817K
All Rust string types explained22:13All Rust string types explained
All Rust string types explainedLet's Get Rusty
มุมมอง 180K
Big Techday 24: Can Great Programmers Be Taught? - Prof. Dr. John Ousterhout54:53Big Techday 24: Can Great Programmers Be Taught? - Prof. Dr. John Ousterhout
Big Techday 24: Can Great Programmers Be Taught? - Prof. Dr. John OusterhoutTNG Technology Consulting GmbH
มุมมอง 580
ผมคือ The Qu แอบทดลองเปลี่ยนร่างกายมนุษย์ #ตลก #บ้านกูเอง #ละครสั้น00:49ผมคือ The Qu แอบทดลองเปลี่ยนร่างกายมนุษย์ #ตลก #บ้านกูเอง #ละครสั้น
ผมคือ The Qu แอบทดลองเปลี่ยนร่างกายมนุษย์ #ตลก #บ้านกูเอง #ละครสั้นBAN GU ENG
มุมมอง 515K
ปฏิเสธไม่ไหว (Crush on you) - LIPTA feat. No One Else [TEASER MV]00:21ปฏิเสธไม่ไหว (Crush on you) - LIPTA feat. No One Else [TEASER MV]
ปฏิเสธไม่ไหว (Crush on you) - LIPTA feat. No One Else [TEASER MV]LIPTAofficial
มุมมอง 88K
Liverpool 4-0 Bayer Leverkusen | Champions League 24/25 Match Highlights08:32Liverpool 4-0 Bayer Leverkusen | Champions League 24/25 Match Highlights
Liverpool 4-0 Bayer Leverkusen | Champions League 24/25 Match HighlightsbeIN SPORTS Asia
มุมมอง 1.6M
Real Man relocate to Remote Controlled Car 👨🏻➡️🚙🕹️ #builderc00:24Real Man relocate to Remote Controlled Car 👨🏻➡️🚙🕹️ #builderc
Real Man relocate to Remote Controlled Car 👨🏻➡️🚙🕹️ #buildercConstruction Site
มุมมอง 14M
Rust Data Modelling Without Classes11:25Rust Data Modelling Without Classes
Rust Data Modelling Without ClassesNo Boilerplate
มุมมอง 178K
Big Techday 24: Visualizing Transformers - Grant Sanderson (@3blue1brown)1:06:07Big Techday 24: Visualizing Transformers - Grant Sanderson (@3blue1brown)
Big Techday 24: Visualizing Transformers - Grant Sanderson (@3blue1brown)TNG Technology Consulting GmbH
มุมมอง 1.1K
What are AI Agents?12:29What are AI Agents?
What are AI Agents?IBM Technology
มุมมอง 602K
Mastering Chaos - A Netflix Guide to Microservices53:14Mastering Chaos - A Netflix Guide to Microservices
Mastering Chaos - A Netflix Guide to MicroservicesInfoQ
มุมมอง 2.3M
Creator of git, Linus Torvalds Presents the Fundamentals of git1:10:15Creator of git, Linus Torvalds Presents the Fundamentals of git
Creator of git, Linus Torvalds Presents the Fundamentals of gitDevelopers Alliance
มุมมอง 131K
🚀 TDD, Where Did It All Go Wrong (Ian Cooper)1:03:55🚀 TDD, Where Did It All Go Wrong (Ian Cooper)
🚀 TDD, Where Did It All Go Wrong (Ian Cooper)DevTernity Conference
มุมมอง 564K
MegaBots & the Future of Giant Robot Sports1:09:48MegaBots & the Future of Giant Robot Sports
MegaBots & the Future of Giant Robot SportsTNG Technology Consulting GmbH
มุมมอง 147
The Worst Programming Language Ever - Mark Rendle - NDC Oslo 20211:00:41The Worst Programming Language Ever - Mark Rendle - NDC Oslo 2021
The Worst Programming Language Ever - Mark Rendle - NDC Oslo 2021NDC Conferences
มุมมอง 1.3M
All Rust features explained21:30All Rust features explained
All Rust features explainedLet's Get Rusty
มุมมอง 318K
ค้างคืนโรงเก็บกระสวยอวกาศร้างกลางทะเลทราย [Around The World Ep. 3]31:33ค้างคืนโรงเก็บกระสวยอวกาศร้างกลางทะเลทราย [Around The World Ep. 3]
ค้างคืนโรงเก็บกระสวยอวกาศร้างกลางทะเลทราย [Around The World Ep. 3]I Roam Alone
มุมมอง 157K
The IMPOSSIBLE Puzzle..00:55The IMPOSSIBLE Puzzle..
The IMPOSSIBLE Puzzle..Stokes Twins
มุมมอง 9M
30 ชั่วโมงคนเดียว บนรถไฟชั้น 3 โซเวียต [Around The World Ep. 2]30:4730 ชั่วโมงคนเดียว บนรถไฟชั้น 3 โซเวียต [Around The World Ep. 2]
30 ชั่วโมงคนเดียว บนรถไฟชั้น 3 โซเวียต [Around The World Ep. 2]I Roam Alone
มุมมอง 303K
Players vs Pitch 🤯00:26Players vs Pitch 🤯
Players vs Pitch 🤯LE FOOT EN VIDÉO
มุมมอง 77M
ฮาโลวีนมรณะ | Who Are You EP.61:42:54ฮาโลวีนมรณะ | Who Are You EP.6
ฮาโลวีนมรณะ | Who Are You EP.6Ananped
มุมมอง 1.5M
ถ่ายทอดสด l ฟุตซอลชิงแชมป์อาเซียน 2024 l มาเลเซีย พบ ไทย2:42:15ถ่ายทอดสด l ฟุตซอลชิงแชมป์อาเซียน 2024 l มาเลเซีย พบ ไทย
ถ่ายทอดสด l ฟุตซอลชิงแชมป์อาเซียน 2024 l มาเลเซีย พบ ไทยช้างศึก - ฟุตบอลทีมชาติไทย
มุมมอง 637K
จารย์❌ จาน✅ #ตลก #บ้านกูเอง00:10จารย์❌ จาน✅ #ตลก #บ้านกูเอง
จารย์❌ จาน✅ #ตลก #บ้านกูเองBAN GU ENG
มุมมอง 1M
แมพที่เข้าแล้วออกไม่ได้ #roblox #irongaming00:57แมพที่เข้าแล้วออกไม่ได้ #roblox #irongaming
แมพที่เข้าแล้วออกไม่ได้ #roblox #irongamingiRON GAMING
มุมมอง 212K