Matrix Meta (Nix) | 650 Members | |
| Discuss your proposals for the Matrix space here, before suggesting them in #matrix-suggestions:nixos.org | 187 Servers |
| Sender | Message | Time |
|---|---|---|
| 16 Mar 2024 | ||
| there is a single starting point that everything points to - basically whatever user writes the first "hello world" (quite literally, as a message) | 20:38:02 | |
| everything else.... should point to something that points to that. if it doesn't, it doesn't belong. and we can make tools which allow the mathematics to do all the work for us | 20:38:44 | |
| in fact you can apply set theory to groups of messages | 20:38:58 | |
| that could prevent a lot of bandwidth wastage of which the matrix protocol is very guilty, let's be honest | 20:39:52 | |
| Matrix room state is a DAG | 20:40:18 | |
| there are optimisations now, it's not as expensive to run a homeserver as it used to be, but those optimisations are not elegant | 20:40:27 | |
| You're literally describing how it already works | 20:40:31 | |
| i know i'm just saying the docs and the code dont work from that conceptualisation | 20:41:17 | |
| The problem isn't the DAG, the problem is consistency | 20:41:10 | |
| I don't know what docs you mean, but I've looked at state resolution code in both Synapse and Ruma, and both are very much a DAG | 20:42:27 | |
| agreed! and i think that comes because the people working on the implimentation(s) aren't aware of what they are working on | 20:42:27 | |
| that's good i haven't looked at either in ages so i could be speaking out of turn | 20:43:04 | |
| And the spec explicitly refers to room stage as a graph literally in the first sentence: https://spec.matrix.org/latest/#event-graphs | 20:43:10 | |
| * And the spec explicitly refers to room state as a graph literally in the first sentence: https://spec.matrix.org/latest/#event-graphs | 20:44:33 | |
| as was said in the other room, it's the implimentation that suffers. i'm not saying i have the answers | 20:50:15 | |
| and i'm also writing this on a tiny pinephone og with a cheap as chips bt kb so - maybe i'm not going to solve all the problems here and now | 20:50:58 | |
| i was just trying to answer some questions. thanks for the info - i will reference it | 20:51:13 | |
| i think actually i recall jason talking about this in the ruma room a while ago so it's good that their implimentation has kept these things in mind | 20:51:38 | |
| as i said, it's a graph whether we acknolwedge it or not. i'm only noting that it will be an easier to manage graph if it's treated as such. using the tools of lambda calculus to make this easier seems important to me | 20:52:41 | |
| 21:08:36 | ||
| 17 Mar 2024 | ||
| 01:36:54 | ||
| Just throwing around fancy mathematical terms does not make anything easier, you have to understand what it actually means and how (if at all) it is applicable. | 10:22:13 | |
| 16:22:21 | ||
| Hi everyone. I noticed the migration to the new #users:nixos.org and the reason (for #nix:nixos.org being out of sync with topic, title etc.). It was also out of sync for me in showing the list of moderators in the room. I would like to note that someone should also update the description of the space https://matrix.to/#/#community:nixos.org as the description still refers to the old room:
| 17:00:19 | |
| The alias points to the new room | 17:00:35 | |
| * Hi everyone. I noticed the migration to the new https://matrix.to/#/#users:nixos.org and the reason (for https://matrix.to/#/#nix:nixos.org being out of sync with topic, title etc.). It was also out of sync for me in showing the list of moderators in the room. I would like to note that someone should also update the description of the space https://matrix.to/#/#community:nixos.org as the description still refers to the old room:
| 17:01:20 | |
| Oh indeed. Sorry for that. I was in the room before the alias was set 🙂 | 17:01:56 | |
| 17:02:25 | ||
| Quick update on Zulip for people who may have not followed what I'm trying to do: With the few amount of time I have in life, I have been trying to experiment with https://github.com/GearKite/MatrixZulipBridge and I believe that the way forward for having an alternative platform which is still connected to the rest of the ecosystem on Matrix would require: https://github.com/GearKite/MatrixZulipBridge/issues?q=is%3Aissue+is%3Aopen+sort%3Aupdated-desc (at least). In the end, even if all that work was done and that a compelling proposal (w.r.t. moderation concerns/demands) could be offered, remains one problem that I don't know how to solve. Most of the discussions in certain channels of NixOS space are, by nature, thread-oriented: we start a discussion, we follow up there, we split maybe on a tangent, etc, etc. Now, if feature negotiation could be performed and channel could be guarded by "this requires threads to have an OK experience", I believe this could also make the proposal acceptable. I am aware of various MSCs (https://github.com/matrix-org/matrix-spec-proposals/pull/3968) to have a better control of features in a room but I am not aware of any of them put in practice widely. Nonetheless, no reasonable solution seems to exist to offer even a featureful bridge to Zulip (even if I worked with Zulip developers towards that end). | 18:19:16 | |
| * Quick update on Zulip for people who may have not followed what I'm trying to do: With the few hours I have in life, I have been trying to experiment with https://github.com/GearKite/MatrixZulipBridge and I believe that the way forward for having an alternative platform which is still connected to the rest of the ecosystem on Matrix would require: https://github.com/GearKite/MatrixZulipBridge/issues?q=is%3Aissue+is%3Aopen+sort%3Aupdated-desc (at least). In the end, even if all that work was done and that a compelling proposal (w.r.t. moderation concerns/demands) could be offered, remains one problem that I don't know how to solve. Most of the discussions in certain channels of NixOS space are, by nature, thread-oriented: we start a discussion, we follow up there, we split maybe on a tangent, etc, etc. Now, if feature negotiation could be performed and channel could be guarded by "this requires threads to have an OK experience", I believe this could also make the proposal acceptable. I am aware of various MSCs (https://github.com/matrix-org/matrix-spec-proposals/pull/3968) to have a better control of features in a room but I am not aware of any of them put in practice widely. Nonetheless, no reasonable solution seems to exist to offer even a featureful bridge to Zulip (even if I worked with Zulip developers towards that end). | 18:19:27 | |