| 2024-10-24 00:02:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 00:06:19 +0200 | gioyik_ | (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 4.4.2) |
| 2024-10-24 00:06:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 00:09:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-24 00:11:48 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-10-24 00:15:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-24 00:15:53 +0200 | <Everything> | :| |
| 2024-10-24 00:16:26 +0200 | Everything | (~Everythin@178-133-129-110.mobile.vf-ua.net) (Quit: leaving) |
| 2024-10-24 00:17:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 00:24:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-24 00:25:55 +0200 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 252 seconds) |
| 2024-10-24 00:26:20 +0200 | vglfr | (~vglfr@2607:fb90:eaaf:c94:ac39:c397:e371:f5a4) vglfr |
| 2024-10-24 00:28:11 +0200 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2024-10-24 00:32:17 +0200 | andrei | (~andrei@dhcp-128-189-230-146.ubcsecure.wireless.ubc.ca) |
| 2024-10-24 00:32:41 +0200 | andrei | Guest8438 |
| 2024-10-24 00:33:04 +0200 | vglfr | (~vglfr@2607:fb90:eaaf:c94:ac39:c397:e371:f5a4) (Ping timeout: 260 seconds) |
| 2024-10-24 00:33:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-24 00:33:25 +0200 | vglfr | (~vglfr@2607:fb91:148f:4ec9:ad2:e57:50bf:b120) vglfr |
| 2024-10-24 00:35:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 00:39:45 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-10-24 00:41:24 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-24 00:42:28 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb3315984098f5118deb.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-10-24 00:42:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-24 00:42:34 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 244 seconds) |
| 2024-10-24 00:43:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 00:47:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-24 00:53:21 +0200 | myme | (~myme@2a01:799:d5c:5f00:3450:111a:e305:e38a) (Ping timeout: 252 seconds) |
| 2024-10-24 00:55:23 +0200 | myme | (~myme@2a01:799:d5c:5f00:e607:4386:5207:22da) myme |
| 2024-10-24 00:58:07 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2024-10-24 00:58:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 01:03:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 01:04:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-24 01:06:33 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4e61:3b0b:e25d:c6d4) (Ping timeout: 252 seconds) |
| 2024-10-24 01:13:42 +0200 | vglfr | (~vglfr@2607:fb91:148f:4ec9:ad2:e57:50bf:b120) (Read error: Connection reset by peer) |
| 2024-10-24 01:14:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 01:17:47 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4e61:3b0b:e25d:c6d4) |
| 2024-10-24 01:18:28 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-24 01:19:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 01:19:56 +0200 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-10-24 01:20:17 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
| 2024-10-24 01:20:56 +0200 | alexherbo2 | (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-24 01:21:27 +0200 | alexherbo2 | (~alexherbo@2a02-8440-310b-6bee-dd6e-5f46-eaaa-ac25.rev.sfr.net) alexherbo2 |
| 2024-10-24 01:21:53 +0200 | Guest8438 | (~andrei@dhcp-128-189-230-146.ubcsecure.wireless.ubc.ca) (Read error: Connection reset by peer) |
| 2024-10-24 01:22:02 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-10-24 01:23:24 +0200 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2024-10-24 01:24:23 +0200 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-10-24 01:25:00 +0200 | alexherbo2 | (~alexherbo@2a02-8440-310b-6bee-dd6e-5f46-eaaa-ac25.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-24 01:30:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 01:33:40 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-10-24 01:34:07 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-24 01:35:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-24 01:36:17 +0200 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-24 01:38:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 01:39:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-24 01:40:36 +0200 | TotoMP | (~TotoMP@190.194.22.21) |
| 2024-10-24 01:42:08 +0200 | TotoMP | (~TotoMP@190.194.22.21) (Client Quit) |
| 2024-10-24 01:43:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-24 01:54:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 01:59:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-24 02:09:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 02:10:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 02:13:59 +0200 | lambdaRule | (~lambdaRul@2001:569:501f:3400:706a:bb51:efde:dbd0) |
| 2024-10-24 02:16:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-24 02:17:58 +0200 | <Axman6> | :S |
| 2024-10-24 02:18:04 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-24 02:23:06 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4e61:3b0b:e25d:c6d4) (Ping timeout: 246 seconds) |
| 2024-10-24 02:27:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 02:31:20 +0200 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
| 2024-10-24 02:32:23 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-24 02:33:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-24 02:33:55 +0200 | califax | (~califax@user/califx) califx |
| 2024-10-24 02:36:25 +0200 | lambdaRule | (~lambdaRul@2001:569:501f:3400:706a:bb51:efde:dbd0) (Quit: Client closed) |
| 2024-10-24 02:39:00 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-24 02:45:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 02:49:48 +0200 | <dmj`> | :] |
| 2024-10-24 02:52:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 03:03:15 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 03:07:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 03:10:22 +0200 | hgolden_ | (~hgolden@146.70.172.37) hgolden |
| 2024-10-24 03:12:46 +0200 | hgolden__ | (~hgolden@146.70.174.37) (Ping timeout: 252 seconds) |
| 2024-10-24 03:13:07 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-24 03:13:20 +0200 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2024-10-24 03:15:46 +0200 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) |
| 2024-10-24 03:17:53 +0200 | hgolden__ | (~hgolden@23.162.40.28) hgolden |
| 2024-10-24 03:18:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 03:20:57 +0200 | hgolden_ | (~hgolden@146.70.172.37) (Ping timeout: 276 seconds) |
| 2024-10-24 03:23:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-24 03:30:16 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
| 2024-10-24 03:34:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 03:39:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-24 03:50:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 03:55:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 03:58:43 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 245 seconds) |
| 2024-10-24 03:59:30 +0200 | cheater | (~Username@user/cheater) cheater |
| 2024-10-24 04:06:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 04:10:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-24 04:18:50 +0200 | madhavanmiui | (~madhavanm@2409:40f4:3b:a5d4:8000::) |
| 2024-10-24 04:20:27 +0200 | madhavanmiui | (~madhavanm@2409:40f4:3b:a5d4:8000::) (Client Quit) |
| 2024-10-24 04:21:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 04:26:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-24 04:37:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 04:39:36 +0200 | td_ | (~td@i53870909.versanet.de) (Ping timeout: 246 seconds) |
| 2024-10-24 04:41:26 +0200 | td_ | (~td@i5387092E.versanet.de) td_ |
| 2024-10-24 04:42:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-24 04:42:57 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 04:45:37 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-10-24 04:53:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 04:58:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-24 05:07:27 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-24 05:07:27 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfd:4f00:a308:87bf:ccc5:4223) (Ping timeout: 252 seconds) |
| 2024-10-24 05:07:40 +0200 | aforemny | (~aforemny@i577B12D8.versanet.de) aforemny |
| 2024-10-24 05:09:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 05:16:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-24 05:23:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 05:28:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-24 05:33:18 +0200 | <synchrom1> | :/ |
| 2024-10-24 05:37:37 +0200 | Square | (~Square@user/square) Square |
| 2024-10-24 05:39:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 05:44:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-24 05:54:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 05:56:58 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-24 05:59:27 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-24 05:59:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 06:10:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 06:15:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-24 06:19:03 +0200 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) (Quit: Leaving) |
| 2024-10-24 06:23:22 +0200 | hgolden_ | (~hgolden@static-198-44-129-51.cust.tzulo.com) hgolden |
| 2024-10-24 06:26:12 +0200 | hgolden__ | (~hgolden@23.162.40.28) (Ping timeout: 276 seconds) |
| 2024-10-24 06:26:31 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 06:31:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 06:37:31 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2024-10-24 06:39:34 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-24 06:41:40 +0200 | rosco | (~rosco@60.53.7.10) rosco |
| 2024-10-24 06:42:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 06:43:15 +0200 | michalz | (~michalz@185.246.207.201) |
| 2024-10-24 06:44:53 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-10-24 06:49:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-24 07:00:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 07:01:33 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2024-10-24 07:02:56 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-10-24 07:05:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-24 07:06:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-10-24 07:07:36 +0200 | euleritian | (~euleritia@dynamic-176-006-144-181.176.6.pool.telefonica.de) |
| 2024-10-24 07:13:15 +0200 | euleritian | (~euleritia@dynamic-176-006-144-181.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 07:13:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 07:16:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 07:21:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 07:23:29 +0200 | rosco | (~rosco@60.53.7.10) (Quit: Lost terminal) |
| 2024-10-24 07:23:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-24 07:23:58 +0200 | rosco | (~rosco@60.53.7.10) rosco |
| 2024-10-24 07:24:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 07:30:08 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-24 07:31:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-24 07:33:55 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split) |
| 2024-10-24 07:34:28 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-24 07:35:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-24 07:35:41 +0200 | euleritian | (~euleritia@dynamic-176-006-144-181.176.6.pool.telefonica.de) |
| 2024-10-24 07:37:03 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2024-10-24 07:37:11 +0200 | rosco | (~rosco@60.53.7.10) (Quit: Lost terminal) |
| 2024-10-24 07:42:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 07:45:52 +0200 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2024-10-24 07:48:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 07:58:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 08:03:49 +0200 | rmca | (~rob@188.120.84.50) |
| 2024-10-24 08:03:55 +0200 | YaShhhh | (~YaShhhh@202.148.59.170) |
| 2024-10-24 08:03:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-24 08:09:28 +0200 | pipsquak-bird | (~g@c-71-232-204-190.hsd1.ma.comcast.net) |
| 2024-10-24 08:10:25 +0200 | billchenchina- | (~billchenc@103.152.35.21) billchenchina |
| 2024-10-24 08:10:54 +0200 | billchenchina- | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2024-10-24 08:13:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-24 08:14:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 08:19:00 +0200 | <jackdk> | :D |
| 2024-10-24 08:19:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 08:20:29 +0200 | neuroevolutus | (~neuroevol@37.19.200.141) neuroevolutus |
| 2024-10-24 08:25:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 08:27:31 +0200 | YaShhhh | (~YaShhhh@202.148.59.170) (Ping timeout: 256 seconds) |
| 2024-10-24 08:27:42 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb1760fc46cbba529b10.dip0.t-ipconnect.de) acidjnk |
| 2024-10-24 08:33:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 08:34:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 08:39:26 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-10-24 08:40:23 +0200 | chele | (~chele@user/chele) chele |
| 2024-10-24 08:40:33 +0200 | aforemny | (~aforemny@i577B12D8.versanet.de) (Ping timeout: 252 seconds) |
| 2024-10-24 08:44:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 08:45:37 +0200 | rosco | (~rosco@60.53.7.10) rosco |
| 2024-10-24 08:49:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 08:50:06 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-24 08:52:12 +0200 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-24 08:56:45 +0200 | euleritian | (~euleritia@dynamic-176-006-144-181.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 08:57:04 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-24 09:00:37 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-24 09:07:45 +0200 | neuroevolutus | (~neuroevol@37.19.200.141) (Quit: Client closed) |
| 2024-10-24 09:09:25 +0200 | <dmj`> | =D |
| 2024-10-24 09:12:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 09:12:49 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 09:13:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-24 09:20:56 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-10-24 09:21:44 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-10-24 09:25:57 +0200 | lystra | (~lystra@208.59.105.41) (Ping timeout: 244 seconds) |
| 2024-10-24 09:26:24 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-10-24 09:34:15 +0200 | ubert | (~Thunderbi@178.115.35.86.wireless.dyn.drei.com) ubert |
| 2024-10-24 09:34:23 +0200 | hgolden__ | (~hgolden@23.162.40.28) hgolden |
| 2024-10-24 09:36:40 +0200 | hgolden_ | (~hgolden@static-198-44-129-51.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 2024-10-24 09:40:33 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2024-10-24 09:40:54 +0200 | lystra | (~lystra@208.59.105.41) lystra |
| 2024-10-24 09:41:33 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-24 09:42:34 +0200 | alp | (~alp@2001:861:e3d6:8f80:4c11:7ead:439d:9e81) |
| 2024-10-24 09:42:40 +0200 | alp | (~alp@2001:861:e3d6:8f80:4c11:7ead:439d:9e81) (Changing host) |
| 2024-10-24 09:42:40 +0200 | alp | (~alp@user/alp) alp |
| 2024-10-24 09:43:35 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-24 09:48:22 +0200 | hgolden_ | (~hgolden@146.70.173.101) hgolden |
| 2024-10-24 09:50:45 +0200 | hgolden__ | (~hgolden@23.162.40.28) (Ping timeout: 244 seconds) |
| 2024-10-24 09:51:21 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 09:54:57 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb1760fc46cbba529b10.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-10-24 09:56:39 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-10-24 10:04:36 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-10-24 10:05:10 +0200 | husixu | (~husixu@2404:e801:2007:7f8:575c:9227:a99a:857f) husixu |
| 2024-10-24 10:06:17 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb1760fc46cbba529b10.dip0.t-ipconnect.de) acidjnk |
| 2024-10-24 10:08:56 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-24 10:09:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 10:10:35 +0200 | husixu | (~husixu@2404:e801:2007:7f8:575c:9227:a99a:857f) (Quit: Leaving) |
| 2024-10-24 10:11:40 +0200 | husixu | (~husixu@2404:e801:2007:7f8:575c:9227:a99a:857f) husixu |
| 2024-10-24 10:12:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 10:12:40 +0200 | husixu | (~husixu@2404:e801:2007:7f8:575c:9227:a99a:857f) (Client Quit) |
| 2024-10-24 10:25:03 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Ping timeout: 246 seconds) |
| 2024-10-24 10:26:17 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 10:27:24 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-24 10:32:44 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 10:33:42 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-10-24 10:35:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 10:35:54 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2024-10-24 10:36:48 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-24 10:38:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 10:39:50 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 10:49:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 10:52:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 10:59:38 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 11:03:48 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2024-10-24 11:04:03 +0200 | <Leary> | What do people recommend for CI these days? I basically just want something to check all the components of my library build against tested-with GHCs. |
| 2024-10-24 11:04:24 +0200 | hgolden__ | (~hgolden@169.150.203.10) hgolden |
| 2024-10-24 11:06:13 +0200 | <mauke> | if your code is already on github, you can set up a "workflow" or "action" or whatever it's called now |
| 2024-10-24 11:06:39 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-24 11:06:42 +0200 | hgolden_ | (~hgolden@146.70.173.101) (Ping timeout: 246 seconds) |
| 2024-10-24 11:06:42 +0200 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2024-10-24 11:08:36 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 11:10:24 +0200 | <JuanDaugherty> | i just actually CI |
| 2024-10-24 11:11:16 +0200 | <JuanDaugherty> | which lone wolves can do |
| 2024-10-24 11:12:44 +0200 | <JuanDaugherty> | another case of semantic drift into grift |
| 2024-10-24 11:15:41 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-24 11:20:16 +0200 | Digitteknohippie | Digit |
| 2024-10-24 11:23:07 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-24 11:27:09 +0200 | <tomsmeding> | Leary: Hecate had a thing |
| 2024-10-24 11:28:48 +0200 | <tomsmeding> | Leary: https://github.com/Kleidukos/get-tested |
| 2024-10-24 11:29:10 +0200 | <tomsmeding> | never used, just saw it being announced a while ago |
| 2024-10-24 11:29:53 +0200 | <Hecate> | hi hi |
| 2024-10-24 11:30:10 +0200 | <Hecate> | Leary: yeah, get-tested is the best if you use Github Actions |
| 2024-10-24 11:30:52 +0200 | <Leary> | Cheers. It'll be on github soon, so I'll have a poke at that. |
| 2024-10-24 11:31:54 +0200 | <tomsmeding> | Hecate: put the keyword "CI" somewhere in the repo description or something, I searched for "Hecate CI haskell" and couldn't find anything, had to search for "actions" on your github |
| 2024-10-24 11:32:12 +0200 | <tomsmeding> | as you can see it took me more than 1.5 minutes to find it! |
| 2024-10-24 11:33:29 +0200 | <Hecate> | tomsmeding: got it |
| 2024-10-24 11:34:11 +0200 | califax | (~califax@user/califx) califx |
| 2024-10-24 11:35:27 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-24 11:35:32 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-24 11:37:03 +0200 | califax | (~califax@user/califx) califx |
| 2024-10-24 11:38:30 +0200 | <Hecate> | unrelated, I have made a thing: https://github.com/haskell/cabal/wiki/Deprecation-Process |
| 2024-10-24 11:38:34 +0200 | <Hecate> | please gib feedback |
| 2024-10-24 11:39:07 +0200 | <jackdk> | I'm still on https://github.com/haskell-ci/haskell-ci but it's a bit annoying these days since new releases don't come through to Hackage |
| 2024-10-24 11:40:01 +0200 | <tomsmeding> | Hecate: you've made a thing again? You make so many things! |
| 2024-10-24 11:40:30 +0200 | <Hecate> | jackdk: yep |
| 2024-10-24 11:40:44 +0200 | <Hecate> | tomsmeding: I swear I'll stop |
| 2024-10-24 11:40:48 +0200 | <Hecate> | when I'm dead. |
| 2024-10-24 11:44:19 +0200 | <tomsmeding> | exactly as it should be |
| 2024-10-24 11:44:19 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-24 11:47:33 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2024-10-24 11:48:52 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-10-24 11:59:00 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Ping timeout: 272 seconds) |
| 2024-10-24 12:00:05 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2024-10-24 12:03:07 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2024-10-24 12:04:41 +0200 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2024-10-24 12:05:31 +0200 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-10-24 12:07:23 +0200 | alp | (~alp@2001:861:e3d6:8f80:4c11:7ead:439d:9e81) |
| 2024-10-24 12:12:57 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-24 12:13:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 12:14:39 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-24 12:14:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 12:17:33 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-24 12:23:37 +0200 | mari-7733 | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-24 12:24:17 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2024-10-24 12:24:48 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) alexherbo2 |
| 2024-10-24 12:24:50 +0200 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 248 seconds) |
| 2024-10-24 12:37:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-24 12:37:15 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-24 12:38:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-10-24 12:38:41 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) |
| 2024-10-24 12:39:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-24 12:41:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-24 12:47:34 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 12:48:08 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e0cc:218e:37fe:3b0c) |
| 2024-10-24 12:52:06 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 12:52:23 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-10-24 12:52:49 +0200 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-24 12:54:45 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-10-24 12:55:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 12:59:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2024-10-24 13:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-24 13:00:28 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) |
| 2024-10-24 13:02:19 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-24 13:05:42 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-24 13:07:55 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2024-10-24 13:12:08 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 13:12:25 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 13:26:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 13:26:26 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-10-24 13:26:37 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-24 13:27:49 +0200 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2024-10-24 13:29:10 +0200 | mari-7733 | (~mari-este@user/mari-estel) (Quit: on the move) |
| 2024-10-24 13:29:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 13:50:22 +0200 | hgolden_ | (~hgolden@169.150.203.36) hgolden |
| 2024-10-24 13:52:56 +0200 | hgolden__ | (~hgolden@169.150.203.10) (Ping timeout: 255 seconds) |
| 2024-10-24 13:53:17 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-24 14:04:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-24 14:08:17 +0200 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-24 14:08:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-10-24 14:09:58 +0200 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
| 2024-10-24 14:11:27 +0200 | vektor | (~vektor@IP-149249145213.pools.medianet-world.de) |
| 2024-10-24 14:12:58 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-10-24 14:14:01 +0200 | <vektor> | https://paste.tomsmeding.com/VrrXMpLr - am I missing something about the way QuickCheck's "within" (aka timeout) is supposed to be used? This thing loops forever. |
| 2024-10-24 14:16:30 +0200 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
| 2024-10-24 14:16:44 +0200 | <Leary> | vektor: Non-allocating loop maybe. There's no escape if the GC doesn't have a chance to act. |
| 2024-10-24 14:18:44 +0200 | alp | (~alp@2001:861:e3d6:8f80:4c11:7ead:439d:9e81) (Remote host closed the connection) |
| 2024-10-24 14:19:27 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-10-24 14:19:29 +0200 | dilaver_ | (~dilaver_@user/dilaver-:32218) (Quit: Ping timeout (120 seconds)) |
| 2024-10-24 14:19:38 +0200 | <vektor> | I see. If the presumed loop in my unit under test is also non-allocating I'm a little hosed. I mean, I suppose I could do a substantially more manual approach to troubleshoot. |
| 2024-10-24 14:20:12 +0200 | dilaver_ | (~dilaver_@user/dilaver-:32218) dilaver_ |
| 2024-10-24 14:21:24 +0200 | hgolden__ | (~hgolden@23.162.40.28) hgolden |
| 2024-10-24 14:22:02 +0200 | <geekosaur> | compiling the unit with -fno-omit-yields may help |
| 2024-10-24 14:23:26 +0200 | <vektor> | Looking into it, it might've just been that QuickCheck generates obscenely large test cases and my UUT is simply slower than expected. Seems I should check my assumptions about "sized" and such. |
| 2024-10-24 14:23:46 +0200 | hgolden_ | (~hgolden@169.150.203.36) (Ping timeout: 252 seconds) |
| 2024-10-24 14:24:56 +0200 | <vektor> | As in, I've had test cases terminate gracefully (and then run into the timout) after >10 seconds, which I had thought to be practically impossible. |
| 2024-10-24 14:25:29 +0200 | symdrome | (~user@2804:1e78:2202:2220::416) symdrome |
| 2024-10-24 14:32:51 +0200 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-10-24 14:39:49 +0200 | ubert | (~Thunderbi@178.115.35.86.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2024-10-24 14:40:53 +0200 | zero | zzz |
| 2024-10-24 14:49:15 +0200 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-24 14:51:26 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 255 seconds) |
| 2024-10-24 14:55:15 +0200 | rubin55 | (sid666177@id-666177.lymington.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-10-24 14:55:19 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 264 seconds) |
| 2024-10-24 14:56:04 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2024-10-24 14:56:24 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-24 14:56:28 +0200 | rubin55 | (sid666177@id-666177.lymington.irccloud.com) rubin55 |
| 2024-10-24 14:58:05 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-10-24 14:59:05 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Read error: Connection reset by peer) |
| 2024-10-24 14:59:20 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-24 15:00:22 +0200 | hgolden_ | (~hgolden@23.162.40.69) hgolden |
| 2024-10-24 15:02:41 +0200 | hgolden__ | (~hgolden@23.162.40.28) (Ping timeout: 248 seconds) |
| 2024-10-24 15:05:09 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-10-24 15:06:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 15:08:18 +0200 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2024-10-24 15:15:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-24 15:15:17 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) |
| 2024-10-24 15:24:00 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 244 seconds) |
| 2024-10-24 15:30:52 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 15:31:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 15:33:55 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-10-24 15:34:25 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-24 15:38:06 +0200 | cheater | (~Username@user/cheater) cheater |
| 2024-10-24 15:39:03 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) alexherbo2 |
| 2024-10-24 15:39:55 +0200 | leah2 | (~leah@vuxu.org) (Quit: Sprechen Sie noch? Wird noch gesprochen? Ich trenne.) |
| 2024-10-24 15:40:17 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-10-24 15:45:56 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 15:48:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-10-24 15:48:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 15:49:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 15:49:21 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-24 15:49:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 15:49:41 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2024-10-24 15:53:58 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 272 seconds) |
| 2024-10-24 15:57:00 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 16:01:32 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-24 16:03:07 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 252 seconds) |
| 2024-10-24 16:03:56 +0200 | <SrPx> | I've just refactored a "Term" type in Haskell to receive a type argument 'a' (i.e., (PreTerm a)), and created the equivalent of the old Term as 'newtype Term = T (PreTerm Term)'. but now I need to write (T (App _ _)) instead of (App _ _) etc. everywhere. is it possible to make this change work without refactoring the whole codebase? |
| 2024-10-24 16:06:55 +0200 | <ncf> | pattern synonym? |
| 2024-10-24 16:08:04 +0200 | <int-e> | can you get away with a type alias? |
| 2024-10-24 16:08:50 +0200 | <int-e> | oh wait, never mind |
| 2024-10-24 16:09:04 +0200 | int-e | missed the recursion in the newtype |
| 2024-10-24 16:09:09 +0200 | <SrPx> | int-e: haskell complains `type Term = PreTerm Term` is recursive 💀 |
| 2024-10-24 16:09:14 +0200 | <SrPx> | @ncf reading rn ty |
| 2024-10-24 16:09:14 +0200 | <lambdabot> | Maybe you meant: unpf rc bf |
| 2024-10-24 16:14:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-24 16:15:06 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) |
| 2024-10-24 16:18:39 +0200 | Digitteknohippie | Digit |
| 2024-10-24 16:19:36 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-10-24 16:21:27 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-24 16:21:46 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: Ping timeout (120 seconds)) |
| 2024-10-24 16:24:15 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2024-10-24 16:29:39 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-24 16:34:45 +0200 | <Leary> | SrPx: I don't fancy the approach taken by the recursion-schemes library, but it's suitable for making such a change to an existing code base with minimal refactoring. You can keep your old `data Term` and let it generate `data TermF` equivalent to your `PreTerm` and functions for converting between, etc. |
| 2024-10-24 16:35:39 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 16:35:56 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 16:36:09 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Client Quit) |
| 2024-10-24 16:36:25 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 16:36:35 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Client Quit) |
| 2024-10-24 16:36:50 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 16:38:00 +0200 | pipsquak-bird | (~g@c-71-232-204-190.hsd1.ma.comcast.net) (Quit: leaving) |
| 2024-10-24 16:38:01 +0200 | ubert | (~Thunderbi@77.119.173.172.wireless.dyn.drei.com) ubert |
| 2024-10-24 16:41:52 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 16:46:05 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-24 16:59:28 +0200 | nitrix-or-treats | nitrix |
| 2024-10-24 17:01:07 +0200 | vektor | (~vektor@IP-149249145213.pools.medianet-world.de) (Quit: Client closed) |
| 2024-10-24 17:02:37 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-24 17:07:03 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) alexherbo2 |
| 2024-10-24 17:15:41 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2024-10-24 17:15:57 +0200 | benjaminl | (~benjaminl@user/benjaminl) benjaminl |
| 2024-10-24 17:17:00 +0200 | rosco | (~rosco@60.53.7.10) (Quit: Lost terminal) |
| 2024-10-24 17:17:29 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) |
| 2024-10-24 17:18:19 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-24 17:19:37 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-10-24 17:22:14 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-10-24 17:23:11 +0200 | euleritian | (~euleritia@176.2.4.100) |
| 2024-10-24 17:31:26 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 17:31:43 +0200 | rosco | (~rosco@2001:e68:5442:ee23:fc9e:630a:419d:7168) rosco |
| 2024-10-24 17:34:41 +0200 | mari-estel | (~mari-este@user/mari-estel) (Quit: class) |
| 2024-10-24 17:37:24 +0200 | euleritian | (~euleritia@176.2.4.100) (Read error: Connection reset by peer) |
| 2024-10-24 17:37:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 17:38:33 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-10-24 17:40:48 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2024-10-24 17:42:54 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2024-10-24 17:55:05 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 17:55:18 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 17:59:22 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
| 2024-10-24 18:00:24 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-24 18:05:40 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-24 18:07:49 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-24 18:08:21 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 18:08:39 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 18:09:02 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Client Quit) |
| 2024-10-24 18:09:19 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 18:11:26 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Client Quit) |
| 2024-10-24 18:12:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-10-24 18:13:46 +0200 | euleritian | (~euleritia@dynamic-176-002-004-100.176.2.pool.telefonica.de) |
| 2024-10-24 18:16:04 +0200 | <zzz> | is there something like a WordMap that works with Word intead of Int in a way that is as efficient as IntMap? |
| 2024-10-24 18:19:16 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-24 18:21:24 +0200 | <zzz> | i'm obviously trying to avoid Word/Int conversion overhead |
| 2024-10-24 18:22:20 +0200 | <geekosaur> | not that I'm aware of |
| 2024-10-24 18:22:47 +0200 | <geekosaur> | if you're absolutely hell-bent on premature optimization, just unsafeCoerce everything |
| 2024-10-24 18:24:38 +0200 | <zzz> | i'm trying to make negative keys unrepresentable |
| 2024-10-24 18:26:28 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-10-24 18:29:11 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-24 18:31:02 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |