Newest at the top
2025-09-29 06:10:45 +0200 | Googulator89 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-29 06:10:37 +0200 | Googulator53 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
2025-09-29 06:10:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-09-29 06:04:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-29 05:56:19 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
2025-09-29 05:56:10 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfa:f400:257:422d:548f:72ea) (Ping timeout: 248 seconds) |
2025-09-29 05:56:05 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-29 05:55:10 +0200 | aforemny | (~aforemny@2001:9e8:6cd7:5200:d9f8:40ae:cd09:6740) aforemny |
2025-09-29 05:54:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-09-29 05:50:43 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Client Quit) |
2025-09-29 05:50:43 +0200 | Googulator89 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
2025-09-29 05:49:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-29 05:46:05 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
2025-09-29 05:45:59 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-29 05:42:59 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
2025-09-29 05:42:46 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-29 05:38:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
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? |