| 2025-11-24 00:00:49 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-24 00:05:19 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-11-24 00:06:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 00:10:04 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b4d9:61f2:c274:e6c7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-24 00:10:34 +0100 | Lears | Leary |
| 2025-11-24 00:11:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-24 00:15:11 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-806-95a4-3af3-5db4.ipv6dyn.netcologne.de) (Quit: Leaving) |
| 2025-11-24 00:21:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 00:26:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-24 00:35:43 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-24 00:37:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 00:40:05 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-24 00:42:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-24 00:45:39 +0100 | Googulator92 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 00:45:48 +0100 | Googulator50 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 00:49:17 +0100 | trickard_ | trickard |
| 2025-11-24 00:52:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 00:54:38 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-24 00:57:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-24 01:01:40 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-24 01:08:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 01:12:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-24 01:15:45 +0100 | Googulator20 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 01:15:45 +0100 | Googulator92 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 01:21:29 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-24 01:21:47 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-24 01:23:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 01:28:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-11-24 01:30:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-24 01:33:30 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-7335-edda-3f5f-81c7.ipv6dyn.netcologne.de) Inline |
| 2025-11-24 01:36:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 01:40:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-24 01:49:02 +0100 | gustrb | (~gustrb@user/gustrb) gustrb |
| 2025-11-24 01:51:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 01:53:05 +0100 | kayvank | (~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2025-11-24 01:53:34 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-24 01:55:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-24 02:03:32 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-24 02:04:01 +0100 | omidmash7 | (~omidmash@user/omidmash) omidmash |
| 2025-11-24 02:06:04 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2025-11-24 02:06:04 +0100 | omidmash7 | omidmash |
| 2025-11-24 02:06:15 +0100 | acidjnk | (~acidjnk@p200300d6e71719225087d4aad8d26235.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-11-24 02:06:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 02:09:59 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-24 02:11:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-24 02:12:13 +0100 | fmlatghor | (~lcoogan@user/fmlatghor) (Quit: WeeChat 3.8) |
| 2025-11-24 02:22:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 02:26:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-24 02:26:59 +0100 | falafel | (~falafel@2603:8000:ca00:83fb:d01e:2fee:516:54fa) (Ping timeout: 260 seconds) |
| 2025-11-24 02:27:30 +0100 | connrs | (~connrs@user/connrs) (Ping timeout: 252 seconds) |
| 2025-11-24 02:31:40 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-11-24 02:34:57 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-11-24 02:35:36 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-24 02:37:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 02:42:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-24 02:44:53 +0100 | trickard | (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-24 02:45:06 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-24 02:53:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 02:55:41 +0100 | Googulator20 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 02:55:43 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 02:55:48 +0100 | AlexNoo_ | (~AlexNoo@178.34.162.165) |
| 2025-11-24 02:57:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-24 02:58:15 +0100 | AlexZenon | (~alzenon@94.233.240.123) (Ping timeout: 245 seconds) |
| 2025-11-24 02:59:43 +0100 | AlexNoo | (~AlexNoo@94.233.240.123) (Ping timeout: 264 seconds) |
| 2025-11-24 03:01:25 +0100 | omidmash4 | (~omidmash@user/omidmash) omidmash |
| 2025-11-24 03:03:28 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2025-11-24 03:03:28 +0100 | omidmash4 | omidmash |
| 2025-11-24 03:08:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 03:10:21 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-24 03:13:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-24 03:17:47 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-11-24 03:19:36 +0100 | AlexZenon | (~alzenon@178.34.162.165) |
| 2025-11-24 03:24:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 03:28:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-24 03:32:03 +0100 | fmlatghor | (~lcoogan@user/fmlatghor) fmlatghor |
| 2025-11-24 03:37:21 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 252 seconds) |
| 2025-11-24 03:39:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 03:44:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-24 03:54:43 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-24 03:54:56 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-24 03:55:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 03:55:36 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 03:55:38 +0100 | Googulator58 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 03:57:06 +0100 | ski | (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 2025-11-24 03:59:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-24 04:03:22 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-24 04:05:37 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-24 04:10:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 04:15:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-24 04:15:47 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-11-24 04:25:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 04:29:01 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-24 04:30:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-24 04:40:04 +0100 | trickard_ | trickard |
| 2025-11-24 04:41:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 04:45:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-24 04:50:07 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-24 04:55:32 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-11-24 04:56:43 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) ft |
| 2025-11-24 04:56:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-24 04:56:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 04:59:46 +0100 | potatoespotatoes | (~quassel@130.44.145.181) |
| 2025-11-24 04:59:46 +0100 | potatoespotatoes | (~quassel@130.44.145.181) (Changing host) |
| 2025-11-24 04:59:46 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-11-24 05:01:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-24 05:02:53 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-24 05:06:01 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Ping timeout: 264 seconds) |
| 2025-11-24 05:06:32 +0100 | potatoespotatoes | (~quassel@130.44.145.181) |
| 2025-11-24 05:06:32 +0100 | potatoespotatoes | (~quassel@130.44.145.181) (Changing host) |
| 2025-11-24 05:06:32 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-11-24 05:11:55 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2025-11-24 05:12:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 05:12:22 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-11-24 05:14:32 +0100 | xff0x | (~xff0x@ai083123.d.east.v6connect.net) (Ping timeout: 240 seconds) |
| 2025-11-24 05:18:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-24 05:22:26 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-24 05:27:33 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3f6a:7752:62cb:f27d) |
| 2025-11-24 05:30:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 05:30:51 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 05:30:51 +0100 | Googulator58 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 05:34:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-24 05:45:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 05:50:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-24 06:01:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 06:01:41 +0100 | annamalai | (~annamalai@117.246.144.182) annamalai |
| 2025-11-24 06:05:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-24 06:12:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-11-24 06:13:48 +0100 | falafel | (~falafel@2603:8000:ca00:83fb:d01e:2fee:516:54fa) falafel |
| 2025-11-24 06:15:22 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-24 06:16:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 06:20:20 +0100 | annamalai | (~annamalai@117.246.144.182) (Ping timeout: 245 seconds) |
| 2025-11-24 06:20:46 +0100 | annamalai | (~annamalai@117.242.91.197) annamalai |
| 2025-11-24 06:21:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-24 06:30:42 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 06:30:45 +0100 | Googulator3 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 06:31:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 06:34:00 +0100 | trickard | (~trickard@cpe-87-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-24 06:34:35 +0100 | trickard__ | (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2025-11-24 06:36:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-24 06:45:28 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-11-24 06:45:51 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-24 06:47:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 06:51:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-24 06:57:30 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-24 07:02:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 07:05:07 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-24 07:07:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-24 07:17:29 +0100 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-11-24 07:18:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 07:22:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-24 07:25:10 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-11-24 07:25:49 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 264 seconds) |
| 2025-11-24 07:27:28 +0100 | trickard__ | (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-24 07:27:42 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2025-11-24 07:29:15 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-24 07:29:19 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 240 seconds) |
| 2025-11-24 07:31:02 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-11-24 07:33:49 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-11-24 07:37:34 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-24 07:38:00 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2025-11-24 07:38:09 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-24 07:40:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-24 07:41:07 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 264 seconds) |
| 2025-11-24 07:43:14 +0100 | michalz | (~michalz@185.246.207.215) |
| 2025-11-24 07:45:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-24 07:46:06 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-11-24 07:50:07 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 240 seconds) |
| 2025-11-24 07:52:01 +0100 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) aditya_an1l |
| 2025-11-24 07:56:09 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-11-24 07:57:42 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-11-24 07:58:52 +0100 | djspacewhale | (~djspacewh@user/djspacewhale) djspacewhale |
| 2025-11-24 08:00:42 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 08:00:45 +0100 | Googulator3 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 08:02:55 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 255 seconds) |
| 2025-11-24 08:04:24 +0100 | djspacewhale | (~djspacewh@user/djspacewhale) (Remote host closed the connection) |
| 2025-11-24 08:06:27 +0100 | djspacewhale | (~djspacewh@user/djspacewhale) djspacewhale |
| 2025-11-24 08:06:35 +0100 | djspacewhale | (~djspacewh@user/djspacewhale) (Remote host closed the connection) |
| 2025-11-24 08:13:57 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-11-24 08:15:53 +0100 | tomku|two | (~tomku@user/tomku) (Ping timeout: 244 seconds) |
| 2025-11-24 08:16:39 +0100 | Sgeo | (~Sgeo@user/sgeo) (Quit: Leaving) |
| 2025-11-24 08:18:08 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 240 seconds) |
| 2025-11-24 08:21:50 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-24 08:24:51 +0100 | falafel_ | (~falafel@gateway/vpn/pia/falafel) falafel |
| 2025-11-24 08:25:49 +0100 | annamalai | (~annamalai@117.242.91.197) (Ping timeout: 264 seconds) |
| 2025-11-24 08:26:19 +0100 | Square3 | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2025-11-24 08:29:01 +0100 | falafel | (~falafel@2603:8000:ca00:83fb:d01e:2fee:516:54fa) (Ping timeout: 255 seconds) |
| 2025-11-24 08:30:42 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 08:30:44 +0100 | Googulator65 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 08:32:49 +0100 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-24 08:35:52 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-24 08:38:48 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-24 08:43:50 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-24 08:43:57 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-24 08:44:07 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-24 08:44:12 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-24 08:44:19 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-7335-edda-3f5f-81c7.ipv6dyn.netcologne.de) (Remote host closed the connection) |
| 2025-11-24 08:44:26 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2025-11-24 08:44:37 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-5819-83dd-4ea3-eaee.ipv6dyn.netcologne.de) Inline |
| 2025-11-24 08:44:40 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-11-24 08:46:07 +0100 | DetourNe- | DetourNetworkUK |
| 2025-11-24 08:47:12 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-5819-83dd-4ea3-eaee.ipv6dyn.netcologne.de) (Remote host closed the connection) |
| 2025-11-24 08:47:14 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-24 08:48:15 +0100 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2025-11-24 08:49:00 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-7876-6072-4304-49c7.ipv6dyn.netcologne.de) Inline |
| 2025-11-24 08:49:05 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 245 seconds) |
| 2025-11-24 08:50:21 +0100 | annamalai | (~annamalai@117.246.27.136) annamalai |
| 2025-11-24 08:51:46 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-24 08:53:12 +0100 | defragger | (~random@i6DFADE93.versanet.de) defragger |
| 2025-11-24 09:00:09 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-11-24 09:02:45 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-24 09:02:47 +0100 | chele | (~chele@user/chele) chele |
| 2025-11-24 09:02:58 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2025-11-24 09:03:15 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-11-24 09:04:25 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 250 seconds) |
| 2025-11-24 09:11:12 +0100 | annamalai | (~annamalai@117.246.27.136) (Ping timeout: 252 seconds) |
| 2025-11-24 09:11:37 +0100 | annamalai | (~annamalai@157.32.136.68) annamalai |
| 2025-11-24 09:14:25 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-11-24 09:14:33 +0100 | trickard__ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-11-24 09:14:49 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2025-11-24 09:21:22 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-24 09:23:02 +0100 | AlexNoo_ | AlexNoo |
| 2025-11-24 09:33:12 +0100 | Gravifer | (~Gravifer@user/Gravifer) Gravifer |
| 2025-11-24 09:33:58 +0100 | fmlatghor | (~lcoogan@user/fmlatghor) (Remote host closed the connection) |
| 2025-11-24 09:34:22 +0100 | fmlatghor | (~lcoogan@user/fmlatghor) fmlatghor |
| 2025-11-24 09:42:50 +0100 | tomku | (~tomku@user/tomku) tomku |
| 2025-11-24 09:44:24 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-24 09:45:53 +0100 | Googulator30 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 09:45:53 +0100 | Googulator65 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 09:46:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-24 09:48:34 +0100 | Vayu | (~Vayu@2401:4900:1c96:e26f:d476:fd93:2a86:a776) |
| 2025-11-24 09:52:32 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 256 seconds) |
| 2025-11-24 09:54:47 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-24 09:54:56 +0100 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2025-11-24 10:01:43 +0100 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2025-11-24 10:07:32 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-24 10:07:55 +0100 | trickard__ | trickard |
| 2025-11-24 10:08:01 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-11-24 10:08:18 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-24 10:08:59 +0100 | Frostillicus | (~Frostilli@71.174.119.69) |
| 2025-11-24 10:09:48 +0100 | tromp | (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) |
| 2025-11-24 10:10:11 +0100 | tromp | (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2025-11-24 10:14:15 +0100 | Gravifer | (~Gravifer@user/Gravifer) (Ping timeout: 250 seconds) |
| 2025-11-24 10:21:52 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-11-24 10:24:01 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2025-11-24 10:28:50 +0100 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2025-11-24 10:30:19 +0100 | Vayu | (~Vayu@2401:4900:1c96:e26f:d476:fd93:2a86:a776) (Quit: Client closed) |
| 2025-11-24 10:35:45 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-11-24 10:36:37 +0100 | Frostillicus | (~Frostilli@71.174.119.69) (Ping timeout: 264 seconds) |
| 2025-11-24 10:37:16 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2025-11-24 10:45:35 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-24 10:48:22 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-11-24 10:50:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-11-24 10:50:09 +0100 | Digitteknohippie | Digit |
| 2025-11-24 10:57:44 +0100 | acidjnk | (~acidjnk@p200300d6e7171999e55ab4ed707f2239.dip0.t-ipconnect.de) acidjnk |
| 2025-11-24 11:01:32 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-24 11:09:18 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-11-24 11:09:18 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-11-24 11:09:18 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-24 11:14:43 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-11-24 11:15:18 +0100 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2025-11-24 11:15:59 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-24 11:18:12 +0100 | FANTOM | (~fantom@212.228.181.156) (*.net *.split) |
| 2025-11-24 11:22:34 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-11-24 11:22:53 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-24 11:32:47 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-24 11:35:31 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 246 seconds) |
| 2025-11-24 11:40:48 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-24 11:45:49 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-11-24 11:45:55 +0100 | Googulator30 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 11:46:05 +0100 | Googulator30 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 12:05:20 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-24 12:05:54 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-24 12:06:13 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-24 12:07:59 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-24 12:15:37 +0100 | Googulator30 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 12:15:42 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 12:16:35 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-11-24 12:23:28 +0100 | falafel_ | (~falafel@gateway/vpn/pia/falafel) (Ping timeout: 265 seconds) |
| 2025-11-24 12:29:05 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-24 12:33:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-24 12:39:09 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-24 12:41:14 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-24 12:43:26 +0100 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.7.1) |
| 2025-11-24 12:43:54 +0100 | FANTOM | (~fantom@212.228.181.156) |
| 2025-11-24 12:45:07 +0100 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2025-11-24 12:48:15 +0100 | FANTOM | (~fantom@212.228.181.156) (Ping timeout: 240 seconds) |
| 2025-11-24 12:51:39 +0100 | FANTOM | (~fantom@212.228.181.156) |
| 2025-11-24 13:00:46 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-24 13:04:51 +0100 | trickard__ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-11-24 13:06:13 +0100 | trickard | (~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2025-11-24 13:06:48 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-11-24 13:12:37 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-24 13:16:14 +0100 | qqe | (~qqq@185.54.21.174) |
| 2025-11-24 13:19:08 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-11-24 13:23:22 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-11-24 13:27:45 +0100 | trickard__ | trickard |
| 2025-11-24 13:34:51 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-24 13:41:37 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-24 13:46:05 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
| 2025-11-24 13:48:17 +0100 | younder | (~user@105.79-161-59.customer.lyse.net) |
| 2025-11-24 13:53:08 +0100 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2025-11-24 13:56:11 +0100 | <younder> | https://paste.tomsmeding.com/LhOsIzUc |
| 2025-11-24 14:01:41 +0100 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-24 14:01:55 +0100 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-11-24 14:22:31 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 264 seconds) |
| 2025-11-24 14:23:29 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-24 14:29:43 +0100 | fp | (~Thunderbi@130.233.70.108) fp |
| 2025-11-24 14:36:15 +0100 | fp | (~Thunderbi@130.233.70.108) (Ping timeout: 240 seconds) |
| 2025-11-24 14:38:33 +0100 | fp | (~Thunderbi@wireless-86-50-141-141.open.aalto.fi) fp |
| 2025-11-24 14:47:30 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-24 14:50:11 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-11-24 15:02:59 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-11-24 15:03:53 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-24 15:11:25 +0100 | trickard_ | trickard |
| 2025-11-24 15:25:21 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 15:26:31 +0100 | Googulator | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 15:30:05 +0100 | turlando | (~turlando@user/turlando) (Ping timeout: 250 seconds) |
| 2025-11-24 15:30:06 +0100 | turlando_ | (~turlando@user/turlando) turlando |
| 2025-11-24 15:31:20 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-11-24 15:41:07 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-11-24 15:43:09 +0100 | <kuribas> | Why do I get "Failed to find a HLS version for GHC 8.10.7" |
| 2025-11-24 15:43:19 +0100 | <kuribas> | In emacs-lsp |
| 2025-11-24 15:43:28 +0100 | <kuribas> | It works in another project. |
| 2025-11-24 15:44:24 +0100 | <haskellbridge> | <Morj> Did you rule out the obvious problems with PATH already, it picking up a different version of hls and/or ghc? |
| 2025-11-24 15:44:55 +0100 | <kuribas> | But path is the same in both projects? |
| 2025-11-24 15:45:41 +0100 | <haskellbridge> | <Morj> It might be modified by nix, direnv or your lsp plugin |
| 2025-11-24 15:46:12 +0100 | <kuribas> | hmm, there is a .stack-work with ghc-8.10.7 |
| 2025-11-24 15:46:16 +0100 | <haskellbridge> | <Morj> Sorry, I'm not familiar with emacs, so I'm doing first-line help advice here |
| 2025-11-24 15:46:38 +0100 | <kuribas> | Ah, I think stack is fixing this ghc... |
| 2025-11-24 15:47:21 +0100 | <haskellbridge> | <Morj> I prefer to always set system-ghc: true in stack to prevent that |
| 2025-11-24 15:47:52 +0100 | <haskellbridge> | <Morj> Some time ago stack also added ghcup integration instead of using its own packages, but I'm not sure how it works |
| 2025-11-24 15:48:08 +0100 | <kuribas> | hmm, I can try that |
| 2025-11-24 15:49:11 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-11-24 15:49:29 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-11-24 15:49:48 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-11-24 15:52:25 +0100 | fp | (~Thunderbi@wireless-86-50-141-141.open.aalto.fi) (Remote host closed the connection) |
| 2025-11-24 15:53:39 +0100 | <kuribas> | ok, it works now. |
| 2025-11-24 15:54:16 +0100 | <kuribas> | If I do map (\(x:xs) -> ...) $ groupBy .., how do I avoid the exhaustive error? |
| 2025-11-24 15:54:28 +0100 | <kuribas> | Empty list is impossible here. |
| 2025-11-24 15:54:34 +0100 | <kuribas> | well, warning. |
| 2025-11-24 15:55:49 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-11-24 15:59:34 +0100 | <geekosaur> | best you can do is -Wno-incomplete-uni-patterns, I think |
| 2025-11-24 15:59:45 +0100 | <geekosaur> | since there's no way to add the other case even if it mattered |
| 2025-11-24 15:59:48 +0100 | <kuribas> | It's nice to have, but not here. |
| 2025-11-24 15:59:48 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-11-24 15:59:55 +0100 | <haskellbridge> | <Morj> 1. Refactor all your code to put NonEmpty there ;-) |
| 2025-11-24 15:59:57 +0100 | <kuribas> | well, lambdacase |
| 2025-11-24 16:00:04 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-24 16:00:19 +0100 | <Leary> | kuribas: Use `Data.List.NonEmpty.groupBy`. |
| 2025-11-24 16:00:23 +0100 | <geekosaur> | (this is why uni-patterns is a separate warning) |
| 2025-11-24 16:01:01 +0100 | <haskellbridge> | <Morj> 2. You can use a partial function like "fromJust . uncons" |
| 2025-11-24 16:01:04 +0100 | <geekosaur> | well, yes, if you can use NonEmoty then it's not a problem. but I find NonEmpty somewhat annoying and sometimes a bit expensive since it's adding constructors that are pointless at runtime |
| 2025-11-24 16:01:55 +0100 | <geekosaur> | imo NonEmpty isn't a solution, it's an ugly hack around Haskell missing that aspect of dependent types |
| 2025-11-24 16:02:08 +0100 | <Leary> | `x:|xs` has no more constructors/expense than `x:xs`. |
| 2025-11-24 16:02:22 +0100 | fp | (~Thunderbi@130.233.70.108) fp |
| 2025-11-24 16:02:35 +0100 | <Leary> | It's not a solution to every non-empty list problem, but it /is/ a solution to giving `groupBy` a good signature. |
| 2025-11-24 16:02:44 +0100 | fp | (~Thunderbi@130.233.70.108) (Read error: Connection reset by peer) |
| 2025-11-24 16:03:34 +0100 | <haskellbridge> | <Morj> I find that NonEmpty is fine when you're inside the ecosystem that's more abstract over it's data types. A lot of functions take a list instead of a traversable. I find the pain slightly smaller with mono-traversable and everything that uses it |
| 2025-11-24 16:03:46 +0100 | <kuribas> | groupBy in idris uses List1 |
| 2025-11-24 16:04:50 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-24 16:05:36 +0100 | <geekosaur> | well, there's also that the case where I personally run into this "correctly" should be solved in xmonad core… by breaking the API of a central structure that's been fixed since at least 0.2 |
| 2025-11-24 16:06:14 +0100 | <geekosaur> | and is so core that pretty much everything in both core and contrib would have to be modified |
| 2025-11-24 16:08:44 +0100 | gustrb | (~gustrb@user/gustrb) (Read error: Connection reset by peer) |
| 2025-11-24 16:08:55 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-11-24 16:09:34 +0100 | gustrb | (~gustrb@user/gustrb) gustrb |
| 2025-11-24 16:10:31 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-11-24 16:10:36 +0100 | <kuribas> | groupBy should have been forall a. (a -> a -> a) -> [a] -> [(a, [a])] |
| 2025-11-24 16:11:24 +0100 | <kuribas> | ah, that's basically NonEmpty... |
| 2025-11-24 16:11:38 +0100 | <kuribas> | Maybe a bit less heavy on dependencies. |
| 2025-11-24 16:13:48 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-24 16:20:21 +0100 | <monochrom> | Data.List.Nonempty exports a groupBy :: Foldable f => (a -> a -> Bool) -> f a -> [NonEmpty a] |
| 2025-11-24 16:20:44 +0100 | <kuribas> | right :) |
| 2025-11-24 16:20:56 +0100 | <monochrom> | Since the input is any Foldable, you can still give it a normal list. |
| 2025-11-24 16:21:57 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Quit: fp) |
| 2025-11-24 16:24:05 +0100 | <monochrom> | "How groupBy Should Have Ended" |
| 2025-11-24 16:24:53 +0100 | <monochrom> | "But this is how groupBy should really have ended: Foldable f => (r :: a -> a -> Bool) -> (proof that r is really an equivalence relation) -> f a -> [NonEmpty a]" >:) |
| 2025-11-24 16:26:28 +0100 | <kuribas> | I usually use groupBy ((==) `on` f) ... |
| 2025-11-24 16:26:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-24 16:27:11 +0100 | <kuribas> | ah, that's groupWith... |
| 2025-11-24 16:27:23 +0100 | <monochrom> | Nice. |
| 2025-11-24 16:28:08 +0100 | <kuribas> | Even in idris Eq doesn't come with proofs... |
| 2025-11-24 16:30:10 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-11-24 16:30:26 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-24 16:30:30 +0100 | <Leary> | One of the reasons for `*By` functions is because you don't always want to be restricted by the laws associated with `Eq`/`Ord`. Ideally `groupBy` would be rewritten to group /related chains/, then it would make perfect sense regardless of transitivity. |
| 2025-11-24 16:31:30 +0100 | <monochrom> | I think it already does that. |
| 2025-11-24 16:31:58 +0100 | <Leary> | No, it collects elements related to the first following each break. |
| 2025-11-24 16:32:17 +0100 | <monochrom> | Ah, that. |
| 2025-11-24 16:36:14 +0100 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-24 16:37:38 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-11-24 16:48:37 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-11-24 16:53:56 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-24 16:55:06 +0100 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2025-11-24 16:56:04 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-24 16:56:27 +0100 | annamalai | (~annamalai@157.32.136.68) (Read error: Connection reset by peer) |
| 2025-11-24 16:56:47 +0100 | annamalai | (~annamalai@157.32.136.68) annamalai |
| 2025-11-24 16:58:11 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-24 17:02:35 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 240 seconds) |
| 2025-11-24 17:10:42 +0100 | Googulator | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 17:10:47 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 17:14:06 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 2025-11-24 17:16:26 +0100 | catties | kitties |
| 2025-11-24 17:16:32 +0100 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2025-11-24 17:18:00 +0100 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2025-11-24 17:18:39 +0100 | gehmehgeh | gmg |
| 2025-11-24 17:18:45 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-24 17:19:23 +0100 | hakutaku | (~textual@chen.yukari.eu.org) (Client Quit) |
| 2025-11-24 17:21:53 +0100 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2025-11-24 17:26:21 +0100 | comonad | (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) (Quit: WeeChat 4.7.0-dev) |
| 2025-11-24 17:29:02 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-24 17:29:59 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-24 17:30:41 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-11-24 17:30:41 +0100 | hakutaku | (~textual@chen.yukari.eu.org) (Remote host closed the connection) |
| 2025-11-24 17:31:17 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-11-24 17:33:55 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-11-24 17:34:57 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-24 17:37:21 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 17:37:30 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-24 17:37:39 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 17:40:47 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 17:40:47 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Client Quit) |
| 2025-11-24 17:43:02 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-11-24 17:43:59 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-11-24 17:46:21 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-11-24 17:46:40 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-24 17:54:48 +0100 | kitties | Catty |
| 2025-11-24 18:01:45 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 18:01:59 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 18:03:08 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-24 18:05:35 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 240 seconds) |
| 2025-11-24 18:07:16 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-24 18:08:01 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-24 18:10:40 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 18:10:46 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 18:12:50 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-24 18:17:01 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-24 18:18:01 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-24 18:18:32 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-24 18:22:04 +0100 | fmlatghor | (~lcoogan@user/fmlatghor) (Quit: WeeChat 4.1.1) |
| 2025-11-24 18:23:35 +0100 | qqe | (~qqq@185.54.21.174) (Ping timeout: 240 seconds) |
| 2025-11-24 18:38:49 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-24 18:41:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bd07:71f2:e20b:fdc) |
| 2025-11-24 18:52:08 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-24 18:52:14 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-24 18:54:19 +0100 | comonad | (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 2025-11-24 18:59:59 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-24 19:02:44 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-11-24 19:12:56 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bd07:71f2:e20b:fdc) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-24 19:21:15 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-11-24 19:21:39 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-24 19:22:09 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-24 19:24:14 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-24 19:26:00 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds) |
| 2025-11-24 19:29:29 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-24 19:33:37 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-11-24 19:36:27 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-24 19:38:13 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-24 19:39:31 +0100 | img | (~img@user/img) img |
| 2025-11-24 19:41:44 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-11-24 19:41:54 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-11-24 19:45:27 +0100 | fmlatghor | (~lcoogan@user/fmlatghor) fmlatghor |
| 2025-11-24 19:54:13 +0100 | marlino | (~marlino@96-8-193-28.block0.gvtc.com) |
| 2025-11-24 19:55:15 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bd07:71f2:e20b:fdc) |
| 2025-11-24 19:55:27 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-24 19:58:16 +0100 | marlino | (~marlino@96-8-193-28.block0.gvtc.com) (Client Quit) |
| 2025-11-24 19:58:21 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) ft |
| 2025-11-24 20:11:45 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-24 20:28:50 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-24 20:41:52 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-24 20:42:35 +0100 | kimiamania99 | (~67ff9c12@user/kimiamania) (Quit: PegeLinux) |
| 2025-11-24 20:43:45 +0100 | kimiamania99 | (~67ff9c12@user/kimiamania) kimiamania |