defect-process
simplex-chat
defect-process | simplex-chat | |
---|---|---|
19 | 247 | |
204 | 5,363 | |
- | 3.6% | |
3.5 | 9.9 | |
10 months ago | 4 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.
defect-process
-
Is it possible to write games like Pac-Man in a functional language?
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.
-
Genuine question: how do you all use Haskell IRL?
And the full code (w/o assets) is available too https://github.com/incoherentsoftware/defect-process
- [FOR HIRE] Illustrator / Animator / UI / Background Artist.
-
Why the gc?
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/
-
Defect Process - Incoherent Software LLC - 2d character action game / spectacle fighter
Steam | YouTube
-
Defect Process full haskell source (~62k LOC | action game on Steam)
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.
-
Is there anyone here using Haskell for anything other than web development?
A haskell game on steam: https://store.steampowered.com/app/1136730/Defect_Process/
-
The Source Code of 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/
-
Defect Process - 2d hack n' slash game (Steam + GitHub)
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.
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?
Tidal - Pattern language
Element - A glossy Matrix collaboration client for the web.
chips - A clone of Chips Challenge in Haskell
session-android - A private messenger for Android.
fmod - dump of minimal haskell FMOD bindings, this is not a proper library
nostr - a truly censorship-resistant alternative to Twitter that has a chance of working
Okasaki - Code from the book "Purely Functional Data Structures" by Chris Okasaki (both original and my own solutions to the exercises, in Haskell)
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.
zazengine - Automatically exported from code.google.com/p/zazengine
termpair - View and control terminals from your browser with end-to-end encryption 🔒
quantum-chemistry
Signal-Server - Server supporting the Signal Private Messenger applications on Android, Desktop, and iOS