or cancel
  1. Databases are Categories

    01:13:19

    from Galois Video / Liked

    2,546 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
    • Hac5: Vacuum + Adaptive Containers

      24:09

      from Tom Lokhorst / Liked

      742 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
      • The Architectures of The Utrecht Haskell Compiler

        30:01

        from Malcolm Wallace / Liked

        499 Plays / / 1 Comment

        The Architectures of The Utrecht Haskell Compiler Atze Dijkstra, Jeroen Fokker and Doaitse Swierstra Haskell Symposium Edinburgh 2009 ACM SIGPLAN

        + More details
        • 2011-12-06 HoTT Equivalences

          01:10:36

          from Andrej Bauer / Liked

          822 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
          • Lightweight web development using Flask (Michael Twomey)

            18:06

            from whykay / Liked

            693 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
            • "The future of Haskell" discussion

              52:16

              from Malcolm Wallace / Liked

              1,838 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
              • Finding the needle: Stack Traces for GHC

                26:34

                from Malcolm Wallace / Liked

                467 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
                • Unembedding Domain-specific Languages

                  24:24

                  from Malcolm Wallace / Liked

                  675 Plays / / 0 Comments

                  Unembedding Domain-specific Languages Robert Atkey, Sam Lindley and Jeremy Yallop Haskell Symposium Edinburgh 2009 ACM SIGPLAN

                  + More details
                  • Types Are Calling Conventions

                    25:25

                    from Malcolm Wallace / Liked

                    851 Plays / / 0 Comments

                    Types Are Calling Conventions Max Bolingbroke and Simon Peyton Jones Haskell Symposium Edinburgh 2009 ACM SIGPLAN

                    + More details
                    • Keynote: Real world Haskell.

                      47:34

                      from Malcolm Wallace / Liked

                      7,024 Plays / / 0 Comments

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

                      + More details
                      • Parallel Performance Tuning for Haskell

                        26:14

                        from Malcolm Wallace / Liked

                        561 Plays / / 0 Comments

                        Parallel Performance Tuning for Haskell Don Jones Jr, Simon Marlow and Satnam Singh Haskell Symposium Edinburgh 2009 ACM SIGPLAN

                        + More details
                        • Type-Safe Observable Sharing in Haskell

                          23:53

                          from Malcolm Wallace / Liked

                          298 Plays / / 0 Comments

                          Type-Safe Observable Sharing in Haskell Andy Gill Haskell Symposium Edinburgh 2009 ACM SIGPLAN

                          + 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