Great resources. I would add http://www.goodui.org/ to the list. There you can find best practices for UI.