1:02:42software quality collapseTalk
Preventing the Collapse of Civilization / Jonathan Blow (Thekla, Inc)
DevGAMM
14 HN recommenders
Search results
- Category: Software Engineering & Languages
Results for “logic”
36 videos1:02:42
1:07:10
42:43propositions as typesTalk
"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommenders
29:32react design philosophyTalk
Pete Hunt: React: Rethinking best practices -- JSConf EU
JSConf
9 HN recommenders
1:04:41software decline and lost knowledgeTalk
Jonathan Blow - Preventing the Collapse of Civilization (English only)
bus
11 HN recommenders
48:00software engineering cultureTalk
Monktoberfest 2016: Bryan Cantrill - Oral Tradition in Software Engineering
RedMonk Tech Events
6 HN recommenders
39:58prolog in productionTalk
"Production Prolog" by Michael Hendricks
Strange Loop Conference
6 HN recommenders
1:02:15lambda calculusLecture
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
Fullstack Academy
5 HN recommenders
40:20shen lispTalk
"Shen: A Sufficiently Advanced Lisp" by Aditya Siram
Strange Loop Conference
2 HN recommenders
59:50
56:39
1:02:36psychology of programming languagesTalk
The Pervert's Guide to Computer Programming Languages - SXSW
Vulk Coop
6 HN recommenders
40:27formal modeling with alloyTalk
"Finding bugs without running or even looking at code" by Jay Parlar
Strange Loop Conference
4 HN recommenders
1:04:19rethinking computationTalk
"We Really Don't Know How to Compute!" - Gerald Sussman (2011)
Strange Loop Conference
5 HN recommenders
40:12immediate mode guiLecture
Immediate-Mode Graphical User Interfaces - 2005
Casey Muratori
5 HN recommenders
40:39dependently typed programmingTalk
Edwin Brady - Idris 2 - Type-driven Development of Idris
Curry On!
4 HN recommenders
1:12:12programming language notationTalk
2017 ACM PPoPP Keynote: It's Time for a New Old Language
Guy Steele
3 HN recommenders
43:23dependent typesTalk
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
5 HN recommenders
36:58ATS systems programmingTalk
"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference
4 HN recommenders
29:21property-based testingTalk
Hillel Wayne - Beyond Unit Tests: Taking Your Testing to the Next Level - PyCon 2018
PyCon 2018
3 HN recommenders
46:17
56:03
56:58propositions as typesTalk
Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions
2 HN recommenders
36:14program synthesisTalk
Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
ClojureTV
3 HN recommenders
Sources and selection
Videos shared and discussed on Hacker News, with original community evidence and topic labels.
Indie Picks is organized from video metadata and uploader descriptions; it is not a full-video editorial review. HN Library retains community discussions. Sources and data notes