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