| 24 Oct 2023 |
 infinisil | Wanja Hentze: Would you happen to have some time to pair on this? | 14:50:47 |
 Wanja Hentze | Yeah, gimme a couple minutes though | 14:59:03 |
| Wanja Hentze | ready now :) | 15:02:15 |
| infinisil | Ah didn't see it, https://meet.jit.si/nixpkgs-architecture | 15:13:01 |
| infinisil | Wanja Hentze: Toilet break! Or we could also stop, this was very helpful, thanks! | 17:28:56 |
| Wanja Hentze | Yep, let's call it a day 👋 | 17:30:49 |
| 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 |
