Is the first one the "Anna is a bot" song?

I had actually built a bot named Anna to trick friends on IRC (with AIML) so when I came upon the song it felt hilarious.