2024/10/30

2024-10-30 00:00:14 +0100Square2(~Square4@user/square) (Ping timeout: 260 seconds)
2024-10-30 00:01:35 +0100Everything(~Everythin@178-133-213-22.mobile.vf-ua.net) (Quit: leaving)
2024-10-30 00:02:51 +0100m5zs7k_m5zs7k
2024-10-30 00:04:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-30 00:04:21 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-10-30 00:07:59 +0100noctux(~noctux@user/noctux) noctux
2024-10-30 00:08:11 +0100qaotsap(~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq
2024-10-30 00:08:16 +0100zlqrvx_(~zlqrvx@101.175.150.247)
2024-10-30 00:08:31 +0100zlqrvx(~zlqrvx@user/zlqrvx) (Read error: Connection reset by peer)
2024-10-30 00:09:20 +0100paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt) (Read error: Connection reset by peer)
2024-10-30 00:11:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 00:14:03 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 00:18:29 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-10-30 00:19:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-30 00:23:00 +0100alp(~alp@2001:861:e3d6:8f80:f60c:ddc9:c66e:3f2c) (Ping timeout: 246 seconds)
2024-10-30 00:30:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 00:33:22 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 00:35:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-30 00:38:46 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-10-30 00:41:08 +0100michalz(~michalz@185.246.207.203) (Remote host closed the connection)
2024-10-30 00:45:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 00:47:33 +0100acidjnk_new(~acidjnk@p200300d6e7283f47b0bede14811a4453.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2024-10-30 00:50:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-10-30 00:52:58 +0100emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2024-10-30 00:53:51 +0100troojg(~troojg@user/troojg) troojg
2024-10-30 00:55:06 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 01:00:04 +0100random-jellyfish(~developer@user/random-jellyfish) (Quit: Leaving)
2024-10-30 01:00:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 01:02:14 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-10-30 01:04:48 +0100Square(~Square@user/square) (Ping timeout: 252 seconds)
2024-10-30 01:05:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-30 01:05:48 +0100ubert(~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2024-10-30 01:08:15 +0100AlexNoo(~AlexNoo@178.34.150.252) (Read error: Connection reset by peer)
2024-10-30 01:08:23 +0100Sgeo_(~Sgeo@user/sgeo) Sgeo
2024-10-30 01:08:26 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-10-30 01:08:37 +0100AlexNoo(~AlexNoo@178.34.150.252)
2024-10-30 01:12:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 01:14:12 +0100Me-me(~me-me@kc.randomserver.name) (Read error: Connection reset by peer)
2024-10-30 01:14:19 +0100Wstfgl0(~me-me@kc.randomserver.name)
2024-10-30 01:14:20 +0100Wstfgl0Me-me
2024-10-30 01:15:49 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 01:18:59 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 260 seconds)
2024-10-30 01:20:20 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-10-30 01:20:23 +0100Digitteknohippie(~user@user/digit) Digit
2024-10-30 01:20:24 +0100Digit(~user@user/digit) (Ping timeout: 246 seconds)
2024-10-30 01:20:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-30 01:21:28 +0100xff0x(~xff0x@2405:6580:b080:900:dd4:7391:684:d55b) (Ping timeout: 244 seconds)
2024-10-30 01:25:39 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds)
2024-10-30 01:29:29 +0100troojg(~troojg@user/troojg) (Ping timeout: 260 seconds)
2024-10-30 01:31:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 01:33:37 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-10-30 01:34:03 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 01:34:57 +0100sadmax(~user@64.130.91.66) (Ping timeout: 248 seconds)
2024-10-30 01:38:26 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-10-30 01:38:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-30 01:40:55 +0100bliminse(~bliminse@user/bliminse) (Ping timeout: 264 seconds)
2024-10-30 01:41:38 +0100LearsLeary
2024-10-30 01:41:59 +0100_________(~nobody@user/noodly) (Ping timeout: 255 seconds)
2024-10-30 01:42:13 +0100bliminse(~bliminse@user/bliminse) bliminse
2024-10-30 01:43:52 +0100_________(~nobody@user/noodly) _________
2024-10-30 01:47:23 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-10-30 01:48:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 01:51:46 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 01:52:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-30 01:53:54 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2024-10-30 01:54:13 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-30 01:56:18 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-30 01:56:35 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-10-30 02:03:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 02:05:50 +0100rselim(ce261f06ff@user/milesrout) (Ping timeout: 260 seconds)
2024-10-30 02:05:50 +0100filwisher(2e6936c793@2a03:6000:1812:100::170) (Ping timeout: 260 seconds)
2024-10-30 02:05:50 +0100RussetParrotBear(45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 260 seconds)
2024-10-30 02:05:50 +0100lucyy(228ee8f0ce@user/lucyy) (Ping timeout: 260 seconds)
2024-10-30 02:05:50 +0100eso(a0662dfd5e@2a03:6000:1812:100::1266) (Ping timeout: 260 seconds)
2024-10-30 02:06:25 +0100cpli(77fc530071@2a03:6000:1812:100::252) (Ping timeout: 260 seconds)
2024-10-30 02:06:25 +0100jkoshy(99b9359beb@user/jkoshy) (Ping timeout: 260 seconds)
2024-10-30 02:06:25 +0100fn_lumi(3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 260 seconds)
2024-10-30 02:06:59 +0100pmk(6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 260 seconds)
2024-10-30 02:07:29 +0100RussetParrotBear(45ce440a48@2a03:6000:1812:100::e2)
2024-10-30 02:07:29 +0100lucyy(228ee8f0ce@user/lucyy) lucyy
2024-10-30 02:07:30 +0100eso(a0662dfd5e@2a03:6000:1812:100::1266) jeso
2024-10-30 02:07:30 +0100filwisher(2e6936c793@2a03:6000:1812:100::170)
2024-10-30 02:08:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-30 02:09:07 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 02:09:47 +0100pmk(6afe4476a1@2a03:6000:1812:100::26d) pmk
2024-10-30 02:09:47 +0100jkoshy(99b9359beb@user/jkoshy) jkoshy
2024-10-30 02:09:48 +0100fn_lumi(3d621153a5@2a03:6000:1812:100::df7) fn_lumi
2024-10-30 02:09:48 +0100cpli(77fc530071@2a03:6000:1812:100::252) cpli
2024-10-30 02:09:49 +0100rselim(ce261f06ff@user/milesrout) milesrout
2024-10-30 02:16:25 +0100xff0x(~xff0x@182.169.73.28)
2024-10-30 02:20:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 02:22:56 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2024-10-30 02:23:02 +0100philopsos(~caecilius@user/philopsos) philopsos
2024-10-30 02:23:53 +0100spew(~spew@201.141.99.170) (Quit: spew)
2024-10-30 02:25:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-30 02:27:14 +0100Natch(~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 260 seconds)
2024-10-30 02:29:07 +0100Inst_(~Inst@user/Inst) Inst
2024-10-30 02:30:19 +0100jleightcap(7bc4014b62@user/jleightcap) (Ping timeout: 260 seconds)
2024-10-30 02:30:20 +0100samhh(7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 260 seconds)
2024-10-30 02:30:20 +0100Ankhers(e99e97ef8e@2a03:6000:1812:100::2a2) (Ping timeout: 260 seconds)
2024-10-30 02:30:20 +0100bwolf(c3bc363dd1@2a03:6000:1812:100::180) (Ping timeout: 260 seconds)
2024-10-30 02:30:20 +0100fvr(ef3e56ca8b@2a03:6000:1812:100::3c4) (Ping timeout: 260 seconds)
2024-10-30 02:30:20 +0100samhh_samhh
2024-10-30 02:30:33 +0100Natch(~natch@c-92-34-7-158.bbcust.telenor.se) Natch
2024-10-30 02:30:44 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-10-30 02:31:00 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds)
2024-10-30 02:31:06 +0100Inst(~Inst@user/Inst) (Ping timeout: 246 seconds)
2024-10-30 02:31:21 +0100 <Axman6> @unmtl ExceptT e (StateT e IO) a
2024-10-30 02:31:21 +0100 <lambdabot> e -> IO (Either e a, e)
2024-10-30 02:31:23 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 02:31:28 +0100 <Axman6> @unmtl ExceptT e (StateT s IO) a
2024-10-30 02:31:28 +0100 <lambdabot> s -> IO (Either e a, s)
2024-10-30 02:31:41 +0100 <Axman6> @unmtl StateT s e (ExceptT e IO) a
2024-10-30 02:31:41 +0100 <lambdabot> err: `s -> e (ExceptT e IO, s)' is not a type function.
2024-10-30 02:31:54 +0100bwolf(c3bc363dd1@2a03:6000:1812:100::180) bwolf
2024-10-30 02:31:55 +0100fvr(ef3e56ca8b@2a03:6000:1812:100::3c4) fvr
2024-10-30 02:32:15 +0100 <Axman6> @unmtl StateT s (ExceptT e IO) a
2024-10-30 02:32:15 +0100 <lambdabot> s -> IO (Either e (a, s))
2024-10-30 02:34:18 +0100Ankhers(e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers
2024-10-30 02:34:19 +0100jleightcap(7bc4014b62@user/jleightcap) jleightcap
2024-10-30 02:35:15 +0100Inst_(~Inst@user/Inst) (Ping timeout: 265 seconds)
2024-10-30 02:35:23 +0100petrichor(~znc-user@user/petrichor) (Ping timeout: 245 seconds)
2024-10-30 02:35:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 02:36:15 +0100troojg(~troojg@user/troojg) troojg
2024-10-30 02:38:57 +0100paul_j(~user@8.190.187.81.in-addr.arpa) (Ping timeout: 248 seconds)
2024-10-30 02:40:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-30 02:44:13 +0100samhh_(7569f027cf@2a03:6000:1812:100::e4) samhh
2024-10-30 02:51:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 02:52:07 +0100_________(~nobody@user/noodly) (Ping timeout: 252 seconds)
2024-10-30 02:54:10 +0100_________(~nobody@user/noodly) _________
2024-10-30 02:55:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-30 02:59:33 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-30 03:02:47 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-10-30 03:03:07 +0100sadmax(~user@64.130.91.66)
2024-10-30 03:07:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 03:12:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-30 03:13:23 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 03:15:55 +0100troojg(~troojg@user/troojg) (Remote host closed the connection)
2024-10-30 03:23:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 03:24:01 +0100zlqrvx(~zlqrvx@user/zlqrvx) zlqrvx
2024-10-30 03:24:57 +0100byte_(~byte@149.28.222.189)
2024-10-30 03:24:57 +0100mzg(mzg@abusers.hu) (Ping timeout: 244 seconds)
2024-10-30 03:25:10 +0100mzg(~mzg@abusers.hu)
2024-10-30 03:25:15 +0100zlqrvx_(~zlqrvx@101.175.150.247) (Quit: %quit%)
2024-10-30 03:25:15 +0100Spawns_Carpeting(~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2024-10-30 03:25:33 +0100user363627(~user@user/user363627) user363627
2024-10-30 03:26:00 +0100_________(~nobody@user/noodly) (Ping timeout: 265 seconds)
2024-10-30 03:26:00 +0100weary-traveler(~user@user/user363627) (Ping timeout: 265 seconds)
2024-10-30 03:26:51 +0100_________(~nobody@user/noodly) _________
2024-10-30 03:28:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-30 03:29:23 +0100byte(~byte@149.28.222.189) (Ping timeout: 265 seconds)
2024-10-30 03:29:51 +0100byte_byte
2024-10-30 03:30:17 +0100Spawns_Carpeting(~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting
2024-10-30 03:38:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 03:41:57 +0100vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 265 seconds)
2024-10-30 03:43:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-30 03:51:01 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds)
2024-10-30 03:53:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 03:54:08 +0100Inst(~Inst@user/Inst) Inst
2024-10-30 03:58:55 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-10-30 03:59:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-30 04:06:08 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-10-30 04:09:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 04:14:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-30 04:23:29 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-10-30 04:24:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 04:29:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-30 04:40:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 04:42:01 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 04:42:14 +0100terrorjack4(~terrorjac@static.48.15.202.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat)
2024-10-30 04:42:47 +0100stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2024-10-30 04:43:39 +0100stiell_(~stiell@gateway/tor-sasl/stiell) stiell
2024-10-30 04:43:56 +0100terrorjack4(~terrorjac@2a01:4f8:c17:dc9f::) terrorjack
2024-10-30 04:46:43 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-10-30 04:46:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-30 04:58:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 04:59:47 +0100td_(~td@i5387091D.versanet.de) (Ping timeout: 265 seconds)
2024-10-30 05:01:32 +0100td_(~td@i5387091D.versanet.de) td_
2024-10-30 05:02:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-30 05:06:17 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-10-30 05:12:51 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
2024-10-30 05:13:26 +0100stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-10-30 05:13:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 05:14:53 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2024-10-30 05:18:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-30 05:25:56 +0100stiell_(~stiell@gateway/tor-sasl/stiell) stiell
2024-10-30 05:26:12 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-10-30 05:28:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 05:33:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-30 05:39:23 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-30 05:44:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 05:48:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-30 05:57:07 +0100notzmv(~daniel@user/notzmv) (Read error: Connection reset by peer)
2024-10-30 05:59:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 06:01:39 +0100Inst_(~Inst@user/Inst) Inst
2024-10-30 06:04:21 +0100Inst(~Inst@user/Inst) (Ping timeout: 276 seconds)
2024-10-30 06:05:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-30 06:06:24 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-10-30 06:07:37 +0100Inst_Inst
2024-10-30 06:07:41 +0100 <Inst> thsi is actually pretty great
2024-10-30 06:07:42 +0100 <Inst> https://www.schoolofhaskell.com/user/snoyberg/random-code-snippets/set-is-not-a-functor
2024-10-30 06:07:51 +0100 <Inst> simplest and easiest explanation for why Set cannot be a functor
2024-10-30 06:13:10 +0100 <monochrom> No, it is a strawman argument with doofus Eq and Ord instances.
2024-10-30 06:13:46 +0100 <monochrom> simplest and easiest example why I disregard snoyberg arguments.
2024-10-30 06:13:59 +0100monochrom(trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
2024-10-30 06:16:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 06:17:20 +0100euphores(~SASL_euph@user/euphores) euphores
2024-10-30 06:21:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-30 06:25:23 +0100monochrom(trebla@216.138.220.146)
2024-10-30 06:29:55 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds)
2024-10-30 06:30:01 +0100Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-10-30 06:30:48 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2)
2024-10-30 06:31:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 06:33:17 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2024-10-30 06:36:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-30 06:40:19 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2024-10-30 06:47:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 06:49:03 +0100 <mauke> monochrom: why strawman?
2024-10-30 06:51:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-30 06:54:11 +0100 <jackdk> It proves that `Set.map f . Set.map g` is not `Set.map (f . g)` but says nothing about the fact that you cannot write `instance Functor Set where fmap = Set.map` (you don't have the `Ord b` in scope that is required by `Set.map`)
2024-10-30 06:59:41 +0100EarlPitts(~EarlPitts@20014C4C1C6E670035C3E8C179579344.catv.pool.telekom.hu)
2024-10-30 07:02:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 07:05:44 +0100 <jackdk> And even then it only proves that non-equivalence in the presence of pathological^Wdoofus `Eq`/`Ord` instances
2024-10-30 07:06:26 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2024-10-30 07:07:01 +0100michalz(~michalz@185.246.207.201)
2024-10-30 07:07:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-30 07:08:05 +0100Spawns_Carpeting(~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2024-10-30 07:09:50 +0100 <mauke> that's like saying all primes are odd because the counterexample of 2 is "doofus"
2024-10-30 07:10:27 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-30 07:11:09 +0100Spawns_Carpeting(~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting
2024-10-30 07:12:26 +0100ubert(~Thunderbi@178.165.189.55.wireless.dyn.drei.com) ubert
2024-10-30 07:15:22 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2024-10-30 07:15:49 +0100euleritian(~euleritia@dynamic-176-006-131-000.176.6.pool.telefonica.de)
2024-10-30 07:18:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 07:24:45 +0100kenran(~user@user/kenran) kenran
2024-10-30 07:25:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-30 07:29:34 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-10-30 07:30:15 +0100user363627(~user@user/user363627) (Remote host closed the connection)
2024-10-30 07:35:36 +0100alphazone_(~alphazone@2.219.56.221) (Ping timeout: 246 seconds)
2024-10-30 07:36:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 07:37:57 +0100 <jackdk> Nah all primes are odd once you correct for measurement error
2024-10-30 07:40:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-30 07:43:52 +0100ell(~ellie@user/ellie) (Read error: Connection reset by peer)
2024-10-30 07:44:01 +0100ell2(~ellie@user/ellie) ellie
2024-10-30 07:44:19 +0100alioguzhan(~Thunderbi@78.173.91.30) (Ping timeout: 244 seconds)
2024-10-30 07:48:18 +0100 <Leary> The instances are lawful if the contents of the newtype cannot be inspected, otherwise they're just awful.
2024-10-30 07:50:05 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2024-10-30 07:51:24 +0100alphabitserial(~alphabits@user/alphabitserial) alphabitserial
2024-10-30 07:51:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 07:51:51 +0100EarlPitts(~EarlPitts@20014C4C1C6E670035C3E8C179579344.catv.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-10-30 07:54:29 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-30 07:56:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-30 08:00:01 +0100caconym(~caconym@user/caconym) (Quit: bye)
2024-10-30 08:00:38 +0100caconym(~caconym@user/caconym) caconym
2024-10-30 08:02:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 08:02:20 +0100DigitteknohippieDigit
2024-10-30 08:03:25 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-30 08:06:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-30 08:07:24 +0100alphabitserial(~alphabits@user/alphabitserial) (Quit: alphabitserial)
2024-10-30 08:17:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 08:20:14 +0100ubert(~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 255 seconds)
2024-10-30 08:22:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-30 08:26:30 +0100preflex(~preflex@schedar.uberspace.de)
2024-10-30 08:27:02 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-30 08:33:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 08:37:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-30 08:42:18 +0100jle`(~jle`@2603:8001:3b02:84d4:467d:3e5f:31ca:9a0a) (Ping timeout: 276 seconds)
2024-10-30 08:43:24 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2024-10-30 08:43:44 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-10-30 08:45:47 +0100jle`(~jle`@syn-023-240-075-236.res.spectrum.com) jle`
2024-10-30 08:48:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 08:48:24 +0100Square2(~Square4@user/square) Square
2024-10-30 08:48:40 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-10-30 08:49:09 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2024-10-30 08:49:12 +0100alphabitserial(~alphabits@user/alphabitserial) alphabitserial
2024-10-30 08:52:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-30 08:57:10 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-10-30 09:03:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-30 09:07:04 +0100acidjnk_new(~acidjnk@p200300d6e7283f52e45246a7ea38e27a.dip0.t-ipconnect.de) acidjnk
2024-10-30 09:08:31 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-10-30 09:08:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-30 09:08:50 +0100CiaoSen(~Jura@2a05:5800:481:1f00:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-30 09:11:14 +0100ft(~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving)
2024-10-30 09:11:44 +0100alp(~alp@2001:861:e3d6:8f80:1380:9a94:518c:2b43)
2024-10-30 09:12:07 +0100preflex(~preflex@schedar.uberspace.de) (Remote host closed the connection)
2024-10-30 09:12:15 +0100preflex(~preflex@schedar.uberspace.de)
2024-10-30 09:20:00 +0100euleritian(~euleritia@dynamic-176-006-131-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-30 09:20:18 +0100euleritian(~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de)
2024-10-30 09:33:42 +0100 <Inst> jackdk: isn't that more about implementation details?
2024-10-30 09:34:04 +0100 <Inst> Actually, I see where monochrom is right and Snoyman's wrong here, because the Haskell Set a is not a proper Set, but its interface assumes it is
2024-10-30 09:35:37 +0100 <Inst> ah, so you can orphan instance Set into Functor, cool, except it's not a true Set you're orphan instancing but rather a size-balanced binary tree
2024-10-30 09:37:37 +0100 <Inst> cool, Set exports its constructors so Set is technically broken
2024-10-30 09:38:32 +0100 <Inst> also, the reason I showed up this time was to ask
2024-10-30 09:38:55 +0100 <Inst> is it true to say that, ignoring laziness, Haskell has no implicit state?
2024-10-30 09:39:22 +0100 <Inst> i.e, all state is explicit and is notated in the type system (IO / State / Reader ... etc)
2024-10-30 09:45:52 +0100ph88(~ph88@2a02:8109:9e26:c800:3808:5ad1:785a:e722) ph88
2024-10-30 09:46:24 +0100 <ph88> Could any type wizards have a look at this code? https://play.haskell.org/saved/io5gf3oy
2024-10-30 09:50:32 +0100merijn(~merijn@77.242.116.146) merijn
2024-10-30 09:53:15 +0100 <Inst> hmmm, weird, Set(..) should import all the constructors
2024-10-30 09:55:15 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2024-10-30 09:56:29 +0100 <tomsmeding> ph88: https://play.haskell.org/saved/gbALp3A0
2024-10-30 09:57:37 +0100 <tomsmeding> ph88: a let-binding is lazy, so it cannot generate any type evidence: to be certain that the type evidence you discover (such as equalities) is actually valid, you have to evaluate the proof (the GADT constructor) to WHNF
2024-10-30 09:58:16 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-10-30 09:58:20 +0100 <tomsmeding> GHC goes even further and disallows the let-binding altogether, I'm not sure what the technical reason for that is, but it couldn't work anyway
2024-10-30 09:59:04 +0100 <tomsmeding> (indeed, a bang pattern is insufficient, you really need a case)
2024-10-30 09:59:15 +0100 <tomsmeding> something to do with scoping of existential type variables, probably
2024-10-30 10:01:24 +0100merijn(~merijn@77.242.116.146) merijn
2024-10-30 10:03:31 +0100 <tomsmeding> ph88: if you don't like the case then a pattern guard also suffices https://play.haskell.org/saved/HDgQPO9u, and you can even put the `let childName2` as a guard too
2024-10-30 10:05:35 +0100 <Inst> ah, I misread the CPP, Set only exports the type if it's not ni Testing, so it's opaque
2024-10-30 10:05:45 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2024-10-30 10:05:47 +0100 <tomsmeding> Inst: looking at the haddocks is easier :p
2024-10-30 10:05:56 +0100 <tomsmeding> the constructors are only exposed from the .Internal module, which seems fine
2024-10-30 10:06:32 +0100alphazone(~alphazone@2.219.56.221)
2024-10-30 10:06:41 +0100AlexZenon(~alzenon@178.34.150.252) (Quit: ;-)
2024-10-30 10:07:24 +0100AlexNoo(~AlexNoo@178.34.150.252) (Quit: Leaving)
2024-10-30 10:08:31 +0100 <Inst> what's going on with Set, anyways?
2024-10-30 10:08:56 +0100preflex(~preflex@schedar.uberspace.de) (Remote host closed the connection)
2024-10-30 10:09:03 +0100 <Inst> empty :: Set a; i.e, without constraint
2024-10-30 10:09:30 +0100 <Inst> it's possible to create a Set using Set.singleton that, ummm, can't have elements added to or removed from it
2024-10-30 10:09:44 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-10-30 10:12:02 +0100 <Inst> i mean, unless i'm wrong about Set, i'm going to stop kicking the tires, I don't think much of containers
2024-10-30 10:13:11 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-30 10:15:38 +0100 <tomsmeding> that is possible
2024-10-30 10:15:41 +0100 <tomsmeding> why is that a problem?
2024-10-30 10:16:25 +0100 <tomsmeding> you can fully consistently create a one-element set and then request a list of all elements in the set in increasing order
2024-10-30 10:16:27 +0100merijn(~merijn@77.242.116.146) merijn
2024-10-30 10:16:44 +0100 <tomsmeding> not sure what's wrong with that
2024-10-30 10:16:49 +0100 <tomsmeding> though it's not terribly useful
2024-10-30 10:17:07 +0100 <Inst> thanks for showing i'm probably wrong about Set being weird
2024-10-30 10:17:38 +0100 <tomsmeding> the type class system ensures that if you ask for an Ord a dictionary, then you'll always get the same one
2024-10-30 10:17:53 +0100 <tomsmeding> so Set doesn't need to "save" the dictionary somehow when creating a new set, it can just request it whenever it needs it
2024-10-30 10:18:15 +0100 <tomsmeding> and you can create a singleton set without needing the dictionary, so why ask for it?
2024-10-30 10:23:53 +0100 <Inst> so it's a performance optimization
2024-10-30 10:24:01 +0100preflex(~preflex@user/preflex) preflex
2024-10-30 10:24:11 +0100 <Inst> is Set generally (not always) more performant than list, given that it's an ordered size-balanced binary tree?
2024-10-30 10:24:25 +0100 <tomsmeding> for what operations?
2024-10-30 10:24:30 +0100AlexNoo(~AlexNoo@178.34.150.252)
2024-10-30 10:24:37 +0100AlexZenon(~alzenon@178.34.150.252)
2024-10-30 10:24:39 +0100 <tomsmeding> some things are faster for Set, some things are slower
2024-10-30 10:25:23 +0100 <mauke> preflex: quote
2024-10-30 10:25:23 +0100 <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 10:25:29 +0100 <mauke> cool, so that's working again
2024-10-30 10:25:47 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 255 seconds)
2024-10-30 10:26:01 +0100 <Inst> (remember back when people were bragging that GHC was 80% of C++ performance? ;_;)
2024-10-30 10:27:23 +0100merijn(~merijn@77.242.116.146) merijn
2024-10-30 10:28:37 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-30 10:30:01 +0100 <tomsmeding> c++ _compilers_, or the code _generated_ by c++ compilers?
2024-10-30 10:31:56 +0100 <merijn> ooh, I just joined at the right time for some pedantic opinions :>
2024-10-30 10:32:09 +0100 <merijn> What are we praising/criticising about C++? ;)
2024-10-30 10:33:00 +0100 <tomsmeding> https://ircbrowse.tomsmeding.com/browse/lchaskell?id=1391621#trid1391621
2024-10-30 10:33:23 +0100 <tomsmeding> sorry, not much depth here :p
2024-10-30 10:33:26 +0100 <tomsmeding> also /me afk
2024-10-30 10:33:33 +0100 <mauke> c++ compilers :-)
2024-10-30 10:34:07 +0100 <merijn> I mean, C++ compilers were never that far ahead of GHC in terms of compilation times anyway >.>
2024-10-30 10:34:07 +0100 <mauke> preflex: seen merijn
2024-10-30 10:34:07 +0100 <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 10:34:16 +0100 <mauke> good, good
2024-10-30 10:34:21 +0100 <merijn> :O
2024-10-30 10:34:49 +0100 <merijn> This is like seeing a corpse come back to live
2024-10-30 10:34:54 +0100merijnpats preflex
2024-10-30 10:35:39 +0100euleritian(~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-10-30 10:36:24 +0100euleritian(~euleritia@dynamic-176-006-131-000.176.6.pool.telefonica.de)
2024-10-30 10:36:49 +0100 <mauke> preflex: calc 2 ( + 3
2024-10-30 10:36:49 +0100 <preflex> 5
2024-10-30 10:38:15 +0100rvalue-(~rvalue@user/rvalue) rvalue
2024-10-30 10:39:07 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 264 seconds)
2024-10-30 10:42:14 +0100rvalue-rvalue
2024-10-30 10:43:25 +0100xff0x(~xff0x@182.169.73.28) (Ping timeout: 265 seconds)
2024-10-30 10:44:14 +0100preflex(~preflex@user/preflex) (Remote host closed the connection)
2024-10-30 10:44:16 +0100mesaoptimizer(~mesaoptim@user/PapuaHardyNet) (Remote host closed the connection)
2024-10-30 10:44:23 +0100preflex(~preflex@user/preflex) preflex
2024-10-30 10:44:26 +0100samhh(7569f027cf@2a03:6000:1812:100::e4) (Read error: Connection reset by peer)
2024-10-30 10:44:26 +0100duncan(c6181279e3@user/meow/duncan) (Read error: Connection reset by peer)
2024-10-30 10:44:26 +0100samhh_samhh
2024-10-30 10:44:27 +0100eso(a0662dfd5e@2a03:6000:1812:100::1266) (Read error: Connection reset by peer)
2024-10-30 10:44:27 +0100pmk(6afe4476a1@2a03:6000:1812:100::26d) (Read error: Connection reset by peer)
2024-10-30 10:44:28 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-10-30 10:44:31 +0100rselim(ce261f06ff@user/milesrout) (Read error: Connection reset by peer)
2024-10-30 10:44:34 +0100pmk(6afe4476a1@2a03:6000:1812:100::26d) pmk
2024-10-30 10:44:34 +0100fn_lumi(3d621153a5@2a03:6000:1812:100::df7) (Read error: Connection reset by peer)
2024-10-30 10:44:34 +0100lucyy(228ee8f0ce@user/lucyy) (Read error: Connection reset by peer)
2024-10-30 10:44:34 +0100cpli(77fc530071@2a03:6000:1812:100::252) (Read error: Connection reset by peer)
2024-10-30 10:44:34 +0100JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) (Read error: Connection reset by peer)
2024-10-30 10:44:34 +0100sus(1b7af6299f@user/zeromomentum) (Read error: Connection reset by peer)
2024-10-30 10:44:34 +0100sm2n(ae95cb1267@user/sm2n) (Read error: Connection reset by peer)
2024-10-30 10:44:34 +0100jmcantrell(644f1bed9a@user/jmcantrell) (Read error: Connection reset by peer)
2024-10-30 10:44:35 +0100eso(a0662dfd5e@2a03:6000:1812:100::1266) jeso
2024-10-30 10:44:35 +0100jkoshy(99b9359beb@user/jkoshy) (Read error: Connection reset by peer)
2024-10-30 10:44:35 +0100probie(cc0b34050a@user/probie) (Read error: Connection reset by peer)
2024-10-30 10:44:36 +0100lane(809450f172@2a03:6000:1812:100::1300) (Read error: Connection reset by peer)
2024-10-30 10:44:40 +0100rselim(ce261f06ff@user/milesrout) milesrout
2024-10-30 10:44:42 +0100sus_(1b7af6299f@user/zeromomentum) zeromomentum
2024-10-30 10:44:42 +0100fn_lumi_(3d621153a5@2a03:6000:1812:100::df7) fn_lumi
2024-10-30 10:44:43 +0100jmcantrell_(644f1bed9a@user/jmcantrell) jmcantrell
2024-10-30 10:44:43 +0100jkoshy(99b9359beb@user/jkoshy) jkoshy
2024-10-30 10:44:43 +0100lucyy(228ee8f0ce@user/lucyy) lucyy
2024-10-30 10:44:43 +0100JoelMcCracken_(5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken
2024-10-30 10:44:43 +0100sm2n_(ae95cb1267@user/sm2n) sm2n
2024-10-30 10:44:44 +0100cpli_(77fc530071@2a03:6000:1812:100::252) cpli
2024-10-30 10:44:44 +0100lane_(809450f172@2a03:6000:1812:100::1300)
2024-10-30 10:44:44 +0100probie(cc0b34050a@user/probie) probie
2024-10-30 10:44:48 +0100sus_sus
2024-10-30 10:44:58 +0100fn_lumi_fn_lumi
2024-10-30 10:45:30 +0100JoelMcCracken_JoelMcCracken
2024-10-30 10:46:12 +0100jmcantrell_jmcantrell
2024-10-30 10:46:22 +0100cpli_cpli
2024-10-30 10:47:54 +0100sm2n_sm2n
2024-10-30 10:53:42 +0100myme(~myme@2a01:799:d5c:5f00:e607:4386:5207:22da) (Ping timeout: 246 seconds)
2024-10-30 10:54:56 +0100myme(~myme@2a01:799:d5c:5f00:9bb9:600b:e984:ed63) myme
2024-10-30 10:56:59 +0100 <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 10:57:03 +0100Ankhers(e99e97ef8e@2a03:6000:1812:100::2a2) (Ping timeout: 245 seconds)
2024-10-30 10:57:12 +0100ggb(a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 246 seconds)
2024-10-30 10:57:12 +0100ursa-major(114efe6c39@2a03:6000:1812:100::11f3) (Ping timeout: 246 seconds)
2024-10-30 10:57:15 +0100probie(cc0b34050a@user/probie) (Ping timeout: 260 seconds)
2024-10-30 10:57:15 +0100rselim(ce261f06ff@user/milesrout) (Ping timeout: 260 seconds)
2024-10-30 10:57:41 +0100arcadewise(52968ed80d@2a03:6000:1812:100::3df) (Ping timeout: 272 seconds)
2024-10-30 10:57:42 +0100chaitlatte0(ea29c0bb16@user/chaitlatte0) (Ping timeout: 252 seconds)
2024-10-30 10:57:43 +0100JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 264 seconds)
2024-10-30 10:57:43 +0100sm2n(ae95cb1267@user/sm2n) (Ping timeout: 264 seconds)
2024-10-30 10:57:43 +0100RussetParrotBear(45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 264 seconds)
2024-10-30 10:57:43 +0100bsima1(9d7e39c8ad@2a03:6000:1812:100::dd) (Ping timeout: 264 seconds)
2024-10-30 10:57:50 +0100cpli(77fc530071@2a03:6000:1812:100::252) (Ping timeout: 260 seconds)
2024-10-30 10:57:50 +0100jmcantrell(644f1bed9a@user/jmcantrell) (Ping timeout: 260 seconds)
2024-10-30 10:57:54 +0100aniketd(32aa4844cd@2a03:6000:1812:100::dcb) (Ping timeout: 246 seconds)
2024-10-30 10:57:54 +0100evanrelf(3addc196af@2a03:6000:1812:100::f0) (Ping timeout: 246 seconds)
2024-10-30 10:57:54 +0100titibandit(e33ffbab65@user/titibandit) (Ping timeout: 246 seconds)
2024-10-30 10:58:04 +0100fgaz(1ff9197ed6@2a03:6000:1812:100::11ea) (Ping timeout: 244 seconds)
2024-10-30 10:58:15 +0100ymherklotz(cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 246 seconds)
2024-10-30 10:58:15 +0100whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 246 seconds)
2024-10-30 10:58:18 +0100smiesner(b0cf5acf8c@user/smiesner) (Ping timeout: 272 seconds)
2024-10-30 10:58:18 +0100b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 272 seconds)
2024-10-30 10:58:19 +0100fvr(ef3e56ca8b@2a03:6000:1812:100::3c4) (Ping timeout: 245 seconds)
2024-10-30 10:58:22 +0100 <tomsmeding> mauke: what is... that syntax?
2024-10-30 10:58:25 +0100samhh(7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 260 seconds)
2024-10-30 10:58:25 +0100bwolf(c3bc363dd1@2a03:6000:1812:100::180) (Ping timeout: 260 seconds)
2024-10-30 10:58:36 +0100akspecs(00cc8321af@sourcehut/user/akspecs) (Ping timeout: 246 seconds)
2024-10-30 10:58:53 +0100 <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 10:58:55 +0100 <tomsmeding> :p
2024-10-30 10:58:55 +0100lane_(809450f172@2a03:6000:1812:100::1300) (Ping timeout: 264 seconds)
2024-10-30 10:58:55 +0100sus(1b7af6299f@user/zeromomentum) (Ping timeout: 264 seconds)
2024-10-30 10:58:56 +0100raghavgururajan(ea769b8000@user/raghavgururajan) (Ping timeout: 272 seconds)
2024-10-30 10:58:56 +0100tok(da65c7b04b@user/tok) (Ping timeout: 272 seconds)
2024-10-30 10:58:56 +0100henrytill(e0180937c3@2a03:6000:1812:100::e8c) (Ping timeout: 272 seconds)
2024-10-30 10:58:57 +0100filwisher(2e6936c793@2a03:6000:1812:100::170) (Ping timeout: 246 seconds)
2024-10-30 10:59:00 +0100fn_lumi(3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 260 seconds)
2024-10-30 10:59:00 +0100jkoshy(99b9359beb@user/jkoshy) (Ping timeout: 260 seconds)
2024-10-30 10:59:00 +0100lucyy(228ee8f0ce@user/lucyy) (Ping timeout: 260 seconds)
2024-10-30 10:59:00 +0100eso(a0662dfd5e@2a03:6000:1812:100::1266) (Ping timeout: 260 seconds)
2024-10-30 10:59:00 +0100pmk(6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 260 seconds)
2024-10-30 10:59:00 +0100jleightcap(7bc4014b62@user/jleightcap) (Ping timeout: 260 seconds)
2024-10-30 10:59:07 +0100euleritian(~euleritia@dynamic-176-006-131-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-30 10:59:13 +0100 <tomsmeding> I very disproportionally write heavily typed code so this comes up rather often
2024-10-30 10:59:26 +0100 <tomsmeding> preflex: calc 2 + ( 3
2024-10-30 10:59:26 +0100 <preflex> 5
2024-10-30 10:59:34 +0100lukec(9dfd4d094e@2a03:6000:1812:100::10e) (Ping timeout: 272 seconds)
2024-10-30 10:59:34 +0100jakzale(6291399afa@user/jakzale) (Ping timeout: 272 seconds)
2024-10-30 10:59:34 +0100shreyasminocha(51fdc93eda@user/shreyasminocha) (Ping timeout: 272 seconds)
2024-10-30 10:59:36 +0100euleritian(~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de)
2024-10-30 10:59:37 +0100 <tomsmeding> preflex: calc 2 * (3 + 4)
2024-10-30 10:59:37 +0100 <preflex> 14
2024-10-30 10:59:43 +0100 <tomsmeding> preflex: calc 2 * 3) + 4
2024-10-30 10:59:43 +0100 <preflex> 10
2024-10-30 10:59:53 +0100 <tomsmeding> unused parentheses are just... unused?
2024-10-30 10:59:57 +0100 <tomsmeding> preflex: calc 2 * (3 + 4
2024-10-30 10:59:57 +0100 <preflex> 14
2024-10-30 11:00:06 +0100 <tomsmeding> preflex: calc 3 + 4) * 2
2024-10-30 11:00:06 +0100 <preflex> 14
2024-10-30 11:00:08 +0100 <tomsmeding> :o
2024-10-30 11:00:12 +0100 <tomsmeding> interesting
2024-10-30 11:01:08 +0100 <ph88> tomsmeding, genius :D
2024-10-30 11:01:12 +0100 <mauke> enhanced infix notation
2024-10-30 11:01:18 +0100 <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 11:01:30 +0100 <tomsmeding> so apparently that a1 referes to the 'a' in MkEntity's signature
2024-10-30 11:01:34 +0100 <tomsmeding> *refers
2024-10-30 11:01:34 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 11:01:45 +0100 <tomsmeding> so what does it mean that 'a' _escapes its scope_?
2024-10-30 11:02:15 +0100fgaz(1ff9197ed6@2a03:6000:1812:100::11ea) fgaz
2024-10-30 11:02:24 +0100 <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 11:02:35 +0100 <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 11:02:37 +0100 <tomsmeding> and to preserve soundness, the external type of that construct cannot mention the existential type variable
2024-10-30 11:02:50 +0100 <tomsmeding> 'let' doesn't make a suitable scope
2024-10-30 11:03:25 +0100 <ph88> you mentioned before that the let binding is lazy, thus not creating the suitable scope ?
2024-10-30 11:03:46 +0100 <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 11:03:50 +0100 <tomsmeding> (I read this a few years ago)
2024-10-30 11:03:58 +0100 <tomsmeding> ph88: yes, I think that's what's happening
2024-10-30 11:05:03 +0100 <mauke> preflex: calc 2 3 *)+ 4
2024-10-30 11:05:03 +0100 <preflex> 10
2024-10-30 11:05:45 +0100 <tomsmeding> ph88: hm, seems the paper doesn't really explain the status quo
2024-10-30 11:06:24 +0100 <tomsmeding> but there are bits and pieces here and there
2024-10-30 11:06:24 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-10-30 11:06:34 +0100ph88^(~ph88@2a02:8109:9e26:c800:ed53:7d07:6030:570a)
2024-10-30 11:06:38 +0100mesaoptimizer(~mesaoptim@user/PapuaHardyNet) PapuaHardyNet
2024-10-30 11:07:39 +0100fvr(ef3e56ca8b@2a03:6000:1812:100::3c4) fvr
2024-10-30 11:07:39 +0100lane(809450f172@2a03:6000:1812:100::1300) lane
2024-10-30 11:07:41 +0100ursa-major(114efe6c39@2a03:6000:1812:100::11f3) ursa-major
2024-10-30 11:07:43 +0100titibandit(e33ffbab65@user/titibandit) titibandit
2024-10-30 11:07:43 +0100fn_lumi(3d621153a5@2a03:6000:1812:100::df7) fn_lumi
2024-10-30 11:07:44 +0100aniketd(32aa4844cd@2a03:6000:1812:100::dcb) aniketd
2024-10-30 11:07:45 +0100Ankhers(e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers
2024-10-30 11:07:49 +0100smiesner(b0cf5acf8c@user/smiesner) smiesner
2024-10-30 11:07:49 +0100jkoshy(99b9359beb@user/jkoshy) jkoshy
2024-10-30 11:07:50 +0100bsima1(9d7e39c8ad@2a03:6000:1812:100::dd)
2024-10-30 11:07:52 +0100chaitlatte0(ea29c0bb16@user/chaitlatte0) chaitlatte0
2024-10-30 11:07:52 +0100evanrelf(3addc196af@2a03:6000:1812:100::f0) evanrelf
2024-10-30 11:07:53 +0100jakzale(6291399afa@user/jakzale) jakzale
2024-10-30 11:07:56 +0100whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4) whereiseveryone
2024-10-30 11:08:06 +0100samhh(7569f027cf@2a03:6000:1812:100::e4) samhh
2024-10-30 11:08:09 +0100JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken
2024-10-30 11:08:11 +0100jleightcap(7bc4014b62@user/jleightcap) jleightcap
2024-10-30 11:08:13 +0100ubert(~Thunderbi@178.165.189.55.wireless.dyn.drei.com) ubert
2024-10-30 11:08:18 +0100RussetParrotBear(45ce440a48@2a03:6000:1812:100::e2)
2024-10-30 11:08:19 +0100 <tomsmeding> ph88: second bullet point here https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/existential_quantification.html#res…
2024-10-30 11:08:21 +0100rselim(ce261f06ff@user/milesrout) milesrout
2024-10-30 11:08:26 +0100bwolf(c3bc363dd1@2a03:6000:1812:100::180) bwolf
2024-10-30 11:08:27 +0100sus(1b7af6299f@user/zeromomentum) zeromomentum
2024-10-30 11:08:33 +0100ph88(~ph88@2a02:8109:9e26:c800:3808:5ad1:785a:e722) (Ping timeout: 265 seconds)
2024-10-30 11:08:47 +0100 <tomsmeding> apparently it's "otherwise the implementation gets even more complicated" :D
2024-10-30 11:08:49 +0100 <ph88^> thanks! i'll see if i can understand it
2024-10-30 11:11:08 +0100 <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 11:11:10 +0100ph88(~ph88@2a02:8109:9e26:c800:c35a:a881:34b9:612a) ph88
2024-10-30 11:11:30 +0100 <tomsmeding> apparently this is not sufficient reason to lift the restricion :p
2024-10-30 11:11:56 +0100 <tomsmeding> nice, this list is cool, I should have read it years ago
2024-10-30 11:12:37 +0100petrichor(~znc-user@user/petrichor) petrichor
2024-10-30 11:12:51 +0100 <ph88> You mean this list? https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/existential_quantification.html#res…
2024-10-30 11:13:28 +0100ggb(a62ffbaf4f@2a03:6000:1812:100::3ac) ggb
2024-10-30 11:13:54 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-30 11:14:21 +0100ph88^(~ph88@2a02:8109:9e26:c800:ed53:7d07:6030:570a) (Ping timeout: 265 seconds)
2024-10-30 11:15:25 +0100samhh_(7569f027cf@2a03:6000:1812:100::e4) samhh
2024-10-30 11:16:11 +0100duncan(c6181279e3@user/meow/duncan) duncan
2024-10-30 11:16:48 +0100 <tomsmeding> yes
2024-10-30 11:17:05 +0100qaotsap(~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 255 seconds)
2024-10-30 11:17:41 +0100eso(a0662dfd5e@2a03:6000:1812:100::1266) jeso
2024-10-30 11:17:59 +0100lucyy(228ee8f0ce@user/lucyy) lucyy
2024-10-30 11:17:59 +0100akspecs(00cc8321af@sourcehut/user/akspecs) akspecs
2024-10-30 11:18:01 +0100filwisher(2e6936c793@2a03:6000:1812:100::170)
2024-10-30 11:18:04 +0100cpli(77fc530071@2a03:6000:1812:100::252) cpli
2024-10-30 11:18:16 +0100tok(da65c7b04b@user/tok) tok
2024-10-30 11:18:38 +0100pmk(6afe4476a1@2a03:6000:1812:100::26d) pmk
2024-10-30 11:18:43 +0100henrytill(e0180937c3@2a03:6000:1812:100::e8c) henrytill
2024-10-30 11:18:48 +0100b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o
2024-10-30 11:18:55 +0100sm2n(ae95cb1267@user/sm2n) sm2n
2024-10-30 11:18:58 +0100arcadewise(52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta
2024-10-30 11:21:42 +0100paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq
2024-10-30 11:22:05 +0100chele(~chele@user/chele) chele
2024-10-30 11:28:45 +0100ymherklotz(cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz
2024-10-30 11:29:04 +0100jmcantrell(644f1bed9a@user/jmcantrell) jmcantrell
2024-10-30 11:29:07 +0100shreyasminocha(51fdc93eda@user/shreyasminocha) shreyasminocha
2024-10-30 11:33:08 +0100ubert(~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 272 seconds)
2024-10-30 11:33:55 +0100ubert(~Thunderbi@178.165.189.55.wireless.dyn.drei.com) ubert
2024-10-30 11:39:00 +0100probie(cc0b34050a@user/probie) probie
2024-10-30 11:39:17 +0100raghavgururajan(ea769b8000@user/raghavgururajan) raghavgururajan
2024-10-30 11:39:49 +0100lukec(9dfd4d094e@2a03:6000:1812:100::10e)
2024-10-30 11:40:55 +0100ubert(~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 264 seconds)
2024-10-30 11:45:33 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-10-30 11:46:02 +0100rvalue(~rvalue@user/rvalue) rvalue
2024-10-30 11:46:21 +0100ubert(~Thunderbi@178.165.189.55.wireless.dyn.drei.com) ubert
2024-10-30 11:50:50 +0100 <jackdk> oh that's evil
2024-10-30 11:55:20 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-10-30 12:01:04 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-30 12:03:05 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-30 12:09:05 +0100xff0x(~xff0x@2405:6580:b080:900:adf3:98f8:7ac2:6549)
2024-10-30 12:09:38 +0100manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck) (Remote host closed the connection)
2024-10-30 12:11:14 +0100 <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 12:13:39 +0100manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck) manwithluck
2024-10-30 12:15:05 +0100Digitteknohippie(~user@user/digit) Digit
2024-10-30 12:15:23 +0100Digit(~user@user/digit) (Ping timeout: 245 seconds)
2024-10-30 12:22:39 +0100Digitteknohippie(~user@user/digit) (Ping timeout: 252 seconds)
2024-10-30 12:25:16 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 12:28:19 +0100raghavgururajan(ea769b8000@user/raghavgururajan) (Ping timeout: 245 seconds)
2024-10-30 12:29:45 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-10-30 12:30:06 +0100raghavgururajan(ea769b8000@user/raghavgururajan) raghavgururajan
2024-10-30 12:30:32 +0100 <ph88> nice !
2024-10-30 12:33:37 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 265 seconds)
2024-10-30 12:34:05 +0100 <ph88> tomsmeding, where is your pull going to show up? in the compiler error message or documentation?
2024-10-30 12:35:14 +0100alioguzhan(~Thunderbi@78.173.69.189)
2024-10-30 12:37:30 +0100 <tomsmeding> ph88: here https://errors.haskell.org/messages/GHC-46956/
2024-10-30 12:37:47 +0100 <tomsmeding> from GHC 9.6 onwards the diagnostics include a [GHC-46956] marker
2024-10-30 12:37:54 +0100 <tomsmeding> and in the playground that also links to the error index
2024-10-30 12:38:19 +0100 <tomsmeding> (try compiling your paste in the playground with >=9.6 ;) )
2024-10-30 12:38:40 +0100michalz(~michalz@185.246.207.201) (Read error: Connection reset by peer)
2024-10-30 12:38:57 +0100michalz(~michalz@185.246.207.201)
2024-10-30 12:45:24 +0100lukec(9dfd4d094e@2a03:6000:1812:100::10e) (Ping timeout: 245 seconds)
2024-10-30 12:45:30 +0100probie(cc0b34050a@user/probie) (Ping timeout: 252 seconds)
2024-10-30 12:45:42 +0100cpli(77fc530071@2a03:6000:1812:100::252) (Ping timeout: 246 seconds)
2024-10-30 12:45:42 +0100samhh_(7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 246 seconds)
2024-10-30 12:45:54 +0100raghavgururajan(ea769b8000@user/raghavgururajan) (Ping timeout: 248 seconds)
2024-10-30 12:45:58 +0100Ankhers(e99e97ef8e@2a03:6000:1812:100::2a2) (Ping timeout: 272 seconds)
2024-10-30 12:45:58 +0100lane(809450f172@2a03:6000:1812:100::1300) (Ping timeout: 272 seconds)
2024-10-30 12:46:03 +0100sm2n(ae95cb1267@user/sm2n) (Ping timeout: 246 seconds)
2024-10-30 12:46:03 +0100mesaoptimizer(~mesaoptim@user/PapuaHardyNet) (Ping timeout: 244 seconds)
2024-10-30 12:46:03 +0100fgaz(1ff9197ed6@2a03:6000:1812:100::11ea) (Ping timeout: 244 seconds)
2024-10-30 12:46:04 +0100rselim(ce261f06ff@user/milesrout) (Ping timeout: 246 seconds)
2024-10-30 12:46:04 +0100jleightcap(7bc4014b62@user/jleightcap) (Ping timeout: 246 seconds)
2024-10-30 12:46:36 +0100filwisher(2e6936c793@2a03:6000:1812:100::170) (Ping timeout: 272 seconds)
2024-10-30 12:46:36 +0100eso(a0662dfd5e@2a03:6000:1812:100::1266) (Ping timeout: 272 seconds)
2024-10-30 12:46:36 +0100samhh(7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 272 seconds)
2024-10-30 12:46:37 +0100jakzale(6291399afa@user/jakzale) (Ping timeout: 272 seconds)
2024-10-30 12:46:37 +0100aniketd(32aa4844cd@2a03:6000:1812:100::dcb) (Ping timeout: 272 seconds)
2024-10-30 12:46:37 +0100fn_lumi(3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 272 seconds)
2024-10-30 12:46:55 +0100ymherklotz(cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 260 seconds)
2024-10-30 12:46:55 +0100shreyasminocha(51fdc93eda@user/shreyasminocha) (Ping timeout: 264 seconds)
2024-10-30 12:46:55 +0100jmcantrell(644f1bed9a@user/jmcantrell) (Ping timeout: 264 seconds)
2024-10-30 12:47:05 +0100fvr(ef3e56ca8b@2a03:6000:1812:100::3c4) (Ping timeout: 244 seconds)
2024-10-30 12:47:06 +0100henrytill(e0180937c3@2a03:6000:1812:100::e8c) (Ping timeout: 246 seconds)
2024-10-30 12:47:06 +0100lucyy(228ee8f0ce@user/lucyy) (Ping timeout: 246 seconds)
2024-10-30 12:47:07 +0100chaitlatte0(ea29c0bb16@user/chaitlatte0) (Ping timeout: 246 seconds)
2024-10-30 12:47:07 +0100evanrelf(3addc196af@2a03:6000:1812:100::f0) (Ping timeout: 246 seconds)
2024-10-30 12:47:07 +0100bsima1(9d7e39c8ad@2a03:6000:1812:100::dd) (Ping timeout: 246 seconds)
2024-10-30 12:47:07 +0100smiesner(b0cf5acf8c@user/smiesner) (Ping timeout: 246 seconds)
2024-10-30 12:47:07 +0100jkoshy(99b9359beb@user/jkoshy) (Ping timeout: 246 seconds)
2024-10-30 12:47:07 +0100titibandit(e33ffbab65@user/titibandit) (Ping timeout: 246 seconds)
2024-10-30 12:47:14 +0100tok(da65c7b04b@user/tok) (Ping timeout: 272 seconds)
2024-10-30 12:47:14 +0100akspecs(00cc8321af@sourcehut/user/akspecs) (Ping timeout: 272 seconds)
2024-10-30 12:47:15 +0100RussetParrotBear(45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 272 seconds)
2024-10-30 12:47:15 +0100JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 272 seconds)
2024-10-30 12:47:52 +0100arcadewise(52968ed80d@2a03:6000:1812:100::3df) (Ping timeout: 272 seconds)
2024-10-30 12:47:52 +0100b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 272 seconds)
2024-10-30 12:47:52 +0100pmk(6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 272 seconds)
2024-10-30 12:47:52 +0100duncan(c6181279e3@user/meow/duncan) (Ping timeout: 272 seconds)
2024-10-30 12:47:52 +0100whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 272 seconds)
2024-10-30 12:47:52 +0100ursa-major(114efe6c39@2a03:6000:1812:100::11f3) (Ping timeout: 272 seconds)
2024-10-30 12:53:15 +0100mesaoptimizer(~mesaoptim@user/PapuaHardyNet) PapuaHardyNet
2024-10-30 12:53:45 +0100ubert(~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2024-10-30 12:54:18 +0100Guest77(~Guest77@2402:a00:401:f093:da9e:f3ff:fe4b:8a8b)
2024-10-30 12:54:21 +0100lane(809450f172@2a03:6000:1812:100::1300) lane
2024-10-30 12:54:21 +0100filwisher(2e6936c793@2a03:6000:1812:100::170)
2024-10-30 12:54:21 +0100pmk(6afe4476a1@2a03:6000:1812:100::26d) pmk
2024-10-30 12:54:22 +0100RussetParrotBear(45ce440a48@2a03:6000:1812:100::e2)
2024-10-30 12:54:22 +0100whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4) whereiseveryone
2024-10-30 12:54:22 +0100fgaz(1ff9197ed6@2a03:6000:1812:100::11ea) fgaz
2024-10-30 12:54:22 +0100sus(1b7af6299f@user/zeromomentum) zeromomentum
2024-10-30 12:54:22 +0100jkoshy(99b9359beb@user/jkoshy) jkoshy
2024-10-30 12:54:22 +0100smiesner(b0cf5acf8c@user/smiesner) smiesner
2024-10-30 12:54:22 +0100shreyasminocha(51fdc93eda@user/shreyasminocha) shreyasminocha
2024-10-30 12:54:22 +0100bsima1(9d7e39c8ad@2a03:6000:1812:100::dd)
2024-10-30 12:54:22 +0100lukec(9dfd4d094e@2a03:6000:1812:100::10e)
2024-10-30 12:54:23 +0100eso(a0662dfd5e@2a03:6000:1812:100::1266) jeso
2024-10-30 12:54:23 +0100bwolf(c3bc363dd1@2a03:6000:1812:100::180) bwolf
2024-10-30 12:54:23 +0100lucyy(228ee8f0ce@user/lucyy) lucyy
2024-10-30 12:54:23 +0100henrytill(e0180937c3@2a03:6000:1812:100::e8c) henrytill
2024-10-30 12:54:23 +0100samhh(7569f027cf@2a03:6000:1812:100::e4) samhh
2024-10-30 12:54:24 +0100ggb(a62ffbaf4f@2a03:6000:1812:100::3ac) ggb
2024-10-30 12:54:24 +0100duncan(c6181279e3@user/meow/duncan) duncan
2024-10-30 12:54:24 +0100chaitlatte0(ea29c0bb16@user/chaitlatte0) chaitlatte0
2024-10-30 12:54:24 +0100cpli(77fc530071@2a03:6000:1812:100::252) cpli
2024-10-30 12:54:24 +0100sm2n(ae95cb1267@user/sm2n) sm2n
2024-10-30 12:54:24 +0100jleightcap(7bc4014b62@user/jleightcap) jleightcap
2024-10-30 12:54:25 +0100titibandit(e33ffbab65@user/titibandit) titibandit
2024-10-30 12:54:25 +0100aniketd(32aa4844cd@2a03:6000:1812:100::dcb) aniketd
2024-10-30 12:54:26 +0100evanrelf(3addc196af@2a03:6000:1812:100::f0) evanrelf
2024-10-30 12:54:26 +0100ymherklotz(cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz
2024-10-30 12:54:26 +0100probie(cc0b34050a@user/probie) probie
2024-10-30 12:54:26 +0100raghavgururajan(ea769b8000@user/raghavgururajan) raghavgururajan
2024-10-30 12:54:26 +0100jmcantrell(644f1bed9a@user/jmcantrell) jmcantrell
2024-10-30 12:54:28 +0100fvr(ef3e56ca8b@2a03:6000:1812:100::3c4) fvr
2024-10-30 12:54:28 +0100rselim(ce261f06ff@user/milesrout) milesrout
2024-10-30 12:54:28 +0100arcadewise(52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta
2024-10-30 12:54:28 +0100tok(da65c7b04b@user/tok) tok
2024-10-30 12:54:28 +0100jakzale(6291399afa@user/jakzale) jakzale
2024-10-30 12:54:29 +0100fn_lumi(3d621153a5@2a03:6000:1812:100::df7) fn_lumi
2024-10-30 12:54:30 +0100Ankhers(e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers
2024-10-30 12:54:30 +0100JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken
2024-10-30 12:54:30 +0100akspecs(00cc8321af@sourcehut/user/akspecs) akspecs
2024-10-30 12:54:30 +0100b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o
2024-10-30 12:54:35 +0100ursa-major(114efe6c39@2a03:6000:1812:100::11f3) ursa-major
2024-10-30 12:54:36 +0100 <Guest77> asdf
2024-10-30 12:56:02 +0100samhh_(7569f027cf@2a03:6000:1812:100::e4) samhh
2024-10-30 12:57:51 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-10-30 13:03:07 +0100euleritian(~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds)
2024-10-30 13:03:31 +0100euleritian(~euleritia@dynamic-176-006-141-129.176.6.pool.telefonica.de)
2024-10-30 13:04:04 +0100notzmv(~daniel@user/notzmv) notzmv
2024-10-30 13:07:50 +0100euleritian(~euleritia@dynamic-176-006-141-129.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-30 13:08:07 +0100euleritian(~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de)
2024-10-30 13:08:18 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
2024-10-30 13:13:53 +0100preflex(~preflex@user/preflex) (Changing host)
2024-10-30 13:13:53 +0100preflex(~preflex@user/mauke/bot/preflex) preflex
2024-10-30 13:17:37 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-30 13:27:34 +0100ubert(~Thunderbi@178.165.189.55.wireless.dyn.drei.com) ubert
2024-10-30 13:53:33 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 13:54:04 +0100Digit(~user@user/digit) Digit
2024-10-30 13:56:57 +0100 <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 13:58:10 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2024-10-30 13:58:52 +0100 <Hecate> Guest77: https://www.haskell.org/get-started/ ?
2024-10-30 14:00:15 +0100Fischmiep(~Fischmiep@user/Fischmiep) (Excess Flood)
2024-10-30 14:01:04 +0100 <Guest77> Thank you buddy Hecate
2024-10-30 14:01:14 +0100 <Hecate> đź‘Ť
2024-10-30 14:03:14 +0100acidjnk_new(~acidjnk@p200300d6e7283f52e45246a7ea38e27a.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2024-10-30 14:03:57 +0100Fischmiep(~Fischmiep@user/Fischmiep) Fischmiep
2024-10-30 14:05:50 +0100weary-traveler(~user@user/user363627) user363627
2024-10-30 14:05:51 +0100 <ph88> tomsmeding, great ! i made them clickable in my terminal too https://bpa.st/7KOIC
2024-10-30 14:07:11 +0100 <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 14:08:35 +0100 <ph88> Leary what terminal do you use ?
2024-10-30 14:08:55 +0100 <Leary> kitty
2024-10-30 14:12:19 +0100 <ph88> didn't work for me, i use alacritty
2024-10-30 14:12:54 +0100Guest77(~Guest77@2402:a00:401:f093:da9e:f3ff:fe4b:8a8b) (Quit: Client closed)
2024-10-30 14:13:29 +0100arkeet(~arkeet@moriya.ca) (Ping timeout: 255 seconds)
2024-10-30 14:13:56 +0100mantraofpie(~mantraofp@user/mantraofpie) (Remote host closed the connection)
2024-10-30 14:14:19 +0100mantraofpie(~mantraofp@user/mantraofpie) mantraofpie
2024-10-30 14:14:31 +0100CiaoSen(~Jura@2a05:5800:481:1f00:ca4b:d6ff:fec1:99da) (Ping timeout: 264 seconds)
2024-10-30 14:21:00 +0100ThePenguin8(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2024-10-30 14:21:43 +0100lieven(~mal@ns2.wyrd.be) (Ping timeout: 264 seconds)
2024-10-30 14:21:46 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds)
2024-10-30 14:22:11 +0100emergence(emergence@vm0.max-p.me) (Ping timeout: 252 seconds)
2024-10-30 14:22:14 +0100xacktm(xacktm@user/xacktm) (Ping timeout: 272 seconds)
2024-10-30 14:22:14 +0100aosync(~alews@user/aws) (Ping timeout: 272 seconds)
2024-10-30 14:22:14 +0100shane_(~shane@ana.rch.ist) (Ping timeout: 272 seconds)
2024-10-30 14:22:19 +0100alp(~alp@2001:861:e3d6:8f80:1380:9a94:518c:2b43) (Ping timeout: 264 seconds)
2024-10-30 14:22:23 +0100tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2024-10-30 14:22:29 +0100chymera(~chymera@ns1000526.ip-51-81-46.us) (Ping timeout: 248 seconds)
2024-10-30 14:22:33 +0100remmie(ianremsen@tilde.team) (Ping timeout: 252 seconds)
2024-10-30 14:22:33 +0100ames(~amelia@offtopia/offtopian/amelia) (Ping timeout: 252 seconds)
2024-10-30 14:22:39 +0100pounce(~pounce@user/cute/pounce) (Ping timeout: 246 seconds)
2024-10-30 14:22:39 +0100skylord5816(~skylord58@user/skylord5816) (Ping timeout: 246 seconds)
2024-10-30 14:23:01 +0100Jonno_FTW(~come@user/jonno-ftw/x-0835346) (Ping timeout: 248 seconds)
2024-10-30 14:23:01 +0100ghoulpine(xfnw@user/meow/xfnw) (Ping timeout: 248 seconds)
2024-10-30 14:23:21 +0100Hafydd(~Hafydd@user/hafydd) (Ping timeout: 246 seconds)
2024-10-30 14:24:20 +0100chexum(~quassel@gateway/tor-sasl/chexum) chexum
2024-10-30 14:24:22 +0100pandeyan(~pandeyan@135-180-52-227.fiber.dynamic.sonic.net)
2024-10-30 14:24:31 +0100tt12310978324359(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231
2024-10-30 14:26:12 +0100Lears(~Leary@user/Leary/x-0910699) Leary
2024-10-30 14:26:26 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-10-30 14:26:39 +0100ACuriousMoose3(~ACuriousM@156.34.161.188) ACuriousMoose
2024-10-30 14:27:14 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-10-30 14:27:22 +0100apache(apache2@anubis.0x90.dk) apache2
2024-10-30 14:27:26 +0100peutri(~peutri@bobo.desast.re) (Ping timeout: 255 seconds)
2024-10-30 14:27:35 +0100arkeet(~arkeet@moriya.ca)
2024-10-30 14:27:36 +0100jakzale_(6291399afa@user/jakzale) jakzale
2024-10-30 14:27:37 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2024-10-30 14:27:38 +0100m5zs7k_(aquares@web10.mydevil.net) m5zs7k
2024-10-30 14:27:43 +0100guygastineau(~guygastin@137.184.131.156) RMSBach
2024-10-30 14:27:58 +0100hololeap_(~quassel@user/hololeap) hololeap
2024-10-30 14:28:11 +0100stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-10-30 14:28:19 +0100ggb_(a62ffbaf4f@2a03:6000:1812:100::3ac)
2024-10-30 14:28:19 +0100finstern1s(~X@23.226.237.192) finsternis
2024-10-30 14:28:29 +0100arthurvl(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) earthy
2024-10-30 14:28:38 +0100pmk_(6afe4476a1@2a03:6000:1812:100::26d)
2024-10-30 14:28:45 +0100doyougnu-(~doyougnu@syn-045-046-170-068.res.spectrum.com) doyougnu-
2024-10-30 14:29:13 +0100coldtom0(~coldtom@coldrick.cc) coldtom
2024-10-30 14:29:14 +0100ymherklotz_(cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz
2024-10-30 14:29:18 +0100adamCS_(~adamCS@71.167.235.212) adamCS
2024-10-30 14:29:36 +0100AWizzArd_(~code@gehrels.uberspace.de)
2024-10-30 14:29:40 +0100fvr_(ef3e56ca8b@2a03:6000:1812:100::3c4) fvr
2024-10-30 14:29:51 +0100SlackCoder(~SlackCode@161.199.135.130) SlackCoder
2024-10-30 14:30:13 +0100bw_(sid2730@user/betawaffle) betawaffle
2024-10-30 14:30:13 +0100arcadewise_(52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta
2024-10-30 14:30:13 +0100fn_lumi_(3d621153a5@2a03:6000:1812:100::df7) fn_lumi
2024-10-30 14:30:24 +0100[_________](~oos95GWG@user/oos95GWG) (Ping timeout: 245 seconds)
2024-10-30 14:30:30 +0100flocks_(~flocks@134.122.90.60) flocks
2024-10-30 14:30:41 +0100chymera(~chymera@ns1000526.ip-51-81-46.us) chymera
2024-10-30 14:30:45 +0100spider1(spider@tilde.cafe) (Ping timeout: 260 seconds)
2024-10-30 14:31:01 +0100rselim_(ce261f06ff@user/milesrout) milesrout
2024-10-30 14:31:02 +0100raghavgururajan_(ea769b8000@user/raghavgururajan) raghavgururajan
2024-10-30 14:31:07 +0100tok_(da65c7b04b@user/tok) tok
2024-10-30 14:31:20 +0100cpli_(77fc530071@2a03:6000:1812:100::252) cpli
2024-10-30 14:31:47 +0100samhh__(7569f027cf@2a03:6000:1812:100::e4) samhh
2024-10-30 14:31:58 +0100ringo_(~ringo@157.230.117.128) ringo_
2024-10-30 14:32:10 +0100ent-_(entgod@kapsi.fi) ent
2024-10-30 14:32:14 +0100Guest895(~ubuntu@ec2-35-163-144-64.us-west-2.compute.amazonaws.com) pdxleif
2024-10-30 14:32:17 +0100pointlessslippe-(~pointless@62.106.85.17)
2024-10-30 14:32:20 +0100pounce(~pounce@user/cute/pounce) pounce
2024-10-30 14:32:21 +0100shane(~shane@ana.rch.ist)
2024-10-30 14:32:26 +0100lbseale_(~quassel@user/ep1ctetus) ep1ctetus
2024-10-30 14:32:27 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
2024-10-30 14:32:27 +0100hololeap(~quassel@user/hololeap) (Quit: No Ping reply in 180 seconds.)
2024-10-30 14:32:27 +0100anpad(~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in)
2024-10-30 14:32:27 +0100tt1231097832435(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: Ping timeout (120 seconds))
2024-10-30 14:32:27 +0100wryish(~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (Quit: %blank%)
2024-10-30 14:32:28 +0100jakzale(6291399afa@user/jakzale) (Ping timeout: 252 seconds)
2024-10-30 14:32:28 +0100RussetParrotBear(45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 252 seconds)
2024-10-30 14:32:28 +0100Leary(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2024-10-30 14:32:28 +0100pmk(6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 252 seconds)
2024-10-30 14:32:28 +0100m5zs7k(aquares@web10.mydevil.net) (Quit: m5zs7k)
2024-10-30 14:32:28 +0100cpli(77fc530071@2a03:6000:1812:100::252) (Ping timeout: 252 seconds)
2024-10-30 14:32:28 +0100apache2(apache2@anubis.0x90.dk) (Remote host closed the connection)
2024-10-30 14:32:28 +0100fvr(ef3e56ca8b@2a03:6000:1812:100::3c4) (Ping timeout: 252 seconds)
2024-10-30 14:32:28 +0100arcadewise(52968ed80d@2a03:6000:1812:100::3df) (Ping timeout: 252 seconds)
2024-10-30 14:32:28 +0100fn_lumi(3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 252 seconds)
2024-10-30 14:32:28 +0100jakzale_jakzale
2024-10-30 14:32:28 +0100tt12310978324359tt1231097832435
2024-10-30 14:32:29 +0100fvr_fvr
2024-10-30 14:32:29 +0100arcadewise_arcadewise
2024-10-30 14:32:29 +0100fn_lumi_fn_lumi
2024-10-30 14:32:30 +0100farn__(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) farn
2024-10-30 14:32:33 +0100rselim(ce261f06ff@user/milesrout) (Ping timeout: 252 seconds)
2024-10-30 14:32:33 +0100tok(da65c7b04b@user/tok) (Ping timeout: 252 seconds)
2024-10-30 14:32:33 +0100ymherklotz(cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 252 seconds)
2024-10-30 14:32:33 +0100ggb(a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 252 seconds)
2024-10-30 14:32:33 +0100robertm(robertm@lattice.rojoma.com) (Ping timeout: 252 seconds)
2024-10-30 14:32:33 +0100doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in)
2024-10-30 14:32:33 +0100samhh_(7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 252 seconds)
2024-10-30 14:32:33 +0100adamCS(~adamCS@71.167.235.212) (Read error: Connection reset by peer)
2024-10-30 14:32:33 +0100raghavgururajan(ea769b8000@user/raghavgururajan) (Ping timeout: 252 seconds)
2024-10-30 14:32:33 +0100Flow(~none@gentoo/developer/flow) (Ping timeout: 252 seconds)
2024-10-30 14:32:33 +0100AWizzArd(~code@user/awizzard) (Remote host closed the connection)
2024-10-30 14:32:33 +0100Angelz(Angelz@user/angelz) (Ping timeout: 252 seconds)
2024-10-30 14:32:33 +0100flocks(~flocks@134.122.90.60) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
2024-10-30 14:32:33 +0100tjbc(~tjbc@user/fliife) (Quit: ZNC - https://znc.in)
2024-10-30 14:32:33 +0100pdxleif(~ubuntu@ec2-35-163-144-64.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds)
2024-10-30 14:32:33 +0100ringo___(~ringo@157.230.117.128) (Ping timeout: 252 seconds)
2024-10-30 14:32:33 +0100pointlessslippe1(~pointless@62.106.85.17) (Quit: ZNC - http://znc.in)
2024-10-30 14:32:33 +0100ent(entgod@kapsi.fi) (Ping timeout: 252 seconds)
2024-10-30 14:32:33 +0100farn_(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Ping timeout: 252 seconds)
2024-10-30 14:32:34 +0100rselim_rselim
2024-10-30 14:32:34 +0100tok_tok
2024-10-30 14:32:34 +0100ggb_ggb
2024-10-30 14:32:34 +0100adamCS_adamCS
2024-10-30 14:32:35 +0100ymherklotz_ymherklotz
2024-10-30 14:32:37 +0100[_________](~oos95GWG@user/oos95GWG) oos95GWG
2024-10-30 14:32:42 +0100peutri(~peutri@bobo.desast.re) peutri
2024-10-30 14:32:51 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: Ping timeout (120 seconds))
2024-10-30 14:32:51 +0100ThePenguin8ThePenguin
2024-10-30 14:32:53 +0100aosync(~alews@141.94.77.100)
2024-10-30 14:32:53 +0100aosync(~alews@141.94.77.100) (Changing host)
2024-10-30 14:32:53 +0100aosync(~alews@user/aws) aws
2024-10-30 14:32:53 +0100alp(~alp@2001:861:e3d6:8f80:1380:9a94:518c:2b43)
2024-10-30 14:32:53 +0100mal1(~mal@ns2.wyrd.be)
2024-10-30 14:32:53 +0100Jonno_FTW(~come@api.carswap.me)
2024-10-30 14:32:53 +0100wryishly(~wryish@216.246.119.62)
2024-10-30 14:32:53 +0100AlexNoo(~AlexNoo@178.34.150.252) (Read error: Connection reset by peer)
2024-10-30 14:32:53 +0100Jonno_FTW(~come@api.carswap.me) (Changing host)
2024-10-30 14:32:53 +0100Jonno_FTW(~come@user/jonno-ftw/x-0835346) Jonno_FTW
2024-10-30 14:32:53 +0100Franciman(~Franciman@mx1.fracta.dev) (Read error: Connection reset by peer)
2024-10-30 14:32:53 +0100sadmax(~user@64.130.91.66) (Remote host closed the connection)
2024-10-30 14:32:53 +0100bw(sid2730@user/betawaffle) (Ping timeout: 276 seconds)
2024-10-30 14:32:53 +0100ACuriousMoose(~ACuriousM@156.34.161.188) (Quit: Ping timeout (120 seconds))
2024-10-30 14:32:54 +0100RMSBach(~guygastin@137.184.131.156) (Quit: ZNC - https://znc.in)
2024-10-30 14:32:54 +0100welterde(welterde@thinkbase.srv.welterde.de) (Ping timeout: 276 seconds)
2024-10-30 14:32:54 +0100finsternis(~X@23.226.237.192) (Remote host closed the connection)
2024-10-30 14:32:54 +0100motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 276 seconds)
2024-10-30 14:32:54 +0100earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 276 seconds)
2024-10-30 14:32:54 +0100coldtom(~coldtom@coldrick.cc) (Quit: Ping timeout (120 seconds))
2024-10-30 14:32:54 +0100jocke-l(jocke-l@a.x0.is) (Ping timeout: 276 seconds)
2024-10-30 14:32:54 +0100ZLima12(~zlima12@user/meow/ZLima12) (Remote host closed the connection)
2024-10-30 14:32:54 +0100lbseale(~quassel@user/ep1ctetus) (Quit: No Ping reply in 180 seconds.)
2024-10-30 14:32:54 +0100Ttech(~adran@botters/adran) (Ping timeout: 276 seconds)
2024-10-30 14:32:54 +0100AlexNoo(~AlexNoo@178.34.150.252)
2024-10-30 14:32:54 +0100sadmax`(~user@64.130.91.66)
2024-10-30 14:32:54 +0100ouroboros(~ouroboros@user/ouroboros) (Quit: Bye.)
2024-10-30 14:32:54 +0100ACuriousMoose3ACuriousMoose
2024-10-30 14:32:54 +0100coldtom0coldtom
2024-10-30 14:32:55 +0100bw_bw
2024-10-30 14:32:58 +0100finstern1sfinsternis
2024-10-30 14:32:59 +0100cpli_cpli
2024-10-30 14:33:01 +0100zfnmxt(~zfnmxt@user/zfnmxt) (Remote host closed the connection)
2024-10-30 14:33:03 +0100Franciman(~Franciman@mx1.fracta.dev) Franciman
2024-10-30 14:33:06 +0100mal1(~mal@ns2.wyrd.be) (Ping timeout: 248 seconds)
2024-10-30 14:33:15 +0100ouroboros(~ouroboros@user/ouroboros) ouroboros
2024-10-30 14:33:18 +0100gentauro(~gentauro@user/gentauro) (Ping timeout: 252 seconds)
2024-10-30 14:33:18 +0100tureba(~tureba@tureba.org) (Ping timeout: 252 seconds)
2024-10-30 14:33:19 +0100zfnmxt(~zfnmxt@user/zfnmxt) zfnmxt
2024-10-30 14:33:20 +0100RussetParrotBear(45ce440a48@2a03:6000:1812:100::e2)
2024-10-30 14:33:44 +0100stilgart(~Christoph@chezlefab.net) (Ping timeout: 245 seconds)
2024-10-30 14:33:53 +0100Guest1070(~mal@ns2.wyrd.be) lieven
2024-10-30 14:33:59 +0100gentauro(~gentauro@user/gentauro) gentauro
2024-10-30 14:34:13 +0100tjbc(~tjbc@user/fliife) fliife
2024-10-30 14:34:14 +0100raghavgururajan_raghavgururajan
2024-10-30 14:34:41 +0100xff0x(~xff0x@2405:6580:b080:900:adf3:98f8:7ac2:6549) (Ping timeout: 248 seconds)
2024-10-30 14:34:57 +0100lyxia(~lyxia@poisson.chat) (Ping timeout: 265 seconds)
2024-10-30 14:35:05 +0100stilgart(~Christoph@chezlefab.net) stilgart
2024-10-30 14:35:09 +0100AWizzArd_AWizzArd
2024-10-30 14:35:40 +0100lyxia(~lyxia@poisson.chat)
2024-10-30 14:36:03 +0100mauke(~mauke@user/mauke) (Ping timeout: 252 seconds)
2024-10-30 14:36:11 +0100m5zs7k_m5zs7k
2024-10-30 14:36:18 +0100AWizzArd(~code@gehrels.uberspace.de) (Changing host)
2024-10-30 14:36:18 +0100AWizzArd(~code@user/awizzard) AWizzard
2024-10-30 14:36:36 +0100Hafydd(~Hafydd@user/hafydd) Hafydd
2024-10-30 14:36:59 +0100vulpine(xfnw@user/meow/xfnw) xfnw
2024-10-30 14:37:44 +0100mauke(~mauke@user/mauke) mauke
2024-10-30 14:37:56 +0100acidjnk_new(~acidjnk@p200300d6e7283f52b56b2b27bb51a532.dip0.t-ipconnect.de) acidjnk
2024-10-30 14:38:51 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 14:41:38 +0100ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2024-10-30 14:42:19 +0100stiell_(~stiell@gateway/tor-sasl/stiell) stiell
2024-10-30 14:43:03 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 276 seconds)
2024-10-30 14:43:17 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-10-30 14:43:42 +0100remmie(ianremsen@tilde.team) remsense
2024-10-30 14:44:15 +0100spider1(spider@tilde.cafe)
2024-10-30 14:44:34 +0100alphazone(~alphazone@2.219.56.221) (Ping timeout: 260 seconds)
2024-10-30 14:45:22 +0100SlackCoder(~SlackCode@161.199.135.130) (Quit: Leaving)
2024-10-30 14:45:33 +0100merijn(~merijn@77.242.116.146) merijn
2024-10-30 14:46:47 +0100alphazone(~alphazone@2.219.56.221)
2024-10-30 14:47:13 +0100Angelz(Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973)
2024-10-30 14:49:20 +0100jle`(~jle`@syn-023-240-075-236.res.spectrum.com) (Ping timeout: 252 seconds)
2024-10-30 14:49:30 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-10-30 14:50:06 +0100notzmv(~daniel@user/notzmv) (Ping timeout: 272 seconds)
2024-10-30 14:52:27 +0100jle`(~jle`@syn-023-240-075-236.res.spectrum.com) jle`
2024-10-30 14:56:01 +0100notzmv(~daniel@user/notzmv) notzmv
2024-10-30 14:57:33 +0100xff0x(~xff0x@2405:6580:b080:900:adf3:98f8:7ac2:6549)
2024-10-30 14:58:42 +0100tureba(~tureba@tureba.org) tureba
2024-10-30 14:59:16 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-10-30 14:59:58 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2024-10-30 15:01:58 +0100chexum(~quassel@gateway/tor-sasl/chexum) chexum
2024-10-30 15:07:39 +0100Adran(~adran@botters/adran) Adran
2024-10-30 15:10:24 +0100robertm(robertm@lattice.rojoma.com) robertm
2024-10-30 15:11:31 +0100welterde(welterde@thinkbase.srv.welterde.de) welterde
2024-10-30 15:11:45 +0100motherfsck(~motherfsc@user/motherfsck) motherfsck
2024-10-30 15:13:02 +0100Flow_(~none@gentoo/developer/flow) flow
2024-10-30 15:13:25 +0100xacktm(xacktm@user/xacktm) xacktm
2024-10-30 15:13:47 +0100Digitteknohippie(~user@user/digit) Digit
2024-10-30 15:13:48 +0100jocke-l(jocke-l@a.x0.is) jocke-l
2024-10-30 15:14:10 +0100Digit(~user@user/digit) (Ping timeout: 272 seconds)
2024-10-30 15:16:12 +0100acidjnk_new(~acidjnk@p200300d6e7283f52b56b2b27bb51a532.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2024-10-30 15:21:22 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-10-30 15:24:08 +0100youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-10-30 15:30:02 +0100acidjnk_new(~acidjnk@p200300d6e7283f52b56b2b27bb51a532.dip0.t-ipconnect.de) acidjnk
2024-10-30 15:31:03 +0100sadmax`(~user@64.130.91.66) (Remote host closed the connection)
2024-10-30 15:31:28 +0100sadmax`(~user@64.130.91.66)
2024-10-30 15:33:46 +0100notzmv(~daniel@user/notzmv) (Remote host closed the connection)
2024-10-30 15:35:21 +0100comerijn(~merijn@77.242.116.146) merijn
2024-10-30 15:37:55 +0100notzmv(~daniel@user/notzmv) notzmv
2024-10-30 15:38:05 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 255 seconds)
2024-10-30 15:41:10 +0100emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc) emergence
2024-10-30 15:42:19 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 15:44:12 +0100euleritian(~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2024-10-30 15:44:53 +0100LearsLeary
2024-10-30 15:47:00 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-10-30 15:49:52 +0100stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2024-10-30 15:50:17 +0100stiell_(~stiell@gateway/tor-sasl/stiell) stiell
2024-10-30 15:51:58 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-10-30 15:54:33 +0100Guest1070lieven
2024-10-30 16:03:30 +0100Square(~Square@user/square) Square
2024-10-30 16:06:57 +0100Square2(~Square4@user/square) (Ping timeout: 246 seconds)
2024-10-30 16:24:07 +0100 <tomsmeding> ph88: you might want to include the [] in the regex
2024-10-30 16:24:14 +0100 <tomsmeding> but cute!
2024-10-30 16:24:57 +0100 <tomsmeding> but yeah, ghc uses terminal escape codes that make the thing automatically clickable, but far from all terminals support it
2024-10-30 16:25:08 +0100 <tomsmeding> gnome-terminal does, apparently kitty does; st does not, and apparently alacritty does not
2024-10-30 16:25:46 +0100down200(~down200@shell.lug.mtu.edu) (Ping timeout: 252 seconds)
2024-10-30 16:25:50 +0100 <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 16:26:33 +0100down200(~down200@shell.lug.mtu.edu) down200
2024-10-30 16:28:09 +0100euleritian(~euleritia@dynamic-176-006-146-099.176.6.pool.telefonica.de)
2024-10-30 16:38:32 +0100 <mauke> makes sense to me :-)
2024-10-30 16:38:45 +0100 <mauke> since you can never bind _, it's never in scope
2024-10-30 16:38:53 +0100 <tomsmeding> I guess :p
2024-10-30 16:43:36 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2024-10-30 16:43:38 +0100vulpineghoulpine
2024-10-30 16:44:38 +0100AlexZenon(~alzenon@178.34.150.252) (Quit: ;-)
2024-10-30 16:45:11 +0100 <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 16:45:37 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-30 16:46:29 +0100AlexNoo(~AlexNoo@178.34.150.252) (Read error: Connection reset by peer)
2024-10-30 16:53:50 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 16:55:27 +0100Guest33(~Guest33@158.36.4.117)
2024-10-30 16:55:35 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds)
2024-10-30 16:56:23 +0100Guest33(~Guest33@158.36.4.117) (Client Quit)
2024-10-30 16:58:54 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds)
2024-10-30 17:11:54 +0100Philonous_(~Philonous@user/philonous) (Quit: ZNC - https://znc.in)
2024-10-30 17:12:20 +0100Philonous(~Philonous@user/philonous) Philonous
2024-10-30 17:14:58 +0100ames(~amelia@offtopia/offtopian/amelia) {ames}
2024-10-30 17:15:41 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-30 17:17:46 +0100spew(~spew@201.141.99.170) spew
2024-10-30 17:19:19 +0100hgolden_(~hgolden@static-198-44-129-83.cust.tzulo.com) hgolden
2024-10-30 17:20:50 +0100acidjnk_new(~acidjnk@p200300d6e7283f52b56b2b27bb51a532.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-10-30 17:21:36 +0100euleritian(~euleritia@dynamic-176-006-146-099.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-10-30 17:21:52 +0100hgolden__(~hgolden@204.152.216.122) (Ping timeout: 252 seconds)
2024-10-30 17:22:27 +0100acidjnk_new(~acidjnk@p200300d6e7283f5235ecdcff4aca5bc9.dip0.t-ipconnect.de) acidjnk
2024-10-30 17:23:31 +0100euleritian(~euleritia@dynamic-176-007-147-195.176.7.pool.telefonica.de)
2024-10-30 17:27:39 +0100euleritian(~euleritia@dynamic-176-007-147-195.176.7.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-10-30 17:30:16 +0100chele(~chele@user/chele) (Remote host closed the connection)
2024-10-30 17:39:15 +0100 <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 17:39:53 +0100 <tomsmeding> ph88: that's true, but now your regex might be overly sensitive :p
2024-10-30 17:40:11 +0100 <tomsmeding> not sure if you can say "match this regex, but only this part is a link"
2024-10-30 17:40:12 +0100 <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 17:40:42 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 17:41:07 +0100 <ph88> ah sensitive regexes :>
2024-10-30 17:41:21 +0100 <tomsmeding> apparently this is supported in alacritty, because someone reports imperfections with it https://github.com/alacritty/alacritty/issues/8055
2024-10-30 17:41:41 +0100 <tomsmeding> oh but maybe that's with hints, not with the escape code
2024-10-30 17:44:01 +0100 <tomsmeding> ph88: https://github.com/alacritty/alacritty/commit/694a52bcffeffdc9e163818c3b2ac5c39e26f1ef
2024-10-30 17:44:06 +0100 <tomsmeding> new in 0.11 apparently
2024-10-30 17:45:13 +0100 <ph88> weird i have alacritty 0.13.2 and i didn't see it working ..
2024-10-30 17:45:15 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-10-30 17:45:31 +0100 <ph88> GHC 9.6.6 dunno if the escape codes were added already in that version
2024-10-30 17:45:50 +0100 <tomsmeding> ah! no
2024-10-30 17:45:51 +0100 <ph88> i'll leave it for now, perhaps give it another look in a year or so
2024-10-30 17:45:59 +0100 <tomsmeding> good call!
2024-10-30 17:46:08 +0100 <tomsmeding> 9.10 seems to have introduced them
2024-10-30 17:46:16 +0100 <ph88> ah ye makes sense
2024-10-30 17:56:56 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-30 18:03:44 +0100ph88(~ph88@2a02:8109:9e26:c800:c35a:a881:34b9:612a) (Ping timeout: 265 seconds)
2024-10-30 18:11:49 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1))
2024-10-30 18:19:54 +0100Digitteknohippie(~user@user/digit) (Ping timeout: 252 seconds)
2024-10-30 18:20:29 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-30 18:20:43 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-10-30 18:21:00 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2024-10-30 18:22:39 +0100AlexNoo(~AlexNoo@178.34.150.252)
2024-10-30 18:22:45 +0100AlexNoo(~AlexNoo@178.34.150.252) (Read error: Connection reset by peer)
2024-10-30 18:23:01 +0100AlexZenon(~alzenon@178.34.150.252)