eta
simplex-chat
Our great sponsors
eta | simplex-chat | |
---|---|---|
6 | 247 | |
2,589 | 5,285 | |
0.0% | 4.4% | |
0.0 | 9.9 | |
over 1 year ago | 3 days ago | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | GNU Affero General Public License v3.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
eta
-
Regarding Lenses, Prisms and Optics
Or just go full on functional. There are several JVM based Haskell languages, e.g. Eta and Frege.
- Is eta-lang dead?
-
Any downsides to an exogenous type system vs integrated?
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.
-
Any News On Haskell For Android ?
I've heard of Eta (Haskell on JVM). It's supposed to work with Android. https://eta-lang.org
-
Writing the logic for IOS app in Haskell
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)
-
What is the correct way for integrating 2 programming languages in a desktop application?
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
simplex-chat
-
What are your favorite End-to-End encrypted tools for online privacy?
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.
- Apple reveals 'push notification spying' by foreign governments
- simplex bugs/ missing features
- Launching Default End-to-End Encryption on Messenger
-
Apple Confirms Governments Using Push Notifications to Surveil Users
Notice how SimpleX (https://simplex.chat/) has no push notifications by default because of this issue.
- Possible today in Signal? Disable link preview
-
SMS Security and Privacy Gaps
I've been using SimpleX [0] with a couple of friends recently. It appears to work as advertised.
[0] https://simplex.chat
- SimpleX Chat v5.3.0 – Local file encryption and delivery receipts
-
U.K. Abandons, for Now, Legislation That Would Have Banned End-to-End Encryption
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.
-
Re: Profile Pictures
Why not open up a Feature request on https://github.com/simplex-chat/simplex-chat/issues
What are some alternatives?
EJS - Embedded JavaScript templates -- http://ejs.co
Element - A glossy Matrix collaboration client for the web.
squirrelly - Semi-embedded JS template engine that supports helpers, filters, partials, and template inheritance. 4KB minzipped, written in TypeScript ⛺
session-android - A private messenger for Android.
marko - A declarative, HTML-based language that makes building web apps fun
nostr - a truly censorship-resistant alternative to Twitter that has a chance of working
nunjucks - A powerful templating engine with inheritance, asynchronous control, and more (jinja2 inspired)
Signal-Android - Fork from a private messenger for Android with extra options added: full backup and (partial, ony text) xml backup of messages. Restore can happen at any time, not only after a fresh install. Import SMS database. Import of (unencrypted) WhatsApp databases. Removed apk expire. Choose between passphrase protection and the Android screenlock. Choice for the backup location (internal or removable storage on Android < 11 (on 11 and higher this is already possible)). Set the maptype in the place picker. Option to treat view-once media as normal media. Option to ignore remote deletion. Choose between FCM or websocket notification delivery.
astro-starter - Astro Launcher alternative written in Typescript/Deno
termpair - View and control terminals from your browser with end-to-end encryption 🔒
doT - The fastest + concise javascript template engine for nodejs and browsers. Partials, custom delimiters and more.
Signal-Server - Server supporting the Signal Private Messenger applications on Android, Desktop, and iOS