type-level programming
No strong matches for “type-level programming”. Here are the closest videos.
4:44Debt Metaphor
95K views • 17 years ago
Ward Cunningham
Ward Cunningham explains the history and intent of the debt metaphor, which he coined while refactoring the WyCash product. He says debt means code reflecting an incomplete understanding of the problem, not sloppy programming.
7:33What is a genocide?
82K views • 2 years ago
Anders Puck Nielsen
Anders Puck Nielsen clears up common misunderstandings about what legally counts as genocide, then compares the situation in Gaza with the genocide case against Putin. The chapters cover the definition, individual intent, and the two case comparisons.
6:36Intel ME explained (intel management engine) from insider
12K views • 8 years ago
jessie
A short video explaining the Intel Management Engine, a hidden embedded computer inside Intel machines with deep access to hardware. It is presented from an insider's perspective and raises backdoor and NSA concerns.