Dear firedrake, we recently migrated the day-to-day development discussions from IRC to a slack channel at firedrakeproject.slack.com. This allows, for example, a slightly more user-friendly interface (in particular history of previous discussions). Anyone is welcome to join and participate, both if you're interested in developing new features, or for user questions/discussion. To join, you will need to request an invite. This can be done by following the instructions here: http://firedrakeproject.org/contact.html Or visiting this page: https://firedrakeproject.herokuapp.com/ You'll need a valid email address and should then automatically get an invite. To avoid having too many different ways of getting in touch, we will no longer be actively monitoring the #firedrake channel on IRC. For those of you who love IRC too much, the slack->irc gateway is enabled, so you can continue using your favourite client once registered. Hopefully this works out well, let's see! Cheers, Lawrence