or cancel
  1. Hex sample 3: The final seconds...

    00:13

    from Galois Video Added 205 0 0

    problem 14, seed 0 submitted by contestant Zac Slade

    + More details
    • Hex sample 2

      02:13

      from Galois Video Added 581 0 0

      problem 6, seed 0, scoring 3261

      + More details
      • Hex sample 1

        00:26

        from Galois Video Added 977 1 0

        Basic sample play from the ICFP 2015 Programming Contest game "Hex".

        + More details
        • Differential Privacy – A Toolkit for Stability, Robustness, and Statistical Validity

          57:39

          from Galois Video Added 195 0 0

          abstract: In this talk, I’ll give an introduction to differential privacy with an emphasis on its relationship to machine learning, and its usefulness outside of privacy. Along the way, I’ll…

          + More details
          • How to get from laws to technical requirements

            01:01:51

            from Galois Video Added 91 1 0

            Slides: http://goo.gl/MtQmas abstract: Why is cybersecurity such a hard problem? The US government, its citizens, and the organizations that write software are all on the same team, but in many…

            + More details
            • High Tech Amateur Rockets at PSAS

              56:23

              from Galois Video Added 72 0 0

              abstract: Portland State Aerospace Society (PSAS) is a student aerospace engineering project at Portland State University. We’re building ultra-low-cost, open source rockets that feature some…

              + More details
              • From Haskell to Hardware via CCCs

                01:00:36

                from Galois Video Added 229 1 0

                abstract: For the last several years, speed improvements in computing come mainly from increasing parallelism. Imperative programming, however, makes parallelization very difficult due to the many…

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

                  59:14

                  from Galois Video Added 334 5 0

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

                    01:02:47

                    from Galois Video Added 456 4 0

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

                      01:20:29

                      from Galois Video Added 2,332 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
                      • Tech Talk: Common crypto mistakes in Android

                        48:44

                        from Galois Video Added 657 1 0

                        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
                        • Tech Talk: Read-copy update (RCU) validation and verification for Linux

                          01:07:11

                          from Galois Video Added 353 1 0

                          abstract: Read-copy update (RCU) is a synchronization mechanism that is sometimes used as an alternative to reader-writer locking (among other things) that was added to the Linux kernel in 2002.…

                          + 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