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

'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…

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:…

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.…

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 …