or cancel
  1. Databases are Categories

    01:13:19

    from Galois Video Added 2,942 21 5

    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
    • Dependently Typed Functional Programming in Idris by David Christiansen 1 of 3

      01:20:29

      from Galois Video Added 1,998 16 2

      abstract: Idris is a pure functional language with full dependent types. In this series of tech talks, Idris contributor David Christiansen will provide an introduction to programming in Idris as…

      + More details
      • Vinyl: Records in Haskell and Type Theory

        01:02:23

        from Galois Video Added 1,042 9 0

        abstract: Records in Haskell are notoriously difficult to compose; many solutions have been proposed. Vinyl lies in the space of library-level approaches, and addresses polymorphism, extensibility,…

        + More details
        • Building an Open-Source Autonomous Quad-Copter

          44:35

          from Galois Video Added 2,987 9 0

          abstract: It's a bird! It's a plane! No, it's an open-source autonomous quad-copter. In collaboration with the Portland State University Electrical and Computer Engineering Dept., Galois…

          + More details
          • Functional programming in Swift

            48:59

            from Galois Video Added 364 9 0

            abstract: At this year’s WWDC, Apple announced Swift, a new programming language for iOS and OS X development. In this talk, I’d like to give a brief overview of the language, focussing…

            + More details
            • Developing Good Habits for Bare-Metal Programming

              01:10:17

              from Galois Video Added 1,976 9 0

              Developers of systems software must often deal with low-level and performance-critical details that are hard to address in high-level programming languages. As a result, much of the systems software…

              + More details
              • Computers As We Don’t Know Them

                01:02:00

                from Galois Video Added 1,745 9 0

                For slides and more details, please visit: http://www.galois.com/blog/2010/08/11/tech-talk-computers-as-we-dont-know-them/

                + More details
                • Large-Scale Static Analysis at Mozilla

                  01:00:40

                  from Galois Video Added 2,258 8 1

                  Mozilla Firefox is one of the largest open source C++ projects. Unfortunately C++ is a complex language: method overloading, virtual functions, template instantiation, pointer arithmetic, etc reduce…

                  + More details
                  • The Strategy Challenge in Computer Algebra

                    52:19

                    from Galois Video Added 440 7 0

                    abstract: In automated deduction, strategy is a vital ingredient in effective proof search. Strategy comes in many forms, but the key is this: user-specifiable adaptations of general reasoning mechanisms…

                    + More details
                    • Haskell and the Social Web

                      50:39

                      from Galois Video Added 1,298 7 0

                      abstract: Janrain offers user management services that include single sign-on, social login, and profile storage. We have recently begun using Haskell extensively to implement our products, and would…

                      + More details
                      • Faster persistent data structures through hashing

                        51:19

                        from Galois Video Added 1,424 6 0

                        abstract: The most commonly used map (dictionary) data type in Haskell is implemented using a size balanced tree. While size balanced trees provide good asymptotic performance, their real world performance…

                        + More details
                        • Haskell Bytes

                          01:04:03

                          from Galois Video Added 299 5 0

                          abstract: We will take you on a guided tour through the memory of a running Haskell program and get to peek at the raw bytes of Haskell values. We’ll see how uniformity allows for polymorphic…

                          + More details

                          Browse Videos

                          Videos Galois Video

                          Here are all of the videos that Galois Video has uploaded to Vimeo. Appearances are videos that Galois Video has been credited in by others.

                          Also Check Out