RSS Amplifier

Topic · computer science · Videos

computer science: videos

The 50 most recent videos on this topic.

Saves to your Watch queue, to pick up on another day or another device.

Pick anything below and it plays in the bar at the foot of the window — and keeps playing while you go on browsing the directory.

  1. Hardening Digital Infrastructure: Two ExamplesStrachey Lectures1:02:07Notes
  2. An AI stack: from scaling AI workloads to evaluating LLMsStrachey Lectures55:58Notes
  3. Advances in Garbled CircuitsStrachey Lectures48:12Notes
  4. Will Computers prove theorems?Strachey Lectures46:25Notes
  5. Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AIStrachey Lectures47:14Notes
  6. Privacy, Verification, Robustness: A Cryptographer's perspective on MLStrachey Lectures1:04:18Notes
  7. From probabilistic bisimulation to representation learning via metricsStrachey Lectures55:03Notes
  8. Strachey Lecture: The Computer in the SkyStrachey Lectures1:02:09Notes
  9. Strachey Lecture: From classical to non-classical stochastic shortest path problemsStrachey Lectures57:09Notes
  10. Strachey Lecture: How Can Algorithms Help to Protect our PrivacyStrachey Lectures54:48Notes
  11. Lecture 15, CS402 Introduction to Logic for Computer Science (Spring 2020)CS402 Introduction to Logic for Computer Science (Spring 2020, KAIST)Notes
  12. Lecture 14, CS402 Introduction to Logic for Computer Science (Spring 2020)CS402 Introduction to Logic for Computer Science (Spring 2020, KAIST)Notes
  13. Lecture 12, CS402 Introduction to Logic for Computer Science (Spring 2020)CS402 Introduction to Logic for Computer Science (Spring 2020, KAIST)Notes
  14. Lecture 13, CS402 Introduction to Logic for Computer Science (Spring 2020)CS402 Introduction to Logic for Computer Science (Spring 2020, KAIST)Notes
  15. Lecture 11, CS402 Introduction to Logic for Computer Science (Spring 2020)CS402 Introduction to Logic for Computer Science (Spring 2020, KAIST)Notes
  16. Lecture 5, CS402 Introduction to Logic for Computer Science (Spring 2020)CS402 Introduction to Logic for Computer Science (Spring 2020, KAIST)Notes
  17. Lecture 9, CS402 Introduction to Logic for Computer Science (Spring 2020)CS402 Introduction to Logic for Computer Science (Spring 2020, KAIST)Notes
  18. Lecture 10, CS402 Introduction to Logic for Computer Science (Spring 2020)CS402 Introduction to Logic for Computer Science (Spring 2020, KAIST)Notes
  19. Lecture 1, CS402 Introduction to Logic for Computer Science (Spring 2020)CS402 Introduction to Logic for Computer Science (Spring 2020, KAIST)Notes
  20. Lecture 6, CS402 Introduction to Logic for Computer Science (Spring 2020)CS402 Introduction to Logic for Computer Science (Spring 2020, KAIST)Notes
  21. Great Ideas in Theoretical Computer Science: Introduction (Spring 2016) reupload with improved audioGreat Ideas in Theoretical Computer Science at CMU (incomplete)Notes
  22. Great Ideas in Theoretical Computer Science: Boolean Formulas and Circuits (Spring 2016)Great Ideas in Theoretical Computer Science at CMU (incomplete)Notes
  23. Great Ideas in Theoretical Computer Science: Time Complexity (Spring 2016)Great Ideas in Theoretical Computer Science at CMU (incomplete)Notes
  24. Great Ideas in Theoretical Computer Science: Deductive Systems (Spring 2015)Great Ideas in Theoretical Computer Science at CMU (incomplete)Notes
  25. Great Ideas in Theoretical Computer Science: Logic (Spring 2013)Great Ideas in Theoretical Computer Science at CMU (incomplete)Notes
  26. Great Ideas in Theoretical Computer Science: Finite Automata (Spring 2015)Great Ideas in Theoretical Computer Science at CMU (incomplete)Notes
  27. Great Ideas in Theoretical Computer Science: Turing's Legacy (Spring 2015)Great Ideas in Theoretical Computer Science at CMU (incomplete)Notes
  28. Great Ideas in Theoretical Computer Science: Graphs: The Basics (Spring 2015)Great Ideas in Theoretical Computer Science at CMU (incomplete)Notes
  29. Great Ideas in Theoretical Computer Science: Graph Algorithms (Spring 2015)Great Ideas in Theoretical Computer Science at CMU (incomplete)Notes
  30. Great Ideas in Theoretical Computer Science: Countability and Diagonalization (Spring 2013)Great Ideas in Theoretical Computer Science at CMU (incomplete)Notes
  31. Advice from Sergey Brin - Intro to Computer ScienceIntroduction to Computer ScienceNotes
  32. Overview of the Unit - Intro to Computer ScienceIntroduction to Computer ScienceNotes
  33. Getting Started with Python - Intro to Computer ScienceIntroduction to Computer ScienceNotes
  34. 恭喜Introduction to Computer ScienceNotes
  35. First Quiz - Intro to Computer ScienceIntroduction to Computer ScienceNotes
  36. First Quiz Solution - Intro to Computer ScienceIntroduction to Computer ScienceNotes
  37. First Programming Quiz - Intro to Computer ScienceIntroduction to Computer ScienceNotes
  38. First Programming Quiz Solution - Intro to Computer ScienceIntroduction to Computer ScienceNotes
  39. Biweekly Solution - Intro to Computer ScienceIntroduction to Computer ScienceNotes
  40. Language AmbiguityIntroduction to Computer ScienceNotes
  41. What Is a Program?Introduction to Computer ScienceNotes
  42. What Is a Program - Intro to Computer ScienceIntroduction to Computer ScienceNotes
  43. 语法Introduction to Computer ScienceNotes
  44. O Que é ProgramaçãoIntroduction to Computer ScienceNotes
  45. IntroductionIntroduction to Computer ScienceNotes
  46. Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010MIT 6.042J Mathematics for Computer Science, Fall 2010Notes
  47. Lec 7 | MIT 6.042J Mathematics for Computer Science, Fall 2010MIT 6.042J Mathematics for Computer Science, Fall 2010Notes
  48. Lec 11 | MIT 6.042J Mathematics for Computer Science, Fall 2010MIT 6.042J Mathematics for Computer Science, Fall 2010Notes
  49. Lec 13 | MIT 6.042J Mathematics for Computer Science, Fall 2010MIT 6.042J Mathematics for Computer Science, Fall 2010Notes
  50. Lec 14 | MIT 6.042J Mathematics for Computer Science, Fall 2010MIT 6.042J Mathematics for Computer Science, Fall 2010Notes

All the feeds behind it