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)
2025-03-31 09:31:52 +0200chele(~chele@user/chele) chele
2025-03-31 09:31:57 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-03-31 09:32:36 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-03-31 09:34:57 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-03-31 09:37:38 +0200XZDXboobs_
2025-03-31 09:37:51 +0200boobs_XZDX
2025-03-31 09:42:05 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-03-31 09:43:04 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-03-31 09:43:46 +0200rit(~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 +0200merijn(~merijn@77.242.116.146) merijn
2025-03-31 10:03:37 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-03-31 10:03:41 +0200vgtw(~vgtw@user/vgtw) (Quit: ZNC - https://znc.in)
2025-03-31 10:04:05 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-03-31 10:05:41 +0200vgtw(~vgtw@user/vgtw) vgtw
2025-03-31 10:06:18 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-03-31 10:06:50 +0200rvalue(~rvalue@user/rvalue) rvalue
2025-03-31 10:09:39 +0200vgtw(~vgtw@user/vgtw) (Client Quit)
2025-03-31 10:11:45 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-03-31 10:12:34 +0200vgtw(~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 +0200hattckory(~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 +0200acidjnk(~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 +0200pie_(~pie_bnc@user/pie/x-2818909) ()
2025-03-31 10:18:15 +0200pie_(~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 +0200vanishingideal(~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 +0200rit(~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) (Remote host closed the connection)
2025-03-31 10:21:39 +0200merijn(~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 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-03-31 10:24:41 +0200rit(~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f)
2025-03-31 10:27:14 +0200merijn(~merijn@77.242.116.146) merijn
2025-03-31 10:28:19 +0200acidjnk(~acidjnk@p200300d6e71c4f0201dd6e6931f35b33.dip0.t-ipconnect.de) acidjnk
2025-03-31 10:32:53 +0200edwtjo(~edwtjo@fsf/member/edwtjo) (Ping timeout: 248 seconds)
2025-03-31 10:34:02 +0200fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-03-31 10:41:10 +0200zmt01(~zmt00@user/zmt00) zmt00
2025-03-31 10:42:28 +0200swamp_(~zmt00@user/zmt00) zmt00
2025-03-31 10:43:06 +0200hattckory(~hattckory@70.27.118.207)
2025-03-31 10:43:22 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 252 seconds)
2025-03-31 10:45:09 +0200zmt01(~zmt00@user/zmt00) (Read error: Connection reset by peer)
2025-03-31 10:45:57 +0200edwtjo(~edwtjo@h-155-4-52-114.A213.priv.bahnhof.se)
2025-03-31 10:45:57 +0200edwtjo(~edwtjo@h-155-4-52-114.A213.priv.bahnhof.se) (Changing host)
2025-03-31 10:45:57 +0200edwtjo(~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 +0200hattckory(~hattckory@70.27.118.207) (Ping timeout: 260 seconds)
2025-03-31 10:56:44 +0200swamp_(~zmt00@user/zmt00) (Ping timeout: 244 seconds)
2025-03-31 10:58:23 +0200random-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 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-03-31 11:02:01 +0200unter-oe(~unter-oe@176.192.243.31)
2025-03-31 11:02:01 +0200unter-oe(~unter-oe@176.192.243.31) (Changing host)
2025-03-31 11:02:01 +0200unter-oe(~unter-oe@user/unter-oe) unter-oe
2025-03-31 11:04:36 +0200merijn(~merijn@77.242.116.146) merijn
2025-03-31 11:05:56 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-03-31 11:06:26 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-31 11:18:27 +0200fsane(~fsane@2405:8d40:4470:9e14:fdd9:a5e:9977:d022)
2025-03-31 11:19:03 +0200fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds)
2025-03-31 11:19:50 +0200Ikosit(~Ikosit@user/ikosit) (Quit: The Lounge - https://thelounge.chat)
2025-03-31 11:28:35 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-03-31 11:32:05 +0200mari-estel(~mari-este@user/mari-estel) (Remote host closed the connection)
2025-03-31 11:32:25 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-03-31 11:35:54 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-03-31 11:37:11 +0200random-jellyfish(~developer@user/random-jellyfish) (Remote host closed the connection)
2025-03-31 11:37:40 +0200fp(~Thunderbi@130.233.70.95) fp
2025-03-31 11:38:35 +0200merijn(~merijn@77.242.116.146) merijn
2025-03-31 11:39:31 +0200Square2(~Square4@user/square) Square
2025-03-31 11:41:43 +0200dhil(~dhil@2a0c:b381:52e:3600:1143:d61d:a64d:dc67) dhil
2025-03-31 11:43:26 +0200Ikosit(~Ikosit@user/ikosit) Ikosit
2025-03-31 11:45:29 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-03-31 11:45:56 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-03-31 11:46:04 +0200fsane(~fsane@2405:8d40:4470:9e14:fdd9:a5e:9977:d022) (Ping timeout: 260 seconds)
2025-03-31 11:46:24 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds)
2025-03-31 11:48:22 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-03-31 11:48:33 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds)
2025-03-31 12:01:22 +0200Square2Square
2025-03-31 12:07:03 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-03-31 12:08:44 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-03-31 12:10:38 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-03-31 12:10:40 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-31 12:14:45 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 276 seconds)
2025-03-31 12:15:13 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds)
2025-03-31 12:19:18 +0200xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds)
2025-03-31 12:20:47 +0200unter-oe(~unter-oe@user/unter-oe) (Remote host closed the connection)
2025-03-31 12:23:28 +0200merijn(~merijn@77.242.116.146) merijn
2025-03-31 12:23:59 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-03-31 12:25:25 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds)
2025-03-31 12:27:04 +0200internatetional(~internate@103.84.7.87) internatetional
2025-03-31 12:29:49 +0200internatetional(~internate@103.84.7.87) (Remote host closed the connection)
2025-03-31 12:30:05 +0200internatetional(~internate@103.84.7.87) internatetional
2025-03-31 12:32:21 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-03-31 12:33:43 +0200s3(~s3@user/bn) (Ping timeout: 245 seconds)
2025-03-31 12:36:00 +0200s3(~s3@user/bn) bn
2025-03-31 12:40:45 +0200merijn(~merijn@77.242.116.146) merijn
2025-03-31 12:48:30 +0200internatetional(~internate@103.84.7.87) (Quit: CoreIRC for Android - www.coreirc.com)
2025-03-31 12:49:49 +0200internatetional(~nate@103.84.7.87) internatetional
2025-03-31 12:52:21 +0200pabs3(~pabs3@user/pabs3) (Ping timeout: 252 seconds)
2025-03-31 12:53:40 +0200internatetional_(~internate@103.84.7.87) internatetional
2025-03-31 12:55:44 +0200zmt00(~zmt00@user/zmt00) zmt00
2025-03-31 12:58:04 +0200internatetional_(~internate@103.84.7.87) (Remote host closed the connection)
2025-03-31 12:58:11 +0200mari-estel(~mari-este@user/mari-estel) (Remote host closed the connection)
2025-03-31 12:58:25 +0200internatetional_(~nate@103.84.7.87) internatetional
2025-03-31 13:04:37 +0200internatetional(~nate@103.84.7.87) (Quit: WeeChat 4.6.0)
2025-03-31 13:10:02 +0200internatetional_(~nate@103.84.7.87) (Ping timeout: 252 seconds)
2025-03-31 13:13:14 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-03-31 13:17:46 +0200xff0x(~xff0x@2405:6580:b080:900:bfb1:8756:886a:fcf7)
2025-03-31 13:22:03 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-31 13:23:57 +0200toby-bro(~toby-bro@user/toby-bro) toby-bro
2025-03-31 13:26:16 +0200tromp(~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-03-31 13:30:34 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-03-31 13:31:57 +0200img(~img@user/img) img
2025-03-31 13:37:48 +0200merijn(~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 +0200internatetional(~nate@2400:9800:340:7034:1:0:8d4b:9648) internatetional
2025-03-31 13:40:05 +0200hellwolf(~user@172a-40ae-6125-5458-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 252 seconds)
2025-03-31 13:41:09 +0200srk(~sorki@user/srk) (Ping timeout: 248 seconds)
2025-03-31 13:44:22 +0200merijn(~merijn@77.242.116.146) merijn
2025-03-31 13:45:11 +0200hellwolf(~user@d446-ae4d-8e8d-4d2f-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2025-03-31 13:47:03 +0200internatetional(~nate@2400:9800:340:7034:1:0:8d4b:9648) (Ping timeout: 276 seconds)
2025-03-31 13:53:18 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-03-31 14:00:43 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-31 14:01:22 +0200malte(~malte@mal.tc) (Remote host closed the connection)
2025-03-31 14:04:02 +0200weary-traveler(~user@user/user363627) user363627
2025-03-31 14:04:10 +0200malte(~malte@mal.tc) malte
2025-03-31 14:05:54 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-31 14:06:36 +0200hurk(~user@9.47.7.51.dyn.plus.net)
2025-03-31 14:10:28 +0200rit(~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) (Remote host closed the connection)
2025-03-31 14:13:20 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-31 14:14:11 +0200sprotte24(~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de)
2025-03-31 14:21:12 +0200jespada(~jespada@2800:a4:2219:3d00:3c5d:9220:9de:e877) jespada
2025-03-31 14:24:17 +0200sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-31 14:26:20 +0200sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-31 14:29:50 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-03-31 14:30:41 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-03-31 14:32:27 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-03-31 14:39:36 +0200rit(~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f)
2025-03-31 14:46:54 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-03-31 14:48:02 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-03-31 14:49:34 +0200tromp(~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545)
2025-03-31 14:51:01 +0200hurk(~user@9.47.7.51.dyn.plus.net) (Remote host closed the connection)
2025-03-31 14:53:46 +0200weary-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 +0200xff0x(~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 +0200merijn(~merijn@77.242.116.146) merijn
2025-03-31 15:01:41 +0200sprotte24(~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de) (Quit: Leaving)
2025-03-31 15:07:43 +0200internatetional(~nate@2400:9800:d:fb6:1:0:8dba:4857) internatetional
2025-03-31 15:15:49 +0200xff0x(~xff0x@2405:6580:b080:900:6039:ea11:94ce:5df6)
2025-03-31 15:20:21 +0200xff0x(~xff0x@2405:6580:b080:900:6039:ea11:94ce:5df6) (Ping timeout: 248 seconds)
2025-03-31 15:32:30 +0200ystael(~ystael@user/ystael) ystael
2025-03-31 15:33:07 +0200srk(~sorki@user/srk) srk
2025-03-31 15:35:57 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-03-31 15:36:42 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-03-31 15:38:27 +0200internatetional(~nate@2400:9800:d:fb6:1:0:8dba:4857) (Ping timeout: 252 seconds)
2025-03-31 15:41:13 +0200merijn(~merijn@77.242.116.146) merijn
2025-03-31 15:47:33 +0200comerijn(~merijn@77.242.116.146) merijn
2025-03-31 15:47:48 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-31 15:49:41 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-03-31 15:56:22 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-03-31 15:56:33 +0200tromp(~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 +0200noctux(~noctux@user/noctux) (Ping timeout: 252 seconds)
2025-03-31 16:00:02 +0200 <mari-estel> sounds challenging
2025-03-31 16:01:08 +0200Digit(~user@user/digit) (Read error: Connection reset by peer)
2025-03-31 16:01:48 +0200noctux(~noctux@user/noctux) noctux
2025-03-31 16:03:10 +0200Digit(~user@user/digit) Digit
2025-03-31 16:04:12 +0200fp(~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 +0200manny2(~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 +0200mari-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 +0200pabs3(~pabs3@user/pabs3) (Read error: Connection reset by peer)
2025-03-31 16:14:03 +0200pabs3(~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 +0200xff0x(~xff0x@2405:6580:b080:900:1654:70d2:c294:d90)
2025-03-31 16:21:08 +0200XZDX(~xzdx@user/XZDX) (Ping timeout: 272 seconds)
2025-03-31 16:21:21 +0200jespada(~jespada@2800:a4:2219:3d00:3c5d:9220:9de:e877) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-03-31 16:21:36 +0200fp(~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 +0200jespada(~jespada@2800:a4:2219:3d00:3c5d:9220:9de:e877) jespada
2025-03-31 16:30:21 +0200XZDX(~xzdx@c-68-55-21-207.hsd1.mi.comcast.net)
2025-03-31 16:31:54 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-03-31 16:45:02 +0200manny2(~manny@2601:445:700:69b0:43cb:caf0:77c8:51bc) (Quit: Client closed)
2025-03-31 16:45:34 +0200manny81(~manny@2601:445:700:69b0:43cb:caf0:77c8:51bc)
2025-03-31 16:57:00 +0200jinsun(~jinsun@user/jinsun) jinsun
2025-03-31 16:59:49 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-03-31 17:21:02 +0200acidjnk(~acidjnk@p200300d6e71c4f0201dd6e6931f35b33.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-03-31 17:22:51 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-03-31 17:27:55 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-03-31 17:29:49 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-03-31 17:35:25 +0200tromp(~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545)
2025-03-31 17:42:03 +0200Feuermagier(~Feuermagi@user/feuermagier) Feuermagier
2025-03-31 17:47:33 +0200tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 268 seconds)
2025-03-31 17:49:10 +0200tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) tessier
2025-03-31 17:58:01 +0200polyphem(~rod@pd9fbf649.dip0.t-ipconnect.de) polyphem
2025-03-31 17:59:53 +0200jespada(~jespada@2800:a4:2219:3d00:3c5d:9220:9de:e877) (Ping timeout: 268 seconds)
2025-03-31 17:59:56 +0200tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 272 seconds)
2025-03-31 18:01:23 +0200tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier
2025-03-31 18:03:44 +0200Feuermagier_(~Feuermagi@user/feuermagier) Feuermagier
2025-03-31 18:03:44 +0200Feuermagier(~Feuermagi@user/feuermagier) (Killed (lead.libera.chat (Nickname regained by services)))
2025-03-31 18:03:44 +0200Feuermagier_Feuermagier
2025-03-31 18:04:25 +0200ft(~ft@p508db463.dip0.t-ipconnect.de) ft
2025-03-31 18:05:54 +0200Feuermagier(~Feuermagi@user/feuermagier) (Client Quit)
2025-03-31 18:06:53 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-03-31 18:13:16 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-03-31 18:14:37 +0200acidjnk(~acidjnk@p200300d6e71c4f0201dd6e6931f35b33.dip0.t-ipconnect.de) acidjnk
2025-03-31 18:19:30 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-03-31 18:19:32 +0200barthandelous01(barth@triton.blinkenshell.org) (Quit: WeeChat 2.8)
2025-03-31 18:21:14 +0200Square2(~Square@user/square) Square
2025-03-31 18:22:37 +0200fp2(~Thunderbi@2001:708:150:10::1d80) fp
2025-03-31 18:22:54 +0200fp(~Thunderbi@130.233.70.95) (Ping timeout: 252 seconds)
2025-03-31 18:22:54 +0200fp2fp
2025-03-31 18:25:10 +0200Square(~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 +0200zungi(~tory@user/andrewchawk) andrewchawk
2025-03-31 18:43:23 +0200notdabs(~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 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds)
2025-03-31 18:54:33 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-03-31 18:55:24 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-03-31 19:01:33 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-03-31 19:11:20 +0200Guest4(~Guest4@115.243.103.7)
2025-03-31 19:12:02 +0200Guest4(~Guest4@115.243.103.7) (Client Quit)
2025-03-31 19:14:56 +0200bliminse(~bliminse@user/bliminse) (Quit: leaving)
2025-03-31 19:15:01 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-03-31 19:16:38 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
2025-03-31 19:16:39 +0200ljdarj1ljdarj
2025-03-31 19:26:35 +0200bliminse(~bliminse@user/bliminse) bliminse
2025-03-31 19:29:18 +0200manny81(~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 +0200sord937(~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 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds)
2025-03-31 19:39:59 +0200manny69(~manny@2601:445:700:69b0:edc8:140b:9839:8c7d)
2025-03-31 19:43:24 +0200user363627(~user@user/user363627) user363627
2025-03-31 19:45:09 +0200weary-traveler(~user@user/user363627) (Ping timeout: 260 seconds)
2025-03-31 19:45:17 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-03-31 19:47:33 +0200acidjnk(~acidjnk@p200300d6e71c4f0201dd6e6931f35b33.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-03-31 19:48:27 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-03-31 19:55:30 +0200fp(~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 246 seconds)
2025-03-31 20:05:03 +0200jespada(~jespada@2800:a4:2231:f700:8971:aafc:a22d:7172) jespada
2025-03-31 20:06:12 +0200jespada(~jespada@2800:a4:2231:f700:8971:aafc:a22d:7172) (Client Quit)
2025-03-31 20:07:50 +0200jespada(~jespada@2800:a4:2231:f700:8971:aafc:a22d:7172) jespada
2025-03-31 20:08:49 +0200meltedbrain_y2k(~meltedbra@47.62.59.136) meltedbrain_y2k
2025-03-31 20:17:32 +0200acidjnk(~acidjnk@p200300d6e71c4f0205a1013c182d2742.dip0.t-ipconnect.de) acidjnk
2025-03-31 20:17:34 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2025-03-31 20:18:24 +0200sprotte24(~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de)
2025-03-31 20:30:42 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-31 20:31:52 +0200tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 252 seconds)
2025-03-31 20:32:06 +0200tv(~tv@user/tv) (Read error: Connection reset by peer)
2025-03-31 20:51:59 +0200user363627(~user@user/user363627) (Remote host closed the connection)
2025-03-31 20:52:02 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-03-31 20:52:22 +0200rit(~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) (Remote host closed the connection)
2025-03-31 20:52:31 +0200rit(~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f)
2025-03-31 20:55:44 +0200troydm(~troydm@user/troydm) (Ping timeout: 260 seconds)
2025-03-31 20:57:14 +0200ash3en(~Thunderbi@31.16.203.214) ash3en
2025-03-31 20:59:36 +0200zungi(~tory@user/andrewchawk) (Ping timeout: 264 seconds)
2025-03-31 21:00:00 +0200caconym(~caconym@user/caconym) (Quit: bye)
2025-03-31 21:00:42 +0200caconym(~caconym@user/caconym) caconym
2025-03-31 21:04:08 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-03-31 21:08:01 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-03-31 21:10:17 +0200weary-traveler(~user@user/user363627) user363627
2025-03-31 21:11:41 +0200sroso(~sroso@user/SrOso) SrOso
2025-03-31 21:13:44 +0200euphores(~SASL_euph@user/euphores) euphores
2025-03-31 21:21:54 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2025-03-31 21:25:15 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-03-31 21:28:53 +0200AlexZenon(~alzenon@178.34.150.194) (Ping timeout: 248 seconds)
2025-03-31 21:30:54 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-03-31 21:32:52 +0200Eoco(~ian@128.101.131.218) Eoco
2025-03-31 21:34:12 +0200polyphem(~rod@pd9fbf649.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-03-31 21:34:32 +0200AlexZenon(~alzenon@178.34.150.194)
2025-03-31 21:36:46 +0200tv(~tv@user/tv) tv
2025-03-31 21:45:12 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds)
2025-03-31 21:50:30 +0200Square(~Square4@user/square) Square
2025-03-31 21:52:10 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
2025-03-31 21:53:54 +0200Square2(~Square@user/square) (Ping timeout: 248 seconds)
2025-03-31 21:54:10 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden
2025-03-31 21:58:44 +0200rit(~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) (Remote host closed the connection)
2025-03-31 22:04:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 22:09:41 +0200troydm(~troydm@user/troydm) troydm
2025-03-31 22:11:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-31 22:12:21 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Ping timeout: 246 seconds)
2025-03-31 22:17:41 +0200hurk(~user@9.47.7.51.dyn.plus.net)
2025-03-31 22:18:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 22:21:02 +0200hurk(~user@9.47.7.51.dyn.plus.net) (Client Quit)
2025-03-31 22:22:37 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:1b03:b08c:d961:6530) hgolden
2025-03-31 22:23:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-31 22:24:07 +0200takuan(~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
2025-03-31 22:26:23 +0200michalz(~michalz@185.246.207.193) (Remote host closed the connection)
2025-03-31 22:31:45 +0200tromp(~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-03-31 22:32:03 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-03-31 22:33:45 +0200meltedbrain_y2k(~meltedbra@47.62.59.136) (Quit: Leaving.)
2025-03-31 22:34:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 22:39:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-31 22:41:19 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:1b03:b08c:d961:6530) (Remote host closed the connection)
2025-03-31 22:49:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-31 22:51:36 +0200tromp(~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545)
2025-03-31 22:51:49 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-31 22:54:30 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-03-31 22:54:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-31 22:55:10 +0200ash3en(~Thunderbi@31.16.203.214) (Quit: ash3en)