What does HackerNews think of simplex-chat?

I'm overall intrigued by SimpleX and I'd be excited to see it undergo a proper audit. Even if the "no IDs" thing is more of a gimmick than a useful feature, a competitor to Signal would be great given the direction it appears to be heading.

I'm a little put off by parts of their advertising though. Their homepage states Signal can be MITMed given the "operator's servers are compromised", which I don't doubt is true to the extent of the actor stealing, maybe, phone numbers and metadata? But my understanding of Signal's protocol is that a compromised server couldn't intercept _messages_, which is what I feel they're implying.

According to GitHub, their (mono?)repo[1] is split 33% between Haskell, Kotlin, and Swift, which is nice.

[0] https://simplex.chat/docs/protocol/simplex-chat.html

[1] https://github.com/simplex-chat/simplex-chat/

Between this new tool and https://github.com/simplex-chat/simplex-chat I am starting to feel like (at least from my filter bubble) that the web may be slightly starting to think about maybe someday turning the corner on centralized-by-default model for building new applications.

And/or it's just my first time seeing a complete pendulum swing on the apocryphal mainframe-pc-mainframe-pc cycle.