zsh -c "$(curl -fsSL https://raw.githubusercontent.com/nrjdalal/silicon-virtualizer/master/install-qemu.sh)"xcode-select --install| package main | |
| import ( | |
| "context" | |
| pb "example/helloworld" | |
| "io" | |
| "log" | |
| "time" | |
| "google.golang.org/grpc" | 
| package base | |
| import ( | |
| "errors" | |
| "fmt" | |
| "github.com/manucorporat/try" | |
| "github.com/simpleton/beego" | |
| "github.com/streadway/amqp" | |
| "math/rand" | |
| "model/helper" | 
| import boto3 | |
| def role_arn_to_session(**args): | |
| """ | |
| Usage : | |
| session = role_arn_to_session( | |
| RoleArn='arn:aws:iam::012345678901:role/example-role', | |
| RoleSessionName='ExampleSessionName') | |
| client = session.client('sqs') | |
| """ | 
brew install git bash-completion
Configure things:
git config --global user.name "Your Name"
git config --global user.email "[email protected]"
| # --------------------------------------------------------------------------- | |
| # | |
| # Description: This file holds all my BASH configurations and aliases | |
| # | |
| # Sections: | |
| # 1. Environment Configuration | |
| # 2. Make Terminal Better (remapping defaults and adding functionality) | |
| # 3. File and Folder Management | |
| # 4. Searching | |
| # 5. Process Management | 
| package main | |
| import ( | |
| "./binding" | |
| "fmt" | |
| ) | |
| func main() { | |
| binding.PrintHello() | |
| binding.Seed(1) | |
| fmt.Println(binding.Random()) | 
| #!/usr/bin/python | |
| import compiler | |
| import compiler.ast | |
| import optparse | |
| import sys | |
| class MockChecker(object): | |
| def __init__(self): | |
| self.errors = 0 | 
If you're coming to the Property-Based TDD As If You Meant It Workshop, you will need to bring a laptop with your favourite programming environment, a property-based testing library and, depending on the language, a test framework to run the property-based-tests.
Any other languages or suggestions? Comment below.
.NET (C#, F#, VB)
Python:
git clone [email protected]:YOUR-USERNAME/YOUR-FORKED-REPO.git
cd into/cloned/fork-repo
git remote add upstream git://github.com/ORIGINAL-DEV-USERNAME/REPO-YOU-FORKED-FROM.git
git fetch upstream