In case you have missed the link, let us all meet tomorrow (Monday 30th) at 10:00 UTC+1 on https://bbb-front.math.univ-paris-diderot.fr/recherche/the-sev-dee-jmp
For some reason I cannot ping all persons subscribed to this stream.
should we try to ping people again?
The stream options do not let me ping "all", unfortunately. Maybe @Théo Zimmermann can do it though?
Yes, I can.
@all: we start in 10 minutes at https://bbb-front.math.univ-paris-diderot.fr/recherche/the-sev-dee-jmp
Unless I am missing something, this has been announced neither on the mailing list nor on the Discuss forum. Are people supposed to have a Zulip account to know how to participate?
It was advertised that people should subscribe to Zulip as the preferred way of announcing things
Plus, I don't know how much we want to publish the BBB URL to random strangers
I think we can at least put it in the "Coq users" stream here, not everyone may know about this stream, there is no autosubscribe
OK, let me do that.
A note for Mac users: afaik you can't share your screen on BBB with Safari but Chrome works. For all other functionality (audio, video sharing) Safari works fine.
For the record, two registered users are not on Zulip: Pierre Roux and Pierre Vial.
I can spam both of them personally.
@Théo Zimmermann is it possible to pin this topic so that it doesn't get lost in the flow of other topics?
No, but I can put the URL in the description of the stream.
Last updated: Jun 10 2023 at 23:01 UTC