| 12 Sep 2025 |
|  @jordanjoel1:matrix.org changed their profile picture. | 03:27:09 |
| @jordanjoel1:matrix.org left the room. | 03:34:24 |
|  Pratham Patel joined the room. | 04:41:40 |
 getchoo | thanks for the link! i'll take a closer look at some of the stuff mentioned and what's already there this weekend hopefully (new job has had me a bit busy, catching covid from it didn't help either 😆), but i definitely think i can get this dogfooding setup going. i already have a bit of experience with very similar things in other action projects | 05:01:36 |
 jaen | If there are other tasks that can be done in parallel for installer upstreaming I'd also be interested — I was cooking a Nix article series for $CURRENT_JOB blog (the company does a lot of Bazel, so it's structured by way of compare & contrast) and don't feel comfortable publishing them until after the installer situation is resolved, I don't really want to redirect people away from the upstream. | 11:27:06 |
 magic_rb | As many before me, i implemented my own very basic nix evaluator, it doesnt have any builtins right now, only does basic arithmetic. But the point of it is that it doesnt use AST walking, but rather an approach similar to the STG. Its not fully tagless unfortunately, but i think im just missing something. Anyway, it only makes sense to develop it further if its faster than nix/lix so im wondering if its possible to formulate micro benchmarks relying on a subset of the nix language which could tell me whether my impl is faster or not. Anyone has thought about this before? | 15:07:03 |
| magic_rb | I dont want to write a full nix impl only to figure out "its horribly slow and nothing can be done about that". Ideally we'd be able to tell way before i implement all the nixisms | 15:08:27 |
| magic_rb | https://git.redalder.org/magic_rb/nix-stg oh and the code | 15:11:23 |
| magic_rb | The evaluator is currently recursive but thats my mistake, i just need to do while !iptr.is_whnf() iptr.force() | 15:12:22 |
 toonn | Some of the AoC solutions might be a good start for that. | 15:18:29 |
| magic_rb | Oh yeah good idea, im still very far off from being able to even import something but AoC is a very sound idea | 15:25:57 |
