or cancel
  1. osxmonad keybindings

    01:45

    from Brian McKenna Liked 2,683 3 0

    I got keybindings and a chunk of XMonad's operations working in osxmonad. You can now use osxmonad to move windows around, resize them and change tiling layouts. http://github.com/pufuwozu/osxmonad https://bitbucket.org/puffnfresh/osxmonad

    + More details
    • osxmonad Spaces

      00:53

      from Brian McKenna Liked 4,705 4 0

      OS X Mountain Lion Spaces in osxmonad.

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

        48:32

        from Arktekk AS Liked 7,689 30 4

        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…

        + More details
        • Seeing Spaces

          15:11

          from Bret Victor Liked 54.3K 632 0

          Read the poster: http://worrydream.com/SeeingSpaces What if we designed a new kind of "maker space" -- a space that isn't just for putting pieces together, but also for seeing and…

          + More details
          • [ny-haskell] Diagrams: Declarative Vector Graphics in Haskell with Brent Yorgey (Part 1 of 2)

            56:50

            from Richard Minerich Liked 2,000 15 0

            Event: http://www.meetup.com/NY-Haskell/events/148519552/ Slides: http://gbaz.github.io/slides/13-11-25-nyhaskell-diagrams.pdf Part 2: https://vimeo.com/84249042 Diagrams [1] is an declarative,…

            + More details
            • A short examination on the intersection of security and usability (or How usable security could save us all)

              01:04:10

              from Galois Video Liked 116 3 0

              abstract: Cryptographic tools have become more powerful in the last three decades. With that power has come complexity. To use or even understand most security tools you need a thorough understanding…

              + More details
              • How to us Riak incorrectly -- Charlie von Metzradt

                23:09

                from Basho Technologies Liked 1,574 9 0

                Charlie von Metzradt is one of the founders of Hosted Graphite, a hosted metrics graphing service, that is built using Riak. He talks about how they've used and abused Riak and some of the lessons…

              • [ny-haskell] Using Lenses to Structure State with Nathan Bouscal

                34:43

                from Richard Minerich Liked 2,265 10 1

                Event: http://www.meetup.com/NY-Haskell/events/159623642/ This introductory talk will present a simple Haskell program capturing the game of poker. Using this example, we will walk through tactics…

                + More details
                • Dependently Typed Functional Programming with Idris 1

                  01:11:18

                  from Edwin Brady Liked 3,416 17 0

                  Screen recording of a course given at IT University, Copenhagen, March 11-15th. For more information about Idris, see http://idris-lang.org Sorry for the low sound quality - this is an experiment…

                  + More details
                  • Safe Functional Reactive Programming through Dependent Types

                    25:06

                    from Malcolm Wallace Liked 965 4 1

                    Safe Functional Reactive Programming through Dependent Types Neil Sculthorpe and Henrik Nilsson; University of Nottingham International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM…

                    + More details
                    • Bret Victor - The Future of Programming

                      32:55

                      from Bret Victor Liked 251K 1,936 0

                      For references and more information, see http://worrydream.com/dbx Presented at Dropbox's DBX conference on July 9, 2013. Bret Victor -- http://worrydream.com

                      + More details
                      • Interactive Exploration of a Dynamical System

                        05:47

                        from Bret Victor Liked 115K 985 35

                        A user interface for exploring systems of differential equations. Every variable is shown as a plot; every parameter has a knob that can be adjusted in realtime. This ubiquitous visualization and…

                        + More details

                        Browse Likes

                        Davorak

                        Likes are an easy way to keep track of the videos you enjoy. Use likes to bookmark videos you want to watch again and again and again and again.

                        Also Check Out