IRCBrowse

2023/12/17

2023-12-17 00:06:15 +0100Joao003(~Joao003@190.108.99.222) (Quit: Bye!)
2023-12-17 00:07:40 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-12-17 00:11:21 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2023-12-17 00:18:06 +0100michalz(~michalz@185.246.207.218) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-17 00:19:47 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Remote host closed the connection)
2023-12-17 00:24:49 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-12-17 00:36:40 +0100 <monochrom> Theoretically, I am more inclined to "pure f <*> x <*> y" because it's more uniformly "<*>". In practice, I don't always do that, I am not a weirdo. :)
2023-12-17 00:37:02 +0100acidjnk(~acidjnk@p200300d6e72b93746955d227447c985a.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2023-12-17 00:38:22 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2023-12-17 00:40:58 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-12-17 00:52:20 +0100alp__(~alp@2001:861:e3d6:8f80:955:af0c:9e0a:aae)
2023-12-17 00:58:12 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-17 01:06:29 +0100notzmv(~zmv@user/notzmv)
2023-12-17 01:10:33 +0100megaTherion(~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-17 01:12:41 +0100megaTherion(~therion@unix.io)
2023-12-17 01:16:17 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-12-17 01:22:56 +0100pavonia(~user@user/siracusa)
2023-12-17 01:23:42 +0100starlight(~starlight@176.254.244.83) (Ping timeout: 260 seconds)
2023-12-17 01:23:45 +0100megaTherion(~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-17 01:25:01 +0100megaTherion(~therion@unix.io)
2023-12-17 01:26:14 +0100Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-12-17 01:27:40 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-12-17 01:28:20 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-17 01:30:58 +0100alexherbo2(~alexherbo@2a02-8440-3340-83ed-0031-2a2f-e366-94f0.rev.sfr.net) (Ping timeout: 250 seconds)
2023-12-17 01:33:11 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-12-17 01:38:20 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-17 01:49:19 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2023-12-17 01:53:34 +0100alp__(~alp@2001:861:e3d6:8f80:955:af0c:9e0a:aae) (Ping timeout: 260 seconds)
2023-12-17 02:11:41 +0100oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 252 seconds)
2023-12-17 02:18:15 +0100chomwitt(~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1)
2023-12-17 02:47:00 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-12-17 02:47:14 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-12-17 02:49:50 +0100juim10(~juim10@2a09:5e41:678:640:85de:b6de:ee2a:5df1) (Quit: Leaving)
2023-12-17 02:58:49 +0100shailangsa(~shailangs@host109-152-9-157.range109-152.btcentralplus.com) (Ping timeout: 255 seconds)
2023-12-17 03:03:18 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-12-17 03:03:43 +0100adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds)
2023-12-17 03:04:30 +0100akegalj(~akegalj@186-160.dsl.iskon.hr) (Ping timeout: 252 seconds)
2023-12-17 03:06:05 +0100akegalj(~akegalj@89-164-77-223.dsl.iskon.hr)
2023-12-17 03:08:42 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2023-12-17 03:23:41 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 245 seconds)
2023-12-17 03:34:00 +0100todi1(~todi@p5dca55c4.dip0.t-ipconnect.de)
2023-12-17 03:34:12 +0100todi(~todi@p5dca55c4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2023-12-17 03:42:30 +0100shailangsa(~shailangs@host109-152-9-157.range109-152.btcentralplus.com)
2023-12-17 04:02:07 +0100mikess(~sam@user/mikess) (Quit: leaving)
2023-12-17 04:12:42 +0100mmhat(~mmh@p200300f1c702cd6eee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2)
2023-12-17 04:13:36 +0100defkev(~defkev@2a09:bac1:1e20:11e0::2b8:ea)
2023-12-17 04:15:27 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-17 04:24:45 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2023-12-17 04:32:30 +0100td_(~td@i53870901.versanet.de) (Ping timeout: 252 seconds)
2023-12-17 04:34:08 +0100td_(~td@i5387091F.versanet.de)
2023-12-17 04:54:28 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-12-17 04:54:28 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-12-17 04:54:28 +0100finn_elijaFinnElija
2023-12-17 05:05:57 +0100jargon(~jargon@54.sub-174-238-226.myvzw.com) (Remote host closed the connection)
2023-12-17 05:06:23 +0100defkev(~defkev@2a09:bac1:1e20:11e0::2b8:ea) (Remote host closed the connection)
2023-12-17 05:07:14 +0100jargon(~jargon@54.sub-174-238-226.myvzw.com)
2023-12-17 05:13:19 +0100ezzieygu1wuf(~Unknown@user/ezzieyguywuf)
2023-12-17 05:14:05 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 268 seconds)
2023-12-17 05:18:41 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-12-17 05:21:58 +0100rosco(~rosco@175.136.152.56)
2023-12-17 05:22:27 +0100ReinhildeEllenor
2023-12-17 05:26:23 +0100trev(~trev@user/trev)
2023-12-17 05:27:48 +0100sympulse(~sympulse@176.254.244.83)
2023-12-17 05:31:11 +0100dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds)
2023-12-17 05:31:44 +0100dibblego(~dibblego@122-199-1-93.ip4.superloop.au)
2023-12-17 05:31:44 +0100dibblego(~dibblego@122-199-1-93.ip4.superloop.au) (Changing host)
2023-12-17 05:31:44 +0100dibblego(~dibblego@haskell/developer/dibblego)
2023-12-17 05:32:40 +0100aforemny_(~aforemny@2001:9e8:6cc8:4800:6191:b8f0:496f:ffa7)
2023-12-17 05:33:55 +0100aforemny(~aforemny@2001:9e8:6cdf:e100:887b:7deb:8e79:d944) (Ping timeout: 256 seconds)
2023-12-17 05:34:25 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-17 05:36:12 +0100mikess(~sam@user/mikess)
2023-12-17 05:58:48 +0100barak(~barak@2a0d:6fc2:68c1:2600:f5f8:5588:9be0:1f5c)
2023-12-17 06:01:34 +0100chomwitt(~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) (Ping timeout: 268 seconds)
2023-12-17 06:01:35 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2023-12-17 06:04:59 +0100rvalue(~rvalue@user/rvalue)
2023-12-17 06:13:13 +0100barak(~barak@2a0d:6fc2:68c1:2600:f5f8:5588:9be0:1f5c) (Ping timeout: 255 seconds)
2023-12-17 06:15:46 +0100qqq(~qqq@92.43.167.61)
2023-12-17 06:56:11 +0100defkev(~defkev@2a09:bac1:1e20:11e0::2b8:ea)
2023-12-17 07:16:43 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-12-17 07:40:55 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-12-17 07:57:55 +0100defkev(~defkev@2a09:bac1:1e20:11e0::2b8:ea) (Quit: WeeChat 4.0.4)
2023-12-17 07:58:04 +0100jargon(~jargon@54.sub-174-238-226.myvzw.com) (Ping timeout: 255 seconds)
2023-12-17 08:01:58 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2023-12-17 08:03:31 +0100shapr(~user@2600:1700:c640:3100:8636:87c:743f:950a) (Ping timeout: 260 seconds)
2023-12-17 08:04:04 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-17 08:05:33 +0100asdfhjk1(~asdfhjk1@2605:59c8:514c:8110::389)
2023-12-17 08:08:22 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-12-17 08:08:55 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-12-17 08:32:18 +0100[_________](~oos95GWG@user/oos95GWG) (Quit: [_________])
2023-12-17 08:33:27 +0100jargon(~jargon@15.sub-174-205-161.myvzw.com)
2023-12-17 08:40:51 +0100mikess(~sam@user/mikess) (Quit: leaving)
2023-12-17 08:41:18 +0100jargon(~jargon@15.sub-174-205-161.myvzw.com) (Remote host closed the connection)
2023-12-17 08:48:11 +0100[_________](~oos95GWG@user/oos95GWG)
2023-12-17 09:04:41 +0100Guest11(~Guest80@216.24.183.23.16clouds.com)
2023-12-17 09:06:51 +0100rvalue(~rvalue@user/rvalue) (Quit: ZNC - https://znc.in)
2023-12-17 09:07:04 +0100Guest11(~Guest80@216.24.183.23.16clouds.com) (Client Quit)
2023-12-17 09:07:34 +0100rvalue(~rvalue@user/rvalue)
2023-12-17 09:09:31 +0100mikess(~sam@user/mikess)
2023-12-17 09:16:13 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-17 09:19:31 +0100arahael(~arahael@119-18-1-187.771201.syd.nbn.aussiebb.net)
2023-12-17 09:19:48 +0100arahael(~arahael@119-18-1-187.771201.syd.nbn.aussiebb.net) ()
2023-12-17 09:21:09 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2023-12-17 09:27:44 +0100rvalue(~rvalue@user/rvalue) (Quit: ZNC - https://znc.in)
2023-12-17 09:28:56 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
2023-12-17 09:29:39 +0100rvalue(~rvalue@user/rvalue)
2023-12-17 09:34:27 +0100rvalue-(~rvalue@user/rvalue)
2023-12-17 09:35:53 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 256 seconds)
2023-12-17 09:36:12 +0100rvalue-rvalue
2023-12-17 09:38:16 +0100tv(~tv@user/tv) (Ping timeout: 245 seconds)
2023-12-17 09:40:59 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-12-17 09:41:53 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:ec86:c151:5ba6:29ff) (Remote host closed the connection)
2023-12-17 09:42:09 +0100rvalue(~rvalue@user/rvalue) (Quit: ZNC - https://znc.in)
2023-12-17 09:42:10 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-17 09:42:25 +0100rvalue(~rvalue@user/rvalue)
2023-12-17 09:42:25 +0100euleritian(~euleritia@dynamic-046-114-202-036.46.114.pool.telefonica.de)
2023-12-17 09:42:47 +0100euleritian(~euleritia@dynamic-046-114-202-036.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-17 09:43:05 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-17 09:45:53 +0100acidjnk(~acidjnk@p200300d6e72b9379292460cf6a8c751c.dip0.t-ipconnect.de)
2023-12-17 09:46:10 +0100rvalue(~rvalue@user/rvalue) (Remote host closed the connection)
2023-12-17 09:46:26 +0100rvalue(~rvalue@user/rvalue)
2023-12-17 09:48:20 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-17 09:48:50 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-17 09:51:07 +0100tv(~tv@user/tv)
2023-12-17 09:51:07 +0100Inst_(~Inst@120.244.192.109) (Remote host closed the connection)
2023-12-17 09:59:43 +0100mikess(~sam@user/mikess) (Ping timeout: 260 seconds)
2023-12-17 10:03:18 +0100lockywolf(~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-17 10:04:51 +0100son0p(~ff@181.136.122.143) (Ping timeout: 260 seconds)
2023-12-17 10:12:01 +0100rvalue(~rvalue@user/rvalue) (Quit: ZNC - https://znc.in)
2023-12-17 10:12:47 +0100rvalue(~rvalue@user/rvalue)
2023-12-17 10:17:31 +0100leungbk(~user@142-129-149-172.res.spectrum.com)
2023-12-17 10:20:21 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:ec86:c151:5ba6:29ff)
2023-12-17 10:21:21 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2023-12-17 10:25:26 +0100gmg(~user@user/gehmehgeh)
2023-12-17 10:26:07 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-12-17 10:26:36 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds)
2023-12-17 10:28:52 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2023-12-17 10:29:06 +0100Lord_of_Life_Lord_of_Life
2023-12-17 10:33:37 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2023-12-17 10:38:34 +0100akegalj(~akegalj@89-164-77-223.dsl.iskon.hr) (Quit: leaving)
2023-12-17 10:45:43 +0100Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-12-17 10:47:11 +0100lockywolf(~lockywolf@public.lockywolf.net)
2023-12-17 10:51:45 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
2023-12-17 10:51:46 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2023-12-17 11:07:50 +0100phma(phma@2001:5b0:2144:9b8:80e2:c70c:189:5704) (Read error: Connection reset by peer)
2023-12-17 11:08:41 +0100phma(phma@2001:5b0:211f:bd58:b1ee:a43c:c633:a8b3)
2023-12-17 11:23:40 +0100oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
2023-12-17 11:26:04 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-12-17 11:26:19 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-12-17 11:40:43 +0100pavonia(~user@user/siracusa)
2023-12-17 11:43:41 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:ec86:c151:5ba6:29ff) (Ping timeout: 240 seconds)
2023-12-17 11:44:41 +0100sawilagar(~sawilagar@user/sawilagar)
2023-12-17 11:45:13 +0100rosco(~rosco@175.136.152.56) (Quit: Lost terminal)
2023-12-17 11:46:10 +0100Maxdamantus(~Maxdamant@user/maxdamantus)
2023-12-17 11:46:38 +0100alp__(~alp@2001:861:e3d6:8f80:9be:44dc:4111:a975)
2023-12-17 11:47:10 +0100acidjnk(~acidjnk@p200300d6e72b9379292460cf6a8c751c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2023-12-17 11:49:32 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-12-17 11:54:44 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-17 11:55:55 +0100euleritian(~euleritia@77.22.252.56)
2023-12-17 11:58:17 +0100euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2023-12-17 11:59:07 +0100euleritian(~euleritia@77.22.252.56)
2023-12-17 12:06:22 +0100shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 246 seconds)
2023-12-17 12:08:01 +0100euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2023-12-17 12:08:33 +0100euleritian(~euleritia@77.22.252.56)
2023-12-17 12:12:05 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-12-17 12:13:19 +0100__monty__(~toonn@user/toonn)
2023-12-17 12:20:11 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 260 seconds)
2023-12-17 12:22:36 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2023-12-17 12:23:10 +0100rosco(~rosco@42.153.135.34)
2023-12-17 12:28:29 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-12-17 12:29:23 +0100sawilagar(~sawilagar@user/sawilagar)
2023-12-17 12:29:31 +0100igemnace(~ian@user/igemnace)
2023-12-17 12:39:30 +0100not_reserved(~not_reser@154.16.157.93)
2023-12-17 12:40:01 +0100Core4885(~rosco@42.153.130.149)
2023-12-17 12:40:33 +0100Core4885(~rosco@42.153.130.149) (Client Quit)
2023-12-17 12:42:14 +0100rosco(~rosco@42.153.135.34) (Ping timeout: 260 seconds)
2023-12-17 12:49:47 +0100euleritian(~euleritia@77.22.252.56) (Ping timeout: 264 seconds)
2023-12-17 12:50:03 +0100euleritian(~euleritia@dynamic-046-114-206-067.46.114.pool.telefonica.de)
2023-12-17 12:52:38 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-17 12:54:20 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-12-17 12:54:43 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-12-17 12:55:03 +0100asdfhjk1(~asdfhjk1@2605:59c8:514c:8110::389) (Ping timeout: 268 seconds)
2023-12-17 12:56:03 +0100rosco(~rosco@175.136.152.56)
2023-12-17 12:57:46 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-12-17 12:59:50 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-12-17 13:01:02 +0100alp__(~alp@2001:861:e3d6:8f80:9be:44dc:4111:a975) (Ping timeout: 256 seconds)
2023-12-17 13:01:28 +0100mrmr15533(~mrmr@user/mrmr) (Quit: Bye, See ya later!)
2023-12-17 13:06:15 +0100mrmr15533(~mrmr@user/mrmr)
2023-12-17 13:08:15 +0100AlexZenon(~alzenon@178.34.162.199) (Ping timeout: 260 seconds)
2023-12-17 13:08:53 +0100AlexNoo(~AlexNoo@178.34.162.199) (Ping timeout: 240 seconds)
2023-12-17 13:12:32 +0100YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
2023-12-17 13:24:49 +0100leungbk(~user@142-129-149-172.res.spectrum.com) (Ping timeout: 256 seconds)
2023-12-17 13:28:41 +0100chomwitt(~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1)
2023-12-17 13:30:06 +0100alp__(~alp@2001:861:e3d6:8f80:51b0:6739:49fb:e48a)
2023-12-17 13:30:10 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-12-17 13:35:40 +0100michalz(~michalz@185.246.207.200)
2023-12-17 13:41:33 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:ec86:c151:5ba6:29ff)
2023-12-17 13:42:33 +0100leungbk(~user@142-129-149-172.res.spectrum.com)
2023-12-17 13:43:46 +0100michalz(~michalz@185.246.207.200) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-17 13:46:36 +0100michalz(~michalz@185.246.207.222)
2023-12-17 13:51:49 +0100AlexNoo(~AlexNoo@94.233.240.140)
2023-12-17 13:53:35 +0100AlexZenon(~alzenon@94.233.240.140)
2023-12-17 13:56:16 +0100alexherbo2(~alexherbo@2a02-8440-3341-761b-14d9-3995-f990-141d.rev.sfr.net)
2023-12-17 14:01:26 +0100barak(~barak@2a0d:6fc2:68c1:2600:60c7:4f7f:8d3d:96a0)
2023-12-17 14:04:21 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
2023-12-17 14:04:50 +0100leungbk(~user@142-129-149-172.res.spectrum.com) (Ping timeout: 260 seconds)
2023-12-17 14:04:50 +0100CiaoSen(~Jura@2a05:5800:2bb:1300:ca4b:d6ff:fec1:99da)
2023-12-17 14:09:44 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-12-17 14:09:44 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-12-17 14:10:36 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2023-12-17 14:15:46 +0100Joao003(~Joao003@190.108.99.222)
2023-12-17 14:18:36 +0100CiaoSen(~Jura@2a05:5800:2bb:1300:ca4b:d6ff:fec1:99da) (Ping timeout: 268 seconds)
2023-12-17 14:22:17 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-12-17 14:22:17 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-12-17 14:22:17 +0100finn_elijaFinnElija
2023-12-17 14:22:27 +0100_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 260 seconds)
2023-12-17 14:23:04 +0100_d0t(~{-d0t-}@user/-d0t-/x-7915216)
2023-12-17 14:27:39 +0100igemnace(~ian@user/igemnace)
2023-12-17 14:33:17 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-12-17 14:33:55 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-12-17 14:37:21 +0100_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 256 seconds)
2023-12-17 14:41:20 +0100_d0t(~{-d0t-}@user/-d0t-/x-7915216)
2023-12-17 14:41:42 +0100barak(~barak@2a0d:6fc2:68c1:2600:60c7:4f7f:8d3d:96a0) (Remote host closed the connection)
2023-12-17 14:43:20 +0100 <__monty__> Is it possible to "re-use" a type variable in local bindings in a where-clause?
2023-12-17 14:45:40 +0100defkev(~defkev@2a09:bac5:2a27:2c8::47:599)
2023-12-17 14:51:39 +0100_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 256 seconds)
2023-12-17 14:53:50 +0100alp__(~alp@2001:861:e3d6:8f80:51b0:6739:49fb:e48a) (Ping timeout: 256 seconds)
2023-12-17 14:54:21 +0100alp__(~alp@2001:861:e3d6:8f80:6053:a7ba:10be:9839)
2023-12-17 14:54:35 +0100Square(~Square@user/square) (Ping timeout: 264 seconds)
2023-12-17 14:58:22 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 255 seconds)
2023-12-17 14:58:27 +0100 <mauke> with ScopedTypeVariables, yes
2023-12-17 14:59:35 +0100_d0t(~{-d0t-}@user/-d0t-/x-7915216)
2023-12-17 15:01:36 +0100euleritian(~euleritia@dynamic-046-114-206-067.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-17 15:02:00 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-17 15:03:38 +0100tv(~tv@user/tv) (Ping timeout: 260 seconds)
2023-12-17 15:06:24 +0100aruns(~aruns@user/aruns)
2023-12-17 15:14:19 +0100 <__monty__> Ah, thanks : )
2023-12-17 15:19:52 +0100alp__(~alp@2001:861:e3d6:8f80:6053:a7ba:10be:9839) (Ping timeout: 256 seconds)
2023-12-17 15:22:48 +0100tv(~tv@user/tv)
2023-12-17 15:29:05 +0100rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-17 15:29:53 +0100rembo10(~rembo10@main.remulis.com)
2023-12-17 15:32:25 +0100ph88(~ph88@2a02:8109:9e26:c800:493d:41a5:d2c5:7e49)
2023-12-17 15:33:04 +0100 <ph88> is it possible with the help of some function to make a Maybe Monad where the first Just ends the monad and keeps on going when Nothing is returned ?
2023-12-17 15:34:21 +0100 <[exa]> ph88: you probably want Alternative instance of Maybes
2023-12-17 15:34:34 +0100 <Joao003> Like an Either or something
2023-12-17 15:34:34 +0100 <[exa]> > Just 5 <|> Nothing <|> Just 3
2023-12-17 15:34:35 +0100 <lambdabot> Just 5
2023-12-17 15:34:45 +0100 <ph88> does it support do-notation ?
2023-12-17 15:34:51 +0100 <[exa]> good question
2023-12-17 15:34:58 +0100 <mauke> what would that even mean?
2023-12-17 15:35:02 +0100 <[exa]> you can use `choice` to get pretty close
2023-12-17 15:35:13 +0100 <[exa]> I use that for parsers, doesn't look bad
2023-12-17 15:35:28 +0100 <mauke> do x <- maybeSomething; ...
2023-12-17 15:35:41 +0100 <mauke> if there is an x, abort; if there is no x, keep going??
2023-12-17 15:35:42 +0100 <Joao003> Either e is a monad, so you can use do-notation at least
2023-12-17 15:36:11 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
2023-12-17 15:36:21 +0100 <[exa]> ph88: I don't have a better example at hand now https://gitea.blesmrt.net/exa/prlg/src/branch/master/app/Parser.hs#L76-L81
2023-12-17 15:36:40 +0100 <[Leary]> Yeah, rather than `Maybe a`, you probably want `Either a ()`.
2023-12-17 15:36:43 +0100 <[exa]> ph88: the main question is what would happen if you want to bind a value in the `do` notation from `Just` (which should terminate)
2023-12-17 15:37:12 +0100 <Joao003> ph88: Nothing is a way more common short-circuiter than Just x
2023-12-17 15:37:35 +0100 <Joao003> And another shortcircuiter is Left
2023-12-17 15:38:37 +0100 <[exa]> btw it sounds kinda like yield, in such case we can open a huge box of ContT, pipes, and other fun stuff
2023-12-17 15:38:52 +0100 <ph88> ye i guess the normal Maybe monad does not work like that. Was wondering if it's possible to write a monad for a data type with the shape of Maybe that has those rules. I will use <|> or choice for now
2023-12-17 15:39:42 +0100 <Joao003> @src Either (>>=)
2023-12-17 15:39:42 +0100 <lambdabot> Left l >>= _ = Left l
2023-12-17 15:39:42 +0100 <lambdabot> Right r >>= k = k r
2023-12-17 15:40:07 +0100Guest21(~Guest21@5.142.182.252)
2023-12-17 15:40:08 +0100 <[exa]> ph88: btw if you really need a monad notation, you might also use `Writer [x]` and only get a "head" from the runWriter
2023-12-17 15:40:36 +0100Guest21(~Guest21@5.142.182.252) (Client Quit)
2023-12-17 15:40:59 +0100 <[exa]> the trick with Either as others suggest would probably do it too, but I don't like the "kinda collision" of error semantics and a single value semantics
2023-12-17 15:41:28 +0100 <ph88> could make it like Either, then the right side would be Right () standing in for Nothing
2023-12-17 15:41:29 +0100 <[exa]> (even cleaner way with Writer: Writer (First a) )
2023-12-17 15:41:54 +0100 <Joao003> ph88: What will your function do?
2023-12-17 15:42:23 +0100 <ph88> Joao003, would be like <|> was wondering if it can be done in do notation
2023-12-17 15:43:26 +0100 <[exa]> no like, what is the more specific thing you're solving with the program. (just curious tho :] )
2023-12-17 15:44:13 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-17 15:46:24 +0100 <ph88> i have one preferred sequence and one actual sequence (who might not have the same items). When i want to enter a new item into the actual sequence i want to do it like the preferred sequence would
2023-12-17 15:47:02 +0100 <Joao003> ?
2023-12-17 15:48:29 +0100 <[exa]> ah ok cool
2023-12-17 15:49:32 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-12-17 15:49:38 +0100 <ph88> https://bpa.st/CRUA
2023-12-17 15:50:18 +0100 <ph88> used alternative in line 5 to 7
2023-12-17 15:53:24 +0100tv(~tv@user/tv) (Ping timeout: 252 seconds)
2023-12-17 15:54:26 +0100 <Joao003> So the functions you're using return in Maybe?
2023-12-17 15:55:06 +0100 <ph88> yes they return Maybe
2023-12-17 15:56:02 +0100 <ph88> i guess if you were to make such a reverse Maybe monad then any bind action would just bind Nothing. Same like IO monad binds () with you do putStrLn
2023-12-17 15:56:21 +0100shailangsa(~shailangs@host109-152-9-157.range109-152.btcentralplus.com) (Remote host closed the connection)
2023-12-17 15:56:27 +0100 <ph88> so you would never use <- only do
2023-12-17 15:59:11 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection)
2023-12-17 15:59:34 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-12-17 15:59:36 +0100ph88^(~ph88@2a02:8109:9e26:c800:e508:c8b7:4095:ff9a)
2023-12-17 16:00:40 +0100prasad80(~prasad@2601:243:c001:3f07::54) (Quit: Client closed)
2023-12-17 16:01:58 +0100ph88(~ph88@2a02:8109:9e26:c800:493d:41a5:d2c5:7e49) (Ping timeout: 260 seconds)
2023-12-17 16:02:39 +0100 <ph88^> would be cool if you could choose different behaviors for Monad for the same data structure
2023-12-17 16:05:07 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection)
2023-12-17 16:06:19 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-12-17 16:07:07 +0100tv(~tv@user/tv)
2023-12-17 16:09:54 +0100barak(~barak@2a0d:6fc2:68c1:2600:60c7:4f7f:8d3d:96a0)
2023-12-17 16:11:11 +0100acidjnk(~acidjnk@p200300d6e72b9379292460cf6a8c751c.dip0.t-ipconnect.de)
2023-12-17 16:12:51 +0100 <haskellbridge> 12<C​elestial> we use newtype wrappers if we want to have different implementations for the same typeclass for one type
2023-12-17 16:13:07 +0100 <haskellbridge> 12<C​elestial> that's used with monoids and semigroups especially
2023-12-17 16:14:41 +0100mikess(~sam@user/mikess)
2023-12-17 16:15:03 +0100 <ph88^> never was a big fan of newtype wrappers :p
2023-12-17 16:16:06 +0100 <haskellbridge> 12<C​elestial> we don't have a better system at the moment :)
2023-12-17 16:16:42 +0100 <haskellbridge> 12<C​elestial> in pure math we use tuples with a set and an operation, like `(N, +)`
2023-12-17 16:16:58 +0100 <haskellbridge> 12<C​elestial> s/N/Z
2023-12-17 16:18:02 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-17 16:18:50 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-17 16:20:59 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-17 16:21:23 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-12-17 16:21:23 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-12-17 16:21:23 +0100finn_elijaFinnElija
2023-12-17 16:21:37 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-17 16:33:12 +0100sawilagar(~sawilagar@user/sawilagar) (Quit: Leaving)
2023-12-17 16:35:26 +0100Tlsx(~rscastilh@189.61.140.215)
2023-12-17 16:37:20 +0100notzmv(~zmv@user/notzmv)
2023-12-17 16:37:58 +0100sawilagar(~sawilagar@user/sawilagar)
2023-12-17 16:41:59 +0100defkev(~defkev@2a09:bac5:2a27:2c8::47:599) (Ping timeout: 260 seconds)
2023-12-17 16:43:35 +0100defkev(~defkev@2a09:bac5:2a22:2c8::47:315)
2023-12-17 16:47:02 +0100 <Joao003> How do I make a function to get all possible pairs of elements in a list?
2023-12-17 16:47:33 +0100 <ph88^> Joao003, i just made that function :P
2023-12-17 16:47:35 +0100alp__(~alp@2001:861:e3d6:8f80:d7e4:6b04:de97:ec3a)
2023-12-17 16:47:53 +0100 <Joao003> show it to me?
2023-12-17 16:48:25 +0100 <ph88^> it's in purescript code
2023-12-17 16:48:33 +0100 <Joao003> show it anyways
2023-12-17 16:48:43 +0100 <ph88^> https://bpa.st/PUKQ
2023-12-17 16:49:40 +0100 <ph88^> combinations with 2 is more or less the same as combinationsTwo
2023-12-17 16:50:53 +0100 <ph88^> these are the same functions https://pursuit.purescript.org/packages/purescript-prelude/6.0.1/docs/Control.Apply#v:apply and https://hackage.haskell.org/package/base-4.19.0.0/docs/Prelude.html#v:-60--42--62-
2023-12-17 16:51:28 +0100target_i(~target_i@217.175.14.39)
2023-12-17 16:51:54 +0100 <Joao003> Thanks! In my case, it's \xs -> (map (,) xs) <*> xs
2023-12-17 16:52:03 +0100 <[exa]> Joao003: (,) <$> list <*> list
2023-12-17 16:52:08 +0100 <Joao003> nice
2023-12-17 16:52:09 +0100 <[exa]> (ah yes or you go with map)
2023-12-17 16:52:20 +0100 <ph88^> yes actually i found it in haskell somewhere and then rewrite it to purescript haha
2023-12-17 16:52:34 +0100 <[exa]> @pl \x -> (,) <$> x <*> x
2023-12-17 16:52:34 +0100 <lambdabot> ((,) <$>) . join (<*>)
2023-12-17 16:52:35 +0100 <Joao003> or even (map (,) >>= (<*>))
2023-12-17 16:52:46 +0100 <yushyin> liftA2?
2023-12-17 16:52:51 +0100 <Joao003> @pointful map (,) >>= (<*>)
2023-12-17 16:52:51 +0100 <lambdabot> (map (,) >>= (<*>))
2023-12-17 16:52:53 +0100Inst(~Inst@120.244.192.109)
2023-12-17 16:53:04 +0100 <ph88^> does anyone know a function that checks if elements of a list are the same and when they are apply a function (a -> a -> a) ? a bit like nub to deduplicate all elements but instead of removing them combine them
2023-12-17 16:53:18 +0100 <[exa]> juri_: too pointless for poor lambdabot :D
2023-12-17 16:53:18 +0100 <Joao003> > (map (,) >>= (<*>)) [1..4]
2023-12-17 16:53:19 +0100 <lambdabot> [(1,1),(1,2),(1,3),(1,4),(2,1),(2,2),(2,3),(2,4),(3,1),(3,2),(3,3),(3,4),(4,...
2023-12-17 16:55:09 +0100 <Joao003> ph88^: Example?
2023-12-17 16:55:09 +0100 <juri_> meep? :)
2023-12-17 16:55:44 +0100barak(~barak@2a0d:6fc2:68c1:2600:60c7:4f7f:8d3d:96a0) (Read error: Connection reset by peer)
2023-12-17 16:56:59 +0100 <ph88^> Joao003, example [1,2,2,3] (\a b -> a + b) output [1,4,3]
2023-12-17 16:57:20 +0100 <Joao003> You def need a sorted list for that
2023-12-17 16:57:51 +0100 <ph88^> i think nub works without sorted list no?
2023-12-17 16:58:15 +0100 <Joao003> It does but for what you're doing you need something more complex
2023-12-17 16:58:43 +0100 <Joao003> > nub [1,2,3,2]
2023-12-17 16:58:44 +0100 <lambdabot> [1,2,3]
2023-12-17 16:58:50 +0100 <ph88^> i prefer it got replaced in the first occurrence found so [1,2,3,2] (\a b -> a + b) output [1,4,3] not [1,3,4]
2023-12-17 16:59:07 +0100 <ph88^> ye just i don't want to nub, i want to combine :P
2023-12-17 16:59:13 +0100 <Joao003> IK
2023-12-17 17:00:19 +0100 <Joao003> Also if they're gonna be the same just check what was nubbed and call the function on the element twice
2023-12-17 17:00:52 +0100barak(~barak@2a0d:6fc2:68c1:2600:60c7:4f7f:8d3d:96a0)
2023-12-17 17:05:52 +0100 <ph88^> Joao003, actually the equality might not be defined in such a way that they are the same elements. Would be good if i could pass a custom function to check equality (a -> a -> bool)
2023-12-17 17:06:24 +0100 <ph88^> i wonder what nub does under the hood to figure out which elements it has already seen. Or whether it does some sorting but keep the end result of the list stable anyway
2023-12-17 17:06:35 +0100 <ph88^> [exa], do you have some magic? :>
2023-12-17 17:06:43 +0100 <Joao003> @src nub
2023-12-17 17:06:43 +0100 <lambdabot> nub = nubBy (==)
2023-12-17 17:06:43 +0100 <lambdabot> --OR
2023-12-17 17:06:43 +0100 <lambdabot> nub l = go l []
2023-12-17 17:06:43 +0100 <lambdabot> where go [] _ = []
2023-12-17 17:06:43 +0100 <lambdabot> go (x:xs) ls
2023-12-17 17:06:45 +0100 <lambdabot> | x `elem` ls = go xs ls
2023-12-17 17:06:47 +0100 <lambdabot> | otherwise = x : go xs (x:ls)
2023-12-17 17:08:38 +0100 <Joao003> seems like there is a nubBy function which can help you
2023-12-17 17:10:50 +0100 <ph88^> nubBy in the end also does nub, nubBy takes (a -> a -> Bool) which i like, but it would also need to take a combining function (a -> a -> a)
2023-12-17 17:11:56 +0100 <Joao003> Why not make it so that instead of nubbing, it returns the duplicates? Then you can use those duplicates to check which elements to use your function on
2023-12-17 17:12:47 +0100 <ph88^> then i would have to search the first place to re-insert the combined thing, and also go search again for the ones that should be removed
2023-12-17 17:13:32 +0100 <ph88^> for example if i have [1,2,3,2] and i take out [2,2] and make it into 4 then i have to see where to insert that 4 and remove all 2 as 2 additional steps.. ye maybe that could work
2023-12-17 17:13:38 +0100 <ph88^> maybe it's the best way to do it
2023-12-17 17:19:27 +0100 <ph88^> this is very similar to what i'm looking for in JS https://stackoverflow.com/questions/65146857/merge-objects-by-the-same-value-in-an-array
2023-12-17 17:21:43 +0100 <ph88^> i guess i could use some group function and then as second step to make the group into a single element again
2023-12-17 17:23:02 +0100 <ph88^> is there such a group function? the normal group also requires a sorted list, i don't want to sort
2023-12-17 17:35:17 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds)
2023-12-17 17:42:18 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-17 17:42:47 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (WeeChat 4.1.1)
2023-12-17 17:43:39 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-17 17:45:52 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-17 17:45:55 +0100defkev(~defkev@2a09:bac5:2a22:2c8::47:315) (Ping timeout: 260 seconds)
2023-12-17 17:45:58 +0100euleritian(~euleritia@dynamic-046-114-206-067.46.114.pool.telefonica.de)
2023-12-17 17:46:21 +0100euleritian(~euleritia@dynamic-046-114-206-067.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-17 17:46:40 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-17 17:47:40 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-12-17 17:51:21 +0100aruns(~aruns@user/aruns) (Ping timeout: 268 seconds)
2023-12-17 17:53:17 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2023-12-17 17:53:44 +0100euleritian(~euleritia@dynamic-046-114-206-067.46.114.pool.telefonica.de)
2023-12-17 18:01:32 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2023-12-17 18:03:18 +0100defkev(~defkev@2a09:bac1:1e00:11e0::47:315)
2023-12-17 18:04:50 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1)
2023-12-17 18:08:35 +0100euleritian(~euleritia@dynamic-046-114-206-067.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-17 18:08:54 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-17 18:09:58 +0100 <[exa]> ph88^: you usually have to sort (or at least establish some ordering) in such cases
2023-12-17 18:10:56 +0100rosco(~rosco@175.136.152.56) (Quit: Lost terminal)
2023-12-17 18:10:58 +0100 <[exa]> ph88^: the js example there sorts implicitly
2023-12-17 18:11:58 +0100 <[exa]> (and you can do the same with Data.Map, see https://hackage.haskell.org/package/containers-0.7/docs/Data-Map-Lazy.html#v:alter )
2023-12-17 18:14:40 +0100 <ph88^> [exa], thanks, i think i will drop the requirement to keep things sorted for now. I can imagine it's not needed but probably faster to do it this way
2023-12-17 18:17:22 +0100 <[exa]> well take care with the unsorted nub, it gets ultra slow on bigger data
2023-12-17 18:17:30 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2023-12-17 18:18:33 +0100euleritian(~euleritia@dynamic-046-114-206-067.46.114.pool.telefonica.de)
2023-12-17 18:22:21 +0100euleritian(~euleritia@dynamic-046-114-206-067.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-17 18:22:40 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-17 18:27:30 +0100not_reserved(~not_reser@154.16.157.93) (Quit: Client closed)
2023-12-17 18:34:51 +0100notzmv(~zmv@user/notzmv) (Remote host closed the connection)
2023-12-17 18:36:59 +0100defkev(~defkev@2a09:bac1:1e00:11e0::47:315) (Ping timeout: 268 seconds)
2023-12-17 18:38:39 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2023-12-17 18:38:46 +0100notzmv(~zmv@user/notzmv)
2023-12-17 18:39:43 +0100euleritian(~euleritia@dynamic-046-114-206-067.46.114.pool.telefonica.de)
2023-12-17 18:49:02 +0100euleritian(~euleritia@dynamic-046-114-206-067.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-17 18:49:21 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-17 18:51:35 +0100ystael(~ystael@user/ystael)
2023-12-17 18:56:11 +0100ystael(~ystael@user/ystael) (Ping timeout: 245 seconds)
2023-12-17 18:58:11 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
2023-12-17 19:02:36 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-17 19:02:44 +0100euleritian(~euleritia@dynamic-046-114-206-067.46.114.pool.telefonica.de)
2023-12-17 19:03:05 +0100euleritian(~euleritia@dynamic-046-114-206-067.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-17 19:03:08 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-12-17 19:03:22 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-17 19:10:56 +0100bramhaag7(~bramhaag@endeavour.server.bramh.me) (Quit: The Lounge - https://thelounge.chat)
2023-12-17 19:12:06 +0100enikar(~enikar@chezlefab.net)
2023-12-17 19:12:14 +0100enikar(~enikar@chezlefab.net) (WeeChat 3.0)
2023-12-17 19:14:07 +0100bramhaag74(~bramhaag@endeavour.server.bramh.me)
2023-12-17 19:16:27 +0100phma(phma@2001:5b0:211f:bd58:b1ee:a43c:c633:a8b3) (Read error: Connection reset by peer)
2023-12-17 19:16:54 +0100phma(phma@2001:5b0:211f:bd58:b1ee:a43c:c633:a8b3)
2023-12-17 19:18:28 +0100 <EvanR> if you want groups you can just store the groups in a Map
2023-12-17 19:18:48 +0100CiaoSen(~Jura@2a05:5800:2bb:1300:ca4b:d6ff:fec1:99da)
2023-12-17 19:22:36 +0100bramhaag74(~bramhaag@endeavour.server.bramh.me) (Remote host closed the connection)
2023-12-17 19:22:36 +0100shriekingnoise(~shrieking@186.137.175.87)
2023-12-17 19:26:19 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-17 19:27:01 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-17 19:27:06 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:ec86:c151:5ba6:29ff) (Remote host closed the connection)
2023-12-17 19:27:22 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:39ee:ad48:213b:b43b)
2023-12-17 19:27:56 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2023-12-17 19:36:08 +0100Guest33(~Guest@31.193.221.194)
2023-12-17 19:43:27 +0100Guest33(~Guest@31.193.221.194) (Quit: Client closed)
2023-12-17 19:45:45 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-17 19:47:22 +0100CiaoSen(~Jura@2a05:5800:2bb:1300:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds)
2023-12-17 19:50:46 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2023-12-17 19:53:38 +0100barak(~barak@2a0d:6fc2:68c1:2600:60c7:4f7f:8d3d:96a0) (Remote host closed the connection)
2023-12-17 20:02:46 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 276 seconds)
2023-12-17 20:04:42 +0100enikar(~enikar@chezlefab.net)
2023-12-17 20:07:48 +0100barak(~barak@2a0d:6fc2:68c1:2600:f5f8:5588:9be0:1f5c)
2023-12-17 20:07:51 +0100barak_(~barak@2a0d:6fc2:68c1:2600:f5f8:5588:9be0:1f5c)
2023-12-17 20:07:57 +0100barak_(~barak@2a0d:6fc2:68c1:2600:f5f8:5588:9be0:1f5c) (Remote host closed the connection)
2023-12-17 20:10:19 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2023-12-17 20:14:14 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-17 20:20:13 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com)
2023-12-17 20:29:43 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
2023-12-17 20:29:58 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-12-17 20:32:13 +0100alp__(~alp@2001:861:e3d6:8f80:d7e4:6b04:de97:ec3a) (Remote host closed the connection)
2023-12-17 20:34:06 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-12-17 20:48:51 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:39ee:ad48:213b:b43b) (Remote host closed the connection)
2023-12-17 20:49:14 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:39ee:ad48:213b:b43b)
2023-12-17 20:50:51 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-12-17 20:54:44 +0100Tlsx(~rscastilh@189.61.140.215) (Remote host closed the connection)
2023-12-17 20:59:48 +0100leungbk(~user@142-129-149-172.res.spectrum.com)
2023-12-17 21:07:29 +0100 <ph88^> i got this message from stack https://bpa.st/WBJA i'm using this version of the library https://github.com/vincenthz/hs-connection/blob/connection-v0.3.1/connection.cabal where is the < 1.7 constraint coming from ?
2023-12-17 21:08:27 +0100 <sclv> there was a revision made to the cabal file on hackage https://hackage.haskell.org/package/connection
2023-12-17 21:09:02 +0100 <sclv> https://hackage.haskell.org/package/connection-0.3.1/revisions/
2023-12-17 21:09:03 +0100leungbk(~user@142-129-149-172.res.spectrum.com) (Ping timeout: 256 seconds)
2023-12-17 21:09:06 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2023-12-17 21:10:04 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-12-17 21:10:50 +0100 <sclv> the maintainer left haskell without turning over their packages, they are all currently unsupported
2023-12-17 21:10:53 +0100 <sclv> you should use this instead: https://hackage.haskell.org/package/crypton-connection
2023-12-17 21:11:01 +0100 <sclv> its a fork with an actual maintainer
2023-12-17 21:11:24 +0100 <ph88^> oh didn't know vincentz left
2023-12-17 21:11:38 +0100 <ph88^> didn't know about the metadata edit on hackage either, how did you get to this page ?
2023-12-17 21:13:19 +0100 <geekosaur> in the information on the right there is a section "Revised"
2023-12-17 21:15:23 +0100 <ph88^> thx
2023-12-17 21:16:45 +0100Sgeo(~Sgeo@user/sgeo)
2023-12-17 21:17:35 +0100Luj(~Luj@2a01:e0a:5f9:9681:cb3c:6a2b:179a:30d3) (Quit: Ping timeout (120 seconds))
2023-12-17 21:17:55 +0100Luj(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb)
2023-12-17 21:21:45 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-12-17 21:25:47 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-12-17 21:25:59 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-12-17 21:29:42 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-12-17 21:34:11 +0100TMA(tma@twin.jikos.cz) (Ping timeout: 264 seconds)
2023-12-17 21:34:25 +0100TMA(tma@twin.jikos.cz)
2023-12-17 21:37:42 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2023-12-17 21:40:55 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2023-12-17 21:45:26 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-12-17 21:45:49 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-12-17 21:47:47 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-17 21:51:46 +0100aruns(~aruns@user/aruns)
2023-12-17 21:52:12 +0100 <ph88^> sclv, do you also know a good package for when i don't want to use crypton-connection ?
2023-12-17 21:52:42 +0100trev(~trev@user/trev) (Quit: trev)
2023-12-17 21:53:05 +0100 <sclv> no
2023-12-17 21:53:16 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds)
2023-12-17 21:54:10 +0100emmanuelux_(~emmanuelu@user/emmanuelux)
2023-12-17 21:57:46 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds)
2023-12-17 22:06:37 +0100michalz(~michalz@185.246.207.222) (Ping timeout: 246 seconds)
2023-12-17 22:06:43 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-12-17 22:07:28 +0100michalz(~michalz@185.246.204.101)
2023-12-17 22:07:38 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2023-12-17 22:11:25 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
2023-12-17 22:11:41 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 240 seconds)
2023-12-17 22:14:55 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2023-12-17 22:17:26 +0100Joao003(~Joao003@190.108.99.222) (Quit: Bye!)
2023-12-17 22:25:17 +0100igemnace(~ian@user/igemnace)
2023-12-17 22:25:34 +0100emmanuelux_(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2023-12-17 23:02:25 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2023-12-17 23:03:29 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-17 23:11:10 +0100target_i(~target_i@217.175.14.39) (Quit: leaving)
2023-12-17 23:28:38 +0100alexherbo2(~alexherbo@2a02-8440-3341-761b-14d9-3995-f990-141d.rev.sfr.net) (Remote host closed the connection)
2023-12-17 23:29:58 +0100barak(~barak@2a0d:6fc2:68c1:2600:f5f8:5588:9be0:1f5c) (Ping timeout: 260 seconds)
2023-12-17 23:30:47 +0100Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds)
2023-12-17 23:37:33 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-17 23:42:10 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-12-17 23:45:35 +0100michalz(~michalz@185.246.204.101) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-17 23:46:18 +0100acidjnk(~acidjnk@p200300d6e72b9379292460cf6a8c751c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2023-12-17 23:49:06 +0100alexherbo2(~alexherbo@2a02-8440-3341-761b-14d9-3995-f990-141d.rev.sfr.net)
2023-12-17 23:50:16 +0100igemnace(~ian@user/igemnace) (Ping timeout: 276 seconds)
2023-12-17 23:50:59 +0100Ram-Z(~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 264 seconds)
2023-12-17 23:51:46 +0100alexherbo2(~alexherbo@2a02-8440-3341-761b-14d9-3995-f990-141d.rev.sfr.net) (Remote host closed the connection)
2023-12-17 23:56:06 +0100Ram-Z(~Ram-Z@li1814-254.members.linode.com)