Daniel Díaz Carrete danidiaz

danidiaz / logictisnotlistt.hs

Created April 28, 2014 22:11

LogicT behaves differently (better!) from ListT.

	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE RankNTypes #-}

	import Control.Lens
	import Data.Functor
	import Data.Monoid
	import Control.Monad
	import Control.Monad.List

danidiaz / representables.hs

Created May 4, 2014 23:00

	{-# LANGUAGE DeriveFunctor #-}

	data Pair a = Pair a a deriving (Show,Functor)

danidiaz / strictness.txt

Last active August 29, 2015 14:01

	λ (undefined >>= undefined :: Maybe ()) `seq` ()
	*** Exception: Prelude.undefined
	λ (undefined >>= undefined :: IO ()) `seq` ()
	()
	λ import Control.Monad.State.Strict
	λ (undefined >>= undefined :: State () ()) `seq` ()
	()
	m >>= k = StateT $ \ s -> do
	(a, s') <- runStateT m s
	runStateT (k a) s'

danidiaz / counthaskell.hs

Last active August 29, 2015 14:02

	{-# LANGUAGE OverloadedStrings #-}

	import Control.Applicative
	import Control.Lens
	import Control.Monad
	import qualified Data.Traversable as T
	import qualified Data.Foldable as F
	import qualified Data.Map as M
	import qualified Data.Text.Lazy as T
	import qualified Data.Text.Lazy.Encoding as T

danidiaz / do_cnts_install_ghc.sh

Last active August 29, 2015 14:02

Configuring a Digital Ocean VPS (1gb memory, 64 bit CentOS 6.5 image) with the latest GHC for Haskell development. Work in progress.

	#! /bin/bash

	# http://linuxcommand.org/wss0150.php
	function error_exit
	{
	echo "$1" 1>&2
	exit 1
	}

	# http://unix.stackexchange.com/questions/70859/why-doesnt-sudo-su-in-a-shell-script-run-the-rest-of-the-script-as-root

danidiaz / putty_zenburn.reg

Created June 26, 2014 12:45

Zenburn color scheme for Putty.

danidiaz / putty-monokai.reg

Created June 26, 2014 21:35 — forked from gdvalle/putty-monokai.reg

	Windows Registry Editor Version 5.00

	[HKEY_CURRENT_USER\Software\SimonTatham\PuTTY\Sessions\monokai]
	"Colour21"="255,255,255"
	"Colour20"="245,222,179"
	"Colour19"="200,240,240"
	"Colour18"="0,217,217"
	"Colour17"="179,146,239"
	"Colour16"="174,129,255"
	"Colour15"="122,204,218"

danidiaz / putty_desert.reg

Created June 26, 2014 21:54

	Windows Registry Editor Version 5.00

	[HKEY_CURRENT_USER\Software\SimonTatham\PuTTY\Sessions\igvita-desert]
	"Present"=dword:00000001
	"HostName"="192.168.171.128"
	"LogFileName"="putty.log"
	"LogType"=dword:00000000
	"LogFileClash"=dword:ffffffff
	"LogFlush"=dword:00000001
	"SSHLogOmitPasswords"=dword:00000001

danidiaz / cool-putty-colours.reg

Last active August 29, 2015 14:03

My Putty colour palette.

danidiaz / dokerx11.sh

Last active October 17, 2015 06:46

Docker & X11 shenanigans

	docker run centos yum install -y xorg-x11-xauth xeyes

	docker ps -l

	docker commit zzzzzzzzzz centos:xeyes

	docker run -v $HOME:/hosthome:ro -e XAUTHORITY=/hosthome/.Xauthority -e DISPLAY=$DISPLAY centos cat /hosthome/.Xauthority

	docker run -v $HOME:/hosthome:ro -e XAUTHORITY=/hosthome/.Xauthority -e DISPLAY=$(echo $DISPLAY \| sed "s/^.*:/$(hostname -i):/") centos:xeyes xeyes