Eavesdropping

Things overheard at a party I recently attended which confirmed that it had a high computer scientist attendance.

I just learned about algebraic multigrids. They're really cool.

We met in our formal verification class.

Don't look at me, I study fish ears.

It's useful, not like formal methods or anything.

No not that one. What's the name of that other guy who is dropping out of the PhD program?

So what's with Malaysia?

I think that some of the folks at this party are the target audience for this McSweeny's List about first dates.