| 2024-10-30 00:00:04 +0000 | random-jellyfish | (~developer@user/random-jellyfish) (Quit: Leaving) |
| 2024-10-30 00:00:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 00:02:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-30 00:04:48 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-10-30 00:05:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-30 00:05:48 +0000 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-10-30 00:08:15 +0000 | AlexNoo | (~AlexNoo@178.34.150.252) (Read error: Connection reset by peer) |
| 2024-10-30 00:08:23 +0000 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-30 00:08:26 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-30 00:08:37 +0000 | AlexNoo | (~AlexNoo@178.34.150.252) |
| 2024-10-30 00:12:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 00:14:12 +0000 | Me-me | (~me-me@kc.randomserver.name) (Read error: Connection reset by peer) |
| 2024-10-30 00:14:19 +0000 | Wstfgl0 | (~me-me@kc.randomserver.name) |
| 2024-10-30 00:14:20 +0000 | Wstfgl0 | Me-me |
| 2024-10-30 00:15:49 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 00:18:59 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2024-10-30 00:20:20 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-30 00:20:23 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-30 00:20:24 +0000 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2024-10-30 00:20:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-30 00:21:28 +0000 | xff0x | (~xff0x@2405:6580:b080:900:dd4:7391:684:d55b) (Ping timeout: 244 seconds) |
| 2024-10-30 00:25:39 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-10-30 00:29:29 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-10-30 00:31:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 00:33:37 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-30 00:34:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 00:34:57 +0000 | sadmax | (~user@64.130.91.66) (Ping timeout: 248 seconds) |
| 2024-10-30 00:38:26 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-30 00:38:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 00:40:55 +0000 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 264 seconds) |
| 2024-10-30 00:41:38 +0000 | Lears | Leary |
| 2024-10-30 00:41:59 +0000 | _________ | (~nobody@user/noodly) (Ping timeout: 255 seconds) |
| 2024-10-30 00:42:13 +0000 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2024-10-30 00:43:52 +0000 | _________ | (~nobody@user/noodly) _________ |
| 2024-10-30 00:47:23 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-30 00:48:07 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 00:51:46 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 00:52:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 00:53:54 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-10-30 00:54:13 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 00:56:18 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-30 00:56:35 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-30 01:03:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 01:05:50 +0000 | rselim | (ce261f06ff@user/milesrout) (Ping timeout: 260 seconds) |
| 2024-10-30 01:05:50 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Ping timeout: 260 seconds) |
| 2024-10-30 01:05:50 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 260 seconds) |
| 2024-10-30 01:05:50 +0000 | lucyy | (228ee8f0ce@user/lucyy) (Ping timeout: 260 seconds) |
| 2024-10-30 01:05:50 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Ping timeout: 260 seconds) |
| 2024-10-30 01:06:25 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) (Ping timeout: 260 seconds) |
| 2024-10-30 01:06:25 +0000 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 260 seconds) |
| 2024-10-30 01:06:25 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 260 seconds) |
| 2024-10-30 01:06:59 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 260 seconds) |
| 2024-10-30 01:07:29 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-10-30 01:07:29 +0000 | lucyy | (228ee8f0ce@user/lucyy) lucyy |
| 2024-10-30 01:07:30 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) jeso |
| 2024-10-30 01:07:30 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2024-10-30 01:08:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-30 01:09:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 01:09:47 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
| 2024-10-30 01:09:47 +0000 | jkoshy | (99b9359beb@user/jkoshy) jkoshy |
| 2024-10-30 01:09:48 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2024-10-30 01:09:48 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2024-10-30 01:09:49 +0000 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2024-10-30 01:16:25 +0000 | xff0x | (~xff0x@182.169.73.28) |
| 2024-10-30 01:20:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 01:22:56 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-10-30 01:23:02 +0000 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2024-10-30 01:23:53 +0000 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-10-30 01:25:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 01:27:14 +0000 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 260 seconds) |
| 2024-10-30 01:29:07 +0000 | Inst_ | (~Inst@user/Inst) Inst |
| 2024-10-30 01:30:19 +0000 | jleightcap | (7bc4014b62@user/jleightcap) (Ping timeout: 260 seconds) |
| 2024-10-30 01:30:20 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 260 seconds) |
| 2024-10-30 01:30:20 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Ping timeout: 260 seconds) |
| 2024-10-30 01:30:20 +0000 | bwolf | (c3bc363dd1@2a03:6000:1812:100::180) (Ping timeout: 260 seconds) |
| 2024-10-30 01:30:20 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Ping timeout: 260 seconds) |
| 2024-10-30 01:30:20 +0000 | samhh_ | samhh |
| 2024-10-30 01:30:33 +0000 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) Natch |
| 2024-10-30 01:30:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-10-30 01:31:00 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2024-10-30 01:31:06 +0000 | Inst | (~Inst@user/Inst) (Ping timeout: 246 seconds) |
| 2024-10-30 01:31:21 +0000 | <Axman6> | @unmtl ExceptT e (StateT e IO) a |
| 2024-10-30 01:31:21 +0000 | <lambdabot> | e -> IO (Either e a, e) |
| 2024-10-30 01:31:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 01:31:28 +0000 | <Axman6> | @unmtl ExceptT e (StateT s IO) a |
| 2024-10-30 01:31:28 +0000 | <lambdabot> | s -> IO (Either e a, s) |
| 2024-10-30 01:31:41 +0000 | <Axman6> | @unmtl StateT s e (ExceptT e IO) a |
| 2024-10-30 01:31:41 +0000 | <lambdabot> | err: `s -> e (ExceptT e IO, s)' is not a type function. |
| 2024-10-30 01:31:54 +0000 | bwolf | (c3bc363dd1@2a03:6000:1812:100::180) bwolf |
| 2024-10-30 01:31:55 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) fvr |
| 2024-10-30 01:32:15 +0000 | <Axman6> | @unmtl StateT s (ExceptT e IO) a |
| 2024-10-30 01:32:15 +0000 | <lambdabot> | s -> IO (Either e (a, s)) |
| 2024-10-30 01:34:18 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers |
| 2024-10-30 01:34:19 +0000 | jleightcap | (7bc4014b62@user/jleightcap) jleightcap |
| 2024-10-30 01:35:15 +0000 | Inst_ | (~Inst@user/Inst) (Ping timeout: 265 seconds) |
| 2024-10-30 01:35:23 +0000 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 245 seconds) |
| 2024-10-30 01:35:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 01:36:15 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-30 01:38:57 +0000 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Ping timeout: 248 seconds) |
| 2024-10-30 01:40:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-30 01:44:13 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2024-10-30 01:51:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 01:52:07 +0000 | _________ | (~nobody@user/noodly) (Ping timeout: 252 seconds) |
| 2024-10-30 01:54:10 +0000 | _________ | (~nobody@user/noodly) _________ |
| 2024-10-30 01:55:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-30 01:59:33 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-30 02:02:47 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-10-30 02:03:07 +0000 | sadmax | (~user@64.130.91.66) |
| 2024-10-30 02:07:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 02:12:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 02:13:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 02:15:55 +0000 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2024-10-30 02:23:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 02:24:01 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2024-10-30 02:24:57 +0000 | byte_ | (~byte@149.28.222.189) |
| 2024-10-30 02:24:57 +0000 | mzg | (mzg@abusers.hu) (Ping timeout: 244 seconds) |
| 2024-10-30 02:25:10 +0000 | mzg | (~mzg@abusers.hu) |
| 2024-10-30 02:25:15 +0000 | zlqrvx_ | (~zlqrvx@101.175.150.247) (Quit: %quit%) |
| 2024-10-30 02:25:15 +0000 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2024-10-30 02:25:33 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2024-10-30 02:26:00 +0000 | _________ | (~nobody@user/noodly) (Ping timeout: 265 seconds) |
| 2024-10-30 02:26:00 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 265 seconds) |
| 2024-10-30 02:26:51 +0000 | _________ | (~nobody@user/noodly) _________ |
| 2024-10-30 02:28:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-30 02:29:23 +0000 | byte | (~byte@149.28.222.189) (Ping timeout: 265 seconds) |
| 2024-10-30 02:29:51 +0000 | byte_ | byte |
| 2024-10-30 02:30:17 +0000 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2024-10-30 02:38:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 02:41:57 +0000 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 265 seconds) |
| 2024-10-30 02:43:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-30 02:51:01 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2024-10-30 02:53:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 02:54:08 +0000 | Inst | (~Inst@user/Inst) Inst |
| 2024-10-30 02:58:55 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-10-30 02:59:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-30 03:06:08 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-10-30 03:09:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 03:14:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 03:23:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-10-30 03:24:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 03:29:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-30 03:40:07 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 03:42:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 03:42:14 +0000 | terrorjack4 | (~terrorjac@static.48.15.202.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-30 03:42:47 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-10-30 03:43:39 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-10-30 03:43:56 +0000 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) terrorjack |
| 2024-10-30 03:46:43 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-30 03:46:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 03:58:11 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 03:59:47 +0000 | td_ | (~td@i5387091D.versanet.de) (Ping timeout: 265 seconds) |
| 2024-10-30 04:01:32 +0000 | td_ | (~td@i5387091D.versanet.de) td_ |
| 2024-10-30 04:02:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 04:06:17 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-30 04:12:51 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-10-30 04:13:26 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-10-30 04:13:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 04:14:53 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-10-30 04:18:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 04:25:56 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-10-30 04:26:12 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-10-30 04:28:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 04:33:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-30 04:39:23 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-30 04:44:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 04:48:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-30 04:57:07 +0000 | notzmv | (~daniel@user/notzmv) (Read error: Connection reset by peer) |
| 2024-10-30 04:59:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 05:01:39 +0000 | Inst_ | (~Inst@user/Inst) Inst |
| 2024-10-30 05:04:21 +0000 | Inst | (~Inst@user/Inst) (Ping timeout: 276 seconds) |
| 2024-10-30 05:05:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-30 05:06:24 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-30 05:07:37 +0000 | Inst_ | Inst |
| 2024-10-30 05:07:41 +0000 | <Inst> | thsi is actually pretty great |
| 2024-10-30 05:07:42 +0000 | <Inst> | https://www.schoolofhaskell.com/user/snoyberg/random-code-snippets/set-is-not-a-functor |
| 2024-10-30 05:07:51 +0000 | <Inst> | simplest and easiest explanation for why Set cannot be a functor |
| 2024-10-30 05:13:10 +0000 | <monochrom> | No, it is a strawman argument with doofus Eq and Ord instances. |
| 2024-10-30 05:13:46 +0000 | <monochrom> | simplest and easiest example why I disregard snoyberg arguments. |
| 2024-10-30 05:13:59 +0000 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-10-30 05:16:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 05:17:20 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-30 05:21:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 05:25:23 +0000 | monochrom | (trebla@216.138.220.146) |
| 2024-10-30 05:29:55 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-10-30 05:30:01 +0000 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-30 05:30:48 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2024-10-30 05:31:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 05:33:17 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-10-30 05:36:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 05:40:19 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-10-30 05:47:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 05:49:03 +0000 | <mauke> | monochrom: why strawman? |
| 2024-10-30 05:51:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 05:54:11 +0000 | <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 05:59:41 +0000 | EarlPitts | (~EarlPitts@20014C4C1C6E670035C3E8C179579344.catv.pool.telekom.hu) |
| 2024-10-30 06:02:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 06:05:44 +0000 | <jackdk> | And even then it only proves that non-equivalence in the presence of pathological^Wdoofus `Eq`/`Ord` instances |
| 2024-10-30 06:06:26 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-10-30 06:07:01 +0000 | michalz | (~michalz@185.246.207.201) |
| 2024-10-30 06:07:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-30 06:08:05 +0000 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2024-10-30 06:09:50 +0000 | <mauke> | that's like saying all primes are odd because the counterexample of 2 is "doofus" |
| 2024-10-30 06:10:27 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 06:11:09 +0000 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2024-10-30 06:12:26 +0000 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) ubert |
| 2024-10-30 06:15:22 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-10-30 06:15:49 +0000 | euleritian | (~euleritia@dynamic-176-006-131-000.176.6.pool.telefonica.de) |
| 2024-10-30 06:18:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 06:24:45 +0000 | kenran | (~user@user/kenran) kenran |
| 2024-10-30 06:25:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-30 06:29:34 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-30 06:30:15 +0000 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-30 06:35:36 +0000 | alphazone_ | (~alphazone@2.219.56.221) (Ping timeout: 246 seconds) |
| 2024-10-30 06:36:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 06:37:57 +0000 | <jackdk> | Nah all primes are odd once you correct for measurement error |
| 2024-10-30 06:40:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-30 06:43:52 +0000 | ell | (~ellie@user/ellie) (Read error: Connection reset by peer) |
| 2024-10-30 06:44:01 +0000 | ell2 | (~ellie@user/ellie) ellie |
| 2024-10-30 06:44:19 +0000 | alioguzhan | (~Thunderbi@78.173.91.30) (Ping timeout: 244 seconds) |
| 2024-10-30 06:48:18 +0000 | <Leary> | The instances are lawful if the contents of the newtype cannot be inspected, otherwise they're just awful. |
| 2024-10-30 06:50:05 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-30 06:51:24 +0000 | alphabitserial | (~alphabits@user/alphabitserial) alphabitserial |
| 2024-10-30 06:51:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 06:51:51 +0000 | EarlPitts | (~EarlPitts@20014C4C1C6E670035C3E8C179579344.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-10-30 06:54:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-30 06:56:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 07:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-30 07:00:38 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-30 07:02:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 07:02:20 +0000 | Digitteknohippie | Digit |
| 2024-10-30 07:03:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-30 07:06:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-30 07:07:24 +0000 | alphabitserial | (~alphabits@user/alphabitserial) (Quit: alphabitserial) |
| 2024-10-30 07:17:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 07:20:14 +0000 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 2024-10-30 07:22:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 07:26:30 +0000 | preflex | (~preflex@schedar.uberspace.de) |
| 2024-10-30 07:27:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-30 07:33:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 07:37:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 07:42:18 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:467d:3e5f:31ca:9a0a) (Ping timeout: 276 seconds) |
| 2024-10-30 07:43:24 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-10-30 07:43:44 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-30 07:45:47 +0000 | jle` | (~jle`@syn-023-240-075-236.res.spectrum.com) jle` |
| 2024-10-30 07:48:23 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 07:48:24 +0000 | Square2 | (~Square4@user/square) Square |
| 2024-10-30 07:48:40 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-10-30 07:49:09 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-10-30 07:49:12 +0000 | alphabitserial | (~alphabits@user/alphabitserial) alphabitserial |
| 2024-10-30 07:52:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-30 07:57:10 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-10-30 08:03:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 08:07:04 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f52e45246a7ea38e27a.dip0.t-ipconnect.de) acidjnk |
| 2024-10-30 08:08:31 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-10-30 08:08:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 08:08:50 +0000 | CiaoSen | (~Jura@2a05:5800:481:1f00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-30 08:11:14 +0000 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-30 08:11:44 +0000 | alp | (~alp@2001:861:e3d6:8f80:1380:9a94:518c:2b43) |
| 2024-10-30 08:12:07 +0000 | preflex | (~preflex@schedar.uberspace.de) (Remote host closed the connection) |
| 2024-10-30 08:12:15 +0000 | preflex | (~preflex@schedar.uberspace.de) |
| 2024-10-30 08:20:00 +0000 | euleritian | (~euleritia@dynamic-176-006-131-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-30 08:20:18 +0000 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) |
| 2024-10-30 08:33:42 +0000 | <Inst> | jackdk: isn't that more about implementation details? |
| 2024-10-30 08:34:04 +0000 | <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 08:35:37 +0000 | <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 08:37:37 +0000 | <Inst> | cool, Set exports its constructors so Set is technically broken |
| 2024-10-30 08:38:32 +0000 | <Inst> | also, the reason I showed up this time was to ask |
| 2024-10-30 08:38:55 +0000 | <Inst> | is it true to say that, ignoring laziness, Haskell has no implicit state? |
| 2024-10-30 08:39:22 +0000 | <Inst> | i.e, all state is explicit and is notated in the type system (IO / State / Reader ... etc) |
| 2024-10-30 08:45:52 +0000 | ph88 | (~ph88@2a02:8109:9e26:c800:3808:5ad1:785a:e722) ph88 |
| 2024-10-30 08:46:24 +0000 | <ph88> | Could any type wizards have a look at this code? https://play.haskell.org/saved/io5gf3oy |
| 2024-10-30 08:50:32 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-30 08:53:15 +0000 | <Inst> | hmmm, weird, Set(..) should import all the constructors |
| 2024-10-30 08:55:15 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-30 08:56:29 +0000 | <tomsmeding> | ph88: https://play.haskell.org/saved/gbALp3A0 |
| 2024-10-30 08:57:37 +0000 | <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 08:58:16 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-30 08:58:20 +0000 | <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 08:59:04 +0000 | <tomsmeding> | (indeed, a bang pattern is insufficient, you really need a case) |
| 2024-10-30 08:59:15 +0000 | <tomsmeding> | something to do with scoping of existential type variables, probably |
| 2024-10-30 09:01:24 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-30 09:03:31 +0000 | <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 09:05:35 +0000 | <Inst> | ah, I misread the CPP, Set only exports the type if it's not ni Testing, so it's opaque |
| 2024-10-30 09:05:45 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2024-10-30 09:05:47 +0000 | <tomsmeding> | Inst: looking at the haddocks is easier :p |
| 2024-10-30 09:05:56 +0000 | <tomsmeding> | the constructors are only exposed from the .Internal module, which seems fine |
| 2024-10-30 09:06:32 +0000 | alphazone | (~alphazone@2.219.56.221) |
| 2024-10-30 09:06:41 +0000 | AlexZenon | (~alzenon@178.34.150.252) (Quit: ;-) |
| 2024-10-30 09:07:24 +0000 | AlexNoo | (~AlexNoo@178.34.150.252) (Quit: Leaving) |
| 2024-10-30 09:08:31 +0000 | <Inst> | what's going on with Set, anyways? |
| 2024-10-30 09:08:56 +0000 | preflex | (~preflex@schedar.uberspace.de) (Remote host closed the connection) |
| 2024-10-30 09:09:03 +0000 | <Inst> | empty :: Set a; i.e, without constraint |
| 2024-10-30 09:09:30 +0000 | <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 09:09:44 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-30 09:12:02 +0000 | <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 09:13:11 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-30 09:15:38 +0000 | <tomsmeding> | that is possible |
| 2024-10-30 09:15:41 +0000 | <tomsmeding> | why is that a problem? |
| 2024-10-30 09:16:25 +0000 | <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 09:16:27 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-30 09:16:44 +0000 | <tomsmeding> | not sure what's wrong with that |
| 2024-10-30 09:16:49 +0000 | <tomsmeding> | though it's not terribly useful |
| 2024-10-30 09:17:07 +0000 | <Inst> | thanks for showing i'm probably wrong about Set being weird |
| 2024-10-30 09:17:38 +0000 | <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 09:17:53 +0000 | <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 09:18:15 +0000 | <tomsmeding> | and you can create a singleton set without needing the dictionary, so why ask for it? |
| 2024-10-30 09:23:53 +0000 | <Inst> | so it's a performance optimization |
| 2024-10-30 09:24:01 +0000 | preflex | (~preflex@user/preflex) preflex |
| 2024-10-30 09:24:11 +0000 | <Inst> | is Set generally (not always) more performant than list, given that it's an ordered size-balanced binary tree? |
| 2024-10-30 09:24:25 +0000 | <tomsmeding> | for what operations? |
| 2024-10-30 09:24:30 +0000 | AlexNoo | (~AlexNoo@178.34.150.252) |
| 2024-10-30 09:24:37 +0000 | AlexZenon | (~alzenon@178.34.150.252) |
| 2024-10-30 09:24:39 +0000 | <tomsmeding> | some things are faster for Set, some things are slower |
| 2024-10-30 09:25:23 +0000 | <mauke> | preflex: quote |
| 2024-10-30 09:25:23 +0000 | <preflex> | <bos> i'm very pleased by the recent progress of the C++ standard. it's gradually eroding the performance advantage of C++ compilers over GHC, without the simons having to do anything. |
| 2024-10-30 09:25:29 +0000 | <mauke> | cool, so that's working again |
| 2024-10-30 09:25:47 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2024-10-30 09:26:01 +0000 | <Inst> | (remember back when people were bragging that GHC was 80% of C++ performance? ;_;) |
| 2024-10-30 09:27:23 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-30 09:28:37 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-30 09:30:01 +0000 | <tomsmeding> | c++ _compilers_, or the code _generated_ by c++ compilers? |
| 2024-10-30 09:31:56 +0000 | <merijn> | ooh, I just joined at the right time for some pedantic opinions :> |
| 2024-10-30 09:32:09 +0000 | <merijn> | What are we praising/criticising about C++? ;) |
| 2024-10-30 09:33:00 +0000 | <tomsmeding> | https://ircbrowse.tomsmeding.com/browse/lchaskell?id=1391621#trid1391621 |
| 2024-10-30 09:33:23 +0000 | <tomsmeding> | sorry, not much depth here :p |
| 2024-10-30 09:33:26 +0000 | <tomsmeding> | also /me afk |
| 2024-10-30 09:33:33 +0000 | <mauke> | c++ compilers :-) |
| 2024-10-30 09:34:07 +0000 | <merijn> | I mean, C++ compilers were never that far ahead of GHC in terms of compilation times anyway >.> |
| 2024-10-30 09:34:07 +0000 | <mauke> | preflex: seen merijn |
| 2024-10-30 09:34:07 +0000 | <preflex> | merijn was last seen on #haskell 0 seconds ago, saying: I mean, C++ compilers were never that far ahead of GHC in terms of compilation times anyway >.> |
| 2024-10-30 09:34:16 +0000 | <mauke> | good, good |
| 2024-10-30 09:34:21 +0000 | <merijn> | :O |
| 2024-10-30 09:34:49 +0000 | <merijn> | This is like seeing a corpse come back to live |
| 2024-10-30 09:34:54 +0000 | merijn | pats preflex |
| 2024-10-30 09:35:39 +0000 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-10-30 09:36:24 +0000 | euleritian | (~euleritia@dynamic-176-006-131-000.176.6.pool.telefonica.de) |
| 2024-10-30 09:36:49 +0000 | <mauke> | preflex: calc 2 ( + 3 |
| 2024-10-30 09:36:49 +0000 | <preflex> | 5 |
| 2024-10-30 09:38:15 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-10-30 09:39:07 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-10-30 09:42:14 +0000 | rvalue- | rvalue |
| 2024-10-30 09:43:25 +0000 | xff0x | (~xff0x@182.169.73.28) (Ping timeout: 265 seconds) |
| 2024-10-30 09:44:14 +0000 | preflex | (~preflex@user/preflex) (Remote host closed the connection) |
| 2024-10-30 09:44:16 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Remote host closed the connection) |
| 2024-10-30 09:44:23 +0000 | preflex | (~preflex@user/preflex) preflex |
| 2024-10-30 09:44:26 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Read error: Connection reset by peer) |
| 2024-10-30 09:44:26 +0000 | duncan | (c6181279e3@user/meow/duncan) (Read error: Connection reset by peer) |
| 2024-10-30 09:44:26 +0000 | samhh_ | samhh |
| 2024-10-30 09:44:27 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Read error: Connection reset by peer) |
| 2024-10-30 09:44:27 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Read error: Connection reset by peer) |
| 2024-10-30 09:44:28 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-30 09:44:31 +0000 | rselim | (ce261f06ff@user/milesrout) (Read error: Connection reset by peer) |
| 2024-10-30 09:44:34 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
| 2024-10-30 09:44:34 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Read error: Connection reset by peer) |
| 2024-10-30 09:44:34 +0000 | lucyy | (228ee8f0ce@user/lucyy) (Read error: Connection reset by peer) |
| 2024-10-30 09:44:34 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) (Read error: Connection reset by peer) |
| 2024-10-30 09:44:34 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Read error: Connection reset by peer) |
| 2024-10-30 09:44:34 +0000 | sus | (1b7af6299f@user/zeromomentum) (Read error: Connection reset by peer) |
| 2024-10-30 09:44:34 +0000 | sm2n | (ae95cb1267@user/sm2n) (Read error: Connection reset by peer) |
| 2024-10-30 09:44:34 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) (Read error: Connection reset by peer) |
| 2024-10-30 09:44:35 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) jeso |
| 2024-10-30 09:44:35 +0000 | jkoshy | (99b9359beb@user/jkoshy) (Read error: Connection reset by peer) |
| 2024-10-30 09:44:35 +0000 | probie | (cc0b34050a@user/probie) (Read error: Connection reset by peer) |
| 2024-10-30 09:44:36 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) (Read error: Connection reset by peer) |
| 2024-10-30 09:44:40 +0000 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2024-10-30 09:44:42 +0000 | sus_ | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2024-10-30 09:44:42 +0000 | fn_lumi_ | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2024-10-30 09:44:43 +0000 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2024-10-30 09:44:43 +0000 | jkoshy | (99b9359beb@user/jkoshy) jkoshy |
| 2024-10-30 09:44:43 +0000 | lucyy | (228ee8f0ce@user/lucyy) lucyy |
| 2024-10-30 09:44:43 +0000 | JoelMcCracken_ | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2024-10-30 09:44:43 +0000 | sm2n_ | (ae95cb1267@user/sm2n) sm2n |
| 2024-10-30 09:44:44 +0000 | cpli_ | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2024-10-30 09:44:44 +0000 | lane_ | (809450f172@2a03:6000:1812:100::1300) |
| 2024-10-30 09:44:44 +0000 | probie | (cc0b34050a@user/probie) probie |
| 2024-10-30 09:44:48 +0000 | sus_ | sus |
| 2024-10-30 09:44:58 +0000 | fn_lumi_ | fn_lumi |
| 2024-10-30 09:45:30 +0000 | JoelMcCracken_ | JoelMcCracken |
| 2024-10-30 09:46:12 +0000 | jmcantrell_ | jmcantrell |
| 2024-10-30 09:46:22 +0000 | cpli_ | cpli |
| 2024-10-30 09:47:54 +0000 | sm2n_ | sm2n |
| 2024-10-30 09:53:42 +0000 | myme | (~myme@2a01:799:d5c:5f00:e607:4386:5207:22da) (Ping timeout: 246 seconds) |
| 2024-10-30 09:54:56 +0000 | myme | (~myme@2a01:799:d5c:5f00:9bb9:600b:e984:ed63) myme |
| 2024-10-30 09:56:59 +0000 | <ph88> | tomsmeding, thanks that fixed it for me! How did you know about this solution? And how did you know this was the problem? |
| 2024-10-30 09:57:03 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Ping timeout: 245 seconds) |
| 2024-10-30 09:57:12 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 246 seconds) |
| 2024-10-30 09:57:12 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Ping timeout: 246 seconds) |
| 2024-10-30 09:57:15 +0000 | probie | (cc0b34050a@user/probie) (Ping timeout: 260 seconds) |
| 2024-10-30 09:57:15 +0000 | rselim | (ce261f06ff@user/milesrout) (Ping timeout: 260 seconds) |
| 2024-10-30 09:57:41 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Ping timeout: 272 seconds) |
| 2024-10-30 09:57:42 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Ping timeout: 252 seconds) |
| 2024-10-30 09:57:43 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 264 seconds) |
| 2024-10-30 09:57:43 +0000 | sm2n | (ae95cb1267@user/sm2n) (Ping timeout: 264 seconds) |
| 2024-10-30 09:57:43 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 264 seconds) |
| 2024-10-30 09:57:43 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Ping timeout: 264 seconds) |
| 2024-10-30 09:57:50 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) (Ping timeout: 260 seconds) |
| 2024-10-30 09:57:50 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2024-10-30 09:57:54 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Ping timeout: 246 seconds) |
| 2024-10-30 09:57:54 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Ping timeout: 246 seconds) |
| 2024-10-30 09:57:54 +0000 | titibandit | (e33ffbab65@user/titibandit) (Ping timeout: 246 seconds) |
| 2024-10-30 09:58:04 +0000 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) (Ping timeout: 244 seconds) |
| 2024-10-30 09:58:15 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 246 seconds) |
| 2024-10-30 09:58:15 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 246 seconds) |
| 2024-10-30 09:58:18 +0000 | smiesner | (b0cf5acf8c@user/smiesner) (Ping timeout: 272 seconds) |
| 2024-10-30 09:58:18 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 272 seconds) |
| 2024-10-30 09:58:19 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Ping timeout: 245 seconds) |
| 2024-10-30 09:58:22 +0000 | <tomsmeding> | mauke: what is... that syntax? |
| 2024-10-30 09:58:25 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 260 seconds) |
| 2024-10-30 09:58:25 +0000 | bwolf | (c3bc363dd1@2a03:6000:1812:100::180) (Ping timeout: 260 seconds) |
| 2024-10-30 09:58:36 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Ping timeout: 246 seconds) |
| 2024-10-30 09:58:53 +0000 | <tomsmeding> | ph88: I guess having run into this problem head-first, somehow figured out how to solve it, and then having had to use this solution about 300x times since? |
| 2024-10-30 09:58:55 +0000 | <tomsmeding> | :p |
| 2024-10-30 09:58:55 +0000 | lane_ | (809450f172@2a03:6000:1812:100::1300) (Ping timeout: 264 seconds) |
| 2024-10-30 09:58:55 +0000 | sus | (1b7af6299f@user/zeromomentum) (Ping timeout: 264 seconds) |
| 2024-10-30 09:58:56 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Ping timeout: 272 seconds) |
| 2024-10-30 09:58:56 +0000 | tok | (da65c7b04b@user/tok) (Ping timeout: 272 seconds) |
| 2024-10-30 09:58:56 +0000 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (Ping timeout: 272 seconds) |
| 2024-10-30 09:58:57 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Ping timeout: 246 seconds) |
| 2024-10-30 09:59:00 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 260 seconds) |
| 2024-10-30 09:59:00 +0000 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 260 seconds) |
| 2024-10-30 09:59:00 +0000 | lucyy | (228ee8f0ce@user/lucyy) (Ping timeout: 260 seconds) |
| 2024-10-30 09:59:00 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Ping timeout: 260 seconds) |
| 2024-10-30 09:59:00 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 260 seconds) |
| 2024-10-30 09:59:00 +0000 | jleightcap | (7bc4014b62@user/jleightcap) (Ping timeout: 260 seconds) |
| 2024-10-30 09:59:07 +0000 | euleritian | (~euleritia@dynamic-176-006-131-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-30 09:59:13 +0000 | <tomsmeding> | I very disproportionally write heavily typed code so this comes up rather often |
| 2024-10-30 09:59:26 +0000 | <tomsmeding> | preflex: calc 2 + ( 3 |
| 2024-10-30 09:59:26 +0000 | <preflex> | 5 |
| 2024-10-30 09:59:34 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Ping timeout: 272 seconds) |
| 2024-10-30 09:59:34 +0000 | jakzale | (6291399afa@user/jakzale) (Ping timeout: 272 seconds) |
| 2024-10-30 09:59:34 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Ping timeout: 272 seconds) |
| 2024-10-30 09:59:36 +0000 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) |
| 2024-10-30 09:59:37 +0000 | <tomsmeding> | preflex: calc 2 * (3 + 4) |
| 2024-10-30 09:59:37 +0000 | <preflex> | 14 |
| 2024-10-30 09:59:43 +0000 | <tomsmeding> | preflex: calc 2 * 3) + 4 |
| 2024-10-30 09:59:43 +0000 | <preflex> | 10 |
| 2024-10-30 09:59:53 +0000 | <tomsmeding> | unused parentheses are just... unused? |
| 2024-10-30 09:59:57 +0000 | <tomsmeding> | preflex: calc 2 * (3 + 4 |
| 2024-10-30 09:59:57 +0000 | <preflex> | 14 |
| 2024-10-30 10:00:06 +0000 | <tomsmeding> | preflex: calc 3 + 4) * 2 |
| 2024-10-30 10:00:06 +0000 | <preflex> | 14 |
| 2024-10-30 10:00:08 +0000 | <tomsmeding> | :o |
| 2024-10-30 10:00:12 +0000 | <tomsmeding> | interesting |
| 2024-10-30 10:01:08 +0000 | <ph88> | tomsmeding, genius :D |
| 2024-10-30 10:01:12 +0000 | <mauke> | enhanced infix notation |
| 2024-10-30 10:01:18 +0000 | <tomsmeding> | ph88: if you read the error closely, it also has a hint about what's happening. It says "type variable `a1' would escape its scope", and that the variable is bound my MkEntity |
| 2024-10-30 10:01:30 +0000 | <tomsmeding> | so apparently that a1 referes to the 'a' in MkEntity's signature |
| 2024-10-30 10:01:34 +0000 | <tomsmeding> | *refers |
| 2024-10-30 10:01:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 10:01:45 +0000 | <tomsmeding> | so what does it mean that 'a' _escapes its scope_? |
| 2024-10-30 10:02:15 +0000 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) fgaz |
| 2024-10-30 10:02:24 +0000 | <tomsmeding> | this has to do with how haskell treats existential types; if you have an existential type variable, then such a thing is _scoped_: it's introduced by some scoping construct (a function argument, case, lambda, etc.), and has some unknown yet rigid meaning inside of that scope |
| 2024-10-30 10:02:35 +0000 | <ph88> | i had a feeling about scoping. Though i didn't realize it was because of the let-binding and a case would fix that. Is there any documentation to read about let-bindings and scoping issue? |
| 2024-10-30 10:02:37 +0000 | <tomsmeding> | and to preserve soundness, the external type of that construct cannot mention the existential type variable |
| 2024-10-30 10:02:50 +0000 | <tomsmeding> | 'let' doesn't make a suitable scope |
| 2024-10-30 10:03:25 +0000 | <ph88> | you mentioned before that the let binding is lazy, thus not creating the suitable scope ? |
| 2024-10-30 10:03:46 +0000 | <tomsmeding> | ph88: dunno, but this paper is related (it presents a generalisation to Haskell's type system that does allow more flexible existentials) and it's sure to include an explanation of the status quo :p https://dl.acm.org/doi/pdf/10.1145/3473569 |
| 2024-10-30 10:03:50 +0000 | <tomsmeding> | (I read this a few years ago) |
| 2024-10-30 10:03:58 +0000 | <tomsmeding> | ph88: yes, I think that's what's happening |
| 2024-10-30 10:05:03 +0000 | <mauke> | preflex: calc 2 3 *)+ 4 |
| 2024-10-30 10:05:03 +0000 | <preflex> | 10 |
| 2024-10-30 10:05:45 +0000 | <tomsmeding> | ph88: hm, seems the paper doesn't really explain the status quo |
| 2024-10-30 10:06:24 +0000 | <tomsmeding> | but there are bits and pieces here and there |
| 2024-10-30 10:06:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-30 10:06:34 +0000 | ph88^ | (~ph88@2a02:8109:9e26:c800:ed53:7d07:6030:570a) |
| 2024-10-30 10:06:38 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) PapuaHardyNet |
| 2024-10-30 10:07:39 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) fvr |
| 2024-10-30 10:07:39 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) lane |
| 2024-10-30 10:07:41 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) ursa-major |
| 2024-10-30 10:07:43 +0000 | titibandit | (e33ffbab65@user/titibandit) titibandit |
| 2024-10-30 10:07:43 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2024-10-30 10:07:44 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) aniketd |
| 2024-10-30 10:07:45 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers |
| 2024-10-30 10:07:49 +0000 | smiesner | (b0cf5acf8c@user/smiesner) smiesner |
| 2024-10-30 10:07:49 +0000 | jkoshy | (99b9359beb@user/jkoshy) jkoshy |
| 2024-10-30 10:07:50 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-10-30 10:07:52 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) chaitlatte0 |
| 2024-10-30 10:07:52 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) evanrelf |
| 2024-10-30 10:07:53 +0000 | jakzale | (6291399afa@user/jakzale) jakzale |
| 2024-10-30 10:07:56 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) whereiseveryone |
| 2024-10-30 10:08:06 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2024-10-30 10:08:09 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2024-10-30 10:08:11 +0000 | jleightcap | (7bc4014b62@user/jleightcap) jleightcap |
| 2024-10-30 10:08:13 +0000 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) ubert |
| 2024-10-30 10:08:18 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-10-30 10:08:19 +0000 | <tomsmeding> | ph88: second bullet point here https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/existential_quantification.html#res… |
| 2024-10-30 10:08:21 +0000 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2024-10-30 10:08:26 +0000 | bwolf | (c3bc363dd1@2a03:6000:1812:100::180) bwolf |
| 2024-10-30 10:08:27 +0000 | sus | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2024-10-30 10:08:33 +0000 | ph88 | (~ph88@2a02:8109:9e26:c800:3808:5ad1:785a:e722) (Ping timeout: 265 seconds) |
| 2024-10-30 10:08:47 +0000 | <tomsmeding> | apparently it's "otherwise the implementation gets even more complicated" :D |
| 2024-10-30 10:08:49 +0000 | <ph88^> | thanks! i'll see if i can understand it |
| 2024-10-30 10:11:08 +0000 | <tomsmeding> | lol, re the third bullet point: the fact that newtypes cannot be existential leads to this data type https://hackage.haskell.org/package/some-1.0.6/docs/Data-Some.html having a very evil implementation |
| 2024-10-30 10:11:10 +0000 | ph88 | (~ph88@2a02:8109:9e26:c800:c35a:a881:34b9:612a) ph88 |
| 2024-10-30 10:11:30 +0000 | <tomsmeding> | apparently this is not sufficient reason to lift the restricion :p |
| 2024-10-30 10:11:56 +0000 | <tomsmeding> | nice, this list is cool, I should have read it years ago |
| 2024-10-30 10:12:37 +0000 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-10-30 10:12:51 +0000 | <ph88> | You mean this list? https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/existential_quantification.html#res… |
| 2024-10-30 10:13:28 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
| 2024-10-30 10:13:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-30 10:14:21 +0000 | ph88^ | (~ph88@2a02:8109:9e26:c800:ed53:7d07:6030:570a) (Ping timeout: 265 seconds) |
| 2024-10-30 10:15:25 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2024-10-30 10:16:11 +0000 | duncan | (c6181279e3@user/meow/duncan) duncan |
| 2024-10-30 10:16:48 +0000 | <tomsmeding> | yes |
| 2024-10-30 10:17:05 +0000 | qaotsap | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 255 seconds) |
| 2024-10-30 10:17:41 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) jeso |
| 2024-10-30 10:17:59 +0000 | lucyy | (228ee8f0ce@user/lucyy) lucyy |
| 2024-10-30 10:17:59 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
| 2024-10-30 10:18:01 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2024-10-30 10:18:04 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2024-10-30 10:18:16 +0000 | tok | (da65c7b04b@user/tok) tok |
| 2024-10-30 10:18:38 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
| 2024-10-30 10:18:43 +0000 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) henrytill |
| 2024-10-30 10:18:48 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o |
| 2024-10-30 10:18:55 +0000 | sm2n | (ae95cb1267@user/sm2n) sm2n |
| 2024-10-30 10:18:58 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
| 2024-10-30 10:21:42 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2024-10-30 10:22:05 +0000 | chele | (~chele@user/chele) chele |
| 2024-10-30 10:28:45 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2024-10-30 10:29:04 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2024-10-30 10:29:07 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2024-10-30 10:33:08 +0000 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2024-10-30 10:33:55 +0000 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) ubert |
| 2024-10-30 10:39:00 +0000 | probie | (cc0b34050a@user/probie) probie |
| 2024-10-30 10:39:17 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) raghavgururajan |
| 2024-10-30 10:39:49 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2024-10-30 10:40:55 +0000 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2024-10-30 10:45:33 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-10-30 10:46:02 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-30 10:46:21 +0000 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) ubert |
| 2024-10-30 10:50:50 +0000 | <jackdk> | oh that's evil |
| 2024-10-30 10:55:20 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-30 11:01:04 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-30 11:03:05 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-30 11:09:05 +0000 | xff0x | (~xff0x@2405:6580:b080:900:adf3:98f8:7ac2:6549) |
| 2024-10-30 11:09:38 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Remote host closed the connection) |
| 2024-10-30 11:11:14 +0000 | <tomsmeding> | ph88: I wrote some text for the error message index so that you can find some of this wisdom there too :) https://github.com/haskellfoundation/error-message-index/pull/548 |
| 2024-10-30 11:13:39 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) manwithluck |
| 2024-10-30 11:15:05 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-30 11:15:23 +0000 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
| 2024-10-30 11:22:39 +0000 | Digitteknohippie | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-10-30 11:25:16 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 11:28:19 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Ping timeout: 245 seconds) |
| 2024-10-30 11:29:45 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-30 11:30:06 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) raghavgururajan |
| 2024-10-30 11:30:32 +0000 | <ph88> | nice ! |
| 2024-10-30 11:33:37 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-10-30 11:34:05 +0000 | <ph88> | tomsmeding, where is your pull going to show up? in the compiler error message or documentation? |
| 2024-10-30 11:35:14 +0000 | alioguzhan | (~Thunderbi@78.173.69.189) |
| 2024-10-30 11:37:30 +0000 | <tomsmeding> | ph88: here https://errors.haskell.org/messages/GHC-46956/ |
| 2024-10-30 11:37:47 +0000 | <tomsmeding> | from GHC 9.6 onwards the diagnostics include a [GHC-46956] marker |
| 2024-10-30 11:37:54 +0000 | <tomsmeding> | and in the playground that also links to the error index |
| 2024-10-30 11:38:19 +0000 | <tomsmeding> | (try compiling your paste in the playground with >=9.6 ;) ) |
| 2024-10-30 11:38:40 +0000 | michalz | (~michalz@185.246.207.201) (Read error: Connection reset by peer) |
| 2024-10-30 11:38:57 +0000 | michalz | (~michalz@185.246.207.201) |
| 2024-10-30 11:45:24 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Ping timeout: 245 seconds) |
| 2024-10-30 11:45:30 +0000 | probie | (cc0b34050a@user/probie) (Ping timeout: 252 seconds) |
| 2024-10-30 11:45:42 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) (Ping timeout: 246 seconds) |
| 2024-10-30 11:45:42 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 246 seconds) |
| 2024-10-30 11:45:54 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Ping timeout: 248 seconds) |
| 2024-10-30 11:45:58 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Ping timeout: 272 seconds) |
| 2024-10-30 11:45:58 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) (Ping timeout: 272 seconds) |
| 2024-10-30 11:46:03 +0000 | sm2n | (ae95cb1267@user/sm2n) (Ping timeout: 246 seconds) |
| 2024-10-30 11:46:03 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Ping timeout: 244 seconds) |
| 2024-10-30 11:46:03 +0000 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) (Ping timeout: 244 seconds) |
| 2024-10-30 11:46:04 +0000 | rselim | (ce261f06ff@user/milesrout) (Ping timeout: 246 seconds) |
| 2024-10-30 11:46:04 +0000 | jleightcap | (7bc4014b62@user/jleightcap) (Ping timeout: 246 seconds) |
| 2024-10-30 11:46:36 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Ping timeout: 272 seconds) |
| 2024-10-30 11:46:36 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Ping timeout: 272 seconds) |
| 2024-10-30 11:46:36 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 272 seconds) |
| 2024-10-30 11:46:37 +0000 | jakzale | (6291399afa@user/jakzale) (Ping timeout: 272 seconds) |
| 2024-10-30 11:46:37 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Ping timeout: 272 seconds) |
| 2024-10-30 11:46:37 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 272 seconds) |
| 2024-10-30 11:46:55 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 260 seconds) |
| 2024-10-30 11:46:55 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Ping timeout: 264 seconds) |
| 2024-10-30 11:46:55 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2024-10-30 11:47:05 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Ping timeout: 244 seconds) |
| 2024-10-30 11:47:06 +0000 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (Ping timeout: 246 seconds) |
| 2024-10-30 11:47:06 +0000 | lucyy | (228ee8f0ce@user/lucyy) (Ping timeout: 246 seconds) |
| 2024-10-30 11:47:07 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Ping timeout: 246 seconds) |
| 2024-10-30 11:47:07 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Ping timeout: 246 seconds) |
| 2024-10-30 11:47:07 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Ping timeout: 246 seconds) |
| 2024-10-30 11:47:07 +0000 | smiesner | (b0cf5acf8c@user/smiesner) (Ping timeout: 246 seconds) |
| 2024-10-30 11:47:07 +0000 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 246 seconds) |
| 2024-10-30 11:47:07 +0000 | titibandit | (e33ffbab65@user/titibandit) (Ping timeout: 246 seconds) |
| 2024-10-30 11:47:14 +0000 | tok | (da65c7b04b@user/tok) (Ping timeout: 272 seconds) |
| 2024-10-30 11:47:14 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Ping timeout: 272 seconds) |
| 2024-10-30 11:47:15 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 272 seconds) |
| 2024-10-30 11:47:15 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 272 seconds) |
| 2024-10-30 11:47:52 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Ping timeout: 272 seconds) |
| 2024-10-30 11:47:52 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 272 seconds) |
| 2024-10-30 11:47:52 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 272 seconds) |
| 2024-10-30 11:47:52 +0000 | duncan | (c6181279e3@user/meow/duncan) (Ping timeout: 272 seconds) |
| 2024-10-30 11:47:52 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 272 seconds) |
| 2024-10-30 11:47:52 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Ping timeout: 272 seconds) |
| 2024-10-30 11:53:15 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) PapuaHardyNet |
| 2024-10-30 11:53:45 +0000 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-10-30 11:54:18 +0000 | Guest77 | (~Guest77@2402:a00:401:f093:da9e:f3ff:fe4b:8a8b) |
| 2024-10-30 11:54:21 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) lane |
| 2024-10-30 11:54:21 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2024-10-30 11:54:21 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
| 2024-10-30 11:54:22 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-10-30 11:54:22 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) whereiseveryone |
| 2024-10-30 11:54:22 +0000 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) fgaz |
| 2024-10-30 11:54:22 +0000 | sus | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2024-10-30 11:54:22 +0000 | jkoshy | (99b9359beb@user/jkoshy) jkoshy |
| 2024-10-30 11:54:22 +0000 | smiesner | (b0cf5acf8c@user/smiesner) smiesner |
| 2024-10-30 11:54:22 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2024-10-30 11:54:22 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-10-30 11:54:22 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2024-10-30 11:54:23 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) jeso |
| 2024-10-30 11:54:23 +0000 | bwolf | (c3bc363dd1@2a03:6000:1812:100::180) bwolf |
| 2024-10-30 11:54:23 +0000 | lucyy | (228ee8f0ce@user/lucyy) lucyy |
| 2024-10-30 11:54:23 +0000 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) henrytill |
| 2024-10-30 11:54:23 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2024-10-30 11:54:24 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
| 2024-10-30 11:54:24 +0000 | duncan | (c6181279e3@user/meow/duncan) duncan |
| 2024-10-30 11:54:24 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) chaitlatte0 |
| 2024-10-30 11:54:24 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2024-10-30 11:54:24 +0000 | sm2n | (ae95cb1267@user/sm2n) sm2n |
| 2024-10-30 11:54:24 +0000 | jleightcap | (7bc4014b62@user/jleightcap) jleightcap |
| 2024-10-30 11:54:25 +0000 | titibandit | (e33ffbab65@user/titibandit) titibandit |
| 2024-10-30 11:54:25 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) aniketd |
| 2024-10-30 11:54:26 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) evanrelf |
| 2024-10-30 11:54:26 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2024-10-30 11:54:26 +0000 | probie | (cc0b34050a@user/probie) probie |
| 2024-10-30 11:54:26 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) raghavgururajan |
| 2024-10-30 11:54:26 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2024-10-30 11:54:28 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) fvr |
| 2024-10-30 11:54:28 +0000 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2024-10-30 11:54:28 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
| 2024-10-30 11:54:28 +0000 | tok | (da65c7b04b@user/tok) tok |
| 2024-10-30 11:54:28 +0000 | jakzale | (6291399afa@user/jakzale) jakzale |
| 2024-10-30 11:54:29 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2024-10-30 11:54:30 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers |
| 2024-10-30 11:54:30 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2024-10-30 11:54:30 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
| 2024-10-30 11:54:30 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o |
| 2024-10-30 11:54:35 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) ursa-major |
| 2024-10-30 11:54:36 +0000 | <Guest77> | asdf |
| 2024-10-30 11:56:02 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2024-10-30 11:57:51 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-30 12:03:07 +0000 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2024-10-30 12:03:31 +0000 | euleritian | (~euleritia@dynamic-176-006-141-129.176.6.pool.telefonica.de) |
| 2024-10-30 12:04:04 +0000 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-10-30 12:07:50 +0000 | euleritian | (~euleritia@dynamic-176-006-141-129.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-30 12:08:07 +0000 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) |
| 2024-10-30 12:08:18 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-10-30 12:13:53 +0000 | preflex | (~preflex@user/preflex) (Changing host) |
| 2024-10-30 12:13:53 +0000 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2024-10-30 12:17:37 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-30 12:27:34 +0000 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) ubert |
| 2024-10-30 12:53:33 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 12:54:04 +0000 | Digit | (~user@user/digit) Digit |
| 2024-10-30 12:56:57 +0000 | <Guest77> | hello, do we have something like haskell from scratch where they give you a quick guide about haskell overview and how to install it etc |
| 2024-10-30 12:58:10 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-10-30 12:58:52 +0000 | <Hecate> | Guest77: https://www.haskell.org/get-started/ ? |
| 2024-10-30 13:00:15 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 2024-10-30 13:01:04 +0000 | <Guest77> | Thank you buddy Hecate |
| 2024-10-30 13:01:14 +0000 | <Hecate> | 👍 |
| 2024-10-30 13:03:14 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f52e45246a7ea38e27a.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-10-30 13:03:57 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2024-10-30 13:05:50 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-30 13:05:51 +0000 | <ph88> | tomsmeding, great ! i made them clickable in my terminal too https://bpa.st/7KOIC |
| 2024-10-30 13:07:11 +0000 | <Leary> | ph88: Do you need something like that? They're magically clickable in my terminal and I didn't even do anything. |
| 2024-10-30 13:08:35 +0000 | <ph88> | Leary what terminal do you use ? |
| 2024-10-30 13:08:55 +0000 | <Leary> | kitty |
| 2024-10-30 13:12:19 +0000 | <ph88> | didn't work for me, i use alacritty |
| 2024-10-30 13:12:54 +0000 | Guest77 | (~Guest77@2402:a00:401:f093:da9e:f3ff:fe4b:8a8b) (Quit: Client closed) |
| 2024-10-30 13:13:29 +0000 | arkeet | (~arkeet@moriya.ca) (Ping timeout: 255 seconds) |
| 2024-10-30 13:13:56 +0000 | mantraofpie | (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
| 2024-10-30 13:14:19 +0000 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
| 2024-10-30 13:14:31 +0000 | CiaoSen | (~Jura@2a05:5800:481:1f00:ca4b:d6ff:fec1:99da) (Ping timeout: 264 seconds) |
| 2024-10-30 13:21:00 +0000 | ThePenguin8 | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2024-10-30 13:21:43 +0000 | lieven | (~mal@ns2.wyrd.be) (Ping timeout: 264 seconds) |
| 2024-10-30 13:21:46 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-10-30 13:22:11 +0000 | emergence | (emergence@vm0.max-p.me) (Ping timeout: 252 seconds) |
| 2024-10-30 13:22:14 +0000 | xacktm | (xacktm@user/xacktm) (Ping timeout: 272 seconds) |
| 2024-10-30 13:22:14 +0000 | aosync | (~alews@user/aws) (Ping timeout: 272 seconds) |
| 2024-10-30 13:22:14 +0000 | shane_ | (~shane@ana.rch.ist) (Ping timeout: 272 seconds) |
| 2024-10-30 13:22:19 +0000 | alp | (~alp@2001:861:e3d6:8f80:1380:9a94:518c:2b43) (Ping timeout: 264 seconds) |
| 2024-10-30 13:22:23 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-10-30 13:22:29 +0000 | chymera | (~chymera@ns1000526.ip-51-81-46.us) (Ping timeout: 248 seconds) |
| 2024-10-30 13:22:33 +0000 | remmie | (ianremsen@tilde.team) (Ping timeout: 252 seconds) |
| 2024-10-30 13:22:33 +0000 | ames | (~amelia@offtopia/offtopian/amelia) (Ping timeout: 252 seconds) |
| 2024-10-30 13:22:39 +0000 | pounce | (~pounce@user/cute/pounce) (Ping timeout: 246 seconds) |
| 2024-10-30 13:22:39 +0000 | skylord5816 | (~skylord58@user/skylord5816) (Ping timeout: 246 seconds) |
| 2024-10-30 13:23:01 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Ping timeout: 248 seconds) |
| 2024-10-30 13:23:01 +0000 | ghoulpine | (xfnw@user/meow/xfnw) (Ping timeout: 248 seconds) |
| 2024-10-30 13:23:21 +0000 | Hafydd | (~Hafydd@user/hafydd) (Ping timeout: 246 seconds) |
| 2024-10-30 13:24:20 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-10-30 13:24:22 +0000 | pandeyan | (~pandeyan@135-180-52-227.fiber.dynamic.sonic.net) |
| 2024-10-30 13:24:31 +0000 | tt12310978324359 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2024-10-30 13:26:12 +0000 | Lears | (~Leary@user/Leary/x-0910699) Leary |
| 2024-10-30 13:26:26 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-10-30 13:26:39 +0000 | ACuriousMoose3 | (~ACuriousM@156.34.161.188) ACuriousMoose |
| 2024-10-30 13:27:14 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-10-30 13:27:22 +0000 | apache | (apache2@anubis.0x90.dk) apache2 |
| 2024-10-30 13:27:26 +0000 | peutri | (~peutri@bobo.desast.re) (Ping timeout: 255 seconds) |
| 2024-10-30 13:27:35 +0000 | arkeet | (~arkeet@moriya.ca) |
| 2024-10-30 13:27:36 +0000 | jakzale_ | (6291399afa@user/jakzale) jakzale |
| 2024-10-30 13:27:37 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-30 13:27:38 +0000 | m5zs7k_ | (aquares@web10.mydevil.net) m5zs7k |
| 2024-10-30 13:27:43 +0000 | guygastineau | (~guygastin@137.184.131.156) RMSBach |
| 2024-10-30 13:27:58 +0000 | hololeap_ | (~quassel@user/hololeap) hololeap |
| 2024-10-30 13:28:11 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-10-30 13:28:19 +0000 | ggb_ | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2024-10-30 13:28:19 +0000 | finstern1s | (~X@23.226.237.192) finsternis |
| 2024-10-30 13:28:29 +0000 | arthurvl | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) earthy |
| 2024-10-30 13:28:38 +0000 | pmk_ | (6afe4476a1@2a03:6000:1812:100::26d) |
| 2024-10-30 13:28:45 +0000 | doyougnu- | (~doyougnu@syn-045-046-170-068.res.spectrum.com) doyougnu- |
| 2024-10-30 13:29:13 +0000 | coldtom0 | (~coldtom@coldrick.cc) coldtom |
| 2024-10-30 13:29:14 +0000 | ymherklotz_ | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2024-10-30 13:29:18 +0000 | adamCS_ | (~adamCS@71.167.235.212) adamCS |
| 2024-10-30 13:29:36 +0000 | AWizzArd_ | (~code@gehrels.uberspace.de) |
| 2024-10-30 13:29:40 +0000 | fvr_ | (ef3e56ca8b@2a03:6000:1812:100::3c4) fvr |
| 2024-10-30 13:29:51 +0000 | SlackCoder | (~SlackCode@161.199.135.130) SlackCoder |
| 2024-10-30 13:30:13 +0000 | bw_ | (sid2730@user/betawaffle) betawaffle |
| 2024-10-30 13:30:13 +0000 | arcadewise_ | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
| 2024-10-30 13:30:13 +0000 | fn_lumi_ | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2024-10-30 13:30:24 +0000 | [_________] | (~oos95GWG@user/oos95GWG) (Ping timeout: 245 seconds) |
| 2024-10-30 13:30:30 +0000 | flocks_ | (~flocks@134.122.90.60) flocks |
| 2024-10-30 13:30:41 +0000 | chymera | (~chymera@ns1000526.ip-51-81-46.us) chymera |
| 2024-10-30 13:30:45 +0000 | spider1 | (spider@tilde.cafe) (Ping timeout: 260 seconds) |
| 2024-10-30 13:31:01 +0000 | rselim_ | (ce261f06ff@user/milesrout) milesrout |
| 2024-10-30 13:31:02 +0000 | raghavgururajan_ | (ea769b8000@user/raghavgururajan) raghavgururajan |
| 2024-10-30 13:31:07 +0000 | tok_ | (da65c7b04b@user/tok) tok |
| 2024-10-30 13:31:20 +0000 | cpli_ | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2024-10-30 13:31:47 +0000 | samhh__ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2024-10-30 13:31:58 +0000 | ringo_ | (~ringo@157.230.117.128) ringo_ |
| 2024-10-30 13:32:10 +0000 | ent-_ | (entgod@kapsi.fi) ent |
| 2024-10-30 13:32:14 +0000 | Guest895 | (~ubuntu@ec2-35-163-144-64.us-west-2.compute.amazonaws.com) pdxleif |
| 2024-10-30 13:32:17 +0000 | pointlessslippe- | (~pointless@62.106.85.17) |
| 2024-10-30 13:32:20 +0000 | pounce | (~pounce@user/cute/pounce) pounce |
| 2024-10-30 13:32:21 +0000 | shane | (~shane@ana.rch.ist) |
| 2024-10-30 13:32:26 +0000 | lbseale_ | (~quassel@user/ep1ctetus) ep1ctetus |
| 2024-10-30 13:32:27 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-10-30 13:32:27 +0000 | hololeap | (~quassel@user/hololeap) (Quit: No Ping reply in 180 seconds.) |
| 2024-10-30 13:32:27 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-30 13:32:27 +0000 | tt1231097832435 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: Ping timeout (120 seconds)) |
| 2024-10-30 13:32:27 +0000 | wryish | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (Quit: %blank%) |
| 2024-10-30 13:32:28 +0000 | jakzale | (6291399afa@user/jakzale) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:28 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:28 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-10-30 13:32:28 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:28 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Quit: m5zs7k) |
| 2024-10-30 13:32:28 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:28 +0000 | apache2 | (apache2@anubis.0x90.dk) (Remote host closed the connection) |
| 2024-10-30 13:32:28 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:28 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:28 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:28 +0000 | jakzale_ | jakzale |
| 2024-10-30 13:32:28 +0000 | tt12310978324359 | tt1231097832435 |
| 2024-10-30 13:32:29 +0000 | fvr_ | fvr |
| 2024-10-30 13:32:29 +0000 | arcadewise_ | arcadewise |
| 2024-10-30 13:32:29 +0000 | fn_lumi_ | fn_lumi |
| 2024-10-30 13:32:30 +0000 | farn__ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) farn |
| 2024-10-30 13:32:33 +0000 | rselim | (ce261f06ff@user/milesrout) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:33 +0000 | tok | (da65c7b04b@user/tok) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:33 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:33 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:33 +0000 | robertm | (robertm@lattice.rojoma.com) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:33 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-30 13:32:33 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:33 +0000 | adamCS | (~adamCS@71.167.235.212) (Read error: Connection reset by peer) |
| 2024-10-30 13:32:33 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:33 +0000 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:33 +0000 | AWizzArd | (~code@user/awizzard) (Remote host closed the connection) |
| 2024-10-30 13:32:33 +0000 | Angelz | (Angelz@user/angelz) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:33 +0000 | flocks | (~flocks@134.122.90.60) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-10-30 13:32:33 +0000 | tjbc | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2024-10-30 13:32:33 +0000 | pdxleif | (~ubuntu@ec2-35-163-144-64.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:33 +0000 | ringo___ | (~ringo@157.230.117.128) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:33 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 2024-10-30 13:32:33 +0000 | ent | (entgod@kapsi.fi) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:33 +0000 | farn_ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Ping timeout: 252 seconds) |
| 2024-10-30 13:32:34 +0000 | rselim_ | rselim |
| 2024-10-30 13:32:34 +0000 | tok_ | tok |
| 2024-10-30 13:32:34 +0000 | ggb_ | ggb |
| 2024-10-30 13:32:34 +0000 | adamCS_ | adamCS |
| 2024-10-30 13:32:35 +0000 | ymherklotz_ | ymherklotz |
| 2024-10-30 13:32:37 +0000 | [_________] | (~oos95GWG@user/oos95GWG) oos95GWG |
| 2024-10-30 13:32:42 +0000 | peutri | (~peutri@bobo.desast.re) peutri |
| 2024-10-30 13:32:51 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: Ping timeout (120 seconds)) |
| 2024-10-30 13:32:51 +0000 | ThePenguin8 | ThePenguin |
| 2024-10-30 13:32:53 +0000 | aosync | (~alews@141.94.77.100) |
| 2024-10-30 13:32:53 +0000 | aosync | (~alews@141.94.77.100) (Changing host) |
| 2024-10-30 13:32:53 +0000 | aosync | (~alews@user/aws) aws |
| 2024-10-30 13:32:53 +0000 | alp | (~alp@2001:861:e3d6:8f80:1380:9a94:518c:2b43) |
| 2024-10-30 13:32:53 +0000 | mal1 | (~mal@ns2.wyrd.be) |
| 2024-10-30 13:32:53 +0000 | Jonno_FTW | (~come@api.carswap.me) |
| 2024-10-30 13:32:53 +0000 | wryishly | (~wryish@216.246.119.62) |
| 2024-10-30 13:32:53 +0000 | AlexNoo | (~AlexNoo@178.34.150.252) (Read error: Connection reset by peer) |
| 2024-10-30 13:32:53 +0000 | Jonno_FTW | (~come@api.carswap.me) (Changing host) |
| 2024-10-30 13:32:53 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) Jonno_FTW |
| 2024-10-30 13:32:53 +0000 | Franciman | (~Franciman@mx1.fracta.dev) (Read error: Connection reset by peer) |
| 2024-10-30 13:32:53 +0000 | sadmax | (~user@64.130.91.66) (Remote host closed the connection) |
| 2024-10-30 13:32:53 +0000 | bw | (sid2730@user/betawaffle) (Ping timeout: 276 seconds) |
| 2024-10-30 13:32:53 +0000 | ACuriousMoose | (~ACuriousM@156.34.161.188) (Quit: Ping timeout (120 seconds)) |
| 2024-10-30 13:32:54 +0000 | RMSBach | (~guygastin@137.184.131.156) (Quit: ZNC - https://znc.in) |
| 2024-10-30 13:32:54 +0000 | welterde | (welterde@thinkbase.srv.welterde.de) (Ping timeout: 276 seconds) |
| 2024-10-30 13:32:54 +0000 | finsternis | (~X@23.226.237.192) (Remote host closed the connection) |
| 2024-10-30 13:32:54 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 276 seconds) |
| 2024-10-30 13:32:54 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 276 seconds) |
| 2024-10-30 13:32:54 +0000 | coldtom | (~coldtom@coldrick.cc) (Quit: Ping timeout (120 seconds)) |
| 2024-10-30 13:32:54 +0000 | jocke-l | (jocke-l@a.x0.is) (Ping timeout: 276 seconds) |
| 2024-10-30 13:32:54 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
| 2024-10-30 13:32:54 +0000 | lbseale | (~quassel@user/ep1ctetus) (Quit: No Ping reply in 180 seconds.) |
| 2024-10-30 13:32:54 +0000 | Ttech | (~adran@botters/adran) (Ping timeout: 276 seconds) |
| 2024-10-30 13:32:54 +0000 | AlexNoo | (~AlexNoo@178.34.150.252) |
| 2024-10-30 13:32:54 +0000 | sadmax` | (~user@64.130.91.66) |
| 2024-10-30 13:32:54 +0000 | ouroboros | (~ouroboros@user/ouroboros) (Quit: Bye.) |
| 2024-10-30 13:32:54 +0000 | ACuriousMoose3 | ACuriousMoose |
| 2024-10-30 13:32:54 +0000 | coldtom0 | coldtom |
| 2024-10-30 13:32:55 +0000 | bw_ | bw |
| 2024-10-30 13:32:58 +0000 | finstern1s | finsternis |
| 2024-10-30 13:32:59 +0000 | cpli_ | cpli |
| 2024-10-30 13:33:01 +0000 | zfnmxt | (~zfnmxt@user/zfnmxt) (Remote host closed the connection) |
| 2024-10-30 13:33:03 +0000 | Franciman | (~Franciman@mx1.fracta.dev) Franciman |
| 2024-10-30 13:33:06 +0000 | mal1 | (~mal@ns2.wyrd.be) (Ping timeout: 248 seconds) |
| 2024-10-30 13:33:15 +0000 | ouroboros | (~ouroboros@user/ouroboros) ouroboros |
| 2024-10-30 13:33:18 +0000 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 252 seconds) |
| 2024-10-30 13:33:18 +0000 | tureba | (~tureba@tureba.org) (Ping timeout: 252 seconds) |
| 2024-10-30 13:33:19 +0000 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
| 2024-10-30 13:33:20 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-10-30 13:33:44 +0000 | stilgart | (~Christoph@chezlefab.net) (Ping timeout: 245 seconds) |
| 2024-10-30 13:33:53 +0000 | Guest1070 | (~mal@ns2.wyrd.be) lieven |
| 2024-10-30 13:33:59 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-10-30 13:34:13 +0000 | tjbc | (~tjbc@user/fliife) fliife |
| 2024-10-30 13:34:14 +0000 | raghavgururajan_ | raghavgururajan |
| 2024-10-30 13:34:41 +0000 | xff0x | (~xff0x@2405:6580:b080:900:adf3:98f8:7ac2:6549) (Ping timeout: 248 seconds) |
| 2024-10-30 13:34:57 +0000 | lyxia | (~lyxia@poisson.chat) (Ping timeout: 265 seconds) |
| 2024-10-30 13:35:05 +0000 | stilgart | (~Christoph@chezlefab.net) stilgart |
| 2024-10-30 13:35:09 +0000 | AWizzArd_ | AWizzArd |
| 2024-10-30 13:35:40 +0000 | lyxia | (~lyxia@poisson.chat) |
| 2024-10-30 13:36:03 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 252 seconds) |
| 2024-10-30 13:36:11 +0000 | m5zs7k_ | m5zs7k |
| 2024-10-30 13:36:18 +0000 | AWizzArd | (~code@gehrels.uberspace.de) (Changing host) |
| 2024-10-30 13:36:18 +0000 | AWizzArd | (~code@user/awizzard) AWizzard |
| 2024-10-30 13:36:36 +0000 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2024-10-30 13:36:59 +0000 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2024-10-30 13:37:44 +0000 | mauke | (~mauke@user/mauke) mauke |
| 2024-10-30 13:37:56 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f52b56b2b27bb51a532.dip0.t-ipconnect.de) acidjnk |
| 2024-10-30 13:38:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 13:41:38 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-10-30 13:42:19 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-10-30 13:43:03 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2024-10-30 13:43:17 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-30 13:43:42 +0000 | remmie | (ianremsen@tilde.team) remsense |
| 2024-10-30 13:44:15 +0000 | spider1 | (spider@tilde.cafe) |
| 2024-10-30 13:44:34 +0000 | alphazone | (~alphazone@2.219.56.221) (Ping timeout: 260 seconds) |
| 2024-10-30 13:45:22 +0000 | SlackCoder | (~SlackCode@161.199.135.130) (Quit: Leaving) |
| 2024-10-30 13:45:33 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-30 13:46:47 +0000 | alphazone | (~alphazone@2.219.56.221) |
| 2024-10-30 13:47:13 +0000 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) |
| 2024-10-30 13:49:20 +0000 | jle` | (~jle`@syn-023-240-075-236.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-30 13:49:30 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-30 13:50:06 +0000 | notzmv | (~daniel@user/notzmv) (Ping timeout: 272 seconds) |
| 2024-10-30 13:52:27 +0000 | jle` | (~jle`@syn-023-240-075-236.res.spectrum.com) jle` |
| 2024-10-30 13:56:01 +0000 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-10-30 13:57:33 +0000 | xff0x | (~xff0x@2405:6580:b080:900:adf3:98f8:7ac2:6549) |
| 2024-10-30 13:58:42 +0000 | tureba | (~tureba@tureba.org) tureba |
| 2024-10-30 13:59:16 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-30 13:59:58 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2024-10-30 14:01:58 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-10-30 14:07:39 +0000 | Adran | (~adran@botters/adran) Adran |
| 2024-10-30 14:10:24 +0000 | robertm | (robertm@lattice.rojoma.com) robertm |
| 2024-10-30 14:11:31 +0000 | welterde | (welterde@thinkbase.srv.welterde.de) welterde |
| 2024-10-30 14:11:45 +0000 | motherfsck | (~motherfsc@user/motherfsck) motherfsck |
| 2024-10-30 14:13:02 +0000 | Flow_ | (~none@gentoo/developer/flow) flow |
| 2024-10-30 14:13:25 +0000 | xacktm | (xacktm@user/xacktm) xacktm |
| 2024-10-30 14:13:47 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-30 14:13:48 +0000 | jocke-l | (jocke-l@a.x0.is) jocke-l |
| 2024-10-30 14:14:10 +0000 | Digit | (~user@user/digit) (Ping timeout: 272 seconds) |
| 2024-10-30 14:16:12 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f52b56b2b27bb51a532.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-10-30 14:21:22 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-30 14:24:08 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-30 14:30:02 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f52b56b2b27bb51a532.dip0.t-ipconnect.de) acidjnk |
| 2024-10-30 14:31:03 +0000 | sadmax` | (~user@64.130.91.66) (Remote host closed the connection) |
| 2024-10-30 14:31:28 +0000 | sadmax` | (~user@64.130.91.66) |
| 2024-10-30 14:33:46 +0000 | notzmv | (~daniel@user/notzmv) (Remote host closed the connection) |
| 2024-10-30 14:35:21 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-10-30 14:37:55 +0000 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-10-30 14:38:05 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2024-10-30 14:41:10 +0000 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) emergence |
| 2024-10-30 14:42:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 14:44:12 +0000 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-10-30 14:44:53 +0000 | Lears | Leary |
| 2024-10-30 14:47:00 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-30 14:49:52 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-10-30 14:50:17 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-10-30 14:51:58 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-30 14:54:33 +0000 | Guest1070 | lieven |
| 2024-10-30 15:03:30 +0000 | Square | (~Square@user/square) Square |
| 2024-10-30 15:06:57 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2024-10-30 15:24:07 +0000 | <tomsmeding> | ph88: you might want to include the [] in the regex |
| 2024-10-30 15:24:14 +0000 | <tomsmeding> | but cute! |
| 2024-10-30 15:24:57 +0000 | <tomsmeding> | but yeah, ghc uses terminal escape codes that make the thing automatically clickable, but far from all terminals support it |
| 2024-10-30 15:25:08 +0000 | <tomsmeding> | gnome-terminal does, apparently kitty does; st does not, and apparently alacritty does not |
| 2024-10-30 15:25:46 +0000 | down200 | (~down200@shell.lug.mtu.edu) (Ping timeout: 252 seconds) |
| 2024-10-30 15:25:50 +0000 | <tomsmeding> | (side note: why is the error number reported for a hole (`_`) the "variable not in scope" error, that makes little sense) |
| 2024-10-30 15:26:33 +0000 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2024-10-30 15:28:09 +0000 | euleritian | (~euleritia@dynamic-176-006-146-099.176.6.pool.telefonica.de) |
| 2024-10-30 15:38:32 +0000 | <mauke> | makes sense to me :-) |
| 2024-10-30 15:38:45 +0000 | <mauke> | since you can never bind _, it's never in scope |
| 2024-10-30 15:38:53 +0000 | <tomsmeding> | I guess :p |
| 2024-10-30 15:43:36 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2024-10-30 15:43:38 +0000 | vulpine | ghoulpine |
| 2024-10-30 15:44:38 +0000 | AlexZenon | (~alzenon@178.34.150.252) (Quit: ;-) |
| 2024-10-30 15:45:11 +0000 | <tomsmeding> | but I felt it was worth a separate example in the error index :) https://github.com/haskellfoundation/error-message-index/pull/549 |
| 2024-10-30 15:45:37 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-30 15:46:29 +0000 | AlexNoo | (~AlexNoo@178.34.150.252) (Read error: Connection reset by peer) |
| 2024-10-30 15:53:50 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 15:55:27 +0000 | Guest33 | (~Guest33@158.36.4.117) |
| 2024-10-30 15:55:35 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-10-30 15:56:23 +0000 | Guest33 | (~Guest33@158.36.4.117) (Client Quit) |
| 2024-10-30 15:58:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-30 16:11:54 +0000 | Philonous_ | (~Philonous@user/philonous) (Quit: ZNC - https://znc.in) |
| 2024-10-30 16:12:20 +0000 | Philonous | (~Philonous@user/philonous) Philonous |
| 2024-10-30 16:14:58 +0000 | ames | (~amelia@offtopia/offtopian/amelia) {ames} |
| 2024-10-30 16:15:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-30 16:17:46 +0000 | spew | (~spew@201.141.99.170) spew |
| 2024-10-30 16:19:19 +0000 | hgolden_ | (~hgolden@static-198-44-129-83.cust.tzulo.com) hgolden |
| 2024-10-30 16:20:50 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f52b56b2b27bb51a532.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-10-30 16:21:36 +0000 | euleritian | (~euleritia@dynamic-176-006-146-099.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-30 16:21:52 +0000 | hgolden__ | (~hgolden@204.152.216.122) (Ping timeout: 252 seconds) |
| 2024-10-30 16:22:27 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f5235ecdcff4aca5bc9.dip0.t-ipconnect.de) acidjnk |
| 2024-10-30 16:23:31 +0000 | euleritian | (~euleritia@dynamic-176-007-147-195.176.7.pool.telefonica.de) |
| 2024-10-30 16:27:39 +0000 | euleritian | (~euleritia@dynamic-176-007-147-195.176.7.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-30 16:30:16 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-10-30 16:39:15 +0000 | <ph88> | tomsmeding, on haskell playground the [ ] are also not included in the clickable links ... so i just made it the same as that |
| 2024-10-30 16:39:53 +0000 | <tomsmeding> | ph88: that's true, but now your regex might be overly sensitive :p |
| 2024-10-30 16:40:11 +0000 | <tomsmeding> | not sure if you can say "match this regex, but only this part is a link" |
| 2024-10-30 16:40:12 +0000 | <ph88> | tomsmeding, not sure what's up with alacritty perhaps it can read the terminal escape codes but still needs you to bind an action to that or set highlighting preferences .. |
| 2024-10-30 16:40:42 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 16:41:07 +0000 | <ph88> | ah sensitive regexes :> |
| 2024-10-30 16:41:21 +0000 | <tomsmeding> | apparently this is supported in alacritty, because someone reports imperfections with it https://github.com/alacritty/alacritty/issues/8055 |
| 2024-10-30 16:41:41 +0000 | <tomsmeding> | oh but maybe that's with hints, not with the escape code |
| 2024-10-30 16:44:01 +0000 | <tomsmeding> | ph88: https://github.com/alacritty/alacritty/commit/694a52bcffeffdc9e163818c3b2ac5c39e26f1ef |
| 2024-10-30 16:44:06 +0000 | <tomsmeding> | new in 0.11 apparently |
| 2024-10-30 16:45:13 +0000 | <ph88> | weird i have alacritty 0.13.2 and i didn't see it working .. |
| 2024-10-30 16:45:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-30 16:45:31 +0000 | <ph88> | GHC 9.6.6 dunno if the escape codes were added already in that version |
| 2024-10-30 16:45:50 +0000 | <tomsmeding> | ah! no |
| 2024-10-30 16:45:51 +0000 | <ph88> | i'll leave it for now, perhaps give it another look in a year or so |
| 2024-10-30 16:45:59 +0000 | <tomsmeding> | good call! |
| 2024-10-30 16:46:08 +0000 | <tomsmeding> | 9.10 seems to have introduced them |
| 2024-10-30 16:46:16 +0000 | <ph88> | ah ye makes sense |
| 2024-10-30 16:56:56 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 17:03:44 +0000 | ph88 | (~ph88@2a02:8109:9e26:c800:c35a:a881:34b9:612a) (Ping timeout: 265 seconds) |
| 2024-10-30 17:11:49 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-10-30 17:19:54 +0000 | Digitteknohippie | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-10-30 17:20:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 17:20:43 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-30 17:21:00 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-30 17:22:39 +0000 | AlexNoo | (~AlexNoo@178.34.150.252) |
| 2024-10-30 17:22:45 +0000 | AlexNoo | (~AlexNoo@178.34.150.252) (Read error: Connection reset by peer) |
| 2024-10-30 17:23:01 +0000 | AlexZenon | (~alzenon@178.34.150.252) |
| 2024-10-30 17:23:09 +0000 | AlexNoo | (~AlexNoo@178.34.150.252) |
| 2024-10-30 17:23:20 +0000 | AlexZenon_2 | (~alzenon@178.34.150.252) |
| 2024-10-30 17:24:44 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-10-30 17:25:03 +0000 | AlexZenon_2 | (~alzenon@178.34.150.252) (Client Quit) |
| 2024-10-30 17:27:21 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-30 17:27:44 +0000 | ubert1 | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) ubert |
| 2024-10-30 17:27:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-30 17:28:21 +0000 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2024-10-30 17:28:21 +0000 | ubert1 | ubert |
| 2024-10-30 17:30:08 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-30 17:31:08 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-30 17:40:18 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-10-30 17:40:35 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-30 17:47:08 +0000 | Digit | (~user@user/digit) Digit |
| 2024-10-30 17:53:02 +0000 | slack1256 | (~slack1256@2803:c600:5111:8696:36fc:8f2b:4dcb:2f34) slack1256 |
| 2024-10-30 17:53:54 +0000 | <slack1256> | Is there a quick check generator for html already defined on a package? |
| 2024-10-30 17:54:03 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-10-30 17:56:05 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-30 17:56:49 +0000 | alphabitserial | (~alphabits@user/alphabitserial) (Quit: alphabitserial) |
| 2024-10-30 17:56:50 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 18:03:04 +0000 | alphabitserial | (~alphabits@user/alphabitserial) alphabitserial |
| 2024-10-30 18:03:05 +0000 | alphabitserial | (~alphabits@user/alphabitserial) (Max SendQ exceeded) |
| 2024-10-30 18:03:42 +0000 | alphabitserial | (~alphabits@user/alphabitserial) alphabitserial |
| 2024-10-30 18:05:20 +0000 | slack1256 | (~slack1256@2803:c600:5111:8696:36fc:8f2b:4dcb:2f34) (Ping timeout: 272 seconds) |
| 2024-10-30 18:07:57 +0000 | slack1256 | (~slack1256@2803:c600:5111:8696:36fc:8f2b:4dcb:2f34) slack1256 |
| 2024-10-30 18:12:27 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2024-10-30 18:12:37 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-10-30 18:23:26 +0000 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-30 18:27:18 +0000 | droideqa | (uid499291@user/droideqa) (Quit: Connection closed for inactivity) |
| 2024-10-30 18:33:36 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-30 18:34:27 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 18:37:07 +0000 | ph88 | (~ph88@2a02:8109:9e26:c800:2c86:4e6e:fc83:ede5) ph88 |
| 2024-10-30 18:37:23 +0000 | <ph88> | tomsmeding, have you used linear types yet ? |
| 2024-10-30 18:43:29 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-30 18:52:09 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-30 18:52:35 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2024-10-30 18:54:49 +0000 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2024-10-30 18:55:23 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 2024-10-30 18:58:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-30 18:59:52 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-10-30 19:00:03 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-30 19:00:26 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 19:00:38 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-30 19:04:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-30 19:05:14 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-30 19:06:25 +0000 | mulk | (~mulk@pd95146e9.dip0.t-ipconnect.de) mulk |
| 2024-10-30 19:16:35 +0000 | ash3en1 | (~Thunderbi@146.70.124.222) ash3en |
| 2024-10-30 19:18:48 +0000 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 272 seconds) |
| 2024-10-30 19:18:49 +0000 | ash3en1 | ash3en |
| 2024-10-30 19:23:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-30 19:25:25 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-30 19:26:39 +0000 | michals | (~user@dynamic-2a00-1028-838a-582e-1fea-709e-7606-44f4.ipv6.o2.cz) laxmik |
| 2024-10-30 19:26:57 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-30 19:28:22 +0000 | euleritian | (~euleritia@dynamic-176-006-139-223.176.6.pool.telefonica.de) |
| 2024-10-30 19:29:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 19:34:03 +0000 | euleritian | (~euleritia@dynamic-176-006-139-223.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-30 19:34:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 19:34:21 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 19:37:29 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Ping timeout: 260 seconds) |
| 2024-10-30 19:38:28 +0000 | mantraofpie | (~mantraofp@user/mantraofpie) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-10-30 19:39:43 +0000 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
| 2024-10-30 19:44:49 +0000 | michals | (~user@dynamic-2a00-1028-838a-582e-1fea-709e-7606-44f4.ipv6.o2.cz) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-10-30 19:44:55 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 19:50:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-30 19:52:48 +0000 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-10-30 19:55:32 +0000 | alphabitserial | (~alphabits@user/alphabitserial) (Remote host closed the connection) |
| 2024-10-30 19:58:17 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-30 19:59:13 +0000 | <lxsameer> | hey folks, I need to extract all the dependencies (direct and indirect test and prod) of a haskell project using cabal as a library. but it seems cabal does not expose all the functionality through the cabal lib. Do you know any solution for this? |
| 2024-10-30 20:00:05 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-30 20:00:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 20:03:08 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2024-10-30 20:03:08 +0000 | ljdarj1 | ljdarj |
| 2024-10-30 20:06:21 +0000 | <geekosaur> | typically you `cabal build --dry-run` and extract it from `dist-newstyle/plan.json`, using either `cabal-plan` or `jq` |
| 2024-10-30 20:07:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 20:09:10 +0000 | <lxsameer> | geekosaur: I'm trying to use cabal as a library |
| 2024-10-30 20:10:17 +0000 | <geekosaur> | Cabal-the-library doesn't understand those concepts |
| 2024-10-30 20:10:17 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-30 20:10:26 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 20:10:28 +0000 | euleritian | (~euleritia@dynamic-176-006-139-223.176.6.pool.telefonica.de) |
| 2024-10-30 20:10:35 +0000 | <geekosaur> | the direct dependencies must already be built and their dependencies aren't even known |
| 2024-10-30 20:10:48 +0000 | euleritian | (~euleritia@dynamic-176-006-139-223.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-30 20:10:58 +0000 | <geekosaur> | this is a large part of why cabal-the-program and later stack were written |
| 2024-10-30 20:11:04 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 20:12:49 +0000 | <lxsameer> | geekosaur: ahh got it. Thank you |
| 2024-10-30 20:13:54 +0000 | benkard | (~mulk@pd95146e9.dip0.t-ipconnect.de) mulk |
| 2024-10-30 20:14:27 +0000 | mulk | (~mulk@pd95146e9.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2024-10-30 20:14:27 +0000 | benkard | mulk |
| 2024-10-30 20:17:12 +0000 | <lxsameer> | geekosaur: do I need to enable anything special to get the plan.json file? the build dry run didn't generate it |
| 2024-10-30 20:18:00 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-30 20:18:24 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2024-10-30 20:18:40 +0000 | <geekosaur> | It should have, plan.json pretty much is the dry run |
| 2024-10-30 20:19:18 +0000 | <geekosaur> | I can't double check right now though, a bit busy |
| 2024-10-30 20:19:38 +0000 | <lxsameer> | geekosaur: cheers, thank you |
| 2024-10-30 20:24:13 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-30 20:24:39 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 20:27:52 +0000 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) ft |
| 2024-10-30 20:31:25 +0000 | ash3en1 | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-30 20:32:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 20:33:06 +0000 | <geekosaur> | sorry, it's dist-newstyle/cache/plan.json |
| 2024-10-30 20:33:51 +0000 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 276 seconds) |
| 2024-10-30 20:33:51 +0000 | ash3en1 | ash3en |
| 2024-10-30 20:34:20 +0000 | <lxsameer> | geekosaur: found it, cheers |
| 2024-10-30 20:34:25 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-10-30 20:35:42 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-30 20:37:21 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2024-10-30 20:37:22 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 20:37:30 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 20:38:04 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 20:43:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-10-30 20:43:56 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 20:48:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 20:53:56 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-30 20:55:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 21:06:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 21:10:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 21:10:28 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-30 21:12:49 +0000 | Everything | (~Everythin@46.211.127.161) Everything |
| 2024-10-30 21:14:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 21:19:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-30 21:22:28 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-30 21:22:56 +0000 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2024-10-30 21:25:51 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-10-30 21:27:03 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2024-10-30 21:29:16 +0000 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2024-10-30 21:29:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 21:32:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-30 21:34:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 21:37:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 21:41:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-30 21:42:15 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-10-30 21:43:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-10-30 21:45:10 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 21:45:47 +0000 | Square | (~Square@user/square) Square |
| 2024-10-30 21:49:52 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 21:50:30 +0000 | dilaver_5 | (~dilaver_@user/dilaver-:32218) dilaver_ |
| 2024-10-30 21:51:50 +0000 | dilaver_ | (~dilaver_@user/dilaver-:32218) (Read error: Connection reset by peer) |
| 2024-10-30 21:51:50 +0000 | dilaver_5 | dilaver_ |
| 2024-10-30 21:52:06 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) (Ping timeout: 244 seconds) |
| 2024-10-30 21:52:22 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
| 2024-10-30 21:52:39 +0000 | Everythi1g | (~Everythin@195.138.86.118) |
| 2024-10-30 21:53:09 +0000 | Everything | (~Everythin@46.211.127.161) (Ping timeout: 276 seconds) |
| 2024-10-30 21:57:18 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-10-30 21:57:51 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-10-30 21:59:59 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-30 22:00:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 22:00:51 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 22:03:42 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-10-30 22:05:04 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-30 22:05:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 22:05:22 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 22:11:39 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-10-30 22:12:05 +0000 | preflex | (~preflex@user/mauke/bot/preflex) (Remote host closed the connection) |
| 2024-10-30 22:12:12 +0000 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2024-10-30 22:12:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 22:14:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-30 22:15:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 22:16:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-30 22:18:35 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-30 22:19:01 +0000 | euleritian | (~euleritia@dynamic-176-006-139-223.176.6.pool.telefonica.de) |
| 2024-10-30 22:19:24 +0000 | euleritian | (~euleritia@dynamic-176-006-139-223.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-30 22:19:42 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 22:19:51 +0000 | <tomsmeding> | ph88: I have written TH code that _generates_ code with linear types |
| 2024-10-30 22:20:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-30 22:21:18 +0000 | spew | (~spew@201.141.99.170) (Ping timeout: 252 seconds) |
| 2024-10-30 22:22:10 +0000 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) shef |
| 2024-10-30 22:24:11 +0000 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Client Quit) |
| 2024-10-30 22:27:04 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-30 22:33:13 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-30 22:33:20 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 22:36:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 22:40:36 +0000 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 276 seconds) |
| 2024-10-30 22:41:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-30 22:43:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-30 22:43:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-30 22:50:39 +0000 | hiecaq` | (~hiecaq@user/hiecaq) hiecaq |
| 2024-10-30 22:52:04 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Read error: Connection reset by peer) |
| 2024-10-30 22:54:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 22:59:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-30 23:00:31 +0000 | Everythi1g | (~Everythin@195.138.86.118) (Quit: leaving) |
| 2024-10-30 23:02:52 +0000 | Guest10 | (~Guest10@n49-190-165-50.meb2.vic.optusnet.com.au) |
| 2024-10-30 23:03:29 +0000 | Guest10 | (~Guest10@n49-190-165-50.meb2.vic.optusnet.com.au) (Client Quit) |
| 2024-10-30 23:03:36 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-30 23:06:39 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-30 23:12:19 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-30 23:13:56 +0000 | Guest15 | (~Guest15@n49-190-165-50.meb2.vic.optusnet.com.au) |
| 2024-10-30 23:14:42 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 23:16:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 23:16:29 +0000 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) |
| 2024-10-30 23:17:38 +0000 | Guest15 | (~Guest15@n49-190-165-50.meb2.vic.optusnet.com.au) (Client Quit) |
| 2024-10-30 23:18:49 +0000 | spew | (~spew@201.141.99.170) spew |
| 2024-10-30 23:20:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-30 23:20:44 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-30 23:21:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 23:29:54 +0000 | sadmax` | (~user@64.130.91.66) (Ping timeout: 248 seconds) |
| 2024-10-30 23:34:06 +0000 | son0p | (~ff@186.113.103.75) son0p |
| 2024-10-30 23:37:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 23:39:09 +0000 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) (Quit: Leaving) |
| 2024-10-30 23:42:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 23:53:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 23:58:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-30 23:58:55 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |