29 Sep 2021 |
hmenke | Or you can have a look at one of the many other clients: https://matrix.org/clients/ | 15:41:50 |
hmenke | Unfortunately Element is the only one that supports the Spaces feature right now. | 15:42:14 |
muzimuzhi | In reply to @samcarter:matrix.org a quacking chat would be fun :) listening to https://www.youtube.com/watch?v=GxKN_z2Ktm8&ab_channel=GameWorld and cant stop laughing | 15:49:50 |
samcarter | muzimuzhi: Brilliant! | 15:51:51 |
muzimuzhi | In reply to @hmenke:matrix.org Unfortunately Element is the only one that supports the Spaces feature right now. Is the current PGF/TikZ room already part of a space? I see no clue on element.io's web | 15:52:56 |
hmenke | muzimuzhi: Rooms and Spaces are sort of orthogonal features. | 15:53:40 |
hmenke | A Room is any chat with one or more people (you can create a room with only yourself in it) whereas a Space is a Room that doesn't have a chat but only contains other Rooms. | 15:54:53 |
hmenke | It's basically just a nice frontend to group together related rooms and make them easier to discover. | 15:55:29 |
hmenke | This room is part of the https://matrix.to/#/#tug:matrix.org space. | 15:55:49 |
hmenke | * This room is part of the #tug:matrix.org space. | 15:56:00 |
hmenke | But you don't have to join the Space to join the Room and vice versa. | 15:56:25 |
muzimuzhi | In reply to @hmenke:matrix.org This room is part of the #tug:matrix.org space. So can one trace which spaces do a room (already joint) belong to? | 16:00:23 |
hmenke | Good question. | 16:00:58 |
hmenke | I don't think there is a UI for that. | 16:01:09 |
hmenke | But Matrix has a great API. | 16:01:15 |
muzimuzhi | Btw according to this Element Blog, https://element.io/blog/spaces-the-next-frontier/#what-are-spaces, it seems spaces can also contain people | 16:01:41 |
samcarter | ... contain rooms and people, I think spaces should be called houses | 16:03:15 |
muzimuzhi | nice name, except spaces brings more imagination for, eg marketing | 16:04:38 |
hmenke | Yes, you can also join a Space like you join a Room. That's mostly useful for private Spaces though. | 16:06:01 |
samcarter | * ... contains rooms and people, I think spaces should be called houses | 16:07:15 |
muzimuzhi | In reply to @muzzi:matrix.org nice name, except spaces brings more imagination for, eg marketing Those big words are often too big to be uniquely used. Jetbrains also has a "Space" product: https://www.jetbrains.com/space/ | 16:07:52 |
samcarter | In reply to @muzzi:matrix.org nice name, except spaces brings more imagination for, eg marketing Every company using the word "space" for their marketing should have to donate 1 $ for space science -- we would get so many nice toys to play with :) | 16:11:12 |
samcarter | In reply to @muzzi:matrix.org nice name, except spaces brings more imagination for, eg marketing * Every company using the word "space" for their marketing should have to donate 1 $ for space reasearch -- we would get so many nice toys to play with :) | 16:12:15 |
muzimuzhi | Apple Inc. publishing iSpace: Your next space is not space | 16:24:44 |
30 Sep 2021 |
Merlin Göttlinger | Seems trendy "In June 2021, we announced that ‘Rooms’ in Google Chat would evolve to become ‘Spaces’. As part of that evolution, starting on September 8, 2021, any user who has enabled Chat in their Gmail settings will start to see the term ‘Rooms’ automatically updated to ‘Spaces’. " -- https://workspaceupdates.googleblog.com/2021/09/google-chat-rooms-are-now-spaces.html | 05:42:27 |
3 Oct 2021 |
| FMB joined the room. | 08:30:40 |
| Denis Bitouzé joined the room. | 13:42:04 |
4 Oct 2021 |
| Jeltz joined the room. | 20:45:51 |
5 Oct 2021 |
josephwright | Filling up nicely here :) | 09:01:24 |
6 Oct 2021 |
josephwright | In reply to @hmenke:matrix.org josephwright: https://github.com/pgf-tikz/pgf/issues/870 I looked back at l3draw : we must have talked about this before because I'd already got those settings applied :) | 07:25:04 |