timjb

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

#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

module Data.BKTree (
        BKTree,
        MetricSpace(..),

        empty,
        null,
        size,
        singleton,
        insert,
        query,

timjb

{
  "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

Programming Achievements: How to Level Up as a Developer

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

First things first:

timjb

/* You may want to style this to your personal need */

.achievement.status {
  display: none;
  
  position: absolute;
  left: 50%;
  bottom: -120px;
  margin-left: -160px;
}