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
      • 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
          • 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
              • 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
                • 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

                          Galois Tech Talks” by Galois Video has 70 videos.

                          Follow

                          Browse This Channel

                          Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels.