Apparently it couldn't withstand all the traffic from HN (potentially due to all the server side python). It's up again now.

You can always download it and try it locally: http://www.mathics.org

Edit: If anyone is interested in getting involved, we are always looking for contributers. The full code is on github: https://github.com/poeschko/Mathics