| 21 Oct 2024 |
 Sami Liedes | But yes, I'm somehow tempted to try to come up with... some kind of a more structure-enforcing language that generates Nix, or something. I know there were some attempts at a typescript-style thing for Nix. I think there would be a lot of value in e.g. having packages obey a nice and introspectable interface as a promise. Perhaps one could be designed that could lead to having only sqrt(n) ways to override packages instead of the current n, and actually have all the wrong ways error instead of fail silently.
Not that I have much hope that anyone would ever want to use it. But at least I think it could spur some discussions. | 22:35:08 |
| Sami Liedes | I have that on my list of things to do if there's an infinite afterlife where I can work on Nix. | 22:35:47 |
| Sami Liedes | In reply to @sliedes:hacklab.fi
I have that on my list of things to do if there's an infinite afterlife where I can work on Nix. Although, now that I think of it, I'm not sure it would even then be mathematically guaranteed I'd ever get to it given my current approach that seems more like a stack... | 22:39:57 |
 oak | I've been playing around with the idea in my head, what if the nixpkgs was implemented with some heavily typed functional programming language, such as Haskell. :D (Don't worry, I'm not going to start implement it) | 22:44:28 |
| Sami Liedes | Yeah, me too. But I'm too honest and too little sane to give such reassuring promises. | 22:48:10 |
| oak | There's of course also GUIX, where they use Guile Scheme (which someone could call a "real" LISP-family functional programming language) instead of Nix, but I've never looked into it other than I've read through the webpages | 22:50:04 |
 Sr. Estegosaurio | Uhg,
❯ vkcube
Selected GPU 0: NVIDIA GeForce RTX 3060 Laptop GPU (NVK GA106), type: DiscreteGpu
vulkan: No DRI3 support detected - required for presentation
Note: you can probably enable DRI3 in your Xorg config
Could not find both graphics and present queues
I'm on Wayland. I have no idea what to do. | 22:50:34 |
| Sr. Estegosaurio | Everything I find talks about how to actually enable DRI3 on Xorg. | 22:50:51 |
| Sr. Estegosaurio | Running things like glxheads works but it's using the iGPU. | 22:51:17 |
| Sr. Estegosaurio | I get two warnings while executing vulkaninfo:
WARNING: [Loader Message] Code 0 : terminator_CreateInstance: Received return code -3 from call to vkCreateInstance in ICD /nix/store/2pi1m52z6cipcb1kir09sw2zb6cvkp69-mesa-24.2.4-drivers/lib
/libvulkan_dzn.so. Skipping this driver.
WARNING: [Loader Message] Code 0 : terminator_CreateInstance: Received return code -3 from call to vkCreateInstance in ICD /nix/store/2pi1m52z6cipcb1kir09sw2zb6cvkp69-mesa-24.2.4-drivers/lib
/libvulkan_virtio.so. Skipping this driver.
| 22:52:22 |
| oak | NVIDIA does not work well with Wayland (or this was the case at least still few months ago), you need to enable the experimental modesetting support which is not officially supported by NVIDIA | 22:52:42 |
| oak | https://search.nixos.org/options?channel=24.05&show=hardware.nvidia.modesetting.enable | 22:52:51 |
| Sr. Estegosaurio | Isn't that setting exclusive to the propietary driver? | 22:53:05 |
| Sr. Estegosaurio | I had it enabled but rn I'm trying to get nouveau + NVK working. | 22:53:26 |
| oak | Ah I know nothing about using Nouveau drivers, the new cards probably won't work at all | 22:53:44 |
 KFears (tragedy arc) | In reply to @sliedes:hacklab.fi
But yes, I'm somehow tempted to try to come up with... some kind of a more structure-enforcing language that generates Nix, or something. I know there were some attempts at a typescript-style thing for Nix. I think there would be a lot of value in e.g. having packages obey a nice and introspectable interface as a promise. Perhaps one could be designed that could lead to having only sqrt(n) ways to override packages instead of the current n, and actually have all the wrong ways error instead of fail silently.
Not that I have much hope that anyone would ever want to use it. But at least I think it could spur some discussions. Good luck! | 22:54:25 |
| KFears (tragedy arc) | I think there's a lot of research not done into NixLang but better | 22:54:42 |
| Sr. Estegosaurio | In reply to @oak:universumi.fi
Ah I know nothing about using Nouveau drivers, the new cards probably won't work at all I know nothing too since I've always used the propietary one but afaik now you could actually "use" it with newer GPUs. | 22:54:51 |
| KFears (tragedy arc) | Part of it, unfortunately, is due to how hard it is to replace NixLang even just from the technical side | 22:54:59 |
| oak | NVIDIA also has their new proprietary open source driver, which I think has been the recommended one from NVIDIA for few versions now | 22:55:25 |
| oak | For that you still need to take the firmware binary blob from closed source drivers (nixpkgs does that automatically for you if you set open = true;) | 22:56:20 |
| Sr. Estegosaurio | Yep. | 22:56:53 |
| oak | but somehow I have gotten this idea Nouveau works best on the 10 years old cards NVIDIA has already stopped supporting | 22:57:05 |
| Sr. Estegosaurio | I think that's still true. | 22:58:25 |
| Sr. Estegosaurio | But then it became unusable for newer cards until recently. | 22:58:58 |
| Sr. Estegosaurio | I'm loosing so much sanity here that as soon as I made an up-to-date backup I'm going to try reinstalling. On a reproducible system using root-on-tmpfs. | 23:01:12 |
| Sr. Estegosaurio | Which should leave me exacly as I am right now. | 23:01:34 |
| Sr. Estegosaurio | But I'm willing to try. | 23:01:41 |
| Sr. Estegosaurio | Well, vkcube-wayland is working AND using NVK. | 23:03:18 |
 aftix | I'm trying to run some wayland examples from rust (the examples in the winit crate). I'm getting an error that it can't find the system wayland libraries, but I'm running it from a nix-shell and pkg-config --list-all shows all the wayland libraries fine | 23:07:41 |
