View iwlwifi-firmware-blacklist.nix
# iwlwifi firmware v22 has severe problems with 4.9 kernels. Blacklist the
# -22 firmware version; 21 is known good.
# The mkForce is _necessary_, because otherwise the default values for
# hardware.firmware ([kernel]) would be merged in, and the -22 would come
# from them as well.
hardware.firmware = lib.mkForce [
(lib.overrideDerivation pkgs.firmwareLinuxNonfree (drv: {
postInstall = ''
View gist:7a2959f15e5ff2603574b90aafc3bb12
% stack build
problem- configure (lib)
Configuring problem-
Cabal-simple_mPHDZzAJ_1.24.0.0_ghc-8.0.1: Missing dependency on a foreign
* Missing C library: zlib
This problem can usually be solved by installing the system package that
provides this library (you may need the "-dev" version). If the library is
already installed but in a non-standard location then you can use the flags
--extra-include-dirs= and --extra-lib-dirs= to specify where it is.

Keybase proof

I hereby claim:

  • I am bradediger on github.
  • I am 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 <>
Date: Mon Aug 1 11:26:19 2016 -0500
[local] elm: Constrain aeson-pretty to <0.8
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"
View gist:4684255
module PatientHelpers
include ActionController::Base.helpers
include Haml::Helpers
def h
h ||=
View gist:4552523
(defn make-registry []
(doto (carbonite.api/default-registry)
(.setClassLoader (clojure.lang.DynamicClassLoader.))))
View carbon.rb
require 'formula'
class Carbon < Formula
homepage ''
url ''
md5 '1d85d91fe220ec69c0db3037359b691a'
depends_on 'python'
depends_on 'twisted' => :python
depends_on 'whisper'