Logs: liberachat/#xmonad
| 2022-04-15 06:05:09 | <abastro[m]> | Basically, I am using some kind of gtk settings to adjust it. |
| 2022-04-15 06:05:44 | <abastro[m]> | Soo.. could be more pain if you have to actively switch |
| 2022-04-15 06:05:56 | <abastro[m]> | I wonder if Per-monitor settings is possible |
| 2022-04-15 06:06:05 | <abhixec> | but that would only work for gtk apps if I have qt or xmobar will still be very small though |
| 2022-04-15 06:06:08 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-04-15 06:06:41 | <abastro[m]> | Yea you kind of need to do it manually |
| 2022-04-15 06:07:07 | <abastro[m]> | For each apps |
| 2022-04-15 06:07:59 | <abhixec> | -_- :'( |
| 2022-04-15 06:09:37 | <abastro[m]> | Alternative is sacrificing hdpi so that it renders 1 pixel over 4 pixels of 4k monitor |
| 2022-04-15 06:11:05 | <abastro[m]> | You know, using xrandr |
| 2022-04-15 06:11:22 | <abhixec> | abastro[m]: how do I do that? |
| 2022-04-15 06:12:01 | <abhixec> | xrandr scalling factor option doesn't quite work as expected because the windows appear to outside the visible portion of the screen |
| 2022-04-15 06:13:09 | <abastro[m]> | Did you try sth like |
| 2022-04-15 06:13:09 | <abastro[m]> | xrandr --mode 1920x1080 |
| 2022-04-15 06:13:22 | <abhixec> | let me try that! |
| 2022-04-15 06:13:47 | <abastro[m]> | (Ofc do not forget the --output part) |
| 2022-04-15 06:14:47 | <abhixec> | yep |
| 2022-04-15 06:14:53 | <abhixec> | I guess for that this would work |
| 2022-04-15 06:14:54 | <abhixec> | thanks! |
| 2022-04-15 06:15:18 | <abhixec> | not ideal but atleast it is now usable as oppose to having super tiny text |
| 2022-04-15 06:15:41 | <abhixec> | really wish there was a better support for 4K+ :( |
| 2022-04-15 06:16:17 | <abastro[m]> | Yea, I wonder how e.g. gnome handles it |
| 2022-04-15 06:17:24 | <abastro[m]> | Actually x font part could be managed separately, I found |
| 2022-04-15 06:17:32 | <abastro[m]> | https://vincent.jousse.org/blog/en/archlinux-retina-hidpi-macbookpro-xmonad |
| 2022-04-15 06:17:40 | <abastro[m]> | Try this and find to which extend it works |
| 2022-04-15 06:25:01 | <abhixec> | I think I have seen this the problem is that it would work if I am only going to be using the external monitor but if I want to be switching then I guess I would need to make this changes and restart x each time |
| 2022-04-15 06:25:10 | <abhixec> | which wouldn't be ideal |
| 2022-04-15 06:31:18 | <geekosaur> | this is one of the big reasonspeople want wayland: x11 can't do this right |
| 2022-04-15 06:35:30 | <abastro[m]> | Oh, inherent problem of X11? |
| 2022-04-15 06:37:12 | <abastro[m]> | I see, so that is why |
| 2022-04-15 06:37:24 | <abastro[m]> | ~~Can I fork Waymonad and work on it~~ |
| 2022-04-15 06:39:13 | <geekosaur> | of course you can. https://github.com/L-as/waymonad |
| 2022-04-15 06:39:34 | <geekosaur> | it needs a fair amount ofwork and currently has worse pointer issues than the one you hit with 9.2.2 :) |
| 2022-04-15 06:41:06 | <abastro[m]> | Pointer issues? Meh |
| 2022-04-15 06:41:17 | <abastro[m]> | Btw what is the pointer issue I encountered |
| 2022-04-15 06:41:21 | <abastro[m]> | FFI or internal? |
| 2022-04-15 06:41:51 | <abastro[m]> | I wonder if I could somehow enable stacktrace |
| 2022-04-15 06:42:21 | <Solid> | It says "Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug" |
| 2022-04-15 06:42:26 | <Solid> | perhaps you should consider that |
| 2022-04-15 06:44:36 | <liskin> | Solid: oh, that's quite expensive |
| 2022-04-15 06:45:23 | <liskin> | Suddenly half an hour by train from my friend's at the other side of the lake doesn't seem so bad :-D |
| 2022-04-15 06:47:25 | <Solid> | :D |
| 2022-04-15 06:48:49 | <Solid> | yeah without the opencollective donations I don't think I could attend |
| 2022-04-15 06:49:04 | <Solid> | though at this point it makes me wonder whether I need to pay tax |
| 2022-04-15 06:49:08 | <Solid> | because it'd be quite a lot of money |
| 2022-04-15 06:51:08 | <liskin> | I think you don't need to pay tax on this |
| 2022-04-15 06:55:12 | <geekosaur> | abastro[m], no way to know just from that,but my first suspicion is always FFI. in particular I (and a bunch of others) should have hit it if it were intrinsic to 9.2.2 |
| 2022-04-15 07:00:29 | <geekosaur> | also there's no stack to trace in Haskell |
| 2022-04-15 07:01:20 | <geekosaur> | this is the garbage collector hitting a heap object that doesn't have the right metadata, meaning it's been overwritten with garbage |
| 2022-04-15 07:01:31 | <geekosaur> | by that point it's too late to know what or why |
| 2022-04-15 07:02:47 | <geekosaur> | and any information about where the heap object came from disappeared when its closure type did |
| 2022-04-15 07:35:20 | scardina1 | is now known as scardinal |
| 2022-04-15 07:37:49 | <MarkLumbao[m]> | Hi everyone it's my first time installing Xmonad via stack so I'm manually adding it as a new session option in lightdm. But I couldn't get it to work. I already added /usr/share/xsessions/xmonad.desktop with the following content |
| 2022-04-15 07:38:23 | <MarkLumbao[m]> | [Desktop Entry]... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/c4664259f1d52bbd6adebb6e75000b71d121ebad) |
| 2022-04-15 07:38:43 | <MarkLumbao[m]> | but the option is not shown in my greeter. |
| 2022-04-15 07:39:26 | <MarkLumbao[m]> | btw I'm using Garuda Linux, my default wm is i3wm, my greeter is slick-greeter |
| 2022-04-15 07:49:18 | <abastro[m]> | Oh soo.. overwritten with garbage :< |
| 2022-04-15 07:49:34 | <abastro[m]> | Haskell and its ffi... |
| 2022-04-15 07:50:34 | <abastro[m]> | Was saying to geekosaur btw |
| 2022-04-15 07:51:41 | <abastro[m]> | Solid: I am afraid of the mighty ghc repo |
| 2022-04-15 08:02:01 | <Solid> | abastro[m]: Haskell's FFI is pretty good, actually; at least in terms of efficiency ( see e.g. https://github.com/dyu/ffi-overhead#results-500m-calls ) |
| 2022-04-15 08:02:05 | <Solid> | and don't fear the GHC repo |
| 2022-04-15 08:02:21 | <Solid> | if you can reproduce it and it's actually a compiler bug, people will be glad to know about it |
| 2022-04-15 08:02:51 | <abastro[m]> | I do not mean efficiency, yeah |
| 2022-04-15 08:03:07 | <abastro[m]> | I mean more the ability to debug |
| 2022-04-15 08:03:23 | <Solid> | well, it's FFI |
| 2022-04-15 08:03:29 | <abastro[m]> | It seems geekosaur cannot reproduce it, so I guess it might be local to my end |
| 2022-04-15 08:17:17 | → | maybefbi joins (~maybeatf@138.75.51.49) |
| 2022-04-15 08:17:45 | <maybefbi> | What kind of hie.yaml do I need for this directory structure: |
| 2022-04-15 08:17:45 | <maybefbi> | - path: "xmonad-git/tests" |
| 2022-04-15 08:17:45 | <maybefbi> | component: "xmonad:test:properties" |
| 2022-04-15 08:17:58 | <maybefbi> | sorry wrong copy paste |
| 2022-04-15 08:18:37 | <maybefbi> | What kind of hie.yaml do I need for this directory structure: . |
| 2022-04-15 08:18:37 | <maybefbi> | ├── stack.yaml |
| 2022-04-15 08:18:37 | <maybefbi> | ├── stack.yaml.lock |
| 2022-04-15 08:18:37 | <maybefbi> | ├── xmobar-git |
| 2022-04-15 08:18:37 | <maybefbi> | ├── xmonad-contrib-git |
| 2022-04-15 08:18:38 | <maybefbi> | ├── xmonad-git |
| 2022-04-15 08:18:40 | <maybefbi> | └── xmonad.hs |
| 2022-04-15 08:18:59 | <maybefbi> | I tried $ gen-hie > hie.yaml |
| 2022-04-15 08:19:15 | <maybefbi> | but it just causes Segmentation fault |
| 2022-04-15 08:19:31 | <abastro[m]> | What is xmonad-git and xmobar-git? |
| 2022-04-15 08:19:47 | <maybefbi> | it is a git clone of xmonad, and xmobar repo |
| 2022-04-15 08:19:59 | <maybefbi> | im on xmonad compiled using the above directory structure now |
| 2022-04-15 08:20:02 | <maybefbi> | it is working |
| 2022-04-15 08:20:21 | <maybefbi> | im just trying to create an hie.yaml so i can get the Haskell Language Server to work |
| 2022-04-15 08:20:32 | <Solid> | maybefbi: this may be a question more appropriate for #haskell of #haskell-language-server |
| 2022-04-15 08:20:40 | <Solid> | s/of/or/ |
| 2022-04-15 08:20:43 | <maybefbi> | ah cool thanks. i will ask there |
| 2022-04-15 08:35:00 | <abastro[m]> | I want to say, that is a bit weird setup if you are just using xmonad |
| 2022-04-15 08:38:23 | <Solid> | It's the setup that INSTALL.md suggests :) |
| 2022-04-15 08:40:38 | <abastro[m]> | Oh. |
| 2022-04-15 08:40:46 | <abastro[m]> | So that's how you install latest xmonad on git! |
| 2022-04-15 08:40:57 | <abastro[m]> | Hm that makes sense, that now I think about it |
| 2022-04-15 08:42:42 | <abastro[m]> | Solid: since you are here, I want to ask.. why is comonoid not used in haskell? In which context would it be used? |
| 2022-04-15 08:42:42 | <abastro[m]> | Thinking about why copattern is relatively not useful now |
| 2022-04-15 08:44:25 | <Solid> | Well the fundamental reason is that Hask, being a closed Cartesian category (if you ignore the stuff about Hask obviously not being a category), does not have non-trivial comonoids (meaning every object is a comonoid in exactly one, and always the same, way) |
| 2022-04-15 08:45:12 | <abastro[m]> | Is it the property of every closed cartesian category? |
| 2022-04-15 08:45:12 | <Solid> | This is why e.g. the Comonad class can get away with a Functor constraint only and not some kind of CoApplicative |
| 2022-04-15 08:45:17 | <Solid> | yes |
All times are in UTC.