| 20 Jan 2024 |
|  @amblingabout:matrix.org joined the room. | 20:08:03 |
| @amblingabout:matrix.org left the room. | 20:09:49 |
| 22 Jan 2024 |
|  bordacollie changed their profile picture. | 02:47:05 |
| bordacollie changed their profile picture. | 02:47:29 |
| 23 Jan 2024 |
|  @mavasbel:vbnhome.ddns.net joined the room. | 09:20:30 |
|  eden changed their profile picture. | 23:55:27 |
| 24 Jan 2024 |
| @mavasbel:vbnhome.ddns.net left the room. | 00:18:37 |
| eden changed their profile picture. | 00:02:16 |
|  @jade.256:the-apothecary.club removed their profile picture. | 08:46:01 |
| @jade.256:the-apothecary.club removed their display name Jade. | 08:46:06 |
| @jade.256:the-apothecary.club left the room. | 08:46:12 |
| 26 Jan 2024 |
|  @vevk:matrix.org joined the room. | 09:27:27 |
|  crex removed their profile picture. | 11:22:49 |
| 27 Jan 2024 |
|  @phosphordisplay:matrix.org joined the room. | 23:19:45 |
| 29 Jan 2024 |
|  ~#!/usr/mittwerk🇺🇦️ changed their display name from #!/usr/mittwerk3🇺🇦 to #!/usr/mittwerk. | 20:17:53 |
| ~#!/usr/mittwerk🇺🇦️ changed their profile picture. | 20:18:52 |
| ~#!/usr/mittwerk🇺🇦️ changed their display name from #!/usr/mittwerk to ~#!/usr/mittwerk. | 20:19:51 |
| 2 Feb 2024 |
|  Timo ⚡️ changed their display name from Timo ⚡️ to Timo ⚡️ (Sat&Sun at FOSDEM, DM me :). | 08:15:20 |
| 4 Feb 2024 |
| Timo ⚡️ changed their display name from Timo ⚡️ (Sat&Sun at FOSDEM, DM me :) to Timo ⚡️. | 23:56:49 |
| 5 Feb 2024 |
| @vevk:matrix.org joined the room. | 11:46:19 |
| @vevk:matrix.org left the room. | 11:46:21 |
|  @54uc3:matrix.org joined the room. | 22:56:44 |
| 9 Feb 2024 |
|  yoyoitsjo14 joined the room. | 07:17:41 |
| yoyoitsjo14 | 
Download image.png | 07:25:44 |
| yoyoitsjo14 | Does this look sound? | 07:25:48 |
 Christopher | Looks good to me. But the connection AB should be a subset and not a Element of the sets I guess | 07:43:30 |
|  @arvo:matrix.org left the room. | 10:00:51 |
| 11 Feb 2024 |
|  @sarthakt:hsrn.nyu.edu joined the room. | 00:30:10 |
| @sarthakt:hsrn.nyu.edu left the room. | 00:30:45 |
| 12 Feb 2024 |
|  lunchtime joined the room. | 01:44:16 |
