Graham Leach-Krouse

This basically feels like what we want is a p2p matrix server node.

Seems that only a subset of state events are transferred: https://spec.matrix.org/v1.2/client-server-api/#server-behaviour-16 So perhaps in the short term populus should look back and read the subspace state off of the previous...

OK - after a little discussion, it's clear that the problem is with annotation room upgrades. When you hit the room's beginning, it should be possible to continue to backfill...

This does seem like a good feature to have. I can think of a few different ways that it might be implemented, so maybe I'll write those down for reference...

Awesome. Thanks for this project!

Is it possible that you need a [sync provider](https://syncedstore.org/docs/sync-providers) here? The minimal svelte example uses the WebRTC provider, this bit: ``` // Create a document that syncs automatically using Y-WebRTC...

Thanks! I was thinking that this ought to wait on MSC3574 (changes there might force changes here). But this is now pretty much fully implemented, so maybe it would make...

Might need to update the rendered link to: https://github.com/Henri2h/matrix-doc/blob/henri2h-matrix-for-social-media/proposals/3639-matrix-for-the-social-media-use-case.md

Here's a minimal flake for building a static binary. I've used this successfully to build a Yesod server, so it seems to work OK with template Haskell. ``` { description...

I noticed a few links to lean4 resources were broken in the README. This is sort of a minimal change to fix things. I didn't see the two tactics files...