2025/09/29

Newest at the top

2025-09-29 06:10:45 +0200Googulator89(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
2025-09-29 06:10:37 +0200Googulator53(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-29 06:10:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-09-29 06:04:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-29 05:56:19 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-09-29 05:56:10 +0200aforemny_(~aforemny@2001:9e8:6cfa:f400:257:422d:548f:72ea) (Ping timeout: 248 seconds)
2025-09-29 05:56:05 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-29 05:55:10 +0200aforemny(~aforemny@2001:9e8:6cd7:5200:d9f8:40ae:cd09:6740) aforemny
2025-09-29 05:54:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-09-29 05:50:43 +0200Googulator98(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Client Quit)
2025-09-29 05:50:43 +0200Googulator89(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-29 05:49:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-29 05:46:05 +0200Googulator98(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-29 05:45:59 +0200Googulator98(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
2025-09-29 05:42:59 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-09-29 05:42:46 +0200trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-29 05:38:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-09-29 05:33:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-29 05:30:42 +0200Googulator98(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-29 05:30:36 +0200Googulator36(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
2025-09-29 05:26:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-09-29 05:26:01 +0200newsham(~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e) (Quit: Client closed)
2025-09-29 05:25:04 +0200weary-traveler(~user@user/user363627) user363627
2025-09-29 05:24:39 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-09-29 05:22:03 +0200peterbecich(~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 244 seconds)
2025-09-29 05:21:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-29 05:20:04 +0200trickard_trickard
2025-09-29 05:17:07 +0200 <geekosaur> (or desktop switch or loss of focus, etc.)
2025-09-29 05:16:34 +0200 <geekosaur> it may depend on the browser; some of them may stop running JS on tab switch, which would cause a connection drop
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?