simplex-chat VS eta

For messaging I'm currently on Olvid (E2E with physical key exchange) but since it still use their servers, I'm currently testing SimpleX where I can host my own servers.

Notice how SimpleX (https://simplex.chat/) has no push notifications by default because of this issue.

I've been using SimpleX [0] with a couple of friends recently. It appears to work as advertised.

[0] https://simplex.chat

If you have a mobile phone number, the domestic intelligence agency knows exactly where you are at all times and any LEO (without a warrant) can also find you. In addition, there have been numerous CCC presentations showing how insecure the global (excluding US) and (separately) US carriers are guilty of promiscuous metadata trafficking ($$) and insecure SS7 setups. As a consequence, for low $, you can go to any one of several shady websites and find the last location of almost any phone number (person unique ID) globally. There are additional varying exploitable vulnerabilities depending on the exact combination of {handset x carrier x country} to impersonate them, tap their line, reveal their exact location, and redirect their phone number through a third-party handset or even a PBX. These are more expensive and some capabilities are forbidden for all but a few selective intelligence uses.

Session (Signal fork) doesn't use phone numbers. It's pretty well-designed overall and uses an onion routing approach. It's already a superset of Signal except it doesn't use phone numbers. https://getsession.org

Also look interesting:

* (unproven) https://www.olvid.io/technology

* (unproven) https://simplex.chat

PS: Using regular TOR on home broadband or cloud servers is relatively risky and inefficient. Sybil attacks on it are common. And to network operators and security agencies it gives an easy "flow tag" of your uplink and exit node data traffic as automatically suspicious.

Why not open up a Feature request on https://github.com/simplex-chat/simplex-chat/issues

Or just go full on functional. There are several JVM based Haskell languages, e.g. Eta and Frege.

Facebook says that Flow is not a language, but just a type checker. Meanwhile TypeLead says Eta is a language. Both stances are purely arbitrary, and to me they're dialects of ECMAScript and Haskell respectively. In this sense, the difference between exogenous and "integrated" is purely one of terminology, and one on which people do not agree on.

I've heard of Eta (Haskell on JVM). It's supposed to work with Android. https://eta-lang.org

I'll try to improve on my speculative and admittedly uneducated guess: https://www.codenameone.com/ (JVM on iOS) + https://eta-lang.org/ (Haskell on the JVM)

Find a proper binding / way to run Haskell within Java / the JVM - it looks like there are some options, e.g. https://github.com/typelead/eta