David Johnson dmjio

## gist:330f02e2279446f4b4bf
#! /usr/bin/env python

import redis
import random
import pylibmc
import sys

r = redis.Redis(host = 'localhost', port = 6389)
mc = pylibmc.Client(['localhost:11222'])

## gist:4050405

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                dmjio
                / gist:4050405
            
            
              Created
              November 10, 2012 08:17
            
              
                Sublime Text 2 - Useful Shortcuts
              
          
    Sublime Text 2 – Useful Shortcuts (Mac OS X)

General


		 ⌘T 
		 go to file 
	
	
		 ⌘⌃P 
		 go to project 
	
	
		 ⌘R 
		 go to methods 
	
	
		 ⌃G 
		 go to line 
	
	
		 ⌘KB 
		 toggle side bar 
	
	
		 ⌘⇧P 
		 command prompt 
	

## SwaggerExample.hs
{-# LANGUAGE DeriveGeneric, FlexibleInstances, ScopedTypeVariables, FlexibleContexts, DataKinds, TypeFamilies #-}
module SwaggerExample where

import Data.Proxy
import qualified GHC.Generics as G
import Generics.SOP

data Todo = Todo {
    created :: Int
  , description :: String

## docker-push.sh
#!/bin/sh

set -x

CIRCLE_TAG=`git name-rev --tags --name-only $(git rev-parse HEAD)`

docker login -e $DOCKER_EMAIL -u $DOCKER_USER -p $DOCKER_PASS

if [ "$CIRCLE_TAG" -ne "undefined" ]; then
  docker tag user/repo user/repo:$CIRCLE_TAG

## setup_flask_and_friends.sh
#!/bin/bash
#
# Shell script to automatically configure a new Flask, nginx and uWSGI based blog
# on an Amazon EC2 instance.
#
# See http://bit.ly/MeGwjD for more information!
#
# If you are forking this for your own custom configuration script, see the following other gists:
#   https://gist.github.com/3071737
#   https://gist.github.com/3071739

## Nub.hs
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}
module Nub where

import Data.Proxy
import Data.Type.Bool

## Constraints.org

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                dmjio
                / Constraints.org
            
            
              Created
              August 20, 2016 15:52
                — forked from Icelandjack/Constraints.org
            
              
                Type Classes and Constraints
              
          
    Type classes are a language of their own, this is an attempt to document some features.
Work in progress.
Accept values with varying number of arguments

Common technique used in EDSLs (embedded domain-specific languages) to accept functions with varying number of arguments.
(Hackage) QuickCheck

quickCheck :: Testable prop => prop -> IO ()


## cabal-from-source.nix
{ runCommand, fetchzip, cabal2nix }:
let
  package-src = runCommand "package-src" {
    src = fetchzip {
      url = "...zip";
      sha256 = "...";
    };
    buildInputs = [ cabal2nix ];
  }
  ''

## 0_reuse_code.js
// Use Gists to store code you would like to remember later on
console.log(window); // log the "window" object to the console

## gist:db6c1ce67ee84a320aa0971242be3971
{ pkgs ? import <nixpkgs> {}}:


let
  texpkgs = pkgs.texlive.combine {
    inherit (pkgs.texlive) scheme-small latexmk;
  };
in
  pkgs.stdenv.mkDerivation {
    name = "mbd";
	#! /usr/bin/env python

	import redis
	import random
	import pylibmc
	import sys

	r = redis.Redis(host = 'localhost', port = 6389)
	mc = pylibmc.Client(['localhost:11222'])
⌘T	go to file
⌘⌃P	go to project
⌘R	go to methods
⌃G	go to line
⌘KB	toggle side bar
⌘⇧P	command prompt
	{-# LANGUAGE DeriveGeneric, FlexibleInstances, ScopedTypeVariables, FlexibleContexts, DataKinds, TypeFamilies #-}
	module SwaggerExample where

	import Data.Proxy
	import qualified GHC.Generics as G
	import Generics.SOP

	data Todo = Todo {
	created :: Int
	, description :: String
	#!/bin/sh

	set -x

	CIRCLE_TAG=`git name-rev --tags --name-only $(git rev-parse HEAD)`

	docker login -e $DOCKER_EMAIL -u $DOCKER_USER -p $DOCKER_PASS

	if [ "$CIRCLE_TAG" -ne "undefined" ]; then
	docker tag user/repo user/repo:$CIRCLE_TAG
	#!/bin/bash
	#
	# Shell script to automatically configure a new Flask, nginx and uWSGI based blog
	# on an Amazon EC2 instance.
	#
	# See http://bit.ly/MeGwjD for more information!
	#
	# If you are forking this for your own custom configuration script, see the following other gists:
	# https://gist.github.com/3071737
	# https://gist.github.com/3071739
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE UndecidableInstances #-}
	module Nub where

	import Data.Proxy
	import Data.Type.Bool
	{ runCommand, fetchzip, cabal2nix }:
	let
	package-src = runCommand "package-src" {
	src = fetchzip {
	url = "...zip";
	sha256 = "...";
	};
	buildInputs = [ cabal2nix ];
	}
	''
	// Use Gists to store code you would like to remember later on
	console.log(window); // log the "window" object to the console
	{ pkgs ? import <nixpkgs> {}}:


	let
	texpkgs = pkgs.texlive.combine {
	inherit (pkgs.texlive) scheme-small latexmk;
	};
	in
	pkgs.stdenv.mkDerivation {
	name = "mbd";