Yep, appears to be dead indeed. No new posts on discord, apparently no pools operational, and a stuck blockchain.