Haha yes :) Sorry, the IHP website is hosted via https://ihpcloud.com/ https://ihpcloud.com/ (like Heroku but for IHP) and the system just crashed because of to

Haha yes :) Sorry, the IHP website is hosted via https://ihpcloud.com/ https://ihpcloud.com/ (like Heroku but for IHP) and the system just crashed because of too much activity (unrelated to the HN traffic, mostly too many deployments at the same time). We're about to roll out a new more stable system in the next days that fixes the root cause of the downtime today.