IIRC they promised to make Pocket open source, but I'm not sure if the back end ever was. Does anyone know if this is the case?

Seems like a big win for Instapaper, who will likely pick up a lot of Pocket's abandoned users.