| 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 |
| axw | 
Download image.png | 21:15:16 |
| 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) liminix is irc iirc. | 21:16:10 |
| axw | * There are a couple of 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.) liminix is IRC, IIRC. I think Nix + Doom Emacs,Nixpkgs Python,Nix Data Science were originally listed in this space. | 21:19:42 |
| axw | * There are a couple of 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.) liminix is IRC, IIRC. I think Nix + Doom Emacs, Nixpkgs Python, Nix Data Science were originally listed in this space. | 21:20:18 |
| axw | * There are a couple of 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.) liminix is IRC, IIRC. I think Nix + Doom Emacs, Nixpkgs Python, Nix Data Science and Exotic Nix Targets were originally listed in this space. | 21:21:08 |
| axw | * There are a couple of 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.) liminix is IRC, iirc. I think Nix + Doom Emacs, Nixpkgs Python, Nix Data Science and Exotic Nix Targets were originally listed in this space. | 21:21:32 |
| axw | * There are a couple of 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.) liminix is IRC, iirc. I think Nix + Doom Emacs, Nixpkgs Python, Nix Data Science and Exotic Nix Targets were originally listed in this space. Maybe consider (re)adding them to this space? | 21:29:57 |
| axw | * There are a couple of 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.) liminix is IRC, iirc. I think Nix + Doom Emacs, Nixpkgs Python, Nix Data Science, NixOS DE and Exotic Nix Targets were originally listed in this space. Maybe consider (re)adding them to this space? | 21:44:28 |
| axw | * There are a couple of 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.) liminix is IRC, iirc. I think Nix + Doom Emacs, Nixpkgs Python, Nix Data Science, NixOS DE and Exotic Nix Targets were originally listed in this space. Maybe consider (re)adding them to this space?
#matrix-discussion:nixos.org also is not listed (sorry for not reading the room description first). | 21:47:12 |
| 4 Jun 2026 |
|  Echo changed their profile picture. | 04:23:55 |
|  Niklas Halonen joined the room. | 07:47:23 |
| axw | Redacted or Malformed Event | 18:11:48 |
| 5 Jun 2026 |
|  niridium joined the room. | 05:48:02 |
| 6 Jun 2026 |
|  okobjective joined the room. | 01:43:36 |
|  WorldsGoneMad joined the room. | 19:52:43 |
| 7 Jun 2026 |
|  @avdhut7009:matrix.org left the room. | 13:48:09 |
| 9 Jun 2026 |
|  nex (it/she) [matrix.org] joined the room. | 17:18:31 |
| 11 Jun 2026 |
|  "Ody Bhoja" joined the room. | 15:51:47 |
 mall0c | Is this the room to request an alias for room? (ie, #something:nixos.org)
And is it automatically included in space? | 20:25:10 |
| 13 Jun 2026 |
|  debtquity set a profile picture. | 03:23:25 |
|  klea (she/her) joined the room. | 21:37:33 |
| 14 Jun 2026 |
|  Enok Larsson joined the room. | 13:02:38 |
|  @orzklv:floss.uz left the room. | 23:32:34 |
| 15 Jun 2026 |
|  Theodora changed their profile picture. | 14:49:21 |
