Graham Leach-Krouse

Perhaps this is out of scope, or clear to others who are more experienced---I'm new to this, so apologies if this is completely off base. But, here goes: I've found...

Is there anything that needs to be done to account for sites that use hash-routing?

The only thing I can think of is to make it user-configurable, probably with an "ignore anchor differences" default - maybe storing whether this site uses hash-routing in room-state somehow?

It does seem like this data should be shared between clients, so yeah, I'd say in the state of whatever matrix-entity is representing the annotation target.

This might be a duplicate of #45.

Here's a small worry - I was hoping that this might resolve one of the [potential issues](https://github.com/opentower/matrix-doc/blob/main/proposals/3574-resource-markup.md#potential-issues) listed for MSC3574, basically that anyone can overwrite an `m.space.child` event sent by...

Possibly relevant: I'm currently working on an ELF model and parser in Lean. So far, it's basically a port of the ELF model from https://github.com/rems-project/linksem, accompanied by an (unpolished) `readelf`...

Wonderful! Here's the repo (please excuse the lack of polish right now): https://github.com/draperlaboratory/ELFSage. I just bumped the tool chain to catch up with you all. > BTW, does your library...

On Thu Mar 21, 2024 at 5:35 PM EDT, Daniel Windham wrote: > Sweet! @gleachkr, would you want help developing ELFSage? Sure thing, absolutely! > Incidentally I'm also based in...

A meetup sounds good (the geographical coincidence kinda calls out for it). My email is [email protected], if you want to send me a note maybe we can take it from...