2023-09-19 00:57:03 +0200 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) (Server closed connection) |
2023-09-19 00:57:23 +0200 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) |
2023-09-19 02:18:03 +0200 | geekosaur[c] | (sid609282@xmonad/geekosaur) (Server closed connection) |
2023-09-19 02:18:15 +0200 | geekosaur[c] | (sid609282@xmonad/geekosaur) |
2023-09-19 04:26:04 +0200 | catman | (~catman@user/catman) |
2023-09-19 04:40:05 +0200 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 240 seconds) |
2023-09-19 04:41:52 +0200 | td_ | (~td@i5387090C.versanet.de) |
2023-09-19 04:42:06 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-30-70-51-230-102.dsl.bell.ca) |
2023-09-19 04:52:55 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-30-70-51-230-102.dsl.bell.ca) (Ping timeout: 244 seconds) |
2023-09-19 05:08:23 +0200 | cayley5 | (~42cayley@user/phileasfogg) |
2023-09-19 05:42:17 +0200 | haskl | (~haskl@user/haskl) (Read error: Connection reset by peer) |
2023-09-19 05:44:25 +0200 | haskl | (~haskl@user/haskl) |
2023-09-19 05:46:49 +0200 | haskl | (~haskl@user/haskl) (Read error: Connection reset by peer) |
2023-09-19 05:48:47 +0200 | haskl | (~haskl@user/haskl) |
2023-09-19 07:41:04 +0200 | <haskellbridge> | <g​alactic_starfish> What happened to lambdabot? |
2023-09-19 09:06:34 +0200 | cfricke | (~cfricke@user/cfricke) |
2023-09-19 09:40:51 +0200 | <Solid> | lambdabot is still here and doing fine |
2023-09-19 09:40:56 +0200 | <Solid> | but it was never a bridge to matrix |
2023-09-19 09:41:39 +0200 | <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 09:41:55 +0200 | <Solid> | There's a new system now, I think; haven't looked into it too deeply |
2023-09-19 10:20:44 +0200 | <liskin> | Solid: what new system? |
2023-09-19 10:25:34 +0200 | <Solid> | liskin: https://www.matrix.org/blog/2023/07/make-sure-libera-bridge-keeps-working/ |
2023-09-19 10:25:45 +0200 | <Solid> | apparently there is now a concept of a "plumbed room" |
2023-09-19 10:26:00 +0200 | <liskin> | Solid: there's always been that concept actually |
2023-09-19 10:26:13 +0200 | <liskin> | #xmonad:matrix.org is a plumbed room |
2023-09-19 10:27:00 +0200 | <Solid> | huh, curious |
2023-09-19 10:27:03 +0200 | catern | (sid604849@id-604849.lymington.irccloud.com) (Server closed connection) |
2023-09-19 10:27:13 +0200 | catern | (sid604849@id-604849.lymington.irccloud.com) |
2023-09-19 10:28:03 +0200 | <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 10:28:18 +0200 | <liskin> | plumbing turns a normal Matrix room into a "bridged" one |
2023-09-19 10:28:33 +0200 | <liskin> | but that no longer works because the entire matrix-libera bridge is shut down |
2023-09-19 10:30:20 +0200 | <liskin> | hm, nheko does look a bit better than Element, yeah |
2023-09-19 10:30:45 +0200 | <liskin> | pretty subpixel antialiased and positioned fonts of my choosing \o/ |
2023-09-19 10:31:08 +0200 | <liskin> | but it looks like a version 1.0 IRC client from the early 2000s |
2023-09-19 10:31:18 +0200 | <liskin> | where nick colors |
2023-09-19 10:31:50 +0200 | <liskin> | and yeah spaces work now too |
2023-09-19 10:59:06 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2023-09-19 11:51:57 +0200 | <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 11:52:32 +0200 | <liskin> | wonderful. 5 stars for user experience, Matrix |
2023-09-19 11:53:18 +0200 | <liskin> | now let's see if the Fediverse (Mastodon etc.) can be even worse than that :-D |
2023-09-19 12:04:13 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
2023-09-19 13:55:17 +0200 | cayley5 | cayley10 |
2023-09-19 13:58:44 +0200 | cayley10 | cayley5_ |
2023-09-19 14:02:14 +0200 | cayley5 | (~cayley5@user/phileasfogg) |
2023-09-19 14:56:59 +0200 | kagenao | (~Thunderbi@p200300cfc71191ea08475a024c8ee057.dip0.t-ipconnect.de) |
2023-09-19 14:57:21 +0200 | kagenao | (~Thunderbi@p200300cfc71191ea08475a024c8ee057.dip0.t-ipconnect.de) () |
2023-09-19 15:12:09 +0200 | tremon | (~tremon@83.80.159.219) |
2023-09-19 15:25:32 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
2023-09-19 16:05:18 +0200 | MrElendig | mion |
2023-09-19 16:09:03 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (Server closed connection) |
2023-09-19 16:09:28 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) |
2023-09-19 17:17:52 +0200 | <geekosaur> | aaaand today setlocale builds unmodified with 9.8 again. I'm mystified. so is Kritzefitz. ??? |
2023-09-19 17:18:36 +0200 | <liskin> | Different snapshot of 9.8 I presume? |
2023-09-19 17:18:51 +0200 | <geekosaur> | No changes over the past 3 weeks |
2023-09-19 17:18:58 +0200 | <geekosaur> | still waiting on alpha4 |
2023-09-19 17:19:54 +0200 | <geekosaur> | and I'm sure I'm doing the same thing because I put it all in a cabal.project |
2023-09-19 17:21:02 +0200 | <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 17:23:28 +0200 | <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 17:32:54 +0200 | <liskin> | Hm, and same hsc2hs too? |
2023-09-19 17:38:25 +0200 | <geekosaur> | shouldn't matter but yes |
2023-09-19 17:38:33 +0200 | <geekosaur> | hsc2hs isn't involved with `deriving` |
2023-09-19 17:59:54 +0200 | <liskin> | Yah but you mentioned having to use a different version than what ships with ghc |
2023-09-19 17:59:59 +0200 | <liskin> | Or am I misremembering? |
2023-09-19 18:01:30 +0200 | <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 18:02:15 +0200 | <geekosaur> | in any case it's the same one |
2023-09-19 18:04:10 +0200 | <geekosaur> | flushed everything and trying it again jic |
2023-09-19 18:04:42 +0200 | <geekosaur> | and it succeeded again |
2023-09-19 19:15:29 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2023-09-19 22:46:02 +0200 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 244 seconds) |
2023-09-19 22:47:49 +0200 | td_ | (~td@i53870901.versanet.de) |
2023-09-19 23:57:13 +0200 | vanvik | (~vanvik@78.156.11.181) (Ping timeout: 240 seconds) |