Reminder: IRC meeting at 6:30