Skip to content

Instantly share code, notes, and snippets.

@dmjio
dmjio / Nub.hs
Created Feb 7, 2016 — forked from roelvandijk/Nub.hs
Incredibly slow type-level Nub
View Nub.hs
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}
module Nub where
import Data.Proxy
import Data.Type.Bool
View 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
@dmjio
dmjio / docker-push.sh
Created Nov 10, 2015 — forked from fizruk/docker-push.sh
Push to Docker from Circle CI
View 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
View 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
@dmjio
dmjio / gist:4050405
Created Nov 10, 2012
Sublime Text 2 - Useful Shortcuts
View gist:4050405

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
@dmjio
dmjio / gist:330f02e2279446f4b4bf
Last active Aug 28, 2015 — forked from mikeyk/gist:1329319
Testing storage of millions of keys in Redis
View 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'])