1. abcBridge: Functional Interfaces for AIGs & SAT Solving

    34:14

    from Galois Video / Added

    570 Plays / / 0 Comments

    For slides and more details, please visit: http://www.galois.com/blog/2010/08/19/tech-talk-abcbridge-functional-interfaces-for-aigs-and-sat-solving/

    + More details
    • About Vintage Costume Jewelry Designers - World Vintage Jewelry

      00:56

      from anita solomon / Added

      11 Plays / / 0 Comments

      http://www.worldvintagejewelry.com Massive private collection of vintage jewelry that is now available from the website.

      + More details
      • Adding a card to the Dominion simulator

        03:53

        from Aditya Bhargava / Added

        62 Plays / / 0 Comments

        Introductory video: https://vimeo.com/84722179 Homepage: https://github.com/egonSchiele/dominion Documentation: http://hackage.haskell.org/package/dominion

        + More details
        • A Dominion simulator in Haskell

          05:48

          from Aditya Bhargava / Added

          2,979 Plays / / 0 Comments

          Home page: https://github.com/egonschiele/dominion Documentation: http://hackage.haskell.org/package/dominion

          + More details
          • Aerotech Mirage Launch, Onboard View

            00:39

            from Haskell Rocket / Added

            30 Plays / / 0 Comments

            We launched this rocket in November 2012. The rear parachute didn't deploy, and the rear section (which the camera was on) landed in a tree.

            + More details
            • Airborne: It Takes More than Powers - Promo/Teaser/Trailer

              02:22

              from Jordan Imbrey / Added

              1,029 Plays / / 9 Comments

              This is a movie I am writing and directing with the intent of entering in film festivals. This promo was cut together for the Myers Park Film Festival. This is the first of a serial group of films. http://vimeo.com/4776403 High…

              + More details
              • Alandon Ft. Haskell-"Naah Suffer Nuh More" Prod by {3RD Floor Prod. & Creepa Prod.}

                03:33

                from RisingStarsTV.Net / Added

                36 Plays / / 0 Comments

                ALANDON Ft. HASKELL-"NAAH SUFFER NUH MORE" Prod by {3RD Floor Prod. & Creepa Prod.}

                + More details
                • Alissa Pajer - How Haskell is Changing my Brain

                  48:32

                  from Arktekk AS / Added

                  2,972 Plays / / 4 Comments

                  This video was filmed during The flatMap(Oslo) conference which took place on the 12-13th of May 2014 in Oslo, Norway. flatMap(Oslo) is Norway's first dedicated Scala and functional programming conference. Abstract: http://2014.flatmap.no/speakers/pajer.html Track…

                  + More details
                  • A mais simples introdução a TDD

                    08:48

                    from Bruno Dias / Added

                    14 Plays / / 1 Comment

                    Mais uma vez, os vídeos são sempre bem simples; no intuito de compartilhar informação. Qualquer erro simples, corrija na cabeça que é mais fácil que ficar editando vídeo. Se estiver realmente errado,…

                    + More details
                    • A New Dependency Solver for cabal-install - Andres Löh

                      31:24

                      from Neil Mitchell / Added

                      20 Plays / / 0 Comments

                      Many of the most common sources of frustration and complaints about Haskell's packaging system have as their root cause limitations in the dependency solver in cabal-install. To address…

                      + More details

                      What are Tags?

                      Tags

                      Tags are keywords that describe videos. For example, a video of your Hawaiian vacation might be tagged with "Hawaii," "beach," "surfing," and "sunburn."