| 11 Nov 2025 |
 raitobezarius | I did https://wiki.lix.systems/books/lix-contributors/page/pointer-equality to expand my thoughts and current understanding | 18:07:04 |
| raitobezarius | I feel like there's two directions from the current local optimum (?) we are, kicking function equality out of the language, figuring how far we are willing to go to repair lack of structural equality for complicated types like functions | 18:08:20 |
| raitobezarius | pennae are more in favor of kicking the thing out because there's no practical value to offer a real == for fns | 18:08:47 |
| raitobezarius | i was in favor of making == for functions complete, i.e. recursive ptr equality + semantic check if ptr equality fails | 18:09:07 |
| raitobezarius | but i sat down and looked how to do it and noped out | 18:09:17 |
 Sergei Zimmerman (xokdvium) | Quip: nix eval "github:nixos/nixpkgs?rev=a999c1cc0c9eb2095729d5aa03e0d8f7ed256780#pkgsCross.gnu64.bitwarden" --no-eval-cache. This wasn’t a regression and doesn’t evaluate under any nix impl. It was the case where nixpkgs machinery thought that it was doing this in cross and thus failed to eval | 18:09:42 |
| raitobezarius | aaaaaaaaah thanks | 18:09:54 |
| raitobezarius | well the other thing was a regression no? | 18:10:00 |
| raitobezarius | i know something that evals only on lix head now | 18:10:06 |
| Sergei Zimmerman (xokdvium) | In reply to @raitobezarius:matrix.org
well the other thing was a regression no? Yeah, some old nixos config from flake-regressions | 18:10:40 |
| raitobezarius | yeah, ok it was indeed from flake-reg | 18:11:32 |
| raitobezarius | (i imagined that and therefore i did yesterday: https://git.lix.systems/raito/flake-regressions) | 18:11:48 |
| raitobezarius | This is going into the pennae's direction from my understanding | 18:12:31 |
| raitobezarius | People can decide to have a cmp fn function they use in their local context | 18:12:44 |
 KFears& 🏳️⚧️ (they/them) | In reply to @raitobezarius:matrix.org
This is going into the pennae's direction from my understanding Yeah | 18:14:11 |
 Taeer Bar-Yam |
no practical value to offer a real == for fns
except backward compatibility, right?
| 18:29:12 |
