2025/02/05

2025-02-05 00:01:23 +0100Guest74(~Guest74@2804:14d:9021:82f9:d1f7:12b:b87a:8020)
2025-02-05 00:03:19 +0100Guest74(~Guest74@2804:14d:9021:82f9:d1f7:12b:b87a:8020) (Client Quit)
2025-02-05 00:04:19 +0100spacenautx(~spacenaut@user/spacenautx) (Ping timeout: 260 seconds)
2025-02-05 00:04:22 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-02-05 00:05:55 +0100spacenautx(~spacenaut@user/spacenautx) spacenautx
2025-02-05 00:05:57 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-02-05 00:05:57 +0100ljdarj1ljdarj
2025-02-05 00:06:55 +0100hueso(~root@user/hueso) ()
2025-02-05 00:07:27 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 00:08:24 +0100mud(~mud@user/kadoban) kadoban
2025-02-05 00:10:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 00:10:54 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-02-05 00:11:46 +0100weary-traveler(~user@user/user363627) user363627
2025-02-05 00:12:04 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-02-05 00:15:34 +0100dolio(~dolio@130.44.140.168) (Ping timeout: 260 seconds)
2025-02-05 00:16:50 +0100mud(~mud@user/kadoban) (Quit: quit)
2025-02-05 00:17:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-05 00:17:24 +0100mud(~mud@user/kadoban) kadoban
2025-02-05 00:19:21 +0100hueso(~root@user/hueso) hueso
2025-02-05 00:22:32 +0100Guest42(~Guest42@220-233-36-23.ip4.exetel.com.au)
2025-02-05 00:24:06 +0100divya(divya@140.238.251.170) (Ping timeout: 252 seconds)
2025-02-05 00:24:09 +0100Guest42(~Guest42@220-233-36-23.ip4.exetel.com.au) (Client Quit)
2025-02-05 00:25:59 +0100dolio(~dolio@130.44.140.168) dolio
2025-02-05 00:28:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 00:29:16 +0100divya(divya@140.238.251.170) divya
2025-02-05 00:32:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-05 00:41:09 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-02-05 00:42:49 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-02-05 00:43:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 00:46:03 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-02-05 00:48:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-05 00:51:44 +0100emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-02-05 00:55:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 00:56:32 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 00:59:27 +0100hughjfchen(~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3)
2025-02-05 01:00:49 +0100hughjfchen(~hughjfche@vmi2417424.contaboserver.net) hughjfchen
2025-02-05 01:00:53 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-02-05 01:02:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-02-05 01:04:36 +0100hughjfchen(~hughjfche@vmi2417424.contaboserver.net) (Client Quit)
2025-02-05 01:04:41 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-02-05 01:05:02 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-02-05 01:05:51 +0100hughjfchen(~hughjfche@vmi2417424.contaboserver.net) hughjfchen
2025-02-05 01:08:18 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-02-05 01:08:18 +0100ljdarj1ljdarj
2025-02-05 01:13:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 01:18:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-05 01:18:46 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2025-02-05 01:24:31 +0100Googulator(~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed)
2025-02-05 01:24:47 +0100Googulator(~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu)
2025-02-05 01:28:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 01:29:30 +0100spacenautx(~spacenaut@user/spacenautx) (Ping timeout: 246 seconds)
2025-02-05 01:31:37 +0100spacenautx(~spacenaut@user/spacenautx) spacenautx
2025-02-05 01:31:41 +0100TMA(tma@twin.jikos.cz) TMA
2025-02-05 01:32:17 +0100foul_owl(~kerry@193.42.0.124) (Ping timeout: 248 seconds)
2025-02-05 01:32:18 +0100apache(apache2@anubis.0x90.dk) apache2
2025-02-05 01:33:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-02-05 01:34:30 +0100m1dnight_(~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 252 seconds)
2025-02-05 01:34:42 +0100foul_owl(~kerry@174-21-138-88.tukw.qwest.net) foul_owl
2025-02-05 01:34:52 +0100apache2(apache2@anubis.0x90.dk) (Ping timeout: 252 seconds)
2025-02-05 01:36:31 +0100m1dnight_(~m1dnight@d8D861908.access.telenet.be) m1dnight
2025-02-05 01:36:59 +0100sprotte24(~sprotte24@p200300d16f057d0048bfec2654557117.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-02-05 01:37:28 +0100acidjnk_new3(~acidjnk@p200300d6e7283f07d9acb33bf68493bd.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-02-05 01:44:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 01:48:48 +0100Philonous(~Philonous@user/philonous) (Ping timeout: 252 seconds)
2025-02-05 01:49:29 +0100foul_owl(~kerry@174-21-138-88.tukw.qwest.net) (Ping timeout: 260 seconds)
2025-02-05 01:49:33 +0100Philonous(~Philonous@user/philonous) Philonous
2025-02-05 01:49:57 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 01:51:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-05 01:52:50 +0100Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 252 seconds)
2025-02-05 01:54:00 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-02-05 01:54:18 +0100malte(~malte@mal.tc) (Ping timeout: 252 seconds)
2025-02-05 01:54:50 +0100Maxdamantus(~Maxdamant@user/maxdamantus) Maxdamantus
2025-02-05 01:56:26 +0100malte(~malte@mal.tc) malte
2025-02-05 01:56:52 +0100pie_(~pie_bnc@user/pie/x-2818909) (Ping timeout: 252 seconds)
2025-02-05 01:57:52 +0100pie_(~pie_bnc@user/pie/x-2818909) __
2025-02-05 01:59:58 +0100agent314(~quassel@79.127.222.205) agent314
2025-02-05 02:00:32 +0100orenty7(~orenty7@176.88.22.4) (Read error: Connection reset by peer)
2025-02-05 02:02:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 02:03:32 +0100foul_owl(~kerry@193.42.0.126) foul_owl
2025-02-05 02:03:39 +0100orenty7(~orenty7@176.88.22.4)
2025-02-05 02:07:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-05 02:13:44 +0100pie_(~pie_bnc@user/pie/x-2818909) (Ping timeout: 252 seconds)
2025-02-05 02:14:13 +0100otto_s(~user@p5b044e98.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-02-05 02:14:32 +0100pie_(~pie_bnc@user/pie/x-2818909) __
2025-02-05 02:14:53 +0100sim590(~simon@24-122-69-233.resi.cgocable.ca) (Quit: WeeChat 4.5.1)
2025-02-05 02:16:06 +0100otto_s(~user@p4ff27d71.dip0.t-ipconnect.de)
2025-02-05 02:18:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 02:18:43 +0100notzmv(~umar@user/notzmv) notzmv
2025-02-05 02:19:02 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-02-05 02:19:47 +0100falafel(~falafel@syn-076-093-010-089.res.spectrum.com) falafel
2025-02-05 02:23:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-02-05 02:30:07 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-02-05 02:33:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 02:36:06 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-02-05 02:37:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-02-05 02:38:02 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 02:40:15 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-100.cust.tzulo.com) Jeanne-Kamikaze
2025-02-05 02:42:04 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-02-05 02:42:20 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-05 02:42:40 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2025-02-05 02:44:36 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2025-02-05 02:45:42 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2025-02-05 02:45:48 +0100JuanDaughertyColinRobinson
2025-02-05 02:48:33 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-02-05 02:49:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 02:53:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-02-05 03:02:21 +0100tavare(~tavare@user/tavare) tavare
2025-02-05 03:04:20 +0100falafel(~falafel@syn-076-093-010-089.res.spectrum.com) (Ping timeout: 252 seconds)
2025-02-05 03:04:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 03:09:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-05 03:15:36 +0100weary-traveler(~user@user/user363627) user363627
2025-02-05 03:19:19 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds)
2025-02-05 03:19:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 03:26:26 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 03:26:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-02-05 03:28:29 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2025-02-05 03:30:03 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-02-05 03:30:44 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-05 03:37:49 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2025-02-05 03:37:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 03:39:59 +0100ColinRobinson(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-02-05 03:43:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-05 03:44:49 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2025-02-05 03:48:16 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-02-05 03:49:22 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-02-05 03:49:48 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-02-05 03:54:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 03:57:08 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-02-05 03:59:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-05 04:06:20 +0100hawer(~newyear@2.219.56.221) (Ping timeout: 244 seconds)
2025-02-05 04:09:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 04:13:51 +0100cuteguest(~cuteguest@2601:602:482:b20::8c6)
2025-02-05 04:14:12 +0100hawer(~newyear@2.219.56.221)
2025-02-05 04:14:24 +0100 <cuteguest> learning abt Dicts from Data.Constraint.. my brain is being opened
2025-02-05 04:14:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-05 04:17:30 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 04:21:48 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-05 04:25:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 04:30:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-02-05 04:40:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 04:42:10 +0100terrorjack(~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat)
2025-02-05 04:43:51 +0100terrorjack(~terrorjac@2a01:4f8:c17:a66e::) terrorjack
2025-02-05 04:44:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-02-05 04:49:16 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-100.cust.tzulo.com) (Quit: Leaving)
2025-02-05 04:56:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 05:00:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-02-05 05:01:38 +0100rekahsoft(~rekahsoft@70.51.99.237) (Ping timeout: 245 seconds)
2025-02-05 05:05:54 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 05:06:27 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-02-05 05:10:06 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-05 05:10:06 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-02-05 05:11:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 05:12:31 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-02-05 05:15:41 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-02-05 05:15:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-02-05 05:22:08 +0100 <haskellbridge> <thirdofmay18081814goya> what are some good theory-heavy readings on optics/lenses?
2025-02-05 05:27:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 05:32:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-02-05 05:36:12 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2025-02-05 05:40:18 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-02-05 05:40:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 05:44:36 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-02-05 05:44:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-05 05:46:23 +0100cuteguest(~cuteguest@2601:602:482:b20::8c6) (Quit: Client closed)
2025-02-05 05:53:58 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 05:55:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 05:58:07 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-05 05:59:02 +0100agent314(~quassel@79.127.222.205) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-02-05 06:00:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-05 06:11:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 06:15:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-05 06:22:13 +0100tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-02-05 06:26:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 06:33:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-05 06:41:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 06:41:42 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 06:45:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-05 06:45:57 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-02-05 06:46:53 +0100xff0x(~xff0x@2404:7a85:a201:8600:6e59:82a6:334a:c830) (Ping timeout: 252 seconds)
2025-02-05 06:47:53 +0100michalz(~michalz@185.246.207.203)
2025-02-05 06:56:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 07:01:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-05 07:04:10 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-05 07:04:54 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 260 seconds)
2025-02-05 07:04:54 +0100tnt2tnt1
2025-02-05 07:08:05 +0100 <albet70> how to store computed value in iteration compute?
2025-02-05 07:08:57 +0100 <jackdk> thirdofmay18081814goya: I don't know the literature but you might want to try looking at categorical presentations of profunctor optics
2025-02-05 07:12:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 07:16:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-05 07:16:59 +0100hgolden(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
2025-02-05 07:19:23 +0100hgolden(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden
2025-02-05 07:22:44 +0100takuan(~takuan@d8D86B601.access.telenet.be)
2025-02-05 07:22:46 +0100 <albet70> https://paste.tomsmeding.com/lzecPvyN
2025-02-05 07:23:00 +0100 <albet70> why this accum is empty in above code
2025-02-05 07:23:32 +0100 <albet70> I want accum store the previous computed values and return with k
2025-02-05 07:24:14 +0100_ht(~huub@62.250.52.179) (Remote host closed the connection)
2025-02-05 07:24:57 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-02-05 07:27:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 07:28:27 +0100 <haskellbridge> <thirdofmay18081814goya> jackdk: lots of material on this, thanks a lot for the reference!
2025-02-05 07:29:46 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 07:32:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-02-05 07:34:12 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-05 07:41:16 +0100 <Axman6> albet70: I would recommend walking through evaluating it yourself by hand. start with rec [1,2,3,0,4] [] id, expand it to (\ls -> \accum -> \k -> ...) [1,2,3,0,4] [] id, substitute in the arguments, then iterate your definition of mapK
2025-02-05 07:42:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 07:46:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-05 07:47:16 +0100 <albet70> > traverse (\x -> if x ==0 then Nothing else Just (1/x)) [1,2,3,0,4]
2025-02-05 07:47:18 +0100 <lambdabot> Nothing
2025-02-05 07:47:49 +0100 <albet70> I want [1,0.5,0.333,0] not Nothing
2025-02-05 07:47:55 +0100 <int-e> :t map recip . filter (/= 0)
2025-02-05 07:47:55 +0100 <lambdabot> (Fractional b, Eq b) => [b] -> [b]
2025-02-05 07:48:10 +0100 <albet70> early return with accumulated value
2025-02-05 07:48:42 +0100 <int-e> the accumulated value might just as well not exist; `mapK` never uses it.
2025-02-05 07:49:10 +0100 <int-e> :t map recip . takeWhile (/= 0)
2025-02-05 07:49:11 +0100 <lambdabot> (Fractional b, Eq b) => [b] -> [b]
2025-02-05 07:49:35 +0100 <albet70> how to fix that code?
2025-02-05 07:49:58 +0100 <int-e> To what end? It's just horribly confusing, throw it out.
2025-02-05 07:50:54 +0100ephilalethes(~noumenon@2404:c0:2020::55a:6e53) noumenon
2025-02-05 07:52:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 07:53:47 +0100acidjnk_new3(~acidjnk@p200300d6e7283f01d9acb33bf68493bd.dip0.t-ipconnect.de) acidjnk
2025-02-05 07:53:51 +0100 <albet70> like in traverse (\x -> if x ==0 then Nothing else Just (1/x)) [1,2,3,0,4], I want the sunccess part result
2025-02-05 07:57:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-05 07:59:43 +0100notzmv(~umar@user/notzmv) (Remote host closed the connection)
2025-02-05 08:00:23 +0100 <int-e> well I'm not going to help you write code that you don't understand
2025-02-05 08:00:25 +0100int-eshrugs
2025-02-05 08:04:29 +0100ZLima12(~zlima12@user/meow/ZLima12) (Remote host closed the connection)
2025-02-05 08:05:38 +0100ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2025-02-05 08:05:54 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-02-05 08:06:00 +0100ft(~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving)
2025-02-05 08:08:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 08:09:18 +0100 <int-e> :t Data.Bool.bool
2025-02-05 08:09:19 +0100 <lambdabot> a -> a -> Bool -> a
2025-02-05 08:16:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-05 08:19:51 +0100CiaoSen(~Jura@2a05:5800:236:d500:ca4b:d6ff:fec1:99da) CiaoSen
2025-02-05 08:20:03 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 08:23:09 +0100agent314(~quassel@79.127.222.205) agent314
2025-02-05 08:24:15 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-02-05 08:27:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 08:28:27 +0100agent314(~quassel@79.127.222.205) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-02-05 08:31:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-05 08:42:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 08:46:32 +0100cyphase(~cyphase@user/cyphase) (Ping timeout: 272 seconds)
2025-02-05 08:49:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-02-05 08:56:13 +0100tnt1(~Thunderbi@user/tnt1) (Remote host closed the connection)
2025-02-05 08:59:46 +0100 <monochrom> Hell, I don't even understand the question. One may say "I am not going to write code for a question I don't understand" :)
2025-02-05 09:00:00 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-02-05 09:00:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-05 09:01:19 +0100caconym(~caconym@user/caconym) caconym
2025-02-05 09:03:42 +0100 <int-e> But I did understand the question (though some pieces come from the subsequent discussion) :P
2025-02-05 09:04:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-05 09:07:47 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 09:08:52 +0100 <albet70> the question is simple, how to do early return with the previous computed result, like I want "traverse (\x -> if x ==0 then Nothing else Just (1/x)) [1,2,3,0,4]" return [0,0.5,0.333] not Nothing
2025-02-05 09:09:43 +0100xff0x(~xff0x@2405:6580:b080:900:9dbe:9a4e:842b:9b5e)
2025-02-05 09:09:51 +0100 <monochrom> Clearly, traverse+Nothing is the wrong tool then.
2025-02-05 09:09:53 +0100 <int-e> > map recip . takeWhile (/= 0) $ [1,2,3,0,4]
2025-02-05 09:09:54 +0100 <lambdabot> [1.0,0.5,0.3333333333333333]
2025-02-05 09:10:45 +0100 <monochrom> I would go for takeWhile too, then a vanilla map will nicely finish the rest.
2025-02-05 09:11:28 +0100 <albet70> what if you don't know what value will produce Nothing, then how you takeWhile?
2025-02-05 09:12:06 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-05 09:12:11 +0100 <albet70> what if that lambda inside traverse is passing by outside somewhere, you don't know 0 will produce Nothing
2025-02-05 09:12:24 +0100 <monochrom> What Nothing? Just don't use Nothing.
2025-02-05 09:12:39 +0100 <int-e> :t catMaybes . takeWhile isJust
2025-02-05 09:12:40 +0100 <lambdabot> [Maybe a] -> [a]
2025-02-05 09:12:44 +0100 <albet70> then how you do early return
2025-02-05 09:12:51 +0100 <monochrom> takeWhile
2025-02-05 09:13:15 +0100 <int-e> You have laziness, why are you so obsessed with early returns?
2025-02-05 09:13:34 +0100 <int-e> It makes no sense, you're only producing overcomplicated code.
2025-02-05 09:13:42 +0100 <int-e> That doesn't work.
2025-02-05 09:14:22 +0100cyphase(~cyphase@user/cyphase) cyphase
2025-02-05 09:14:23 +0100Cylian(~Cylian@42.105.142.200)
2025-02-05 09:14:44 +0100 <albet70> what if that traverse f , and that f is IO stuff
2025-02-05 09:14:53 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-02-05 09:15:04 +0100 <albet70> how you takeWhile on IO a
2025-02-05 09:15:08 +0100 <monochrom> Then you pose the real question.
2025-02-05 09:15:12 +0100chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds)
2025-02-05 09:15:40 +0100 <[exa]> :t takeWhileM
2025-02-05 09:15:40 +0100 <lambdabot> error:
2025-02-05 09:15:40 +0100 <lambdabot> • Variable not in scope: takeWhileM
2025-02-05 09:15:40 +0100 <lambdabot> • Perhaps you meant one of these:
2025-02-05 09:15:44 +0100 <[exa]> :(
2025-02-05 09:16:40 +0100chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-02-05 09:16:52 +0100 <Cylian> How can register my nickname?
2025-02-05 09:17:31 +0100 <monochrom> PM nickserv. You can get starters by PM'ing it "help"
2025-02-05 09:19:33 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-02-05 09:20:07 +0100AkechiShiro(~licht@user/akechishiro) (Ping timeout: 265 seconds)
2025-02-05 09:20:23 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 245 seconds)
2025-02-05 09:20:40 +0100AkechiShiro(~licht@user/akechishiro) AkechiShiro
2025-02-05 09:20:57 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius
2025-02-05 09:27:42 +0100ByronJohnson(~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 244 seconds)
2025-02-05 09:28:00 +0100otto_s(~user@p4ff27d71.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-02-05 09:28:09 +0100Cylian(~Cylian@42.105.142.200) (Changing host)
2025-02-05 09:28:09 +0100Cylian(~Cylian@user/Cylian) Cylian
2025-02-05 09:30:54 +0100acidjnk_new3(~acidjnk@p200300d6e7283f01d9acb33bf68493bd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-02-05 09:34:59 +0100ByronJohnson(~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson
2025-02-05 09:37:03 +0100 <Cylian> monochrom Thank you :)
2025-02-05 09:37:41 +0100dhil(~dhil@2a0c:b381:588:5f00:c91a:d29a:b98a:5647) dhil
2025-02-05 09:37:50 +0100CiaoSen(~Jura@2a05:5800:236:d500:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds)
2025-02-05 09:41:19 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2025-02-05 09:44:31 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-05 09:49:09 +0100Cylian(~Cylian@user/Cylian) (Quit: Client closed)
2025-02-05 09:49:41 +0100Cylian(~Cylian@user/Cylian) Cylian
2025-02-05 09:50:36 +0100leah2(~leah@vuxu.org) (Ping timeout: 252 seconds)
2025-02-05 09:50:49 +0100mniip_(mniip@libera/staff/mniip) mniip
2025-02-05 09:50:58 +0100tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 252 seconds)
2025-02-05 09:51:12 +0100mniip(mniip@libera/staff/mniip) (Read error: Connection reset by peer)
2025-02-05 09:51:49 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2025-02-05 09:52:01 +0100Cylian(~Cylian@user/Cylian) (Client Quit)
2025-02-05 09:56:12 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 09:59:30 +0100ggVGc(~ggVGc@a.lowtech.earth) (Ping timeout: 252 seconds)
2025-02-05 10:00:15 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-02-05 10:00:23 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-02-05 10:01:17 +0100ggVGc(~ggVGc@a.lowtech.earth)
2025-02-05 10:02:08 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2025-02-05 10:03:39 +0100leah2(~leah@vuxu.org) leah2
2025-02-05 10:04:23 +0100tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-02-05 10:10:46 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-02-05 10:14:46 +0100chele(~chele@user/chele) chele
2025-02-05 10:20:59 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-02-05 10:25:01 +0100tzh_(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-02-05 10:25:28 +0100CiaoSen(~Jura@2a05:5800:236:d500:ca4b:d6ff:fec1:99da) CiaoSen
2025-02-05 10:32:34 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-02-05 10:38:27 +0100kuribas(~user@2a02:1808:a:d78d:26f3:6d8e:c40a:d592) kuribas
2025-02-05 10:42:57 +0100xff0x(~xff0x@2405:6580:b080:900:9dbe:9a4e:842b:9b5e) (Ping timeout: 252 seconds)
2025-02-05 10:43:02 +0100xff0x_(~xff0x@2405:6580:b080:900:910:87f2:f824:bcaa)
2025-02-05 10:43:56 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 10:44:05 +0100forell(~forell@user/forell) forell
2025-02-05 10:44:11 +0100kuribas`(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-02-05 10:45:40 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-05 10:45:48 +0100kuribas(~user@2a02:1808:a:d78d:26f3:6d8e:c40a:d592) (Ping timeout: 245 seconds)
2025-02-05 10:48:05 +0100ephilalethes(~noumenon@2404:c0:2020::55a:6e53) (Ping timeout: 248 seconds)
2025-02-05 10:48:10 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-05 10:52:34 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-02-05 10:54:15 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-05 10:57:56 +0100Googulator(~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed)
2025-02-05 10:58:10 +0100Googulator(~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu)
2025-02-05 11:04:38 +0100acidjnk_new3(~acidjnk@p200300d6e7283f01d9acb33bf68493bd.dip0.t-ipconnect.de) acidjnk
2025-02-05 11:08:38 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:581e:37f9:16ce:cc6e) ubert
2025-02-05 11:10:39 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-02-05 11:12:12 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-05 11:13:52 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2025-02-05 11:15:22 +0100tabaqui1(~root@87.200.129.102) tabaqui
2025-02-05 11:24:33 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2025-02-05 11:33:19 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 11:34:06 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-02-05 11:36:01 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-02-05 11:37:37 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-02-05 11:41:53 +0100mange(~user@user/mange) (Quit: Zzz...)
2025-02-05 11:43:33 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-05 11:45:43 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-02-05 11:47:35 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-02-05 12:01:41 +0100__monty__(~toonn@user/toonn) toonn
2025-02-05 12:17:21 +0100troydm(~troydm@user/troydm) troydm
2025-02-05 12:17:55 +0100troydm(~troydm@user/troydm) (Client Quit)
2025-02-05 12:21:44 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 12:26:04 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-05 12:28:06 +0100sprotte24(~sprotte24@p200300d16f11de00b813863070e711b1.dip0.t-ipconnect.de)
2025-02-05 12:28:06 +0100sprotte24(~sprotte24@p200300d16f11de00b813863070e711b1.dip0.t-ipconnect.de) (Client Quit)
2025-02-05 12:28:49 +0100pabs3(~pabs3@user/pabs3) (Ping timeout: 260 seconds)
2025-02-05 12:33:02 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-02-05 12:34:08 +0100absence(torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 245 seconds)
2025-02-05 12:34:11 +0100supercode(~supercode@user/supercode) supercode
2025-02-05 12:34:17 +0100absence(torgeihe@hildring.pvv.ntnu.no)
2025-02-05 12:35:49 +0100pabs3(~pabs3@user/pabs3) pabs3
2025-02-05 12:45:57 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-05 12:55:26 +0100m1dnight_m1dnight
2025-02-05 12:58:48 +0100m1dnightm1dnight_
2025-02-05 12:58:55 +0100m1dnight_m1dnight
2025-02-05 13:02:26 +0100m1dnightm1dnight_
2025-02-05 13:02:30 +0100m1dnight_m1dnight
2025-02-05 13:06:07 +0100comerijn(~merijn@77.242.116.146) merijn
2025-02-05 13:09:13 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-02-05 13:10:28 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 13:11:24 +0100misterfish(~misterfis@22.1-12-147.kabelnoord.net) (Ping timeout: 260 seconds)
2025-02-05 13:12:07 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2025-02-05 13:14:50 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-05 13:21:26 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Ping timeout: 252 seconds)
2025-02-05 13:31:33 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-02-05 13:33:10 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2025-02-05 13:33:18 +0100 <kaol> I finally used fix function in my code and I'm unreasonably happy about it.
2025-02-05 13:35:04 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-02-05 13:36:06 +0100dsrt^(~dsrt@108.192.66.114) (Ping timeout: 252 seconds)
2025-02-05 13:36:54 +0100m1dnightm1dnight_
2025-02-05 13:36:59 +0100m1dnight_m1dnight
2025-02-05 13:37:32 +0100dsrt^(~dsrt@108.192.66.114)
2025-02-05 13:37:56 +0100misterfish(~misterfis@22.1-12-147.kabelnoord.net) misterfish
2025-02-05 13:38:52 +0100forell(~forell@user/forell) (Quit: ZNC - https://znc.in)
2025-02-05 13:39:34 +0100JuanDaughertyColinRobinson
2025-02-05 13:41:41 +0100forell(~forell@user/forell) forell
2025-02-05 13:43:46 +0100jespada(~jespada@2800:a4:2349:fd00:4cee:65a9:9995:4332) jespada
2025-02-05 13:44:08 +0100jespada(~jespada@2800:a4:2349:fd00:4cee:65a9:9995:4332) (Client Quit)
2025-02-05 13:45:08 +0100m1dnightm1dnight_
2025-02-05 13:45:10 +0100m1dnight_m1dnight
2025-02-05 13:46:21 +0100jespada(~jespada@2800:a4:2349:fd00:4cee:65a9:9995:4332) jespada
2025-02-05 13:47:18 +0100rvalue-(~rvalue@user/rvalue) rvalue
2025-02-05 13:47:35 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 244 seconds)
2025-02-05 13:48:37 +0100misterfish(~misterfis@22.1-12-147.kabelnoord.net) (Ping timeout: 244 seconds)
2025-02-05 13:51:27 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-05 13:52:12 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 246 seconds)
2025-02-05 13:52:12 +0100tnt2tnt1
2025-02-05 13:52:40 +0100rvalue-rvalue
2025-02-05 13:58:52 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 14:03:14 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-05 14:04:48 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2025-02-05 14:09:09 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 248 seconds)
2025-02-05 14:09:30 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2025-02-05 14:10:43 +0100sreaming(~screaming@37.48.95.216) (Quit: The Lounge - https://thelounge.chat)
2025-02-05 14:12:52 +0100sreaming(~screaming@37.48.95.216)
2025-02-05 14:13:48 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-05 14:16:36 +0100CiaoSen(~Jura@2a05:5800:236:d500:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds)
2025-02-05 14:17:53 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2025-02-05 14:19:56 +0100alp(~alp@2001:861:8ca0:4940:a52d:a41b:3770:b2af) (Read error: Connection reset by peer)
2025-02-05 14:20:57 +0100alp(~alp@2001:861:8ca0:4940:a52d:a41b:3770:b2af)
2025-02-05 14:38:07 +0100ColinRobinsonJuanDaugherty
2025-02-05 14:44:46 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-02-05 14:47:16 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 14:49:33 +0100 <dminuoso> In conduit, I would like to connect two sinks to a conduit. Is that somehow possible?
2025-02-05 14:51:41 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 265 seconds)
2025-02-05 14:54:56 +0100 <dminuoso> Though the more I keep thinking about this, the more headaches I get about exceptions and resource management.
2025-02-05 14:58:43 +0100sreaming(~screaming@37.48.95.216) (Quit: The Lounge - https://thelounge.chat)
2025-02-05 14:59:20 +0100weary-traveler(~user@user/user363627) user363627
2025-02-05 15:00:51 +0100JuanDaughertyColinRobinson
2025-02-05 15:06:18 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-02-05 15:06:40 +0100dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 265 seconds)
2025-02-05 15:07:51 +0100weary-traveler(~user@user/user363627) user363627
2025-02-05 15:08:45 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-02-05 15:12:10 +0100rekahsoft(~rekahsoft@142.112.184.232) rekahsoft
2025-02-05 15:13:53 +0100dibblego(~dibblego@haskell/developer/dibblego) dibblego
2025-02-05 15:24:38 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-02-05 15:24:59 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-02-05 15:26:20 +0100ColinRobinson(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-02-05 15:27:49 +0100olivial_(~benjaminl@2601:1c0:847f:9c70:223:24ff:fe66:4370) (Read error: Connection reset by peer)
2025-02-05 15:28:03 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-02-05 15:32:43 +0100hueso(~root@user/hueso) (Remote host closed the connection)
2025-02-05 15:33:47 +0100hueso(~root@user/hueso) hueso
2025-02-05 15:34:19 +0100hueso(~root@user/hueso) (Remote host closed the connection)
2025-02-05 15:35:02 +0100hueso(~root@user/hueso) hueso
2025-02-05 15:36:19 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 15:36:35 +0100hueso(~root@user/hueso) (Client Quit)
2025-02-05 15:39:56 +0100hueso(~root@user/hueso) hueso
2025-02-05 15:40:46 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-05 15:43:20 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-02-05 15:43:20 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-05 15:45:38 +0100tnt2tnt1
2025-02-05 15:51:04 +0100 <dminuoso> That said, https://hackage.haskell.org/package/conduit-1.3.6/docs/Data-Conduit.html#v:sequenceSinks seems to work.
2025-02-05 15:51:15 +0100 <dminuoso> (Or just ZipSink)
2025-02-05 15:55:21 +0100jespada(~jespada@2800:a4:2349:fd00:4cee:65a9:9995:4332) (Ping timeout: 252 seconds)
2025-02-05 15:58:40 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-02-05 15:58:41 +0100jespada(~jespada@2800:a4:22f0:ad00:71a5:a98b:21d:a1b4) jespada
2025-02-05 16:00:48 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-02-05 16:02:03 +0100fmira(~user@user/fmira) (Remote host closed the connection)
2025-02-05 16:02:37 +0100fmira(~user@user/fmira) fmira
2025-02-05 16:11:57 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-02-05 16:18:43 +0100hueso(~root@user/hueso) (Remote host closed the connection)
2025-02-05 16:19:25 +0100hueso(~root@user/hueso) hueso
2025-02-05 16:19:56 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-05 16:24:43 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 16:28:53 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-02-05 16:29:34 +0100hueso(~root@user/hueso) (Quit: hueso)
2025-02-05 16:30:31 +0100hueso(~root@user/hueso) hueso
2025-02-05 16:33:08 +0100hueso(~root@user/hueso) (Client Quit)
2025-02-05 16:33:14 +0100supercode(~supercode@user/supercode) (Quit: Client closed)
2025-02-05 16:33:26 +0100hueso(~root@user/hueso) hueso
2025-02-05 16:44:34 +0100hueso(~root@user/hueso) (Quit: hueso)
2025-02-05 16:44:52 +0100hueso(~root@user/hueso) hueso
2025-02-05 16:50:14 +0100hueso(~root@user/hueso) (Quit: hueso)
2025-02-05 16:58:57 +0100hueso(~root@user/hueso) hueso
2025-02-05 17:05:45 +0100hueso(~root@user/hueso) (Quit: hueso)
2025-02-05 17:06:49 +0100hueso(~root@user/hueso) hueso
2025-02-05 17:10:59 +0100hueso(~root@user/hueso) (Client Quit)
2025-02-05 17:11:17 +0100hueso(~root@user/hueso) hueso
2025-02-05 17:12:47 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 17:17:18 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-05 17:18:31 +0100rvalue-(~rvalue@user/rvalue) rvalue
2025-02-05 17:18:57 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2025-02-05 17:19:11 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-05 17:20:03 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-02-05 17:20:04 +0100tnt2tnt1
2025-02-05 17:23:25 +0100rvalue-rvalue
2025-02-05 17:28:56 +0100hueso(~root@user/hueso) (Quit: hueso)
2025-02-05 17:35:03 +0100yin(~z@user/zero) (Quit: quit)
2025-02-05 17:36:55 +0100zero(~z@user/zero) zero
2025-02-05 17:40:23 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-02-05 17:44:28 +0100mceresa(~mceresa@user/mceresa) (Remote host closed the connection)
2025-02-05 17:44:37 +0100mceresa(~mceresa@user/mceresa) mceresa
2025-02-05 17:45:46 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:581e:37f9:16ce:cc6e) (Quit: ubert)
2025-02-05 17:46:09 +0100comerijn(~merijn@77.242.116.146) merijn
2025-02-05 17:49:05 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-02-05 17:49:51 +0100mceresa(~mceresa@user/mceresa) (Remote host closed the connection)
2025-02-05 17:50:03 +0100mceresa(~mceresa@user/mceresa) mceresa
2025-02-05 17:51:12 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 272 seconds)
2025-02-05 17:57:58 +0100ft(~ft@p3e9bcd97.dip0.t-ipconnect.de) ft
2025-02-05 18:01:52 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 18:01:56 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2025-02-05 18:05:15 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 246 seconds)
2025-02-05 18:06:20 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-05 18:07:01 +0100jespada(~jespada@2800:a4:22f0:ad00:71a5:a98b:21d:a1b4) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-02-05 18:07:59 +0100jespada(~jespada@2800:a4:22f0:ad00:71a5:a98b:21d:a1b4) jespada
2025-02-05 18:09:33 +0100kuribas`(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2025-02-05 18:09:41 +0100sprotte24(~sprotte24@p200300d16f11de0068d7372f021dd7dd.dip0.t-ipconnect.de)
2025-02-05 18:20:36 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 264 seconds)
2025-02-05 18:21:56 +0100ec(~ec@gateway/tor-sasl/ec) ec
2025-02-05 18:28:10 +0100jespada(~jespada@2800:a4:22f0:ad00:71a5:a98b:21d:a1b4) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-02-05 18:34:18 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2025-02-05 18:41:58 +0100Googulator(~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed)
2025-02-05 18:42:14 +0100Googulator(~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu)
2025-02-05 18:49:08 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-02-05 18:50:56 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 18:51:17 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-02-05 18:51:38 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-02-05 18:55:06 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-05 19:11:26 +0100chele(~chele@user/chele) (Remote host closed the connection)
2025-02-05 19:17:21 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 246 seconds)
2025-02-05 19:19:13 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-02-05 19:21:29 +0100pavonia(~user@user/siracusa) siracusa
2025-02-05 19:24:45 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-02-05 19:24:58 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-02-05 19:26:26 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-02-05 19:26:58 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2025-02-05 19:27:49 +0100Lord_of_Life_Lord_of_Life
2025-02-05 19:39:59 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-05 19:44:14 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-05 19:44:35 +0100fun-safe-math(~fun-safe-@2601:1c2:1b7f:801f:615b:f09:507b:cda6) (Quit: No Ping reply in 180 seconds.)
2025-02-05 19:45:07 +0100hawer(~newyear@2.219.56.221) (Ping timeout: 244 seconds)
2025-02-05 19:45:35 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-02-05 19:46:50 +0100fun-safe-math(~fun-safe-@2601:1c2:1b7f:801f:f530:2eec:1f02:adc2) fun-safe-math
2025-02-05 19:52:48 +0100byte(~mu@user/byte) (Ping timeout: 265 seconds)
2025-02-05 19:53:41 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-02-05 19:57:24 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2025-02-05 20:04:43 +0100JuanDaughertyColinRobinson
2025-02-05 20:07:03 +0100acidjnk_new3(~acidjnk@p200300d6e7283f01d9acb33bf68493bd.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-02-05 20:11:05 +0100byte(~mu@user/byte) byte
2025-02-05 20:11:14 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer