Hey there! I'm currently working on a CLI tool to deploy WordPress apps to DigitalOcean. Check it out! It's free and open source.
Twenty Twelve is back in trunk now and looking pretty amazing, aiming for 3.5. The theme options code is one of my favorite parts, showing off the 3.4 customizer and the Settings API. One thing I absolutely love about default themes in WordPress, is the fact that they show you how to make things right. I think studying a default theme is way more valuable, than reading a whole pile of WordPress books, or attending some kind of WordPress courses.