| 24 Oct 2023 |
 infinisil | Cleaned up and pushed the changes, if you have time please take a final look! | 18:09:38 |
| infinisil | Ended up renaming that sequence() after all, called it collect_vec, since it's just collect but specialised to a Vec. | 18:10:12 |
| 25 Oct 2023 |
|  @federicodschonborn:matrix.org changed their profile picture. | 00:12:55 |
| 27 Oct 2023 |
| @federicodschonborn:matrix.org changed their profile picture. | 01:24:30 |
|  @quantenzitrone:matrix.org changed their display name from Quantenzitrone to qz. | 11:56:59 |
| 29 Oct 2023 |
|  SomeoneSerge (back on matrix) changed their display name from SomeoneSerge (UTC+1) to SomeoneSerge (UTC+2). | 22:40:30 |
| 30 Oct 2023 |
|  Anthony Rsl joined the room. | 17:03:47 |
|  toonn changed their profile picture. | 19:51:20 |
| 31 Oct 2023 |
| infinisil | @room: The next meeting will take place in 55 minutes, if you have anything to discuss, please add it to the agenda in the meeting notes ahead of time - meeting link - meeting notes | 13:06:03 |
 Growpotkin | I won't be able to make it today | 13:09:46 |
| infinisil | Meeting time DavHau, tomberek, John Ericson | 14:02:25 |
 tomberek | I'm ar the dentist at the moment. Sorry. | 14:50:23 |
| infinisil | Redacted or Malformed Event | 15:01:22 |
|  @cifre:matrix.org left the room. | 17:20:58 |
 @piegames:matrix.org | Are there any specific proposals for how a Nix module builtin might look like? | 18:22:31 |
| @piegames:matrix.org | Because I currently have trouble imagining this without also adding a proper type system to the language | 18:22:53 |
| infinisil | piegames: No concrete proposals yet, and I'm not working on it myself | 18:23:03 |
| 1 Nov 2023 |
|  @cafkafk:gitter.im left the room. | 10:43:17 |
|  Ramses 🇵🇸 changed their display name from Ramses to Ramses 🇵🇸. | 19:58:26 |
| 4 Nov 2023 |
| tomberek | piegames: Perhaps this? https://gist.github.com/edolstra/29ce9d8ea399b703a7023073b0dbc00d#solution-configurations | 14:30:48 |
| @piegames:matrix.org | Thanks. (I don't like it) | 15:56:08 |
| 11 Nov 2023 |
|  @ninjatrappeur:alternativebit.fr left the room. | 07:15:20 |
| 12 Nov 2023 |
|  @lehmanator:gnulinux.club joined the room. | 12:03:28 |
| toonn changed their profile picture. | 17:53:55 |
| 14 Nov 2023 |
|  NixOS Moderation Bot banned  @srid:matrix.org (<no reason supplied>). | 14:00:49 |
| 15 Nov 2023 |
|  @grahamc:nixos.orgchanged room power levels. | 16:15:41 |
| @grahamc:nixos.org left the room. | 16:15:42 |
 @willpower3309:matrix.org | In reply to @infinisil:matrix.org
piegames: No concrete proposals yet, and I'm not working on it myself Is anyone taking a look at nix modules? I recall a modules workgroup was made, but it seems it may have been merged with the architecture group | 16:48:05 |
| infinisil | willmckinnon: DavHau has looked a bit into it recently | 16:49:30 |
 DavHau | I did experiments on nix-camp. I will open a WIP PR to make it visible. RN I'm a bit busy with other stuff. | 16:56:57 |
