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