talk · HACKER NEWS RECOMMENDATION
Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions · 2 HN recommenders · 2 recommendation months
Recommended by 2 Hacker News commenters across 2 months (2016–2021).
SignalTube analysis
Among 19 other talk videos tagged Logic & formal methods, the mean is 3.7 distinct HN recommenders. This video has 2 distinct HN recommenders, below that mean. Recommendations span 2 distinct months; the peer average is 3.5 months. This is a data-derived comparison, not a human review or quality rating.
67% of its 3 labeled comments are marked as recommendations or strong recommendations. HN mention years are 2016–2021; those years describe discussion history, not upload date. Its verified runtime is 56 minutes 58 seconds. YouTube lists its publication date as 2016-03-02.
- Channel / speaker
- Erlang Solutions
- Verified runtime
- 56m 58s
- YouTube upload date
- 2016-03-02
- Hacker News mention years
- 2016–2021
SAME TOPIC AND FORMAT
Compare with related videos
The comparison cohort uses other talk videos in Logic & formal methods. “Shared recommenders” counts HN users who recommended both videos in the source graph.
| Video | HN recommenders | Recommendation months | Positive label share | Shared recommenders | Runtime | Upload date |
|---|---|---|---|---|---|---|
| Philip Wadler - Propositions as Types (Lambda Days 2016)Current video | 2 | 2 | 67% | — | 56m 58s | 2016-03-02 |
| 28c3: The Science of Insecuritytalk · 28c3 | 9 | 9 | 69% | No recorded overlap | 59m 23s | 2011-12-29 |
| "Propositions as Types" by Philip Wadlertalk · Strange Loop Conference | 9 | 8 | 45% | No recorded overlap | 42m 43s | 2015-09-26 |
| The Future of Mathematics?talk · Microsoft Research | 9 | 7 | 64% | No recorded overlap | 74m 48s | 2019-10-01 |
THREE SOURCE-BASED CONTEXT POINTS
Why Hacker News recommends it
Each note combines the dataset’s stance label and short rationale; comment bodies are not reproduced. Open the HN source for the original discussion.
The archive classifies this as a strong recommendation in ““Computer science is not about computers””. Its short rationale: Whirlwind tour of foundational structures underlying computer science.
The archive classifies this as a contextual reference in “A monoid is a category, a category is a monad, a monad is a monoid”. Its short rationale: Wadler's Lambda Days talk on propositions as types.
The archive classifies this as a recommendation in “Type Wars”. Its short rationale: Wadler explains the correspondence between typed programs and proofs.