| 2026-01-04 00:00:38 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Max SendQ exceeded) |
| 2026-01-04 00:01:08 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2026-01-04 00:01:48 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-04 00:02:11 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-04 00:04:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 00:04:42 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-04 00:06:17 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-01-04 00:06:26 +0100 | <haskellbridge> | <Liamzee> @irc_libera.chat_milan_vanca:kf8nh.com: different idea: just newtype it |
| 2026-01-04 00:06:50 +0100 | <haskellbridge> | <Liamzee> gone :/ |
| 2026-01-04 00:11:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-04 00:17:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 00:22:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-04 00:23:02 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-01-04 00:25:09 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2026-01-04 00:33:06 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-04 00:33:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 00:37:15 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 240 seconds) |
| 2026-01-04 00:38:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-04 00:49:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 00:50:07 +0100 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) (Ping timeout: 264 seconds) |
| 2026-01-04 00:53:48 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-01-04 00:54:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-04 01:04:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 01:09:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 01:10:31 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-04 01:18:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 01:23:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 01:24:48 +0100 | Inline | (~inlinE@2001-4dd4-36a0-0-271-56f2-ebb9-4ec7.ipv6dyn.netcologne.de) Inline |
| 2026-01-04 01:27:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2026-01-04 01:32:55 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-04 01:34:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 01:35:37 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2026-01-04 01:39:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-04 01:42:12 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-04 01:54:49 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-04 02:05:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 02:07:23 +0100 | omidmash1 | (~omidmash@user/omidmash) omidmash |
| 2026-01-04 02:09:05 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 245 seconds) |
| 2026-01-04 02:09:05 +0100 | omidmash1 | omidmash |
| 2026-01-04 02:09:27 +0100 | Inline | (~inlinE@2001-4dd4-36a0-0-271-56f2-ebb9-4ec7.ipv6dyn.netcologne.de) (Remote host closed the connection) |
| 2026-01-04 02:10:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-04 02:19:50 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-01-04 02:21:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 02:25:00 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-01-04 02:25:02 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-01-04 02:25:51 +0100 | divlamir_ | divlamir |
| 2026-01-04 02:26:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-04 02:30:34 +0100 | Inline | (~inlinE@2001-4dd4-36a0-0-76ad-a7ee-eda3-bac2.ipv6dyn.netcologne.de) Inline |
| 2026-01-04 02:43:35 +0100 | Brumaire | (~no@94.140.114.73) (Ping timeout: 240 seconds) |
| 2026-01-04 02:47:58 +0100 | acidjnk | (~acidjnk@p200300d6e7171928c97b09002621ce21.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-01-04 02:55:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 02:58:32 +0100 | kdlv | (~kdlv@user/kdlv) kdlv |
| 2026-01-04 02:59:24 +0100 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) m_a_r_k |
| 2026-01-04 03:00:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-04 03:02:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 03:06:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 03:15:23 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-01-04 03:15:34 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-01-04 03:18:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 03:22:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-04 03:30:55 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-01-04 03:32:27 +0100 | Brumaire | (~no@94.140.114.73) Brumaire |
| 2026-01-04 03:33:23 +0100 | Inline | (~inlinE@2001-4dd4-36a0-0-76ad-a7ee-eda3-bac2.ipv6dyn.netcologne.de) (Ping timeout: 265 seconds) |
| 2026-01-04 03:33:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 03:38:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-04 03:47:43 +0100 | Square3 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2026-01-04 03:49:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 03:54:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-04 03:58:30 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2026-01-04 04:04:28 +0100 | Brumaire | (~no@94.140.114.73) (Ping timeout: 246 seconds) |
| 2026-01-04 04:05:05 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2026-01-04 04:05:40 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-01-04 04:09:58 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-04 04:10:41 +0100 | finsternis | (~X@23.226.237.192) (Remote host closed the connection) |
| 2026-01-04 04:11:11 +0100 | finsternis | (~X@23.226.237.192) finsternis |
| 2026-01-04 04:20:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 04:25:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 04:28:34 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2026-01-04 04:36:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 04:41:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 04:52:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 04:56:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 05:08:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 05:12:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 05:23:20 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-01-04 05:23:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 05:28:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-04 05:39:43 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-01-04 05:44:51 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 2026-01-04 05:55:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 05:58:02 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-01-04 06:00:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 06:01:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 06:03:55 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-04 06:05:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 06:17:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 06:21:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 06:26:24 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-04 06:32:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 06:32:55 +0100 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-04 06:33:41 +0100 | berberman | (~berberman@user/berberman) berberman |
| 2026-01-04 06:33:48 +0100 | berberman | (~berberman@user/berberman) (Remote host closed the connection) |
| 2026-01-04 06:36:50 +0100 | berberman | (~berberman@user/berberman) berberman |
| 2026-01-04 06:37:31 +0100 | berberman | (~berberman@user/berberman) (Client Quit) |
| 2026-01-04 06:39:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 06:39:19 +0100 | berberman | (~berberman@user/berberman) berberman |
| 2026-01-04 06:50:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 06:55:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 07:06:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 07:11:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-04 07:17:34 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-01-04 07:22:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 07:26:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-04 07:36:13 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2026-01-04 07:37:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 07:42:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-04 07:53:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 07:58:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-04 08:05:16 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-04 08:18:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 08:20:29 +0100 | athan | (~athan@98.150.233.226) athan |
| 2026-01-04 08:24:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 08:36:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 08:36:47 +0100 | aetepe | (~aetepe@188.119.58.52) aetepe |
| 2026-01-04 08:40:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 08:41:25 +0100 | athan | (~athan@98.150.233.226) (Ping timeout: 264 seconds) |
| 2026-01-04 08:44:35 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-04 08:52:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 08:56:41 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-04 08:57:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-04 09:00:06 +0100 | tt1231607 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-04 09:03:06 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-01-04 09:03:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 09:05:41 +0100 | tt1231607 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-01-04 09:07:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-04 09:10:40 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-04 09:14:43 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2026-01-04 09:15:26 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-01-04 09:16:24 +0100 | califax | (~califax@user/califx) califx |
| 2026-01-04 09:18:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 09:22:35 +0100 | aetepe | (~aetepe@188.119.58.52) (Ping timeout: 240 seconds) |
| 2026-01-04 09:23:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 09:24:41 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-01-04 09:27:41 +0100 | califax | (~califax@user/califx) califx |
| 2026-01-04 09:28:07 +0100 | Brumaire | (~no@94.140.114.73) Brumaire |
| 2026-01-04 09:28:08 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-01-04 09:30:10 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-04 09:34:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 09:38:52 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2026-01-04 09:39:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-04 09:42:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-04 09:43:02 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-04 09:50:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 09:54:07 +0100 | aetepe | (~aetepe@188.119.58.52) aetepe |
| 2026-01-04 09:55:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-04 09:55:31 +0100 | duckworld | (~duckworld@user/duckworld) (Ping timeout: 240 seconds) |
| 2026-01-04 09:58:55 +0100 | housemate | (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 2026-01-04 10:01:43 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2026-01-04 10:03:09 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-01-04 10:03:17 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 2026-01-04 10:04:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 10:07:35 +0100 | housemate | (~housemate@202.7.247.155) housemate |
| 2026-01-04 10:08:35 +0100 | duckworld | (~duckworld@user/duckworld) duckworld |
| 2026-01-04 10:08:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-04 10:17:44 +0100 | wickedjargon | (~user@64.114.24.74) wickedjargon |
| 2026-01-04 10:19:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 10:24:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-04 10:27:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-01-04 10:35:41 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-01-04 10:38:36 +0100 | acidjnk | (~acidjnk@p200300d6e7171903898692e61c742058.dip0.t-ipconnect.de) acidjnk |
| 2026-01-04 10:40:15 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 2026-01-04 10:40:38 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-01-04 10:48:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2026-01-04 10:49:19 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-04 10:51:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 10:55:35 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2026-01-04 10:56:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 11:02:42 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-04 11:05:15 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-04 11:05:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 11:07:49 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-01-04 11:11:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-04 11:15:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 11:16:56 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2026-01-04 11:20:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-04 11:25:49 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2026-01-04 11:26:41 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-01-04 11:31:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 11:31:43 +0100 | aetepe | (~aetepe@188.119.58.52) (Remote host closed the connection) |
| 2026-01-04 11:36:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-04 11:46:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 11:52:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-04 12:02:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 12:03:50 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-04 12:05:00 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-04 12:08:07 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 240 seconds) |
| 2026-01-04 12:09:11 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-04 12:10:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-04 12:22:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 12:22:28 +0100 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2026-01-04 12:24:41 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2026-01-04 12:27:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-04 12:37:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 12:42:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-04 12:53:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 12:59:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-01-04 13:00:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 13:07:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 13:12:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-04 13:23:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 13:27:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 13:38:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 13:43:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-04 13:45:15 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2026-01-04 13:48:32 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2026-01-04 13:53:54 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-01-04 13:56:37 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-04 14:08:20 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-01-04 14:12:02 +0100 | <gentauro> | I am the only one that notice the trend: "Oh, look at my project (100% made with Jean-CLAUDE van Doom, but not telling). Please gif feedback so I can fix what Jean can't do"? |
| 2026-01-04 14:12:22 +0100 | <gentauro> | Specially on reddit/r/programming … |
| 2026-01-04 14:12:50 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-01-04 14:12:58 +0100 | <gentauro> | gosh, it's time to become farmer isn't it? |
| 2026-01-04 14:15:05 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-01-04 14:16:31 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2026-01-04 14:20:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 14:25:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-04 14:32:20 +0100 | Square3 | (~Square@user/square) Square |
| 2026-01-04 14:36:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 14:40:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 14:44:15 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-04 14:45:29 +0100 | img | (~img@user/img) img |
| 2026-01-04 14:46:30 +0100 | yin | (~zero@user/zero) (Ping timeout: 244 seconds) |
| 2026-01-04 14:49:50 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-04 14:51:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 14:55:37 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-01-04 14:55:49 +0100 | Brumaire | (~no@94.140.114.73) (Ping timeout: 246 seconds) |
| 2026-01-04 14:56:25 +0100 | yin | (~zero@user/zero) zero |
| 2026-01-04 14:57:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-04 14:59:04 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-04 15:07:00 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2026-01-04 15:07:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 15:12:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 15:13:37 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-01-04 15:16:37 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-01-04 15:23:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 15:23:39 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2026-01-04 15:24:04 +0100 | wickedjargon | (~user@64.114.24.74) (Remote host closed the connection) |
| 2026-01-04 15:25:30 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2026-01-04 15:28:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-04 15:39:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 15:45:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-04 15:47:06 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-01-04 15:47:43 +0100 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-01-04 15:51:34 +0100 | larsivi | (~larsivi@user/larsivi) larsivi |
| 2026-01-04 15:55:12 +0100 | <larsivi> | Hi folks! I am reviving some old Haskell code that I want to use. It is built with the Snap webserver. The demo essentially works, however (especially using chrome based browsers) causes errors in the browser. I think (although the browser is not explicit about this) that these are due to the server not properly handling OPTIONS. Are anyone familiar with this? (Note that I am new to Haskell too.) |
| 2026-01-04 15:57:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 15:59:24 +0100 | spew | (~spew@user/spew) spew |
| 2026-01-04 15:59:50 +0100 | Brumaire | (~no@94.140.114.73) Brumaire |
| 2026-01-04 16:02:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-04 16:03:44 +0100 | Square3 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2026-01-04 16:09:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 16:10:50 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-04 16:14:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-04 16:25:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 16:27:29 +0100 | Digitteknohippie | Digit |
| 2026-01-04 16:29:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-04 16:40:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 16:46:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-04 16:49:22 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-04 16:56:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 16:59:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 2026-01-04 17:00:44 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-04 17:01:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-04 17:02:22 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-04 17:02:50 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-04 17:07:33 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2026-01-04 17:08:01 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-04 17:09:47 +0100 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-04 17:10:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 17:11:50 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-01-04 17:15:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-04 17:26:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 17:30:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 17:30:35 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-04 17:37:51 +0100 | <haskellbridge> | <Liamzee> gentauro: you don't need to be so negative |
| 2026-01-04 17:38:27 +0100 | <haskellbridge> | <Liamzee> you can think of AI as a "supercompiler" albeit one that's extremely bad at what it's supposed to do |
| 2026-01-04 17:38:44 +0100 | <humasect> | or supersearch |
| 2026-01-04 17:40:14 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-04 17:41:37 +0100 | <darkling> | c |
| 2026-01-04 17:42:00 +0100 | <ncf> | i mean you can think of a horse as a unicorn if you like, but you don't need to tell us |
| 2026-01-04 17:43:01 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-04 17:46:49 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-01-04 17:56:15 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2026-01-04 17:59:46 +0100 | <haskellbridge> | <Liamzee> i mean natural language is bad at specifying what you want the AI you want to do |
| 2026-01-04 17:59:49 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-04 17:59:59 +0100 | <gentauro> | Liamzee: At some point, when the bubble pops, somebody will have to "fix/maintain" all the AI-slop. |
| 2026-01-04 18:00:07 +0100 | <haskellbridge> | <Liamzee> I'm just saying it'll be how software development will survive, a switch from imperative or concrete programming to declarative and verified programming |
| 2026-01-04 18:00:15 +0100 | <gentauro> | I spent many months last year doing that. It's not good |
| 2026-01-04 18:00:18 +0100 | <gentauro> | far from it :( |
| 2026-01-04 18:00:20 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2026-01-04 18:01:06 +0100 | <gentauro> | only hope I have is that MS LEAN takes over the (AI) world … |
| 2026-01-04 18:01:07 +0100 | <haskellbridge> | <Liamzee> ncf: think of AI tokens as unityped =3 |
| 2026-01-04 18:01:22 +0100 | <humasect> | x_x |
| 2026-01-04 18:01:36 +0100 | <haskellbridge> | <Liamzee> gentauro: I think something in the lean / agda / haskell tradition will survive and become dominant after the AI bubble pops |
| 2026-01-04 18:02:34 +0100 | <humasect> | +prolog |
| 2026-01-04 18:02:45 +0100 | housemate | (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 2026-01-04 18:03:06 +0100 | <haskellbridge> | <Liamzee> i think traditional programming as is right now is becoming like assembly |
| 2026-01-04 18:03:20 +0100 | <humasect> | slave work |
| 2026-01-04 18:03:24 +0100 | <haskellbridge> | <Liamzee> still needed, but very few people use it because it's so labor inefficient |
| 2026-01-04 18:03:45 +0100 | <haskellbridge> | <Liamzee> the problem right now, is that AI codegen is not even at the C or Algol level of maturity |
| 2026-01-04 18:04:27 +0100 | <haskellbridge> | <Liamzee> and you don't get to C / Algol by putting more labor / clock cycles on Fortran |
| 2026-01-04 18:06:36 +0100 | housemate | (~housemate@202.7.247.155) housemate |
| 2026-01-04 18:11:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 18:13:09 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-04 18:14:52 +0100 | <monochrom> | We don't have to be pessimistic about AI. But we can be rightfully pessimistic about how humans use AI. >:) |
| 2026-01-04 18:17:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-04 18:20:37 +0100 | <humasect> | =) |
| 2026-01-04 18:22:31 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-01-04 18:29:15 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-04 18:29:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 18:34:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 18:34:57 +0100 | nek0 | (~nek0@user/nek0) nek0 |
| 2026-01-04 18:40:13 +0100 | <EvanR> | a compiler is really really narrow expert system xD |
| 2026-01-04 18:44:06 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2026-01-04 18:44:24 +0100 | <humasect> | (= |
| 2026-01-04 18:45:55 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2026-01-04 19:12:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 19:16:53 +0100 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 19:17:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-04 19:17:49 +0100 | <gentauro> | monochrom: xD |
| 2026-01-04 19:18:29 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-01-04 19:26:21 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-04 19:28:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 19:33:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-04 19:38:54 +0100 | cptaffe` | (~cptaffe@user/cptaffe) cptaffe |
| 2026-01-04 19:39:05 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 245 seconds) |
| 2026-01-04 19:42:45 +0100 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 19:43:13 +0100 | cptaffe` | (~cptaffe@user/cptaffe) (Ping timeout: 264 seconds) |
| 2026-01-04 19:43:39 +0100 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2026-01-04 19:43:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 19:44:35 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-01-04 19:48:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 19:59:30 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 244 seconds) |
| 2026-01-04 19:59:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 20:01:15 +0100 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2026-01-04 20:02:27 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 2026-01-04 20:04:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-04 20:07:05 +0100 | housemate | (~housemate@202.7.247.155) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-04 20:07:59 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-01-04 20:08:27 +0100 | Brumaire | (~no@94.140.114.73) (Remote host closed the connection) |
| 2026-01-04 20:09:25 +0100 | housemate | (~housemate@202.7.247.155) housemate |
| 2026-01-04 20:10:30 +0100 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 20:11:04 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-01-04 20:12:31 +0100 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 20:13:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 20:14:24 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-01-04 20:15:56 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-01-04 20:16:10 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-01-04 20:17:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 20:21:55 +0100 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2026-01-04 20:28:06 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-04 20:29:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 20:33:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-04 20:34:23 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-01-04 20:36:10 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-01-04 20:37:16 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2026-01-04 20:37:29 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-01-04 20:38:12 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-04 20:41:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-04 20:41:55 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-01-04 20:45:49 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2026-01-04 20:48:03 +0100 | housemate | (~housemate@202.7.247.155) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-04 20:50:14 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-01-04 20:50:36 +0100 | housemate | (~housemate@202.7.247.155) housemate |
| 2026-01-04 20:52:09 +0100 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 20:52:39 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-01-04 20:59:27 +0100 | housemate | (~housemate@202.7.247.155) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-04 21:00:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 21:05:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-04 21:08:50 +0100 | Everything | (~Everythin@217.147.163.184) Everything |
| 2026-01-04 21:10:16 +0100 | housemate | (~housemate@202.7.247.155) housemate |
| 2026-01-04 21:11:22 +0100 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 21:12:59 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-01-04 21:14:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 21:14:47 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds) |
| 2026-01-04 21:15:17 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-01-04 21:16:48 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-04 21:20:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 21:28:54 +0100 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 21:30:18 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-01-04 21:32:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 21:34:11 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2026-01-04 21:37:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-04 21:40:06 +0100 | <larsivi> | My local setup is with GHC 9.6.7 (stable/recommended in ghcup), and this comipiles code I have (not mine originally). When I open it in neovim with HLS and stuff enabled, I get an error diagnostic, ghc-76037. The error page doesn't show at which version it arrived, but my assumption is that it is newer than my ghc. Is this correct? |
| 2026-01-04 21:42:02 +0100 | <mauke> | ? ?? |
| 2026-01-04 21:42:25 +0100 | <mauke> | how can your ghc emit a diagnostic that is newer than your ghc? |
| 2026-01-04 21:44:42 +0100 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 21:45:08 +0100 | <Clint> | maybe it's psychic |
| 2026-01-04 21:45:35 +0100 | <mauke> | > \A -> () |
| 2026-01-04 21:45:45 +0100 | <mauke> | oh, no lambdabot |
| 2026-01-04 21:46:36 +0100 | <EvanR> | % :t \x -> () |
| 2026-01-04 21:46:36 +0100 | <yahb2> | \x -> () :: p -> () |
| 2026-01-04 21:46:46 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-01-04 21:46:49 +0100 | <mauke> | % \A -> () |
| 2026-01-04 21:46:49 +0100 | <yahb2> | <interactive>:151:2: error: [GHC-76037] ; Not in scope: data constructor ‘A’ |
| 2026-01-04 21:48:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 21:48:44 +0100 | euandreh | (~Thunderbi@2804:d59:8970:b900:ab52:d56:3299:431) euandreh |
| 2026-01-04 21:49:51 +0100 | Gravifer | (~Gravifer@user/Gravifer) Gravifer |
| 2026-01-04 21:52:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 22:03:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 22:06:56 +0100 | <tomsmeding> | larsivi: is that NotInScope? Can you paste the full error? |
| 2026-01-04 22:06:59 +0100 | <tomsmeding> | @where paste |
| 2026-01-04 22:07:11 +0100 | <tomsmeding> | oh lambdabot is dead |
| 2026-01-04 22:07:17 +0100 | <tomsmeding> | https://paste.tomsmeding.com |
| 2026-01-04 22:08:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-04 22:09:45 +0100 | <tomsmeding> | larsivi: also check if you have 9.6.7 "set" (as default) in ghcup, and if you have a cabal.project or stack.yaml that may influence HLS |
| 2026-01-04 22:09:50 +0100 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 22:10:08 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1) |
| 2026-01-04 22:11:23 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2026-01-04 22:11:36 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-01-04 22:12:19 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-01-04 22:14:43 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
| 2026-01-04 22:15:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 22:20:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-04 22:21:58 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2026-01-04 22:22:34 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-01-04 22:24:29 +0100 | Gravifer | (~Gravifer@user/Gravifer) (Ping timeout: 272 seconds) |
| 2026-01-04 22:24:57 +0100 | <larsivi> | According to ghcup, 9.6.7 is the _only_ version I have, and ghc --version says 9.6.7 |
| 2026-01-04 22:26:06 +0100 | <larsivi> | Is there some way I can find out what HLS is using? |
| 2026-01-04 22:27:10 +0100 | <larsivi> | As for the diagnostic, I have no idea if it is newer than 9.6.7, it was just a guess from me. But I would have expected a page like the one showing the error to say _when_ it was defined/added. |
| 2026-01-04 22:28:49 +0100 | <larsivi> | Diagnostic shown in neovim: 1. Not in scope: type constructor or class ‘SSEstream’ [GHC-76037] |
| 2026-01-04 22:31:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 22:32:16 +0100 | <monochrom> | I think 9.6 is new enough to give those error codes. (I see them all the time.) |
| 2026-01-04 22:32:29 +0100 | <larsivi> | As mentioned, I'm rather new to Haskell, but SSEstream is defined/declared in a module that is exported from a library, which then has everything imported into a demo program. |
| 2026-01-04 22:32:56 +0100 | <tomsmeding> | larsivi: how do you have your project set up? Is there a <something>.cabal file, for example? |
| 2026-01-04 22:33:13 +0100 | <larsivi> | Yeah, used cabal |
| 2026-01-04 22:33:38 +0100 | <larsivi> | @monochrom but shouldn't I see them when compiling? |
| 2026-01-04 22:33:53 +0100 | <tomsmeding> | could you run `haskell-language-server-wrapper` in the terminal in your project directory, and paste the output on e.g. paste.tomsmeding.com? |
| 2026-01-04 22:34:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-01-04 22:35:21 +0100 | <tomsmeding> | larsivi: 9.6.7 doesn't yet have [GHC-] tags for all error messages; it does for this one, for example https://play.haskell.org/saved/C3fJhIsI , so the fact that you're getting error codes doesn't yet imply that HLS is using something other than 9.6.7 |
| 2026-01-04 22:35:50 +0100 | <tomsmeding> | did HLS create a .stack-work subdirectory, and/or do you have stack installed with ghcup? |
| 2026-01-04 22:36:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-04 22:38:28 +0100 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 22:39:47 +0100 | <larsivi> | Paste id wfSaP4bQ |
| 2026-01-04 22:40:26 +0100 | <haskellbridge> | <sm> best to share the url |
| 2026-01-04 22:40:48 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-01-04 22:41:13 +0100 | <tomsmeding> | https://paste.tomsmeding.com/wfSaP4bQ |
| 2026-01-04 22:41:53 +0100 | <haskellbridge> | <sm> I was surprised to hear you say that ghcup is recommending 9.6.7 - I know it's conservative, but _9.6_.. ? |
| 2026-01-04 22:42:42 +0100 | <tomsmeding> | sm: relevant https://github.com/haskell/ghcup-metadata/issues/335#issuecomment-3369142839 |
| 2026-01-04 22:43:42 +0100 | debayan | (~debayan@user/debayan) debayan |
| 2026-01-04 22:43:48 +0100 | <tomsmeding> | larsivi: have you forgotten to list ServerSentEventGenerator in your cabal file, by any chance? |
| 2026-01-04 22:44:13 +0100 | <tomsmeding> | all modules in a package must be listed in the .cabal file, either in exposed-modules (if a library) or in other-modules |
| 2026-01-04 22:44:14 +0100 | <larsivi> | I have stack from ghcup, but not HLS (probably arch... messed a lot with this a couple of months back, don't remember all details) |
| 2026-01-04 22:44:22 +0100 | debayan | (~debayan@user/debayan) (Client Quit) |
| 2026-01-04 22:44:52 +0100 | <tomsmeding> | it's highly risky to mix ghc/cabal/stack/HLS from different sources (not risky as in blows up your pc, but risky as in stuff is likely to not work) |
| 2026-01-04 22:45:17 +0100 | <tomsmeding> | and arch's packages in particular are infamous for being terrible for usability, don't use them at all if you can |
| 2026-01-04 22:45:32 +0100 | <tomsmeding> | (arch's haskell-related packages, that is) |
| 2026-01-04 22:45:37 +0100 | <larsivi> | I have not forgotten, as I'm not the original author of this. :) It is a couple of years old I think and abandoned. I'm trying to get it slightly more up-to-date and usable with some external stuff it references. |
| 2026-01-04 22:46:01 +0100 | <tomsmeding> | ok, general "you the author of this code" then :) |
| 2026-01-04 22:46:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 22:47:34 +0100 | <haskellbridge> | <sm> tomsmeding: we have a new LTS ghc now don't we |
| 2026-01-04 22:48:56 +0100 | <tomsmeding> | I guess we do, since very recently! Likely maerwald wants to wait a little bit before recommending the 9.14 series :) |
| 2026-01-04 22:51:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-04 22:52:29 +0100 | <larsivi> | ok, let me see if I can get rid of hls and then install it via ghcup |
| 2026-01-04 22:56:27 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-01-04 22:57:33 +0100 | <larsivi> | Ah, but where do I get the wrapper from? |
| 2026-01-04 22:57:53 +0100 | <tomsmeding> | installing HLS via ghcup should get you the wrapper automatically; you may have to "set" it again |
| 2026-01-04 23:00:18 +0100 | <haskellbridge> | <sm> oh 9.14, yes that's a bit new. (I thought 9.10 had been the de facto lts) |
| 2026-01-04 23:00:55 +0100 | <tomsmeding> | sm: see the discussion in the issue I linked |
| 2026-01-04 23:01:37 +0100 | <larsivi> | Thanks! I misunderstood the TUI dialogue, got it set now and it seems to work again. |
| 2026-01-04 23:02:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 23:02:55 +0100 | <haskellbridge> | <sm> 👍🏻 9.6 in 2025 is sad though, looking forward to a new lts |
| 2026-01-04 23:04:08 +0100 | <haskellbridge> | <sm> though, its first release was march 2023. Wow, in haskell world it feels like another era.. but <2y |
| 2026-01-04 23:07:21 +0100 | <larsivi> | So after re-installing hls, that particular error diagnostic doesn't show anymore |
| 2026-01-04 23:07:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-04 23:08:35 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2026-01-04 23:11:16 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-04 23:15:16 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
| 2026-01-04 23:16:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 23:20:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 23:23:51 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-01-04 23:27:25 +0100 | Festive_Dragon | gAy_Dragon |
| 2026-01-04 23:29:32 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-01-04 23:32:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 23:33:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2026-01-04 23:37:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-04 23:41:36 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2026-01-04 23:42:54 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2026-01-04 23:43:22 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Quit: fp) |
| 2026-01-04 23:43:33 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2026-01-04 23:47:50 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-01-04 23:47:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-04 23:49:14 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-04 23:50:26 +0100 | Everything | (~Everythin@217.147.163.184) (Quit: leaving) |
| 2026-01-04 23:52:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 23:53:13 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2026-01-04 23:53:52 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2026-01-04 23:58:16 +0100 | CryptLab | (~NSA@2a0d:5600:6:108::2e) (Ping timeout: 255 seconds) |
| 2026-01-04 23:59:15 +0100 | CryptLab | (~NSA@2a0d:5600:6:108::2e) CommanderBond007 |