Pump.io is not dead but it's pretty much unmaintained because @evan has other things to do now.