bradediger

{
  # 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 = ''

bradediger

% stack build
problem-0.1.0.0: configure (lib)
Configuring problem-0.1.0.0...
Cabal-simple_mPHDZzAJ_1.24.0.0_ghc-8.0.1: Missing dependency on a foreign
library:
* 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.

bradediger

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:

bradediger

commit 50446d06cf8c7310564d27ec5be2c9318a4dfd77
Author: Brad Ediger <[email protected]>
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

bradediger

# 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'

bradediger

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)

bradediger

# 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

bradediger

module PatientHelpers
  include ActionController::Base.helpers
  include Haml::Helpers

  init_haml_helpers
end

def h
  h ||= Object.new.extend(PatientHelpers)
end

bradediger

(defn make-registry []
  (doto (carbonite.api/default-registry)
    (.setClassLoader (clojure.lang.DynamicClassLoader.))))

bradediger

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'