| 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) |
| 2024-10-24 18:31:39 +0200 | <dolio> | I've written my own partial wrapper using a 'things that can be represented as Int' class (didn't use Enum, because I don't think it's ideal for this). I don't know of any packaged version. |
| 2024-10-24 18:32:20 +0200 | <zzz> | dolio: yes, i also came to the conclusion that Enum is not ideal |
| 2024-10-24 18:32:56 +0200 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 272 seconds) |
| 2024-10-24 18:34:11 +0200 | euleritian | (~euleritia@dynamic-176-002-004-100.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 18:34:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 18:39:18 +0200 | <EvanR> | you can use a newtype around Int which is guarded with the module system to not allow negatives |
| 2024-10-24 18:39:33 +0200 | <EvanR> | and then there's an Enum-based Map |
| 2024-10-24 18:39:49 +0200 | <EvanR> | oh I'm late |
| 2024-10-24 18:40:55 +0200 | <EvanR> | but this is a data point in a more general situation where you want to use a subset of Int somewhere without paying performance costs |
| 2024-10-24 18:41:34 +0200 | <EvanR> | (if you literally wanted to use Word for its own sake, which has additional values that Int doesn't, that's another story) |
| 2024-10-24 18:43:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-24 18:44:21 +0200 | euleritian | (~euleritia@176.2.4.100) |
| 2024-10-24 18:45:11 +0200 | <EvanR> | with a newtype over Int you could use safe coercions instead of unsafeCoerce |
| 2024-10-24 18:45:34 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-24 18:46:53 +0200 | <zzz> | EvanR: how so? with no performance costs? |
| 2024-10-24 18:46:57 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-10-24 18:47:34 +0200 | spew | (~spew@201.141.99.170) spew |
| 2024-10-24 18:47:48 +0200 | <EvanR> | normal use of newtype unwrapping gets optimized away as I understand it, but you can also coerce between newtypes that have the same underlying representation |
| 2024-10-24 18:47:55 +0200 | <EvanR> | in a type safe way |
| 2024-10-24 18:49:09 +0200 | euleritian | (~euleritia@176.2.4.100) (Ping timeout: 260 seconds) |
| 2024-10-24 18:49:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 18:53:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 18:55:39 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 276 seconds) |
| 2024-10-24 18:57:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 18:57:14 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina |
| 2024-10-24 18:58:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-24 18:58:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-24 18:59:04 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-10-24 18:59:34 +0200 | euleritian | (~euleritia@dynamic-176-007-144-063.176.7.pool.telefonica.de) |
| 2024-10-24 19:06:25 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-24 19:07:06 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2024-10-24 19:09:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 19:10:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 19:10:34 +0200 | <zzz> | sigh i'll just use IntMap and be mindful |
| 2024-10-24 19:11:39 +0200 | <zzz> | can't forget that minBound is 1000... and maxBound is 01111... |
| 2024-10-24 19:16:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-24 19:16:27 +0200 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2024-10-24 19:16:52 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) ft |
| 2024-10-24 19:24:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-24 19:26:59 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2024-10-24 19:27:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 19:31:01 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-10-24 19:32:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 19:33:22 +0200 | noctux | (~noctux@user/noctux) noctux |
| 2024-10-24 19:33:33 +0200 | <EvanR> | are you actually using the binary representation, but Word and Int feel very much like unsigned and "int" in C |
| 2024-10-24 19:34:04 +0200 | <EvanR> | defined by their behavior when asked to do things with representable values, not bits |
| 2024-10-24 19:34:18 +0200 | <EvanR> | (though unsigned has additional guarantees about overflow) |
| 2024-10-24 19:34:33 +0200 | <EvanR> | (expressed as mod power of 2) |
| 2024-10-24 19:35:24 +0200 | <EvanR> | it may be that IntMap internally uses the bits |
| 2024-10-24 19:35:36 +0200 | Mazin | (~Mazin@197.39.37.178) |
| 2024-10-24 19:36:02 +0200 | <EvanR> | but "can't be negative" is a higher level condition which survives changes in representation and precision |
| 2024-10-24 19:38:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-24 19:38:23 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2024-10-24 19:38:59 +0200 | lb | (~alphazone@2.219.56.221) (Ping timeout: 255 seconds) |
| 2024-10-24 19:39:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 19:40:47 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-24 19:42:02 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-24 19:43:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 19:45:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-24 19:49:46 +0200 | briandaed | (~root@185.234.210.211) |
| 2024-10-24 19:54:10 +0200 | alphazone | (~alphazone@2.219.56.221) |
| 2024-10-24 19:55:55 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2024-10-24 19:56:06 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 276 seconds) |
| 2024-10-24 19:56:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 20:00:01 +0200 | <zzz> | EvanR: i'm just used to think in binary, maybe "make negative keys unrepresentable" was a bad way to explain myself |
| 2024-10-24 20:00:14 +0200 | <zzz> | s/think/thinking |
| 2024-10-24 20:01:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 20:01:07 +0200 | <zzz> | thinks like minBound /= 0 trip me up sometimes |
| 2024-10-24 20:01:13 +0200 | <zzz> | s/thinks/things |
| 2024-10-24 20:01:17 +0200 | <EvanR> | usually when I see Word, I expect it's because they want the very large values for some reason, or yeah you want all values 0 to 2^n - 1 |
| 2024-10-24 20:01:48 +0200 | <EvanR> | where n is 64 |
| 2024-10-24 20:02:14 +0200 | <EvanR> | which is why it doesn't play nice with Int APIs |
| 2024-10-24 20:02:45 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-24 20:04:48 +0200 | <zzz> | i just hate stuff like length returning Int so that's my problem |
| 2024-10-24 20:05:21 +0200 | Mazin | (~Mazin@197.39.37.178) (Quit: Client closed) |
| 2024-10-24 20:06:41 +0200 | <EvanR> | yeeeeah |
| 2024-10-24 20:08:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-24 20:09:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 20:10:27 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-24 20:10:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-24 20:11:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 20:12:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-10-24 20:12:50 +0200 | ljdarj1 | ljdarj |
| 2024-10-24 20:13:00 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-10-24 20:16:52 +0200 | sinbad | (~sinbad@user/sinbad) Sinbad |
| 2024-10-24 20:17:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 20:27:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 20:27:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 20:30:12 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-24 20:32:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-24 20:36:07 +0200 | <sinbad> | I am having trouble with using the gi-secret package. I'd like to access the default keyring (on my linux machine) using functions from GI.Secret.Functions. In particular, calling passwordLookupSync results in compiling errors, see https://paste.tomsmeding.com/CiR7TchN |
| 2024-10-24 20:36:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 20:38:44 +0200 | <sinbad> | Whatever it is worth the same call works with the python bindings to the same libsecret library. |
| 2024-10-24 20:39:25 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-10-24 20:40:22 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 20:41:59 +0200 | <sinbad> | Any advice would be appreciated. |
| 2024-10-24 20:42:17 +0200 | <briandaed> | shouldn't you use 4 params instead of 3? |
| 2024-10-24 20:44:08 +0200 | <mauke> | briandaed: why? |
| 2024-10-24 20:44:24 +0200 | <briandaed> | ok, which version of the package you use right now? |
| 2024-10-24 20:44:47 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-24 20:45:10 +0200 | <briandaed> | mauke: for the latest package version it takes 4 params, https://hackage.haskell.org/package/gi-secret-0.0.18/docs/GI-Secret-Functions.html#g:method:passwo… |
| 2024-10-24 20:45:34 +0200 | <geekosaur> | ]aren't you confused? I see 3 parameters in the latest version |
| 2024-10-24 20:45:53 +0200 | <geekosaur> | don't forget the last arrow points to a result type, not a parameter |
| 2024-10-24 20:46:20 +0200 | <briandaed> | meh, right, I'm blind |
| 2024-10-24 20:46:41 +0200 | <mauke> | sinbad: do you get a different error if you change the last argument to (Nothing :: Maybe Cancellable)? |
| 2024-10-24 20:46:46 +0200 | <mauke> | just trying random things here |
| 2024-10-24 20:47:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-24 20:47:14 +0200 | <zzz> | *pseudorandom |
| 2024-10-24 20:48:24 +0200 | <mauke> | making an educated wish |
| 2024-10-24 20:50:09 +0200 | rosco | (~rosco@2001:e68:5442:ee23:fc9e:630a:419d:7168) (Quit: Lost terminal) |
| 2024-10-24 20:53:18 +0200 | <lxsameer> | hey folks, is there any library similar to rust's tokio in haskell? |
| 2024-10-24 20:53:23 +0200 | hgolden__ | (~hgolden@146.70.173.37) hgolden |
| 2024-10-24 20:54:11 +0200 | <identity> | lxsameer: probably the 'async' library is what you're looking for |
| 2024-10-24 20:54:16 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-10-24 20:54:51 +0200 | <sinbad> | briandaed: oops, the list of search flags is missing from my call according the most recent doc. I need to check what version I am using |
| 2024-10-24 20:55:28 +0200 | <zzz> | identity: lxsameer: for networking specifically i recall some other library built on top of async |
| 2024-10-24 20:55:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 20:56:04 +0200 | hgolden_ | (~hgolden@23.162.40.69) (Ping timeout: 272 seconds) |
| 2024-10-24 20:56:31 +0200 | <sinbad> | mauke: where is Cancellable coming from? |
| 2024-10-24 20:57:12 +0200 | <zzz> | lxsameer: Conduit and Streamly for streams |
| 2024-10-24 20:57:33 +0200 | <zzz> | Warp for http server |
| 2024-10-24 20:58:01 +0200 | <zzz> | (Warp is to Haskell what hyper (tokio based) is to Rust) |
| 2024-10-24 20:58:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 20:58:57 +0200 | <lxsameer> | zzz: awesome, thank you |
| 2024-10-24 21:00:02 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-24 21:00:37 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-24 21:03:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-24 21:05:15 +0200 | <mauke> | sinbad: https://hackage.haskell.org/package/gi-gio-2.0.35/docs/GI-Gio-Objects-Cancellable.html#t:Cancellable |
| 2024-10-24 21:05:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 21:06:35 +0200 | <geekosaur> | one little issue I noticed is that the error mentions `it` which means you were doing this in ghci, not a Haskell program, which might affect things |
| 2024-10-24 21:07:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-24 21:08:00 +0200 | <sinbad> | geekosaur: yes I might. however with the full program I get the same error |
| 2024-10-24 21:09:52 +0200 | hgolden_ | (~hgolden@static-198-44-129-115.cust.tzulo.com) hgolden |
| 2024-10-24 21:12:21 +0200 | hgolden__ | (~hgolden@146.70.173.37) (Ping timeout: 248 seconds) |
| 2024-10-24 21:12:43 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-10-24 21:12:55 +0200 | <sinbad> | I ma using the latest version (0.0.18) and the passwordLookupSync take 3 arguments |
| 2024-10-24 21:14:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 21:18:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-24 21:19:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 21:22:51 +0200 | <zzz> | what should i keep in mind when chosing between `Set x` and `Map x Bool` for setting/checking flags? |
| 2024-10-24 21:23:22 +0200 | <zzz> | performance-wise |
| 2024-10-24 21:23:24 +0200 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-10-24 21:23:40 +0200 | <geekosaur> | I think there's less a performance question than a presence issue |
| 2024-10-24 21:23:53 +0200 | <geekosaur> | that is, do you care about "not specified"? |
| 2024-10-24 21:24:56 +0200 | <zzz> | no, in the case of going with Map, all keys will be initialized from the start |
| 2024-10-24 21:25:09 +0200 | <mauke> | Set x ~ Map x () |
| 2024-10-24 21:25:36 +0200 | <zzz> | i guess from a moral stance, Set is better because the "not specified" case is unrepresentable |
| 2024-10-24 21:25:42 +0200 | <geekosaur> | well, presumably they will check the value if it's Map x Bool, which will slightly slow things down |
| 2024-10-24 21:25:44 +0200 | <zzz> | but i'm thinking about memory management |
| 2024-10-24 21:25:58 +0200 | <geekosaur> | it will cost a little more memory, yes |
| 2024-10-24 21:26:09 +0200 | <geekosaur> | Bool won't cost you mugh though |
| 2024-10-24 21:26:18 +0200 | <geekosaur> | 3 machine words, I think? |
| 2024-10-24 21:26:34 +0200 | <geekosaur> | sorry, two |
| 2024-10-24 21:26:41 +0200 | <geekosaur> | pointer to value, constructor tag |
| 2024-10-24 21:27:19 +0200 | <zzz> | not only that, i'm guessing Map x Bool will allocate a fixed chunk of memory from the start, while Set x will grow and/or shrink? But this is beyond what i understand about the low levels of GHC |
| 2024-10-24 21:27:57 +0200 | <geekosaur> | eh? they're both trees, one carries a little extra data |
| 2024-10-24 21:28:36 +0200 | <int-e> | Map x Bool is persistent; rather than modifying values, "updates" will recreate a path in a tree to the updated key and reuse the other parts of the tree. |
| 2024-10-24 21:29:15 +0200 | <int-e> | That's also true for Set x, but the tree will be smaller. |
| 2024-10-24 21:29:49 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-24 21:29:50 +0200 | <zzz> | geekosaur: yes, what i mean is that in the case of Map the tree is always the same size, so there won't be any garbage collection on updates |
| 2024-10-24 21:30:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 21:30:13 +0200 | <mauke> | no, there absolutely will be |
| 2024-10-24 21:30:13 +0200 | <int-e> | zzz: that's not correct |
| 2024-10-24 21:30:20 +0200 | <mauke> | trees aren't modified in place |
| 2024-10-24 21:30:36 +0200 | <zzz> | mauke: how do Sets grow? |
| 2024-10-24 21:30:45 +0200 | <zzz> | and shrink? |
| 2024-10-24 21:30:56 +0200 | <mauke> | by inserting and removing elements? |
| 2024-10-24 21:31:11 +0200 | <int-e> | You construct new trees, reusing parts of old trees. The new parts are freshly allocated on the heap. |
| 2024-10-24 21:31:29 +0200 | <int-e> | Unused old parts will eventually be garbage collected. |
| 2024-10-24 21:31:34 +0200 | <geekosaur> | the point here is that everything is immutable, so an entire tree limb in either case will be replaced which requires the path to that limb to be replaced |
| 2024-10-24 21:31:43 +0200 | <geekosaur> | but the popinters to other limbs can be reused |
| 2024-10-24 21:32:29 +0200 | <zzz> | i see |
| 2024-10-24 21:33:21 +0200 | <mauke> | simplified example using lists: replace2nd :: a -> [a] -> [a]; replace2nd x (h : _ : rest) = h : x : rest |
| 2024-10-24 21:33:42 +0200 | <mauke> | replacing ("updating") the second element of a list |
| 2024-10-24 21:33:53 +0200 | <zzz> | so no low level optimization? i can't reason about performance in these cases, it's way beyond my understanding of Haskell |
| 2024-10-24 21:34:01 +0200 | <mauke> | rest can be reused, but two new nodes are allocated |
| 2024-10-24 21:34:21 +0200 | <mauke> | corresponding to the (:) |
| 2024-10-24 21:34:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-24 21:34:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 21:34:55 +0200 | <zzz> | mauke: i understand that |
| 2024-10-24 21:35:08 +0200 | <mauke> | more specifically, the initial part (up to the second element) of the list has to be recreated, and everything further "down" can be reused as is |
| 2024-10-24 21:35:17 +0200 | <geekosaur> | iirc the cost of the accounting needed to prove that an in-place update is safe would be higher than assuming it's not |
| 2024-10-24 21:35:25 +0200 | <mauke> | trees work the same way, only there are two "rest" parts |
| 2024-10-24 21:36:51 +0200 | <zzz> | right |
| 2024-10-24 21:36:58 +0200 | <mauke> | in trees, everything "above" the replaced element has to be recreated (i.e. all the nodes back up to the root of the tree), but everything else can be reused |
| 2024-10-24 21:37:23 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-10-24 21:37:36 +0200 | <mauke> | which is something like a log(n) cost, assuming your tree is balanced |
| 2024-10-24 21:38:29 +0200 | <mauke> | geekosaur: perceus/koka does the in-place optimization, doesn't it? |
| 2024-10-24 21:38:43 +0200 | <mauke> | but that's very different from ghc's memory manager |
| 2024-10-24 21:38:48 +0200 | <geekosaur> | exactly |
| 2024-10-24 21:39:20 +0200 | <geekosaur> | I know that someone was poking at using a different memory manager with ghc, but it wasn't perceus |
| 2024-10-24 21:40:53 +0200 | <geekosaur> | I also know they were finding out that replacing ghc's memory manager is a major project |
| 2024-10-24 21:44:56 +0200 | sojuro | (~sojuro@syn-069-206-166-125.res.spectrum.com) |
| 2024-10-24 21:48:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 21:50:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 21:51:49 +0200 | euleritian | (~euleritia@dynamic-176-007-144-063.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 21:52:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 21:53:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-24 21:55:55 +0200 | hgolden_ | (~hgolden@static-198-44-129-115.cust.tzulo.com) (Ping timeout: 264 seconds) |
| 2024-10-24 21:55:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 21:56:09 +0200 | euleritian | (~euleritia@dynamic-176-007-144-063.176.7.pool.telefonica.de) |
| 2024-10-24 21:56:28 +0200 | euleritian | (~euleritia@dynamic-176-007-144-063.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 21:56:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 22:01:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 22:02:39 +0200 | briandaed | (~root@185.234.210.211) (Remote host closed the connection) |
| 2024-10-24 22:02:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 22:02:44 +0200 | hgolden | (~hgolden@169.150.203.36) hgolden |
| 2024-10-24 22:02:49 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 22:02:52 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 2024-10-24 22:04:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 22:06:19 +0200 | spew | (~spew@201.141.99.170) (Ping timeout: 260 seconds) |
| 2024-10-24 22:07:14 +0200 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2024-10-24 22:07:53 +0200 | spew | (~spew@185.153.177.94) spew |
| 2024-10-24 22:09:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 22:11:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-24 22:13:28 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-24 22:19:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 22:20:59 +0200 | sinbad | (~sinbad@user/sinbad) (Quit: Leaving.) |