Although the situation may not seem the best, at least I see activity in the Arthur Breitman's Youtube channel explaining dev updates and I see people developing and commiting in Tezos' Gitlab, so for me, I'm still a believer in Tezos.