or cancel
  1. Databases are Categories

    01:13:19

    from Galois Video / Added

    2,441 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
    • Building an Open-Source Autonomous Quad-Copter

      44:35

      from Galois Video / Added

      2,869 Plays / / 0 Comments

      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
      • Computers As We Don’t Know Them

        01:02:00

        from Galois Video / Added

        1,703 Plays / / 0 Comments

        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
        • Developing Good Habits for Bare-Metal Programming

          01:10:17

          from Galois Video / Added

          1,889 Plays / / 0 Comments

          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
          • Large-Scale Static Analysis at Mozilla

            01:00:40

            from Galois Video / Added

            2,236 Plays / / 1 Comment

            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

              379 Plays / / 0 Comments

              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,175 Plays / / 0 Comments

                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,363 Plays / / 0 Comments

                  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
                  • Vinyl: Records in Haskell and Type Theory

                    01:02:23

                    from Galois Video / Added

                    590 Plays / / 0 Comments

                    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
                    • The Rubinius Virtual Machine

                      01:09:36

                      from Galois Video / Added

                      1,777 Plays / / 0 Comments

                      abstract: Ruby is a highly dynamic, strongly-typed programming language created by Yukihiro Matsumoto in 1993 and first released in 1995. It borrows from Smalltalk, Lisp, and Perl. Ruby has single…

                      + More details
                      • Programming with Narrowing

                        01:04:48

                        from Galois Video / Added

                        267 Plays / / 0 Comments

                        abstract: In this talk, I will introduce narrowing, the characterizing feature of functional logic programming, from the programmer's viepoint. Narrowing promotes non-determinism and it enables…

                        + More details
                        • PReach - A Distributed Murphi-Based Model Checker

                          38:56

                          from Galois Video / Added

                          526 Plays / / 0 Comments

                          Abstract: We present PReach, an industrial strength distributed explicit state model checker based on Murphi. The goal of this project was to develop a reliable, easy to maintain, scalable model checker…

                          + More details

                          Browse 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