Taught by Brad Knox at the MIT Media Lab in 2014. Course website. Lecture and visiting speaker notes.
- Power to the People: The Role of Humans in Interactive Machine Learning by Knox, Cakmak, Kulesza, Amershi, and Lau
- A Few Useful Things to Know about Machine Learning by Domingos
- Machine Learning that Matters by Wagstaff
- Beyond Concise and Colorful: Learning Intelligible Rules by Pazzani et al.
- [Designing Games with a Purpose] (https://www.cs.cmu.edu/~biglou/GWAP_CACM.pdf) by von Ahn and Dabbish
- [Human Model Evaluation in Interactive Supervised
Picking the right architecture = Picking the right battles + Managing trade-offs
- Clarify and agree on the scope of the system
- User cases (description of sequences of events that, taken together, lead to a system doing something useful)
- Who is going to use it?
- How are they going to use it?
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-} | |
{-# LANGUAGE OverloadedStrings #-} | |
-- actual imports :) | |
import Control.Category | |
import Prelude hiding (id, (.)) | |
-- example imports | |
import Control.Monad.Reader | |
import Control.Monad.Writer |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
set -e | |
sudo rm -f /etc/update-motd.d/10-help-text | |
sudo rm -f /etc/update-motd.d/51-cloudguest | |
sudo rm -f /etc/update-motd.d/91-release-upgrade | |
echo -e "[sysinfo]\nexclude_sysinfo_plugins = LandscapeLink" | sudo tee /etc/landscape/client.conf | |
echo deb https://get.docker.com/ubuntu docker main | sudo tee /etc/apt/sources.list.d/docker.list | |
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 36A1D7869245C8950F966E92D8576A8BA88D21E9 |
Authors: | Merijn Verstraaten |
---|---|
Date: | 2014/11/22 |
So you have a pet peeve/bug/feature request that you'd like to see added to GHC. You made sure there was a Trac_ ticket for it, but despite your patient waiting no one is solving your problem. Those selfish GHC hackers!
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE ConstraintKinds #-} | |
{-# LANGUAGE DataKinds #-} | |
{-# LANGUAGE GADTs #-} | |
{-# LANGUAGE TypeFamilies #-} | |
{-# LANGUAGE TypeOperators #-} | |
import GHC.Prim (Constraint) | |
data Nat = Succ Nat | Zero |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE TemplateHaskell #-} | |
module Main | |
where | |
import System.Environment (getArgs) | |
import Data.ByteString.Char8 (pack) | |
import Control.Distributed.Process (say, Process, spawnLink, RemoteTable) | |
import Control.Distributed.Process.Node (newLocalNode, initRemoteTable, runProcess, localNodeId, LocalNode(..)) | |
import Control.Distributed.Process.Internal.Types (NodeId(..)) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Vagrant::Config.run do |config| | |
config.vm.define :default do |tw_config| | |
tw_config.vm.box = "precise64" | |
tw_config.vm.box_url = "http://files.vagrantup.com/precise64.box" | |
tw_config.vm.provision :shell, :path => "provision/ansible-setup.sh" | |
tw_config.vm.provision :shell, :path => "provision/controller-setup.sh" | |
# Load a local setup file if it exists, so you can use it to | |
# provide additional provisioning steps. |