| 23 Mar 2026 |
 raitobezarius | * it's also important to imagine that (technical) debt payment has not been popular | 23:00:22 |
 zoë (she/her) | * i know i know, i've very much noticed that nix's 2000s-phd-thesis nature keeps catching up to it :| | 23:00:52 |
| zoë (she/her) | * i know i know, i've very much noticed that nix's 2000s-phd-thesis nature keeps catching up to it :( | 23:00:54 |
| zoë (she/her) | * i know i know, i've very much noticed that nix's 2000s-phd-thesis nature keeps catching up to it :/ | 23:00:55 |
| zoë (she/her) | * i know i know, i've very much noticed that nix's 2000s-phd-thesis nature keeps catching up to it :| | 23:00:57 |
| zoë (she/her) | * i know i know, i've very much noticed that nix's 2000s-phd-thesis nature keeps catching up to it :/ | 23:01:01 |
| zoë (she/her) | * i know i know, i've very much noticed that nix's 2000s+phd-thesis nature keeps catching up to it :/ | 23:03:13 |
| zoë (she/her) | * (i am somewhat reminded of the line i saw in last month's core team meting:
We wonder if we should have more boring people in our project
and seeing everyone's very interesting ideas compared to just the "nix is fun :D functional programming is fun :D if only haskell $ operator tho :( and also not cursed :((" idea i have definitely makes me kinda resonate with that line (which, yeah i am objectively a pretty boring person) x)
| 23:23:43 |
| zoë (she/her) | * with all that said, i still do have a question: should it be tagged E/Easy (with the notes from this discussion) and left to be first-time/drive-by contributed? it's not very urgent, and though it doesn't go into the c++ part of the codebase like most other changes will require, i still think it can be a good exercise, especially if combined with some tests | 23:38:22 |
| 24 Mar 2026 |
| zoë (she/her) | * (i am somewhat reminded of the line i saw in last month's core team meting:
We wonder if we should have more boring people in our project
and seeing everyone's very interesting ideas compared to just the "nix is fun :D functional programming is fun :D if only haskell $ operator tho :( and also not cursed :((" idea i have definitely makes me kinda resonate with that line (which, yeah i am objectively a pretty boring person, and i'm trying to believe that's okay) x)
| 00:20:16 |
| zoë (she/her) | alright i tried to sum it up based on what i understood, but i'm not very confident in that, don't hesitate to tell me if i misinterpreted/misunderstood/misframed something | 00:23:59 |
| zoë (she/her) | * alright i tried to sum it up based on what i understood, but i'm not very confident in that, don't hesitate to tell me if i misinterpreted/misunderstood/misframed something | 00:34:19 |
| raitobezarius | lgtm | 05:35:46 |
 helle (just a stray cat girl) | The idea of technical debt collector comes to mind, anyway. | 08:43:39 |
 delroth | it's an stdlib problem more than a C++ problem, most large C++ codebases at the time were using a Result type in 2005, it's just that that knowledge wasn't widespread yet or too publicly available through libraries | 10:25:06 |
 piegames | Granted, but still sum types in C++ are a lot less ergonomic than they could be | 10:26:04 |
| delroth | yes, but you don't need full sum types capability for a Result type, you basically need the "?" operator | 10:26:56 |
| delroth | * yes, but you don't need full sum types capability for a Result type, you basically need the "?" operator / syntax sugar | 10:27:22 |
| * delroth has written way too much code with ASSIGN_VALUE_OR_RETURN and util::StatusOr which dates back to ~2003... | 10:28:31 |
| * delroth * has written way too much code with ASSIGN_OR_RETURN and util::StatusOr which dates back to ~2003... | 10:28:56 |
|  Lotte (it/its)/Cinny (she/her) θΔ& changed their profile picture. | 12:15:06 |
 ShalokShalom | Why C++ to implement a purely functional language at any point? | 16:01:45 |
| piegames | What does the one have to do with the other | 16:17:19 |
| 25 Mar 2026 |
 Lisanna | Is it just me or does Lix compile faster than ccpnix? | 16:41:17 |
| Lisanna | * Is it just me or does Lix compile faster than cppnix? | 16:41:28 |
 Qyriad | I haven't compiled cppnix in a while, but I'm not all that surprised. jade in particular put some effort at the start in reducing compile times, and cppnix also made their meson buildsystem more complicated because they wanted to separate it into multiple derivations | 16:51:29 |
| Lisanna | yeah I am really sad about the multiple derivation thing, idk what value it really adds and it makes overriding things hell | 16:56:34 |
| Lisanna | (see: https://gist.github.com/lisanna-dettwyler/ba37119993618314891d5afd79a8cf5e) | 16:56:50 |
| Qyriad | In reply to @lisanna-dettwyler:matrix.org
yeah I am really sad about the multiple derivation thing, idk what value it really adds and it makes overriding things hell the motivation is to be able to re-run derivation tests, like the NixOS VM tests, with faster compile times if you only changed one library. theoretically | 17:03:19 |
 Sergei Zimmerman (xokdvium) | In reply to @lisanna-dettwyler:matrix.org
Is it just me or does Lix compile faster than cppnix? FWIW I picked jade’s awesome changes. Make sure to use clang | 17:16:46 |
