Woo woo!  All aboard the hype train!

I've optimized Girino's GPU miner and it's now over 3.5x as fast on the same hardware!
On my somewhat old Radeon HD5830, I went from 3,000 kh/s to over 11,000 kh/s.