EDIT: bitfinex doesn't work on the machine I'm using. Guess shorting will have to wait for later.
Reply on news.ycombinator.com