I don’t want to sound like a downer, but I’m skeptical about Armada: never heard of it before, repo created last June, tons of features implemented in that short span and already “ready to go”… Seems like it has been heavily vibe-coded.
The AOSP is based on a modified version of the Linux kernel, so it is a Linux in that sense, but using it is quite different from using more traditional GNU/Linux distributions.
From what I take from the OSes listed in the sidebar of this community, this place is intended for linux-based phones which are not Android. There are already communities which are focused on Android/GrapheneOS/LineageOS, so it’d be fairer for this one to focus on the rest.
I understand why the post you mentionned is in this community (although it’s debatable), since it is the continuation of a previous post. However, I don’t feel like this one should be in a community specifically about linux phones.
700+ preprints is a lot and takes time to be ingested, especially when the text is generated. For example, Communication in Mathematics had less than a hundred submissions in 2025 and accepted a fourth of them.
So, the small correction rate might be due to the bottleneck at the verification stage, which OpenAI should have done in the first place, rather than throwing everything at mathematicians and expecting them to do the ungratifying work whilst they reap the fame.