| 2024-10-24 00:09:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 00:10:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 00:13:59 +0000 | lambdaRule | (~lambdaRul@2001:569:501f:3400:706a:bb51:efde:dbd0) |
| 2024-10-24 00:16:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-24 00:17:58 +0000 | <Axman6> | :S |
| 2024-10-24 00:18:04 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-24 00:23:06 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4e61:3b0b:e25d:c6d4) (Ping timeout: 246 seconds) |
| 2024-10-24 00:27:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 00:31:20 +0000 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
| 2024-10-24 00:32:23 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-24 00:33:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-24 00:33:55 +0000 | califax | (~califax@user/califx) califx |
| 2024-10-24 00:36:25 +0000 | lambdaRule | (~lambdaRul@2001:569:501f:3400:706a:bb51:efde:dbd0) (Quit: Client closed) |
| 2024-10-24 00:39:00 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-24 00:45:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 00:49:48 +0000 | <dmj`> | :] |
| 2024-10-24 00:52:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 01:03:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 01:07:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 01:10:22 +0000 | hgolden_ | (~hgolden@146.70.172.37) hgolden |
| 2024-10-24 01:12:46 +0000 | hgolden__ | (~hgolden@146.70.174.37) (Ping timeout: 252 seconds) |
| 2024-10-24 01:13:07 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-24 01:13:20 +0000 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2024-10-24 01:15:46 +0000 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) |
| 2024-10-24 01:17:53 +0000 | hgolden__ | (~hgolden@23.162.40.28) hgolden |
| 2024-10-24 01:18:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 01:20:57 +0000 | hgolden_ | (~hgolden@146.70.172.37) (Ping timeout: 276 seconds) |
| 2024-10-24 01:23:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-24 01:30:16 +0000 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
| 2024-10-24 01:34:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 01:39:56 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-24 01:50:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 01:55:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 01:58:43 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 245 seconds) |
| 2024-10-24 01:59:30 +0000 | cheater | (~Username@user/cheater) cheater |
| 2024-10-24 02:06:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 02:10:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-24 02:18:50 +0000 | madhavanmiui | (~madhavanm@2409:40f4:3b:a5d4:8000::) |
| 2024-10-24 02:20:27 +0000 | madhavanmiui | (~madhavanm@2409:40f4:3b:a5d4:8000::) (Client Quit) |
| 2024-10-24 02:21:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 02:26:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-24 02:37:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 02:39:36 +0000 | td_ | (~td@i53870909.versanet.de) (Ping timeout: 246 seconds) |
| 2024-10-24 02:41:26 +0000 | td_ | (~td@i5387092E.versanet.de) td_ |
| 2024-10-24 02:42:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-24 02:42:57 +0000 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 02:45:37 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-10-24 02:53:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 02:58:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-24 03:07:27 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-24 03:07:27 +0000 | aforemny_ | (~aforemny@2001:9e8:6cfd:4f00:a308:87bf:ccc5:4223) (Ping timeout: 252 seconds) |
| 2024-10-24 03:07:40 +0000 | aforemny | (~aforemny@i577B12D8.versanet.de) aforemny |
| 2024-10-24 03:09:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 03:16:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-24 03:23:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 03:28:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-24 03:33:18 +0000 | <synchrom1> | :/ |
| 2024-10-24 03:37:37 +0000 | Square | (~Square@user/square) Square |
| 2024-10-24 03:39:07 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 03:44:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-24 03:54:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 03:56:58 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-24 03:59:27 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-24 03:59:58 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 04:10:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 04:15:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-24 04:19:03 +0000 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) (Quit: Leaving) |
| 2024-10-24 04:23:22 +0000 | hgolden_ | (~hgolden@static-198-44-129-51.cust.tzulo.com) hgolden |
| 2024-10-24 04:26:12 +0000 | hgolden__ | (~hgolden@23.162.40.28) (Ping timeout: 276 seconds) |
| 2024-10-24 04:26:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 04:31:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 04:37:31 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2024-10-24 04:39:34 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-24 04:41:40 +0000 | rosco | (~rosco@60.53.7.10) rosco |
| 2024-10-24 04:42:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 04:43:15 +0000 | michalz | (~michalz@185.246.207.201) |
| 2024-10-24 04:44:53 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-10-24 04:49:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-24 05:00:23 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 05:01:33 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2024-10-24 05:02:56 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-10-24 05:05:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-24 05:06:30 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-10-24 05:07:36 +0000 | euleritian | (~euleritia@dynamic-176-006-144-181.176.6.pool.telefonica.de) |
| 2024-10-24 05:13:15 +0000 | euleritian | (~euleritia@dynamic-176-006-144-181.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 05:13:32 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 05:16:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 05:21:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 05:23:29 +0000 | rosco | (~rosco@60.53.7.10) (Quit: Lost terminal) |
| 2024-10-24 05:23:39 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-24 05:23:58 +0000 | rosco | (~rosco@60.53.7.10) rosco |
| 2024-10-24 05:24:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 05:30:08 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-24 05:31:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-24 05:33:55 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split) |
| 2024-10-24 05:34:28 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-24 05:35:24 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-24 05:35:41 +0000 | euleritian | (~euleritia@dynamic-176-006-144-181.176.6.pool.telefonica.de) |
| 2024-10-24 05:37:03 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2024-10-24 05:37:11 +0000 | rosco | (~rosco@60.53.7.10) (Quit: Lost terminal) |
| 2024-10-24 05:42:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 05:45:52 +0000 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2024-10-24 05:48:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 05:58:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 06:03:49 +0000 | rmca | (~rob@188.120.84.50) |
| 2024-10-24 06:03:55 +0000 | YaShhhh | (~YaShhhh@202.148.59.170) |
| 2024-10-24 06:03:55 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-24 06:09:28 +0000 | pipsquak-bird | (~g@c-71-232-204-190.hsd1.ma.comcast.net) |
| 2024-10-24 06:10:25 +0000 | billchenchina- | (~billchenc@103.152.35.21) billchenchina |
| 2024-10-24 06:10:54 +0000 | billchenchina- | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2024-10-24 06:13:26 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-24 06:14:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 06:19:00 +0000 | <jackdk> | :D |
| 2024-10-24 06:19:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 06:20:29 +0000 | neuroevolutus | (~neuroevol@37.19.200.141) neuroevolutus |
| 2024-10-24 06:25:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 06:27:31 +0000 | YaShhhh | (~YaShhhh@202.148.59.170) (Ping timeout: 256 seconds) |
| 2024-10-24 06:27:42 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb1760fc46cbba529b10.dip0.t-ipconnect.de) acidjnk |
| 2024-10-24 06:33:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 06:34:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 06:39:26 +0000 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-10-24 06:40:23 +0000 | chele | (~chele@user/chele) chele |
| 2024-10-24 06:40:33 +0000 | aforemny | (~aforemny@i577B12D8.versanet.de) (Ping timeout: 252 seconds) |
| 2024-10-24 06:44:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 06:45:37 +0000 | rosco | (~rosco@60.53.7.10) rosco |
| 2024-10-24 06:49:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 06:50:06 +0000 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-24 06:52:12 +0000 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-24 06:56:45 +0000 | euleritian | (~euleritia@dynamic-176-006-144-181.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 06:57:04 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 07:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-24 07:00:37 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-24 07:07:45 +0000 | neuroevolutus | (~neuroevol@37.19.200.141) (Quit: Client closed) |
| 2024-10-24 07:09:25 +0000 | <dmj`> | =D |
| 2024-10-24 07:12:28 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 07:12:49 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 07:13:39 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-24 07:20:56 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-10-24 07:21:44 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-10-24 07:25:57 +0000 | lystra | (~lystra@208.59.105.41) (Ping timeout: 244 seconds) |
| 2024-10-24 07:26:24 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-10-24 07:34:15 +0000 | ubert | (~Thunderbi@178.115.35.86.wireless.dyn.drei.com) ubert |
| 2024-10-24 07:34:23 +0000 | hgolden__ | (~hgolden@23.162.40.28) hgolden |
| 2024-10-24 07:36:40 +0000 | hgolden_ | (~hgolden@static-198-44-129-51.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 2024-10-24 07:40:33 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2024-10-24 07:40:54 +0000 | lystra | (~lystra@208.59.105.41) lystra |
| 2024-10-24 07:41:33 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-24 07:42:34 +0000 | alp | (~alp@2001:861:e3d6:8f80:4c11:7ead:439d:9e81) |
| 2024-10-24 07:42:40 +0000 | alp | (~alp@2001:861:e3d6:8f80:4c11:7ead:439d:9e81) (Changing host) |
| 2024-10-24 07:42:40 +0000 | alp | (~alp@user/alp) alp |
| 2024-10-24 07:43:35 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-24 07:48:22 +0000 | hgolden_ | (~hgolden@146.70.173.101) hgolden |
| 2024-10-24 07:50:45 +0000 | hgolden__ | (~hgolden@23.162.40.28) (Ping timeout: 244 seconds) |
| 2024-10-24 07:51:21 +0000 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 07:54:57 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb1760fc46cbba529b10.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-10-24 07:56:39 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-10-24 08:04:36 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-10-24 08:05:10 +0000 | husixu | (~husixu@2404:e801:2007:7f8:575c:9227:a99a:857f) husixu |
| 2024-10-24 08:06:17 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb1760fc46cbba529b10.dip0.t-ipconnect.de) acidjnk |
| 2024-10-24 08:08:56 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-24 08:09:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 08:10:35 +0000 | husixu | (~husixu@2404:e801:2007:7f8:575c:9227:a99a:857f) (Quit: Leaving) |
| 2024-10-24 08:11:40 +0000 | husixu | (~husixu@2404:e801:2007:7f8:575c:9227:a99a:857f) husixu |
| 2024-10-24 08:12:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 08:12:40 +0000 | husixu | (~husixu@2404:e801:2007:7f8:575c:9227:a99a:857f) (Client Quit) |
| 2024-10-24 08:25:03 +0000 | ash3en | (~Thunderbi@149.222.152.198) (Ping timeout: 246 seconds) |
| 2024-10-24 08:26:17 +0000 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 08:27:24 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-24 08:32:44 +0000 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 08:33:42 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-10-24 08:35:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 08:35:54 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2024-10-24 08:36:48 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-24 08:38:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 08:39:50 +0000 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 08:49:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 08:52:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 08:59:38 +0000 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 09:03:48 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2024-10-24 09:04:03 +0000 | <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 09:04:24 +0000 | hgolden__ | (~hgolden@169.150.203.10) hgolden |
| 2024-10-24 09:06:13 +0000 | <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 09:06:39 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-24 09:06:42 +0000 | hgolden_ | (~hgolden@146.70.173.101) (Ping timeout: 246 seconds) |
| 2024-10-24 09:06:42 +0000 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2024-10-24 09:08:36 +0000 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 09:10:24 +0000 | <JuanDaugherty> | i just actually CI |
| 2024-10-24 09:11:16 +0000 | <JuanDaugherty> | which lone wolves can do |
| 2024-10-24 09:12:44 +0000 | <JuanDaugherty> | another case of semantic drift into grift |
| 2024-10-24 09:15:41 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-24 09:20:16 +0000 | Digitteknohippie | Digit |
| 2024-10-24 09:23:07 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-24 09:27:09 +0000 | <tomsmeding> | Leary: Hecate had a thing |
| 2024-10-24 09:28:48 +0000 | <tomsmeding> | Leary: https://github.com/Kleidukos/get-tested |
| 2024-10-24 09:29:10 +0000 | <tomsmeding> | never used, just saw it being announced a while ago |
| 2024-10-24 09:29:53 +0000 | <Hecate> | hi hi |
| 2024-10-24 09:30:10 +0000 | <Hecate> | Leary: yeah, get-tested is the best if you use Github Actions |
| 2024-10-24 09:30:52 +0000 | <Leary> | Cheers. It'll be on github soon, so I'll have a poke at that. |
| 2024-10-24 09:31:54 +0000 | <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 09:32:12 +0000 | <tomsmeding> | as you can see it took me more than 1.5 minutes to find it! |
| 2024-10-24 09:33:29 +0000 | <Hecate> | tomsmeding: got it |
| 2024-10-24 09:34:11 +0000 | califax | (~califax@user/califx) califx |
| 2024-10-24 09:35:27 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-24 09:35:32 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-24 09:37:03 +0000 | califax | (~califax@user/califx) califx |
| 2024-10-24 09:38:30 +0000 | <Hecate> | unrelated, I have made a thing: https://github.com/haskell/cabal/wiki/Deprecation-Process |
| 2024-10-24 09:38:34 +0000 | <Hecate> | please gib feedback |
| 2024-10-24 09:39:07 +0000 | <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 09:40:01 +0000 | <tomsmeding> | Hecate: you've made a thing again? You make so many things! |
| 2024-10-24 09:40:30 +0000 | <Hecate> | jackdk: yep |
| 2024-10-24 09:40:44 +0000 | <Hecate> | tomsmeding: I swear I'll stop |
| 2024-10-24 09:40:48 +0000 | <Hecate> | when I'm dead. |
| 2024-10-24 09:44:19 +0000 | <tomsmeding> | exactly as it should be |
| 2024-10-24 09:44:19 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-24 09:47:33 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2024-10-24 09:48:52 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-10-24 09:59:00 +0000 | ash3en | (~Thunderbi@149.222.152.198) (Ping timeout: 272 seconds) |
| 2024-10-24 10:00:05 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2024-10-24 10:03:07 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2024-10-24 10:04:41 +0000 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2024-10-24 10:05:31 +0000 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-10-24 10:07:23 +0000 | alp | (~alp@2001:861:e3d6:8f80:4c11:7ead:439d:9e81) |
| 2024-10-24 10:12:57 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-24 10:13:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 10:14:39 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-24 10:14:56 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 10:17:33 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-24 10:23:37 +0000 | mari-7733 | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-24 10:24:17 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2024-10-24 10:24:48 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) alexherbo2 |
| 2024-10-24 10:24:50 +0000 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 248 seconds) |
| 2024-10-24 10:37:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-24 10:37:15 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-24 10:38:16 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-10-24 10:38:41 +0000 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) |
| 2024-10-24 10:39:15 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-24 10:41:28 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-24 10:47:34 +0000 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 10:48:08 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e0cc:218e:37fe:3b0c) |
| 2024-10-24 10:52:06 +0000 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 10:52:23 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-10-24 10:52:49 +0000 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-24 10:54:45 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-10-24 10:55:32 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 10:59:51 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2024-10-24 11:00:04 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-24 11:00:28 +0000 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) |
| 2024-10-24 11:02:19 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-24 11:05:42 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-24 11:07:55 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2024-10-24 11:12:08 +0000 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 11:12:25 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 11:26:12 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 11:26:26 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-10-24 11:26:37 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-24 11:27:49 +0000 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2024-10-24 11:29:10 +0000 | mari-7733 | (~mari-este@user/mari-estel) (Quit: on the move) |
| 2024-10-24 11:29:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 11:50:22 +0000 | hgolden_ | (~hgolden@169.150.203.36) hgolden |
| 2024-10-24 11:52:56 +0000 | hgolden__ | (~hgolden@169.150.203.10) (Ping timeout: 255 seconds) |
| 2024-10-24 11:53:17 +0000 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-24 12:04:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-24 12:08:17 +0000 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-24 12:08:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-10-24 12:09:58 +0000 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
| 2024-10-24 12:11:27 +0000 | vektor | (~vektor@IP-149249145213.pools.medianet-world.de) |
| 2024-10-24 12:12:58 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-10-24 12:14:01 +0000 | <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 12:16:30 +0000 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
| 2024-10-24 12:16:44 +0000 | <Leary> | vektor: Non-allocating loop maybe. There's no escape if the GC doesn't have a chance to act. |
| 2024-10-24 12:18:44 +0000 | alp | (~alp@2001:861:e3d6:8f80:4c11:7ead:439d:9e81) (Remote host closed the connection) |
| 2024-10-24 12:19:27 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-10-24 12:19:29 +0000 | dilaver_ | (~dilaver_@user/dilaver-:32218) (Quit: Ping timeout (120 seconds)) |
| 2024-10-24 12:19:38 +0000 | <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 12:20:12 +0000 | dilaver_ | (~dilaver_@user/dilaver-:32218) dilaver_ |
| 2024-10-24 12:21:24 +0000 | hgolden__ | (~hgolden@23.162.40.28) hgolden |
| 2024-10-24 12:22:02 +0000 | <geekosaur> | compiling the unit with -fno-omit-yields may help |
| 2024-10-24 12:23:26 +0000 | <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 12:23:46 +0000 | hgolden_ | (~hgolden@169.150.203.36) (Ping timeout: 252 seconds) |
| 2024-10-24 12:24:56 +0000 | <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 12:25:29 +0000 | symdrome | (~user@2804:1e78:2202:2220::416) symdrome |
| 2024-10-24 12:32:51 +0000 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-10-24 12:39:49 +0000 | ubert | (~Thunderbi@178.115.35.86.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2024-10-24 12:40:53 +0000 | zero | zzz |
| 2024-10-24 12:49:15 +0000 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-24 12:51:26 +0000 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 255 seconds) |
| 2024-10-24 12:55:15 +0000 | rubin55 | (sid666177@id-666177.lymington.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-10-24 12:55:19 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 264 seconds) |
| 2024-10-24 12:56:04 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2024-10-24 12:56:24 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-24 12:56:28 +0000 | rubin55 | (sid666177@id-666177.lymington.irccloud.com) rubin55 |
| 2024-10-24 12:58:05 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-10-24 12:59:05 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Read error: Connection reset by peer) |
| 2024-10-24 12:59:20 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-24 13:00:22 +0000 | hgolden_ | (~hgolden@23.162.40.69) hgolden |
| 2024-10-24 13:02:41 +0000 | hgolden__ | (~hgolden@23.162.40.28) (Ping timeout: 248 seconds) |
| 2024-10-24 13:05:09 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-10-24 13:06:15 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 13:08:18 +0000 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2024-10-24 13:15:06 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-24 13:15:17 +0000 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) |
| 2024-10-24 13:24:00 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 244 seconds) |
| 2024-10-24 13:30:52 +0000 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 13:31:09 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 13:33:55 +0000 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-10-24 13:34:25 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-24 13:38:06 +0000 | cheater | (~Username@user/cheater) cheater |
| 2024-10-24 13:39:03 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) alexherbo2 |
| 2024-10-24 13:39:55 +0000 | leah2 | (~leah@vuxu.org) (Quit: Sprechen Sie noch? Wird noch gesprochen? Ich trenne.) |
| 2024-10-24 13:40:17 +0000 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-10-24 13:45:56 +0000 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 13:48:39 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-10-24 13:48:54 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 13:49:11 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 13:49:21 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-24 13:49:34 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 13:49:41 +0000 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2024-10-24 13:53:58 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 272 seconds) |
| 2024-10-24 13:57:00 +0000 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 14:01:32 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-24 14:03:07 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 252 seconds) |
| 2024-10-24 14:03:56 +0000 | <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 14:06:55 +0000 | <ncf> | pattern synonym? |
| 2024-10-24 14:08:04 +0000 | <int-e> | can you get away with a type alias? |
| 2024-10-24 14:08:50 +0000 | <int-e> | oh wait, never mind |
| 2024-10-24 14:09:04 +0000 | int-e | missed the recursion in the newtype |
| 2024-10-24 14:09:09 +0000 | <SrPx> | int-e: haskell complains `type Term = PreTerm Term` is recursive 💀 |
| 2024-10-24 14:09:14 +0000 | <SrPx> | @ncf reading rn ty |
| 2024-10-24 14:09:14 +0000 | <lambdabot> | Maybe you meant: unpf rc bf |
| 2024-10-24 14:14:30 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-24 14:15:06 +0000 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) |
| 2024-10-24 14:18:39 +0000 | Digitteknohippie | Digit |
| 2024-10-24 14:19:36 +0000 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-10-24 14:21:27 +0000 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-24 14:21:46 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: Ping timeout (120 seconds)) |
| 2024-10-24 14:24:15 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2024-10-24 14:29:39 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-24 14:34:45 +0000 | <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 14:35:39 +0000 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 14:35:56 +0000 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 14:36:09 +0000 | ash3en | (~Thunderbi@149.222.152.198) (Client Quit) |
| 2024-10-24 14:36:25 +0000 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 14:36:35 +0000 | ash3en | (~Thunderbi@149.222.152.198) (Client Quit) |
| 2024-10-24 14:36:50 +0000 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 14:38:00 +0000 | pipsquak-bird | (~g@c-71-232-204-190.hsd1.ma.comcast.net) (Quit: leaving) |
| 2024-10-24 14:38:01 +0000 | ubert | (~Thunderbi@77.119.173.172.wireless.dyn.drei.com) ubert |
| 2024-10-24 14:41:52 +0000 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 14:46:05 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-24 14:59:28 +0000 | nitrix-or-treats | nitrix |
| 2024-10-24 15:01:07 +0000 | vektor | (~vektor@IP-149249145213.pools.medianet-world.de) (Quit: Client closed) |
| 2024-10-24 15:02:37 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-24 15:07:03 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) alexherbo2 |
| 2024-10-24 15:15:41 +0000 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2024-10-24 15:15:57 +0000 | benjaminl | (~benjaminl@user/benjaminl) benjaminl |
| 2024-10-24 15:17:00 +0000 | rosco | (~rosco@60.53.7.10) (Quit: Lost terminal) |
| 2024-10-24 15:17:29 +0000 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) |
| 2024-10-24 15:18:19 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-24 15:19:37 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-10-24 15:22:14 +0000 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-10-24 15:23:11 +0000 | euleritian | (~euleritia@176.2.4.100) |
| 2024-10-24 15:31:26 +0000 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 15:31:43 +0000 | rosco | (~rosco@2001:e68:5442:ee23:fc9e:630a:419d:7168) rosco |
| 2024-10-24 15:34:41 +0000 | mari-estel | (~mari-este@user/mari-estel) (Quit: class) |
| 2024-10-24 15:37:24 +0000 | euleritian | (~euleritia@176.2.4.100) (Read error: Connection reset by peer) |
| 2024-10-24 15:37:31 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 15:38:33 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-10-24 15:40:48 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2024-10-24 15:42:54 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2024-10-24 15:55:05 +0000 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 15:55:18 +0000 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 15:59:22 +0000 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
| 2024-10-24 16:00:24 +0000 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-24 16:05:40 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-24 16:07:49 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-24 16:08:21 +0000 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 16:08:39 +0000 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 16:09:02 +0000 | ash3en | (~Thunderbi@149.222.152.198) (Client Quit) |
| 2024-10-24 16:09:19 +0000 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 16:11:26 +0000 | ash3en | (~Thunderbi@149.222.152.198) (Client Quit) |
| 2024-10-24 16:12:39 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-10-24 16:13:46 +0000 | euleritian | (~euleritia@dynamic-176-002-004-100.176.2.pool.telefonica.de) |
| 2024-10-24 16:16:04 +0000 | <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 16:19:16 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-24 16:21:24 +0000 | <zzz> | i'm obviously trying to avoid Word/Int conversion overhead |
| 2024-10-24 16:22:20 +0000 | <geekosaur> | not that I'm aware of |
| 2024-10-24 16:22:47 +0000 | <geekosaur> | if you're absolutely hell-bent on premature optimization, just unsafeCoerce everything |
| 2024-10-24 16:24:38 +0000 | <zzz> | i'm trying to make negative keys unrepresentable |
| 2024-10-24 16:26:28 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-10-24 16:29:11 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-24 16:31:02 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2024-10-24 16:31:39 +0000 | <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 16:32:20 +0000 | <zzz> | dolio: yes, i also came to the conclusion that Enum is not ideal |
| 2024-10-24 16:32:56 +0000 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 272 seconds) |
| 2024-10-24 16:34:11 +0000 | euleritian | (~euleritia@dynamic-176-002-004-100.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 16:34:29 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 16:39:18 +0000 | <EvanR> | you can use a newtype around Int which is guarded with the module system to not allow negatives |
| 2024-10-24 16:39:33 +0000 | <EvanR> | and then there's an Enum-based Map |
| 2024-10-24 16:39:49 +0000 | <EvanR> | oh I'm late |
| 2024-10-24 16:40:55 +0000 | <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 16:41:34 +0000 | <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 16:43:00 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-24 16:44:21 +0000 | euleritian | (~euleritia@176.2.4.100) |
| 2024-10-24 16:45:11 +0000 | <EvanR> | with a newtype over Int you could use safe coercions instead of unsafeCoerce |
| 2024-10-24 16:45:34 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-24 16:46:53 +0000 | <zzz> | EvanR: how so? with no performance costs? |
| 2024-10-24 16:46:57 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-10-24 16:47:34 +0000 | spew | (~spew@201.141.99.170) spew |
| 2024-10-24 16:47:48 +0000 | <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 16:47:55 +0000 | <EvanR> | in a type safe way |
| 2024-10-24 16:49:09 +0000 | euleritian | (~euleritia@176.2.4.100) (Ping timeout: 260 seconds) |
| 2024-10-24 16:49:59 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 16:53:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 16:55:39 +0000 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 276 seconds) |
| 2024-10-24 16:57:05 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 16:57:14 +0000 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina |
| 2024-10-24 16:58:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-24 16:58:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-24 16:59:04 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-10-24 16:59:34 +0000 | euleritian | (~euleritia@dynamic-176-007-144-063.176.7.pool.telefonica.de) |
| 2024-10-24 17:06:25 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-24 17:07:06 +0000 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2024-10-24 17:09:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 17:10:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 17:10:34 +0000 | <zzz> | sigh i'll just use IntMap and be mindful |
| 2024-10-24 17:11:39 +0000 | <zzz> | can't forget that minBound is 1000... and maxBound is 01111... |
| 2024-10-24 17:16:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-24 17:16:27 +0000 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2024-10-24 17:16:52 +0000 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) ft |
| 2024-10-24 17:24:09 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-24 17:26:59 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2024-10-24 17:27:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 17:31:01 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-10-24 17:32:07 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 17:33:22 +0000 | noctux | (~noctux@user/noctux) noctux |
| 2024-10-24 17:33:33 +0000 | <EvanR> | are you actually using the binary representation, but Word and Int feel very much like unsigned and "int" in C |
| 2024-10-24 17:34:04 +0000 | <EvanR> | defined by their behavior when asked to do things with representable values, not bits |
| 2024-10-24 17:34:18 +0000 | <EvanR> | (though unsigned has additional guarantees about overflow) |
| 2024-10-24 17:34:33 +0000 | <EvanR> | (expressed as mod power of 2) |
| 2024-10-24 17:35:24 +0000 | <EvanR> | it may be that IntMap internally uses the bits |
| 2024-10-24 17:35:36 +0000 | Mazin | (~Mazin@197.39.37.178) |
| 2024-10-24 17:36:02 +0000 | <EvanR> | but "can't be negative" is a higher level condition which survives changes in representation and precision |
| 2024-10-24 17:38:10 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-24 17:38:23 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2024-10-24 17:38:59 +0000 | lb | (~alphazone@2.219.56.221) (Ping timeout: 255 seconds) |
| 2024-10-24 17:39:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 17:40:47 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-24 17:42:02 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-24 17:43:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 17:45:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-24 17:49:46 +0000 | briandaed | (~root@185.234.210.211) |
| 2024-10-24 17:54:10 +0000 | alphazone | (~alphazone@2.219.56.221) |
| 2024-10-24 17:55:55 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2024-10-24 17:56:06 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 276 seconds) |
| 2024-10-24 17:56:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 18:00:01 +0000 | <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 18:00:14 +0000 | <zzz> | s/think/thinking |
| 2024-10-24 18:01:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 18:01:07 +0000 | <zzz> | thinks like minBound /= 0 trip me up sometimes |
| 2024-10-24 18:01:13 +0000 | <zzz> | s/thinks/things |
| 2024-10-24 18:01:17 +0000 | <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 18:01:48 +0000 | <EvanR> | where n is 64 |
| 2024-10-24 18:02:14 +0000 | <EvanR> | which is why it doesn't play nice with Int APIs |
| 2024-10-24 18:02:45 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-24 18:04:48 +0000 | <zzz> | i just hate stuff like length returning Int so that's my problem |
| 2024-10-24 18:05:21 +0000 | Mazin | (~Mazin@197.39.37.178) (Quit: Client closed) |
| 2024-10-24 18:06:41 +0000 | <EvanR> | yeeeeah |
| 2024-10-24 18:08:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-24 18:09:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 18:10:27 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-24 18:10:37 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-24 18:11:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 18:12:49 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-10-24 18:12:50 +0000 | ljdarj1 | ljdarj |
| 2024-10-24 18:13:00 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-10-24 18:16:52 +0000 | sinbad | (~sinbad@user/sinbad) Sinbad |
| 2024-10-24 18:17:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 18:27:39 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 18:27:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 18:30:12 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-24 18:32:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-24 18:36:07 +0000 | <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 18:36:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 18:38:44 +0000 | <sinbad> | Whatever it is worth the same call works with the python bindings to the same libsecret library. |
| 2024-10-24 18:39:25 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-10-24 18:40:22 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 18:41:59 +0000 | <sinbad> | Any advice would be appreciated. |
| 2024-10-24 18:42:17 +0000 | <briandaed> | shouldn't you use 4 params instead of 3? |
| 2024-10-24 18:44:08 +0000 | <mauke> | briandaed: why? |
| 2024-10-24 18:44:24 +0000 | <briandaed> | ok, which version of the package you use right now? |
| 2024-10-24 18:44:47 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-24 18:45:10 +0000 | <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 18:45:34 +0000 | <geekosaur> | ]aren't you confused? I see 3 parameters in the latest version |
| 2024-10-24 18:45:53 +0000 | <geekosaur> | don't forget the last arrow points to a result type, not a parameter |
| 2024-10-24 18:46:20 +0000 | <briandaed> | meh, right, I'm blind |
| 2024-10-24 18:46:41 +0000 | <mauke> | sinbad: do you get a different error if you change the last argument to (Nothing :: Maybe Cancellable)? |
| 2024-10-24 18:46:46 +0000 | <mauke> | just trying random things here |
| 2024-10-24 18:47:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-24 18:47:14 +0000 | <zzz> | *pseudorandom |
| 2024-10-24 18:48:24 +0000 | <mauke> | making an educated wish |
| 2024-10-24 18:50:09 +0000 | rosco | (~rosco@2001:e68:5442:ee23:fc9e:630a:419d:7168) (Quit: Lost terminal) |
| 2024-10-24 18:53:18 +0000 | <lxsameer> | hey folks, is there any library similar to rust's tokio in haskell? |
| 2024-10-24 18:53:23 +0000 | hgolden__ | (~hgolden@146.70.173.37) hgolden |
| 2024-10-24 18:54:11 +0000 | <identity> | lxsameer: probably the 'async' library is what you're looking for |
| 2024-10-24 18:54:16 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-10-24 18:54:51 +0000 | <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 18:55:28 +0000 | <zzz> | identity: lxsameer: for networking specifically i recall some other library built on top of async |
| 2024-10-24 18:55:33 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 18:56:04 +0000 | hgolden_ | (~hgolden@23.162.40.69) (Ping timeout: 272 seconds) |
| 2024-10-24 18:56:31 +0000 | <sinbad> | mauke: where is Cancellable coming from? |
| 2024-10-24 18:57:12 +0000 | <zzz> | lxsameer: Conduit and Streamly for streams |
| 2024-10-24 18:57:33 +0000 | <zzz> | Warp for http server |
| 2024-10-24 18:58:01 +0000 | <zzz> | (Warp is to Haskell what hyper (tokio based) is to Rust) |
| 2024-10-24 18:58:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 18:58:57 +0000 | <lxsameer> | zzz: awesome, thank you |
| 2024-10-24 19:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-24 19:00:37 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-24 19:03:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-24 19:05:15 +0000 | <mauke> | sinbad: https://hackage.haskell.org/package/gi-gio-2.0.35/docs/GI-Gio-Objects-Cancellable.html#t:Cancellable |
| 2024-10-24 19:05:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 19:06:35 +0000 | <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 19:07:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-24 19:08:00 +0000 | <sinbad> | geekosaur: yes I might. however with the full program I get the same error |
| 2024-10-24 19:09:52 +0000 | hgolden_ | (~hgolden@static-198-44-129-115.cust.tzulo.com) hgolden |
| 2024-10-24 19:12:21 +0000 | hgolden__ | (~hgolden@146.70.173.37) (Ping timeout: 248 seconds) |
| 2024-10-24 19:12:43 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-10-24 19:12:55 +0000 | <sinbad> | I ma using the latest version (0.0.18) and the passwordLookupSync take 3 arguments |
| 2024-10-24 19:14:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 19:18:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-24 19:19:27 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 19:22:51 +0000 | <zzz> | what should i keep in mind when chosing between `Set x` and `Map x Bool` for setting/checking flags? |
| 2024-10-24 19:23:22 +0000 | <zzz> | performance-wise |
| 2024-10-24 19:23:24 +0000 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-10-24 19:23:40 +0000 | <geekosaur> | I think there's less a performance question than a presence issue |
| 2024-10-24 19:23:53 +0000 | <geekosaur> | that is, do you care about "not specified"? |
| 2024-10-24 19:24:56 +0000 | <zzz> | no, in the case of going with Map, all keys will be initialized from the start |
| 2024-10-24 19:25:09 +0000 | <mauke> | Set x ~ Map x () |
| 2024-10-24 19:25:36 +0000 | <zzz> | i guess from a moral stance, Set is better because the "not specified" case is unrepresentable |
| 2024-10-24 19:25:42 +0000 | <geekosaur> | well, presumably they will check the value if it's Map x Bool, which will slightly slow things down |
| 2024-10-24 19:25:44 +0000 | <zzz> | but i'm thinking about memory management |
| 2024-10-24 19:25:58 +0000 | <geekosaur> | it will cost a little more memory, yes |
| 2024-10-24 19:26:09 +0000 | <geekosaur> | Bool won't cost you mugh though |
| 2024-10-24 19:26:18 +0000 | <geekosaur> | 3 machine words, I think? |
| 2024-10-24 19:26:34 +0000 | <geekosaur> | sorry, two |
| 2024-10-24 19:26:41 +0000 | <geekosaur> | pointer to value, constructor tag |
| 2024-10-24 19:27:19 +0000 | <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 19:27:57 +0000 | <geekosaur> | eh? they're both trees, one carries a little extra data |
| 2024-10-24 19:28:36 +0000 | <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 19:29:15 +0000 | <int-e> | That's also true for Set x, but the tree will be smaller. |
| 2024-10-24 19:29:49 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-24 19:29:50 +0000 | <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 19:30:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 19:30:13 +0000 | <mauke> | no, there absolutely will be |
| 2024-10-24 19:30:13 +0000 | <int-e> | zzz: that's not correct |
| 2024-10-24 19:30:20 +0000 | <mauke> | trees aren't modified in place |
| 2024-10-24 19:30:36 +0000 | <zzz> | mauke: how do Sets grow? |
| 2024-10-24 19:30:45 +0000 | <zzz> | and shrink? |
| 2024-10-24 19:30:56 +0000 | <mauke> | by inserting and removing elements? |
| 2024-10-24 19:31:11 +0000 | <int-e> | You construct new trees, reusing parts of old trees. The new parts are freshly allocated on the heap. |
| 2024-10-24 19:31:29 +0000 | <int-e> | Unused old parts will eventually be garbage collected. |
| 2024-10-24 19:31:34 +0000 | <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 19:31:43 +0000 | <geekosaur> | but the popinters to other limbs can be reused |
| 2024-10-24 19:32:29 +0000 | <zzz> | i see |
| 2024-10-24 19:33:21 +0000 | <mauke> | simplified example using lists: replace2nd :: a -> [a] -> [a]; replace2nd x (h : _ : rest) = h : x : rest |
| 2024-10-24 19:33:42 +0000 | <mauke> | replacing ("updating") the second element of a list |
| 2024-10-24 19:33:53 +0000 | <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 19:34:01 +0000 | <mauke> | rest can be reused, but two new nodes are allocated |
| 2024-10-24 19:34:21 +0000 | <mauke> | corresponding to the (:) |
| 2024-10-24 19:34:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-24 19:34:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 19:34:55 +0000 | <zzz> | mauke: i understand that |
| 2024-10-24 19:35:08 +0000 | <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 19:35:17 +0000 | <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 19:35:25 +0000 | <mauke> | trees work the same way, only there are two "rest" parts |
| 2024-10-24 19:36:51 +0000 | <zzz> | right |
| 2024-10-24 19:36:58 +0000 | <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 19:37:23 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-10-24 19:37:36 +0000 | <mauke> | which is something like a log(n) cost, assuming your tree is balanced |
| 2024-10-24 19:38:29 +0000 | <mauke> | geekosaur: perceus/koka does the in-place optimization, doesn't it? |
| 2024-10-24 19:38:43 +0000 | <mauke> | but that's very different from ghc's memory manager |
| 2024-10-24 19:38:48 +0000 | <geekosaur> | exactly |
| 2024-10-24 19:39:20 +0000 | <geekosaur> | I know that someone was poking at using a different memory manager with ghc, but it wasn't perceus |
| 2024-10-24 19:40:53 +0000 | <geekosaur> | I also know they were finding out that replacing ghc's memory manager is a major project |
| 2024-10-24 19:44:56 +0000 | sojuro | (~sojuro@syn-069-206-166-125.res.spectrum.com) |
| 2024-10-24 19:48:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 19:50:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 19:51:49 +0000 | euleritian | (~euleritia@dynamic-176-007-144-063.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 19:52:06 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 19:53:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-24 19:55:55 +0000 | hgolden_ | (~hgolden@static-198-44-129-115.cust.tzulo.com) (Ping timeout: 264 seconds) |
| 2024-10-24 19:55:57 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 19:56:09 +0000 | euleritian | (~euleritia@dynamic-176-007-144-063.176.7.pool.telefonica.de) |
| 2024-10-24 19:56:28 +0000 | euleritian | (~euleritia@dynamic-176-007-144-063.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 19:56:46 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 20:01:37 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 20:02:39 +0000 | briandaed | (~root@185.234.210.211) (Remote host closed the connection) |
| 2024-10-24 20:02:40 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 20:02:44 +0000 | hgolden | (~hgolden@169.150.203.36) hgolden |
| 2024-10-24 20:02:49 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 20:02:52 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 2024-10-24 20:04:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 20:06:19 +0000 | spew | (~spew@201.141.99.170) (Ping timeout: 260 seconds) |
| 2024-10-24 20:07:14 +0000 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2024-10-24 20:07:53 +0000 | spew | (~spew@185.153.177.94) spew |
| 2024-10-24 20:09:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 20:11:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-24 20:13:28 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-24 20:19:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 20:20:59 +0000 | sinbad | (~sinbad@user/sinbad) (Quit: Leaving.) |
| 2024-10-24 20:26:55 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-24 20:37:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 20:39:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-24 20:42:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-24 20:43:05 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-24 20:45:42 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-24 20:52:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-24 20:52:30 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-24 20:52:35 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-10-24 20:53:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 20:54:19 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 20:54:30 +0000 | euleritian | (~euleritia@176.7.144.63) |
| 2024-10-24 20:54:48 +0000 | euleritian | (~euleritia@176.7.144.63) (Read error: Connection reset by peer) |
| 2024-10-24 20:55:05 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 20:58:09 +0000 | <dmj`> | "cycle free" makes perceus a non-starter for ghc no? |
| 2024-10-24 20:58:47 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-24 21:00:20 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
| 2024-10-24 21:02:10 +0000 | <justsomeguy> | Can someone help me understand what Traversable is about? Is `traverse` like an applicative fmap? |
| 2024-10-24 21:03:52 +0000 | <Rembane> | justsomeguy: It's map but also perform an action on each element |
| 2024-10-24 21:04:01 +0000 | <mauke> | :t traverse |
| 2024-10-24 21:04:02 +0000 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2024-10-24 21:04:10 +0000 | <mauke> | :t sequence |
| 2024-10-24 21:04:11 +0000 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2024-10-24 21:04:21 +0000 | <mauke> | hah |
| 2024-10-24 21:04:43 +0000 | <mauke> | :t mapM |
| 2024-10-24 21:04:44 +0000 | <lambdabot> | (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
| 2024-10-24 21:04:47 +0000 | <justsomeguy> | :t sequenceA |
| 2024-10-24 21:04:48 +0000 | <lambdabot> | (Traversable t, Applicative f) => t (f a) -> f (t a) |
| 2024-10-24 21:04:53 +0000 | <mauke> | it's mapM |
| 2024-10-24 21:06:18 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-10-24 21:06:50 +0000 | <geekosaur> | mm, I thought Perceus had an answer to cycles |
| 2024-10-24 21:06:59 +0000 | <geekosaur> | and that was what made it of interest |
| 2024-10-24 21:07:16 +0000 | <mauke> | a container type is traversable if you can apply an effectful function to each element and then invert the nesting, giving an effect that produces a container, not a container full of effects |
| 2024-10-24 21:09:03 +0000 | <justsomeguy> | When can I leave out type arguments from an instance declaration like `instance Functor List where { ... }` vs `data Three a b c = Three a b c; instance Functor (Three a b) where { ... }`? |
| 2024-10-24 21:09:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 21:09:26 +0000 | <justsomeguy> | Am I trying to match up the kind signature with the number of args? |
| 2024-10-24 21:11:08 +0000 | <justsomeguy> | (I'm coming back to my code after a long break and nothing makes sense, lol) |
| 2024-10-24 21:11:27 +0000 | <mauke> | yes, pretty much |
| 2024-10-24 21:11:37 +0000 | <mauke> | Functor requires an argument of kind * -> * |
| 2024-10-24 21:11:54 +0000 | <mauke> | i.e. a type constructor of one argument |
| 2024-10-24 21:14:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 21:15:10 +0000 | Guest72 | (~Guest72@176.111.182.254.kyiv.nat.volia.net) |
| 2024-10-24 21:15:35 +0000 | Guest72 | (~Guest72@176.111.182.254.kyiv.nat.volia.net) (Client Quit) |
| 2024-10-24 21:15:54 +0000 | Guest72 | (~Guest72@176.111.182.254.kyiv.nat.volia.net) |
| 2024-10-24 21:16:25 +0000 | <dolio> | geekosaur: The 'answer' is to not be anything like Haskell. |
| 2024-10-24 21:16:42 +0000 | <dolio> | Eager evaluation except for 'coinductive' things, which I assume means there's no sharing. |
| 2024-10-24 21:16:54 +0000 | <geekosaur> | ah |
| 2024-10-24 21:17:27 +0000 | <geekosaur> | (funny, I was talking with someone in #ghc last night about that consequence) |
| 2024-10-24 21:17:27 +0000 | <dolio> | Even though nothing about coinduction implies that. |
| 2024-10-24 21:18:38 +0000 | <geekosaur> | (they're trying to pick up the pieces of GRIN and along the way asked about using STG for strict languages; I strongly advised against, and things like simulating laziness with `() -> x` came up along with their limitations) |
| 2024-10-24 21:18:53 +0000 | Guest72 | (~Guest72@176.111.182.254.kyiv.nat.volia.net) (Client Quit) |
| 2024-10-24 21:19:24 +0000 | <justsomeguy> | [justsomeguy(Ziw)] |
| 2024-10-24 21:19:26 +0000 | <justsomeguy> | [justsomeguy(Ziw)] |
| 2024-10-24 21:19:28 +0000 | <justsomeguy> | [justsomeguy(Ziw)] |
| 2024-10-24 21:19:30 +0000 | <justsomeguy> | [justsomeguy(Ziw)] |
| 2024-10-24 21:19:37 +0000 | <geekosaur> | uh |
| 2024-10-24 21:19:49 +0000 | <justsomeguy> | Sorry: Middle clicked by mistake. I have to disable that shortcut. |
| 2024-10-24 21:20:30 +0000 | <justsomeguy> | (Middle click is paste on Linux, apparently.) |
| 2024-10-24 21:20:51 +0000 | hgolden_ | (~hgolden@146.70.173.229) hgolden |
| 2024-10-24 21:20:52 +0000 | <geekosaur> | interesting it included your umodes(?) |
| 2024-10-24 21:21:03 +0000 | Everything | (~Everythin@178-133-200-119.mobile.vf-ua.net) Everything |
| 2024-10-24 21:21:13 +0000 | <geekosaur> | and yes, for historical reasons middle click is paste in X11 and possibly carried over into Wayland |
| 2024-10-24 21:21:16 +0000 | <mauke> | probably double-clicked in the status bar before |
| 2024-10-24 21:21:38 +0000 | <mauke> | mine currently says: [23:21] [mauke(+Ziw)] [3:LiberaChat/#haskell(+Cnt)] |
| 2024-10-24 21:22:44 +0000 | hgolden | (~hgolden@169.150.203.36) (Ping timeout: 260 seconds) |
| 2024-10-24 21:25:11 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 21:30:00 +0000 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2024-10-24 21:30:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 21:32:46 +0000 | <justsomeguy> | It's kind of neat that I can sometimes solve problems just by trying to compile and correcting the errors one-by-one. |
| 2024-10-24 21:38:51 +0000 | zzz | (~z@user/zero) (Remote host closed the connection) |
| 2024-10-24 21:40:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 21:41:28 +0000 | zero | (~z@user/zero) zero |
| 2024-10-24 21:45:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 21:50:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-24 21:51:06 +0000 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 252 seconds) |
| 2024-10-24 21:53:58 +0000 | <EvanR> | if it type checks, it's right |
| 2024-10-24 21:54:40 +0000 | <EvanR> | the types are infallible like HAL9000, or the pope |
| 2024-10-24 21:54:51 +0000 | <monochrom> | That's after you know how to interpret the error messages. :) |
| 2024-10-24 21:56:23 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 21:57:47 +0000 | vglfr | (~vglfr@2607:fb90:eab7:5356:ac39:c397:6933:1a7b) vglfr |
| 2024-10-24 22:03:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-24 22:03:08 +0000 | <justsomeguy> | Haskell error messages can be gnarly, sometimes, when there's a lot of polymorphism. |
| 2024-10-24 22:06:09 +0000 | vglfr | (~vglfr@2607:fb90:eab7:5356:ac39:c397:6933:1a7b) (Ping timeout: 246 seconds) |
| 2024-10-24 22:06:21 +0000 | <zero> | just found out that you can have uninitiated record fields. ugh |
| 2024-10-24 22:06:35 +0000 | <haskellbridge> | <sm> yes.. you get good at pattern-matching / distilling them |
| 2024-10-24 22:06:44 +0000 | <EvanR> | there should be a warning for that |
| 2024-10-24 22:06:49 +0000 | <haskellbridge> | <sm> +(error messages) |
| 2024-10-24 22:07:00 +0000 | <EvanR> | constructing a record without defining all the fields |
| 2024-10-24 22:07:11 +0000 | <zero> | there is a warning message |
| 2024-10-24 22:07:13 +0000 | <haskellbridge> | <sm> * youwill |
| 2024-10-24 22:07:18 +0000 | <zero> | imo it should be an error |
| 2024-10-24 22:07:18 +0000 | <haskellbridge> | <sm> * you will |
| 2024-10-24 22:07:27 +0000 | <EvanR> | you can set warnings = errors xD |
| 2024-10-24 22:07:35 +0000 | <haskellbridge> | <sm> yes, that's what -Werror is for |
| 2024-10-24 22:08:02 +0000 | <EvanR> | but since any given value may be an undefined or an infinite loop, it still doesn't fully save you |
| 2024-10-24 22:08:24 +0000 | <EvanR> | strict fields in the record will make it easier to notice sooner |
| 2024-10-24 22:08:54 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 2024-10-24 22:09:25 +0000 | <monochrom> | uninited fields = initialized to undefined |
| 2024-10-24 22:10:47 +0000 | <EvanR> | [1, let x = x in x, 4, 8, 16] |
| 2024-10-24 22:10:47 +0000 | vglfr | (~vglfr@2607:fb91:845:141a:ad2:e57:b1d0:dd1d) vglfr |
| 2024-10-24 22:10:53 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
| 2024-10-24 22:11:04 +0000 | <EvanR> | can I haz warning |
| 2024-10-24 22:11:26 +0000 | <sm> | oops sorry for edits |
| 2024-10-24 22:12:25 +0000 | <EvanR> | IRC returns you to a jane austen-like time where you had to write out your whole message with no typos and perfect grammar the first time |
| 2024-10-24 22:12:55 +0000 | sm | (~znc@plaintextaccounting/sm) () |
| 2024-10-24 22:13:54 +0000 | <monochrom> | Clearly, I only simulate to write perfectly the first time by proofreading and editing multiple times before I press enter. :) |
| 2024-10-24 22:14:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 22:15:04 +0000 | <EvanR> | nobody got time for that |
| 2024-10-24 22:16:51 +0000 | sm | (~znc@plaintextaccounting/sm) sm |
| 2024-10-24 22:17:17 +0000 | <sm> | I'll try that again: |
| 2024-10-24 22:17:20 +0000 | <sm> | I admire your vision EvanR, I shall try to keep it in mind. |
| 2024-10-24 22:17:30 +0000 | <zero> | enter keys should require higher actuation force than the others |
| 2024-10-24 22:17:47 +0000 | <EvanR> | they should require a license |
| 2024-10-24 22:18:03 +0000 | <int-e> | EvanR: don't give the manufacturers ideas |
| 2024-10-24 22:18:13 +0000 | <zero> | [ ] I have read and agree to the terms of pressing this key. |
| 2024-10-24 22:18:58 +0000 | <EvanR> | keyboard not detected. Press any key to continue |
| 2024-10-24 22:19:10 +0000 | <int-e> | EvanR: though it'll probably be structured differently; you get the return key for free but enabling backspace will require a subscription |
| 2024-10-24 22:19:13 +0000 | <zero> | _Select all squares with *traffic lights*_ |
| 2024-10-24 22:19:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-24 22:20:24 +0000 | <zero> | "Before pressing this key: Have you considered a donation? [ ] 5$ [ ] 10$ [ ] 20$ (other options) |
| 2024-10-24 22:20:31 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-24 22:20:51 +0000 | <tomsmeding> | the keys will have small embedded LEDs that make crude pictures, and you should press the keys that look like traffic lights |
| 2024-10-24 22:21:43 +0000 | <zero> | You have reached your daily limit for the Enter key. Please wait XX seconds. TIRED OF WAITING? CLICK [HERE] FOR ENTER PREMIUM* |
| 2024-10-24 22:23:45 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-10-24 22:23:48 +0000 | ljdarj1 | ljdarj |
| 2024-10-24 22:24:23 +0000 | <EvanR> | probably something that will be on phones first |
| 2024-10-24 22:26:23 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-24 22:29:56 +0000 | <geekosaur> | to be shortly followed by apps that will defeat it |
| 2024-10-24 22:30:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 22:30:41 +0000 | <Rembane> | The circle of life |
| 2024-10-24 22:30:59 +0000 | <zero> | create the problem, sell the solution |
| 2024-10-24 22:32:01 +0000 | <zero> | this message brought to you by NordVPN |
| 2024-10-24 22:32:13 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2024-10-24 22:35:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 22:36:49 +0000 | vglfr | (~vglfr@2607:fb91:845:141a:ad2:e57:b1d0:dd1d) (Read error: Connection reset by peer) |
| 2024-10-24 22:41:37 +0000 | <monochrom> | haha |
| 2024-10-24 22:45:38 +0000 | <zero> | i also just found out that you can't use lazy annotations without StrictData :( |
| 2024-10-24 22:45:39 +0000 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
| 2024-10-24 22:45:51 +0000 | <zero> | that's a shame |
| 2024-10-24 22:46:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 22:50:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 22:51:07 +0000 | Everything | (~Everythin@178-133-200-119.mobile.vf-ua.net) (Quit: leaving) |
| 2024-10-24 22:52:33 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb1760fc46cbba529b10.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-10-24 22:58:28 +0000 | ubert | (~Thunderbi@77.119.173.172.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-10-24 23:01:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 23:03:26 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Read error: Connection reset by peer) |
| 2024-10-24 23:04:01 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 23:04:30 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 23:06:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-24 23:08:33 +0000 | <zero> | help |
| 2024-10-24 23:08:43 +0000 | <zero> | i have the following line: |
| 2024-10-24 23:08:44 +0000 | <zero> | quotRem x y = join bimap toEnum $ on quotRem fromEnum x y |
| 2024-10-24 23:09:39 +0000 | <zero> | why does eta reducing this to |
| 2024-10-24 23:09:49 +0000 | <zero> | quotRem = join bimap toEnum . on quotRem fromEnum |
| 2024-10-24 23:10:04 +0000 | <dibblego> | those two expressions are not equivalent |
| 2024-10-24 23:10:34 +0000 | <zero> | cause a type mismatch in bimap? |
| 2024-10-24 23:11:27 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e0cc:218e:37fe:3b0c) (Ping timeout: 244 seconds) |
| 2024-10-24 23:11:45 +0000 | <zero> | dibblego: they're not? |
| 2024-10-24 23:12:08 +0000 | <Leary> | `\f g x -> f (g x)` and `\f g x y -> f (g x y)` are not the same. You want the latter and are using the former. |
| 2024-10-24 23:12:12 +0000 | <dibblego> | quotRem x = join bimap toEnum . on quotRem fromEnum x |
| 2024-10-24 23:12:25 +0000 | <dibblego> | quotRem = (join bimap toEnum .) . on quotRem fromEnum |
| 2024-10-24 23:12:33 +0000 | <dibblego> | -- (done without a type checker) |
| 2024-10-24 23:12:58 +0000 | <int-e> | :t (.)(.)(.) |
| 2024-10-24 23:12:59 +0000 | <lambdabot> | (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
| 2024-10-24 23:13:09 +0000 | <zero> | i see it now. ty |
| 2024-10-24 23:17:05 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-10-24 23:17:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 23:17:41 +0000 | euleritian | (~euleritia@dynamic-176-006-128-175.176.6.pool.telefonica.de) |
| 2024-10-24 23:18:58 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e0cc:218e:37fe:3b0c) |
| 2024-10-24 23:20:34 +0000 | motherfsck | (~motherfsc@user/motherfsck) motherfsck |
| 2024-10-24 23:22:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 23:25:15 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-10-24 23:28:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 23:32:52 +0000 | sojuro | (~sojuro@syn-069-206-166-125.res.spectrum.com) (Quit: Client closed) |
| 2024-10-24 23:32:56 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-24 23:34:50 +0000 | symdrome | (~user@2804:1e78:2202:2220::416) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-10-24 23:41:53 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-24 23:44:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 23:46:47 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2024-10-24 23:48:07 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 264 seconds) |
| 2024-10-24 23:50:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-24 23:52:47 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
| 2024-10-24 23:59:05 +0000 | rkazak | (~rkazak@173.195.77.203) |