There are several open protocols that meet your criteria that aren’t Matrix (with most of them using double-ratchet encryption similar to if not exactly like Signal). Due to server costs (Matrix eats a lot of RAM & storage), medium-sized entities usually bow out so the Matrix network largely consist of a few 1–10 user servers & massive centralization around Matrix.org & the hosted servers they provide. Since almost all the messages get synced to the Matrix.org server if just one Matrix.org user is in your room or whatever, Matrix have the largest access to all that metadata.

Signal refuses to even try to accommodate for UnifiedPush or MQTT for those not using play services requiring an extra battery-draining socket to their servers. You are also still required to use one of the mobile duopoly OSs as a primary device to register. Good luck if you use a Linux phone, KaiOS, or just don’t want an ever-present tracking beacon on you. We all know the Electron-based desktop client is shit. I would flip this on its head & say it is the service’s probably if they choose to prioritize & mainly support the shitty mobile OS duopoly it’s their problem for providing a bad service & getting the criticism they deserve.

There are several browsers that can operate with low memory requirements, but you have to be willing to live without JavScript & the front-end needs to have been built with accessibility & progressive enhancement in mind. …Which most front-end developers don’t do & the industry doesn’t normally pay them enough to care or get better results (& following YouTube tutorials always tells you to use the latest bloated framework which is overkill for your project).

Also Fedora doesn’t ship with LTS kernels which makes me question their package management strategy.

I like it. Take my vote in your next election.

Which is largely whether or not the eventual consistency model or not is the route to take. Is the resilience for chat worth the explosion of storage & preformance cost of sync/search & maintaining all that data amongst all servers? Or is limited/functional sync without always duplicating the entire history with the occasional out-of-order message & missing old attachment good enough? Is ephemeral chat okay to save resources which in turn makes it more feasible to self-host on lower-end hardware or is it better to trust a couple big servers who probably have admins?

This is how they want to frame it. C has footguns, therefore use Rust—instead of Rust is one of the options you could use.

https://www.youtube.com/watch?v=UuMCoWGhsYI

Correct me if I am wrong, but my understanding is that you use Coq to prove your theroem, then need to rewrite it in something else. I think there is some OCaml integration, but OCaml—while having create performance for a high level language & fairly predictable output—isn’t well-suited for very low-level kernel code. The difference in the ATS case (with the ML syntax similarity 🤘) is you can a) write it all in a single language & b) you can interweave proof, type, & value-level code thru the language instead of separating them; which means your functions need to make the proof-level asserts inside their bodies to satisfy the compiler if written with these requirements, or the type level asserting the linear type usage with value-level requirements to if allocating memory, must deallocate memory as well as compeletly prevent double free & use after free.

For those in the back: Rust can’t do this with its affine types only preventing using a resource multiple times (at most once), where linear types say you must use once & can only use once.

Org mode is fine, better than Markdown, but still wouldn’t be my first choice for technical writing. I will still respect you for using it tho. 😄

Nostalgia is a hard drug. You can still appreciate games from you childhood & not buy games or consoles from a evil company.

There’s a small learning curve I wish some bothered to understand first. Does this app help? The part of this I don’t like is vacationers leaving useless names like ‘Mango lady’, ‘many street vendors’ for a block, or ‘local restaurant’ since they can’t read the sign as opposed marking up the cuisine type, maybe adding an English description, & leaving the name blank. Nobody expects uploads to be perfect but Bangkok is littered with this noise that makes it hard to follow or find things.