Daniel Yokomizo dyokomizo

GitHub (Bash) Shell URLs

Local Shell setup

This is an environment file to source upon shell startup (via .bashrc/.bash_profile or your shell's corresponding file). If your shell isn't Bash you will likely need to port the functions to your shell's syntax.

Setup your local clone of a GitHub repo

When inside your local Git clone of a Github repo you need to do the following (only once per repo):

Best UNIX Shell tools

These are a list of usages of shell commands I can't live without on UNIX-based systems.

Install

Mac OS X

Using Homebrew (yes, I am opinionated) you can install the following tools with the following packages:

The Elements of Programming Style

The following rules of programming style are excerpted from the book "The Elements of Programming Style" by Kernighan and Plauger, published by McGraw Hill. Here is quote from the book: "To paraphrase an observation in The Elements of Style by Strunk and White, the rules of programming style, like those of English, are sometimes broken, even by the best writers. When a rule is broken, however, you will usually find in the program some compensating merit, attained at the cost of the violation. Unless you are certain of doing as well, you will probably do best to follow the rules."

	import Control.Monad.Free
	import Data.Functor.Compose
	import Data.Traversable

	type Diss p c j = c -> Free (Compose ((,) j) ((->) c)) (p c)

	right :: Traversable p => Either (p j) (Diss p c j, c) -> Either (j, Diss p c j) (p c)
	right e = case either (traverse (\j -> Free (Compose (j, Pure)))) (uncurry ($)) e of
	Free (Compose jd) -> Left jd
	Pure pc -> Right pc

	;; As part of the implementation of Virtua's [1] object system I need
	;; a facility called DEFINE-CONSTRUCTOR that defines a convenient
	;; function for creating an instance of a class and setting its slots.

	(define-constructor make-person Person (firstname lastname))

	;; should be operationally equivalent to

	(define make-person
	(lambda (firstname lastname)

	module Split where

	open import Data.Bool
	open import Data.Nat
	open import Data.Nat.Properties
	open import Data.List hiding ([_])
	open import Data.Product

	open import Relation.Binary
	open import Relation.Binary.PropositionalEquality

	import Data.Traversable
	import Control.Monad.Free
	import Control.Comonad
	import Control.Comonad.Trans.Store

	type Zipper t a = Free (Store a) (t a)

	zipper :: Traversable t => t a -> Zipper t a
	zipper = traverse (wrap . store return)

	//
	// On MacOSX compile with:
	// g++ -framework OpenGL -framework GLUT -o example example.cpp
	//

	#include <stdlib.h>

	#include <GLUT/glut.h>

	GLuint program;

	#include <stdio.h>

	#define N 1000

	__global__
	void add(int a, int b) {
	int i = blockIdx.x;
	if (i<N) {
	b[i] = 2*a[i];
	}