2025-03-31 00:00:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-31 00:02:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9990:df71:bfb8:e2a2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-03-31 00:02:28 +0200 | unter-oe | (~unter-oe@user/unter-oe) (Ping timeout: 245 seconds) |
2025-03-31 00:04:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-31 00:04:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-03-31 00:07:13 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
2025-03-31 00:08:51 +0200 | unter-oe | (~unter-oe@176.192.243.31) |
2025-03-31 00:08:51 +0200 | unter-oe | (~unter-oe@176.192.243.31) (Changing host) |
2025-03-31 00:08:51 +0200 | unter-oe | (~unter-oe@user/unter-oe) unter-oe |
2025-03-31 00:10:06 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-03-31 00:15:55 +0200 | merijn | (~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 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2025-03-31 00:33:09 +0200 | alp | (~alp@2001:861:8ca0:4940:4762:76e1:2726:6dcf) (Ping timeout: 246 seconds) |
2025-03-31 00:40:09 +0200 | mu` | (~mu@user/byte) byte |
2025-03-31 00:41:28 +0200 | byte | (~mu@user/byte) (Read error: Connection reset by peer) |
2025-03-31 00:51:42 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-31 00:55:07 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-03-31 00:56:23 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-03-31 00:56:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-03-31 00:56:48 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-03-31 00:57:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-03-31 01:00:30 +0200 | hattckory | (~hattckory@70.27.118.207) |
2025-03-31 01:00:41 +0200 | sprotte24 | (~sprotte24@p200300d16f1e0e006577a4ba097b8b9e.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-03-31 01:02:58 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2025-03-31 01:05:34 +0200 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
2025-03-31 01:09:06 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 248 seconds) |
2025-03-31 01:17:27 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-31 01:22:27 +0200 | unter-oe | (~unter-oe@user/unter-oe) (Remote host closed the connection) |
2025-03-31 01:24:05 +0200 | unter-oe | (~unter-oe@176.192.243.31) |
2025-03-31 01:24:05 +0200 | unter-oe | (~unter-oe@176.192.243.31) (Changing host) |
2025-03-31 01:24:05 +0200 | unter-oe | (~unter-oe@user/unter-oe) unter-oe |
2025-03-31 01:27:09 +0200 | otto_s | (~user@p5de2f2eb.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2025-03-31 01:28:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-31 01:29:14 +0200 | otto_s | (~user@p5de2f1f7.dip0.t-ipconnect.de) |
2025-03-31 01:31:15 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-03-31 01:33:22 +0200 | unter-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 +0200 | merijn | (~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 +0200 | gustavo | (~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 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f6101a7bfc96b38a12d.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2025-03-31 01:45:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-31 01:56:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-31 02:06:24 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-31 02:10:15 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-03-31 02:10:15 +0200 | ljdarj1 | ljdarj |
2025-03-31 02:12:53 +0200 | hattckory | (~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 +0200 | hattckory | (~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 +0200 | hattckory | (~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 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-03-31 02:33:17 +0200 | califax | (~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 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-03-31 02:34:57 +0200 | hattckory | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-31 02:45:39 +0200 | gustavo | (~gustavo@2804:18:588d:4c8:c297:170d:745e:29df) (Quit: Leaving) |
2025-03-31 02:49:57 +0200 | otto_s | (~user@p5de2f1f7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-03-31 02:51:36 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-03-31 02:53:04 +0200 | xff0x | (~xff0x@2405:6580:b080:900:73c3:617e:93dd:971) (Ping timeout: 260 seconds) |
2025-03-31 02:55:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-31 02:59:15 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-31 02:59:45 +0200 | otto_s | (~user@p5b044ec8.dip0.t-ipconnect.de) |
2025-03-31 03:00:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-31 03:01:44 +0200 | user363627 | (~user@user/user363627) user363627 |
2025-03-31 03:05:01 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 244 seconds) |
2025-03-31 03:05:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-03-31 03:07:35 +0200 | random-jellyfish | (~developer@85.50.149.196) |
2025-03-31 03:07:35 +0200 | random-jellyfish | (~developer@85.50.149.196) (Changing host) |
2025-03-31 03:07:35 +0200 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
2025-03-31 03:27:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-31 03:30:48 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
2025-03-31 03:34:44 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-03-31 03:41:39 +0200 | ambareesh | (~ambareesh@user/ambareesh) (Quit: WeeChat 4.6.0) |
2025-03-31 03:41:48 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-03-31 03:45:41 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
2025-03-31 03:50:00 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-03-31 03:52:09 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-03-31 03:54:26 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds) |
2025-03-31 03:56:45 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-03-31 03:58:52 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds) |
2025-03-31 03:59:30 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-03-31 04:02:03 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
2025-03-31 04:22:41 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
2025-03-31 04:30:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-31 04:31:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-31 04:38:34 +0200 | bilegeek | (~bilegeek@2600:1008:b099:69a4:46db:68ce:ade4:248f) bilegeek |
2025-03-31 04:42:26 +0200 | mu` | (~mu@user/byte) (Quit: Leaving) |
2025-03-31 04:42:40 +0200 | byte | (~mu@user/byte) byte |
2025-03-31 04:43:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-31 04:50:27 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0) |
2025-03-31 05:00:32 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2025-03-31 05:00:53 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2025-03-31 05:05:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-03-31 05:08:44 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-03-31 05:10:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
2025-03-31 05:34:20 +0200 | prasad | (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) (Ping timeout: 244 seconds) |
2025-03-31 05:35:41 +0200 | user363627 | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-03-31 05:35:58 +0200 | user363627 | (~user@user/user363627) user363627 |
2025-03-31 05:39:31 +0200 | unter-oe | (~unter-oe@user/unter-oe) unter-oe |
2025-03-31 05:43:45 +0200 | unter-oe | (~unter-oe@user/unter-oe) (Ping timeout: 248 seconds) |
2025-03-31 05:43:57 +0200 | michalz | (~michalz@185.246.207.193) |
2025-03-31 05:45:57 +0200 | bilegeek | (~bilegeek@2600:1008:b099:69a4:46db:68ce:ade4:248f) (Ping timeout: 248 seconds) |
2025-03-31 05:47:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-31 05:59:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-31 06:04:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-31 06:15:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-31 06:22:51 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Remote host closed the connection) |
2025-03-31 06:23:09 +0200 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
2025-03-31 06:27:48 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 252 seconds) |
2025-03-31 06:32:28 +0200 | Eoco | (~ian@128.101.131.218) (Quit: WeeChat 4.4.2) |
2025-03-31 06:34:01 +0200 | toby-bro | (~toby-bro@user/toby-bro) (Ping timeout: 252 seconds) |
2025-03-31 06:41:34 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 260 seconds) |
2025-03-31 07:11:01 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-03-31 07:20:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-31 07:32:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-31 07:37:24 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-03-31 07:37:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-31 07:41:55 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
2025-03-31 07:48:00 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
2025-03-31 07:48:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-31 07:52:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-31 07:52:19 +0200 | fp | (~Thunderbi@87-94-142-103.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
2025-03-31 08:17:35 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-03-31 08:35:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-03-31 08:40:20 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
2025-03-31 08:42:10 +0200 | forell | (~forell@user/forell) forell |
2025-03-31 08:48:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-31 08:50:54 +0200 | ft | (~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving) |
2025-03-31 08:57:09 +0200 | divya | (divya@140.238.251.170) (Ping timeout: 276 seconds) |
2025-03-31 08:57:11 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-03-31 08:59:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-31 08:59:20 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-03-31 08:59:22 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) |
2025-03-31 08:59:58 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-03-31 09:00:05 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-03-31 09:00:59 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f6101a7bfc96b38a12d.dip0.t-ipconnect.de) acidjnk |
2025-03-31 09:01:21 +0200 | caconym | (~caconym@user/caconym) caconym |
2025-03-31 09:03:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-31 09:04:04 +0200 | divya | (divya@140.238.251.170) divya |
2025-03-31 09:15:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-31 09:15:59 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-03-31 09:16:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
2025-03-31 09:17:21 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-03-31 09:18:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
2025-03-31 09:18:34 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2025-03-31 09:20:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-31 09:31:52 +0200 | chele | (~chele@user/chele) chele |
2025-03-31 09:31:57 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2025-03-31 09:32:36 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-03-31 09:34:57 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-03-31 09:37:38 +0200 | XZDX | boobs_ |
2025-03-31 09:37:51 +0200 | boobs_ | XZDX |
2025-03-31 09:42:05 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2025-03-31 09:43:04 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-03-31 09:43:46 +0200 | rit | (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) |
2025-03-31 09:50:01 +0200 | <hellwolf> | Question about Lens |
2025-03-31 09:50:01 +0200 | <hellwolf> | This is Iso: type Iso s t a b = forall p f. (Profunctor p, Functor f) => p a (f b) -> p s (f t) |
2025-03-31 09:50:27 +0200 | <hellwolf> | What if there is no functor instance: forall p. Profunctor p => p a b -> p s t |
2025-03-31 09:50:29 +0200 | <hellwolf> | what is it? |
2025-03-31 09:51:29 +0200 | <EvanR> | you mean f = Identity ? |
2025-03-31 09:56:38 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-31 10:03:37 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-03-31 10:03:41 +0200 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
2025-03-31 10:04:05 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-03-31 10:05:41 +0200 | vgtw | (~vgtw@user/vgtw) vgtw |
2025-03-31 10:06:18 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-03-31 10:06:50 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-03-31 10:09:39 +0200 | vgtw | (~vgtw@user/vgtw) (Client Quit) |
2025-03-31 10:11:45 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2025-03-31 10:12:34 +0200 | vgtw | (~vgtw@user/vgtw) vgtw |
2025-03-31 10:13:20 +0200 | <Leary> | hellwolf: Should be equivalent. `f = Identity` gives you one direction and `p = PostCompose f q` the other, where `newtype PostCompose f q x y = MkPC (q x (f y))`. |
2025-03-31 10:13:32 +0200 | <[exa]> | is there some library way to avoid writing (\(a,b) (c,d) -> (a+c, b+d)) ? |
2025-03-31 10:15:40 +0200 | <Leary> | Yes, pester the CLC to let `instance (Num a, Num b) => Num (a, b)` into base. |
2025-03-31 10:15:48 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-03-31 10:16:40 +0200 | <[exa]> | Leary: /me sad |
2025-03-31 10:17:25 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f6101a7bfc96b38a12d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-03-31 10:17:55 +0200 | <[exa]> | I somehow thought this would be in tuple.extra or in bifunctors, so that I could at least write something like `zipBoth (+) (+)` but nope |
2025-03-31 10:18:03 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
2025-03-31 10:18:15 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
2025-03-31 10:18:38 +0200 | <Leary> | Well, `biliftA2` could be your `zipBoth`. |
2025-03-31 10:18:48 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-03-31 10:18:59 +0200 | <[exa]> | ooooh good |
2025-03-31 10:20:09 +0200 | <[exa]> | cool, thanks |
2025-03-31 10:20:42 +0200 | <[exa]> | (btw this is for use in a fold, I was mildly annoyed that Bifoldable actually doesn't fold the 2 things in parallel but it squashes them together) |
2025-03-31 10:21:14 +0200 | rit | (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) (Remote host closed the connection) |
2025-03-31 10:21:39 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-03-31 10:21:47 +0200 | <Leary> | In that case, you can leverage the fact that we /do/ have `instance (Monoid a, Monoid b) => Monoid (a, b)` and use `(Sum a, Sum b)`. |
2025-03-31 10:22:09 +0200 | <[exa]> | ah wait true |
2025-03-31 10:22:23 +0200 | <[exa]> | that's actually very lawfully lawful and thus in base, right |
2025-03-31 10:22:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-03-31 10:24:41 +0200 | rit | (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) |
2025-03-31 10:27:14 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-31 10:28:19 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f0201dd6e6931f35b33.dip0.t-ipconnect.de) acidjnk |
2025-03-31 10:32:53 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 248 seconds) |
2025-03-31 10:34:02 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
2025-03-31 10:41:10 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
2025-03-31 10:42:28 +0200 | swamp_ | (~zmt00@user/zmt00) zmt00 |
2025-03-31 10:43:06 +0200 | hattckory | (~hattckory@70.27.118.207) |
2025-03-31 10:43:22 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
2025-03-31 10:45:09 +0200 | zmt01 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
2025-03-31 10:45:57 +0200 | edwtjo | (~edwtjo@h-155-4-52-114.A213.priv.bahnhof.se) |
2025-03-31 10:45:57 +0200 | edwtjo | (~edwtjo@h-155-4-52-114.A213.priv.bahnhof.se) (Changing host) |
2025-03-31 10:45:57 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
2025-03-31 10:46:12 +0200 | <[exa]> | Leary: turns out base even has Num a => Num (Sum a) so I don't even have to write the Sum anywhere. Thanks! |
2025-03-31 10:47:44 +0200 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
2025-03-31 10:56:44 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 244 seconds) |
2025-03-31 10:58:23 +0200 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
2025-03-31 10:59:41 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-03-31 11:01:41 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2025-03-31 11:02:01 +0200 | unter-oe | (~unter-oe@176.192.243.31) |
2025-03-31 11:02:01 +0200 | unter-oe | (~unter-oe@176.192.243.31) (Changing host) |
2025-03-31 11:02:01 +0200 | unter-oe | (~unter-oe@user/unter-oe) unter-oe |
2025-03-31 11:04:36 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-31 11:05:56 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-03-31 11:06:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-31 11:18:27 +0200 | fsane | (~fsane@2405:8d40:4470:9e14:fdd9:a5e:9977:d022) |
2025-03-31 11:19:03 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds) |
2025-03-31 11:19:50 +0200 | Ikosit | (~Ikosit@user/ikosit) (Quit: The Lounge - https://thelounge.chat) |
2025-03-31 11:28:35 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2025-03-31 11:32:05 +0200 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
2025-03-31 11:32:25 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2025-03-31 11:35:54 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-03-31 11:37:11 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Remote host closed the connection) |
2025-03-31 11:37:40 +0200 | fp | (~Thunderbi@130.233.70.95) fp |
2025-03-31 11:38:35 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-31 11:39:31 +0200 | Square2 | (~Square4@user/square) Square |
2025-03-31 11:41:43 +0200 | dhil | (~dhil@2a0c:b381:52e:3600:1143:d61d:a64d:dc67) dhil |
2025-03-31 11:43:26 +0200 | Ikosit | (~Ikosit@user/ikosit) Ikosit |
2025-03-31 11:45:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-03-31 11:45:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-03-31 11:46:04 +0200 | fsane | (~fsane@2405:8d40:4470:9e14:fdd9:a5e:9977:d022) (Ping timeout: 260 seconds) |
2025-03-31 11:46:24 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
2025-03-31 11:48:22 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-03-31 11:48:33 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
2025-03-31 12:01:22 +0200 | Square2 | Square |
2025-03-31 12:07:03 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-03-31 12:08:44 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2025-03-31 12:10:38 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-03-31 12:10:40 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-31 12:14:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 276 seconds) |
2025-03-31 12:15:13 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
2025-03-31 12:19:18 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
2025-03-31 12:20:47 +0200 | unter-oe | (~unter-oe@user/unter-oe) (Remote host closed the connection) |
2025-03-31 12:23:28 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-31 12:23:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-03-31 12:25:25 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
2025-03-31 12:27:04 +0200 | internatetional | (~internate@103.84.7.87) internatetional |
2025-03-31 12:29:49 +0200 | internatetional | (~internate@103.84.7.87) (Remote host closed the connection) |
2025-03-31 12:30:05 +0200 | internatetional | (~internate@103.84.7.87) internatetional |
2025-03-31 12:32:21 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2025-03-31 12:33:43 +0200 | s3 | (~s3@user/bn) (Ping timeout: 245 seconds) |
2025-03-31 12:36:00 +0200 | s3 | (~s3@user/bn) bn |
2025-03-31 12:40:45 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-31 12:48:30 +0200 | internatetional | (~internate@103.84.7.87) (Quit: CoreIRC for Android - www.coreirc.com) |
2025-03-31 12:49:49 +0200 | internatetional | (~nate@103.84.7.87) internatetional |
2025-03-31 12:52:21 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 252 seconds) |
2025-03-31 12:53:40 +0200 | internatetional_ | (~internate@103.84.7.87) internatetional |
2025-03-31 12:55:44 +0200 | zmt00 | (~zmt00@user/zmt00) zmt00 |
2025-03-31 12:58:04 +0200 | internatetional_ | (~internate@103.84.7.87) (Remote host closed the connection) |
2025-03-31 12:58:11 +0200 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
2025-03-31 12:58:25 +0200 | internatetional_ | (~nate@103.84.7.87) internatetional |
2025-03-31 13:04:37 +0200 | internatetional | (~nate@103.84.7.87) (Quit: WeeChat 4.6.0) |
2025-03-31 13:10:02 +0200 | internatetional_ | (~nate@103.84.7.87) (Ping timeout: 252 seconds) |
2025-03-31 13:13:14 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-03-31 13:17:46 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bfb1:8756:886a:fcf7) |
2025-03-31 13:22:03 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-31 13:23:57 +0200 | toby-bro | (~toby-bro@user/toby-bro) toby-bro |
2025-03-31 13:26:16 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-03-31 13:30:34 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-03-31 13:31:57 +0200 | img | (~img@user/img) img |
2025-03-31 13:37:48 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
2025-03-31 13:38:44 +0200 | <haskellbridge> | <alexfmpe> [exa]: bimap (+) (+) |
2025-03-31 13:39:19 +0200 | internatetional | (~nate@2400:9800:340:7034:1:0:8d4b:9648) internatetional |
2025-03-31 13:40:05 +0200 | hellwolf | (~user@172a-40ae-6125-5458-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 252 seconds) |
2025-03-31 13:41:09 +0200 | srk | (~sorki@user/srk) (Ping timeout: 248 seconds) |
2025-03-31 13:44:22 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-31 13:45:11 +0200 | hellwolf | (~user@d446-ae4d-8e8d-4d2f-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
2025-03-31 13:47:03 +0200 | internatetional | (~nate@2400:9800:340:7034:1:0:8d4b:9648) (Ping timeout: 276 seconds) |
2025-03-31 13:53:18 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-03-31 14:00:43 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-31 14:01:22 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2025-03-31 14:04:02 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-31 14:04:10 +0200 | malte | (~malte@mal.tc) malte |
2025-03-31 14:05:54 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-03-31 14:06:36 +0200 | hurk | (~user@9.47.7.51.dyn.plus.net) |
2025-03-31 14:10:28 +0200 | rit | (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) (Remote host closed the connection) |
2025-03-31 14:13:20 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-31 14:14:11 +0200 | sprotte24 | (~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de) |
2025-03-31 14:21:12 +0200 | jespada | (~jespada@2800:a4:2219:3d00:3c5d:9220:9de:e877) jespada |
2025-03-31 14:24:17 +0200 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-03-31 14:26:20 +0200 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-03-31 14:29:50 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-03-31 14:30:41 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2025-03-31 14:32:27 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-03-31 14:39:36 +0200 | rit | (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) |
2025-03-31 14:46:54 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-03-31 14:48:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-03-31 14:49:34 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) |
2025-03-31 14:51:01 +0200 | hurk | (~user@9.47.7.51.dyn.plus.net) (Remote host closed the connection) |
2025-03-31 14:53:46 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-31 14:55:53 +0200 | <hellwolf> | 03-31 10:51 <EvanR> you mean f = Identity ? Ah, that makes sense. So without function constraint would be equivalent to Iso with identity functor. |
2025-03-31 14:56:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bfb1:8756:886a:fcf7) (Quit: xff0x) |
2025-03-31 14:56:21 +0200 | <hellwolf> | Identity Iso. |
2025-03-31 15:00:53 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-31 15:01:41 +0200 | sprotte24 | (~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-03-31 15:07:43 +0200 | internatetional | (~nate@2400:9800:d:fb6:1:0:8dba:4857) internatetional |
2025-03-31 15:15:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6039:ea11:94ce:5df6) |
2025-03-31 15:20:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6039:ea11:94ce:5df6) (Ping timeout: 248 seconds) |
2025-03-31 15:32:30 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-03-31 15:33:07 +0200 | srk | (~sorki@user/srk) srk |
2025-03-31 15:35:57 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-03-31 15:36:42 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-03-31 15:38:27 +0200 | internatetional | (~nate@2400:9800:d:fb6:1:0:8dba:4857) (Ping timeout: 252 seconds) |
2025-03-31 15:41:13 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-31 15:47:33 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
2025-03-31 15:47:48 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-03-31 15:49:41 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
2025-03-31 15:56:22 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2025-03-31 15:56:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-03-31 15:56:55 +0200 | <haskellbridge> | <Bowuigi> Any recommendations for using UNIX sockets? I'm looking to quickly hack around an Acme-like text editor |
2025-03-31 15:57:24 +0200 | noctux | (~noctux@user/noctux) (Ping timeout: 252 seconds) |
2025-03-31 16:00:02 +0200 | <mari-estel> | sounds challenging |
2025-03-31 16:01:08 +0200 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
2025-03-31 16:01:48 +0200 | noctux | (~noctux@user/noctux) noctux |
2025-03-31 16:03:10 +0200 | Digit | (~user@user/digit) Digit |
2025-03-31 16:04:12 +0200 | fp | (~Thunderbi@130.233.70.95) (Ping timeout: 252 seconds) |
2025-03-31 16:06:12 +0200 | <haskellbridge> | <Bowuigi> Not that much, really. The server part is fairly simple, Haskell makes IPC reasonably easy and the most complex part of the editor is probably handling keybindings and syntax highlighting |
2025-03-31 16:07:25 +0200 | <tomsmeding> | what are you using for terminal IO? |
2025-03-31 16:07:37 +0200 | <tomsmeding> | escape sequences for cursor movement, drawing, etc. |
2025-03-31 16:07:56 +0200 | <haskellbridge> | <Bowuigi> Not sure yet, can't decide between vty and termbox |
2025-03-31 16:08:05 +0200 | <haskellbridge> | <Bowuigi> I don't manage windows either |
2025-03-31 16:08:13 +0200 | manny2 | (~manny@2601:445:700:69b0:43cb:caf0:77c8:51bc) |
2025-03-31 16:08:52 +0200 | <haskellbridge> | <Bowuigi> No minibuffer or command buffer either |
2025-03-31 16:09:26 +0200 | <haskellbridge> | <Bowuigi> Might implement basic autocompletion at some point but not now |
2025-03-31 16:09:34 +0200 | <tomsmeding> | making editors is fun |
2025-03-31 16:09:41 +0200 | <tomsmeding> | watch out for the time sink |
2025-03-31 16:10:08 +0200 | <haskellbridge> | <Bowuigi> Yeah, I wanted to make this as small as possible because of that |
2025-03-31 16:11:05 +0200 | <haskellbridge> | <Bowuigi> I managed to cut like 90% of the features of a text editor but I still have to do some things lol |
2025-03-31 16:11:19 +0200 | <tomsmeding> | :p |
2025-03-31 16:12:10 +0200 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
2025-03-31 16:12:59 +0200 | <haskellbridge> | <Bowuigi> I don't think I can cut much more, I don't know if a FIFO would work instead of a UNIX socket, it would be annoying if you want to change the settings on a window while something else is running (unless I fix that with some clever trickery) |
2025-03-31 16:13:06 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
2025-03-31 16:14:03 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-03-31 16:19:03 +0200 | <haskellbridge> | <Bowuigi> Oh actually a FIFO would work without clever trickery, that's way easier to work with |
2025-03-31 16:21:03 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1654:70d2:c294:d90) |
2025-03-31 16:21:08 +0200 | XZDX | (~xzdx@user/XZDX) (Ping timeout: 272 seconds) |
2025-03-31 16:21:21 +0200 | jespada | (~jespada@2800:a4:2219:3d00:3c5d:9220:9de:e877) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-03-31 16:21:36 +0200 | fp | (~Thunderbi@130.233.70.95) fp |
2025-03-31 16:24:33 +0200 | <haskellbridge> | <Bowuigi> I would have to use one FIFO to read commands and one FIFO per command reply, which is inmediately closed after the whole reply is read |
2025-03-31 16:25:35 +0200 | jespada | (~jespada@2800:a4:2219:3d00:3c5d:9220:9de:e877) jespada |
2025-03-31 16:30:21 +0200 | XZDX | (~xzdx@c-68-55-21-207.hsd1.mi.comcast.net) |
2025-03-31 16:31:54 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
2025-03-31 16:45:02 +0200 | manny2 | (~manny@2601:445:700:69b0:43cb:caf0:77c8:51bc) (Quit: Client closed) |
2025-03-31 16:45:34 +0200 | manny81 | (~manny@2601:445:700:69b0:43cb:caf0:77c8:51bc) |
2025-03-31 16:57:00 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
2025-03-31 16:59:49 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-03-31 17:21:02 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f0201dd6e6931f35b33.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2025-03-31 17:22:51 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2025-03-31 17:27:55 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-03-31 17:29:49 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-03-31 17:35:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) |
2025-03-31 17:42:03 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
2025-03-31 17:47:33 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 268 seconds) |
2025-03-31 17:49:10 +0200 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) tessier |
2025-03-31 17:58:01 +0200 | polyphem | (~rod@pd9fbf649.dip0.t-ipconnect.de) polyphem |
2025-03-31 17:59:53 +0200 | jespada | (~jespada@2800:a4:2219:3d00:3c5d:9220:9de:e877) (Ping timeout: 268 seconds) |
2025-03-31 17:59:56 +0200 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 272 seconds) |
2025-03-31 18:01:23 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
2025-03-31 18:03:44 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) Feuermagier |
2025-03-31 18:03:44 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (lead.libera.chat (Nickname regained by services))) |
2025-03-31 18:03:44 +0200 | Feuermagier_ | Feuermagier |
2025-03-31 18:04:25 +0200 | ft | (~ft@p508db463.dip0.t-ipconnect.de) ft |
2025-03-31 18:05:54 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Client Quit) |
2025-03-31 18:06:53 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-03-31 18:13:16 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-03-31 18:14:37 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f0201dd6e6931f35b33.dip0.t-ipconnect.de) acidjnk |
2025-03-31 18:19:30 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-03-31 18:19:32 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) (Quit: WeeChat 2.8) |
2025-03-31 18:21:14 +0200 | Square2 | (~Square@user/square) Square |
2025-03-31 18:22:37 +0200 | fp2 | (~Thunderbi@2001:708:150:10::1d80) fp |
2025-03-31 18:22:54 +0200 | fp | (~Thunderbi@130.233.70.95) (Ping timeout: 252 seconds) |
2025-03-31 18:22:54 +0200 | fp2 | fp |
2025-03-31 18:25:10 +0200 | Square | (~Square4@user/square) (Ping timeout: 268 seconds) |
2025-03-31 18:27:45 +0200 | <sclv> | wtf https://arstechnica.com/security/2025/03/computer-scientist-goes-silent-after-fbi-raid-and-purging… |
2025-03-31 18:28:06 +0200 | <sclv> | lot of haskellers and FPers at IU. sending my best to them |
2025-03-31 18:31:53 +0200 | zungi | (~tory@user/andrewchawk) andrewchawk |
2025-03-31 18:43:23 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:6cf0:d644:3911:cb5b) |
2025-03-31 18:44:01 +0200 | <davean> | sclv: Yah thats an interesting one. Wonder whats up with the "missing for weeks" part |
2025-03-31 18:49:56 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-03-31 18:54:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-31 18:55:24 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-03-31 19:01:33 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2025-03-31 19:11:20 +0200 | Guest4 | (~Guest4@115.243.103.7) |
2025-03-31 19:12:02 +0200 | Guest4 | (~Guest4@115.243.103.7) (Client Quit) |
2025-03-31 19:14:56 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
2025-03-31 19:15:01 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-31 19:16:38 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
2025-03-31 19:16:39 +0200 | ljdarj1 | ljdarj |
2025-03-31 19:26:35 +0200 | bliminse | (~bliminse@user/bliminse) bliminse |
2025-03-31 19:29:18 +0200 | manny81 | (~manny@2601:445:700:69b0:43cb:caf0:77c8:51bc) (Ping timeout: 240 seconds) |
2025-03-31 19:32:11 +0200 | <EvanR> | deleting somebody from the internet? That's annoying |
2025-03-31 19:32:51 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-03-31 19:33:54 +0200 | <EvanR> | universities sometimes have interesting ways of dealing with bad publicity |
2025-03-31 19:38:52 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
2025-03-31 19:39:59 +0200 | manny69 | (~manny@2601:445:700:69b0:edc8:140b:9839:8c7d) |
2025-03-31 19:43:24 +0200 | user363627 | (~user@user/user363627) user363627 |
2025-03-31 19:45:09 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 260 seconds) |
2025-03-31 19:45:17 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-03-31 19:47:33 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f0201dd6e6931f35b33.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-03-31 19:48:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |