Skip to content
HomeVideos
AllLongsCategoriesPlaylists
BooksBlogsPodcasts
HistoryListsWatch laterLiked videosFollowing

The videos, books, blogs and podcasts Hacker News keeps recommending, all in one place.

VideosBooksBlogsPodcastsAboutPrivacySettings

Data from Hacker News, HackerTube, HackerBooks, HackerBlogs and Open Library. Credits · Not affiliated with Y Combinator.

HomeVideosBooksBlogsPodcasts
Ctrl K

    Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010

    MIT OpenCourseWare

    3 HN recommenders · recommended in 3 months, 2017–2018

    YouTube

    44:09 · 2.8M views · Dec 31, 2012

    The first lecture of MIT 6.042J Mathematics for Computer Science, taught by Tom Leighton, introducing mathematical proofs. It covers propositions, implication and basic proof methods.

    HN users recommend it as a good discrete math course for programmers, praising Leighton's relatable stories that motivate new concepts.

    Ideas, Learning & LanguageUniversity lectures & coursesPure mathematicsLogic & formal methods
    1. 1:20:11
      17. Succinct Structures IMIT OpenCourseWare17K views • 12 years ago
    2. 1:31:28
      Stanford Seminar: Beyond Floating Point: Next Generation Computer ArithmeticStanford Online33K views • 9 years ago
    3. 5:09
      Essence of linear algebra preview3Blue1Brown2.8M views • 10 years ago
    4. 39:49
      Lec 1 | MIT 18.06 Linear Algebra, Spring 2005MIT OpenCourseWare4.9M views • 17 years ago
    5. 1:12:56
      Lecture 1A | MIT 6.001 Structure and Interpretation, 1986MIT OpenCourseWare995K views • 17 years ago
    6. 53:30
      Lec 1 | MIT 6.00 Introduction to Computer Science and Programming, Fall 2008MIT OpenCourseWare6.6M views • 17 years ago
    7. 1:12:56
      Lecture 1A: Overview and Introduction to LispMIT OpenCourseWare421K views • 7 years ago
    8. 1:02:34
      MIT Godel Escher Bach Lecture 1jasonofthel33t557K views • 13 years ago
    9. 32:06
      Preface | MIT Calculus Revisited: Single Variable CalculusMIT OpenCourseWare359K views • 15 years ago
    10. 1:02:06
      Real Analysis, Lecture 1: Constructing the Rational NumbersHarveyMuddCollegeEDU613K views • 16 years ago
    11. 42:43
      "Propositions as Types" by Philip WadlerStrange Loop Conference144K views • 11 years ago
    12. 1:00:34
      1. Introduction, Finite Automata, Regular ExpressionsMIT OpenCourseWare628K views • 5 years ago
    13. 51:32
      Great Impractical Ideas in Computer Science: PowerPoint ProgrammingTom Wildenhain2.2M views • 7 years ago
    14. 51:47
      Lecture 19: Dynamic Programming I: Fibonacci, Shortest PathsMIT OpenCourseWare2.9M views • 13 years ago
    15. 17:05
      The essence of calculus3Blue1Brown12M views • 9 years ago
    16. 46:46
      Category Theory 1.1: Motivation and PhilosophyBartosz Milewski394K views • 10 years ago
    17. 1:14:48
      The Future of Mathematics?Microsoft Research116K views • 7 years ago
    18. 1:19:35
      Lecture 1: IntroductionMIT 6.824: Distributed Systems924K views • 6 years ago
    19. 58:22
      Lecture 1B | MIT 6.001 Structure and Interpretation, 1986MIT OpenCourseWare116K views • 17 years ago
    20. 1:30:50
      Lecture 7: Introduction to Galois Fields for the AES by Christof PaarIntroduction to Cryptography by Christof Paar278K views • 12 years ago

    3 comments from Hacker News

    1. @totalnoviceJul 2018· in “Ask HN: Old CS lecturer looking for advice from current and recent students”

      Some MIT professors use a method termed "practice-theory-practice". [LINK] __ I see this as a "practical" lecure, also from MIT: the professor tells relatable stories to motivate the new concepts. Though I imagine good storytelling is harder than it looks. this video (I've actually been so inspired by this approach that I sometimes incorporate it into conversation whenever I really want someone to understand something.) __ This is perhaps worth reading: Knuth - Theory and Practice. [LINK] Disclaimer: I have not read it yet.

      RecommendsView on HN
    2. @rectangAug 2018· in “Those Who Can Do, Can’t Teach”

      Teaching requires a set of distinct skills which are different from researching. Naturally not everyone is equally gifted or developed in all areas. One of the most valuable skills in life is the ability to adapt your mental models and present ideas at an audience-appropriate level. It is useful in teaching; it is also useful in leadership, sales, design... As an exemplar, I submit Akamai CTO and MIT professor Tom Leighton. this video

      RecommendsView on HN
    3. @espeedMar 2017· in “What are some things you wish you knew when you started programming?”

      The Fall 2010 version of MIT 6.042J Mathematics for Computer Science is a good one (as I recall there are several versions online from different years), and someone from Google is teaching it this year (haven't heard if the videos will be made available online): this video

      RecommendsView on HN