This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ pkgs ? import <nixpkgs> {} }: | |
with pkgs; | |
let | |
su_exec = pkgs.stdenv.mkDerivation { | |
name = "su-exec-0.2"; | |
src = fetchurl { | |
url = https://github.com/ncopa/su-exec/archive/v0.2.tar.gz; | |
sha256 = "09ayhm4w7ahvwk6wpjimvgv8lx89qx31znkywqmypkp6rpccnjpc"; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
VGG_ILSVRC_19_layers_train_val.prototxt | |
name: "VGG_ILSVRC_19_layers" | |
layers { | |
name: "data" | |
type: DATA | |
include { | |
phase: TRAIN | |
} | |
transform_param { | |
crop_size: 224 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#! /usr/bin/env bash | |
# WARNING NB This script wipes out the targeted host's root filesystem when it | |
# runs to completion. Any errors halt execution. set -x is used to help debug, | |
# as often a failed run leaves the system in an inconsistent state, requiring a | |
# rebuild (in DigitalOcean panel: Droplet Settings -> "Destroy" -> "Rebuild | |
# from original"). | |
# | |
# TO USE: | |
# - Add any custom config you want (see notes below) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@namespace html url(http://www.w3.org/1999/xhtml); | |
@namespace xul url(http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul); | |
/* | |
Author: Twily | |
Description: Minimal flat styled tabs for Australis | |
Compitability: Firefox Nightly v31.0a1 - v32.0a1 (Australis) | |
CSS Variables were introduced to Firefox in v29.0a1 | |
Website: http://twily.info/ | |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# language KindSignatures #-} | |
{-# language PolyKinds #-} | |
{-# language DataKinds #-} | |
{-# language TypeFamilies #-} | |
{-# language RankNTypes #-} | |
{-# language NoImplicitPrelude #-} | |
{-# language FlexibleContexts #-} | |
{-# language MultiParamTypeClasses #-} | |
{-# language GADTs #-} | |
{-# language ConstraintKinds #-} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Profunctor lenses | |
================= | |
First, we enable the RankNTypes extension which gives us 'forall' and also import some modules: | |
> {-# LANGUAGE RankNTypes #-} | |
> module ProfunctorLenses where | |
> import Data.Profunctor | |
> import Data.Tagged | |
> import Data.Bifunctor |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# Language TypeFamilies #-} | |
module Pcbt where | |
import Prelude hiding (lookup) | |
import Data.Set (Set) | |
import Data.Map (Map) | |
import qualified Data.Set as Set | |
import qualified Data.Map.Strict as Map | |
import Data.Maybe |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Pieces you need: | |
* emacs | |
* ghcid | |
ghcid needs to know the height of the terminal, we'll set it explicitly | |
height = (window-height) - (scroll-margin) - 1 | |
set this height as your term-buffer-maximum-size |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This is a modified version of the patch found here: | |
https://gist.github.com/choppsv1/36aacdd696d505566088 | |
Which itself is a modified version of: | |
http://emacs.1067599.n5.nabble.com/RFC-Add-tty-True-Color-support-tt299962.html | |
To use true-color, use the flag --color=true-color. | |
Alternatively, set the EMACS_TRUE_COLOR_SEPARATOR environment variable to | |
either ':' or ';'. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE RecordWildCards #-} | |
import Control.Monad | |
import Control.Monad.Trans.Class | |
import Data.Void | |
data ProxyOps a' a b' b m = Ops { req :: a' -> m a, resp :: b -> m b' } | |
newtype Proxy a' a b' b m r = Proxy { runProxy :: ProxyOps a' a b' b m -> m r } | |
run :: ProxyOps a' a b' b m -> Proxy a' a b' b m r -> m r |