| 11 Nov 2025 |
 delroth | (done) | 19:46:49 |
| 12 Nov 2025 |
 raitobezarius (DECT: 7248) | pennae made progress on pointer equality and expanded all known cases we have in mind: https://gerrit.lix.systems/c/lix/+/4556/3/tests/functional2/lang/eq/in-pointer-equality.nix | 12:40:46 |
| raitobezarius (DECT: 7248) | We are planning to proceed with cl/4556 which is considered to be a breaking change. | 12:40:59 |
| raitobezarius (DECT: 7248) | The NaN behavior unsoundness is unfortunate but we will have to document it and accept it. | 12:41:14 |
| raitobezarius (DECT: 7248) | piegames if you have some time to spare, it'd be helpful for us if you can sign-off on https://gerrit.lix.systems/c/lix/+/4556 as well | 12:44:39 |
| raitobezarius (DECT: 7248) | https://wiki.lix.systems/books/lix-contributors/page/pointer-equality contains exposition info | 12:44:47 |
 piegames | I'll try to have a look tomorrow | 13:14:27 |
 K900 | I picked a nit | 13:15:27 |
 niko ⚡️ | In reply to @raitobezarius:matrix.org
The NaN behavior unsoundness is unfortunate but we will have to document it and accept it. Cursed not really serious idea - do pointer comparison as doubles, and make any object pointer which contains a nan, nan itself, and everything else not nan | 13:33:45 |
| raitobezarius (DECT: 7248) | forgets this idea | 17:21:28 |
 aloisw | Is it worse than before? My understanding is that the only change for NaN is that after attrset update it will now sometimes return false (similar to the load-bearing change that was observed for functions, but hopefully less load-bearing there). | 17:28:55 |
| raitobezarius (DECT: 7248) | it's ~not but from an absolute PoV, it makes me so sad :D | 17:29:22 |
| raitobezarius (DECT: 7248) | (_:O:[_]==[_]&&[_]!=O(_)[_])(_:_)map will be added to the iceberg | 17:29:44 |
| aloisw | Will the attrset update thing too, given that even the Snix folks missed it? | 17:32:23 |
| raitobezarius (DECT: 7248) | it shall be | 17:32:35 |
| raitobezarius (DECT: 7248) | :D | 17:32:37 |
| raitobezarius (DECT: 7248) | in other news | 17:32:47 |
| raitobezarius (DECT: 7248) | the Value changes creates this noticeable evaluation changes | 17:33:02 |
| raitobezarius (DECT: 7248) | android32.rustc.x86_64-linux changes error message significantly (was unfree, now is unsupported)
x86_64-freebsd.cargo.aarch64-darwin goes from unsupported to broken
x86_64-netbsd.buildPackages.binutils.aarch64-darwin evals (was infrec)
x86_64-netbsd.cargo.aarch64-darwin is broken (was infrec)
x86_64-netbsd.gmp.aarch64-darwin evals (was infrec)
x86_64-netbsd.libc.aarch64-darwin same
x86_64-netbsd.mesa.aarch64-darwin unsupported (was infrec)
x86_64-netbsd.nix.aarch64-darwin evals (was infrec)
x86_64-netbsd.nixVersions.git.aarch64-darwin same
x86_64-netbsd.rustc.aarch64-darwin same
| 17:33:06 |
| raitobezarius (DECT: 7248) | we deem this an improvement | 17:33:15 |
| raitobezarius (DECT: 7248) | but we also discovered outPath changes | 17:33:26 |
| raitobezarius (DECT: 7248) | (which is the "uh-huh" moment) | 17:33:40 |
| raitobezarius (DECT: 7248) | * the Value changes creates these noticeable evaluation changes | 17:33:54 |
| raitobezarius (DECT: 7248) | my personal explanation is that the sharing broke cycles in the evaluation expression graph, so we can do more | 17:34:08 |
| raitobezarius (DECT: 7248) | the test is 2.93 → post-CL change | 17:34:16 |
| raitobezarius (DECT: 7248) | (this is done from the release-cross.nix file) | 17:34:40 |
| raitobezarius (DECT: 7248) | ok | 17:35:13 |
| raitobezarius (DECT: 7248) | guessing time | 17:35:15 |
| raitobezarius (DECT: 7248) | 
Download clipboard.png | 17:35:16 |
| raitobezarius (DECT: 7248) | (the outPath alert was a false alarm but guess why just by reading this diff) | 17:35:27 |
