2025/03/31

2025-03-31 00:00:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 00:02:19 +0200tromp(~textual@2001:1c00:3487:1b00:9990:df71:bfb8:e2a2) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-03-31 00:02:28 +0200unter-oe(~unter-oe@user/unter-oe) (Ping timeout: 245 seconds)
2025-03-31 00:04:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-31 00:04:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-03-31 00:07:13 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds)
2025-03-31 00:08:51 +0200unter-oe(~unter-oe@176.192.243.31)
2025-03-31 00:08:51 +0200unter-oe(~unter-oe@176.192.243.31) (Changing host)
2025-03-31 00:08:51 +0200unter-oe(~unter-oe@user/unter-oe) unter-oe
2025-03-31 00:10:06 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-03-31 00:15:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 00:26:59 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-03-31 00:29:58 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-03-31 00:33:09 +0200alp(~alp@2001:861:8ca0:4940:4762:76e1:2726:6dcf) (Ping timeout: 246 seconds)
2025-03-31 00:40:09 +0200mu`(~mu@user/byte) byte
2025-03-31 00:41:28 +0200byte(~mu@user/byte) (Read error: Connection reset by peer)
2025-03-31 00:51:42 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-31 00:55:07 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-03-31 00:56:23 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-03-31 00:56:29 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-03-31 00:56:48 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-31 00:57:29 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-03-31 01:00:30 +0200hattckory(~hattckory@70.27.118.207)
2025-03-31 01:00:41 +0200sprotte24(~sprotte24@p200300d16f1e0e006577a4ba097b8b9e.dip0.t-ipconnect.de) (Quit: Leaving)
2025-03-31 01:02:58 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-03-31 01:05:34 +0200hattckory(~hattckory@70.27.118.207) (Ping timeout: 260 seconds)
2025-03-31 01:09:06 +0200random-jellyfish(~developer@user/random-jellyfish) (Ping timeout: 248 seconds)
2025-03-31 01:17:27 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-31 01:22:27 +0200unter-oe(~unter-oe@user/unter-oe) (Remote host closed the connection)
2025-03-31 01:24:05 +0200unter-oe(~unter-oe@176.192.243.31)
2025-03-31 01:24:05 +0200unter-oe(~unter-oe@176.192.243.31) (Changing host)
2025-03-31 01:24:05 +0200unter-oe(~unter-oe@user/unter-oe) unter-oe
2025-03-31 01:27:09 +0200otto_s(~user@p5de2f2eb.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-03-31 01:28:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-31 01:29:14 +0200otto_s(~user@p5de2f1f7.dip0.t-ipconnect.de)
2025-03-31 01:31:15 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-31 01:33:22 +0200unter-oe(~unter-oe@user/unter-oe) (Ping timeout: 252 seconds)
2025-03-31 01:36:35 +0200 <monochrom> Is "we need to focus" a pun, given the context of lens? >:)
2025-03-31 01:40:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 01:41:11 +0200 <haskellbridge> <thirdofmay18081814goya> "under (from enumerateIso) (filter (even . fst)) ['a'..'z']" 😎😎😎😎😎😎😎😎😎
2025-03-31 01:42:18 +0200gustavo(~gustavo@2804:18:588d:4c8:c297:170d:745e:29df) GusCtSr
2025-03-31 01:42:39 +0200 <haskellbridge> <thirdofmay18081814goya> probably a more idiomatic way to do this, but it's a start
2025-03-31 01:42:42 +0200acidjnk(~acidjnk@p200300d6e71c4f6101a7bfc96b38a12d.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-03-31 01:45:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-31 01:56:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 02:06:24 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-03-31 02:10:15 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-03-31 02:10:15 +0200ljdarj1ljdarj
2025-03-31 02:12:53 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-31 02:14:40 +0200 <haskellbridge> <alexfmpe> > ['a'..'z']^..traversed.ifiltered (const . even)
2025-03-31 02:14:40 +0200 <haskellbridge> "acegikmoqsuwy"
2025-03-31 02:15:09 +0200 <haskellbridge> <alexfmpe> * ['a'..'z'] ^.. traversed . ifiltered
2025-03-31 02:16:21 +0200 <haskellbridge> <thirdofmay18081814goya> neat! still indexed though
2025-03-31 02:16:53 +0200 <haskellbridge> <alexfmpe> huh is that an issue?
2025-03-31 02:17:15 +0200 <haskellbridge> <thirdofmay18081814goya> well I'm trying to find an "Iso" form, otherwise we can just use "['a'..'z'] ^.. itraversed . indices even"
2025-03-31 02:17:54 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds)
2025-03-31 02:17:54 +0200 <haskellbridge> <alexfmpe> iso between what?
2025-03-31 02:18:06 +0200 <haskellbridge> <thirdofmay18081814goya> "iso (map snd) (zip [0..])"
2025-03-31 02:18:13 +0200 <haskellbridge> <thirdofmay18081814goya> uh "map fst" I mean
2025-03-31 02:18:21 +0200 <haskellbridge> <alexfmpe> that is not an isomorphism
2025-03-31 02:18:43 +0200 <haskellbridge> <thirdofmay18081814goya> how so?
2025-03-31 02:19:02 +0200 <haskellbridge> <alexfmpe> you're thinking "Iso' [a] [(Int, a)]" or so right?
2025-03-31 02:19:20 +0200 <haskellbridge> <thirdofmay18081814goya> clearly it is a bijection, and if we're embedding either side into a monoid wrt "a" it is an isomorphism
2025-03-31 02:19:26 +0200 <haskellbridge> <thirdofmay18081814goya> alexfmpe: yeah
2025-03-31 02:19:51 +0200 <haskellbridge> <alexfmpe> [1, 'a'] -> ['a'] <-> [(0, 'a')]
2025-03-31 02:19:53 +0200 <haskellbridge> <alexfmpe> this is no bijection
2025-03-31 02:19:58 +0200 <haskellbridge> <alexfmpe> it's an embedding at best
2025-03-31 02:20:11 +0200 <haskellbridge> <thirdofmay18081814goya> right, that has the same type but it is not the same map
2025-03-31 02:20:22 +0200 <haskellbridge> <alexfmpe> "[a] -> [(Int, a)]" is invertible, but not surjective
2025-03-31 02:20:30 +0200 <haskellbridge> <alexfmpe> so not bijective
2025-03-31 02:21:06 +0200 <haskellbridge> <alexfmpe> well, my point is "zip [0..] . fmap snd" is not "id"
2025-03-31 02:21:12 +0200 <haskellbridge> <alexfmpe> even though "fmap snd . zip [0..]" is
2025-03-31 02:21:16 +0200 <haskellbridge> <alexfmpe> so it's not an iso
2025-03-31 02:21:54 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-31 02:23:00 +0200 <haskellbridge> <thirdofmay18081814goya> hm right
2025-03-31 02:30:28 +0200 <haskellbridge> <thirdofmay18081814goya> it is however an isomorphism over its range, or over the subtype of "[(Int, a)]" of pairs ordered by the first element
2025-03-31 02:31:45 +0200 <haskellbridge> <thirdofmay18081814goya> as long as all function we compose it preserve this range, it will have the expected properties of "Iso"
2025-03-31 02:31:52 +0200 <haskellbridge> <thirdofmay18081814goya> we compose it with*
2025-03-31 02:32:13 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-03-31 02:33:17 +0200califax(~califax@user/califx) califx
2025-03-31 02:34:06 +0200 <haskellbridge> <thirdofmay18081814goya> but right the type system can't enforce the well typedness of such an "Iso" and it is not strictly speaking an member of "Iso' [a] [(Int, a)]"
2025-03-31 02:34:47 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-03-31 02:34:57 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds)
2025-03-31 02:38:35 +0200 <haskellbridge> <thirdofmay18081814goya> yep no it's just straight up not an Iso lol ty
2025-03-31 02:38:40 +0200 <haskellbridge> <Bowuigi> To fix this, constrain the first element to be exactly the index. The singleton Vector example does this
2025-03-31 02:39:03 +0200 <haskellbridge> <Bowuigi> The first element of "(Int, a)", that is
2025-03-31 02:44:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-31 02:45:39 +0200gustavo(~gustavo@2804:18:588d:4c8:c297:170d:745e:29df) (Quit: Leaving)
2025-03-31 02:49:57 +0200otto_s(~user@p5de2f1f7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-03-31 02:51:36 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-03-31 02:53:04 +0200xff0x(~xff0x@2405:6580:b080:900:73c3:617e:93dd:971) (Ping timeout: 260 seconds)
2025-03-31 02:55:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 02:59:15 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-31 02:59:45 +0200otto_s(~user@p5b044ec8.dip0.t-ipconnect.de)
2025-03-31 03:00:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-31 03:01:44 +0200user363627(~user@user/user363627) user363627
2025-03-31 03:05:01 +0200weary-traveler(~user@user/user363627) (Ping timeout: 244 seconds)
2025-03-31 03:05:42 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-03-31 03:07:35 +0200random-jellyfish(~developer@85.50.149.196)
2025-03-31 03:07:35 +0200random-jellyfish(~developer@85.50.149.196) (Changing host)
2025-03-31 03:07:35 +0200random-jellyfish(~developer@user/random-jellyfish) random-jellyfish
2025-03-31 03:27:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 03:30:48 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds)
2025-03-31 03:34:44 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-03-31 03:41:39 +0200ambareesh(~ambareesh@user/ambareesh) (Quit: WeeChat 4.6.0)
2025-03-31 03:41:48 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-03-31 03:45:41 +0200talismanick(~user@2601:644:937c:ed10::ae5) talismanick
2025-03-31 03:50:00 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-03-31 03:52:09 +0200xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-03-31 03:54:26 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds)
2025-03-31 03:56:45 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-03-31 03:58:52 +0200xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds)
2025-03-31 03:59:30 +0200xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-03-31 04:02:03 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds)
2025-03-31 04:22:41 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds)
2025-03-31 04:30:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-31 04:31:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-31 04:38:34 +0200bilegeek(~bilegeek@2600:1008:b099:69a4:46db:68ce:ade4:248f) bilegeek
2025-03-31 04:42:26 +0200mu`(~mu@user/byte) (Quit: Leaving)
2025-03-31 04:42:40 +0200byte(~mu@user/byte) byte
2025-03-31 04:43:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 04:50:27 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0)
2025-03-31 05:00:32 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-03-31 05:00:53 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-03-31 05:05:46 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-03-31 05:08:44 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-03-31 05:10:42 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2025-03-31 05:34:20 +0200prasad(~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) (Ping timeout: 244 seconds)
2025-03-31 05:35:41 +0200user363627(~user@user/user363627) (Quit: Konversation terminated!)
2025-03-31 05:35:58 +0200user363627(~user@user/user363627) user363627
2025-03-31 05:39:31 +0200unter-oe(~unter-oe@user/unter-oe) unter-oe
2025-03-31 05:43:45 +0200unter-oe(~unter-oe@user/unter-oe) (Ping timeout: 248 seconds)
2025-03-31 05:43:57 +0200michalz(~michalz@185.246.207.193)
2025-03-31 05:45:57 +0200bilegeek(~bilegeek@2600:1008:b099:69a4:46db:68ce:ade4:248f) (Ping timeout: 248 seconds)
2025-03-31 05:47:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-31 05:59:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 06:04:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-03-31 06:15:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 06:22:51 +0200random-jellyfish(~developer@user/random-jellyfish) (Remote host closed the connection)
2025-03-31 06:23:09 +0200random-jellyfish(~developer@user/random-jellyfish) random-jellyfish
2025-03-31 06:27:48 +0200arahael(~arahael@user/arahael) (Ping timeout: 252 seconds)
2025-03-31 06:32:28 +0200Eoco(~ian@128.101.131.218) (Quit: WeeChat 4.4.2)
2025-03-31 06:34:01 +0200toby-bro(~toby-bro@user/toby-bro) (Ping timeout: 252 seconds)
2025-03-31 06:41:34 +0200random-jellyfish(~developer@user/random-jellyfish) (Ping timeout: 260 seconds)
2025-03-31 07:11:01 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-03-31 07:20:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-31 07:32:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 07:37:24 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-03-31 07:37:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-31 07:41:55 +0200user363627(~user@user/user363627) (Remote host closed the connection)
2025-03-31 07:48:00 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-03-31 07:48:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 07:52:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-31 07:52:19 +0200fp(~Thunderbi@87-94-142-103.rev.dnainternet.fi) (Ping timeout: 260 seconds)
2025-03-31 08:17:35 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-03-31 08:35:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-03-31 08:40:20 +0200forell(~forell@user/forell) (Quit: ZNC - https://znc.in)
2025-03-31 08:42:10 +0200forell(~forell@user/forell) forell
2025-03-31 08:48:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-31 08:50:54 +0200ft(~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving)
2025-03-31 08:57:09 +0200divya(divya@140.238.251.170) (Ping timeout: 276 seconds)
2025-03-31 08:57:11 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-03-31 08:59:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 08:59:20 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-03-31 08:59:22 +0200tromp(~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545)
2025-03-31 08:59:58 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-03-31 09:00:05 +0200caconym(~caconym@user/caconym) (Quit: bye)
2025-03-31 09:00:59 +0200acidjnk(~acidjnk@p200300d6e71c4f6101a7bfc96b38a12d.dip0.t-ipconnect.de) acidjnk
2025-03-31 09:01:21 +0200caconym(~caconym@user/caconym) caconym
2025-03-31 09:03:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-31 09:04:04 +0200divya(divya@140.238.251.170) divya
2025-03-31 09:15:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 09:15:59 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-03-31 09:16:55 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds)
2025-03-31 09:17:21 +0200Lord_of_Life_Lord_of_Life
2025-03-31 09:18:12 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds)
2025-03-31 09:18:34 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-03-31 09:20:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)