| 6 Aug 2025 |
 emily | hoping to get the build directory changed to something more distinguishable than /build on Linux too so that we can expand the existing tmpdir auditing hook to catch more of this | 13:12:11 |
| emily | (and ideally get some entropy in there in future too, so that --rebuild can reliably detect reproducibility issues they cause on Linux and we don't have to deal with the use-mention problems of the scanner detecting a false leak from documentation that mentions a fixed path) | 13:13:46 |
| 7 Aug 2025 |
|  @sbc64:matrix.org left the room. | 09:41:11 |
| 8 Aug 2025 |
|  0x4A6F joined the room. | 06:59:31 |
|  Picnoir changed their display name from Picnoir to Picnoir DECT 7426. | 12:34:01 |
| 13 Aug 2025 |
| Picnoir changed their display name from Picnoir DECT 7426 to Picnoir. | 13:25:09 |
| 19 Aug 2025 |
 raboof | https://github.com/NixOS/nixpkgs/issues/434930 seems like nice low-hanging fruit regression | 08:05:50 |
| 20 Aug 2025 |
|  jopejoe1 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 |
| raboof | I agree it reads like an LLM-generated ad ('obvious commercial significance, both for enthusiasts and “warehouse” applications'??) | 06:14:46 |
| raboof | Yeah that sounds confused as well | 06:15:00 |
| emily | reading their crowdfunding website
Self-reinforcing thinking can be as alluring as the creation of infinite energy or matter without input. However, all valid forms of logic are built upon directed acyclic graphs, meaning trees of arguments that proceed only in one direction without ever circling back. It is valid to converge to the same points from different starting points or having taken alternate paths, but any circular logic is trivially invalid. In fact, the discovery of any new reasoning requires non-circularity as a means of escaping infinite cycles. We have rejected the use of circular acronyms as they encourage complex and baffling reasoning that evades scrutiny yet is trivially invalid once you encounter the recurrence.
fair enough
| 06:15:38 |
 dish [Fox/It/She] | they just slapped a bunch of smart-sounding words in a paragraph 🥴 | 14:13:09 |
| raboof | stealing this as my new lorem ipsum tho | 14:28:17 |
| 29 Aug 2025 |
|  @zeorin:matrix.org left the room. | 07:03:19 |
| 4 Sep 2025 |
|  FliegendeWurst changed their display name from FliegendeWurst (@GPN23) to FliegendeWurst. | 08:34:34 |
| 6 Sep 2025 |
|  @wiryfuture:matrix.org left the room. | 03:33:18 |
|  SomeoneSerge (back on matrix) changed their display name from SomeoneSerge (Ever OOMed by Element) to SomeoneSerge (@nixcon & back on matrix). | 09:21:56 |
| 8 Sep 2025 |
|  inayet set a profile picture. | 02:16:25 |
| 9 Sep 2025 |
|  aciceri changed their display name from zrsk to aciceri. | 15:02:28 |
|  winston joined the room. | 17:56:51 |
| 10 Sep 2025 |
| SomeoneSerge (back on matrix) changed their display name from SomeoneSerge (@nixcon & back on matrix) to SomeoneSerge (back on matrix). | 00:35:20 |
| 14 Sep 2025 |
|  Emma [it/its] joined the room. | 08:39:32 |
| 15 Sep 2025 |
|  kevincox (moved to @kevincox:kevincox.ca) changed their display name from kevincox to kevincox (moved to @kevincox:kevincox.ca). | 19:40:25 |
