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
Programming languages, software architecture and everyday development all meet in this collection. Explore talks on language design, functional programming, web development and the practices used to build and maintain software. The narrower topics help developers find a useful explanation or compare approaches to a technical problem.
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