Typecasting Again

Lance: Welcome to our second typecast on the last full day of Dagstuhl. I may not see Bill for a while so we'd thought we'd get in one more chat before we go our separate ways.

Bill: Let's wave to the audience. 

Lance: So Bill have you been enjoying the workshop?

Bill: I enjoyed the hike while you stayed here working on a BOGUS theorem.

Lance: I never do the hike. I enjoy the quietness of a nearly-empty Dagstuhl. Saw the castle, did some shopping.

Bill: We're miles from civilization, or kilometers I suppose in Germany.

Lance: A short drive to beautiful downtown Wadern.

Bill: I thought Wadern was too small to have a downtown.

Lance: Well its no Chicago but does have a central shopping area. I got some cool German pencils for the kids and chocolate for the rest.

Bill: Are you enjoying the talks you don't sleep through?

Lance: Don't talk so loud, you are waking me up. Yes the talks have (mostly) been quite good. And luckily not too many of them.

Bill: If I can understand the problem being worked on then I'm happy because I can always claim I read the paper later.

Lance: Then why do you stay awake for the last 30 minutes of each talk? 

Bill: There is photographic evidence that I don't. By the way, do you realize we invented a new word yesterday, "TYPECAST".

Lance: I hate to break it to you but the word is already in the dictionary, first meaning "to cast (type)" which is exactly what we are doing.

Bill: Has the word typecast been used in this way as a contrast to podcast and vidcast?

Lance: Next topic. Let's leave the new words to the Optimizer.

Bill: Do you mean Scott Aaronson's new word "fourellated"?

Lance: Let's not forget his "algebrization". By the way people in this room are now arguing over the spelling of "fourellate". Let's move on please.

Bill: Let's get back to Dagstuhl. Name three talks that you like and one thing that you learned.

Lance: And have someone be angry I left them out? I learned not to rank talks.

Bill: I have no such fears, everyone is already angry at me :-) I like the Swastik Kopparty talk on 0-1 laws for Random Graphs with First-order Plus Parity, Anna Gal's talk on lower bounds on 3-query linear locally-decodable codes, and Arkadev Chattopadhyay's Linear Systems over Composite Moduli. These talks all had real result unlike yours.

Lance: Since when does it make sense to judge a paper by its theorems?

Bill: Since the DAWN OF TIME. Also I learned I can that I can beat Razborov in ping pong, at least with John Rogers help. 

Lance: Let's wrap it up. You know we could typecast again using IM or Google Wave. 

Bill: Once I join the modern age.

Lance: So until next June at Complexity, remember, in a complex world best to keep it simple.