Erica, I too am very disheartened by the amount sexism in our industry. As a male feminist who is very passionate about engineering, technology and entrepreneurship, it's hard to see that many of my peers act in such ways. However, sex jokes are not inherently sexist. They are perhaps crude, but don't have to be sexist. From the surface, the comments of these developers seem just sophomoric and crude, but nothing else. I am a fan of crude jokes as long as they aren't sexist, homophobic or racist. I don't think Adria really had a reason to call them out on grounds of sexism, perhaps just on grounds for being annoying. But she certainly shouldn't have done it with their pictures.
On the other hand, the community's reaction to her has been disgusting. It shows exactly the kind of pervasive sexism that exists in the tech industry. We definitely need to call that out and let them know that it's not okay. It's unacceptable to allow this kind of sexism to happen, much like it's unacceptable for the well-known tech big-wig to be so blatantly sexist in front of you to provoke you. You need to call him out, and so do the others who are with him.