Notices by @kmicu@mastodon.social (kmicu@mastodon.social), page 13

@latersauctro @grahamc @Newt

I am sorry, but I cannot control folks taking my quotes out of context.

I also confirm that I do not represent Nix team. I still represent Nix (and Guix) *users* though and I know how much Nix and Guix differ in care about bootstrapping and compiling from sources.

PS Is it me or links in this thread point to nonexistent content?

@otini I’m not sure why you want nix-build XMonad+Contrib, but maybe you are looking for ‘nix-build -E "with import <nixpkgs> { }; pkgs.haskellPackages.ghcWithPackages (pkgs: with pkgs; [xmonad xmonad-contrib])"’?

@otini XMonad manages rectangles, what is inside is provided by a desktop environment. You can have KDE with XMonad and stay pretty :)

PS You need also catch a KDE user on #xmonad IRC to find out what fixes KDE requires *today* :)
(Cuz they push for Wayland and break things from time to time).

@otini FWIW there a NixOS module https://nixos.org/nixos/manual/options.html#opt-services.xserver.windowManager.xmonad.extraPackages that should setup everything required for a properly working XMonad. No need to install XMonad ad-hoc in your user environment.

PS I cannot answer the direct question because I do not understand what is your goal there.

@hund [Joke] Intel is more stable cuz Minix/EME inside is required by NSA to have a good uptime
ヽ(*＾▽＾)／

@otini It’s ok. I am still reproducible ;)
I’m, primarily, on Guix(SD) now so I have different set of challenges (like compiling a kernel and [sic!] installing binary blobs), but at least I can debug error messages now 😉

(One of Guix vs Nix lessons is why it’s better to choose eDSLs over DSLs ― tools are already there.)

@alice @samae Thank you both then. And thank you for using IP6 too. And thank you for deploying yet another instance which makes federation healthier
ʕノ•ᴥ•ʔノ ︵ ♥❤❣💞

@alice I saw that after the fact. I should have read all notifications first. Thank you for fixing it ( ^_^)／

@alice After you have followed me I was able to follow you back. 🤷

The problem is that now I cannot reproduce the issue to provide more info ;P

@otini I still remember how frustrating it was to debug those errors. ’There is something wrong. Probably HERE. Where HERE is not related to the problem at all’ :P So Nix Expression Language is not only not helpful, but sometimes actively misleading. Fortunately I am not using it today much so do not care anymore 🙈🙉🙊

Wake me up when they switch to Dhall or something ;)

@alice @otini BTW do you know why I cannot follow you? It is ok if you chose that, but I only get ‘503 Remote data could not be fetched’ message so I cannot tell whether that is an error or you want it that way 🤷

@alice @otini

Yes, we choose Wayland-powered session in a display/login manager. Alas, there is no old and loved startx equivalent so we *need* GDM/LightDM/SDDM to start a Wayland compositor.

There is (in WIP-state) Waymonad¹ by ongy. You can ask him about it on #xmonad.

¹ https://github.com/Ongy/waymonad

@amiloradovsky @otini There is nix-repl too if you want interactively explore what is available in Nixpkgs.

… and now I see that they merged it into Nix 1.12 https://github.com/edolstra/nix-repl

(I’m not using Nix(OS) actively anymore so my knowledge starts to rust. Do not trust me! 😹).

@amiloradovsky @samae @otini It is a long story https://gist.github.com/edolstra/efcadfd240c2d8906348 ;)

@alice @otini Yeah, today you can install Fedora, choose Wayland session and everything should Just Work™. And thanks to XWayland things not supporting Wayland (like Emacs) still work too.

@otini Nix (Expression Language) errors are *terrible* (which is expected because of lack of an advance type system) but *also* Nix is a DSL so lacks tools to debug issues. In conclusion the situation is even more terrible than only terrible.

Community is trying to improve the state of the things¹² but it is nothing serious.

¹ www.haskellforall.com/2017/01/typed-nix-programming-using-dhall.html
² https://www.gofundme.com/typing-nix

@alice @otini did you setup session on your own or did you try some default session on Fedora/Arch/etc?

@otini Wayland protocol is stable. There are multiple compositors that are ready for daily use like https://github.com/swaywm/sway or http://way-cooler.org/

Also major distros like Fedora, Arch, Ubuntu are Wayland ready.