| 2024-10-30 00:00:14 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-10-30 00:01:35 +0100 | Everything | (~Everythin@178-133-213-22.mobile.vf-ua.net) (Quit: leaving) |
| 2024-10-30 00:02:51 +0100 | m5zs7k_ | m5zs7k |
| 2024-10-30 00:04:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 00:04:21 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-30 00:07:59 +0100 | noctux | (~noctux@user/noctux) noctux |
| 2024-10-30 00:08:11 +0100 | qaotsap | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2024-10-30 00:08:16 +0100 | zlqrvx_ | (~zlqrvx@101.175.150.247) |
| 2024-10-30 00:08:31 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (Read error: Connection reset by peer) |
| 2024-10-30 00:09:20 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Read error: Connection reset by peer) |
| 2024-10-30 00:11:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 00:14:03 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 00:18:29 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-30 00:19:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 00:23:00 +0100 | alp | (~alp@2001:861:e3d6:8f80:f60c:ddc9:c66e:3f2c) (Ping timeout: 246 seconds) |
| 2024-10-30 00:30:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 00:33:22 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 00:35:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-30 00:38:46 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-30 00:41:08 +0100 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2024-10-30 00:45:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 00:47:33 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f47b0bede14811a4453.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-10-30 00:50:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-30 00:52:58 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-10-30 00:53:51 +0100 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-30 00:55:06 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 01:00:04 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Quit: Leaving) |
| 2024-10-30 01:00:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 01:02:14 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-30 01:04:48 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-10-30 01:05:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-30 01:05:48 +0100 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-10-30 01:08:15 +0100 | AlexNoo | (~AlexNoo@178.34.150.252) (Read error: Connection reset by peer) |
| 2024-10-30 01:08:23 +0100 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-30 01:08:26 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-30 01:08:37 +0100 | AlexNoo | (~AlexNoo@178.34.150.252) |
| 2024-10-30 01:12:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 01:14:12 +0100 | Me-me | (~me-me@kc.randomserver.name) (Read error: Connection reset by peer) |
| 2024-10-30 01:14:19 +0100 | Wstfgl0 | (~me-me@kc.randomserver.name) |
| 2024-10-30 01:14:20 +0100 | Wstfgl0 | Me-me |
| 2024-10-30 01:15:49 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 01:18:59 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2024-10-30 01:20:20 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-30 01:20:23 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-30 01:20:24 +0100 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2024-10-30 01:20:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-30 01:21:28 +0100 | xff0x | (~xff0x@2405:6580:b080:900:dd4:7391:684:d55b) (Ping timeout: 244 seconds) |
| 2024-10-30 01:25:39 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-10-30 01:29:29 +0100 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-10-30 01:31:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 01:33:37 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-30 01:34:03 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 01:34:57 +0100 | sadmax | (~user@64.130.91.66) (Ping timeout: 248 seconds) |
| 2024-10-30 01:38:26 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-30 01:38:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 01:40:55 +0100 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 264 seconds) |
| 2024-10-30 01:41:38 +0100 | Lears | Leary |
| 2024-10-30 01:41:59 +0100 | _________ | (~nobody@user/noodly) (Ping timeout: 255 seconds) |
| 2024-10-30 01:42:13 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2024-10-30 01:43:52 +0100 | _________ | (~nobody@user/noodly) _________ |
| 2024-10-30 01:47:23 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-30 01:48:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 01:51:46 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 01:52:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 01:53:54 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-10-30 01:54:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 01:56:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-30 01:56:35 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-30 02:03:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 02:05:50 +0100 | rselim | (ce261f06ff@user/milesrout) (Ping timeout: 260 seconds) |
| 2024-10-30 02:05:50 +0100 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Ping timeout: 260 seconds) |
| 2024-10-30 02:05:50 +0100 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 260 seconds) |
| 2024-10-30 02:05:50 +0100 | lucyy | (228ee8f0ce@user/lucyy) (Ping timeout: 260 seconds) |
| 2024-10-30 02:05:50 +0100 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Ping timeout: 260 seconds) |
| 2024-10-30 02:06:25 +0100 | cpli | (77fc530071@2a03:6000:1812:100::252) (Ping timeout: 260 seconds) |
| 2024-10-30 02:06:25 +0100 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 260 seconds) |
| 2024-10-30 02:06:25 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 260 seconds) |
| 2024-10-30 02:06:59 +0100 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 260 seconds) |
| 2024-10-30 02:07:29 +0100 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-10-30 02:07:29 +0100 | lucyy | (228ee8f0ce@user/lucyy) lucyy |
| 2024-10-30 02:07:30 +0100 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) jeso |
| 2024-10-30 02:07:30 +0100 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2024-10-30 02:08:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-30 02:09:07 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 02:09:47 +0100 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
| 2024-10-30 02:09:47 +0100 | jkoshy | (99b9359beb@user/jkoshy) jkoshy |
| 2024-10-30 02:09:48 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2024-10-30 02:09:48 +0100 | cpli | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2024-10-30 02:09:49 +0100 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2024-10-30 02:16:25 +0100 | xff0x | (~xff0x@182.169.73.28) |
| 2024-10-30 02:20:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 02:22:56 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-10-30 02:23:02 +0100 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2024-10-30 02:23:53 +0100 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-10-30 02:25:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 02:27:14 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 260 seconds) |
| 2024-10-30 02:29:07 +0100 | Inst_ | (~Inst@user/Inst) Inst |
| 2024-10-30 02:30:19 +0100 | jleightcap | (7bc4014b62@user/jleightcap) (Ping timeout: 260 seconds) |
| 2024-10-30 02:30:20 +0100 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 260 seconds) |
| 2024-10-30 02:30:20 +0100 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Ping timeout: 260 seconds) |
| 2024-10-30 02:30:20 +0100 | bwolf | (c3bc363dd1@2a03:6000:1812:100::180) (Ping timeout: 260 seconds) |
| 2024-10-30 02:30:20 +0100 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Ping timeout: 260 seconds) |
| 2024-10-30 02:30:20 +0100 | samhh_ | samhh |
| 2024-10-30 02:30:33 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) Natch |
| 2024-10-30 02:30:44 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-10-30 02:31:00 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2024-10-30 02:31:06 +0100 | Inst | (~Inst@user/Inst) (Ping timeout: 246 seconds) |
| 2024-10-30 02:31:21 +0100 | <Axman6> | @unmtl ExceptT e (StateT e IO) a |
| 2024-10-30 02:31:21 +0100 | <lambdabot> | e -> IO (Either e a, e) |
| 2024-10-30 02:31:23 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 02:31:28 +0100 | <Axman6> | @unmtl ExceptT e (StateT s IO) a |
| 2024-10-30 02:31:28 +0100 | <lambdabot> | s -> IO (Either e a, s) |
| 2024-10-30 02:31:41 +0100 | <Axman6> | @unmtl StateT s e (ExceptT e IO) a |
| 2024-10-30 02:31:41 +0100 | <lambdabot> | err: `s -> e (ExceptT e IO, s)' is not a type function. |
| 2024-10-30 02:31:54 +0100 | bwolf | (c3bc363dd1@2a03:6000:1812:100::180) bwolf |
| 2024-10-30 02:31:55 +0100 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) fvr |
| 2024-10-30 02:32:15 +0100 | <Axman6> | @unmtl StateT s (ExceptT e IO) a |
| 2024-10-30 02:32:15 +0100 | <lambdabot> | s -> IO (Either e (a, s)) |
| 2024-10-30 02:34:18 +0100 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers |
| 2024-10-30 02:34:19 +0100 | jleightcap | (7bc4014b62@user/jleightcap) jleightcap |
| 2024-10-30 02:35:15 +0100 | Inst_ | (~Inst@user/Inst) (Ping timeout: 265 seconds) |
| 2024-10-30 02:35:23 +0100 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 245 seconds) |
| 2024-10-30 02:35:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 02:36:15 +0100 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-30 02:38:57 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Ping timeout: 248 seconds) |
| 2024-10-30 02:40:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-30 02:44:13 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2024-10-30 02:51:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 02:52:07 +0100 | _________ | (~nobody@user/noodly) (Ping timeout: 252 seconds) |
| 2024-10-30 02:54:10 +0100 | _________ | (~nobody@user/noodly) _________ |
| 2024-10-30 02:55:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-30 02:59:33 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-30 03:02:47 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-10-30 03:03:07 +0100 | sadmax | (~user@64.130.91.66) |
| 2024-10-30 03:07:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 03:12:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 03:13:23 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 03:15:55 +0100 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2024-10-30 03:23:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 03:24:01 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2024-10-30 03:24:57 +0100 | byte_ | (~byte@149.28.222.189) |
| 2024-10-30 03:24:57 +0100 | mzg | (mzg@abusers.hu) (Ping timeout: 244 seconds) |
| 2024-10-30 03:25:10 +0100 | mzg | (~mzg@abusers.hu) |
| 2024-10-30 03:25:15 +0100 | zlqrvx_ | (~zlqrvx@101.175.150.247) (Quit: %quit%) |
| 2024-10-30 03:25:15 +0100 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2024-10-30 03:25:33 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2024-10-30 03:26:00 +0100 | _________ | (~nobody@user/noodly) (Ping timeout: 265 seconds) |
| 2024-10-30 03:26:00 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 265 seconds) |
| 2024-10-30 03:26:51 +0100 | _________ | (~nobody@user/noodly) _________ |
| 2024-10-30 03:28:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-30 03:29:23 +0100 | byte | (~byte@149.28.222.189) (Ping timeout: 265 seconds) |
| 2024-10-30 03:29:51 +0100 | byte_ | byte |
| 2024-10-30 03:30:17 +0100 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2024-10-30 03:38:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 03:41:57 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 265 seconds) |
| 2024-10-30 03:43:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-30 03:51:01 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2024-10-30 03:53:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 03:54:08 +0100 | Inst | (~Inst@user/Inst) Inst |
| 2024-10-30 03:58:55 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-10-30 03:59:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-30 04:06:08 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-10-30 04:09:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 04:14:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 04:23:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-10-30 04:24:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 04:29:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-30 04:40:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 04:42:01 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 04:42:14 +0100 | terrorjack4 | (~terrorjac@static.48.15.202.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-30 04:42:47 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-10-30 04:43:39 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-10-30 04:43:56 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) terrorjack |
| 2024-10-30 04:46:43 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-30 04:46:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 04:58:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 04:59:47 +0100 | td_ | (~td@i5387091D.versanet.de) (Ping timeout: 265 seconds) |
| 2024-10-30 05:01:32 +0100 | td_ | (~td@i5387091D.versanet.de) td_ |
| 2024-10-30 05:02:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 05:06:17 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-30 05:12:51 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-10-30 05:13:26 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-10-30 05:13:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 05:14:53 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-10-30 05:18:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 05:25:56 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-10-30 05:26:12 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-10-30 05:28:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 05:33:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-30 05:39:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-30 05:44:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 05:48:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-30 05:57:07 +0100 | notzmv | (~daniel@user/notzmv) (Read error: Connection reset by peer) |
| 2024-10-30 05:59:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 06:01:39 +0100 | Inst_ | (~Inst@user/Inst) Inst |
| 2024-10-30 06:04:21 +0100 | Inst | (~Inst@user/Inst) (Ping timeout: 276 seconds) |
| 2024-10-30 06:05:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-30 06:06:24 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-30 06:07:37 +0100 | Inst_ | Inst |
| 2024-10-30 06:07:41 +0100 | <Inst> | thsi is actually pretty great |
| 2024-10-30 06:07:42 +0100 | <Inst> | https://www.schoolofhaskell.com/user/snoyberg/random-code-snippets/set-is-not-a-functor |
| 2024-10-30 06:07:51 +0100 | <Inst> | simplest and easiest explanation for why Set cannot be a functor |
| 2024-10-30 06:13:10 +0100 | <monochrom> | No, it is a strawman argument with doofus Eq and Ord instances. |
| 2024-10-30 06:13:46 +0100 | <monochrom> | simplest and easiest example why I disregard snoyberg arguments. |
| 2024-10-30 06:13:59 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-10-30 06:16:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 06:17:20 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-30 06:21:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 06:25:23 +0100 | monochrom | (trebla@216.138.220.146) |
| 2024-10-30 06:29:55 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-10-30 06:30:01 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-30 06:30:48 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2024-10-30 06:31:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 06:33:17 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-10-30 06:36:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 06:40:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-10-30 06:47:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 06:49:03 +0100 | <mauke> | monochrom: why strawman? |
| 2024-10-30 06:51:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 06:54:11 +0100 | <jackdk> | It proves that `Set.map f . Set.map g` is not `Set.map (f . g)` but says nothing about the fact that you cannot write `instance Functor Set where fmap = Set.map` (you don't have the `Ord b` in scope that is required by `Set.map`) |
| 2024-10-30 06:59:41 +0100 | EarlPitts | (~EarlPitts@20014C4C1C6E670035C3E8C179579344.catv.pool.telekom.hu) |
| 2024-10-30 07:02:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 07:05:44 +0100 | <jackdk> | And even then it only proves that non-equivalence in the presence of pathological^Wdoofus `Eq`/`Ord` instances |
| 2024-10-30 07:06:26 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-10-30 07:07:01 +0100 | michalz | (~michalz@185.246.207.201) |
| 2024-10-30 07:07:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-30 07:08:05 +0100 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2024-10-30 07:09:50 +0100 | <mauke> | that's like saying all primes are odd because the counterexample of 2 is "doofus" |
| 2024-10-30 07:10:27 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 07:11:09 +0100 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2024-10-30 07:12:26 +0100 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) ubert |
| 2024-10-30 07:15:22 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-10-30 07:15:49 +0100 | euleritian | (~euleritia@dynamic-176-006-131-000.176.6.pool.telefonica.de) |
| 2024-10-30 07:18:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 07:24:45 +0100 | kenran | (~user@user/kenran) kenran |
| 2024-10-30 07:25:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-30 07:29:34 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-30 07:30:15 +0100 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-30 07:35:36 +0100 | alphazone_ | (~alphazone@2.219.56.221) (Ping timeout: 246 seconds) |
| 2024-10-30 07:36:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 07:37:57 +0100 | <jackdk> | Nah all primes are odd once you correct for measurement error |
| 2024-10-30 07:40:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-30 07:43:52 +0100 | ell | (~ellie@user/ellie) (Read error: Connection reset by peer) |
| 2024-10-30 07:44:01 +0100 | ell2 | (~ellie@user/ellie) ellie |
| 2024-10-30 07:44:19 +0100 | alioguzhan | (~Thunderbi@78.173.91.30) (Ping timeout: 244 seconds) |
| 2024-10-30 07:48:18 +0100 | <Leary> | The instances are lawful if the contents of the newtype cannot be inspected, otherwise they're just awful. |
| 2024-10-30 07:50:05 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-30 07:51:24 +0100 | alphabitserial | (~alphabits@user/alphabitserial) alphabitserial |
| 2024-10-30 07:51:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 07:51:51 +0100 | EarlPitts | (~EarlPitts@20014C4C1C6E670035C3E8C179579344.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-10-30 07:54:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-30 07:56:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 08:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-30 08:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-30 08:02:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 08:02:20 +0100 | Digitteknohippie | Digit |
| 2024-10-30 08:03:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-30 08:06:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-30 08:07:24 +0100 | alphabitserial | (~alphabits@user/alphabitserial) (Quit: alphabitserial) |
| 2024-10-30 08:17:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 08:20:14 +0100 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 2024-10-30 08:22:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 08:26:30 +0100 | preflex | (~preflex@schedar.uberspace.de) |
| 2024-10-30 08:27:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-30 08:33:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 08:37:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 08:42:18 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:467d:3e5f:31ca:9a0a) (Ping timeout: 276 seconds) |
| 2024-10-30 08:43:24 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-10-30 08:43:44 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-30 08:45:47 +0100 | jle` | (~jle`@syn-023-240-075-236.res.spectrum.com) jle` |
| 2024-10-30 08:48:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 08:48:24 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-10-30 08:48:40 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-10-30 08:49:09 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-10-30 08:49:12 +0100 | alphabitserial | (~alphabits@user/alphabitserial) alphabitserial |
| 2024-10-30 08:52:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-30 08:57:10 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-10-30 09:03:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 09:07:04 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f52e45246a7ea38e27a.dip0.t-ipconnect.de) acidjnk |
| 2024-10-30 09:08:31 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-10-30 09:08:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 09:08:50 +0100 | CiaoSen | (~Jura@2a05:5800:481:1f00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-30 09:11:14 +0100 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-30 09:11:44 +0100 | alp | (~alp@2001:861:e3d6:8f80:1380:9a94:518c:2b43) |
| 2024-10-30 09:12:07 +0100 | preflex | (~preflex@schedar.uberspace.de) (Remote host closed the connection) |
| 2024-10-30 09:12:15 +0100 | preflex | (~preflex@schedar.uberspace.de) |
| 2024-10-30 09:20:00 +0100 | euleritian | (~euleritia@dynamic-176-006-131-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-30 09:20:18 +0100 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) |
| 2024-10-30 09:33:42 +0100 | <Inst> | jackdk: isn't that more about implementation details? |
| 2024-10-30 09:34:04 +0100 | <Inst> | Actually, I see where monochrom is right and Snoyman's wrong here, because the Haskell Set a is not a proper Set, but its interface assumes it is |
| 2024-10-30 09:35:37 +0100 | <Inst> | ah, so you can orphan instance Set into Functor, cool, except it's not a true Set you're orphan instancing but rather a size-balanced binary tree |
| 2024-10-30 09:37:37 +0100 | <Inst> | cool, Set exports its constructors so Set is technically broken |
| 2024-10-30 09:38:32 +0100 | <Inst> | also, the reason I showed up this time was to ask |
| 2024-10-30 09:38:55 +0100 | <Inst> | is it true to say that, ignoring laziness, Haskell has no implicit state? |
| 2024-10-30 09:39:22 +0100 | <Inst> | i.e, all state is explicit and is notated in the type system (IO / State / Reader ... etc) |
| 2024-10-30 09:45:52 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:3808:5ad1:785a:e722) ph88 |
| 2024-10-30 09:46:24 +0100 | <ph88> | Could any type wizards have a look at this code? https://play.haskell.org/saved/io5gf3oy |
| 2024-10-30 09:50:32 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-30 09:53:15 +0100 | <Inst> | hmmm, weird, Set(..) should import all the constructors |
| 2024-10-30 09:55:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-30 09:56:29 +0100 | <tomsmeding> | ph88: https://play.haskell.org/saved/gbALp3A0 |
| 2024-10-30 09:57:37 +0100 | <tomsmeding> | ph88: a let-binding is lazy, so it cannot generate any type evidence: to be certain that the type evidence you discover (such as equalities) is actually valid, you have to evaluate the proof (the GADT constructor) to WHNF |
| 2024-10-30 09:58:16 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-30 09:58:20 +0100 | <tomsmeding> | GHC goes even further and disallows the let-binding altogether, I'm not sure what the technical reason for that is, but it couldn't work anyway |
| 2024-10-30 09:59:04 +0100 | <tomsmeding> | (indeed, a bang pattern is insufficient, you really need a case) |
| 2024-10-30 09:59:15 +0100 | <tomsmeding> | something to do with scoping of existential type variables, probably |
| 2024-10-30 10:01:24 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-30 10:03:31 +0100 | <tomsmeding> | ph88: if you don't like the case then a pattern guard also suffices https://play.haskell.org/saved/HDgQPO9u, and you can even put the `let childName2` as a guard too |
| 2024-10-30 10:05:35 +0100 | <Inst> | ah, I misread the CPP, Set only exports the type if it's not ni Testing, so it's opaque |
| 2024-10-30 10:05:45 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2024-10-30 10:05:47 +0100 | <tomsmeding> | Inst: looking at the haddocks is easier :p |
| 2024-10-30 10:05:56 +0100 | <tomsmeding> | the constructors are only exposed from the .Internal module, which seems fine |
| 2024-10-30 10:06:32 +0100 | alphazone | (~alphazone@2.219.56.221) |
| 2024-10-30 10:06:41 +0100 | AlexZenon | (~alzenon@178.34.150.252) (Quit: ;-) |
| 2024-10-30 10:07:24 +0100 | AlexNoo | (~AlexNoo@178.34.150.252) (Quit: Leaving) |
| 2024-10-30 10:08:31 +0100 | <Inst> | what's going on with Set, anyways? |
| 2024-10-30 10:08:56 +0100 | preflex | (~preflex@schedar.uberspace.de) (Remote host closed the connection) |
| 2024-10-30 10:09:03 +0100 | <Inst> | empty :: Set a; i.e, without constraint |
| 2024-10-30 10:09:30 +0100 | <Inst> | it's possible to create a Set using Set.singleton that, ummm, can't have elements added to or removed from it |
| 2024-10-30 10:09:44 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-30 10:12:02 +0100 | <Inst> | i mean, unless i'm wrong about Set, i'm going to stop kicking the tires, I don't think much of containers |
| 2024-10-30 10:13:11 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-30 10:15:38 +0100 | <tomsmeding> | that is possible |
| 2024-10-30 10:15:41 +0100 | <tomsmeding> | why is that a problem? |
| 2024-10-30 10:16:25 +0100 | <tomsmeding> | you can fully consistently create a one-element set and then request a list of all elements in the set in increasing order |
| 2024-10-30 10:16:27 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-30 10:16:44 +0100 | <tomsmeding> | not sure what's wrong with that |
| 2024-10-30 10:16:49 +0100 | <tomsmeding> | though it's not terribly useful |
| 2024-10-30 10:17:07 +0100 | <Inst> | thanks for showing i'm probably wrong about Set being weird |
| 2024-10-30 10:17:38 +0100 | <tomsmeding> | the type class system ensures that if you ask for an Ord a dictionary, then you'll always get the same one |
| 2024-10-30 10:17:53 +0100 | <tomsmeding> | so Set doesn't need to "save" the dictionary somehow when creating a new set, it can just request it whenever it needs it |
| 2024-10-30 10:18:15 +0100 | <tomsmeding> | and you can create a singleton set without needing the dictionary, so why ask for it? |
| 2024-10-30 10:23:53 +0100 | <Inst> | so it's a performance optimization |
| 2024-10-30 10:24:01 +0100 | preflex | (~preflex@user/preflex) preflex |
| 2024-10-30 10:24:11 +0100 | <Inst> | is Set generally (not always) more performant than list, given that it's an ordered size-balanced binary tree? |
| 2024-10-30 10:24:25 +0100 | <tomsmeding> | for what operations? |
| 2024-10-30 10:24:30 +0100 | AlexNoo | (~AlexNoo@178.34.150.252) |
| 2024-10-30 10:24:37 +0100 | AlexZenon | (~alzenon@178.34.150.252) |
| 2024-10-30 10:24:39 +0100 | <tomsmeding> | some things are faster for Set, some things are slower |