Newest at the top
| 2025-09-29 05:33:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 05:30:42 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 05:30:36 +0200 | Googulator36 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 05:26:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 05:26:01 +0200 | newsham | (~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e) (Quit: Client closed) |
| 2025-09-29 05:25:04 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-29 05:24:39 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-09-29 05:22:03 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 244 seconds) |
| 2025-09-29 05:21:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 05:20:04 +0200 | trickard_ | 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 +0200 | remmie | (ianremsen@tilde.team) remsense |
| 2025-09-29 05:14:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-09-29 05:14:44 +0200 | newsham | (~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e) |
| 2025-09-29 05:12:18 +0200 | newsham | (~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 +0200 | trickard_ | (~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 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-29 05:11:25 +0200 | merijn | (~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 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-09-29 05:08:54 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-09-29 05:08:54 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-09-29 05:05:59 +0200 | merijn | (~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 +0200 | newsham | (~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e) |
| 2025-09-29 05:00:43 +0200 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Client Quit) |
| 2025-09-29 05:00:43 +0200 | Googulator36 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 04:56:06 +0200 | Googulator12 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 04:56:05 +0200 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 04:55:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-29 04:51:05 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-09-29 04:50:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 04:50:12 +0200 | td_ | (~td@i5387093F.versanet.de) |
| 2025-09-29 04:48:28 +0200 | td_ | (~td@i5387092C.versanet.de) (Ping timeout: 244 seconds) |
| 2025-09-29 04:38:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-29 04:32:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 04:24:58 +0200 | remmie | (ianremsen@tilde.team) (Ping timeout: 248 seconds) |
| 2025-09-29 04:23:27 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-09-29 04:21:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-29 04:16:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 04:16:11 +0200 | Googulator74 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |