talk · HACKER NEWS RECOMMENDATION
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync · 5 HN recommenders · 4 recommendation months
Recommended by 5 Hacker News commenters across 4 months (2018–2024).
SignalTube analysis
Among 138 other talk videos tagged Programming language design, the mean is 3.2 distinct HN recommenders. This video has 5 distinct HN recommenders, about 1.6× that mean. Recommendations span 4 distinct months; the peer average is 3.2 months. This is a data-derived comparison, not a human review or quality rating.
45% of its 11 labeled comments are marked as recommendations or strong recommendations. HN mention years are 2018–2024; those years describe discussion history, not upload date. Its verified runtime is 43 minutes 23 seconds. YouTube lists its publication date as 2018-12-02.
- Channel / speaker
- Code Sync
- Verified runtime
- 43m 23s
- YouTube upload date
- 2018-12-02
- Hacker News mention years
- 2018–2024
SAME TOPIC AND FORMAT
Compare with related videos
The comparison cohort uses other talk videos in Programming language design. “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 |
|---|---|---|---|---|---|---|
| Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18Current video | 5 | 4 | 45% | — | 43m 23s | 2018-12-02 |
| How Python was Shaped by leaky Internals, Armin Ronacher, Flask frameworktalk · Видео с мероприятий {speach! | 15 | 16 | 90% | No recorded overlap | 49m 55s | 2016-07-13 |
| Maybe Not - Rich Hickeytalk · ClojureTV | 14 | 11 | 70% | No recorded overlap | 63m 29s | 2018-11-30 |
| Why Isn't Functional Programming the Norm? – Richard Feldmantalk · Metosin | 12 | 12 | 70% | No recorded overlap | 46m 9s | 2019-09-30 |
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 contextual reference in “What would it take to add refinement types to Rust?”. Its short rationale: Dependent types make types first-class.
The archive classifies this as a contextual reference in “Hazel: A live functional programming environment featuring typed holes”. Its short rationale: the source snapshot has no short rationale for this mention.
The archive classifies this as a recommendation in “What will programming look like in 2020? (2012)”. Its short rationale: Powerful types restrict implementations so the compiler can guess the program.