or cancel
  1. Candid Experiences from a Hardware Startup

    01:05:56

    from Galois Video / Added

    218 Plays / / 0 Comments

    abstract: Hardware is hard. At least that's what people always say. Building a hardware startup requires a broad base of technical knowledge, from electronics and manufacturing experience to…

    + More details
    • Dependently typed functional programming in Idris, 2 of 3

      01:02:47

      from Galois Video / Added

      208 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
      • Tech Talk: Common crypto mistakes in Android

        48:44

        from Galois Video / Added

        203 Plays / / 0 Comments

        abstract: If you do a web search for “encrypting Strings in Android”, you’ll find a lot of example code, and they all look pretty similar. They definitely input a String and output…

        + More details
        • Parallel K-Induction Based Model Checking

          49:25

          from Galois Video / Added

          201 Plays / / 0 Comments

          abstract: We give an overview of a parallel k-induction-based model checking architecture for verifying safety properties of synchronous systems. The architecture, which is strictly message-based,…

          + More details
          • Getting a Quick Fix on Comonads

            01:13:39

            from Galois Video / Added

            182 Plays / / 0 Comments

            abstract: While the monad abstraction has risen to a certain flavor of fame in the Haskell community and beyond, its equally fascinating dual, the comonad, remains relatively unknown. I’ll tell…

            + More details
            • Haskell Bytes

              01:04:03

              from Galois Video / Added

              178 Plays / / 0 Comments

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

                43:08

                from Galois Video / Added

                177 Plays / / 0 Comments

                abstract: RNA Networks is a software company focused on providing the next generation storage cache solution that addresses performance deficiencies and the rising cost of storage for virtual environments.…

                + More details
                • Functional programming in Swift

                  48:59

                  from Galois Video / Added

                  160 Plays / / 0 Comments

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

                    59:14

                    from Galois Video / Added

                    158 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
                    • Programming Diversity

                      58:09

                      from Galois Video / Added

                      152 Plays / / 0 Comments

                      abstract: It's been scientifically proven that more diverse communities and workplaces create better products and the solutions to difficult problems are more complete and diverse themselves.…

                      + More details
                      • Parametricity, Quotient Types, and Theorem Transfer

                        50:59

                        from Galois Video / Added

                        134 Plays / / 0 Comments

                        abstract: A polymorphic function may be instantiated at many different types; if the function is parametrically polymorphic, then all of its instances must behave uniformly. Reynolds' parametricity…

                        + More details
                        • Fides: Remote Anomaly-Based Cheat Detection Using Client Emulation

                          53:31

                          from Galois Video / Added

                          129 Plays / / 0 Comments

                          abstract: As a result of physically owning the client machine, cheaters in online games currently have the upper-hand when it comes to avoiding detection. To address this problem and turn the table…

                          + 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