| 2025-12-25 00:02:52 +0100 | xstill_ | (xstill@fimu/xstill) (Remote host closed the connection) |
| 2025-12-25 00:03:28 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-25 00:07:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 00:13:03 +0100 | tromp | (~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-25 00:13:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 00:14:20 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-25 00:14:58 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2025-12-25 00:14:58 +0100 | ChanServ | +v haskellbridge |
| 2025-12-25 00:19:01 +0100 | acidjnk | (~acidjnk@p200300d6e7171976e9398c5e79eb1e19.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-12-25 00:22:28 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-25 00:25:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 00:27:27 +0100 | <haskellbridge> | <geekosaur> bridge is back up, since libera thinks they have it under control now |
| 2025-12-25 00:29:17 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2025-12-25 00:30:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 00:33:46 +0100 | athan | (~athan@98.150.233.226) athan |
| 2025-12-25 00:35:47 +0100 | monochrom | (trebla@216.138.220.146) monochrom |
| 2025-12-25 00:36:57 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-25 00:37:36 +0100 | ChanServ | +o monochrom |
| 2025-12-25 00:37:42 +0100 | monochrom | -r |
| 2025-12-25 00:37:48 +0100 | monochrom | -o monochrom |
| 2025-12-25 00:39:26 +0100 | teegs | (~snaesk@177.71.33.140) |
| 2025-12-25 00:39:26 +0100 | wruafa | (~meubing@123.27.7.53) |
| 2025-12-25 00:39:26 +0100 | <wruafa> | NewTobinParadigm: I'm from the Internet and you webkids need to do better. |
| 2025-12-25 00:39:29 +0100 | <teegs> | NewTobinParadigm: I'm from the Internet and you webkids need to do better. |
| 2025-12-25 00:39:40 +0100 | <wruafa> | Rumpledforeskin: Didn't neo-freenode stop users connecting unless they were registered via Web (then SASL)? |
| 2025-12-25 00:39:42 +0100 | <teegs> | Rumpledforeskin: Didn't neo-freenode stop users connecting unless they were registered via Web (then SASL)? |
| 2025-12-25 00:39:44 +0100 | <wruafa> | interdome: 1,8POLICE LINE DO NOT CROSS POLICE LINE DO NOT CROSS POLICE LINE DO NOT CROSS |
| 2025-12-25 00:39:46 +0100 | <teegs> | interdome: 1,8POLICE LINE DO NOT CROSS POLICE LINE DO NOT CROSS POLICE LINE DO NOT CROSS |
| 2025-12-25 00:39:47 +0100 | <wruafa> | acidvegas: .ascii supernets_banner |
| 2025-12-25 00:39:50 +0100 | <teegs> | acidvegas: .ascii supernets_banner |
| 2025-12-25 00:39:51 +0100 | <wruafa> | scroll: ACTION the ascii gods have chosen... 10supernets/supernets_banner |
| 2025-12-25 00:39:52 +0100 | ChanServ | +o monochrom |
| 2025-12-25 00:39:54 +0100 | <teegs> | scroll: ACTION the ascii gods have chosen... 10supernets/supernets_banner |
| 2025-12-25 00:39:55 +0100 | <wruafa> | scroll: 4,12 THIS NETWORK IS BLOWJOBS! GET ON SUPERNETS FOR COLD HARD CHATS NOW |
| 2025-12-25 00:39:57 +0100 | monochrom | +r |
| 2025-12-25 00:39:57 +0100 | <teegs> | scroll: 4,12 THIS NETWORK IS BLOWJOBS! GET ON SUPERNETS FOR COLD HARD CHATS NOW |
| 2025-12-25 00:39:59 +0100 | <wruafa> | scroll: 1,12 1,0 4 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 |
| 2025-12-25 00:40:01 +0100 | <teegs> | scroll: 1,12 1,0 4 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 |
| 2025-12-25 00:40:02 +0100 | <wruafa> | scroll: 1,12 4 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 |
| 2025-12-25 00:40:03 +0100 | monochrom | +b *!*@177.71.33.140 |
| 2025-12-25 00:40:03 +0100 | teegs | monochrom (teegs) |
| 2025-12-25 00:40:06 +0100 | <wruafa> | scroll: 1,12 4 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 |
| 2025-12-25 00:40:08 +0100 | monochrom | +b *!*@123.27.7.53 |
| 2025-12-25 00:40:08 +0100 | wruafa | monochrom (wruafa) |
| 2025-12-25 00:40:29 +0100 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2025-12-25 00:40:54 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 2025-12-25 00:41:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 00:42:41 +0100 | <Googulator> | geekosaur: so much for "in control"... sigh |
| 2025-12-25 00:42:48 +0100 | <geekosaur> | 😞 |
| 2025-12-25 00:42:59 +0100 | <geekosaur> | I figured they'd find a way around it eventually |
| 2025-12-25 00:43:45 +0100 | athan | (~athan@98.150.233.226) (Ping timeout: 256 seconds) |
| 2025-12-25 00:45:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 00:45:50 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-25 00:50:57 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-25 00:53:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 00:58:45 +0100 | <geekosaur> | I absolutely do not envy the poor ircops this evening. raise a toast to them when you get a chance |
| 2025-12-25 00:58:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 00:58:51 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2025-12-25 00:58:51 +0100 | ChanServ | +v haskellbridge |
| 2025-12-25 01:00:01 +0100 | <haskellbridge> | <geekosaur> dropped the bot again |
| 2025-12-25 01:00:46 +0100 | <geekosaur> | lol, that was the one I sent matrix-side after I dropped it 🙂 |
| 2025-12-25 01:02:46 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 246 seconds) |
| 2025-12-25 01:09:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 01:12:24 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-12-25 01:12:28 +0100 | jle` | (~jle`@2603:8001:3b00:11:19da:f73a:84bb:c3b2) (Ping timeout: 260 seconds) |
| 2025-12-25 01:13:08 +0100 | jle` | (~jle`@2603:8001:3b00:11:47ff:a93:5f74:967) jle` |
| 2025-12-25 01:13:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 01:16:37 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 256 seconds) |
| 2025-12-25 01:17:01 +0100 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
| 2025-12-25 01:18:54 +0100 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-12-25 01:19:39 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-12-25 01:24:03 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-25 01:25:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 01:28:52 +0100 | acidjnk | (~acidjnk@p200300d6e7171976b096cfcd17500e96.dip0.t-ipconnect.de) acidjnk |
| 2025-12-25 01:29:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 01:35:40 +0100 | Googulator | (~Googulato@2a01-036d-0106-2af4-d522-88ad-52fa-edd7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-25 01:40:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 01:46:00 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-25 01:46:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 01:56:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 02:01:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 02:07:14 +0100 | <haskellbridge> | <Liamzee> oh cool, so traceIO compared to traceM uses an unsafe import |
| 2025-12-25 02:07:26 +0100 | <haskellbridge> | <Liamzee> so it freezes execution |
| 2025-12-25 02:07:29 +0100 | <haskellbridge> | <Liamzee> hum |
| 2025-12-25 02:08:58 +0100 | <haskellbridge> | <Zemyla> So I'm thinking that, if you have RankNTypes but not GADTs or the type equality constraint, you could express equality with newtype (a :: k) :~: (b :: k) = Refl { runRefl :: forall f. f a -> f b } |
| 2025-12-25 02:11:20 +0100 | <haskellbridge> | <Liamzee> unsafe ccall |
| 2025-12-25 02:12:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 02:13:13 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 02:16:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 02:22:21 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-12-25 02:24:46 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-25 02:25:02 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-25 02:25:17 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-25 02:27:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 02:27:57 +0100 | <ski> | Zemyla : mm, that's Leibniz-style equality. there was someone who had a paper about that (Ralf Hinze, maybe ?) |
| 2025-12-25 02:33:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 02:36:59 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2025-12-25 02:39:46 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-25 02:41:33 +0100 | elarks | (~elarks@user/yerrii) yerrii |
| 2025-12-25 02:43:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 02:48:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 02:51:45 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:19bc:daec:7901:4e6) (Read error: Connection reset by peer) |
| 2025-12-25 02:52:53 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) synchromesh |
| 2025-12-25 02:59:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 03:05:39 +0100 | wennefer96 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 03:06:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-25 03:08:05 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 03:12:15 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 03:14:44 +0100 | wennefer96 | (~wennefer0@user/wennefer0) () |
| 2025-12-25 03:15:30 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 03:16:36 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 03:17:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 03:21:55 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-12-25 03:22:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 03:22:44 +0100 | <haskellbridge> | <Zemyla> You know the IsChar type from Text.Printf? It really should be toCharF :: f a -> f Char and vice versa. |
| 2025-12-25 03:24:17 +0100 | confusedalex_ | (~confuseda@user/confusedalex) confusedalex |
| 2025-12-25 03:24:54 +0100 | confusedalex | (~confuseda@user/confusedalex) (Ping timeout: 260 seconds) |
| 2025-12-25 03:24:54 +0100 | confusedalex_ | confusedalex |
| 2025-12-25 03:33:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 03:37:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 03:48:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 03:53:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 03:56:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-25 04:04:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 04:06:36 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2025-12-25 04:07:35 +0100 | monochrom | (trebla@216.138.220.146) monochrom |
| 2025-12-25 04:09:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 04:16:37 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2025-12-25 04:20:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 04:24:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 04:26:52 +0100 | monochrom | (trebla@216.138.220.146) monochrom |
| 2025-12-25 04:32:31 +0100 | td_ | (~td@i53870917.versanet.de) (Ping timeout: 240 seconds) |
| 2025-12-25 04:33:07 +0100 | acidjnk | (~acidjnk@p200300d6e7171976b096cfcd17500e96.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-12-25 04:35:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 04:42:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 04:45:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 04:49:48 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 265 seconds) |
| 2025-12-25 04:50:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-25 04:54:31 +0100 | <Leary> | Zemyla: RankNTypes also gives you Church encodings for arbitrary GADTs, the direct translation of `:~:` being `newtype a :~: b = WithRefl (forall r. (forall x. r x x) -> r a b)`. |
| 2025-12-25 05:01:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 05:05:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 05:16:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 05:21:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 05:25:13 +0100 | emergence | (emergence@vm0.max-p.me) (Quit: emergence) |
| 2025-12-25 05:25:27 +0100 | emergence | (emergence@vm0.max-p.me) emergence |
| 2025-12-25 05:32:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 05:37:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 05:48:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 05:52:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 06:00:44 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2025-12-25 06:01:02 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-25 06:04:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 06:08:52 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2025-12-25 06:09:11 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-25 06:09:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 06:19:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 06:24:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-25 06:35:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 06:37:37 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: bbl) |
| 2025-12-25 06:40:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 06:51:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 06:56:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 07:00:02 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) (Read error: Connection reset by peer) |
| 2025-12-25 07:01:37 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) synchromesh |
| 2025-12-25 07:07:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 07:12:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 07:17:10 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 07:22:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 07:25:31 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-25 07:25:37 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-25 07:29:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 07:31:48 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-25 07:40:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 07:45:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 07:51:34 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-12-25 07:53:54 +0100 | hsw | (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2025-12-25 07:56:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 08:01:03 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-25 08:01:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 08:11:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 08:15:35 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-12-25 08:17:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 08:27:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 08:28:09 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-25 08:32:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 08:34:47 +0100 | annamalai | (~annamalai@157.32.209.107) (Ping timeout: 250 seconds) |
| 2025-12-25 08:40:30 +0100 | annamalai | (~annamalai@157.32.199.28) annamalai |
| 2025-12-25 08:43:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 08:48:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 09:05:20 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-25 09:07:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 09:12:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 09:15:27 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-25 09:23:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 09:28:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 09:36:16 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 09:39:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 09:44:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-25 09:48:48 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Ping timeout: 252 seconds) |
| 2025-12-25 09:53:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 09:53:40 +0100 | <haskellbridge> | <Liamzee> this is really really cool |
| 2025-12-25 09:53:42 +0100 | <haskellbridge> | <Liamzee> cabal test --enable-coverage |
| 2025-12-25 09:58:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 10:00:12 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 10:02:34 +0100 | ljdarj1 | ljdarj |
| 2025-12-25 10:09:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 10:13:33 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-12-25 10:19:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 10:37:45 +0100 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2025-12-25 10:40:58 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-12-25 10:46:15 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-12-25 10:47:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 10:51:56 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-25 10:54:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 10:58:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 11:01:00 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-25 11:01:50 +0100 | trampi | (~trampi@mx.trampusch.info) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-25 11:02:28 +0100 | trampi | (~trampi@mx.trampusch.info) trampi |
| 2025-12-25 11:04:25 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 246 seconds) |
| 2025-12-25 11:09:39 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) (Read error: Connection reset by peer) |
| 2025-12-25 11:10:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 11:11:19 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) synchromesh |
| 2025-12-25 11:12:07 +0100 | trampi | (~trampi@mx.trampusch.info) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-25 11:13:43 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 2025-12-25 11:15:01 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-25 11:15:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-25 11:15:09 +0100 | <gentauro> | what are those blinking banners? :| |
| 2025-12-25 11:15:56 +0100 | <gentauro> | anyway, I have been a bit of Haskell, but I'm trying to come back. And it seems that `stack` isn't as good as it was before in the days -> https://github.com/haskell/haskell-language-server/issues/4671#issuecomment-3206715247 |
| 2025-12-25 11:16:05 +0100 | <gentauro> | I "rarely" can't build anything :( |
| 2025-12-25 11:18:36 +0100 | trampi | (~trampi@mx.trampusch.info) trampi |
| 2025-12-25 11:18:46 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-12-25 11:20:43 +0100 | trampi | (~trampi@mx.trampusch.info) (Client Quit) |
| 2025-12-25 11:22:25 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 2025-12-25 11:23:26 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-25 11:25:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 11:30:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 11:33:39 +0100 | trampi | (~trampi@mx.trampusch.info) trampi |
| 2025-12-25 11:41:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 11:42:50 +0100 | hapisnake | (~hapisnake@user/hapisnake) hapisnake |
| 2025-12-25 11:43:27 +0100 | acidjnk | (~acidjnk@p200300d6e7171922bda2454d8bce8e38.dip0.t-ipconnect.de) acidjnk |
| 2025-12-25 11:46:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 11:47:18 +0100 | hapisnake | (~hapisnake@user/hapisnake) () |
| 2025-12-25 11:47:24 +0100 | hapisnake | (~hapisnake@user/hapisnake) hapisnake |
| 2025-12-25 11:49:58 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-12-25 11:52:03 +0100 | hapisnake | (~hapisnake@user/hapisnake) (Quit: Client closed) |
| 2025-12-25 11:54:57 +0100 | mulk | (~mulk@pd95143a6.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-12-25 11:55:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 12:02:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 12:02:08 +0100 | mulk | (~mulk@pd95143a6.dip0.t-ipconnect.de) mulk |
| 2025-12-25 12:06:03 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-25 12:08:35 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 240 seconds) |
| 2025-12-25 12:08:55 +0100 | yarl | (~yarl@user/yarl) yarl |
| 2025-12-25 12:13:10 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-12-25 12:13:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 12:18:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-25 12:20:31 +0100 | <yarl> | Hello, I am trying to compile ghc@9.2.8 on aarch64 using same version binary distribution as bootstrap. I got an error at phase_1: https://paste.tomsmeding.com/uemXuvHQ |
| 2025-12-25 12:20:56 +0100 | <yarl> | Any idea? |
| 2025-12-25 12:24:52 +0100 | <yarl> | it is not hidden in dist-boot/package-data.mk and dist-boot/inplace-pkg-config |
| 2025-12-25 12:29:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 12:33:15 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 240 seconds) |
| 2025-12-25 12:34:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 12:35:08 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-12-25 12:45:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 12:46:51 +0100 | <gentauro> | yarl: what does `-notghc-` in the path mean? |
| 2025-12-25 12:50:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-25 12:56:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 13:03:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-25 13:14:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 13:18:01 +0100 | <yarl> | gentauro: That's a personnal hack for guix shell not to try to bring many ghc. |
| 2025-12-25 13:18:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-25 13:20:11 +0100 | <yarl> | As I am trying to get ghc into guix for aarch64. |
| 2025-12-25 13:21:37 +0100 | Jackneill | (~Jackneill@178-164-234-79.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2025-12-25 13:29:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 13:31:43 +0100 | otulp | (~otulp@ti0036a400-1790.bb.online.no) (Quit: Lost terminal) |
| 2025-12-25 13:34:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 13:45:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 13:50:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 13:54:44 +0100 | <sshine> | gentauro, you could just install HLS another way and still use Stack if you like it. |
| 2025-12-25 13:55:00 +0100 | <sshine> | gentauro, I think GHCup comes with an option to install HLS matching your GHC. |
| 2025-12-25 13:57:13 +0100 | <sshine> | gentauro, are you on NixOS? |
| 2025-12-25 13:57:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 14:02:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 14:06:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 14:13:13 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-25 14:13:28 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2025-12-25 14:17:28 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-25 14:18:42 +0100 | <yarl> | Ok |
| 2025-12-25 14:18:50 +0100 | <yarl> | I make one time, error |
| 2025-12-25 14:19:01 +0100 | <yarl> | I make again, It goes on. |
| 2025-12-25 14:19:26 +0100 | <yarl> | Any suggestion? |
| 2025-12-25 14:20:28 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 2025-12-25 14:31:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 14:35:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 14:39:57 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-25 14:42:57 +0100 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2025-12-25 14:45:24 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 14:46:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 14:47:30 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-12-25 14:48:19 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-25 14:48:29 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 14:51:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 14:58:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 15:00:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 15:00:32 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-25 15:02:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-25 15:13:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 15:16:19 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-25 15:17:22 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-25 15:18:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 15:29:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 15:29:47 +0100 | karenw | (~karenw@user/karenw) (Remote host closed the connection) |
| 2025-12-25 15:31:27 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-25 15:34:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-25 15:38:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-12-25 15:45:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 15:47:53 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-25 15:50:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 15:59:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 16:03:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 16:14:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 16:15:31 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 16:17:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-12-25 16:17:39 +0100 | ljdarj1 | ljdarj |
| 2025-12-25 16:19:25 +0100 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Quit: Leaving) |
| 2025-12-25 16:19:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-25 16:21:36 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-12-25 16:22:44 +0100 | <gentauro> | sshine: yeah. NixOS + stack (LTS) + pinned nix packages URL always seemed to work as a charm. But, it doesn't really anymore. |
| 2025-12-25 16:23:09 +0100 | <gentauro> | I might be missing the "new way". |
| 2025-12-25 16:30:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 16:35:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 16:46:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 16:51:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-25 16:52:20 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-25 16:54:38 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-25 16:55:08 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 260 seconds) |
| 2025-12-25 16:56:37 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 2025-12-25 16:59:43 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |
| 2025-12-25 17:00:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 17:06:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 17:14:22 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-25 17:18:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 17:22:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 17:27:08 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-25 17:27:56 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 17:28:22 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 2025-12-25 17:30:01 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 17:30:09 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-12-25 17:31:54 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-12-25 17:34:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 17:38:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 17:39:42 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 17:43:08 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 17:43:23 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 17:45:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-25 17:46:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 17:46:07 +0100 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-12-25 17:47:07 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 17:47:26 +0100 | jrm | (~jrm@user/jrm) jrm |
| 2025-12-25 17:49:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 17:50:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-25 17:50:15 +0100 | ljdarj1 | ljdarj |
| 2025-12-25 17:52:50 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-12-25 17:54:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 17:58:21 +0100 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-12-25 17:58:37 +0100 | jrm | (~jrm@user/jrm) jrm |
| 2025-12-25 17:58:49 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2025-12-25 18:01:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 18:04:58 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-25 18:06:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 18:10:17 +0100 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-12-25 18:10:32 +0100 | jrm | (~jrm@user/jrm) jrm |
| 2025-12-25 18:17:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 18:22:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 18:23:56 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-25 18:25:04 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 18:30:51 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-25 18:31:24 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-25 18:32:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 18:36:49 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Quit: Ping timeout (120 seconds)) |
| 2025-12-25 18:37:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 18:37:28 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 18:39:34 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-25 18:48:15 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 240 seconds) |
| 2025-12-25 18:48:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 18:55:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 18:57:13 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-25 18:58:48 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2025-12-25 18:59:28 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-12-25 19:01:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 19:02:31 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-25 19:02:37 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 19:03:42 +0100 | <sm> | gentauro, stack is better than ever - wasn't that a problem with haskell-language-server ? |
| 2025-12-25 19:04:56 +0100 | ljdarj1 | ljdarj |
| 2025-12-25 19:05:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-25 19:10:03 +0100 | <haskellbridge> | <pennychase> /whois wennefer0 |
| 2025-12-25 19:15:00 +0100 | emergence | (emergence@vm0.max-p.me) (Quit: emergence) |
| 2025-12-25 19:15:15 +0100 | emergence | (emergence@vm0.max-p.me) emergence |
| 2025-12-25 19:15:29 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 19:15:50 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-12-25 19:16:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 19:18:37 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-12-25 19:19:03 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 19:20:21 +0100 | emergence | (emergence@vm0.max-p.me) (Quit: emergence) |
| 2025-12-25 19:20:35 +0100 | emergence | (emergence@vm0.max-p.me) emergence |
| 2025-12-25 19:21:04 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 19:21:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 19:23:10 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-12-25 19:25:31 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-12-25 19:27:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 19:30:36 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 19:32:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 19:37:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 19:39:39 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-25 19:42:11 +0100 | target_i_ | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-25 19:42:21 +0100 | target_i_ | (~target_i@user/target-i/x-6023099) (Client Quit) |
| 2025-12-25 19:43:43 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 240 seconds) |
| 2025-12-25 19:43:46 +0100 | target_i_ | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-25 19:44:36 +0100 | target_i_ | target_i |
| 2025-12-25 19:44:50 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Client Quit) |
| 2025-12-25 19:45:43 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-25 19:48:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 19:51:01 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-25 19:53:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-25 19:56:19 +0100 | wennefer0_79 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 19:58:05 +0100 | wennefer0_79 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 19:58:22 +0100 | wennefer0_73 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 19:58:45 +0100 | wennefer0_73 | (~wennefer0@user/wennefer0) () |
| 2025-12-25 19:59:12 +0100 | wennefer0_73 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 20:00:30 +0100 | wennefer0_73 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 20:02:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 20:06:51 +0100 | wennefer0__ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 20:07:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 20:09:25 +0100 | wennefer0__ | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 20:09:35 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-25 20:18:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 20:22:57 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-25 20:23:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 20:24:17 +0100 | wennefer0___ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 20:26:29 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-25 20:27:00 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Quit: Client closed) |
| 2025-12-25 20:27:00 +0100 | wennefer0___ | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 20:29:34 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 20:31:20 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 20:33:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 20:34:55 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2025-12-25 20:36:06 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-25 20:37:02 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 20:40:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 20:40:45 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-12-25 20:41:33 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 20:48:16 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 20:51:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 20:56:31 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 20:56:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-25 20:58:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-12-25 20:58:55 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 21:01:13 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-12-25 21:01:49 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-12-25 21:03:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 21:07:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 21:11:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 21:15:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 21:16:59 +0100 | sroso | (~sroso@user/SrOso) SrOso |
| 2025-12-25 21:26:34 +0100 | pebble | (~pebble@37.63.33.138) pebble |
| 2025-12-25 21:26:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 21:31:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 21:42:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 21:47:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 21:51:23 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-25 21:58:00 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-25 21:58:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 22:01:25 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-25 22:01:30 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 22:03:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 22:03:49 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-12-25 22:03:54 +0100 | ljdarj1 | ljdarj |
| 2025-12-25 22:04:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 22:05:09 +0100 | pebble | (~pebble@37.63.33.138) (Read error: Connection reset by peer) |
| 2025-12-25 22:09:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 22:14:43 +0100 | <yin> | I remember having haskell-language-server-wrapper |
| 2025-12-25 22:17:18 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 22:20:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 22:20:58 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 22:21:30 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 22:22:50 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-12-25 22:22:50 +0100 | ljdarj1 | ljdarj |
| 2025-12-25 22:23:06 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-25 22:27:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 22:29:35 +0100 | ChanServ | +o litharge |
| 2025-12-25 22:29:36 +0100 | litharge | -bo *!*@201.162.102.109 litharge |
| 2025-12-25 22:36:24 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2025-12-25 22:38:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 22:40:22 +0100 | <haskellbridge> | <Morj> What do you mean remember, I still have it |
| 2025-12-25 22:40:30 +0100 | ChanServ | +o litharge |
| 2025-12-25 22:40:31 +0100 | litharge | -bo *!*@170.203.120.33 litharge |
| 2025-12-25 22:40:55 +0100 | ChanServ | +o litharge |
| 2025-12-25 22:40:55 +0100 | litharge | -bo *!*@170-233-51-4.static.sumicity.net.br litharge |
| 2025-12-25 22:42:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 22:43:54 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-25 22:46:31 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 22:46:46 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-12-25 22:49:28 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 2025-12-25 22:49:54 +0100 | ChanServ | +o litharge |
| 2025-12-25 22:49:55 +0100 | litharge | -bo *!*@38.191.212.34 litharge |
| 2025-12-25 22:52:54 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-25 22:54:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 22:54:08 +0100 | img | (~img@user/img) img |
| 2025-12-25 22:55:51 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-12-25 22:57:37 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-25 22:57:45 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-25 22:58:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-25 23:09:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 23:15:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 23:19:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-25 23:20:45 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 23:25:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |