This gist is part of a blog post. Check it out at:
http://jasonrudolph.com/blog/2011/08/09/programming-achievements-how-to-level-up-as-a-developer
Tim Baumann timjb
timjb
/ Unify.agda
Last active
December 31, 2015 03:09
— forked from copumpkin/Unify.agda
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
| module Unify where | |
| -- Translated from http://strictlypositive.org/unify.ps.gz | |
| open import Data.Empty | |
| import Data.Maybe as Maybe | |
| open Maybe hiding (map) | |
| open import Data.Nat | |
| open import Data.Fin | |
| open import Data.Product hiding (map) |
timjb
/ ghc-install-ubuntu-src.sh
Created
February 4, 2012 12:24
— forked from binarybana/ghc-install-ubuntu-src.sh
How to install GHC 7.4.1 in Ubuntu from source
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
| #Install prerequisites | |
| sudo aptitude install ghc darcs | |
| #Get GHC 7.4.1 source and cabal-install HEAD | |
| wget http://www.haskell.org/ghc/dist/7.4.1/ghc-7.4.1-src.tar.bz2 | |
| darcs get --lazy http://darcs.haskell.org/cabal/ | |
| tar xjf ghc-7.4.1-src.tar.bz2 | |
| cd ghc-7.4.1 | |
| ./configure --prefix=$HOME/src/ghc | |
| time make -j9 #Only took me about 19 minutes on recent quad core xeon |
timjb
/ BKTree.hs
Created
December 8, 2011 21:55
— forked from anonymous/BKTree.hs
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
| module Data.BKTree ( | |
| BKTree, | |
| MetricSpace(..), | |
| empty, | |
| null, | |
| size, | |
| singleton, | |
| insert, | |
| query, |
timjb
/ gist:1239228
Created
September 24, 2011 11:43
— forked from michael/gist:1239217
sanitizeConfig.json
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
| { | |
| "a":{ | |
| href: function(href) { | |
| // accepts only absolute http, https and ftp URLs and email-addresses | |
| return /^(mailto:|(https?|ftp):\/\/)/.test(href); | |
| } | |
| }, | |
| "strong": {}, | |
| "em": {}, | |
| "b": {}, |
timjb
/ about.md
Created
August 10, 2011 18:51
— forked from robotlolita/about.md
Programming Achievements: How to Level Up as a Developer
timjb
/ achievements.css
Created
April 19, 2011 17:01
— forked from frostney/achievements.css
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
| /* You may want to style this to your personal need */ | |
| .achievement.status { | |
| display: none; | |
| position: absolute; | |
| left: 50%; | |
| bottom: -120px; | |
| margin-left: -160px; | |
| } |