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