Comment by adamrezich

I haven't followed Ethereum since the whole DAO debacle. I was very excited about the technology but the way the whole hard fork/Ethereum Classic thing was handled really turned me off. Has progress been made on formally verifying contracts or anything like that? And why aren't more people bothered by the whole hard fork thing?