| 2025-07-13 00:04:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-13 00:09:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 00:11:30 +0200 | trickard_ | trickard |
| 2025-07-13 00:15:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-13 00:17:01 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-13 00:21:14 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-07-13 00:25:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 00:30:00 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in) |
| 2025-07-13 00:30:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 00:32:08 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-13 00:34:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-07-13 00:34:34 +0200 | ljdarj1 | ljdarj |
| 2025-07-13 00:40:12 +0200 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-13 00:41:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 00:42:15 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Client Quit) |
| 2025-07-13 00:44:06 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2025-07-13 00:46:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-13 00:57:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 00:57:57 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-13 01:01:15 +0200 | zlqrvx | (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Read error: Connection reset by peer) |
| 2025-07-13 01:01:42 +0200 | zlqrvx | (~zlqrvx@101.175.150.247) |
| 2025-07-13 01:02:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-13 01:02:03 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2025-07-13 01:02:24 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-13 01:03:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-13 01:03:56 +0200 | zlqrvx | (~zlqrvx@101.175.150.247) (Client Quit) |
| 2025-07-13 01:04:16 +0200 | zlqrvx | (~zlqrvx@101.175.150.247) |
| 2025-07-13 01:04:27 +0200 | zlqrvx | (~zlqrvx@101.175.150.247) (Client Quit) |
| 2025-07-13 01:07:17 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-13 01:12:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 01:14:21 +0200 | califax | (~califax@user/califx) (Ping timeout: 244 seconds) |
| 2025-07-13 01:15:02 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-13 01:18:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-13 01:21:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 01:23:51 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 01:24:12 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 01:25:26 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-07-13 01:26:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-13 01:34:38 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 01:34:49 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2025-07-13 01:35:26 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 01:37:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 01:42:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 01:48:05 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-07-13 01:49:33 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 245 seconds) |
| 2025-07-13 01:53:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 01:58:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-13 01:59:37 +0200 | sprotte24 | (~sprotte24@p200300d16f079c00585f55ea6613bb78.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-13 02:02:18 +0200 | jespada | (~jespada@r179-25-67-255.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-07-13 02:04:18 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2025-07-13 02:05:20 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 02:06:34 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 02:07:02 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-07-13 02:08:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 02:09:19 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-13 02:12:46 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-07-13 02:14:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 02:23:29 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-13 02:24:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 02:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-13 02:32:24 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-13 02:33:32 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-13 02:42:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 02:47:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-13 02:49:31 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-13 02:54:39 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 02:57:06 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-13 02:58:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 03:02:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 248 seconds) |
| 2025-07-13 03:03:13 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-13 03:03:19 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 03:04:00 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 03:08:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-13 03:15:23 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 03:19:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 03:23:55 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-13 03:24:02 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-07-13 03:24:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-13 03:33:34 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-13 03:33:48 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 03:34:26 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 03:35:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 03:39:28 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-13 03:39:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-13 03:42:53 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-07-13 03:44:32 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 03:48:19 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-13 03:50:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 03:54:40 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 03:55:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-13 04:05:03 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-07-13 04:05:37 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-07-13 04:06:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 04:07:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-13 04:10:25 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-07-13 04:10:55 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 04:13:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 04:15:48 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-07-13 04:21:34 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 04:23:34 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Changing host) |
| 2025-07-13 04:23:35 +0200 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
| 2025-07-13 04:24:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 04:26:13 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-07-13 04:29:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-13 04:32:39 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 04:39:07 +0200 | td_ | (~td@i5387093B.versanet.de) (Ping timeout: 252 seconds) |
| 2025-07-13 04:39:11 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 04:40:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 04:41:04 +0200 | td_ | (~td@i53870932.versanet.de) td_ |
| 2025-07-13 04:43:55 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-13 04:45:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 04:45:58 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-13 04:52:23 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-13 04:56:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 04:57:25 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 05:01:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-13 05:02:44 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
| 2025-07-13 05:03:33 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-07-13 05:04:22 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-07-13 05:09:42 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-13 05:09:42 +0200 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2025-07-13 05:11:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 05:16:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 05:19:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 05:24:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-13 05:31:46 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 2025-07-13 05:35:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 05:39:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-13 05:40:23 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 05:46:37 +0200 | aforemny | (~aforemny@2001:9e8:6ccb:3a00:3bd:430d:af9a:7d16) aforemny |
| 2025-07-13 05:48:20 +0200 | aforemny_ | (~aforemny@2001:9e8:6cec:a000:7c68:6f78:132a:91a9) (Ping timeout: 272 seconds) |
| 2025-07-13 05:51:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 05:56:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-13 06:03:03 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-07-13 06:04:15 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-13 06:06:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 06:12:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 06:21:13 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in) |
| 2025-07-13 06:22:36 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-13 06:22:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 06:22:49 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 06:24:56 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-07-13 06:25:28 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-13 06:26:44 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-07-13 06:26:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-07-13 06:27:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-13 06:28:08 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-07-13 06:30:16 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 06:31:15 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2025-07-13 06:33:00 +0200 | tomku | (~tomku@user/tomku) tomku |
| 2025-07-13 06:34:00 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in) |
| 2025-07-13 06:38:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 06:43:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-13 06:46:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-13 06:54:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 07:00:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-13 07:01:36 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-13 07:03:58 +0200 | wbooze | (~inline@ip-005-146-197-046.um05.pools.vodafone-ip.de) Inline |
| 2025-07-13 07:08:19 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-13 07:08:33 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 07:10:11 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-13 07:12:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 07:15:20 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 07:17:17 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-13 07:17:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 07:20:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 07:25:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-13 07:28:06 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-13 07:34:04 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 07:34:42 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-13 07:34:55 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 07:36:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 07:40:58 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-13 07:41:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-13 07:47:14 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-13 07:47:53 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-07-13 07:51:01 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 07:52:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 07:55:23 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-13 07:57:05 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-13 07:57:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-13 08:07:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 08:11:36 +0200 | <Axman6> | byorgey: Just watching your ZuriHac talk, I really enjoyed it. I've done a few CTFs in Haskell and found needing a bunch of libraries and having to reinvent things like xoring the cycle of one bytestring with another so frustrating. Did you end up posting the solution to the last problem? (Also, so weird seeing the fase of someone you've only known by an IRC handle for... decades?) |
| 2025-07-13 08:12:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-13 08:14:35 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-13 08:14:48 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 08:21:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 08:26:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-13 08:26:32 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-13 08:26:46 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 08:29:22 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-07-13 08:32:14 +0200 | trickard_ | trickard |
| 2025-07-13 08:37:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 08:38:55 +0200 | cute-guest | (~cute-gues@2601:602:57f:26a0:9158:2d3c:13d4:f377) |
| 2025-07-13 08:39:29 +0200 | <cute-guest> | hello haskell : D |
| 2025-07-13 08:39:46 +0200 | cute-guest | (~cute-gues@2601:602:57f:26a0:9158:2d3c:13d4:f377) (Client Quit) |
| 2025-07-13 08:42:25 +0200 | cute-guest | (~cute-gues@2601:602:57f:26a0:9158:2d3c:13d4:f377) |
| 2025-07-13 08:42:32 +0200 | <cute-guest> | oops |
| 2025-07-13 08:43:32 +0200 | <cute-guest> | well its pretty late ovr here and so not a lot of people are on probably,, |
| 2025-07-13 08:44:02 +0200 | <EvanR> | nobody here but us chicken schemes |
| 2025-07-13 08:44:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-13 08:44:20 +0200 | <cute-guest> | chickn schemes,, hmm |
| 2025-07-13 08:44:34 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-13 08:45:35 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 08:46:06 +0200 | PoolloverNathan | (~nathan@user/PoolloverNathan) PoolloverNathan |
| 2025-07-13 08:46:56 +0200 | <cute-guest> | do ya know anything abt effect systems? i think i made one but it probably wasnt v good,, do ya know which ones ppl like the most? |
| 2025-07-13 08:47:41 +0200 | <cute-guest> | i saw this one called "capabilites" recently but,, when i downed |
| 2025-07-13 08:47:47 +0200 | <cute-guest> | oops |
| 2025-07-13 08:48:07 +0200 | <cute-guest> | when i tried using it it had a whole buncha dependencies |
| 2025-07-13 08:48:41 +0200 | <cute-guest> | also,,,, whats,, chickn scheme |
| 2025-07-13 08:49:04 +0200 | cute-guest | (~cute-gues@2601:602:57f:26a0:9158:2d3c:13d4:f377) (Quit: Client closed) |
| 2025-07-13 08:49:24 +0200 | cute-guest | (~cute-gues@2601:602:57f:26a0:9158:2d3c:13d4:f377) |
| 2025-07-13 08:49:54 +0200 | cute-guest | (~cute-gues@2601:602:57f:26a0:9158:2d3c:13d4:f377) (Client Quit) |
| 2025-07-13 08:53:17 +0200 | <jreicher> | Chicken is a compiler for Scheme, which is a Lisp. |
| 2025-07-13 08:53:33 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-07-13 08:55:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 08:55:23 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) |
| 2025-07-13 08:55:36 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-07-13 08:56:55 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-13 08:59:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-13 09:00:02 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-13 09:00:42 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-13 09:01:29 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
| 2025-07-13 09:04:29 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 09:11:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 09:13:13 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-13 09:16:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 09:19:03 +0200 | <Enrico63> | tomsmeding, wow, doing ./hadrian/build and its taking ages, but most of all, GBs. Are 56G enough? :D |
| 2025-07-13 09:21:04 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 09:21:25 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-13 09:22:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 09:26:28 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 09:28:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-07-13 09:34:43 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-13 09:37:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-13 09:38:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 09:39:08 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-13 09:39:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) |
| 2025-07-13 09:43:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-13 09:43:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-07-13 09:45:16 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 09:48:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-13 09:51:25 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 09:52:28 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-13 09:52:41 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 09:54:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 09:59:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-13 10:01:57 +0200 | acidjnk | (~acidjnk@p200300d6e70b6650f56f112433cd0c6a.dip0.t-ipconnect.de) acidjnk |
| 2025-07-13 10:02:58 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-13 10:04:46 +0200 | <tomsmeding> | Enrico63: RAM or disk? :p |
| 2025-07-13 10:05:08 +0200 | <tomsmeding> | my GHC build directory is 17G |
| 2025-07-13 10:05:18 +0200 | <tomsmeding> | er, repository -- the _build directory is 11G |
| 2025-07-13 10:05:39 +0200 | <tomsmeding> | GHC is big. :) |
| 2025-07-13 10:06:27 +0200 | <Enrico63> | I meant disk. Yes, I've completed with ~45G left, I had ~56G |
| 2025-07-13 10:07:09 +0200 | <Enrico63> | Now I'm starting ghci.. and that's compiling something else :/ |
| 2025-07-13 10:08:57 +0200 | <Enrico63> | The next step is to understand/remember where in my config do I set that I want the Vi editing mode. |
| 2025-07-13 10:09:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 10:10:38 +0200 | <Enrico63> | Oh, .haskeline, right |
| 2025-07-13 10:13:13 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-13 10:14:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 10:15:21 +0200 | <Enrico63> | Opinion, if "cabal test" in libraries/haskeline fails (at runtime)... what have I done wrong? |
| 2025-07-13 10:15:39 +0200 | <Enrico63> | ~Opinion~ Question |
| 2025-07-13 10:16:21 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) |
| 2025-07-13 10:16:28 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-13 10:20:15 +0200 | <[exa]> | Enrico63: haskeline is touching terminal weirdness so there might be cases |
| 2025-07-13 10:20:22 +0200 | <[exa]> | what's your system? |
| 2025-07-13 10:20:42 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-13 10:21:26 +0200 | <Enrico63> | ArchLinux |
| 2025-07-13 10:22:27 +0200 | <Enrico63> | Let me clarify: I normally use vi editing mode in GHCi, and my Haskell set up is managed via GHCup. |
| 2025-07-13 10:22:27 +0200 | <Enrico63> | Now I'm building it from source because I want to experiment precisely with haskeline, which has really poor support for vi editing mode. |
| 2025-07-13 10:23:22 +0200 | <Enrico63> | This is literally all I've done today: |
| 2025-07-13 10:23:23 +0200 | <Enrico63> | git clone https://gitlab.haskell.org/ghc/ghc.git |
| 2025-07-13 10:23:23 +0200 | <Enrico63> | cd ghc/ |
| 2025-07-13 10:23:24 +0200 | <Enrico63> | git submodule update --init |
| 2025-07-13 10:23:24 +0200 | <Enrico63> | ./boot |
| 2025-07-13 10:23:25 +0200 | <Enrico63> | ./configure |
| 2025-07-13 10:23:25 +0200 | <Enrico63> | ./hadrian/build -j8 |
| 2025-07-13 10:23:26 +0200 | <Enrico63> | cd libraries/haskeline |
| 2025-07-13 10:23:26 +0200 | <Enrico63> | cabal test |
| 2025-07-13 10:23:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 10:23:48 +0200 | <mauke> | wouldn't it be easier to experiment with haskeline in isolation first? |
| 2025-07-13 10:25:38 +0200 | <[exa]> | well to try stuff in ghci you need to build ghci with the modified haskeline |
| 2025-07-13 10:26:06 +0200 | <Enrico63> | mauke, how do I do that? |
| 2025-07-13 10:26:09 +0200 | <[exa]> | still, don't they have a slightly less overblown test program? |
| 2025-07-13 10:26:43 +0200 | <[exa]> | Enrico63: you can run haskeline in a completely stupid mode in a program that doesn't do anything, but the vi-style editing (and other things) should be moreless same as in ghci |
| 2025-07-13 10:26:58 +0200 | <[exa]> | wait I should have a sensible one handy |
| 2025-07-13 10:27:12 +0200 | <[exa]> | here https://github.com/exaexa/minihm |
| 2025-07-13 10:27:42 +0200 | <tomsmeding> | for what it's worth, `cabal test` on haskeline master fails for me too |
| 2025-07-13 10:28:38 +0200 | <Enrico63> | Happy it fails, it makes me feel normal, ahah |
| 2025-07-13 10:28:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-13 10:29:08 +0200 | <[exa]> | Quickcheck question: is there any good approach to generate test-cases for a program that should do edit merges (like git-merge or diff3 or so) ? |
| 2025-07-13 10:29:17 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 265 seconds) |
| 2025-07-13 10:29:43 +0200 | <[exa]> | (even philosophically, what is the "property" to test there) |
| 2025-07-13 10:30:00 +0200 | <tomsmeding> | if you can apply a diff, then `apply diff left == right`? |
| 2025-07-13 10:30:05 +0200 | <[exa]> | that's for diff |
| 2025-07-13 10:30:10 +0200 | <tomsmeding> | oh right |
| 2025-07-13 10:30:25 +0200 | <[exa]> | diff is okay because composing patch and diff should kinda be an identity |
| 2025-07-13 10:30:28 +0200 | <tomsmeding> | merge has no spec anyway |
| 2025-07-13 10:30:41 +0200 | <tomsmeding> | merge is like "yolo if I can make it work it's probably fine" |
| 2025-07-13 10:30:44 +0200 | <[exa]> | with diff3 you have this orig+mine+yours and it produces a merged thing |
| 2025-07-13 10:30:52 +0200 | <[exa]> | so kinda wondering how to relate it to the originals |
| 2025-07-13 10:31:24 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 10:31:35 +0200 | <[exa]> | I could go the hard way and deconstruct the diff-zipping algorithm into a generator but that's more effort than I hoped for |
| 2025-07-13 10:32:13 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 10:32:23 +0200 | <[exa]> | hm maybe I generate a random merged file with conflicts, make the orig+mine+yours from that, and see what happens |
| 2025-07-13 10:35:01 +0200 | <tomsmeding> | also even if you give merging a spec, if that spec includes behaviour of current conventional merge algorithms, then it's still insufficient to actually be able to trust it in practice |
| 2025-07-13 10:35:40 +0200 | <tomsmeding> | because in code, changes are sometimes nonlocal, and merging will consider spacially distant changes to be logically unrelated |
| 2025-07-13 10:35:47 +0200 | trickard_ | trickard |
| 2025-07-13 10:36:24 +0200 | <tomsmeding> | so any property to prove/test about a merge algorithm will necessarily have to be lower-level than "it does the right thing" |
| 2025-07-13 10:36:38 +0200 | <tomsmeding> | and include some of the arbitrary choices/heuristics made in the algorithm |
| 2025-07-13 10:36:46 +0200 | <tomsmeding> | (like "how far is distant enough") |
| 2025-07-13 10:39:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 10:39:51 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-13 10:41:10 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-13 10:44:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-13 10:47:20 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-13 10:47:35 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 10:48:23 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 10:50:24 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-13 10:51:55 +0200 | fp1 | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-07-13 10:52:33 +0200 | <Enrico63> | [exa], wonderful, thanks!!! |
| 2025-07-13 10:53:26 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 10:55:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 10:58:43 +0200 | <[exa]> | tomsmeding: yeah well aware of that |
| 2025-07-13 10:59:14 +0200 | <[exa]> | spoiler: I got some stuff to merge that is so messed up that yakshaving a new mergetool will save an order of magnitude of effort |
| 2025-07-13 10:59:57 +0200 | <tomsmeding> | O.o |
| 2025-07-13 10:59:59 +0200 | sprotte24 | (~sprotte24@p200300d16f118b009de684e40fbf0935.dip0.t-ipconnect.de) |
| 2025-07-13 11:00:04 +0200 | <tomsmeding> | my condolences |
| 2025-07-13 11:00:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-13 11:00:56 +0200 | <Enrico63> | [exa] 3 way merge, then ? |
| 2025-07-13 11:01:08 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-13 11:01:30 +0200 | <[exa]> | this is 3 large refactors all of which included complete reformat of the code |
| 2025-07-13 11:01:38 +0200 | <[exa]> | (with incompatible formatters) |
| 2025-07-13 11:02:08 +0200 | <tomsmeding> | reformat all versions with the same formatter now, and _then_ merge? |
| 2025-07-13 11:02:24 +0200 | <tomsmeding> | also how are you even planning to attack that with a custom merge tool |
| 2025-07-13 11:03:21 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-07-13 11:03:24 +0200 | <tomsmeding> | merging two incompatible large refactors of a codebase sounds like a hopeless task for any automated system |
| 2025-07-13 11:10:03 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 11:10:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 11:15:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-13 11:16:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 11:17:23 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 11:18:08 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-13 11:18:52 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-07-13 11:22:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-13 11:23:07 +0200 | Square | (~Square@user/square) Square |
| 2025-07-13 11:23:27 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 11:24:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 11:28:12 +0200 | michalz | (~michalz@185.246.207.197) |
| 2025-07-13 11:29:12 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-13 11:31:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 11:31:45 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-13 11:34:19 +0200 | acidjnk | (~acidjnk@p200300d6e70b6650f56f112433cd0c6a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-07-13 11:42:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 11:43:04 +0200 | fp1 | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 268 seconds) |
| 2025-07-13 11:44:17 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-13 11:44:30 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 11:47:00 +0200 | sprotte24 | (~sprotte24@p200300d16f118b009de684e40fbf0935.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-07-13 11:47:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 11:47:42 +0200 | <haskellbridge> | <maralorn> [exa] Are you aware of mergiraf.org? |
| 2025-07-13 11:48:10 +0200 | <haskellbridge> | <maralorn> Maybe it could help. |
| 2025-07-13 11:49:17 +0200 | sprotte24 | (~sprotte24@p200300d16f118b009de684e40fbf0935.dip0.t-ipconnect.de) |
| 2025-07-13 11:54:33 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-07-13 11:54:44 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-13 11:54:57 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 11:57:04 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-13 11:58:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 11:59:24 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2025-07-13 12:01:07 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-13 12:01:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) |
| 2025-07-13 12:02:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-13 12:03:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-13 12:05:19 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 12:07:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-13 12:14:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 12:14:34 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-13 12:14:48 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 12:19:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-13 12:24:32 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 12:25:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 12:29:32 +0200 | trickard_ | trickard |
| 2025-07-13 12:30:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 12:31:29 +0200 | acidjnk | (~acidjnk@p200300d6e70b6650c95b36139ef284f9.dip0.t-ipconnect.de) acidjnk |
| 2025-07-13 12:36:04 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 12:36:25 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 12:36:29 +0200 | <[exa]> | maralorn: that looks like quite a bit of overkill |
| 2025-07-13 12:37:09 +0200 | <tomsmeding> | [exa]: how is an off-the-shelf tool overkill but writing your own merge tool not |
| 2025-07-13 12:37:35 +0200 | <[exa]> | no like, the amount of code there ain't small |
| 2025-07-13 12:38:51 +0200 | <tomsmeding> | I'm curious what conflicts you have that are not solvable using a code formatter and manual conflict resolution, but for which writing your own merge tool is feasible |
| 2025-07-13 12:39:13 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-07-13 12:39:40 +0200 | <[exa]> | ah they depend on tree-sitter and tree matching, okay that's a fair shot |
| 2025-07-13 12:39:45 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds) |
| 2025-07-13 12:40:43 +0200 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-07-13 12:40:59 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-13 12:41:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 12:43:48 +0200 | <[exa]> | tomsmeding: biocuration outputs, there's plenty of freetext there ("comments") which have to be merged sensibly as well |
| 2025-07-13 12:44:33 +0200 | <tomsmeding> | ah I see |
| 2025-07-13 12:44:37 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 12:44:53 +0200 | <tomsmeding> | where possibly, if comments changed differently in both versions, it's fine to just keep both? |
| 2025-07-13 12:45:21 +0200 | <tomsmeding> | which would be something that's not too hard to build but not done by existing merge tools |
| 2025-07-13 12:45:24 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-13 12:46:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 12:47:11 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-13 12:47:39 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-13 12:48:31 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-13 12:50:10 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-13 12:50:53 +0200 | <[exa]> | tomsmeding: nah the plaintext changes are the main issue |
| 2025-07-13 12:51:18 +0200 | <[exa]> | if these wouldn't be the problem I'd just forceformat everything |
| 2025-07-13 12:52:43 +0200 | <[exa]> | hm for the closest picture imagine merging changes in a TeX paper where 2 mathematicians very zealous about tex macros have each spent a month working independently, one of them force-justifying stuff to 80chars and other one to 120chars |
| 2025-07-13 12:53:08 +0200 | <[exa]> | nvm it's almost done :D |
| 2025-07-13 12:57:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 13:00:38 +0200 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 2025-07-13 13:00:53 +0200 | lambdap23717 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2025-07-13 13:01:10 +0200 | jespada | (~jespada@r167-61-141-199.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-13 13:01:46 +0200 | sprotte24 | (~sprotte24@p200300d16f118b009de684e40fbf0935.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-13 13:02:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-13 13:03:28 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 13:06:18 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 13:08:40 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-13 13:11:57 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-13 13:12:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 13:14:04 +0200 | califax | (~califax@user/califx) (Ping timeout: 244 seconds) |
| 2025-07-13 13:16:45 +0200 | <tomsmeding> | [exa]: hope you're being paid for this |
| 2025-07-13 13:17:17 +0200 | <tomsmeding> | and that there's a domain expert thoroughly checking the output of your merging process :p |
| 2025-07-13 13:18:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-13 13:18:59 +0200 | <tomsmeding> | [exa]: for the TeX hypothetical you described, what I'd do is open the two side-to-side in vimdiff and manually manipulate both documents until they are at some point equal |
| 2025-07-13 13:19:16 +0200 | <tomsmeding> | "manually" as in, using formatting/reflowing/regex tools, but otherwise manually eyeballing |
| 2025-07-13 13:19:24 +0200 | <tomsmeding> | you can't auto-merge mathematical arguments |
| 2025-07-13 13:21:24 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 13:21:42 +0200 | patri_ | (~patri@user/patri) (Ping timeout: 276 seconds) |
| 2025-07-13 13:23:00 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-13 13:23:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) |
| 2025-07-13 13:23:50 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-07-13 13:26:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 13:29:24 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-13 13:30:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-13 13:32:57 +0200 | <haskellbridge> | <maralorn> It might be overkill but it works great and I love that it exists |
| 2025-07-13 13:40:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-07-13 13:41:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 13:44:06 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 13:47:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 13:50:12 +0200 | <[exa]> | maralorn: yeah if this was pure source code it would probably just do it |
| 2025-07-13 13:50:54 +0200 | <[exa]> | just curious, what does it do if the source code is invalid? |
| 2025-07-13 13:51:05 +0200 | <[exa]> | (or if someone comments out half of the file or so) |
| 2025-07-13 13:57:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 13:59:06 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-13 14:02:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-13 14:03:26 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-13 14:04:39 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 14:05:13 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 14:05:13 +0200 | <[exa]> | anyway turns out that just cutting the source to pieces by spaces AND having a diff3 that ignores the space conflicts almost does it for me |
| 2025-07-13 14:11:47 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 14:12:18 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-13 14:12:31 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 14:12:48 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-13 14:13:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 14:15:12 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-13 14:18:24 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-13 14:20:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 14:22:32 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 14:27:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 14:29:56 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-13 14:30:23 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-13 14:31:14 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-13 14:33:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-13 14:43:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 14:45:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-13 14:48:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-13 14:52:38 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-13 14:54:18 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-13 14:55:32 +0200 | sprotte24 | (~sprotte24@p200300d16f118b009de684e40fbf0935.dip0.t-ipconnect.de) |
| 2025-07-13 14:57:16 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-13 14:57:28 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 14:58:08 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-13 14:58:50 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-13 14:59:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 15:01:11 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-13 15:02:34 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-13 15:03:34 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-13 15:04:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-13 15:07:22 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-13 15:08:40 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-13 15:10:04 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-13 15:10:17 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-13 15:10:27 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 15:11:03 +0200 | <tomsmeding> | :) |
| 2025-07-13 15:11:21 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-13 15:14:04 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2025-07-13 15:14:49 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-13 15:14:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 15:16:00 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-13 15:16:02 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-13 15:19:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-13 15:20:53 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-07-13 15:27:25 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-13 15:30:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-13 15:32:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-13 15:35:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-13 15:35:35 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-13 15:36:09 +0200 | califax | (~califax@user/califx) (Ping timeout: 244 seconds) |
| 2025-07-13 15:39:39 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-13 15:43:47 +0200 | califax | (~califax@user/califx) califx |