Yeah, Intrade is not currently functioning... However on the bright side: Intrade's problems seem to be internal & financial, not criminal/legal, so it's possible it will resume trading; and with the rise of Bitcoin, new betting sites have been enabled and quasi-prediction-markets like http://betsofbitco.in/ are already functioning - they suck compared to Intrade, but people are aware of the market niche and we can hope for a new Bitcoin-based prediction market at some point in the near future.
In a post today at EconLog, Bryan defends the "a bet is a tax on bullshit" maxim contra "portfolios reveal beliefs, bets reveal personality traits and public posturing" (preferred by Noah Smith and Tyler Cowen).
The full post can be found here.