defect-process VS simplex-chat

Totally possible. Here’s a link to a game recently released on Steam that is written in Haskell and whose source is open: https://github.com/incoherentsoftware/defect-process

I recently hacked together an asteroids clone in Haskell with SDL2 and not much else. It’s not super pretty but it works.

I’ve talked to folks who’ve been using the newer effects libraries taking advantage of the new delimited continuation primops in GHC 9.6 for their game dev. Even with very high level libraries their reporting acceptable performance.

With enough dedication I’m certain anyone could make whatever game they wanted in an FP language.

And the full code (w/o assets) is available too https://github.com/incoherentsoftware/defect-process

Or as mentioned recently... a game written in Haskell, published on steam: https://incoherentsoftware.com/defect-process/docs/ https://store.steampowered.com/app/1136730/Defect_Process/

Steam | YouTube

Hi I added the full source code for Defect Process to coincide with the full game release on Steam. See the brief overview docs for a high level tour of the code design.

A haskell game on steam: https://store.steampowered.com/app/1136730/Defect_Process/

Over the Christmas break I took some time to study the source code of Defect Process (https://github.com/incoherentsoftware/defect-process) to better understand industry-strength software architecture in Haskell and Game Engines. I have written a longer article about my analysis: https://www.lambdabytes.io/articles/defectprocess/

Thanks, good to hear that learning haskell has been rewarding so far! For code questions later on, feel free to open a github discussion if this reddit thread is inactive at that point.

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