| 8 May 2026 |
|  Jean 💕 joined the room. | 18:26:23 |
| 11 May 2026 |
|  Andrew Morgan (anoa) {he/him} changed their display name from Andrew Morgan (anoa) {he/him} to Andrew Morgan (anoa) {he/him} [back Wed]. | 18:59:42 |
| 12 May 2026 |
|  @kleiber:matrix.org joined the room. | 07:27:56 |
| @kleiber:matrix.org left the room. | 07:43:18 |
| 13 May 2026 |
| Andrew Morgan (anoa) {he/him} changed their display name from Andrew Morgan (anoa) {he/him} [back Wed] to Andrew Morgan (anoa) {he/him}. | 08:43:39 |
| 16 May 2026 |
|  @kjdev:matrix.org joined the room. | 17:07:45 |
| @kjdev:matrix.org left the room. | 17:08:01 |
| 18 May 2026 |
|  cesare joined the room. | 10:01:49 |
|  erents joined the room. | 13:11:21 |
| 19 May 2026 |
|  amadaluzia changed their profile picture. | 20:58:38 |
| 21 May 2026 |
|  Fovir joined the room. | 16:38:45 |
| Fovir | 16:39:13 |
| Andrew Morgan (anoa) {he/him} changed their display name from Andrew Morgan (anoa) {he/him} to Andrew Morgan (anoa) {he/him} [away; back May 26]. | 21:55:01 |
| 23 May 2026 |
|  @harun8744:matrix.org left the room. | 20:08:44 |
| 24 May 2026 |
|  maurice joined the room. | 18:15:26 |
| 26 May 2026 |
| Andrew Morgan (anoa) {he/him} changed their display name from Andrew Morgan (anoa) {he/him} [away; back May 26] to Andrew Morgan (anoa) {he/him}. | 12:36:35 |
| 29 May 2026 |
|  lassulus changed their profile picture. | 07:07:18 |
| 30 May 2026 |
|  Richard Brooksby joined the room. | 17:13:05 |
| Richard Brooksby | Hello! As a NixOS newbie I'm overwhelmed by the number of groups and rooms and chats in Matrix. Perhaps some way could be found of directing other people like me. (Secondly, where to go to ask newbie questions?) | 17:15:26 |
 hexa | #users:nixos.org is that room | 17:20:27 |
|  FlakeyForger joined the room. | 18:10:53 |
| FlakeyForger set a profile picture. | 18:21:04 |
| FlakeyForger removed their profile picture. | 18:25:17 |
| FlakeyForger set a profile picture. | 18:25:28 |
| 31 May 2026 |
|  joleif joined the room. | 21:18:05 |
| 1 Jun 2026 |
|  jthulhu joined the room. | 15:31:55 |
| jthulhu | Hello, the list of maintainers of the Lean ecosystem is growing, and it would be convenient for us to have a place to discuss, to coordinate our maintaince efforts. In the past, we have simply privately discussed, but it might make more sense to have these discussions hosted in a publicly available room, discoverable by people would might want to join in. Would it be possible to create such a room in the NixOS space? I don't think an active moderation would be required, as we are currently 3 maintainers (plus one coming soon). | 15:36:01 |
| jthulhu | * Hello, the list of maintainers of the Lean ecosystem is growing, and it would be convenient for us to have a place to discuss, to coordinate our maintaince efforts. In the past, we have simply privately discussed, but it might make more sense to have these discussions hosted in a publicly available room, discoverable by people who would might want to join in. Would it be possible to create such a room in the NixOS space? I don't think an active moderation would be required, as we are currently 3 maintainers (plus one coming soon). | 15:41:25 |
| 2 Jun 2026 |
|  axw joined the room. | 21:05:15 |
| axw | There are a couple nix related matrix rooms, that are not under this matrix space. Any reason as to why? (some are independent here but others at least seem related) | 21:15:15 |
