| 2021-10-31 01:22:31 +0000 | electr0n | (~electr0n@about/security/founder/electr0n) (Quit: WeeChat 3.3) |
| 2021-10-31 01:58:47 +0000 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2021-10-31 01:58:47 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-10-31 01:58:50 +0000 | allbery_b | geekosaur |
| 2021-10-31 02:41:47 +0000 | catman | (~catman@user/catman) |
| 2021-10-31 03:02:26 +0000 | trillp | (~trillp@69.233.98.238) (Quit: nyaa~) |
| 2021-10-31 03:02:47 +0000 | banc | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 264 seconds) |
| 2021-10-31 03:15:06 +0000 | td_ | (~td@muedsl-82-207-238-113.citykom.de) (Ping timeout: 245 seconds) |
| 2021-10-31 03:22:02 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-10-31 03:22:36 +0000 | banc | (banc@gateway/vpn/airvpn/banc) |
| 2021-10-31 03:26:51 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-10-31 04:46:58 +0000 | gruntsplatter | (~sogens@gateway/vpn/pia/sogens) (Quit: WeeChat 3.3) |
| 2021-10-31 04:49:38 +0000 | Extropy | (~extropy@gateway/tor-sasl/extropy) (Quit: WeeChat 3.3) |
| 2021-10-31 04:50:02 +0000 | mvk | (~mvk@2607:fea8:5cc1:300::d3fb) |
| 2021-10-31 04:51:00 +0000 | Extropy | (~extropy@gateway/tor-sasl/extropy) |
| 2021-10-31 06:17:57 +0000 | electr0n | (~electr0n@about/security/founder/electr0n) |
| 2021-10-31 07:08:02 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-10-31 07:20:47 +0000 | mvk | (~mvk@2607:fea8:5cc1:300::d3fb) (Ping timeout: 264 seconds) |
| 2021-10-31 07:23:05 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-10-31 07:52:06 +0000 | electr0n | (~electr0n@about/security/founder/electr0n) (Quit: WeeChat 3.3) |
| 2021-10-31 08:19:06 +0000 | Extropy | (~extropy@gateway/tor-sasl/extropy) (Ping timeout: 276 seconds) |
| 2021-10-31 08:20:55 +0000 | Extropy | (~extropy@gateway/tor-sasl/extropy) |
| 2021-10-31 08:48:53 +0000 | qbt | (~qbt@user/edun) |
| 2021-10-31 08:49:02 +0000 | qbt | (~qbt@user/edun) (Client Quit) |
| 2021-10-31 08:58:49 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-10-31 09:00:10 +0000 | jceb[m] | (~jcebmatri@2001:470:69fc:105::1396) (Quit: You have been kicked for being idle) |
| 2021-10-31 09:46:19 +0000 | seschwar | (~seschwar@user/seschwar) |
| 2021-10-31 12:06:09 +0000 | alternateved | (~user@staticline-31-183-149-3.toya.net.pl) |
| 2021-10-31 12:21:07 +0000 | qbt | (~qbt@user/edun) |
| 2021-10-31 12:21:07 +0000 | qbt | (~qbt@user/edun) (Client Quit) |
| 2021-10-31 13:21:00 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-10-31 13:28:43 +0000 | thunderrd | (~thunderrd@183.182.115.101) (Ping timeout: 268 seconds) |
| 2021-10-31 13:40:53 +0000 | thunderrd | (~thunderrd@183.182.110.1) |
| 2021-10-31 13:42:41 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-10-31 14:13:27 +0000 | humky | (~humky@user/humky) |
| 2021-10-31 16:08:43 +0000 | alternateved | (~user@staticline-31-183-149-3.toya.net.pl) (Quit: Fading out...) |
| 2021-10-31 17:45:02 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-10-31 17:46:41 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-10-31 17:49:05 +0000 | alternateved | (~user@staticline-31-183-149-3.toya.net.pl) |
| 2021-10-31 18:00:30 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-10-31 18:02:09 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-10-31 18:26:12 +0000 | catman | (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 2021-10-31 18:51:18 +0000 | catman | (~catman@user/catman) |
| 2021-10-31 19:16:25 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-10-31 19:17:15 +0000 | <gehmehgeh> | euhm. Can xmonad take care of tearing / vsync? |
| 2021-10-31 19:19:37 +0000 | <L29Ah> | no |
| 2021-10-31 19:19:39 +0000 | <L29Ah> | but picom can |
| 2021-10-31 19:20:25 +0000 | <gehmehgeh> | ah, great. Good idea. |
| 2021-10-31 19:20:30 +0000 | <gehmehgeh> | I've heard of picom. |
| 2021-10-31 19:24:40 +0000 | <gehmehgeh> | L29Ah: ha, thanks again. That worked. |
| 2021-10-31 19:27:16 +0000 | mariari | (~mariari@user/mariari) (Quit: WeeChat 3.3) |
| 2021-10-31 19:30:30 +0000 | <geekosaur> | yeh, vsync requires something lower level than a window manager, either picom or xorg driver config |
| 2021-10-31 19:31:20 +0000 | mariari | (~mariari@user/mariari) |
| 2021-10-31 19:33:16 +0000 | <gehmehgeh> | geekosaur: yep |
| 2021-10-31 19:38:39 +0000 | <gehmehgeh> | hmm, the "no-fading-openclose" option doesn't seem to apply when I switch virtual desktops |
| 2021-10-31 19:38:43 +0000 | <gehmehgeh> | (in picom) |
| 2021-10-31 19:39:00 +0000 | <gehmehgeh> | hmm, Imma look for some config that turns everything off except the vsync |
| 2021-10-31 19:43:27 +0000 | <gehmehgeh> | Cool. Thanks everyone :) |
| 2021-10-31 19:56:20 +0000 | <L29Ah> | gehmehgeh: picom --vsync --backend glx --glx-no-stencil --glx-no-rebind-pixmap --use-damage |
| 2021-10-31 19:56:27 +0000 | L29Ah | uses this |
| 2021-10-31 19:56:53 +0000 | <L29Ah> | but when xmonad's fullscreen extension doesn't segfault xmonad, it can make mpv behave w/o tearing |
| 2021-10-31 19:57:01 +0000 | <L29Ah> | w/o picom |
| 2021-10-31 19:57:05 +0000 | <gehmehgeh> | ah |
| 2021-10-31 19:57:11 +0000 | <geekosaur> | uh |
| 2021-10-31 19:57:19 +0000 | <geekosaur> | you have segfaults? |
| 2021-10-31 19:57:19 +0000 | <L29Ah> | but picom is awesome because with --dbus you can use https://github.com/xmonad/xmonad-extras/pull/32 |
| 2021-10-31 19:57:23 +0000 | <gehmehgeh> | well I use a config file |
| 2021-10-31 19:57:29 +0000 | <L29Ah> | geekosaur: https://github.com/xmonad/xmonad/issues/328 |
| 2021-10-31 19:57:35 +0000 | <geekosaur> | oh |
| 2021-10-31 19:57:49 +0000 | <geekosaur> | I still want to see a gdb backtrace, for what good it'll do |
| 2021-10-31 19:58:20 +0000 | <L29Ah> | you didn't ask for it so i didn't preserve it :/ |
| 2021-10-31 19:58:46 +0000 | <gehmehgeh> | L29Ah: do you still have the core dump? |
| 2021-10-31 19:58:47 +0000 | <geekosaur> | may need to build xmonad with debugging turned on and/or system package debug symbols installed, for it to make sense |
| 2021-10-31 19:59:18 +0000 | <L29Ah> | gehmehgeh: even if i had, the binary is long gone |
| 2021-10-31 19:59:23 +0000 | <gehmehgeh> | ah, ok |
| 2021-10-31 19:59:47 +0000 | <geekosaur> | hm, I thought I had asked for it, but it looks like there's already at least a partial backtrace in that issue |
| 2021-10-31 20:02:03 +0000 | <geekosaur> | xmonad-0zi16zi99999zm1NVWfzz55W6QFvQzzDgdWm3D_XMonad.Core_$fLayoutClassLayoutWord64_.chandleMessage_info I think. (I need to write a z-code expander someday) |
| 2021-10-31 20:03:42 +0000 | <geekosaur> | eurgh, that looks bad. we should not be dumping core there. otoh you did say 9.0.1 and that's a pretty buggy ghc release |
| 2021-10-31 20:04:00 +0000 | <geekosaur> | 9.2.1 fixes most / hopefully all of the bugs |
| 2021-10-31 20:05:45 +0000 | <geekosaur> | (but we have an open pr fixing pattern match failures that 9.2.1 uncovers, so 8.10.7 may be preferable) |
| 2021-10-31 20:09:29 +0000 | <L29Ah> | ok i'll hop on 9.2.1 as soon as it's in Gentoo |
| 2021-10-31 20:10:59 +0000 | <geekosaur> | I'm kinda hard put to figure how it would be dumping core while evaluating a message unless it's either a ghc bug or undetected heap corruption from an earlier ffi call |
| 2021-10-31 20:11:40 +0000 | <geekosaur> | problem is, the latter are still soemwhat likely because xmonad/X11 very badly needs a full audit to make sure we're properly handling all possible X11 returns/errors |
| 2021-10-31 20:20:15 +0000 | <gehmehgeh> | L29Ah: Thanks again for sharing your picom settings :) |
| 2021-10-31 20:41:48 +0000 | catman | (~catman@user/catman) (Read error: Connection reset by peer) |
| 2021-10-31 20:42:24 +0000 | mvk | (~mvk@2607:fea8:5cc1:300::d3fb) |
| 2021-10-31 20:46:39 +0000 | banc- | (banc@gateway/vpn/airvpn/banc) |
| 2021-10-31 20:47:14 +0000 | banc | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 260 seconds) |
| 2021-10-31 20:47:21 +0000 | <L29Ah> | geekosaur: can i ask ghc for asan or smth? |
| 2021-10-31 20:48:15 +0000 | catman | (~catman@user/catman) |
| 2021-10-31 20:49:19 +0000 | <geekosaur> | I don't think asan will work with the 2-stage allocator? |
| 2021-10-31 20:49:51 +0000 | <geekosaur> | and I doubt asan can make any sense of ghc's heap (or its stack, since it doesn't have one in the normal sense) |
| 2021-10-31 20:51:04 +0000 | <liskin> | note that the pattern match failures are just warnings, it all builds just fine without pedantic |
| 2021-10-31 20:51:42 +0000 | <liskin> | one needs to allow-newer: setlocale:base, hsc2hs:base, though |
| 2021-10-31 20:52:34 +0000 | <geekosaur> | wonder how hard it would be to allow xmonad or -contrib to use head.hackage |
| 2021-10-31 20:53:07 +0000 | <liskin> | probably a single line in cabal.haskell-ci? |
| 2021-10-31 20:53:45 +0000 | <liskin> | oh, head.hackage is something else |
| 2021-10-31 20:54:14 +0000 | <geekosaur> | right, it's a set of patches used to build hackage packages with development ghc versions |
| 2021-10-31 20:54:31 +0000 | <geekosaur> | think it's part of the ghc repo |
| 2021-10-31 20:55:23 +0000 | <liskin> | still, haskell-ci should just handle that |
| 2021-10-31 21:01:16 +0000 | mestre | (~mestre@191.177.175.57) |
| 2021-10-31 21:19:37 +0000 | alternateved | (~user@staticline-31-183-149-3.toya.net.pl) (Remote host closed the connection) |
| 2021-10-31 21:52:24 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-10-31 21:58:53 +0000 | mestre | (~mestre@191.177.175.57) (Quit: Lost terminal) |
| 2021-10-31 22:01:14 +0000 | <liskin> | oh crap, ppOrder = \(_:_:windowTitle:_) -> … now triggers Pattern match(es) are non-exhaustive :-( |
| 2021-10-31 22:01:39 +0000 | <liskin> | up until now it felt like these are maybe useful warnings, but this is just ugly :-/ |
| 2021-10-31 22:01:46 +0000 | <liskin> | what a waste of time |
| 2021-10-31 22:03:46 +0000 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/blob/pyanfar/xmonad.hs#L277-L279 |
| 2021-10-31 22:08:11 +0000 | <liskin> | geekosaur: thx |
| 2021-10-31 22:08:27 +0000 | <liskin> | this is way better than anything I was going to come up with :-) |
| 2021-10-31 22:09:18 +0000 | <geekosaur> | well, I meant that more as in "but that pattern *can* in fact not match, for unknown reasons" |
| 2021-10-31 22:09:31 +0000 | <geekosaur> | or at least I was never able to figure them out |
| 2021-10-31 22:10:10 +0000 | <liskin> | with dynamicLogString it most certainly can not |
| 2021-10-31 22:10:12 +0000 | <geekosaur> | *one* of them might be because I was firing logHook off from startupHook and maybe the layoutHook hadn't done anything yet. but the other three? |
| 2021-10-31 22:10:44 +0000 | <liskin> | I mean, with dynamicLogString being the only caller of ppOrder |
| 2021-10-31 22:10:54 +0000 | <liskin> | which isn't guaranteed in any way |
| 2021-10-31 22:10:58 +0000 | <liskin> | so… whatever :-) |
| 2021-10-31 22:15:45 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-10-31 22:31:15 +0000 | humky_ | (~humky@user/humky) |
| 2021-10-31 22:33:26 +0000 | humky | (~humky@user/humky) (Ping timeout: 245 seconds) |
| 2021-10-31 22:36:42 +0000 | humky_ | (~humky@user/humky) (Remote host closed the connection) |
| 2021-10-31 22:36:58 +0000 | humky | (~humky@user/humky) |
| 2021-10-31 22:42:42 +0000 | alternateved | (~user@staticline-31-183-149-3.toya.net.pl) |
| 2021-10-31 22:51:14 +0000 | humky_ | (~humky@user/humky) |
| 2021-10-31 22:53:42 +0000 | humky | (~humky@user/humky) (Ping timeout: 260 seconds) |
| 2021-10-31 23:07:31 +0000 | humky_ | (~humky@user/humky) (Quit: Leaving) |
| 2021-10-31 23:09:16 +0000 | gruntsplatter | (~sogens@gateway/vpn/pia/sogens) |
| 2021-10-31 23:12:49 +0000 | seschwar | (~seschwar@user/seschwar) (Quit: :wq) |
| 2021-10-31 23:15:02 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-10-31 23:15:22 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |