2024/05/24

Newest at the top

2024-05-24 09:11:31 +0200cfricke(~cfricke@user/cfricke)
2024-05-24 09:08:57 +0200CiaoSen(~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03)
2024-05-24 09:05:05 +0200Vajb(~Vajb@n84f8idehd0ucclhxoj-1.v6.elisa-mobile.fi)
2024-05-24 09:04:47 +0200 <[exa]> does anyone know if there are haskell libraries/examples of this kind of relative monads?
2024-05-24 09:04:36 +0200Vajb(~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds)
2024-05-24 09:04:11 +0200 <[exa]> Anyway, I just spotted this here with "relative monads", apparently a little more general than arrows and seems to me very interpreter-related: https://link.springer.com/chapter/10.1007/978-3-642-12032-9_21
2024-05-24 09:02:46 +0200 <[exa]> Axman6: left leaning red black trees?
2024-05-24 09:01:50 +0200edwtjo(~edwtjo@fsf/member/edwtjo)
2024-05-24 09:01:50 +0200edwtjo(~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) (Changing host)
2024-05-24 09:01:50 +0200edwtjo(~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se)
2024-05-24 09:00:58 +0200rvalue(~rvalue@user/rvalue)
2024-05-24 09:00:27 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-24 08:59:50 +0200 <Axman6> Hmm, looks close, but I don't remember there being any use of or-patterns. But maybe I am just remembering `balance` on page 4
2024-05-24 08:53:27 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-05-24 08:50:51 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-24 08:50:29 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2024-05-24 08:48:39 +0200 <opqdonut> this? https://www.cs.tufts.edu/comp/150FP/archive/chris-okasaki/redblack99.pdf
2024-05-24 08:48:35 +0200edwtjo(~edwtjo@fsf/member/edwtjo) (Ping timeout: 264 seconds)
2024-05-24 08:46:40 +0200qqq(~qqq@92.43.167.61) (Quit: leaving)
2024-05-24 08:46:24 +0200 <Axman6> maybe it was red-black trees. Either way, I can't find it :'(
2024-05-24 08:43:50 +0200Vajb(~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi)
2024-05-24 08:43:38 +0200Vajb(~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds)
2024-05-24 08:40:39 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-24 08:38:26 +0200hc(~hc@mail.hce.li) (Remote host closed the connection)
2024-05-24 08:35:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-24 08:33:41 +0200Vajb(~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi)
2024-05-24 08:32:46 +0200 <Axman6> I remember there being a really nice way to express AVL(I think) tree rotations with a single function which took four arguments, and depending on which invariant you were fixing would determine which four arguments it needed... I wonder if I can find that again
2024-05-24 08:32:32 +0200Vajb(~Vajb@n4vou9ek39qavu5bn5s-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds)
2024-05-24 08:26:34 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-05-24 08:05:17 +0200nickiminjaj(~nickiminj@user/laxhh) (Ping timeout: 240 seconds)
2024-05-24 08:03:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-05-24 08:00:27 +0200nickiminjaj(~nickiminj@user/laxhh)
2024-05-24 07:58:55 +0200acidjnk(~acidjnk@p200300d6e714dc37e07d2cee841a38ab.dip0.t-ipconnect.de)
2024-05-24 07:52:07 +0200philopsos1(~caecilius@user/philopsos)
2024-05-24 07:46:27 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-24 07:44:24 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-24 07:44:06 +0200euleritian(~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-24 07:41:53 +0200paddymahoney(~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com)
2024-05-24 07:39:00 +0200paddymahoney(~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds)
2024-05-24 07:34:23 +0200euleritian(~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de)
2024-05-24 07:34:00 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-05-24 07:33:37 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752)
2024-05-24 07:30:12 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-24 07:27:39 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-24 07:27:17 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-05-24 07:20:47 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-05-24 07:18:01 +0200euleritian(~euleritia@77.22.252.56)
2024-05-24 07:14:50 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-05-24 07:05:23 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-24 07:05:05 +0200euleritian(~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer)