| 12 Jul 2023 |
 @yannham:matrix.org | nbp: yes I read Eelco's paper, but I believe this was a very long time ago. I'm curious how it would fare today, on current Nixpkgs or a NixOS configuration. Hashconsing everything is a trade-off, and it'll probably slow down the computation from scratch. Might still be fine if the gain in incremental evaluation is big enough. | 15:52:44 |
 profpatsch | but it’s a hard problem, no? | 15:52:46 |
 nbp | yannham: I think that's part of the reason for removing it. | 15:53:23 |
| @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 hash). 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:01 |
| @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 |
