or cancel
  1. Databases are Categories

    01:13:19

    from Galois Video / Added

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

      01:20:29

      from Galois Video / Added

      1,278 Plays / / 2 Comments

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

        44:35

        from Galois Video / Added

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

          01:10:17

          from Galois Video / Added

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

            01:02:00

            from Galois Video / Added

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

              01:00:40

              from Galois Video / Added

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

                01:02:23

                from Galois Video / Added

                819 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 Strategy Challenge in Computer Algebra

                  52:19

                  from Galois Video / Added

                  402 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,236 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,405 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
                      • The Rubinius Virtual Machine

                        01:09:36

                        from Galois Video / Added

                        1,827 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
                        • Dependently typed functional programming in Idris, 2 of 3

                          01:02:47

                          from Galois Video / Added

                          229 Plays / / 0 Comments

                          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

                          Browse Videos

                          Galois Tech Talks” by Galois Video has 66 videos.

                          Follow

                          Browse This Channel

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