Logs on 2025-03-31 (liberachat/#haskell)
| 00:06:24 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 00:10:15 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 00:10:15 | ljdarj1 | is now known as ljdarj |
| 00:12:53 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 00:14:40 | <haskellbridge> | <alexfmpe> > ['a'..'z']^..traversed.ifiltered (const . even) |
| 00:14:40 | <haskellbridge> | "acegikmoqsuwy" |
| 00:15:09 | <haskellbridge> | <alexfmpe> * ['a'..'z'] ^.. traversed . ifiltered |
| 00:16:21 | <haskellbridge> | <thirdofmay18081814goya> neat! still indexed though |
| 00:16:53 | <haskellbridge> | <alexfmpe> huh is that an issue? |
| 00:17:15 | <haskellbridge> | <thirdofmay18081814goya> well I'm trying to find an "Iso" form, otherwise we can just use "['a'..'z'] ^.. itraversed . indices even" |
| 00:17:54 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 00:17:54 | <haskellbridge> | <alexfmpe> iso between what? |
| 00:18:06 | <haskellbridge> | <thirdofmay18081814goya> "iso (map snd) (zip [0..])" |
| 00:18:13 | <haskellbridge> | <thirdofmay18081814goya> uh "map fst" I mean |
| 00:18:21 | <haskellbridge> | <alexfmpe> that is not an isomorphism |
| 00:18:43 | <haskellbridge> | <thirdofmay18081814goya> how so? |
| 00:19:02 | <haskellbridge> | <alexfmpe> you're thinking "Iso' [a] [(Int, a)]" or so right? |
| 00:19:20 | <haskellbridge> | <thirdofmay18081814goya> clearly it is a bijection, and if we're embedding either side into a monoid wrt "a" it is an isomorphism |
| 00:19:26 | <haskellbridge> | <thirdofmay18081814goya> alexfmpe: yeah |
| 00:19:51 | <haskellbridge> | <alexfmpe> [1, 'a'] -> ['a'] <-> [(0, 'a')] |
| 00:19:53 | <haskellbridge> | <alexfmpe> this is no bijection |
| 00:19:58 | <haskellbridge> | <alexfmpe> it's an embedding at best |
| 00:20:11 | <haskellbridge> | <thirdofmay18081814goya> right, that has the same type but it is not the same map |
| 00:20:22 | <haskellbridge> | <alexfmpe> "[a] -> [(Int, a)]" is invertible, but not surjective |
| 00:20:30 | <haskellbridge> | <alexfmpe> so not bijective |
| 00:21:06 | <haskellbridge> | <alexfmpe> well, my point is "zip [0..] . fmap snd" is not "id" |
| 00:21:12 | <haskellbridge> | <alexfmpe> even though "fmap snd . zip [0..]" is |
| 00:21:16 | <haskellbridge> | <alexfmpe> so it's not an iso |
| 00:21:54 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 00:23:00 | <haskellbridge> | <thirdofmay18081814goya> hm right |
| 00:30:28 | <haskellbridge> | <thirdofmay18081814goya> it is however an isomorphism over its range, or over the subtype of "[(Int, a)]" of pairs ordered by the first element |
| 00:31:45 | <haskellbridge> | <thirdofmay18081814goya> as long as all function we compose it preserve this range, it will have the expected properties of "Iso" |
| 00:31:52 | <haskellbridge> | <thirdofmay18081814goya> we compose it with* |
| 00:32:13 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:33:17 | → | califax joins (~califax@user/califx) |
| 00:34:06 | <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)]" |
| 00:34:47 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 00:34:57 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 00:38:35 | <haskellbridge> | <thirdofmay18081814goya> yep no it's just straight up not an Iso lol ty |
| 00:38:40 | <haskellbridge> | <Bowuigi> To fix this, constrain the first element to be exactly the index. The singleton Vector example does this |
| 00:39:03 | <haskellbridge> | <Bowuigi> The first element of "(Int, a)", that is |
| 00:44:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:45:39 | × | gustavo quits (~gustavo@2804:18:588d:4c8:c297:170d:745e:29df) (Quit: Leaving) |
| 00:49:57 | × | otto_s quits (~user@p5de2f1f7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 00:51:36 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:53:04 | × | xff0x quits (~xff0x@2405:6580:b080:900:73c3:617e:93dd:971) (Ping timeout: 260 seconds) |
| 00:55:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:59:15 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 00:59:45 | → | otto_s joins (~user@p5b044ec8.dip0.t-ipconnect.de) |
| 01:00:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:01:44 | → | user363627 joins (~user@user/user363627) |
| 01:05:01 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 244 seconds) |
| 01:05:42 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 01:07:35 | → | random-jellyfish joins (~developer@85.50.149.196) |
| 01:07:35 | × | random-jellyfish quits (~developer@85.50.149.196) (Changing host) |
| 01:07:35 | → | random-jellyfish joins (~developer@user/random-jellyfish) |
| 01:27:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:30:48 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 01:34:44 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 01:41:39 | × | ambareesh quits (~ambareesh@user/ambareesh) (Quit: WeeChat 4.6.0) |
| 01:41:48 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:45:41 | → | talismanick joins (~user@2601:644:937c:ed10::ae5) |
| 01:50:00 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 01:52:09 | → | xff0x_ joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:54:26 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds) |
| 01:56:45 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:58:52 | × | xff0x_ quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds) |
| 01:59:30 | → | xff0x_ joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:02:03 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 02:22:41 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 02:30:43 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:31:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:38:34 | → | bilegeek joins (~bilegeek@2600:1008:b099:69a4:46db:68ce:ade4:248f) |
| 02:42:26 | × | mu` quits (~mu@user/byte) (Quit: Leaving) |
| 02:42:40 | → | byte joins (~mu@user/byte) |
| 02:43:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:50:27 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0) |
| 03:00:32 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 03:00:53 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 03:05:46 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:08:44 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 03:10:42 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 03:34:20 | × | prasad quits (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) (Ping timeout: 244 seconds) |
| 03:35:41 | × | user363627 quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 03:35:58 | → | user363627 joins (~user@user/user363627) |
| 03:39:31 | → | unter-oe joins (~unter-oe@user/unter-oe) |
| 03:43:45 | × | unter-oe quits (~unter-oe@user/unter-oe) (Ping timeout: 248 seconds) |
| 03:43:57 | → | michalz joins (~michalz@185.246.207.193) |
| 03:45:57 | × | bilegeek quits (~bilegeek@2600:1008:b099:69a4:46db:68ce:ade4:248f) (Ping timeout: 248 seconds) |
| 03:47:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:59:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:04:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 04:15:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:22:51 | × | random-jellyfish quits (~developer@user/random-jellyfish) (Remote host closed the connection) |
| 04:23:09 | → | random-jellyfish joins (~developer@user/random-jellyfish) |
| 04:27:48 | × | arahael quits (~arahael@user/arahael) (Ping timeout: 252 seconds) |
| 04:32:28 | × | Eoco quits (~ian@128.101.131.218) (Quit: WeeChat 4.4.2) |
| 04:34:01 | × | toby-bro quits (~toby-bro@user/toby-bro) (Ping timeout: 252 seconds) |
| 04:41:34 | × | random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 260 seconds) |
| 05:11:01 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 05:20:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:32:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:37:24 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 05:37:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 05:41:55 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 05:48:00 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 05:48:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:52:13 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:52:19 | × | fp quits (~Thunderbi@87-94-142-103.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
| 06:17:35 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:35:59 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 06:40:20 | × | forell quits (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 06:42:10 | → | forell joins (~forell@user/forell) |
| 06:48:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 06:50:54 | × | ft quits (~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:57:09 | × | divya quits (divya@140.238.251.170) (Ping timeout: 276 seconds) |
| 06:57:11 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 06:59:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:59:20 | → | j1n37- joins (~j1n37@user/j1n37) |
| 06:59:22 | → | tromp joins (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) |
| 06:59:58 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 07:00:05 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:59 | → | acidjnk joins (~acidjnk@p200300d6e71c4f6101a7bfc96b38a12d.dip0.t-ipconnect.de) |
| 07:01:21 | → | caconym joins (~caconym@user/caconym) |
| 07:03:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:04:04 | → | divya joins (divya@140.238.251.170) |
| 07:15:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:15:59 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:16:55 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 07:17:21 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:18:12 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 07:18:34 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 07:20:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 07:31:52 | → | chele joins (~chele@user/chele) |
| 07:31:57 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 07:32:36 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 07:34:57 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 07:37:38 | XZDX | is now known as boobs_ |
| 07:37:51 | boobs_ | is now known as XZDX |
| 07:42:05 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 07:43:04 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 07:43:46 | → | rit joins (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) |
| 07:50:01 | <hellwolf> | Question about Lens |
| 07:50:01 | <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) |
| 07:50:27 | <hellwolf> | What if there is no functor instance: forall p. Profunctor p => p a b -> p s t |
| 07:50:29 | <hellwolf> | what is it? |
| 07:51:29 | <EvanR> | you mean f = Identity ? |
| 07:56:38 | → | merijn joins (~merijn@77.242.116.146) |
| 08:03:37 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:03:41 | × | vgtw quits (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 08:04:05 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 08:05:41 | → | vgtw joins (~vgtw@user/vgtw) |
| 08:06:18 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 08:06:50 | → | rvalue joins (~rvalue@user/rvalue) |
| 08:09:39 | × | vgtw quits (~vgtw@user/vgtw) (Client Quit) |
| 08:11:45 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 08:12:34 | → | vgtw joins (~vgtw@user/vgtw) |
| 08:13:20 | <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))`. |
| 08:13:32 | <[exa]> | is there some library way to avoid writing (\(a,b) (c,d) -> (a+c, b+d)) ? |
| 08:15:40 | <Leary> | Yes, pester the CLC to let `instance (Num a, Num b) => Num (a, b)` into base. |
| 08:15:48 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 08:16:40 | <[exa]> | Leary: /me sad |
| 08:17:25 | × | acidjnk quits (~acidjnk@p200300d6e71c4f6101a7bfc96b38a12d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 08:17:55 | <[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 |
| 08:18:03 | × | pie_ quits (~pie_bnc@user/pie/x-2818909) () |
| 08:18:15 | → | pie_ joins (~pie_bnc@user/pie/x-2818909) |
| 08:18:38 | <Leary> | Well, `biliftA2` could be your `zipBoth`. |
| 08:18:48 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 08:18:59 | <[exa]> | ooooh good |
| 08:20:09 | <[exa]> | cool, thanks |
| 08:20:42 | <[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) |
| 08:21:14 | × | rit quits (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) (Remote host closed the connection) |
| 08:21:39 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 08:21:47 | <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)`. |
| 08:22:09 | <[exa]> | ah wait true |
| 08:22:23 | <[exa]> | that's actually very lawfully lawful and thus in base, right |
| 08:22:51 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 08:24:41 | → | rit joins (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) |
| 08:27:14 | → | merijn joins (~merijn@77.242.116.146) |
| 08:28:19 | → | acidjnk joins (~acidjnk@p200300d6e71c4f0201dd6e6931f35b33.dip0.t-ipconnect.de) |
| 08:32:53 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (Ping timeout: 248 seconds) |
| 08:34:02 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 08:41:10 | → | zmt01 joins (~zmt00@user/zmt00) |
| 08:42:28 | → | swamp_ joins (~zmt00@user/zmt00) |
| 08:43:06 | → | hattckory joins (~hattckory@70.27.118.207) |
| 08:43:22 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 08:45:09 | × | zmt01 quits (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 08:45:57 | → | edwtjo joins (~edwtjo@h-155-4-52-114.A213.priv.bahnhof.se) |
| 08:45:57 | × | edwtjo quits (~edwtjo@h-155-4-52-114.A213.priv.bahnhof.se) (Changing host) |
| 08:45:57 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 08:46:12 | <[exa]> | Leary: turns out base even has Num a => Num (Sum a) so I don't even have to write the Sum anywhere. Thanks! |
| 08:47:44 | × | hattckory quits (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
| 08:56:44 | × | swamp_ quits (~zmt00@user/zmt00) (Ping timeout: 244 seconds) |
| 08:58:23 | → | random-jellyfish joins (~developer@user/random-jellyfish) |
| 08:59:41 | → | __monty__ joins (~toonn@user/toonn) |
| 09:01:41 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 09:02:01 | → | unter-oe joins (~unter-oe@176.192.243.31) |
| 09:02:01 | × | unter-oe quits (~unter-oe@176.192.243.31) (Changing host) |
| 09:02:01 | → | unter-oe joins (~unter-oe@user/unter-oe) |
| 09:04:36 | → | merijn joins (~merijn@77.242.116.146) |
| 09:05:56 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 09:06:26 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 09:18:27 | → | fsane joins (~fsane@2405:8d40:4470:9e14:fdd9:a5e:9977:d022) |
| 09:19:03 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds) |
| 09:19:50 | × | Ikosit quits (~Ikosit@user/ikosit) (Quit: The Lounge - https://thelounge.chat) |
| 09:28:35 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 09:32:05 | × | mari-estel quits (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 09:32:25 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 09:35:54 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 09:37:11 | × | random-jellyfish quits (~developer@user/random-jellyfish) (Remote host closed the connection) |
| 09:37:40 | → | fp joins (~Thunderbi@130.233.70.95) |
| 09:38:35 | → | merijn joins (~merijn@77.242.116.146) |
| 09:39:31 | → | Square2 joins (~Square4@user/square) |
| 09:41:43 | → | dhil joins (~dhil@2a0c:b381:52e:3600:1143:d61d:a64d:dc67) |
| 09:43:26 | → | Ikosit joins (~Ikosit@user/ikosit) |
| 09:45:29 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 09:45:56 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 09:46:04 | × | fsane quits (~fsane@2405:8d40:4470:9e14:fdd9:a5e:9977:d022) (Ping timeout: 260 seconds) |
| 09:46:24 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 09:48:22 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 09:48:33 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
| 10:01:22 | Square2 | is now known as Square |
| 10:07:03 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:08:44 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 10:10:38 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 10:10:40 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 10:14:45 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 276 seconds) |
| 10:15:13 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 10:19:18 | × | xff0x_ quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 10:20:47 | × | unter-oe quits (~unter-oe@user/unter-oe) (Remote host closed the connection) |
| 10:23:28 | → | merijn joins (~merijn@77.242.116.146) |
| 10:23:59 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 10:25:25 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 10:27:04 | → | internatetional joins (~internate@103.84.7.87) |
| 10:29:49 | × | internatetional quits (~internate@103.84.7.87) (Remote host closed the connection) |
| 10:30:05 | → | internatetional joins (~internate@103.84.7.87) |
| 10:32:21 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 10:33:43 | × | s3 quits (~s3@user/bn) (Ping timeout: 245 seconds) |
| 10:36:00 | → | s3 joins (~s3@user/bn) |
| 10:40:45 | → | merijn joins (~merijn@77.242.116.146) |
| 10:48:30 | × | internatetional quits (~internate@103.84.7.87) (Quit: CoreIRC for Android - www.coreirc.com) |
| 10:49:49 | → | internatetional joins (~nate@103.84.7.87) |
| 10:52:21 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 252 seconds) |
| 10:53:40 | → | internatetional_ joins (~internate@103.84.7.87) |
| 10:55:44 | → | zmt00 joins (~zmt00@user/zmt00) |
| 10:58:04 | × | internatetional_ quits (~internate@103.84.7.87) (Remote host closed the connection) |
| 10:58:11 | × | mari-estel quits (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 10:58:25 | → | internatetional_ joins (~nate@103.84.7.87) |
| 11:04:37 | × | internatetional quits (~nate@103.84.7.87) (Quit: WeeChat 4.6.0) |
| 11:10:02 | × | internatetional_ quits (~nate@103.84.7.87) (Ping timeout: 252 seconds) |
| 11:13:14 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:17:46 | → | xff0x joins (~xff0x@2405:6580:b080:900:bfb1:8756:886a:fcf7) |
| 11:22:03 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 11:23:57 | → | toby-bro joins (~toby-bro@user/toby-bro) |
| 11:26:16 | × | tromp quits (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:30:34 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:31:57 | → | img joins (~img@user/img) |
| 11:37:48 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 11:38:44 | <haskellbridge> | <alexfmpe> [exa]: bimap (+) (+) |
| 11:39:19 | → | internatetional joins (~nate@2400:9800:340:7034:1:0:8d4b:9648) |
| 11:40:05 | × | hellwolf quits (~user@172a-40ae-6125-5458-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 252 seconds) |
| 11:41:09 | × | srk quits (~sorki@user/srk) (Ping timeout: 248 seconds) |
| 11:44:22 | → | merijn joins (~merijn@77.242.116.146) |
| 11:45:11 | → | hellwolf joins (~user@d446-ae4d-8e8d-4d2f-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 11:47:03 | × | internatetional quits (~nate@2400:9800:340:7034:1:0:8d4b:9648) (Ping timeout: 276 seconds) |
| 11:53:18 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 12:00:43 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 12:01:22 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 12:04:02 | → | weary-traveler joins (~user@user/user363627) |
| 12:04:10 | → | malte joins (~malte@mal.tc) |
| 12:05:54 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 12:06:36 | → | hurk joins (~user@9.47.7.51.dyn.plus.net) |
| 12:10:28 | × | rit quits (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) (Remote host closed the connection) |
| 12:13:20 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 12:14:11 | → | sprotte24 joins (~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de) |
| 12:21:12 | → | jespada joins (~jespada@2800:a4:2219:3d00:3c5d:9220:9de:e877) |
| 12:24:17 | × | sabathan quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 12:26:20 | → | sabathan joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:29:50 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 12:30:41 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 12:32:27 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 12:39:36 | → | rit joins (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) |
| 12:46:54 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 12:48:02 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:49:34 | → | tromp joins (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) |
| 12:51:01 | × | hurk quits (~user@9.47.7.51.dyn.plus.net) (Remote host closed the connection) |
| 12:53:46 | → | weary-traveler joins (~user@user/user363627) |
| 12:55:53 | <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. |
| 12:56:12 | × | xff0x quits (~xff0x@2405:6580:b080:900:bfb1:8756:886a:fcf7) (Quit: xff0x) |
| 12:56:21 | <hellwolf> | Identity Iso. |
| 13:00:53 | → | merijn joins (~merijn@77.242.116.146) |
| 13:01:41 | × | sprotte24 quits (~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de) (Quit: Leaving) |
| 13:07:43 | → | internatetional joins (~nate@2400:9800:d:fb6:1:0:8dba:4857) |
| 13:15:49 | → | xff0x joins (~xff0x@2405:6580:b080:900:6039:ea11:94ce:5df6) |
| 13:20:21 | × | xff0x quits (~xff0x@2405:6580:b080:900:6039:ea11:94ce:5df6) (Ping timeout: 248 seconds) |
| 13:32:30 | → | ystael joins (~ystael@user/ystael) |
| 13:33:07 | → | srk joins (~sorki@user/srk) |
| 13:35:57 | → | pabs3 joins (~pabs3@user/pabs3) |
| 13:36:42 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 13:38:27 | × | internatetional quits (~nate@2400:9800:d:fb6:1:0:8dba:4857) (Ping timeout: 252 seconds) |
| 13:41:13 | → | merijn joins (~merijn@77.242.116.146) |
| 13:47:33 | → | comerijn joins (~merijn@77.242.116.146) |
| 13:47:48 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 13:49:41 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 13:56:22 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 13:56:33 | × | tromp quits (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:56:55 | <haskellbridge> | <Bowuigi> Any recommendations for using UNIX sockets? I'm looking to quickly hack around an Acme-like text editor |
| 13:57:24 | × | noctux quits (~noctux@user/noctux) (Ping timeout: 252 seconds) |
| 14:00:02 | <mari-estel> | sounds challenging |
| 14:01:08 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 14:01:48 | → | noctux joins (~noctux@user/noctux) |
| 14:03:10 | → | Digit joins (~user@user/digit) |
| 14:04:12 | × | fp quits (~Thunderbi@130.233.70.95) (Ping timeout: 252 seconds) |
| 14:06:12 | <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 |
| 14:07:25 | <tomsmeding> | what are you using for terminal IO? |
| 14:07:37 | <tomsmeding> | escape sequences for cursor movement, drawing, etc. |
| 14:07:56 | <haskellbridge> | <Bowuigi> Not sure yet, can't decide between vty and termbox |
| 14:08:05 | <haskellbridge> | <Bowuigi> I don't manage windows either |
| 14:08:13 | → | manny2 joins (~manny@2601:445:700:69b0:43cb:caf0:77c8:51bc) |
| 14:08:52 | <haskellbridge> | <Bowuigi> No minibuffer or command buffer either |
| 14:09:26 | <haskellbridge> | <Bowuigi> Might implement basic autocompletion at some point but not now |
| 14:09:34 | <tomsmeding> | making editors is fun |
| 14:09:41 | <tomsmeding> | watch out for the time sink |
| 14:10:08 | <haskellbridge> | <Bowuigi> Yeah, I wanted to make this as small as possible because of that |
| 14:11:05 | <haskellbridge> | <Bowuigi> I managed to cut like 90% of the features of a text editor but I still have to do some things lol |
| 14:11:19 | <tomsmeding> | :p |
| 14:12:10 | × | mari-estel quits (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 14:12:59 | <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) |
| 14:13:06 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 14:14:03 | → | pabs3 joins (~pabs3@user/pabs3) |
| 14:19:03 | <haskellbridge> | <Bowuigi> Oh actually a FIFO would work without clever trickery, that's way easier to work with |
| 14:21:03 | → | xff0x joins (~xff0x@2405:6580:b080:900:1654:70d2:c294:d90) |
| 14:21:08 | × | XZDX quits (~xzdx@user/XZDX) (Ping timeout: 272 seconds) |
| 14:21:21 | × | jespada quits (~jespada@2800:a4:2219:3d00:3c5d:9220:9de:e877) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 14:21:36 | → | fp joins (~Thunderbi@130.233.70.95) |
| 14:24:33 | <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 |
| 14:25:35 | → | jespada joins (~jespada@2800:a4:2219:3d00:3c5d:9220:9de:e877) |
| 14:30:21 | → | XZDX joins (~xzdx@c-68-55-21-207.hsd1.mi.comcast.net) |
| 14:31:54 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 14:45:02 | × | manny2 quits (~manny@2601:445:700:69b0:43cb:caf0:77c8:51bc) (Quit: Client closed) |
| 14:45:34 | → | manny81 joins (~manny@2601:445:700:69b0:43cb:caf0:77c8:51bc) |
| 14:57:00 | → | jinsun joins (~jinsun@user/jinsun) |
| 14:59:49 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 15:21:02 | × | acidjnk quits (~acidjnk@p200300d6e71c4f0201dd6e6931f35b33.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 15:22:51 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 15:27:55 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 15:29:49 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 15:35:25 | → | tromp joins (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) |
| 15:42:03 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 15:47:33 | × | tessier quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 268 seconds) |
| 15:49:10 | → | tessier joins (~tessier@ip68-8-117-219.sd.sd.cox.net) |
| 15:58:01 | → | polyphem joins (~rod@pd9fbf649.dip0.t-ipconnect.de) |
| 15:59:53 | × | jespada quits (~jespada@2800:a4:2219:3d00:3c5d:9220:9de:e877) (Ping timeout: 268 seconds) |
| 15:59:56 | × | tessier quits (~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 272 seconds) |
| 16:01:23 | → | tessier joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 16:03:44 | → | Feuermagier_ joins (~Feuermagi@user/feuermagier) |
| 16:03:44 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Killed (lead.libera.chat (Nickname regained by services))) |
| 16:03:44 | Feuermagier_ | is now known as Feuermagier |
| 16:04:25 | → | ft joins (~ft@p508db463.dip0.t-ipconnect.de) |
| 16:05:54 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Client Quit) |
| 16:06:53 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 16:13:16 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:14:37 | → | acidjnk joins (~acidjnk@p200300d6e71c4f0201dd6e6931f35b33.dip0.t-ipconnect.de) |
| 16:19:30 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 16:19:32 | × | barthandelous01 quits (barth@triton.blinkenshell.org) (Quit: WeeChat 2.8) |
| 16:21:14 | → | Square2 joins (~Square@user/square) |
| 16:22:37 | → | fp2 joins (~Thunderbi@2001:708:150:10::1d80) |
| 16:22:54 | × | fp quits (~Thunderbi@130.233.70.95) (Ping timeout: 252 seconds) |
| 16:22:54 | fp2 | is now known as fp |
| 16:25:10 | × | Square quits (~Square4@user/square) (Ping timeout: 268 seconds) |
| 16:27:45 | <sclv> | wtf https://arstechnica.com/security/2025/03/computer-scientist-goes-silent-after-fbi-raid-and-purging-from-university-website/ |
| 16:28:06 | <sclv> | lot of haskellers and FPers at IU. sending my best to them |
| 16:31:53 | → | zungi joins (~tory@user/andrewchawk) |
| 16:43:23 | → | notdabs joins (~Owner@2600:1700:69cf:9000:6cf0:d644:3911:cb5b) |
| 16:44:01 | <davean> | sclv: Yah thats an interesting one. Wonder whats up with the "missing for weeks" part |
| 16:49:56 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
| 16:54:33 | → | j1n37 joins (~j1n37@user/j1n37) |
| 16:55:24 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 17:01:33 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:11:20 | → | Guest4 joins (~Guest4@115.243.103.7) |
| 17:12:02 | × | Guest4 quits (~Guest4@115.243.103.7) (Client Quit) |
| 17:14:56 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 17:15:01 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 17:16:38 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 17:16:39 | ljdarj1 | is now known as ljdarj |
| 17:26:35 | → | bliminse joins (~bliminse@user/bliminse) |
| 17:29:18 | × | manny81 quits (~manny@2601:445:700:69b0:43cb:caf0:77c8:51bc) (Ping timeout: 240 seconds) |
| 17:32:11 | <EvanR> | deleting somebody from the internet? That's annoying |
| 17:32:51 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 17:33:54 | <EvanR> | universities sometimes have interesting ways of dealing with bad publicity |
| 17:38:52 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 17:39:59 | → | manny69 joins (~manny@2601:445:700:69b0:edc8:140b:9839:8c7d) |
| 17:43:24 | → | user363627 joins (~user@user/user363627) |
| 17:45:09 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 260 seconds) |
| 17:45:17 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 17:47:33 | × | acidjnk quits (~acidjnk@p200300d6e71c4f0201dd6e6931f35b33.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 17:48:27 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 17:55:30 | × | fp quits (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 246 seconds) |
| 18:05:03 | → | jespada joins (~jespada@2800:a4:2231:f700:8971:aafc:a22d:7172) |
| 18:06:12 | × | jespada quits (~jespada@2800:a4:2231:f700:8971:aafc:a22d:7172) (Client Quit) |
| 18:07:50 | → | jespada joins (~jespada@2800:a4:2231:f700:8971:aafc:a22d:7172) |
| 18:08:49 | → | meltedbrain_y2k joins (~meltedbra@47.62.59.136) |
| 18:17:32 | → | acidjnk joins (~acidjnk@p200300d6e71c4f0205a1013c182d2742.dip0.t-ipconnect.de) |
| 18:17:34 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 18:18:24 | → | sprotte24 joins (~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de) |
| 18:30:42 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:31:52 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 18:32:06 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 18:51:59 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 18:52:02 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 18:52:22 | × | rit quits (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) (Remote host closed the connection) |
| 18:52:31 | → | rit joins (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) |
| 18:55:44 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 260 seconds) |
| 18:57:14 | → | ash3en joins (~Thunderbi@31.16.203.214) |
| 18:59:36 | × | zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 19:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:42 | → | caconym joins (~caconym@user/caconym) |
| 19:04:08 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 19:08:01 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 19:10:17 | → | weary-traveler joins (~user@user/user363627) |
| 19:11:41 | → | sroso joins (~sroso@user/SrOso) |
| 19:13:44 | → | euphores joins (~SASL_euph@user/euphores) |
| 19:21:54 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 19:25:15 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 19:28:53 | × | AlexZenon quits (~alzenon@178.34.150.194) (Ping timeout: 248 seconds) |
| 19:30:54 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 19:32:52 | → | Eoco joins (~ian@128.101.131.218) |
| 19:34:12 | × | polyphem quits (~rod@pd9fbf649.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 19:34:32 | → | AlexZenon joins (~alzenon@178.34.150.194) |
| 19:36:46 | → | tv joins (~tv@user/tv) |
| 19:45:12 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 19:50:30 | → | Square joins (~Square4@user/square) |
| 19:52:10 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 19:53:54 | × | Square2 quits (~Square@user/square) (Ping timeout: 248 seconds) |
| 19:54:10 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) |
| 19:58:44 | × | rit quits (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) (Remote host closed the connection) |
| 20:04:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:09:41 | → | troydm joins (~troydm@user/troydm) |
| 20:11:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:12:21 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Ping timeout: 246 seconds) |
| 20:17:41 | → | hurk joins (~user@9.47.7.51.dyn.plus.net) |
| 20:18:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:21:02 | × | hurk quits (~user@9.47.7.51.dyn.plus.net) (Client Quit) |
| 20:22:37 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:1b03:b08c:d961:6530) |
| 20:23:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 20:24:07 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 20:26:23 | × | michalz quits (~michalz@185.246.207.193) (Remote host closed the connection) |
| 20:31:45 | × | tromp quits (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:32:03 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 20:33:45 | × | meltedbrain_y2k quits (~meltedbra@47.62.59.136) (Quit: Leaving.) |
| 20:34:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:39:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:41:19 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:1b03:b08c:d961:6530) (Remote host closed the connection) |
| 20:49:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:51:36 | → | tromp joins (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) |
| 20:51:49 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:54:30 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 20:54:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:55:10 | × | ash3en quits (~Thunderbi@31.16.203.214) (Quit: ash3en) |
| 21:01:29 | × | tromp quits (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:05:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:06:33 | × | glguy quits (glguy@libera/staff/glguy) (Quit: Quit) |
| 21:07:54 | → | glguy joins (glguy@libera/staff/glguy) |
| 21:10:18 | → | tromp joins (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) |
| 21:10:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 21:15:48 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 21:16:41 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.4.4) |
| 21:18:50 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 21:19:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:24:32 | × | tromp quits (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:24:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:25:03 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.6.0) |
| 21:25:52 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 21:28:06 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 21:33:48 | → | tromp joins (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) |
| 21:35:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:35:43 | × | Square quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 21:36:15 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 21:36:58 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:41:36 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 21:42:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:46:13 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 21:48:40 | × | tromp quits (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:51:40 | × | jinsun quits (~jinsun@user/jinsun) () |
| 21:53:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:57:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 21:59:04 | → | tromp joins (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) |
| 22:01:54 | × | dhil quits (~dhil@2a0c:b381:52e:3600:1143:d61d:a64d:dc67) (Ping timeout: 246 seconds) |
| 22:02:30 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 22:02:37 | → | weary-traveler joins (~user@user/user363627) |
| 22:02:52 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 22:06:11 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 22:06:11 | ljdarj1 | is now known as ljdarj |
| 22:08:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:13:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:20:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:20:54 | × | manny69 quits (~manny@2601:445:700:69b0:edc8:140b:9839:8c7d) (Ping timeout: 240 seconds) |
| 22:23:15 | × | tromp quits (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:25:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:26:13 | × | remexre quits (~remexre@user/remexre) (Ping timeout: 245 seconds) |
| 22:27:10 | × | Eoco quits (~ian@128.101.131.218) (Ping timeout: 244 seconds) |
| 22:27:17 | × | jespada quits (~jespada@2800:a4:2231:f700:8971:aafc:a22d:7172) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 22:34:00 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 22:34:47 | → | Eoco joins (~ian@128.101.131.218) |
| 22:36:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:36:46 | → | remexre joins (~remexre@user/remexre) |
| 22:38:48 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:40:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:52:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:54:14 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:57:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 23:02:00 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 23:07:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:09:29 | × | toby-bro quits (~toby-bro@user/toby-bro) (Ping timeout: 260 seconds) |
| 23:12:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:21:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:25:02 | × | cptaffe quits (~cptaffe@user/cptaffe) (Ping timeout: 265 seconds) |
| 23:27:50 | × | ft quits (~ft@p508db463.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 23:28:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 23:30:56 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 23:37:45 | × | xff0x quits (~xff0x@2405:6580:b080:900:1654:70d2:c294:d90) (Quit: xff0x) |
| 23:38:31 | × | sprotte24 quits (~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:38:59 | → | sprotte24 joins (~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de) |
| 23:39:24 | × | sprotte24 quits (~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de) (Client Quit) |
| 23:39:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:40:30 | → | Pixi` joins (~Pixi@user/pixi) |
| 23:40:39 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:42:18 | → | ft joins (~ft@p508db463.dip0.t-ipconnect.de) |
| 23:42:26 | × | forell quits (~forell@user/forell) (Ping timeout: 265 seconds) |
| 23:43:38 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 244 seconds) |
| 23:43:53 | → | acidjnk_new joins (~acidjnk@p200300d6e71c4f027cb63b5a22c835f3.dip0.t-ipconnect.de) |
| 23:44:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:47:03 | × | acidjnk quits (~acidjnk@p200300d6e71c4f0205a1013c182d2742.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 23:49:09 | × | acidjnk_new quits (~acidjnk@p200300d6e71c4f027cb63b5a22c835f3.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 23:52:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:57:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:57:54 | → | xff0x joins (~xff0x@ai066236.d.east.v6connect.net) |
All times are in UTC on 2025-03-31.