Logs: liberachat/#haskell
| 2025-09-28 23:35:55 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-28 23:38:17 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-28 23:46:28 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-28 23:50:39 | × | Googulator93 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 23:50:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-28 23:50:44 | → | Googulator30 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 23:54:27 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-28 23:55:53 | → | Googulator68 joins (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-09-28 23:57:23 | × | Googulator30 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 23:57:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 23:58:10 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-29 00:08:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 00:13:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-29 00:15:45 | × | Googulator68 quits (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 00:15:47 | → | Googulator67 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 00:17:15 | → | pavonia joins (~user@user/siracusa) |
| 2025-09-29 00:24:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 00:25:46 | × | Googulator67 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 00:25:56 | → | Googulator67 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 00:30:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 00:40:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 00:40:42 | → | Googulator91 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 00:40:42 | × | Googulator67 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 00:45:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-29 00:48:46 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-29 00:56:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 00:59:17 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-09-29 01:00:40 | × | xff0x quits (~xff0x@2405:6580:b080:900:bd6b:8e9b:54f4:4d4b) (Ping timeout: 255 seconds) |
| 2025-09-29 01:00:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 01:04:32 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-09-29 01:04:48 | → | weary-traveler joins (~user@user/user363627) |
| 2025-09-29 01:10:58 | → | Googulator74 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 01:11:18 | × | Googulator91 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 01:11:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 01:15:37 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-09-29 01:17:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 01:25:50 | × | Googulator74 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 01:26:04 | → | Googulator74 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 01:27:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 01:29:14 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-29 01:32:25 | → | poscat joins (~poscat@user/poscat) |
| 2025-09-29 01:33:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-29 01:34:26 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-09-29 01:40:06 | × | comonad quits (~comonad@p200300d02709a80002b1d060aa1cc9d9.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-09-29 01:41:49 | → | comonad joins (~comonad@p200300d02711d0004b6eb519787385cb.dip0.t-ipconnect.de) |
| 2025-09-29 01:44:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 01:49:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 01:51:06 | → | mange joins (~mange@user/mange) |
| 2025-09-29 01:59:30 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-29 02:00:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 02:04:32 | trickard_ | is now known as trickard |
| 2025-09-29 02:06:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 02:06:50 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-09-29 02:16:06 | → | Googulator12 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 02:16:11 | × | Googulator74 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 02:16:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 02:21:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-29 02:23:27 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 2025-09-29 02:24:58 | × | remmie quits (ianremsen@tilde.team) (Ping timeout: 248 seconds) |
| 2025-09-29 02:32:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 02:38:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-29 02:48:28 | × | td_ quits (~td@i5387092C.versanet.de) (Ping timeout: 244 seconds) |
| 2025-09-29 02:50:12 | → | td_ joins (~td@i5387093F.versanet.de) |
| 2025-09-29 02:50:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 02:51:05 | → | peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) |
| 2025-09-29 02:55:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-29 02:56:05 | → | Googulator21 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 02:56:06 | × | Googulator12 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 03:00:43 | → | Googulator36 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 03:00:43 | × | Googulator21 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Client Quit) |
| 2025-09-29 03:04:04 | → | newsham joins (~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e) |
| 2025-09-29 03:04:23 | <newsham> | hi. why doesnt this work? `instance (Applicative a, Lerpable b) => Lerpable (a b) where`. do i have the wrong incantation? |
| 2025-09-29 03:05:33 | <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 03:05:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 03:08:54 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-09-29 03:08:54 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-09-29 03:08:54 | → | haritz joins (~hrtz@user/haritz) |
| 2025-09-29 03:09:12 | <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 03:09:27 | <newsham> | https://paste-bin.xyz/8204813 |
| 2025-09-29 03:10:19 | <newsham> | so template or just copy and paste a lot? |
| 2025-09-29 03:11:10 | <geekosaur> | looks like it's just telling you wnat I already told you: Haskell98/2010 doesn't allow that, FlexibleInstances does |
| 2025-09-29 03:11:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 03:11:39 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-29 03:11:48 | <geekosaur> | btu beware of overlaps |
| 2025-09-29 03:11:52 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-29 03:11:53 | <geekosaur> | *but |
| 2025-09-29 03:11:56 | <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 03:12:18 | × | newsham quits (~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e) (Quit: Client closed) |
| 2025-09-29 03:14:44 | → | newsham joins (~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e) |
| 2025-09-29 03:14:46 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-09-29 03:14:54 | → | remmie joins (ianremsen@tilde.team) |
| 2025-09-29 03:14:55 | <newsham> | why does this web client disconnect so easily? |
| 2025-09-29 03:16:34 | <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 03:17:07 | <geekosaur> | (or desktop switch or loss of focus, etc.) |
| 2025-09-29 03:20:04 | trickard_ | is now known as trickard |
| 2025-09-29 03:21:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 03:22:03 | × | peterbecich quits (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 244 seconds) |
| 2025-09-29 03:24:39 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-09-29 03:25:04 | → | weary-traveler joins (~user@user/user363627) |
| 2025-09-29 03:26:01 | × | newsham quits (~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e) (Quit: Client closed) |
All times are in UTC.