| 2025-12-25 00:00:01 +0000 | <haskellbridge> | <geekosaur> dropped the bot again |
| 2025-12-25 00:00:46 +0000 | <geekosaur> | lol, that was the one I sent matrix-side after I dropped it 🙂 |
| 2025-12-25 00:02:46 +0000 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 246 seconds) |
| 2025-12-25 00:09:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 00:12:24 +0000 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-12-25 00:12:28 +0000 | jle` | (~jle`@2603:8001:3b00:11:19da:f73a:84bb:c3b2) (Ping timeout: 260 seconds) |
| 2025-12-25 00:13:08 +0000 | jle` | (~jle`@2603:8001:3b00:11:47ff:a93:5f74:967) jle` |
| 2025-12-25 00:13:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 00:16:37 +0000 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 256 seconds) |
| 2025-12-25 00:17:01 +0000 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
| 2025-12-25 00:18:54 +0000 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-12-25 00:19:39 +0000 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-12-25 00:24:03 +0000 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-25 00:25:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 00:28:52 +0000 | acidjnk | (~acidjnk@p200300d6e7171976b096cfcd17500e96.dip0.t-ipconnect.de) acidjnk |
| 2025-12-25 00:29:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 00:35:40 +0000 | Googulator | (~Googulato@2a01-036d-0106-2af4-d522-88ad-52fa-edd7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-25 00:40:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 00:46:00 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-25 00:46:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 00:56:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 01:01:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 01:07:14 +0000 | <haskellbridge> | <Liamzee> oh cool, so traceIO compared to traceM uses an unsafe import |
| 2025-12-25 01:07:26 +0000 | <haskellbridge> | <Liamzee> so it freezes execution |
| 2025-12-25 01:07:29 +0000 | <haskellbridge> | <Liamzee> hum |
| 2025-12-25 01:08:58 +0000 | <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 01:11:20 +0000 | <haskellbridge> | <Liamzee> unsafe ccall |
| 2025-12-25 01:12:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 01:13:13 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 01:16:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 01:22:21 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-12-25 01:24:46 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-25 01:25:02 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-25 01:25:17 +0000 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-25 01:27:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 01:27:57 +0000 | <ski> | Zemyla : mm, that's Leibniz-style equality. there was someone who had a paper about that (Ralf Hinze, maybe ?) |
| 2025-12-25 01:33:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 01:36:59 +0000 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2025-12-25 01:39:46 +0000 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-25 01:41:33 +0000 | elarks | (~elarks@user/yerrii) yerrii |
| 2025-12-25 01:43:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 01:48:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 01:51:45 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:19bc:daec:7901:4e6) (Read error: Connection reset by peer) |
| 2025-12-25 01:52:53 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) synchromesh |
| 2025-12-25 01:59:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 02:05:39 +0000 | wennefer96 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 02:06:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-25 02:08:05 +0000 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 02:12:15 +0000 | wennefer0_ | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 02:14:44 +0000 | wennefer96 | (~wennefer0@user/wennefer0) () |
| 2025-12-25 02:15:30 +0000 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 02:16:36 +0000 | wennefer0 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 02:17:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 02:21:55 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-12-25 02:22:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 02:22:44 +0000 | <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 02:24:17 +0000 | confusedalex_ | (~confuseda@user/confusedalex) confusedalex |
| 2025-12-25 02:24:54 +0000 | confusedalex | (~confuseda@user/confusedalex) (Ping timeout: 260 seconds) |
| 2025-12-25 02:24:54 +0000 | confusedalex_ | confusedalex |
| 2025-12-25 02:33:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 02:37:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 02:48:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 02:53:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 02:56:25 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-25 03:04:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 03:06:36 +0000 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2025-12-25 03:07:35 +0000 | monochrom | (trebla@216.138.220.146) monochrom |
| 2025-12-25 03:09:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 03:16:37 +0000 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2025-12-25 03:20:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 03:24:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 03:26:52 +0000 | monochrom | (trebla@216.138.220.146) monochrom |
| 2025-12-25 03:32:31 +0000 | td_ | (~td@i53870917.versanet.de) (Ping timeout: 240 seconds) |
| 2025-12-25 03:33:07 +0000 | acidjnk | (~acidjnk@p200300d6e7171976b096cfcd17500e96.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-12-25 03:35:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 03:42:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 03:45:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 03:49:48 +0000 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 265 seconds) |
| 2025-12-25 03:50:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-25 03:54:31 +0000 | <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 04:01:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 04:05:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 04:16:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 04:21:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 04:25:13 +0000 | emergence | (emergence@vm0.max-p.me) (Quit: emergence) |
| 2025-12-25 04:25:27 +0000 | emergence | (emergence@vm0.max-p.me) emergence |
| 2025-12-25 04:32:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 04:37:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 04:48:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 04:52:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 05:00:44 +0000 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2025-12-25 05:01:02 +0000 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-25 05:04:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 05:08:52 +0000 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2025-12-25 05:09:11 +0000 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-25 05:09:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 05:19:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 05:24:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-25 05:35:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 05:37:37 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: bbl) |
| 2025-12-25 05:40:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 05:51:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 05:56:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 06:00:02 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) (Read error: Connection reset by peer) |
| 2025-12-25 06:01:37 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) synchromesh |
| 2025-12-25 06:07:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 06:12:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 06:17:10 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 06:22:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 06:25:31 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-25 06:25:37 +0000 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-25 06:29:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 06:31:48 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-25 06:40:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 06:45:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 06:51:34 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-12-25 06:53:54 +0000 | hsw | (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2025-12-25 06:56:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 07:01:03 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-25 07:01:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 07:11:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 07:15:35 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-12-25 07:17:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 07:27:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 07:28:09 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-25 07:32:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 07:34:47 +0000 | annamalai | (~annamalai@157.32.209.107) (Ping timeout: 250 seconds) |
| 2025-12-25 07:40:30 +0000 | annamalai | (~annamalai@157.32.199.28) annamalai |
| 2025-12-25 07:43:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 07:48:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 08:05:20 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-25 08:07:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 08:12:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 08:15:27 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-25 08:23:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 08:28:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 08:36:16 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 08:39:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 08:44:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-25 08:48:48 +0000 | rainbyte | (~rainbyte@186.22.19.214) (Ping timeout: 252 seconds) |
| 2025-12-25 08:53:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 08:53:40 +0000 | <haskellbridge> | <Liamzee> this is really really cool |
| 2025-12-25 08:53:42 +0000 | <haskellbridge> | <Liamzee> cabal test --enable-coverage |
| 2025-12-25 08:58:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 09:00:12 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 09:02:34 +0000 | ljdarj1 | ljdarj |
| 2025-12-25 09:09:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 09:13:33 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-12-25 09:19:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 09:37:45 +0000 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2025-12-25 09:40:58 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-12-25 09:46:15 +0000 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-12-25 09:47:53 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 09:51:56 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-25 09:54:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 09:58:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 10:01:00 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-25 10:01:50 +0000 | trampi | (~trampi@mx.trampusch.info) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-25 10:02:28 +0000 | trampi | (~trampi@mx.trampusch.info) trampi |
| 2025-12-25 10:04:25 +0000 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 246 seconds) |
| 2025-12-25 10:09:39 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) (Read error: Connection reset by peer) |
| 2025-12-25 10:10:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 10:11:19 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) synchromesh |
| 2025-12-25 10:12:07 +0000 | trampi | (~trampi@mx.trampusch.info) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-25 10:13:43 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 2025-12-25 10:15:01 +0000 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-25 10:15:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-25 10:15:09 +0000 | <gentauro> | what are those blinking banners? :| |
| 2025-12-25 10:15:56 +0000 | <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 10:16:05 +0000 | <gentauro> | I "rarely" can't build anything :( |
| 2025-12-25 10:18:36 +0000 | trampi | (~trampi@mx.trampusch.info) trampi |
| 2025-12-25 10:18:46 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-12-25 10:20:43 +0000 | trampi | (~trampi@mx.trampusch.info) (Client Quit) |
| 2025-12-25 10:22:25 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 2025-12-25 10:23:26 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-25 10:25:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 10:30:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 10:33:39 +0000 | trampi | (~trampi@mx.trampusch.info) trampi |
| 2025-12-25 10:41:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 10:42:50 +0000 | hapisnake | (~hapisnake@user/hapisnake) hapisnake |
| 2025-12-25 10:43:27 +0000 | acidjnk | (~acidjnk@p200300d6e7171922bda2454d8bce8e38.dip0.t-ipconnect.de) acidjnk |
| 2025-12-25 10:46:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 10:47:18 +0000 | hapisnake | (~hapisnake@user/hapisnake) () |
| 2025-12-25 10:47:24 +0000 | hapisnake | (~hapisnake@user/hapisnake) hapisnake |
| 2025-12-25 10:49:58 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-12-25 10:52:03 +0000 | hapisnake | (~hapisnake@user/hapisnake) (Quit: Client closed) |
| 2025-12-25 10:54:57 +0000 | mulk | (~mulk@pd95143a6.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-12-25 10:55:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 11:02:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 11:02:08 +0000 | mulk | (~mulk@pd95143a6.dip0.t-ipconnect.de) mulk |
| 2025-12-25 11:06:03 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-25 11:08:35 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 240 seconds) |
| 2025-12-25 11:08:55 +0000 | yarl | (~yarl@user/yarl) yarl |
| 2025-12-25 11:13:10 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-12-25 11:13:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 11:18:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-25 11:20:31 +0000 | <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 11:20:56 +0000 | <yarl> | Any idea? |
| 2025-12-25 11:24:52 +0000 | <yarl> | it is not hidden in dist-boot/package-data.mk and dist-boot/inplace-pkg-config |
| 2025-12-25 11:29:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 11:33:15 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 240 seconds) |
| 2025-12-25 11:34:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 11:35:08 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-12-25 11:45:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 11:46:51 +0000 | <gentauro> | yarl: what does `-notghc-` in the path mean? |
| 2025-12-25 11:50:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-25 11:56:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 12:03:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-25 12:14:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 12:18:01 +0000 | <yarl> | gentauro: That's a personnal hack for guix shell not to try to bring many ghc. |
| 2025-12-25 12:18:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-25 12:20:11 +0000 | <yarl> | As I am trying to get ghc into guix for aarch64. |
| 2025-12-25 12:21:37 +0000 | Jackneill | (~Jackneill@178-164-234-79.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2025-12-25 12:29:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 12:31:43 +0000 | otulp | (~otulp@ti0036a400-1790.bb.online.no) (Quit: Lost terminal) |
| 2025-12-25 12:34:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 12:45:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 12:50:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 12:54:44 +0000 | <sshine> | gentauro, you could just install HLS another way and still use Stack if you like it. |
| 2025-12-25 12:55:00 +0000 | <sshine> | gentauro, I think GHCup comes with an option to install HLS matching your GHC. |
| 2025-12-25 12:57:13 +0000 | <sshine> | gentauro, are you on NixOS? |
| 2025-12-25 12:57:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 13:02:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 13:06:01 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 13:13:13 +0000 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-25 13:13:28 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2025-12-25 13:17:28 +0000 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-25 13:18:42 +0000 | <yarl> | Ok |
| 2025-12-25 13:18:50 +0000 | <yarl> | I make one time, error |
| 2025-12-25 13:19:01 +0000 | <yarl> | I make again, It goes on. |
| 2025-12-25 13:19:26 +0000 | <yarl> | Any suggestion? |
| 2025-12-25 13:20:28 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 2025-12-25 13:31:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 13:35:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 13:39:57 +0000 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-25 13:42:57 +0000 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2025-12-25 13:45:24 +0000 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 13:46:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 13:47:30 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-12-25 13:48:19 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-25 13:48:29 +0000 | wennefer0 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 13:51:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 13:58:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 14:00:01 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 14:00:32 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-25 14:02:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-25 14:13:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 14:16:19 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-25 14:17:22 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-25 14:18:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 14:29:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 14:29:47 +0000 | karenw | (~karenw@user/karenw) (Remote host closed the connection) |
| 2025-12-25 14:31:27 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-25 14:34:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-25 14:38:44 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-12-25 14:45:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 14:47:53 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-25 14:50:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 14:59:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 15:03:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 15:14:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 15:15:31 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 15:17:39 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-12-25 15:17:39 +0000 | ljdarj1 | ljdarj |
| 2025-12-25 15:19:25 +0000 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Quit: Leaving) |
| 2025-12-25 15:19:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-25 15:21:36 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-12-25 15:22:44 +0000 | <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 15:23:09 +0000 | <gentauro> | I might be missing the "new way". |
| 2025-12-25 15:30:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 15:35:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 15:46:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 15:51:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-25 15:52:20 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-25 15:54:38 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-25 15:55:08 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 260 seconds) |
| 2025-12-25 15:56:37 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 2025-12-25 15:59:43 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |
| 2025-12-25 16:00:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 16:06:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 16:14:22 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-25 16:18:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 16:22:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 16:27:08 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-25 16:27:56 +0000 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 16:28:22 +0000 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 2025-12-25 16:30:01 +0000 | wennefer0 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 16:30:09 +0000 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-12-25 16:31:54 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-12-25 16:34:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 16:38:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 16:39:42 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 16:43:08 +0000 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 16:43:23 +0000 | wennefer0 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 16:45:21 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-25 16:46:07 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 16:46:07 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-12-25 16:47:07 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 16:47:26 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2025-12-25 16:49:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 16:50:15 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-25 16:50:15 +0000 | ljdarj1 | ljdarj |
| 2025-12-25 16:52:50 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-12-25 16:54:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 16:58:21 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-12-25 16:58:37 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2025-12-25 16:58:49 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2025-12-25 17:01:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 17:04:58 +0000 | spew | (~spew@user/spew) spew |
| 2025-12-25 17:06:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 17:10:17 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-12-25 17:10:32 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2025-12-25 17:17:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 17:22:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 17:23:56 +0000 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-25 17:25:04 +0000 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 17:30:51 +0000 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-25 17:31:24 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-25 17:32:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 17:36:49 +0000 | wennefer0 | (~wennefer0@user/wennefer0) (Quit: Ping timeout (120 seconds)) |
| 2025-12-25 17:37:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 17:37:28 +0000 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 17:39:34 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-25 17:48:15 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 240 seconds) |
| 2025-12-25 17:48:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 17:55:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 17:57:13 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-25 17:58:48 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2025-12-25 17:59:28 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-12-25 18:01:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 18:02:31 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-25 18:02:37 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 18:03:42 +0000 | <sm> | gentauro, stack is better than ever - wasn't that a problem with haskell-language-server ? |
| 2025-12-25 18:04:56 +0000 | ljdarj1 | ljdarj |
| 2025-12-25 18:05:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-25 18:10:03 +0000 | <haskellbridge> | <pennychase> /whois wennefer0 |
| 2025-12-25 18:15:00 +0000 | emergence | (emergence@vm0.max-p.me) (Quit: emergence) |
| 2025-12-25 18:15:15 +0000 | emergence | (emergence@vm0.max-p.me) emergence |
| 2025-12-25 18:15:29 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 18:15:50 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-12-25 18:16:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 18:18:37 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-12-25 18:19:03 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 18:20:21 +0000 | emergence | (emergence@vm0.max-p.me) (Quit: emergence) |
| 2025-12-25 18:20:35 +0000 | emergence | (emergence@vm0.max-p.me) emergence |
| 2025-12-25 18:21:04 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 18:21:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 18:23:10 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-12-25 18:25:31 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-12-25 18:27:19 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 18:30:36 +0000 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 18:32:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 18:37:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 18:39:39 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-25 18:42:11 +0000 | target_i_ | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-25 18:42:21 +0000 | target_i_ | (~target_i@user/target-i/x-6023099) (Client Quit) |
| 2025-12-25 18:43:43 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 240 seconds) |
| 2025-12-25 18:43:46 +0000 | target_i_ | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-25 18:44:36 +0000 | target_i_ | target_i |
| 2025-12-25 18:44:50 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Client Quit) |
| 2025-12-25 18:45:43 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-25 18:48:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 18:51:01 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-25 18:53:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-25 18:56:19 +0000 | wennefer0_79 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 18:58:05 +0000 | wennefer0_79 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 18:58:22 +0000 | wennefer0_73 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 18:58:45 +0000 | wennefer0_73 | (~wennefer0@user/wennefer0) () |
| 2025-12-25 18:59:12 +0000 | wennefer0_73 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 19:00:30 +0000 | wennefer0_73 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 19:02:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 19:06:51 +0000 | wennefer0__ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 19:07:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 19:09:25 +0000 | wennefer0__ | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 19:09:35 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-25 19:18:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 19:22:57 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-25 19:23:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 19:24:17 +0000 | wennefer0___ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 19:26:29 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-25 19:27:00 +0000 | wennefer0 | (~wennefer0@user/wennefer0) (Quit: Client closed) |
| 2025-12-25 19:27:00 +0000 | wennefer0___ | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 19:29:34 +0000 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 19:31:20 +0000 | wennefer0 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 19:33:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 19:34:55 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2025-12-25 19:36:06 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-25 19:37:02 +0000 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 19:40:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 19:40:45 +0000 | wennefer0_ | (~wennefer0@user/wennefer0) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-12-25 19:41:33 +0000 | wennefer0 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 19:48:16 +0000 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 19:51:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 19:56:31 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 19:56:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-25 19:58:07 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-12-25 19:58:55 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 20:01:13 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-12-25 20:01:49 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-12-25 20:03:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 20:07:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 20:11:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 20:15:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 20:16:59 +0000 | sroso | (~sroso@user/SrOso) SrOso |
| 2025-12-25 20:26:34 +0000 | pebble | (~pebble@37.63.33.138) pebble |
| 2025-12-25 20:26:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 20:31:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 20:42:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 20:47:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 20:51:23 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-25 20:58:00 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-25 20:58:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 21:01:25 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-25 21:01:30 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 21:03:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 21:03:49 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-12-25 21:03:54 +0000 | ljdarj1 | ljdarj |
| 2025-12-25 21:04:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 21:05:09 +0000 | pebble | (~pebble@37.63.33.138) (Read error: Connection reset by peer) |
| 2025-12-25 21:09:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 21:14:43 +0000 | <yin> | I remember having haskell-language-server-wrapper |
| 2025-12-25 21:17:18 +0000 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 21:20:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 21:20:58 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-25 21:21:30 +0000 | wennefer0_ | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 21:22:50 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-12-25 21:22:50 +0000 | ljdarj1 | ljdarj |
| 2025-12-25 21:23:06 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-25 21:27:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 21:29:35 +0000 | ChanServ | +o litharge |
| 2025-12-25 21:29:36 +0000 | litharge | -bo *!*@201.162.102.109 litharge |
| 2025-12-25 21:36:24 +0000 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2025-12-25 21:38:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 21:40:22 +0000 | <haskellbridge> | <Morj> What do you mean remember, I still have it |
| 2025-12-25 21:40:30 +0000 | ChanServ | +o litharge |
| 2025-12-25 21:40:31 +0000 | litharge | -bo *!*@170.203.120.33 litharge |
| 2025-12-25 21:40:55 +0000 | ChanServ | +o litharge |
| 2025-12-25 21:40:55 +0000 | litharge | -bo *!*@170-233-51-4.static.sumicity.net.br litharge |
| 2025-12-25 21:42:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 21:43:54 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-25 21:46:31 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 21:46:46 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-12-25 21:49:28 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 2025-12-25 21:49:54 +0000 | ChanServ | +o litharge |
| 2025-12-25 21:49:55 +0000 | litharge | -bo *!*@38.191.212.34 litharge |
| 2025-12-25 21:52:54 +0000 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-25 21:54:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 21:54:08 +0000 | img | (~img@user/img) img |
| 2025-12-25 21:55:51 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-12-25 21:57:37 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-25 21:57:45 +0000 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-25 21:58:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-25 22:09:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 22:15:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 22:19:49 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-25 22:20:45 +0000 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 22:25:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 22:30:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 22:31:39 +0000 | wennefer0_ | (~wennefer0@user/wennefer0) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-12-25 22:34:21 +0000 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-25 22:41:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 22:46:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 22:51:17 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 2025-12-25 22:57:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 23:02:55 +0000 | DragonMaus | (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 2025-12-25 23:03:31 +0000 | DragonMaus | (~DragonMau@user/dragonmaus) DragonMaus |
| 2025-12-25 23:03:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-25 23:10:50 +0000 | DragonMaus | (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 2025-12-25 23:11:27 +0000 | DragonMaus | (~DragonMau@user/dragonmaus) DragonMaus |
| 2025-12-25 23:11:49 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-12-25 23:13:07 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-25 23:15:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 23:15:57 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2025-12-25 23:16:50 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-12-25 23:17:37 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 2025-12-25 23:18:51 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-12-25 23:20:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-25 23:22:33 +0000 | wennefer0__ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 23:24:18 +0000 | wennefer0__ | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 23:24:36 +0000 | wennefer0___ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 23:25:07 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-25 23:31:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 23:33:37 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-25 23:35:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 23:35:45 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-12-25 23:38:28 +0000 | wennefer0___ | (~wennefer0@user/wennefer0) (Quit: Igloo: https://igloo.app) |
| 2025-12-25 23:39:33 +0000 | wennefer0____ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 23:40:01 +0000 | wennefer0____ | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 23:43:02 +0000 | ChanServ | +o litharge |
| 2025-12-25 23:43:03 +0000 | litharge | -bo *!*@177.71.33.140 litharge |
| 2025-12-25 23:43:39 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-25 23:45:03 +0000 | ChanServ | +o litharge |
| 2025-12-25 23:45:04 +0000 | litharge | -bo *!*@123.27.7.53 litharge |
| 2025-12-25 23:46:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 23:48:37 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-12-25 23:52:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |