The Technium
The Technium
✓

Dependent Types: Runtime assertions at compile time...whaaa? (S04E08)

· แสดงบันทึก
02:07:07
Podcasts
RSS
Link

เกี่ยวกับตอนนี้

เทคโนโลยี
ภาษาอังกฤษ
สหรัฐอเมริกา
ใช้APIเพื่อดึงข้อมูลตอนนี้ในJSON

แสดงหมายเหตุ 🔗

สำเนาบทสนทนา 🔗

Are you the producer of this podcast? Add a podcast transcript
Need Audio-to-Text? Transcribe with Listen411 in Just 60 Seconds

ค้นหาตอนที่ผ่านมา

ค้นหาตอนที่ผ่านมาของ The Technium
ฝังแถบค้นหานี้ในเว็บไซต์ของคุณ

ตอนอื่นๆ ใน PODCAST นี้

Visual Programming (S04 E01)

Visual Programming (S04 E01)

'Visual Programming' refers a style of programming that allows the user to specify a programs in a two-(or more)-dimensional fashion. Visual programming environments represent the data, control flow, or program state in a graphical way, allowing them to be directly manipulated. It has been a hot ar…
02:04:50
แชร์
บันทึก
Hypercore: Lego Blocks for P2P Apps (S03E09)

Hypercore: Lego Blocks for P2P Apps (S03E09)

Hypercore is a set of building blocks to build distributed peer-to-peer applications. It provides a variety of data structures, as well as a discovery mechanism to share data between peers. It is a suite of tools that are the Lego blocks to build peer-to-peer apps. Chapters:[00:00:00] Intros[00:02:…
01:14:20
แชร์
บันทึก
Datomic: Immutable database for new web architecture S03E08

Datomic: Immutable database for new web architecture S03E08

Datomic is an immutable database that borrows ideas from functional programming. We discuss how an immutable database changes the architectural possibilities of web apps.  Links/Resources: - [Datomic with Rich Hickey](https://www.youtube.com/watch?v=9TYfcyvSpEQ) - [Database as Values with Rich Hick…
01:02:05
แชร์
บันทึก
Lightning Network: Payments so small, it's a stream (S03 E10)

Lightning Network: Payments so small, it's a stream (S03 E10)

Lightning Network is a network of payment forwarders layered on top of Bitcoin to enable small, fast micropayments with low fees. Links/Resources:- https://lightning.network/- https://www.swanbitcoin.com/a-look-at-the-lightning-network/- [https://web.archive.org/web/20150301190111/http://lightning.…
01:31:57
แชร์
บันทึก
Nix Package Management (S04E02)

Nix Package Management (S04E02)

Nix is a functional package manager. It creates completely reproducible builds and package management, including support for multiple versions of packages side-by-size with no issues. Chapters: [00:00:00] Intro [00:02:41] What is Nix? [00:05:01] The Problem with Package Management [00:09:41] How …
01:35:08
แชร์
บันทึก
ข้อสงวนสิทธิ์: พอดแคสต์และอาร์ตเวิร์คที่ฝังอยู่ในหน้านี้มาจาก The Technium ซึ่งเป็นทรัพย์สินของเจ้าของและไม่มีส่วนเกี่ยวข้องหรือรับรองโดย Listen Notes, Inc.
PROMOTED
Listen411.com: Lightning-fast Podcast Transcription and Summarization. Transcribe 1-hour audio in under 1 minute. Pay-as-you-go.
Listen411.com: Lightning-fast Podcast Transcription and Summarization. Transcribe 1-hour audio in under 1 minute. Pay-as-you-go.
Audio to Text

รายการแนะนำ
ใช้ API เพื่อดึงข้อมูลตอนนี้