User blog:Ubersketch/Why haven't people been formalizing and fixing things?

Just wondering, since anything in BEAF larger than tetrational arrays (which has been around for a looong time) hasn't been formalized, same with UNOCF, Pi notation, Stellar OCF and so on... Also Gen 2 SAN hasn't been fixed either? Why haven't people started working on formalizing and fixing stuff? I think it's due to laziness but if there are any other reasons please do tell!