| 12 Jul 2023 |
 @yannham:matrix.org | *
but it’s a hard problem, no?
Honestly, I don't really know. Like this, I would be tempted to say: hash-consing could be one way (especially given that Dhall has semantic hashes). Another way could be to not necessarily cache normal forms, but allow things with remaining let-bindings. But Gabriella is a smart person, so I'm most definitely missing something. Could also be due to a conflicting design constraint elsewhere that requires cached values to be normal forms (or at least makes it harder if it's not the case). Arnaud probably knows better
| 15:57:13 |
 infinisil | In reply to @phaer:matrix.org
Yes, "just" the implementation work left 😄 The implementation is not too hard really! I'll try to prioritize this :D | 17:06:00 |
| infinisil | As discussed in the previous NAT meeting, once the PR is done, I'll schedule a meeting with the NAT to do a final review and merging | 17:08:57 |
| infinisil | Anybody else welcome to join too of course, call it a merge party :P | 17:09:27 |
| infinisil | Or maybe it should be scheduled already, so I have some pressure to get it done until then 🤔 | 17:09:47 |
|  @teutat3s:pub.solar left the room. | 21:23:53 |
| infinisil | Today I wrote some docs for the overall Nixpkgs file structure in the RFC 140 Part 1 PR: https://github.com/NixOS/nixpkgs/pull/237439/files/cf0ea317469501804a139ef6d267f4dcdbbd29dc#diff-d9e77bfcb681fae6baf681117c55d2b9119546a2a8727a876a8b497fa69dcd90 | 23:20:49 |
| 13 Jul 2023 |
 Robert Hensing (roberth) | he/hello, I'm nixpkgs, by/bye | 19:53:16 |
| infinisil | Robert Hensing (roberth): Slippery fingers? :P | 22:32:06 |
| 14 Jul 2023 |
 @piegames:matrix.org | infinisil: Ping me for review on RFC 140 once you're done with all your current items | 08:35:19 |
 tea | In reply to @infinisil:matrix.org
Or maybe it should be scheduled already, so I have some pressure to get it done until then 🤔 I am up for pair coding if u need any help | 08:39:17 |
| tea | (I'm bored lol) | 08:39:22 |
|  @lyndeno:matrix.org joined the room. | 14:34:10 |
| 16 Jul 2023 |
|  @windchimesofmagic:matrix.org joined the room. | 02:37:10 |
 Growpotkin | Just threw this bad boy up for the Nixpkgs CLI WG: https://discourse.nixos.org/t/nixpkgs-cli-working-group/30517 | 16:01:15 |
| Growpotkin | Matrix room: https://app.element.io/?pk_vid=d4b162e0e6c511851631808451ab93fb#/room/#wg-nixpkgs-cli:matrix.org | 16:04:37 |
| infinisil | Growpotkin: Nice! Though I did mention last meeting that we should look at it together before posting. In particular the NAT isn't mentioned at all in the post like the previous one was 😅 | 22:08:20 |
| Growpotkin | Oh John drafted the thing and I made a few tweaks and sent it.
I was erring on the side of "I don't want to show up to the next meeting without acting on the decisions we made in the previous meeting" - forward momentum.
Was there any changes you would have made? | 23:54:59 |
| Growpotkin | Luckily we have that handy dandy edit button, and I did post it in the NAT board | 23:56:52 |
| 17 Jul 2023 |
| Growpotkin | Redacted or Malformed Event | 00:09:33 |
| infinisil | I will submit a NixCon talk proposal for RFC 140 :) | 16:40:17 |
| infinisil | Robert Hensing (roberth): As co-author of the RFC and someone very involved in reviewing the implementation, do you want to do the talk together, with you as co-speaker? | 16:41:40 |
 K900 (deprecated) | If you get accepted you have to bring a big red MERGE button and press it on stafe | 16:42:22 |
| K900 (deprecated) | * If you get accepted you have to bring a big red MERGE button and press it on stage | 16:42:26 |
| @piegames:matrix.org | Button must be green though | 16:48:07 |
| @piegames:matrix.org | If I had spoons I'd do one on nixfmt | 16:48:41 |
 raitobezarius | In reply to @k900:conduit.0upti.me
If you get accepted you have to bring a big red MERGE button and press it on stage lowkey we should build this as a IoT for fun | 17:01:54 |
| raitobezarius | the gh pr merge button | 17:02:00 |
| Robert Hensing (roberth) | Maybe, although I think have two speakers is often not that great | 17:02:28 |
| K900 (deprecated) | There was a thing for reflashing those weird Amazon "buy more" NFC tags | 17:02:43 |
