or cancel
  1. Lecture 3.2: Recursion

    44:44

    from Dan Ghica Liked 221 1 0

    Introduction to structural recursion Foundations of Computer Science I University of Birmingham

    + More details
    • FOCS Lecture 2 : Introducing OCaml

      01:53:58

      from Dan Ghica Liked 784 3 0

      Foundations of CS part I University of Birmingham 2012-2013

      + More details
      • FOCS Week 7 : Complexity

        01:20:37

        from Dan Ghica Liked 159 2 0

        Foundations of Computer Science University of Birmingham 2011/12 Lecturer: Dan R. Ghica

        + More details
        • Effective ML (2011, Harvard CS51), Part 1

          51:31

          from Yaron Minsky Liked 2,669 14 2

          A new version of the "Effective ML" talk I gave at Harvard last year. This one covers the basic material of the talk in more detail, and doesn't get to talking about phantom types,…

          + More details
          • Tech Talk: Anil Madhavapeddy (Cambridge) -- "Mirage: A New Multi-Scale Operating System for Clouds and Crowds"

            51:42

            from Talks at LinkedIn Liked 1,761 8 0

            ABSTRACT Applications run on all kinds of environments these days: multicore desktops, virtual cloud infrastructures, smart-phones, and web browsers. These diverse environments make it worth rethinking…

            + More details
            • Presentimientos - Trailer - Online

              01:07

              from Tornasol Films Liked 9,431 11 0

              + More details
              • Ancients

                02:33

                from Nicholas Buer Liked 822K 6,383 245

                This film follows the ancient cycle of sunset, to night, to sunrise. A continuous loop of perpetual movement that has been unbroken since the dawn of time, and the only true constant in our lives.…

                + More details
                • Peter Landin talk at The Science Museum, 5 June, 2001

                  29:19

                  from Paul Boca Liked 446 4 0

                  Peter Landin's talk at Program Verification and Semantics: The Early Work, BCS Computer Conservation Society seminar, Science Museum, London, UK, 5 June 2001

                  + More details
                  • John Cowan on R7RS

                    01:16:44

                    from LispNYC Liked 1,817 10 0

                    + More details
                    • Introduction to SLIME

                      58:37

                      from Patrick Stein Liked 1,059 2 0

                      Presentation by Anthony Juckel to the Twin Cities Lisp Users Group. The presentation is an introduction to SLIME. 2009-07-14 You can find the slides and code from this presentation here: http://tclispers.org/slime-introduction

                      + More details
                      • An Introduction to Lisp Macros, by David Nolen

                        01:15:18

                        from Anthony West Liked 1,487 17 2

                        Macros are a defining aspect of the major Lisp dialects. Recent work on the Racket programming language has shown that even entire programming language paradigms (lazy, typed) can be written in terms…

                        + More details
                        • The Animated Life of A.R. Wallace (Director's Cut)

                          07:55

                          from Sweet Fern Productions Liked 27.7K 102 6

                          This paper puppet video celebrates the life of Alfred Russel Wallace, who is co-credited, along with Charles Darwin, with conceptualizing the theory of natural selection. Directed and Produced…

                          + More details

                          Browse Likes

                          Marco Piedra Venegas

                          Likes are an easy way to keep track of the videos you enjoy. Use likes to bookmark videos you want to watch again and again and again and again.

                          Also Check Out