The right of the people to be secure in their persons, houses, electronics, communications, papers, and effects [a] against unreasonable searches and seizures, shall not be violated, and no Warrants shall issue, but upon probable cause, supported by Oath or affirmation, and particularly describing the place to be searched, and the persons or things to be seized.[2]
This file contains hidden or 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
| {- | |
| Author | Tim Dysinger <tim@dysinger.net> | |
| Copyright | WTFPL 2.0 http://www.gnu.org/licenses/license-list.html#WTFPL | |
| -} | |
| module Main where | |
| import Control.Monad.Eff | |
| import Data.Array |
This file contains hidden or 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
| if status --is-login | |
| if [ -n $HOME ] | |
| # NIX PROFILE | |
| set -l NIX_LINK $HOME/.nix-profile | |
| if [ ! -l $NIX_LINK ] | |
| set -l _NIX_DEF_LINK /nix/var/nix/profiles/default | |
| $_NIX_DEF_LINK/bin/ln -s $_NIX_DEF_LINK $NIX_LINK | |
| end |
This file contains hidden or 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
| sudo yum update -y | |
| sudo yum groupinstall -y "Development Tools" | |
| sudo yum install -y SDL bridge-utils grub2-tools libaio libuuid-devel ocaml-runtime python-lxml qemu-img wget yajl | |
| wget -r -np --continue http://uhsure.com/halvm-xen-rpms/20/ | |
| sudo rpm -i `find uhsure.com -name '*.rpm'` |
This file contains hidden or 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
| tim@ip-192-168-0-191:~/src/k/tools/chef-repo/cookbooks/kcb_skel% kitchen converge | |
| -----> Starting Kitchen (v1.2.1) | |
| -----> Creating <default-ubuntu-1204>... | |
| >>>>>> ------Exception------- | |
| >>>>>> Class: Kitchen::ActionFailed | |
| >>>>>> Message: Failed to complete #create action: [Expected process to exit with [0], but received '1' | |
| ---- Begin output of vagrant up --no-provision --provider=virtualbox ---- | |
| STDOUT: | |
| STDERR: Vagrant failed to initialize at a very early stage: |
This file contains hidden or 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
| -- Currying in Haskell | |
| add :: Int -> Int -> Int -> Int -> Int | |
| add a b c d = a + b + c + d | |
| -- use `add 3 7 9 11` | |
| // Currying in Swift | |
| func add(a: Int) -> (Int -> Int) { | |
| func add1(b: Int) -> (Int -> Int) { | |
| func add2(c: Int) -> (Int -> Int) { | |
| func add3(d: Int) -> Int { |
This file contains hidden or 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
| ➤ cat Main.hs | |
| main :: IO () | |
| main = putStrLn "hello" | |
| ➤ hastec --start=asap --opt-all Main.hs | |
| Compiling Main into . | |
| Linking Main.js | |
| Linking Main | |
| Linking GHC.IO.Handle.Text | |
| Linking Haste.Handle | |
| Linking GHC.Tuple |
This file contains hidden or 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
| module Main | |
| data Cloud : Type where | |
| AWS : Ptr -> Cloud | |
| data Service : Type where | |
| S3 : Ptr -> Service | |
| amazonCloud : IO Cloud | |
| amazonCloud = mkForeign (FFun "require('aws-sdk');" [] FPtr) >>= return . AWS |