2025/09/29

Newest at the top

2025-09-29 05:14:55 +0200 <newsham> why does this web client disconnect so easily?
2025-09-29 05:14:54 +0200remmie(ianremsen@tilde.team) remsense
2025-09-29 05:14:46 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-09-29 05:14:44 +0200newsham(~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e)
2025-09-29 05:12:18 +0200newsham(~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e) (Quit: Client closed)
2025-09-29 05:11:56 +0200 <Leary> newsham: I suggest `instance (Applicative f, Lerpable a) => Lerpable (Ap f a) where { ... }`; `data Image a = ... deriving Lerpable via Ap Image`.
2025-09-29 05:11:53 +0200 <geekosaur> *but
2025-09-29 05:11:52 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-09-29 05:11:48 +0200 <geekosaur> btu beware of overlaps
2025-09-29 05:11:39 +0200trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-29 05:11:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-09-29 05:11:10 +0200 <geekosaur> looks like it's just telling you wnat I already told you: Haskell98/2010 doesn't allow that, FlexibleInstances does
2025-09-29 05:10:19 +0200 <newsham> so template or just copy and paste a lot?
2025-09-29 05:09:27 +0200 <newsham> https://paste-bin.xyz/8204813
2025-09-29 05:09:12 +0200 <geekosaur> FlexibleInstances might allow it, but I'm not sure a type-level application works there. and if it did it would overlap pretty much any other instances (context is not used when matching instances)
2025-09-29 05:08:54 +0200haritz(~hrtz@user/haritz) haritz
2025-09-29 05:08:54 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-09-29 05:08:54 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-09-29 05:05:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-29 05:05:33 +0200 <newsham> ie. I have an `instance Lerpable a => Lerpable (Image a) where { scale s img = scale s <$> img; add = liftA2 add }` whose implementation is generic to applicatives, but I cant seem to figure out how to write the generalization
2025-09-29 05:04:23 +0200 <newsham> hi. why doesnt this work? `instance (Applicative a, Lerpable b) => Lerpable (a b) where`.  do i have the wrong incantation?
2025-09-29 05:04:04 +0200newsham(~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e)
2025-09-29 05:00:43 +0200Googulator21(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Client Quit)
2025-09-29 05:00:43 +0200Googulator36(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-29 04:56:06 +0200Googulator12(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
2025-09-29 04:56:05 +0200Googulator21(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-29 04:55:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-29 04:51:05 +0200peterbecich(~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich
2025-09-29 04:50:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-29 04:50:12 +0200td_(~td@i5387093F.versanet.de)
2025-09-29 04:48:28 +0200td_(~td@i5387092C.versanet.de) (Ping timeout: 244 seconds)
2025-09-29 04:38:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-29 04:32:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-29 04:24:58 +0200remmie(ianremsen@tilde.team) (Ping timeout: 248 seconds)
2025-09-29 04:23:27 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2025-09-29 04:21:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-29 04:16:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-29 04:16:11 +0200Googulator74(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
2025-09-29 04:16:06 +0200Googulator12(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-29 04:06:50 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-09-29 04:06:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-09-29 04:04:32 +0200trickard_trickard
2025-09-29 04:00:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-29 03:59:30 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-29 03:51:06 +0200mange(~mange@user/mange) mange
2025-09-29 03:49:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-09-29 03:44:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-29 03:41:49 +0200comonad(~comonad@p200300d02711d0004b6eb519787385cb.dip0.t-ipconnect.de)
2025-09-29 03:40:06 +0200comonad(~comonad@p200300d02709a80002b1d060aa1cc9d9.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-09-29 03:34:26 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)