| 17 May 2024 |
 Owen Shepherd | Do you know if @pennae has any code or plan I can look at, to see what the direction is? | 21:19:21 |
 jade_ | it's not feasible to do that until we fix the io model (wip), which is blocking the parser rewrite (done but needs them to backport), which is blocking fixing more of the evaluator | 21:25:04 |
 raitobezarius (DECT: 7248) | In reply to @414owen:matrix.org
Yes, I've had a look already. I was looking to improve a nix implementation I can actually use now, which has an ecosystem, rather than hack on tvix, which (I assume) isn't going to be usable for a while. Well, making Tvix usable now is potentially in the same range of efforts than carving a bytecode interpreter in CppNix right now. | 21:34:15 |
| jade_ | i would also say that it is probably a more worthwhile use of time, because i think it is highly unlikely we would accept this approach | 21:46:15 |
|  Lunaphied changed their display name from Lunaphied to lunaphied. | 21:47:32 |
| Owen Shepherd | Sure, what would you change about the approach? I was looking for that kind of feedback. | 21:51:17 |
 John Ericson | In reply to @jade_:matrix.org
it's not feasible to do that until we fix the io model (wip), which is blocking the parser rewrite (done but needs them to backport), which is blocking fixing more of the evaluator oh it is neat to see the dependency graph | 21:52:07 |
| John Ericson | I wanna rename *::Recursive in Nix to *::NixArchive | 21:53:22 |
| John Ericson | because recursive is a terrible name | 21:53:29 |
| John Ericson | and it would be cool if you all could do the same sed | 21:53:35 |
| John Ericson | so it isn't a needless cherry-picking stumbling block | 21:53:45 |
| jade_ | In reply to @Ericson2314:matrix.org
so it isn't a needless cherry-picking stumbling block hahahahaha wanna fix our includes to use lib* across both projects, | 22:00:32 |
| jade_ | i have a clang-tidy pass for it | 22:00:44 |
| John Ericson | lib*? | 22:06:39 |
| John Ericson | it would be neat if we supported the same C APIs | 22:07:02 |
| John Ericson | but that could be hard | 22:07:09 |
 puck | we're looking into it, but do have some strong opinions and aren't married to exact ABI compatibility at least | 22:11:20 |
| John Ericson | I heard concern about ours being too strict right now | 22:17:03 |
| John Ericson | re langauge | 22:17:05 |
| John Ericson | but I think we had the same concern | 22:17:09 |
| John Ericson | so that alone shouldn't be a deal-breaker | 22:17:16 |
| 18 May 2024 |
| jade_ | In reply to @Ericson2314:matrix.org
lib*? libexpr/*.hh, etc | 01:52:34 |
| John Ericson | jade_: not libnixexpr? | 02:00:04 |
| John Ericson | * jade_: not libnixexpr or liblixexpr? | 02:00:09 |
| John Ericson | interesting | 02:00:11 |
| John Ericson | or nix/expr/foo.hh? | 02:00:30 |
| John Ericson | * or nix/expr/foo.hh? | 02:00:32 |
| John Ericson | (and likewise with lix) | 02:00:48 |
| jade_ | well, externally it would be nix/libexpr/*.hh or so. | 02:02:28 |
| jade_ | * well, externally it would be lix/libexpr/*.hh or so. | 02:02:42 |
