NL Research Seminars #30| GOSPEL --- The OCaml Specification Language and its Ecosystem

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

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

ต่อไป
เล่นอัตโนมัติ
NL Research Seminars #29| Making Byzantine Consensus Live59:13NL Research Seminars #29| Making Byzantine Consensus Live
NL Research Seminars #29| Making Byzantine Consensus LiveNomadic Labs
มุมมอง 138
NL Research Seminars #26| MicSE: Automated Verification and Testing of Tezos Smart Contracts54:39NL Research Seminars #26| MicSE: Automated Verification and Testing of Tezos Smart Contracts
NL Research Seminars #26| MicSE: Automated Verification and Testing of Tezos Smart ContractsNomadic Labs
มุมมอง 173
"Simple Made Easy" - Rich Hickey (2011)1:01:39"Simple Made Easy" - Rich Hickey (2011)
"Simple Made Easy" - Rich Hickey (2011)Strange Loop Conference
มุมมอง 104K
🔴𝐋𝐈𝐕𝐄 การแข่งขัน RoV นานาชาติ AIC 2024 รอบ Swiss Stage วันที่ 99:37:15🔴𝐋𝐈𝐕𝐄 การแข่งขัน RoV นานาชาติ AIC 2024 รอบ Swiss Stage วันที่ 9
🔴𝐋𝐈𝐕𝐄 การแข่งขัน RoV นานาชาติ AIC 2024 รอบ Swiss Stage วันที่ 9Garena RoV Thailand
มุมมอง 891K
"ทักษิณ" ยึดปราจีนฯ ลูกน้องโกทรแปรพักตร์| DAILYNEWSTODAY 17/12/6725:15"ทักษิณ" ยึดปราจีนฯ ลูกน้องโกทรแปรพักตร์| DAILYNEWSTODAY 17/12/67
"ทักษิณ" ยึดปราจีนฯ ลูกน้องโกทรแปรพักตร์| DAILYNEWSTODAY 17/12/67Dailynews Online
มุมมอง 368K
ทัวร์สตรีมเมอร์ ROV รอบชิงชนะเลิศ | ชิงเงินรางวัลรวม 25,000 บาท5:59:22ทัวร์สตรีมเมอร์ ROV รอบชิงชนะเลิศ | ชิงเงินรางวัลรวม 25,000 บาท
ทัวร์สตรีมเมอร์ ROV รอบชิงชนะเลิศ | ชิงเงินรางวัลรวม 25,000 บาทChicken V
มุมมอง 212K
Mache leckere Lutscher mit diesem PRO-Gadget! 🚽🍭00:17Mache leckere Lutscher mit diesem PRO-Gadget! 🚽🍭
Mache leckere Lutscher mit diesem PRO-Gadget! 🚽🍭Chill Thesoul Out German
มุมมอง 8M
The Dome Paradox: A Loophole in Newton's Laws22:59The Dome Paradox: A Loophole in Newton's Laws
The Dome Paradox: A Loophole in Newton's LawsUp and Atom
มุมมอง 371K
Intro to the Zig Programming Language • Andrew Kelley • GOTO 202250:14Intro to the Zig Programming Language • Andrew Kelley • GOTO 2022
Intro to the Zig Programming Language • Andrew Kelley • GOTO 2022GOTO Conferences
มุมมอง 316K
Nomadic Labs Research Seminars #24 | Succinct Zero-Knowledge Batch Proofs for Set Accumulators1:13:29Nomadic Labs Research Seminars #24 | Succinct Zero-Knowledge Batch Proofs for Set Accumulators
Nomadic Labs Research Seminars #24 | Succinct Zero-Knowledge Batch Proofs for Set AccumulatorsNomadic Labs
มุมมอง 428
Body Language Expert: Stop Using This, It’s Making People Dislike You, So Are These Subtle Mistakes!2:43:35Body Language Expert: Stop Using This, It’s Making People Dislike You, So Are These Subtle Mistakes!
Body Language Expert: Stop Using This, It’s Making People Dislike You, So Are These Subtle Mistakes!The Diary Of A CEO
มุมมอง 5M
Nomadic Labs Research Seminars #15 | TLA+ Formal Specification of Bootstrapping55:55Nomadic Labs Research Seminars #15 | TLA+ Formal Specification of Bootstrapping
Nomadic Labs Research Seminars #15 | TLA+ Formal Specification of BootstrappingNomadic Labs
มุมมอง 289
Пилот о катастрофе в Актау: причины трагедии23:33Пилот о катастрофе в Актау: причины трагедии
Пилот о катастрофе в Актау: причины трагедииThe Breakfast Show
มุมมอง 786K
Domain Modeling Made Functional - Scott Wlaschin - KanDDDinsky 201950:49Domain Modeling Made Functional - Scott Wlaschin - KanDDDinsky 2019
Domain Modeling Made Functional - Scott Wlaschin - KanDDDinsky 2019KanDDDinsky
มุมมอง 58K
Beginner's Crash Course to Elastic Stack - Part 1: Intro to Elasticsearch and Kibana56:42Beginner's Crash Course to Elastic Stack - Part 1: Intro to Elasticsearch and Kibana
Beginner's Crash Course to Elastic Stack - Part 1: Intro to Elasticsearch and KibanaOfficial Elastic Community
มุมมอง 585K
E366 Navigating the Bible: Revelation43:52E366 Navigating the Bible: Revelation
E366 Navigating the Bible: RevelationSaddleback Church
มุมมอง 132K
"ทักษิณ" ยึดปราจีนฯ ลูกน้องโกทรแปรพักตร์| DAILYNEWSTODAY 17/12/6725:15"ทักษิณ" ยึดปราจีนฯ ลูกน้องโกทรแปรพักตร์| DAILYNEWSTODAY 17/12/67
"ทักษิณ" ยึดปราจีนฯ ลูกน้องโกทรแปรพักตร์| DAILYNEWSTODAY 17/12/67Dailynews Online
มุมมอง 368K
🔴LIVE สด! PGC 2024 ศึกชิงแชมป์โลกพับจี Circuit 3 วันที่ 15:28:15🔴LIVE สด! PGC 2024 ศึกชิงแชมป์โลกพับจี Circuit 3 วันที่ 1
🔴LIVE สด! PGC 2024 ศึกชิงแชมป์โลกพับจี Circuit 3 วันที่ 1PUBG: BATTLEGROUNDS THAILAND
มุมมอง 157K
总算是用上情侣手机壳了 #玩一种很新的东西 #手机壳 #情侣00:10总算是用上情侣手机壳了 #玩一种很新的东西 #手机壳 #情侣
总算是用上情侣手机壳了 #玩一种很新的东西 #手机壳 #情侣摩摩
มุมมอง 4.3M
วาทะลูกหนังขอเสนอ"แมนเชสเตอร์ ซิตี้ VS แมนเชสเตอร์ ยูไนเต็ด หลังเกม เรือใบสีฟ้าแพ้ปีศาจแดงคาบ้าน"04:20วาทะลูกหนังขอเสนอ"แมนเชสเตอร์ ซิตี้ VS แมนเชสเตอร์ ยูไนเต็ด หลังเกม เรือใบสีฟ้าแพ้ปีศาจแดงคาบ้าน"
วาทะลูกหนังขอเสนอ"แมนเชสเตอร์ ซิตี้ VS แมนเชสเตอร์ ยูไนเต็ด หลังเกม เรือใบสีฟ้าแพ้ปีศาจแดงคาบ้าน"วาทะลูกหนัง -Football Quotes-
มุมมอง 404K
ไฮไลท์ ฟุตบอล ASEAN MITSUBISHI ELECTRIC CUP 2024 : สิงคโปร์ พบ ไทย09:54ไฮไลท์ ฟุตบอล ASEAN MITSUBISHI ELECTRIC CUP 2024 : สิงคโปร์ พบ ไทย
ไฮไลท์ ฟุตบอล ASEAN MITSUBISHI ELECTRIC CUP 2024 : สิงคโปร์ พบ ไทยTrueVisionsOfficial
มุมมอง 1.2M
OHANA บ้าพลัง EP.134 : เกมการ์ดโอฮาน่า X วัยหนุ่ม 254453:39OHANA บ้าพลัง EP.134 : เกมการ์ดโอฮาน่า X วัยหนุ่ม 2544
OHANA บ้าพลัง EP.134 : เกมการ์ดโอฮาน่า X วัยหนุ่ม 2544ohana clip
มุมมอง 662K
ศึกมวยไทยพันธมิตร 16/12/20242:03:50ศึกมวยไทยพันธมิตร 16/12/2024
ศึกมวยไทยพันธมิตร 16/12/2024True4U
มุมมอง 71K
ใครคือฆาตกรตัวจริง ?! EP.11 (ver. คืนคริสมาสต์ สุดสยอง !!!39:39ใครคือฆาตกรตัวจริง ?! EP.11 (ver. คืนคริสมาสต์ สุดสยอง !!!
ใครคือฆาตกรตัวจริง ?! EP.11 (ver. คืนคริสมาสต์ สุดสยอง !!!Sunflowava
มุมมอง 307K