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)