| 2025-02-05 00:00:49 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-02-05 00:00:53 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-05 00:02:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-05 00:04:36 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Client Quit) |
| 2025-02-05 00:04:41 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-05 00:05:02 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-05 00:05:51 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-02-05 00:08:18 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-02-05 00:08:18 +0000 | ljdarj1 | ljdarj |
| 2025-02-05 00:13:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 00:18:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 00:18:46 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-02-05 00:24:31 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-05 00:24:47 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-05 00:28:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 00:29:30 +0000 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 246 seconds) |
| 2025-02-05 00:31:37 +0000 | spacenautx | (~spacenaut@user/spacenautx) spacenautx |
| 2025-02-05 00:31:41 +0000 | TMA | (tma@twin.jikos.cz) TMA |
| 2025-02-05 00:32:17 +0000 | foul_owl | (~kerry@193.42.0.124) (Ping timeout: 248 seconds) |
| 2025-02-05 00:32:18 +0000 | apache | (apache2@anubis.0x90.dk) apache2 |
| 2025-02-05 00:33:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-05 00:34:30 +0000 | m1dnight_ | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 252 seconds) |
| 2025-02-05 00:34:42 +0000 | foul_owl | (~kerry@174-21-138-88.tukw.qwest.net) foul_owl |
| 2025-02-05 00:34:52 +0000 | apache2 | (apache2@anubis.0x90.dk) (Ping timeout: 252 seconds) |
| 2025-02-05 00:36:31 +0000 | m1dnight_ | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2025-02-05 00:36:59 +0000 | sprotte24 | (~sprotte24@p200300d16f057d0048bfec2654557117.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-02-05 00:37:28 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f07d9acb33bf68493bd.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-02-05 00:44:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 00:48:48 +0000 | Philonous | (~Philonous@user/philonous) (Ping timeout: 252 seconds) |
| 2025-02-05 00:49:29 +0000 | foul_owl | (~kerry@174-21-138-88.tukw.qwest.net) (Ping timeout: 260 seconds) |
| 2025-02-05 00:49:33 +0000 | Philonous | (~Philonous@user/philonous) Philonous |
| 2025-02-05 00:49:57 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 00:51:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 00:52:50 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 252 seconds) |
| 2025-02-05 00:54:00 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-05 00:54:18 +0000 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
| 2025-02-05 00:54:50 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-02-05 00:56:26 +0000 | malte | (~malte@mal.tc) malte |
| 2025-02-05 00:56:52 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 252 seconds) |
| 2025-02-05 00:57:52 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-02-05 00:59:58 +0000 | agent314 | (~quassel@79.127.222.205) agent314 |
| 2025-02-05 01:00:32 +0000 | orenty7 | (~orenty7@176.88.22.4) (Read error: Connection reset by peer) |
| 2025-02-05 01:02:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 01:03:32 +0000 | foul_owl | (~kerry@193.42.0.126) foul_owl |
| 2025-02-05 01:03:39 +0000 | orenty7 | (~orenty7@176.88.22.4) |
| 2025-02-05 01:07:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 01:13:44 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 252 seconds) |
| 2025-02-05 01:14:13 +0000 | otto_s | (~user@p5b044e98.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-02-05 01:14:32 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-02-05 01:14:53 +0000 | sim590 | (~simon@24-122-69-233.resi.cgocable.ca) (Quit: WeeChat 4.5.1) |
| 2025-02-05 01:16:06 +0000 | otto_s | (~user@p4ff27d71.dip0.t-ipconnect.de) |
| 2025-02-05 01:18:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 01:18:43 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-02-05 01:19:02 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-05 01:19:47 +0000 | falafel | (~falafel@syn-076-093-010-089.res.spectrum.com) falafel |
| 2025-02-05 01:23:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-05 01:30:07 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-05 01:33:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 01:36:06 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-02-05 01:37:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-05 01:38:02 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 01:40:15 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-100.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-02-05 01:42:04 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-05 01:42:20 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 01:42:40 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-05 01:44:36 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-02-05 01:45:42 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-05 01:45:48 +0000 | JuanDaugherty | ColinRobinson |
| 2025-02-05 01:48:33 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-05 01:49:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 01:53:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-05 02:02:21 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-05 02:04:20 +0000 | falafel | (~falafel@syn-076-093-010-089.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-05 02:04:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 02:09:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-05 02:15:36 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-05 02:19:19 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-02-05 02:19:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 02:26:26 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 02:26:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-05 02:28:29 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-02-05 02:30:03 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-05 02:30:44 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 02:37:49 +0000 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-02-05 02:37:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 02:39:59 +0000 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-05 02:43:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-05 02:44:49 +0000 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-02-05 02:48:16 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-02-05 02:49:22 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-05 02:49:48 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-05 02:54:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 02:57:08 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-02-05 02:59:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-05 03:06:20 +0000 | hawer | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-02-05 03:09:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 03:13:51 +0000 | cuteguest | (~cuteguest@2601:602:482:b20::8c6) |
| 2025-02-05 03:14:12 +0000 | hawer | (~newyear@2.219.56.221) |
| 2025-02-05 03:14:24 +0000 | <cuteguest> | learning abt Dicts from Data.Constraint.. my brain is being opened |
| 2025-02-05 03:14:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 03:17:30 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 03:21:48 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 03:25:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 03:30:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-05 03:40:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 03:42:10 +0000 | terrorjack | (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 2025-02-05 03:43:51 +0000 | terrorjack | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2025-02-05 03:44:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-05 03:49:16 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-100.cust.tzulo.com) (Quit: Leaving) |
| 2025-02-05 03:56:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 04:00:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-05 04:01:38 +0000 | rekahsoft | (~rekahsoft@70.51.99.237) (Ping timeout: 245 seconds) |
| 2025-02-05 04:05:54 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 04:06:27 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-05 04:10:06 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 04:10:06 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-05 04:11:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 04:12:31 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-05 04:15:41 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-05 04:15:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-05 04:22:08 +0000 | <haskellbridge> | <thirdofmay18081814goya> what are some good theory-heavy readings on optics/lenses? |
| 2025-02-05 04:27:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 04:32:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-05 04:36:12 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-02-05 04:40:18 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-05 04:40:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 04:44:36 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-05 04:44:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 04:46:23 +0000 | cuteguest | (~cuteguest@2601:602:482:b20::8c6) (Quit: Client closed) |
| 2025-02-05 04:53:58 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 04:55:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 04:58:07 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 04:59:02 +0000 | agent314 | (~quassel@79.127.222.205) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-02-05 05:00:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 05:11:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 05:15:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 05:22:13 +0000 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-05 05:26:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 05:33:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 05:41:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 05:41:42 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 05:45:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 05:45:57 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-05 05:46:53 +0000 | xff0x | (~xff0x@2404:7a85:a201:8600:6e59:82a6:334a:c830) (Ping timeout: 252 seconds) |
| 2025-02-05 05:47:53 +0000 | michalz | (~michalz@185.246.207.203) |
| 2025-02-05 05:56:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 06:01:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 06:04:10 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-05 06:04:54 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-02-05 06:04:54 +0000 | tnt2 | tnt1 |
| 2025-02-05 06:08:05 +0000 | <albet70> | how to store computed value in iteration compute? |
| 2025-02-05 06:08:57 +0000 | <jackdk> | thirdofmay18081814goya: I don't know the literature but you might want to try looking at categorical presentations of profunctor optics |
| 2025-02-05 06:12:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 06:16:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 06:16:59 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-02-05 06:19:23 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-02-05 06:22:44 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-05 06:22:46 +0000 | <albet70> | https://paste.tomsmeding.com/lzecPvyN |
| 2025-02-05 06:23:00 +0000 | <albet70> | why this accum is empty in above code |
| 2025-02-05 06:23:32 +0000 | <albet70> | I want accum store the previous computed values and return with k |
| 2025-02-05 06:24:14 +0000 | _ht | (~huub@62.250.52.179) (Remote host closed the connection) |
| 2025-02-05 06:24:57 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-05 06:27:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 06:28:27 +0000 | <haskellbridge> | <thirdofmay18081814goya> jackdk: lots of material on this, thanks a lot for the reference! |
| 2025-02-05 06:29:46 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 06:32:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-05 06:34:12 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 06:41:16 +0000 | <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 06:42:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 06:46:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-05 06:47:16 +0000 | <albet70> | > traverse (\x -> if x ==0 then Nothing else Just (1/x)) [1,2,3,0,4] |
| 2025-02-05 06:47:18 +0000 | <lambdabot> | Nothing |
| 2025-02-05 06:47:49 +0000 | <albet70> | I want [1,0.5,0.333,0] not Nothing |
| 2025-02-05 06:47:55 +0000 | <int-e> | :t map recip . filter (/= 0) |
| 2025-02-05 06:47:55 +0000 | <lambdabot> | (Fractional b, Eq b) => [b] -> [b] |
| 2025-02-05 06:48:10 +0000 | <albet70> | early return with accumulated value |
| 2025-02-05 06:48:42 +0000 | <int-e> | the accumulated value might just as well not exist; `mapK` never uses it. |
| 2025-02-05 06:49:10 +0000 | <int-e> | :t map recip . takeWhile (/= 0) |
| 2025-02-05 06:49:11 +0000 | <lambdabot> | (Fractional b, Eq b) => [b] -> [b] |
| 2025-02-05 06:49:35 +0000 | <albet70> | how to fix that code? |
| 2025-02-05 06:49:58 +0000 | <int-e> | To what end? It's just horribly confusing, throw it out. |
| 2025-02-05 06:50:54 +0000 | ephilalethes | (~noumenon@2404:c0:2020::55a:6e53) noumenon |
| 2025-02-05 06:52:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 06:53:47 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f01d9acb33bf68493bd.dip0.t-ipconnect.de) acidjnk |
| 2025-02-05 06:53:51 +0000 | <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 06:57:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-05 06:59:43 +0000 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2025-02-05 07:00:23 +0000 | <int-e> | well I'm not going to help you write code that you don't understand |
| 2025-02-05 07:00:25 +0000 | int-e | shrugs |
| 2025-02-05 07:04:29 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
| 2025-02-05 07:05:38 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-02-05 07:05:54 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-05 07:06:00 +0000 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-05 07:08:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 07:09:18 +0000 | <int-e> | :t Data.Bool.bool |
| 2025-02-05 07:09:19 +0000 | <lambdabot> | a -> a -> Bool -> a |
| 2025-02-05 07:16:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-05 07:19:51 +0000 | CiaoSen | (~Jura@2a05:5800:236:d500:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-05 07:20:03 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 07:23:09 +0000 | agent314 | (~quassel@79.127.222.205) agent314 |
| 2025-02-05 07:24:15 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-05 07:27:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 07:28:27 +0000 | agent314 | (~quassel@79.127.222.205) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-02-05 07:31:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 07:42:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 07:46:32 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 272 seconds) |
| 2025-02-05 07:49:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-05 07:56:13 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2025-02-05 07:59:46 +0000 | <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 08:00:00 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-05 08:00:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 08:01:19 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-05 08:03:42 +0000 | <int-e> | But I did understand the question (though some pieces come from the subsequent discussion) :P |
| 2025-02-05 08:04:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-05 08:07:47 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 08:08:52 +0000 | <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 08:09:43 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9dbe:9a4e:842b:9b5e) |
| 2025-02-05 08:09:51 +0000 | <monochrom> | Clearly, traverse+Nothing is the wrong tool then. |
| 2025-02-05 08:09:53 +0000 | <int-e> | > map recip . takeWhile (/= 0) $ [1,2,3,0,4] |
| 2025-02-05 08:09:54 +0000 | <lambdabot> | [1.0,0.5,0.3333333333333333] |
| 2025-02-05 08:10:45 +0000 | <monochrom> | I would go for takeWhile too, then a vanilla map will nicely finish the rest. |
| 2025-02-05 08:11:28 +0000 | <albet70> | what if you don't know what value will produce Nothing, then how you takeWhile? |
| 2025-02-05 08:12:06 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 08:12:11 +0000 | <albet70> | what if that lambda inside traverse is passing by outside somewhere, you don't know 0 will produce Nothing |
| 2025-02-05 08:12:24 +0000 | <monochrom> | What Nothing? Just don't use Nothing. |
| 2025-02-05 08:12:39 +0000 | <int-e> | :t catMaybes . takeWhile isJust |
| 2025-02-05 08:12:40 +0000 | <lambdabot> | [Maybe a] -> [a] |
| 2025-02-05 08:12:44 +0000 | <albet70> | then how you do early return |
| 2025-02-05 08:12:51 +0000 | <monochrom> | takeWhile |
| 2025-02-05 08:13:15 +0000 | <int-e> | You have laziness, why are you so obsessed with early returns? |
| 2025-02-05 08:13:34 +0000 | <int-e> | It makes no sense, you're only producing overcomplicated code. |
| 2025-02-05 08:13:42 +0000 | <int-e> | That doesn't work. |
| 2025-02-05 08:14:22 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-02-05 08:14:23 +0000 | Cylian | (~Cylian@42.105.142.200) |
| 2025-02-05 08:14:44 +0000 | <albet70> | what if that traverse f , and that f is IO stuff |
| 2025-02-05 08:14:53 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-05 08:15:04 +0000 | <albet70> | how you takeWhile on IO a |
| 2025-02-05 08:15:08 +0000 | <monochrom> | Then you pose the real question. |
| 2025-02-05 08:15:12 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2025-02-05 08:15:40 +0000 | <[exa]> | :t takeWhileM |
| 2025-02-05 08:15:40 +0000 | <lambdabot> | error: |
| 2025-02-05 08:15:40 +0000 | <lambdabot> | • Variable not in scope: takeWhileM |
| 2025-02-05 08:15:40 +0000 | <lambdabot> | • Perhaps you meant one of these: |
| 2025-02-05 08:15:44 +0000 | <[exa]> | :( |
| 2025-02-05 08:16:40 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-02-05 08:16:52 +0000 | <Cylian> | How can register my nickname? |
| 2025-02-05 08:17:31 +0000 | <monochrom> | PM nickserv. You can get starters by PM'ing it "help" |
| 2025-02-05 08:19:33 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-02-05 08:20:07 +0000 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 265 seconds) |
| 2025-02-05 08:20:23 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 245 seconds) |
| 2025-02-05 08:20:40 +0000 | AkechiShiro | (~licht@user/akechishiro) AkechiShiro |
| 2025-02-05 08:20:57 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2025-02-05 08:27:42 +0000 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 244 seconds) |
| 2025-02-05 08:28:00 +0000 | otto_s | (~user@p4ff27d71.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-02-05 08:28:09 +0000 | Cylian | (~Cylian@42.105.142.200) (Changing host) |
| 2025-02-05 08:28:09 +0000 | Cylian | (~Cylian@user/Cylian) Cylian |
| 2025-02-05 08:30:54 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f01d9acb33bf68493bd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-05 08:34:59 +0000 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-02-05 08:37:03 +0000 | <Cylian> | monochrom Thank you :) |
| 2025-02-05 08:37:41 +0000 | dhil | (~dhil@2a0c:b381:588:5f00:c91a:d29a:b98a:5647) dhil |
| 2025-02-05 08:37:50 +0000 | CiaoSen | (~Jura@2a05:5800:236:d500:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
| 2025-02-05 08:41:19 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-02-05 08:44:31 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-05 08:49:09 +0000 | Cylian | (~Cylian@user/Cylian) (Quit: Client closed) |
| 2025-02-05 08:49:41 +0000 | Cylian | (~Cylian@user/Cylian) Cylian |
| 2025-02-05 08:50:36 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 252 seconds) |
| 2025-02-05 08:50:49 +0000 | mniip_ | (mniip@libera/staff/mniip) mniip |
| 2025-02-05 08:50:58 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2025-02-05 08:51:12 +0000 | mniip | (mniip@libera/staff/mniip) (Read error: Connection reset by peer) |
| 2025-02-05 08:51:49 +0000 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-02-05 08:52:01 +0000 | Cylian | (~Cylian@user/Cylian) (Client Quit) |
| 2025-02-05 08:56:12 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 08:59:30 +0000 | ggVGc | (~ggVGc@a.lowtech.earth) (Ping timeout: 252 seconds) |
| 2025-02-05 09:00:15 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-05 09:00:23 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-05 09:01:17 +0000 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2025-02-05 09:02:08 +0000 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-02-05 09:03:39 +0000 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-02-05 09:04:23 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-02-05 09:10:46 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-05 09:14:46 +0000 | chele | (~chele@user/chele) chele |
| 2025-02-05 09:20:59 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-05 09:25:01 +0000 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-02-05 09:25:28 +0000 | CiaoSen | (~Jura@2a05:5800:236:d500:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-05 09:32:34 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-02-05 09:38:27 +0000 | kuribas | (~user@2a02:1808:a:d78d:26f3:6d8e:c40a:d592) kuribas |
| 2025-02-05 09:42:57 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9dbe:9a4e:842b:9b5e) (Ping timeout: 252 seconds) |
| 2025-02-05 09:43:02 +0000 | xff0x_ | (~xff0x@2405:6580:b080:900:910:87f2:f824:bcaa) |
| 2025-02-05 09:43:56 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 09:44:05 +0000 | forell | (~forell@user/forell) forell |
| 2025-02-05 09:44:11 +0000 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-02-05 09:45:40 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-05 09:45:48 +0000 | kuribas | (~user@2a02:1808:a:d78d:26f3:6d8e:c40a:d592) (Ping timeout: 245 seconds) |
| 2025-02-05 09:48:05 +0000 | ephilalethes | (~noumenon@2404:c0:2020::55a:6e53) (Ping timeout: 248 seconds) |
| 2025-02-05 09:48:10 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 09:52:34 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-02-05 09:54:15 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-05 09:57:56 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-05 09:58:10 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-05 10:04:38 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f01d9acb33bf68493bd.dip0.t-ipconnect.de) acidjnk |
| 2025-02-05 10:08:38 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:581e:37f9:16ce:cc6e) ubert |
| 2025-02-05 10:10:39 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-02-05 10:12:12 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-05 10:13:52 +0000 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-02-05 10:15:22 +0000 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-02-05 10:24:33 +0000 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-02-05 10:33:19 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 10:34:06 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-02-05 10:36:01 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-05 10:37:37 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-05 10:41:53 +0000 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-02-05 10:43:33 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-05 10:45:43 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-05 10:47:35 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-05 11:01:41 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-02-05 11:17:21 +0000 | troydm | (~troydm@user/troydm) troydm |
| 2025-02-05 11:17:55 +0000 | troydm | (~troydm@user/troydm) (Client Quit) |
| 2025-02-05 11:21:44 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 11:26:04 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 11:28:06 +0000 | sprotte24 | (~sprotte24@p200300d16f11de00b813863070e711b1.dip0.t-ipconnect.de) |
| 2025-02-05 11:28:06 +0000 | sprotte24 | (~sprotte24@p200300d16f11de00b813863070e711b1.dip0.t-ipconnect.de) (Client Quit) |
| 2025-02-05 11:28:49 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 260 seconds) |
| 2025-02-05 11:33:02 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-02-05 11:34:08 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 245 seconds) |
| 2025-02-05 11:34:11 +0000 | supercode | (~supercode@user/supercode) supercode |
| 2025-02-05 11:34:17 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2025-02-05 11:35:49 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-05 11:45:57 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-05 11:55:26 +0000 | m1dnight_ | m1dnight |
| 2025-02-05 11:58:48 +0000 | m1dnight | m1dnight_ |
| 2025-02-05 11:58:55 +0000 | m1dnight_ | m1dnight |
| 2025-02-05 12:02:26 +0000 | m1dnight | m1dnight_ |
| 2025-02-05 12:02:30 +0000 | m1dnight_ | m1dnight |
| 2025-02-05 12:06:07 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-02-05 12:09:13 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-02-05 12:10:28 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 12:11:24 +0000 | misterfish | (~misterfis@22.1-12-147.kabelnoord.net) (Ping timeout: 260 seconds) |
| 2025-02-05 12:12:07 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-05 12:14:50 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 12:21:26 +0000 | MyNetAz | (~MyNetAz@user/MyNetAz) (Ping timeout: 252 seconds) |
| 2025-02-05 12:31:33 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-05 12:33:10 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-02-05 12:33:18 +0000 | <kaol> | I finally used fix function in my code and I'm unreasonably happy about it. |
| 2025-02-05 12:35:04 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-05 12:36:06 +0000 | dsrt^ | (~dsrt@108.192.66.114) (Ping timeout: 252 seconds) |
| 2025-02-05 12:36:54 +0000 | m1dnight | m1dnight_ |
| 2025-02-05 12:36:59 +0000 | m1dnight_ | m1dnight |
| 2025-02-05 12:37:32 +0000 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-02-05 12:37:56 +0000 | misterfish | (~misterfis@22.1-12-147.kabelnoord.net) misterfish |
| 2025-02-05 12:38:52 +0000 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2025-02-05 12:39:34 +0000 | JuanDaugherty | ColinRobinson |
| 2025-02-05 12:41:41 +0000 | forell | (~forell@user/forell) forell |
| 2025-02-05 12:43:46 +0000 | jespada | (~jespada@2800:a4:2349:fd00:4cee:65a9:9995:4332) jespada |
| 2025-02-05 12:44:08 +0000 | jespada | (~jespada@2800:a4:2349:fd00:4cee:65a9:9995:4332) (Client Quit) |
| 2025-02-05 12:45:08 +0000 | m1dnight | m1dnight_ |
| 2025-02-05 12:45:10 +0000 | m1dnight_ | m1dnight |
| 2025-02-05 12:46:21 +0000 | jespada | (~jespada@2800:a4:2349:fd00:4cee:65a9:9995:4332) jespada |
| 2025-02-05 12:47:18 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-02-05 12:47:35 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 244 seconds) |
| 2025-02-05 12:48:37 +0000 | misterfish | (~misterfis@22.1-12-147.kabelnoord.net) (Ping timeout: 244 seconds) |
| 2025-02-05 12:51:27 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-05 12:52:12 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-02-05 12:52:12 +0000 | tnt2 | tnt1 |
| 2025-02-05 12:52:40 +0000 | rvalue- | rvalue |
| 2025-02-05 12:58:52 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 13:03:14 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 13:04:48 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-02-05 13:09:09 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-05 13:09:30 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-05 13:10:43 +0000 | sreaming | (~screaming@37.48.95.216) (Quit: The Lounge - https://thelounge.chat) |
| 2025-02-05 13:12:52 +0000 | sreaming | (~screaming@37.48.95.216) |
| 2025-02-05 13:13:48 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-05 13:16:36 +0000 | CiaoSen | (~Jura@2a05:5800:236:d500:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2025-02-05 13:17:53 +0000 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-02-05 13:19:56 +0000 | alp | (~alp@2001:861:8ca0:4940:a52d:a41b:3770:b2af) (Read error: Connection reset by peer) |
| 2025-02-05 13:20:57 +0000 | alp | (~alp@2001:861:8ca0:4940:a52d:a41b:3770:b2af) |
| 2025-02-05 13:38:07 +0000 | ColinRobinson | JuanDaugherty |
| 2025-02-05 13:44:46 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-05 13:47:16 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 13:49:33 +0000 | <dminuoso> | In conduit, I would like to connect two sinks to a conduit. Is that somehow possible? |
| 2025-02-05 13:51:41 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-05 13:54:56 +0000 | <dminuoso> | Though the more I keep thinking about this, the more headaches I get about exceptions and resource management. |
| 2025-02-05 13:58:43 +0000 | sreaming | (~screaming@37.48.95.216) (Quit: The Lounge - https://thelounge.chat) |
| 2025-02-05 13:59:20 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-05 14:00:51 +0000 | JuanDaugherty | ColinRobinson |
| 2025-02-05 14:06:18 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-05 14:06:40 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 265 seconds) |
| 2025-02-05 14:07:51 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-05 14:08:45 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-02-05 14:12:10 +0000 | rekahsoft | (~rekahsoft@142.112.184.232) rekahsoft |
| 2025-02-05 14:13:53 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-02-05 14:24:38 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-02-05 14:24:59 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-02-05 14:26:20 +0000 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-05 14:27:49 +0000 | olivial_ | (~benjaminl@2601:1c0:847f:9c70:223:24ff:fe66:4370) (Read error: Connection reset by peer) |
| 2025-02-05 14:28:03 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-02-05 14:32:43 +0000 | hueso | (~root@user/hueso) (Remote host closed the connection) |
| 2025-02-05 14:33:47 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-05 14:34:19 +0000 | hueso | (~root@user/hueso) (Remote host closed the connection) |
| 2025-02-05 14:35:02 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-05 14:36:19 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 14:36:35 +0000 | hueso | (~root@user/hueso) (Client Quit) |
| 2025-02-05 14:39:56 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-05 14:40:46 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 14:43:20 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-05 14:43:20 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-05 14:45:38 +0000 | tnt2 | tnt1 |
| 2025-02-05 14:51:04 +0000 | <dminuoso> | That said, https://hackage.haskell.org/package/conduit-1.3.6/docs/Data-Conduit.html#v:sequenceSinks seems to work. |
| 2025-02-05 14:51:15 +0000 | <dminuoso> | (Or just ZipSink) |
| 2025-02-05 14:55:21 +0000 | jespada | (~jespada@2800:a4:2349:fd00:4cee:65a9:9995:4332) (Ping timeout: 252 seconds) |
| 2025-02-05 14:58:40 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-05 14:58:41 +0000 | jespada | (~jespada@2800:a4:22f0:ad00:71a5:a98b:21d:a1b4) jespada |
| 2025-02-05 15:00:48 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-02-05 15:02:03 +0000 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-02-05 15:02:37 +0000 | fmira | (~user@user/fmira) fmira |
| 2025-02-05 15:11:57 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-02-05 15:18:43 +0000 | hueso | (~root@user/hueso) (Remote host closed the connection) |
| 2025-02-05 15:19:25 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-05 15:19:56 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-05 15:24:43 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 15:28:53 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-05 15:29:34 +0000 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-02-05 15:30:31 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-05 15:33:08 +0000 | hueso | (~root@user/hueso) (Client Quit) |
| 2025-02-05 15:33:14 +0000 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2025-02-05 15:33:26 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-05 15:44:34 +0000 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-02-05 15:44:52 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-05 15:50:14 +0000 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-02-05 15:58:57 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-05 16:05:45 +0000 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-02-05 16:06:49 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-05 16:10:59 +0000 | hueso | (~root@user/hueso) (Client Quit) |
| 2025-02-05 16:11:17 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-05 16:12:47 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 16:17:18 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 16:18:31 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-02-05 16:18:57 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-02-05 16:19:11 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-05 16:20:03 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-05 16:20:04 +0000 | tnt2 | tnt1 |
| 2025-02-05 16:23:25 +0000 | rvalue- | rvalue |
| 2025-02-05 16:28:56 +0000 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-02-05 16:35:03 +0000 | yin | (~z@user/zero) (Quit: quit) |
| 2025-02-05 16:36:55 +0000 | zero | (~z@user/zero) zero |
| 2025-02-05 16:40:23 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-02-05 16:44:28 +0000 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
| 2025-02-05 16:44:37 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-02-05 16:45:46 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:581e:37f9:16ce:cc6e) (Quit: ubert) |
| 2025-02-05 16:46:09 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-02-05 16:49:05 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-02-05 16:49:51 +0000 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
| 2025-02-05 16:50:03 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-02-05 16:51:12 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-02-05 16:57:58 +0000 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) ft |
| 2025-02-05 17:01:52 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 17:01:56 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-05 17:05:15 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2025-02-05 17:06:20 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 17:07:01 +0000 | jespada | (~jespada@2800:a4:22f0:ad00:71a5:a98b:21d:a1b4) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-05 17:07:59 +0000 | jespada | (~jespada@2800:a4:22f0:ad00:71a5:a98b:21d:a1b4) jespada |
| 2025-02-05 17:09:33 +0000 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-02-05 17:09:41 +0000 | sprotte24 | (~sprotte24@p200300d16f11de0068d7372f021dd7dd.dip0.t-ipconnect.de) |
| 2025-02-05 17:20:36 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 264 seconds) |
| 2025-02-05 17:21:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-02-05 17:28:10 +0000 | jespada | (~jespada@2800:a4:22f0:ad00:71a5:a98b:21d:a1b4) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-05 17:34:18 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-02-05 17:41:58 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-05 17:42:14 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-05 17:49:08 +0000 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-02-05 17:50:56 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 17:51:17 +0000 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-02-05 17:51:38 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-02-05 17:55:06 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 18:11:26 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-02-05 18:17:21 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-02-05 18:19:13 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-05 18:21:29 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-02-05 18:24:45 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-05 18:24:58 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-02-05 18:26:26 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-02-05 18:26:58 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-02-05 18:27:49 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-02-05 18:39:59 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 18:44:14 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 18:44:35 +0000 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:615b:f09:507b:cda6) (Quit: No Ping reply in 180 seconds.) |
| 2025-02-05 18:45:07 +0000 | hawer | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-02-05 18:45:35 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-05 18:46:50 +0000 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:f530:2eec:1f02:adc2) fun-safe-math |
| 2025-02-05 18:52:48 +0000 | byte | (~mu@user/byte) (Ping timeout: 265 seconds) |
| 2025-02-05 18:53:41 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-02-05 18:57:24 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-05 19:04:43 +0000 | JuanDaugherty | ColinRobinson |
| 2025-02-05 19:07:03 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f01d9acb33bf68493bd.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-02-05 19:11:05 +0000 | byte | (~mu@user/byte) byte |
| 2025-02-05 19:11:14 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-05 19:14:08 +0000 | mniip_ | mniip |
| 2025-02-05 19:14:26 +0000 | jespada | (~jespada@2800:a4:22f0:ad00:99d3:1891:5585:fb7a) jespada |
| 2025-02-05 19:17:33 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-02-05 19:20:18 +0000 | haver | (~newyear@2.219.56.221) |
| 2025-02-05 19:20:28 +0000 | haver | (~newyear@2.219.56.221) (Excess Flood) |
| 2025-02-05 19:21:11 +0000 | haver | (~newyear@2.219.56.221) |
| 2025-02-05 19:21:33 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-02-05 19:28:23 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 19:30:11 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-05 19:32:55 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-05 19:43:27 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2025-02-05 19:44:58 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-05 19:47:44 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-05 19:52:11 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-05 19:58:58 +0000 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
| 2025-02-05 20:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-05 20:00:52 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-05 20:03:03 +0000 | orenty7 | (~orenty7@176.88.22.4) (Ping timeout: 252 seconds) |
| 2025-02-05 20:04:30 +0000 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) lisbeths |
| 2025-02-05 20:04:46 +0000 | <lisbeths> | is there anyone here who knows john tromp's binary lambda calculus? |
| 2025-02-05 20:12:08 +0000 | kenran | (~kenran@user/kenran) kenran |
| 2025-02-05 20:13:06 +0000 | kenran | (~kenran@user/kenran) (Remote host closed the connection) |
| 2025-02-05 20:13:36 +0000 | <geekosaur> | he used to hang out here but apparently hasn't joined since late january |
| 2025-02-05 20:13:55 +0000 | <geekosaur> | (at least I think that was him) |
| 2025-02-05 20:14:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 20:15:31 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-02-05 20:17:47 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 20:22:46 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-05 20:23:27 +0000 | zero | (~z@user/zero) (Quit: quit) |
| 2025-02-05 20:25:07 +0000 | kenran | (~kenran@user/kenran) kenran |
| 2025-02-05 20:25:13 +0000 | zero | (~z@user/zero) zero |
| 2025-02-05 20:25:17 +0000 | <tomsmeding> | isn't the BLC just a compact notation for the regular untyped lambda calculus? |
| 2025-02-05 20:25:33 +0000 | <tomsmeding> | with some `interact`-style IO mechanism |
| 2025-02-05 20:27:15 +0000 | zero | (~z@user/zero) (Client Quit) |
| 2025-02-05 20:28:19 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-05 20:29:33 +0000 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) (Ping timeout: 268 seconds) |
| 2025-02-05 20:29:47 +0000 | zero | (~z@user/zero) zero |
| 2025-02-05 20:40:51 +0000 | aljazmc | (~aljazmc@user/aljazmc) (Quit: Leaving) |
| 2025-02-05 20:41:51 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f01d9acb33bf68493bd.dip0.t-ipconnect.de) acidjnk |
| 2025-02-05 20:43:57 +0000 | forell | (~forell@user/forell) (Ping timeout: 244 seconds) |
| 2025-02-05 20:44:34 +0000 | byte | (~mu@user/byte) (Quit: Leaving) |
| 2025-02-05 20:44:56 +0000 | byte | (~mu@user/byte) byte |
| 2025-02-05 20:45:26 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-05 20:48:15 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-02-05 20:52:15 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-05 20:53:47 +0000 | Guest64 | (~Guest64@81-231-8-142-no600.tbcn.telia.com) |
| 2025-02-05 21:00:23 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-05 21:00:36 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-05 21:02:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-05 21:04:47 +0000 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-05 21:05:24 +0000 | foul_owl | (~kerry@193.42.0.126) (Ping timeout: 252 seconds) |
| 2025-02-05 21:07:12 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-05 21:07:12 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 21:08:07 +0000 | <haskellbridge> | <Bowuigi> It is, just checked the article |
| 2025-02-05 21:08:31 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-05 21:10:11 +0000 | jespada | (~jespada@2800:a4:22f0:ad00:99d3:1891:5585:fb7a) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-05 21:12:06 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-05 21:12:50 +0000 | pavonia_ | (~user@user/siracusa) siracusa |
| 2025-02-05 21:12:57 +0000 | biberu\ | (~biberu@user/biberu) biberu |
| 2025-02-05 21:13:05 +0000 | jzargo2 | (~jzargo@ip5f5bd186.dynamic.kabel-deutschland.de) |
| 2025-02-05 21:13:51 +0000 | michalz_ | (~michalz@185.246.207.215) |
| 2025-02-05 21:14:06 +0000 | Guest64 | (~Guest64@81-231-8-142-no600.tbcn.telia.com) (Quit: Client closed) |
| 2025-02-05 21:14:25 +0000 | spew_ | (~spew@135.233.119.40) spew |
| 2025-02-05 21:14:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 21:14:31 +0000 | mniip_ | (mniip@libera/staff/mniip) mniip |
| 2025-02-05 21:14:53 +0000 | urdh_ | (~urdh@user/urdh) urdh |
| 2025-02-05 21:14:58 +0000 | Xe_ | (~Xe@perl/impostor/xe) Xe |
| 2025-02-05 21:14:59 +0000 | zzz | (~z@user/zero) zero |
| 2025-02-05 21:15:00 +0000 | kaskal- | (~kaskal@2a02:8388:15bf:c200:f01c:d173:579b:8db6) |
| 2025-02-05 21:15:06 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-02-05 21:15:07 +0000 | pierrot_ | (~pi@user/pierrot) pierrot |
| 2025-02-05 21:15:21 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-05 21:16:53 +0000 | absence_ | (torgeihe@hildring.pvv.ntnu.no) |
| 2025-02-05 21:17:08 +0000 | nefercheprure | (tma@twin.jikos.cz) TMA |
| 2025-02-05 21:17:16 +0000 | juri__ | (~juri@implicitcad.org) juri_ |
| 2025-02-05 21:17:24 +0000 | jjhoo_ | (jahakala@user/jjhoo) jjhoo |
| 2025-02-05 21:17:53 +0000 | __________ | (~nobody@user/noodly) _________ |
| 2025-02-05 21:17:56 +0000 | srk- | (~sorki@user/srk) srk |
| 2025-02-05 21:18:09 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:09 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:09 +0000 | kaskal | (~kaskal@84-115-237-124.cable.dynamic.surfer.at) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:09 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:09 +0000 | pierrot | (~pi@user/pierrot) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:09 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:09 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:09 +0000 | TMA | (tma@twin.jikos.cz) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:09 +0000 | urdh | (~urdh@user/urdh) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:09 +0000 | juri_ | (~juri@implicitcad.org) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:09 +0000 | srk | (~sorki@user/srk) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:09 +0000 | Vq | (~vq@81-226-38-201-no600.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:10 +0000 | zero | (~z@user/zero) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:10 +0000 | MyNetAz | (~MyNetAz@user/MyNetAz) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:10 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:10 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:10 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:10 +0000 | tv | (~tv@user/tv) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:10 +0000 | jzargo | (~jzargo@user/jzargo) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:10 +0000 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:10 +0000 | _________ | (~nobody@user/noodly) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:10 +0000 | APic | (apic@apic.name) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:10 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:11 +0000 | michalz | (~michalz@185.246.207.203) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:11 +0000 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:11 +0000 | spew | (~spew@135.233.119.40) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:11 +0000 | biberu | (~biberu@user/biberu) (Ping timeout: 252 seconds) |
| 2025-02-05 21:18:11 +0000 | urdh_ | urdh |
| 2025-02-05 21:18:11 +0000 | zzz | zero |
| 2025-02-05 21:18:11 +0000 | tnt2 | tnt1 |
| 2025-02-05 21:18:11 +0000 | spew_ | spew |
| 2025-02-05 21:18:21 +0000 | pavonia_ | pavonia |
| 2025-02-05 21:18:22 +0000 | biberu\ | biberu |
| 2025-02-05 21:18:55 +0000 | euleritian | (~euleritia@77.23.250.232) |
| 2025-02-05 21:19:31 +0000 | foul_owl | (~kerry@193.42.0.126) foul_owl |
| 2025-02-05 21:19:42 +0000 | mniip | (mniip@libera/staff/mniip) (Ping timeout: 608 seconds) |
| 2025-02-05 21:19:44 +0000 | rvalue- | rvalue |
| 2025-02-05 21:20:30 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-05 21:20:46 +0000 | srk- | srk |
| 2025-02-05 21:20:53 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-02-05 21:21:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-05 21:25:02 +0000 | <misterfish> | Hi, anyone know an up-to-date regex library which 1) works on Text 2) supports Perl regexes and 3) doesn't depend on a C lib? |
| 2025-02-05 21:28:17 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-05 21:28:47 +0000 | APic | (apic@apic.name) APic |
| 2025-02-05 21:29:17 +0000 | tv | (~tv@user/tv) tv |
| 2025-02-05 21:29:18 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-02-05 21:29:31 +0000 | __________ | (~nobody@user/noodly) (Quit: Reconnecting) |
| 2025-02-05 21:29:32 +0000 | Guest64 | (~Guest64@81-231-8-142-no600.tbcn.telia.com) |
| 2025-02-05 21:29:53 +0000 | _________ | (~nobody@user/noodly) _________ |
| 2025-02-05 21:30:44 +0000 | euleritian | (~euleritia@77.23.250.232) (Remote host closed the connection) |
| 2025-02-05 21:31:01 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-05 21:31:52 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-05 21:32:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 21:33:58 +0000 | kenran | (~kenran@user/kenran) (Remote host closed the connection) |
| 2025-02-05 21:36:29 +0000 | dhil | (~dhil@2a0c:b381:588:5f00:c91a:d29a:b98a:5647) (Ping timeout: 260 seconds) |
| 2025-02-05 21:37:20 +0000 | Vq | (~vq@81-226-38-201-no600.tbcn.telia.com) Vq |
| 2025-02-05 21:38:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-05 21:42:49 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-02-05 21:43:06 +0000 | euleritian | (~euleritia@77.23.250.232) |
| 2025-02-05 21:43:47 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-05 21:47:33 +0000 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 252 seconds) |
| 2025-02-05 21:48:15 +0000 | HappyNewYear2025 | (~newyear@2.219.56.221) |
| 2025-02-05 21:48:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 21:50:36 +0000 | haver | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-02-05 21:53:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-05 21:55:37 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 21:59:10 +0000 | otbergsten | (~otbergste@user/otbergsten) otbergsten |
| 2025-02-05 21:59:16 +0000 | <haskellbridge> | <sm> misterfish: https://hackage.haskell.org/package/regex is pretty good, I don't know if it meets all of those |
| 2025-02-05 21:59:36 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-05 21:59:45 +0000 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 248 seconds) |
| 2025-02-05 21:59:50 +0000 | <haskellbridge> | <sm> I don't think anything supports perl regexes except perl, but PCRE support is there. That might always require a C lib, not sure |
| 2025-02-05 21:59:52 +0000 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-02-05 22:00:21 +0000 | fmira | (~user@user/fmira) fmira |
| 2025-02-05 22:01:47 +0000 | <geekosaur> | last I checked it did |
| 2025-02-05 22:01:57 +0000 | <geekosaur> | nobody tries to replicate PCRE in Haskell |
| 2025-02-05 22:01:59 +0000 | spacenautx | (~spacenaut@user/spacenautx) spacenautx |
| 2025-02-05 22:03:50 +0000 | <haskellbridge> | <sm> https://hackage.haskell.org/package/regex-tdfa is another pretty good lib that's pure haskell |
| 2025-02-05 22:04:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 22:04:25 +0000 | Guest64 | (~Guest64@81-231-8-142-no600.tbcn.telia.com) (Quit: Client closed) |
| 2025-02-05 22:05:36 +0000 | fmira | (~user@user/fmira) (Ping timeout: 264 seconds) |
| 2025-02-05 22:08:40 +0000 | <mauke> | when you say "supports Perl regexes", you need to consider cases like /x(?{ print "hello\n"; })/ |
| 2025-02-05 22:09:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-05 22:09:03 +0000 | michalz_ | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2025-02-05 22:09:15 +0000 | <dminuoso> | Out of curiosity, why is not depending on a C library a requirement? |
| 2025-02-05 22:09:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 22:10:26 +0000 | <haskellbridge> | <sm> easy install on windows, perhaps |
| 2025-02-05 22:10:41 +0000 | <haskellbridge> | <sm> or running in the web browser ? |
| 2025-02-05 22:13:49 +0000 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-02-05 22:14:06 +0000 | <misterfish> | haskellbridge: thanks, I'll check it. I mean PCRE, not Perl. |
| 2025-02-05 22:14:32 +0000 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-02-05 22:15:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-05 22:16:00 +0000 | <misterfish> | dminuoso: in order to be able to install using only cabal and not also requiring the user to install a dependency, and also, to not have to use IO everywhere in order to do regex matches. |
| 2025-02-05 22:16:22 +0000 | <misterfish> | and running in the browser is another example indeed |
| 2025-02-05 22:17:29 +0000 | <mauke> | using a C library is orthogonal to using IO in the interface |
| 2025-02-05 22:17:50 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-05 22:17:52 +0000 | <dminuoso> | For what its worth, not depending on C libraries can be tricky given how much stuff pulls zlib in. |
| 2025-02-05 22:18:03 +0000 | <dminuoso> | And what mauke said. |
| 2025-02-05 22:18:51 +0000 | <dminuoso> | But I understand the motivation. |
| 2025-02-05 22:19:58 +0000 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 245 seconds) |
| 2025-02-05 22:21:37 +0000 | <misterfish> | mauke: true. As a specific case, see text-icu, which uses IO. |
| 2025-02-05 22:22:08 +0000 | <misterfish> | https://hackage.haskell.org/package/regex looks really good, gonna try it out. |
| 2025-02-05 22:22:23 +0000 | visilii_ | (~visilii@92.50.200.124) |
| 2025-02-05 22:22:45 +0000 | visilii | (~visilii@46.61.242.99) (Ping timeout: 248 seconds) |
| 2025-02-05 22:25:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 22:26:43 +0000 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 268 seconds) |
| 2025-02-05 22:28:49 +0000 | spacenautx | (~spacenaut@user/spacenautx) spacenautx |
| 2025-02-05 22:29:08 +0000 | <dminuoso> | misterfish: Keep in mind it appears to have died out, no commits for 3 years. |
| 2025-02-05 22:29:39 +0000 | <dminuoso> | Also not a fan of packages of open upper bounds. |
| 2025-02-05 22:30:21 +0000 | jjido | (~Denis@5.133.46.22) jjido |
| 2025-02-05 22:30:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-05 22:31:54 +0000 | euleritian | (~euleritia@77.23.250.232) |
| 2025-02-05 22:35:12 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-02-05 22:41:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 22:44:01 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 22:44:16 +0000 | nefercheprure | TMA |
| 2025-02-05 22:47:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-05 22:48:24 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-05 22:51:49 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-05 22:54:53 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-02-05 22:56:36 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-05 22:58:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 22:59:30 +0000 | <haskellbridge> | <sm> yes sorry to see no recent updates, but it was well maintained before, so hopefully it's still good |
| 2025-02-05 23:00:51 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2025-02-05 23:01:50 +0000 | <dminuoso> | Or you just carry on the torch. |
| 2025-02-05 23:02:32 +0000 | <dminuoso> | misterfish: Seems it never has been. Are you sure you arent suddenly using something that requires this shared object now? |
| 2025-02-05 23:02:58 +0000 | <dminuoso> | Or maybe something in PA changed that induced vesktop to load that shared object. |
| 2025-02-05 23:04:18 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2025-02-05 23:04:25 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-02-05 23:04:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 23:05:16 +0000 | <dminuoso> | misterfish: Hah, its an electron app. |
| 2025-02-05 23:06:56 +0000 | misterfish | (~misterfis@84.53.85.146) (Remote host closed the connection) |
| 2025-02-05 23:11:34 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-02-05 23:17:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 23:24:04 +0000 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 268 seconds) |
| 2025-02-05 23:26:00 +0000 | spacenautx | (~spacenaut@user/spacenautx) spacenautx |
| 2025-02-05 23:26:17 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-05 23:26:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-05 23:26:56 +0000 | troydm | (~troydm@user/troydm) troydm |
| 2025-02-05 23:28:48 +0000 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2025-02-05 23:31:46 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 23:36:24 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-05 23:37:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 23:41:12 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-02-05 23:44:25 +0000 | jjido | (~Denis@5.133.46.22) (Quit: My laptop has gone to sleep. ZZZzzz…) |
| 2025-02-05 23:44:42 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-05 23:45:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-05 23:47:13 +0000 | jzargo2 | (~jzargo@ip5f5bd186.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2025-02-05 23:47:26 +0000 | jzargo2 | (~jzargo@ip5f5bd186.dynamic.kabel-deutschland.de) |
| 2025-02-05 23:47:59 +0000 | jzargo2 | (~jzargo@ip5f5bd186.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-02-05 23:55:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |