kputnam

module Linear
  where

import Prelude hiding (error)
import Control.Arrow
import Data.List
import Data.Vector (Vector)
import qualified Data.Vector as V

-- | Independent variables from a single observation

kputnam

module Demo where

import Control.Applicative
import Control.Monad.ST
import UnionFind
import Weight

-- | Return the class label if the class is represented by a constructed type
con_ :: Class s (Weight a) b -> ST s (Maybe b)
con_ c = ((== Con) . tag <$> weight c) >>= if_

kputnam

module Window
  ( Window

  -- | Monoidal windows
  , empty
  , update
  , shift

  -- | Non-monoidal windows
  , replicate

kputnam

package test;

public class Test {
  public static class Generic<A, B> { }
  public static class Instance extends Generic<String, String> { }

  // OK
  Class<? extends Generic<String, String>> w = Instance.class;

  /**

kputnam

{-# LANGUAGE MonadComprehensions #-}

import Data.Maybe
import Data.Monoid

fizzBuzz :: [(Int, String)] -> Int -> String
fizzBuzz ds n = fromMaybe (show n) $ mconcat [[s | d `divides` n] | (d,s) <- ds]
  where x `divides` y = y `mod` x == 0

main :: IO ()

kputnam

{-# LANGUAGE TemplateHaskell  #-}
{-# LANGUAGE DeriveFunctor    #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE LambdaCase       #-}

-- http://michaelxavier.net/posts/2014-04-27-Cool-Idea-Free-Monads-for-Testing-Redis-Calls.html

import Control.Monad.State
import Control.Monad.Free
import Control.Monad.Free.TH

kputnam

{-# LANGUAGE TemplateHaskell #-}

import Data.Monoid
import Data.DeriveTH

data Venn a =
  Venn
  { both    :: a -- number of elements in both t and p
  , pNotT   :: a -- number of elements in p but not t
  , tNotP   :: a -- number of elements in t but not p

kputnam

brew tap homebrew/science
brew tap homebrew/dupes
brew install lapack openblas gsl

cabal install hmatrix hmatrix-special hmatrix-tests \
  --extra-lib-dirs=/usr/local/opt/lapack/lib   --extra-include-dirs=/usr/local/opt/lapack/include \
  --extra-lib-dirs=/usr/local/opt/gsl/lib      --extra-include-dirs=/usr/local/opt/gsl/include    \
  --extra-lib-dirs=/usr/local/opt/openblas/lib --extra-include-dirs=/usr/local/opt/openblas/include

kputnam

Oregon Programming Languages Summer School 2013

• Coq Preparation and Boot Camp
• Amal Ahmed Logical Relations
• Robert Harper Type Theory Foundations
• Dan Licata Dependently-Typed Programming in Agda
• Simon Peyton-Jones Adventures in Haskell
• Frank Pfenning Linear Logic and Session-Based Concurrency
• Andrew Tolmach Software Foundations in Coq
• Stephanie Weirich Designing Dependently-Typed Programming Languages
• Steve Zdancewic Verifying LLVM Optimizations in Coq

kputnam

Using dtruss on vim's :w

Ever wonder what happens when you save a file in vim? There's quite a lot more happening than open, write, and close. I found this out while working on some code to monitor changed files using the node.js fs.watch API, which abstracts (or obscures) Mac OS X's kqueue API.

To find out exactly what vim is doing when saving a file, we'll use a tool included with DTrace that reports on another process's system calls. We need the process ID of vim, which is already open and editing my file: