or cancel
  1. "The future of Haskell" discussion

    52:16

    from Malcolm Wallace / Liked

    1,824 Plays / / 0 Comments

    "The future of Haskell" discussion moderated by Jeremy Gibbons panel: Don Stewart, Bryan O'Sullivan, Duncan Coutts, Simon Marlow Haskell Symposium Edinburgh 2009 ACM SIGPLAN

    + More details
    • 2011-12-06 HoTT Equivalences

      01:10:36

      from Andrej Bauer / Liked

      799 Plays / / 1 Comment

      In the context of homotopy type theory there are several notions of two spaces being "the same up to equivalence". We investigate three such notions: isomorphism, adjoint equivalence, and…

      + More details
      • Control Flow Graph-guided Exploration in DDT

        01:06:16

        from Galois Video / Liked

        436 Plays / / 0 Comments

        abstract: The existing implementation of DDT uses a depth-first search algorithm to drive the exploration of new paths for testing. This algorithm provides full coverage of the program under test,…

        + More details
        • Databases are Categories

          01:13:19

          from Galois Video / Liked

          2,439 Plays / / 5 Comments

          Talk presented by David Spivak on June 3, 2010, part of the Galois Tech Talk series. See http://www.galois.com/blog/2010/05/27/tech-talk-categories-are-databases/ for slides and further information.

          + More details
          • Embedding the Baire space into natural numbers

            29:18

            from Andrej Bauer / Liked

            490 Plays / / 0 Comments

            A talk given at "Computation with Infinite Data: Logical and Topological Foundations" Dagstuhl seminar, see http://www.dagstuhl.de/11411. In this talk I describe a realizability model based…

            + More details
            • Finding the needle: Stack Traces for GHC

              26:34

              from Malcolm Wallace / Liked

              465 Plays / / 0 Comments

              Finding the needle: Stack Traces for GHC Tristan Allwood, Simon Peyton-Jones and Susan Eisenbach Haskell Symposium Edinburgh 2009 ACM SIGPLAN

              + More details
              • Flask, iOS, and Heroku

                10:43

                from zachwill / Liked

                306 Plays / / 0 Comments

                + More details
                • Generic Programming - Dutch HUG

                  17:39

                  from Tom Lokhorst / Liked

                  1,870 Plays / / 0 Comments

                  José Pedro Magalhães gives an introductory talk about Data Type Generic Programming in Haskell at the Dutch Haskell User Group meeting in September 2009. Slides: http://dreixel.net/research/gpwwh_pres_DHUG09.pdf Dutch…

                  + More details
                  • Hac5: Vacuum + Adaptive Containers

                    24:09

                    from Tom Lokhorst / Liked

                    739 Plays / / 1 Comment

                    Don Stewart demos Vacuum by showing Adaptive containers at the 5th Haskell Hackathon in Utrecht. Christophe Poucet shows the Ubigraph backend to Vacuum. More info: * http://moonpatio.com/vacuum/ *…

                    + More details
                    • How to make the "impossible" functionals run even faster

                      30:13

                      from Andrej Bauer / Liked

                      666 Plays / / 0 Comments

                      A talk given at "Mathematics, Algorithms and Proofs" meeting in November 2011, which took place at the Lorentz Center in Leiden, the Netherlands.

                      + More details
                      • Keynote: Real world Haskell.

                        47:34

                        from Malcolm Wallace / Liked

                        6,939 Plays / / 0 Comments

                        Keynote: Real world Haskell. Bryan O'Sullivan Commercial Users of Functional Programming (CUFP) Edinburgh 2009 ACM SIGPLAN

                        + More details
                        • Lightweight web development using Flask (Michael Twomey)

                          18:06

                          from whykay / Liked

                          676 Plays / / 1 Comment

                          PyCon Ireland 2010. (Dublin School of English on Sat 17th July) Abstract ---------- Flask was inspired by the results of an April Fool's micro web framework published by Armin Ronacher. It turned…

                          + More details

                          Browse Likes

                          hape

                          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