HackerTube

type-level programming

Explainer×Hidden gems×Play all on YouTube
No strong matches for “type-level programming”. Here are the closest videos.
Debt Metaphor4:44

Debt 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.
What is a genocide?7:33

What 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.
Intel ME explained (intel management engine) from insider6:36

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