42:43propositions as typesTalk
"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommenders
Search results
- Category: Software Engineering & Languages
Results for “computation”
18 videos42:43
46:19mov-only computationTalk
Break Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
Adrian Crenshaw
6 HN recommenders
45:50software complexityTalk
"The Mess We're In" by Joe Armstrong
Strange Loop Conference
10 HN recommenders
56:27future of programmingLecture
In Search of Tomorrow
Berkeley Institute for Data Science (BIDS)
9 HN recommenders
1:04:19rethinking computationTalk
"We Really Don't Know How to Compute!" - Gerald Sussman (2011)
Strange Loop Conference
5 HN recommenders
51:32esoteric programmingLecture
Great Impractical Ideas in Computer Science: PowerPoint Programming
Tom Wildenhain
4 HN recommenders
48:36static analysis and precision medicineTalk
Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On!
3 HN recommenders
1:01:47parallel algorithmsTalk
Four Solutions to a Trivial Problem - Guy Steele Jr.
Google TechTalks
4 HN recommenders
25:52
36:18incremental computationTalk
"Data Driven UIs, Incrementally" by Yaron Minsky
Strange Loop Conference
4 HN recommenders
53:30intro computer scienceCourse
Lec 1 | MIT 6.00 Introduction to Computer Science and Programming, Fall 2008
MIT OpenCourseWare
4 HN recommenders
1:00:16lisp for molecular designTalk
Clasp: Common Lisp using LLVM and C++ for Designing Molecules
Google TechTalks
2 HN recommenders
15:03robust-first computingDemo
Living Computation: Robust-first programming in ULAM
Dave Ackley
2 HN recommenders
56:58propositions as typesTalk
Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions
2 HN recommenders
1:14:51lisp in quantum computingTalk
Lisp at the Frontier of Computation, by Robert Smith at Rigetti Computing
Arthur Gleckler
3 HN recommenders
28:10lisp for molecular designTalk
CANDO: A Compiled Programming Language for Computer-Aided Nanomaterial Design and Optimization
European Lisp Symposium
2 HN recommenders
4:46common lisp debuggingDemo
Debugging Lisp: fix and resume a program from any point in the stack - how Common Lisp stands out.
vindarel
1 HN recommender
1:49:11categorical deep learningPodcast
WE MUST ADD STRUCTURE TO DEEP LEARNING BECAUSE...
Machine Learning Street Talk
Discussed on HN
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