If I remember correctly, Avi suggested that if it's a presentation and the presenter wishes to have it recorded, they can notify everyone ahead of recording. I think that's a good idea.
the "default" recording setup for jitsi is kind of cumbersome - https://github.com/jitsi/jibri
not sure if there is something easier to set up, apart from just using an external program (e.g. obs) from the POV of someone
What are monoidal categories, "lax monoidal functors" between them, and why does it matter?
Examples of concepts you might be familiar with that can be explained in terms of monoidal categories and functors:
Applicative
Alternative
Filterable
Alignable
Selective
Arrow
@Asad Saeeduddin Are you proposing a demo topic for next video chat?
yes
Okay, interested!
I'm familiar with Filterable. I think I saw Alignable somewhere (have to look up). Don't know much about the last two.
But ... the idea of 'connecting' concepts is very interesting.
I guess that's one step towards understanding why CT matters.
+1 specifically for this
@Asad Saeeduddin what day+time would work for you?
are these recorded?
We do not record our video chat meetings so far.
If I remember correctly, Avi suggested that if it's a presentation and the presenter wishes to have it recorded, they can notify everyone ahead of recording. I think that's a good idea.
(deleted) Zulip duplicated my reply for some reason
the "default" recording setup for jitsi is kind of cumbersome - https://github.com/jitsi/jibri
not sure if there is something easier to set up, apart from just using an external program (e.g. obs) from the POV of someone
@TheMatten maybe we can have it during the general weekly video chat if everyone interested is available
i don't love casually hanging out on big video calls
but i'd be very interested in the talks
:thumbs_up:
@TheMatten Some time next weekend after 9 AM EST works for me