View keybase.md

Keybase proof

I hereby claim:

  • I am bradediger on github.
  • I am bradediger (https://keybase.io/bradediger) on keybase.
  • I have a public key whose fingerprint is BB9A 0345 FE71 D3F7 7C36 14AE 5E21 B6E4 5865 E45C

To claim this, I am signing this object:

View elm-aeson-pretty.diff
commit 50446d06cf8c7310564d27ec5be2c9318a4dfd77
Author: Brad Ediger <brad.ediger@madriska.com>
Date: Mon Aug 1 11:26:19 2016 -0500
[local] elm: Constrain aeson-pretty to <0.8
https://github.com/elm-lang/elm-compiler/pull/1431
diff --git a/pkgs/development/compilers/elm/packages/elm-compiler.nix b/pkgs/development/compilers/elm/packages/elm-compiler.nix
index dc2a0a1..f6a92b6 100644
View git.plugin.zsh
# Aliases
alias g='git'
compdef g=git
alias gst='git status'
compdef _git gst=git-status
alias gl='git pull'
compdef _git gl=git-pull
alias gup='git fetch && git rebase'
compdef _git gup=git-fetch
alias gp='git push'
View gist:6437400
weave∙partition≡id : ∀ {A} {m n m+n : ℕ} {mn-proof : m + n ≅ m+n}
fn (vec : Vec A (m + n)) →
weave (partition {A} {m} {n} fn vec) ≅ vec
weave∙partition≡id {A} {0} fn [] = refl
weave∙partition≡id {A} {suc m} {0} fn (x ∷ xs) =
cong (_∷_ x) (weave∙partition≡id {A} {m} {_} {_} {+0 m} fn xs)
weave∙partition≡id {A} {0} {suc n} fn (x ∷ xs) =
cong (_∷_ x) (weave∙partition≡id {A} {0} {_} {_} {refl} fn xs)
weave∙partition≡id {A} {suc m} {suc n} fn (x ∷ xs) with fn x
... | true = cong (_∷_ x) (weave∙partition≡id {A} {m} {_} {_} {refl} fn xs)
View gist:5041169
# coding: utf-8
$:.unshift 'lib'
require 'prawn'
Prawn::Document.generate 'test_table.pdf' do
table [["Label:", 'text']], :cell_style => {:size => 10, :background_color => "000000", :border_width => 0} do
columns(0).text_color = "9a9a9a"
columns(1).text_color = "FFFFFF"
end
View gist:4684255
module PatientHelpers
include ActionController::Base.helpers
include Haml::Helpers
init_haml_helpers
end
def h
h ||= Object.new.extend(PatientHelpers)
end
View gist:4552523
(defn make-registry []
(doto (carbonite.api/default-registry)
(.setClassLoader (clojure.lang.DynamicClassLoader.))))
View carbon.rb
require 'formula'
class Carbon < Formula
homepage 'http://graphite.wikidot.com/'
url 'http://pypi.python.org/packages/source/c/carbon/carbon-0.9.10.tar.gz'
md5 '1d85d91fe220ec69c0db3037359b691a'
depends_on 'python'
depends_on 'twisted' => :python
depends_on 'whisper'
View gist:4137531
#!/usr/bin/env ruby
hits_ = nil
misses_ = nil
loop do
`redis-cli info | grep keyspace` =~ /hits:(\d+).*misses:(\d+)/m
hits, misses = $1.to_i, $2.to_i
if hits_
View gist:4118335
foreground-vim() {
fg %vim
}
zle -N foreground-vim
bindkey '^Z' foreground-vim