@messages showing up as notifications

[holtzermann17]

Wouldn't it be nice to have @dginev @kohlhase etc show up in a notification feed in Planetary too ;-) ?

Tagging this w/ "LaTeXML" although really it's likely to be related to some other pre or post processor.

[dginev]

Ah, so you mean @username in a forum post triggers a user notification in his home space (whatever that is) and/or a notification email? And is converted to a link to the user, similarly to Github?

That's a friendly enhancement, I suppose LaTeXML could support some macro that achieves it (even the same "@" if we want, but we should be careful since LaTeX macros tend to use @ internally), then deposit RDFa, which then Planetary can parse to send notifications (if and only if the message is new, rather than edited).

It might actually be a friendly intro task for new Planetary developers, I don't think the difficulty is too high (given there is sane RDFa support in Planetary, not sure of the state there).

[holtzermann17]

then deposit RDFa, which then Planetary can parse to send notifications (if and only if the message is new, rather than edited).

ATM we usually just harvest RDFa and send it to Virtuoso (for articles, not for forums), but we can do more using the Drupal hook system:

1. harvest the RDFa
2. if we notice the "@username" markup, we push a triple like: message namechecks @username
3. run an update hook, which checks to see if that triple exists
4. if it does, check to see if there is another triple: message notifies @username
5. if that triple does not exist yet, notify the user and push another triple: message notifies @username

This way, we can also send a notification if the article is edited to include @username. Will require a bit of work but shouldn't be too bad and this will make a nice demo of what we can do with RDF(a).