I am looking to write an app that receives pushed alerts from a server. I found a couple of methods to do this.
I'm afraid you've found both possible methods. Google was, at least initially, going to implement a GChat api you could use for a push/pull implementation. Sadly, that library was cut by Android 1.0.