Being a developers conference, wouldn't an updated Mac mini make sense to be announced at WWDC?
It's a bit funny when you think about it. Even at 799$USD, it would mean you could buy two Macs for the price of one WWDC ticket.
There's really nothing funny about it. The people that pay that type of money aren't there as spectators, they are developers running a software business and they see that amount of money they spend for a WWDC ticket as chump change and is going to be a tax write-off anyway.