| 20 Aug 2025 |
|  jopejoe1 (4094@epvpn) changed their display name from jopejoe1 (4094@GPN23) to jopejoe1. | 18:51:42 |
| 22 Aug 2025 |
|  elikoga changed their profile picture. | 17:28:32 |
| 25 Aug 2025 |
 emily | Alyssa Ross: I remember you having reproducibility objections to PGO, so flagging up https://discourse.nixos.org/t/transparently-supporting-pgo-fdo-plo-optimized-builds/68420 | 03:17:10 |
| emily | though unclear if there is going to be serious work on this or if it is just an ad for the crowdfunding platform… | 03:17:32 |
 raboof | It sounds like they're proposing to do the profiling on the users' machine, in which case reproducibility is less essential I suppose (and it could even be reproducible if they store the profiling data and use it as an input) | 06:11:32 |
| emily | yeah, I don't know. "I believe the correct high-level model for NixOS is binary substitution. The derivation the users specifies does not change. The binary used to satisfy that specification changes." is pretty vague. not sure they understand the model | 06:12:27 |
| emily | since of course injecting profiling data naturally changes the derivation | 06:12:38 |
| emily | but maybe I am missing how it is meant to plug together | 06:12:56 |
