User avatar
celeste_hearts_lesbianceleste_hearts_transceleste_hearts_demisexual flori_ava_star:~cursor_blinking @star@amazonawaws.com
10mo
From the Matrix specification:
State resolution

[New in this version]

The room state S′(E) after an event E is defined in terms of the room state S(E) before E, and depends on whether E is a state event or a message event:

    If E is a message event, then S′(E) = S(E).
    If E is a state event, then S′(E) is S(E), except that its entry corresponding to E’s event_type and state_key is replaced by E’s event_id.

The room state S(E) before E is the resolution of the set of states {S′(E1), S′(E2), …} consisting of the states after each of E’s prev_events {E1, E2, …}, where the resolution of a set of states is given in the algorithm below.



what are you even saying. how does one write something this hard to read and understand
❤️1
4
1
6
1
User avatar
Max @korenchkin@chaos.social
10mo
shitpost, matrix protocol, logical calculi @star By sending a carefully-constructed state event, you can eliminate parts of the state and replace them with a resolvent of your choosing.
0
0
1
0
User avatar
Mira, Lady of the Kenrei Gate @specificprotagonist@tech.lgbt
10mo
@star At this point, might as well use an actual formal language such as prolog like e.g. the JVM and WASM specs do…
0
0
1
0
User avatar
maya @zenmaya@zenmaya.xyz
10mo
@star i think its just defining what is state and how can you modify


i think its mathematically defined in some theory, but it could be written in pseudocode probably
0
0
0
0
User avatar
Lilly heart_transgender @lilly@mstd.ink
10mo
@star I honestly feel like my brain is dying trying to read this wtf
0
0
0
0