| 2023-09-19 00:18:03 +0000 | geekosaur[c] | (sid609282@xmonad/geekosaur) (Server closed connection) |
| 2023-09-19 00:18:15 +0000 | geekosaur[c] | (sid609282@xmonad/geekosaur) |
| 2023-09-19 02:26:04 +0000 | catman | (~catman@user/catman) |
| 2023-09-19 02:40:05 +0000 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 240 seconds) |
| 2023-09-19 02:41:52 +0000 | td_ | (~td@i5387090C.versanet.de) |
| 2023-09-19 02:42:06 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-30-70-51-230-102.dsl.bell.ca) |
| 2023-09-19 02:52:55 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-30-70-51-230-102.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 2023-09-19 03:08:23 +0000 | cayley5 | (~42cayley@user/phileasfogg) |
| 2023-09-19 03:42:17 +0000 | haskl | (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 2023-09-19 03:44:25 +0000 | haskl | (~haskl@user/haskl) |
| 2023-09-19 03:46:49 +0000 | haskl | (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 2023-09-19 03:48:47 +0000 | haskl | (~haskl@user/haskl) |
| 2023-09-19 05:41:04 +0000 | <haskellbridge> | <galactic_starfish> What happened to lambdabot? |
| 2023-09-19 07:06:34 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-09-19 07:40:51 +0000 | <Solid> | lambdabot is still here and doing fine |
| 2023-09-19 07:40:56 +0000 | <Solid> | but it was never a bridge to matrix |
| 2023-09-19 07:41:39 +0000 | <Solid> | AFAIK what happened is that the Libera people asked matrix.org to discontinue the unconditional bridging of all Libera.chat IRC channels |
| 2023-09-19 07:41:55 +0000 | <Solid> | There's a new system now, I think; haven't looked into it too deeply |
| 2023-09-19 08:20:44 +0000 | <liskin> | Solid: what new system? |
| 2023-09-19 08:25:34 +0000 | <Solid> | liskin: https://www.matrix.org/blog/2023/07/make-sure-libera-bridge-keeps-working/ |
| 2023-09-19 08:25:45 +0000 | <Solid> | apparently there is now a concept of a "plumbed room" |
| 2023-09-19 08:26:00 +0000 | <liskin> | Solid: there's always been that concept actually |
| 2023-09-19 08:26:13 +0000 | <liskin> | #xmonad:matrix.org is a plumbed room |
| 2023-09-19 08:27:00 +0000 | <Solid> | huh, curious |
| 2023-09-19 08:27:03 +0000 | catern | (sid604849@id-604849.lymington.irccloud.com) (Server closed connection) |
| 2023-09-19 08:27:13 +0000 | catern | (sid604849@id-604849.lymington.irccloud.com) |
| 2023-09-19 08:28:03 +0000 | <liskin> | I set it up that way because it used to be a normal Matrix room that people would find in the search and then be confused why none of us is there |
| 2023-09-19 08:28:18 +0000 | <liskin> | plumbing turns a normal Matrix room into a "bridged" one |
| 2023-09-19 08:28:33 +0000 | <liskin> | but that no longer works because the entire matrix-libera bridge is shut down |
| 2023-09-19 08:30:20 +0000 | <liskin> | hm, nheko does look a bit better than Element, yeah |
| 2023-09-19 08:30:45 +0000 | <liskin> | pretty subpixel antialiased and positioned fonts of my choosing \o/ |
| 2023-09-19 08:31:08 +0000 | <liskin> | but it looks like a version 1.0 IRC client from the early 2000s |
| 2023-09-19 08:31:18 +0000 | <liskin> | where nick colors |
| 2023-09-19 08:31:50 +0000 | <liskin> | and yeah spaces work now too |
| 2023-09-19 08:59:06 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-09-19 09:51:57 +0000 | <liskin> | yeah, so, gomuks for actually chatting with people, nheko for doing stuff that gomuks can't do, and element as a fallback for the rest |
| 2023-09-19 09:52:32 +0000 | <liskin> | wonderful. 5 stars for user experience, Matrix |
| 2023-09-19 09:53:18 +0000 | <liskin> | now let's see if the Fediverse (Mastodon etc.) can be even worse than that :-D |
| 2023-09-19 10:04:13 +0000 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-09-19 11:55:17 +0000 | cayley5 | cayley10 |
| 2023-09-19 11:58:44 +0000 | cayley10 | cayley5_ |
| 2023-09-19 12:02:14 +0000 | cayley5 | (~cayley5@user/phileasfogg) |
| 2023-09-19 12:56:59 +0000 | kagenao | (~Thunderbi@p200300cfc71191ea08475a024c8ee057.dip0.t-ipconnect.de) |
| 2023-09-19 12:57:21 +0000 | kagenao | (~Thunderbi@p200300cfc71191ea08475a024c8ee057.dip0.t-ipconnect.de) () |
| 2023-09-19 13:12:09 +0000 | tremon | (~tremon@83.80.159.219) |
| 2023-09-19 13:25:32 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 2023-09-19 14:05:18 +0000 | MrElendig | mion |
| 2023-09-19 14:09:03 +0000 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (Server closed connection) |
| 2023-09-19 14:09:28 +0000 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) |
| 2023-09-19 15:17:52 +0000 | <geekosaur> | aaaand today setlocale builds unmodified with 9.8 again. I'm mystified. so is Kritzefitz. ??? |
| 2023-09-19 15:18:36 +0000 | <liskin> | Different snapshot of 9.8 I presume? |
| 2023-09-19 15:18:51 +0000 | <geekosaur> | No changes over the past 3 weeks |
| 2023-09-19 15:18:58 +0000 | <geekosaur> | still waiting on alpha4 |
| 2023-09-19 15:19:54 +0000 | <geekosaur> | and I'm sure I'm doing the same thing because I put it all in a cabal.project |
| 2023-09-19 15:21:02 +0000 | <geekosaur> | only things I can figure are either 9.8 has a nondeterministic bug (seems really unlikely) or there's some very strange caching bug with my external drive (which also seems unlikely, except there have been a few other caching weirdnesses) |
| 2023-09-19 15:23:28 +0000 | <geekosaur> | I guess I'll worry about it again if we get any reports about xmonad building with 9.8 in the wild |
| 2023-09-19 15:32:54 +0000 | <liskin> | Hm, and same hsc2hs too? |
| 2023-09-19 15:38:25 +0000 | <geekosaur> | shouldn't matter but yes |
| 2023-09-19 15:38:33 +0000 | <geekosaur> | hsc2hs isn't involved with `deriving` |
| 2023-09-19 15:59:54 +0000 | <liskin> | Yah but you mentioned having to use a different version than what ships with ghc |
| 2023-09-19 15:59:59 +0000 | <liskin> | Or am I misremembering? |
| 2023-09-19 16:01:30 +0000 | <geekosaur> | in both cases it's using the latest one from hackage. don't recall how to bend build-tool-depends to allow newer versions |
| 2023-09-19 16:02:15 +0000 | <geekosaur> | in any case it's the same one |
| 2023-09-19 16:04:10 +0000 | <geekosaur> | flushed everything and trying it again jic |
| 2023-09-19 16:04:42 +0000 | <geekosaur> | and it succeeded again |
| 2023-09-19 17:15:29 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-09-19 20:46:02 +0000 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 244 seconds) |
| 2023-09-19 20:47:49 +0000 | td_ | (~td@i53870901.versanet.de) |
| 2023-09-19 21:57:13 +0000 | vanvik | (~vanvik@78.156.11.181) (Ping timeout: 240 seconds) |
| 2023-09-19 22:00:38 +0000 | vanvik | (~vanvik@78.156.11.181) |
| 2023-09-19 22:03:57 +0000 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 2023-09-19 22:24:12 +0000 | scardinal | (~supreme@87.61.100.169) (Ping timeout: 244 seconds) |
| 2023-09-19 22:26:19 +0000 | scardinal | (~supreme@87.61.100.169) |
| 2023-09-19 23:31:03 +0000 | <hightower2> | hey which variable/option controls spacing between windows? not asking about border width, but about padding/spacing in between basically |
| 2023-09-19 23:42:56 +0000 | <geekosaur> | you want XMonad.Layout.Spacing |
| 2023-09-19 23:43:51 +0000 | <geekosaur> | spacingRaw gives you full control, there are other layout modifiers that are easier to you |
| 2023-09-19 23:46:28 +0000 | <geekosaur> | the main thing to watch out for is that spacing is applied all around every window, so if you naïvely set a spacing of 10 then you'll get 20px spacing between windows because it'll be 10px from each window |
| 2023-09-19 23:49:04 +0000 | <geekosaur> | and similarly between windows and the screen edges (first spacing tuple to spacingRaw is screen border) |