| 2025-10-27 00:00:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 00:05:11 +0100 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-27 00:06:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-27 00:07:22 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 240 seconds) |
| 2025-10-27 00:09:58 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-10-27 00:15:06 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-27 00:15:42 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-10-27 00:15:59 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-10-27 00:16:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-27 00:18:02 +0100 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-10-27 00:18:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 00:18:44 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 00:20:30 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-10-27 00:22:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-27 00:24:35 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: test, bbl) |
| 2025-10-27 00:30:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 00:32:08 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-27 00:35:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-27 00:39:52 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-10-27 00:39:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-27 00:41:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-27 00:41:26 +0100 | Pozyomka | (~pyon@user/pyon) (Client Quit) |
| 2025-10-27 00:42:44 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-10-27 00:46:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 00:50:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-27 00:54:44 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-27 00:54:58 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 00:58:15 +0100 | jzargo2 | (~jzargo@user/jzargo) (Read error: Connection reset by peer) |
| 2025-10-27 00:58:38 +0100 | jzargo2 | (~jzargo@user/jzargo) jzargo |
| 2025-10-27 00:59:00 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-10-27 01:02:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 01:05:22 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 240 seconds) |
| 2025-10-27 01:07:03 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2025-10-27 01:07:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-27 01:13:53 +0100 | <jackdk> | sm: I had to make revisions to 25 `http-conduit` releases because none of them had upper bounds on their `aeson` deps. Snoyman, though stack, definitely preached and practiced "no-upper-bounds". `stack new`still generates templates like `base >= 4.7 && <5`, which admits new `base` releases that are allowed to break backwards-compatibility. |
| 2025-10-27 01:17:17 +0100 | <haskellbridge> | <sm> I believe stack never "told its users to make hackage worse for everybody". Blog posts and interpretations at some point in time are a different matter, if you want to cite we could discuss, but it's not that important now is it |
| 2025-10-27 01:17:32 +0100 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-10-27 01:17:48 +0100 | <haskellbridge> | <sm> and bravo for revising past releases. (I usually don't go that far back) |
| 2025-10-27 01:17:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 01:18:02 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-10-27 01:20:48 +0100 | <L29Ah> | stack users still upload packages to hackage with synopsis made of "hackage docs suck go to stackage" |
| 2025-10-27 01:22:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-27 01:24:05 +0100 | <haskellbridge> | <sm> ok what fresh hell is this.. show us please L29Ah :) |
| 2025-10-27 01:26:53 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-27 01:27:29 +0100 | <jackdk> | https://hackage.haskell.org/package/conduit-1.3.6.1 is one example: "Hackage documentation generation is not reliable. For up to date documentation, please see: http://www.stackage.org/package/conduit". It's not in the templates that `stack new` generates today, AFAICT but it takes time for existing projects to change |
| 2025-10-27 01:28:42 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-10-27 01:29:21 +0100 | <haskellbridge> | <sm> I don't see a problem here, YMMMV |
| 2025-10-27 01:31:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 01:32:28 +0100 | <L29Ah> | ok i admit it is probably just a personal gimmick, and i'm just seeing those packages very often // https://hackage.haskell.org/package/http-client |
| 2025-10-27 01:38:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-27 01:47:02 +0100 | acidjnk | (~acidjnk@p200300d6e7171978edfa37a47c9b2101.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2025-10-27 01:47:22 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 2025-10-27 01:49:07 +0100 | <geekosaur> | people still think cabal is in its v1 days |
| 2025-10-27 01:49:25 +0100 | <geekosaur> | and hackage did at one point have problems building docs, but that was fixed like a decade ago |
| 2025-10-27 01:49:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 01:49:52 +0100 | xff0x | (~xff0x@ai080027.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2025-10-27 01:53:02 +0100 | annamalai | (~annamalai@157.49.232.23) (Ping timeout: 240 seconds) |
| 2025-10-27 01:54:01 +0100 | trickard_ | trickard |
| 2025-10-27 01:54:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-27 01:59:38 +0100 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-10-27 01:59:59 +0100 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-10-27 02:00:03 +0100 | <c_wraith> | hackage still won't build docs if the package depends on a library that isn't (or can't be) installed. But it supports uploading docs for that situation. |
| 2025-10-27 02:02:11 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-27 02:04:11 +0100 | <geekosaur> | right, but there was a time when it was failing for all packages |
| 2025-10-27 02:04:15 +0100 | <geekosaur> | lasted a couple years |
| 2025-10-27 02:05:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 02:06:09 +0100 | dtman34_ | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-10-27 02:07:28 +0100 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 246 seconds) |
| 2025-10-27 02:09:09 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-27 02:10:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-27 02:10:55 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-27 02:15:37 +0100 | dtman34_ | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2025-10-27 02:15:44 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-27 02:16:18 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-10-27 02:18:53 +0100 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 256 seconds) |
| 2025-10-27 02:20:46 +0100 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-10-27 02:23:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 02:24:02 +0100 | otto_s | (~user@p5de2fe86.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2025-10-27 02:26:07 +0100 | otto_s | (~user@p5b0443f3.dip0.t-ipconnect.de) |
| 2025-10-27 02:27:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-27 02:28:22 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-10-27 02:34:13 +0100 | ft | (~ft@mue-88-130-105-028.dsl.tropolys.de) (Ping timeout: 264 seconds) |
| 2025-10-27 02:35:52 +0100 | ft | (~ft@mue-88-130-104-115.dsl.tropolys.de) ft |
| 2025-10-27 02:38:42 +0100 | pr1sm | (~pr1sm@24.91.163.31) |
| 2025-10-27 02:38:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 02:42:05 +0100 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-10-27 02:42:25 +0100 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-10-27 02:43:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-27 02:45:10 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-27 02:45:25 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-27 02:49:49 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-27 02:49:52 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-10-27 02:54:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 02:58:50 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-10-27 02:59:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-27 02:59:08 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-27 03:00:11 +0100 | pr1sm | (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 2025-10-27 03:00:17 +0100 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-10-27 03:00:27 +0100 | pr1sm | (~pr1sm@24.91.163.31) |
| 2025-10-27 03:00:38 +0100 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-10-27 03:01:04 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-10-27 03:07:12 +0100 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-27 03:07:45 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-27 03:08:07 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-27 03:09:05 +0100 | OWS | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-27 03:09:19 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 240 seconds) |
| 2025-10-27 03:10:10 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-27 03:10:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 03:10:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-27 03:11:44 +0100 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 240 seconds) |
| 2025-10-27 03:15:37 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 264 seconds) |
| 2025-10-27 03:15:43 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 246 seconds) |
| 2025-10-27 03:16:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-27 03:17:18 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-27 03:17:51 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-10-27 03:19:29 +0100 | pr1sm | (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 2025-10-27 03:19:35 +0100 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 244 seconds) |
| 2025-10-27 03:19:49 +0100 | <jackdk> | sm: re: "bravo for revising past releases. (I usually don't go that far back)." The thing is, I *had* to, because the lack of upper bounds on `aeson` meant that `cabal` kept selecting older and older releases in the build plan until I revised them all. |
| 2025-10-27 03:24:15 +0100 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-10-27 03:28:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 03:29:09 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-10-27 03:33:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-27 03:35:02 +0100 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 240 seconds) |
| 2025-10-27 03:36:47 +0100 | <haskellbridge> | <sm> yes, that's the nature of cabal |
| 2025-10-27 03:37:34 +0100 | <haskellbridge> | <sm> though usually only some other problem constraint causes it to go so far back |
| 2025-10-27 03:38:02 +0100 | <haskellbridge> | <sm> the dynamic solver doesn't think like a human and isn't good at explaining what it's doing |
| 2025-10-27 03:40:07 +0100 | <jackdk> | Because I am very pro-upper-bounds + relaxation, I consider the real problem to be that 25 releases were left lying around waiting to be broken by a dependency that introduced a breaking change, and that the policy encouraged by the behaviour of the stack binary pushes the cost of reacting to that breaking change onto everyone else except the maintainer. |
| 2025-10-27 03:40:35 +0100 | <jackdk> | correction, the policy encouraged by *old templates instantiated by* the stack binary |
| 2025-10-27 03:43:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 03:44:25 +0100 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2025-10-27 03:47:21 +0100 | <haskellbridge> | <sm> if you are still trying to blame (some part of) stack", I won't stop you. I'll also continue to push back when I see advice that misleads new haskellers |
| 2025-10-27 03:49:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-27 03:49:44 +0100 | <haskellbridge> | <sm> this is engineering, people are operating in many different contexts, there are tradeoffs. I appreciate people exploring different approaches (leading to better understanding and consensus over time) |
| 2025-10-27 03:55:37 +0100 | lol__ | jcarpenter2 |
| 2025-10-27 03:59:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 04:04:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-27 04:08:31 +0100 | annamalai | (~annamalai@157.49.214.182) annamalai |
| 2025-10-27 04:10:11 +0100 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-10-27 04:13:22 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-10-27 04:15:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 04:20:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-27 04:30:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 04:34:03 +0100 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 252 seconds) |
| 2025-10-27 04:35:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-27 04:39:43 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-10-27 04:39:58 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-27 04:44:08 +0100 | td_ | (~td@i53870936.versanet.de) (Ping timeout: 240 seconds) |
| 2025-10-27 04:46:03 +0100 | td_ | (~td@i5387093E.versanet.de) td_ |
| 2025-10-27 04:46:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 04:53:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-27 04:54:14 +0100 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-10-27 04:54:14 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:5ca1:546e:8b5a:71bf) (Read error: Connection reset by peer) |
| 2025-10-27 04:54:42 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:80f9:f3a2:4980:7e12) synchromesh |
| 2025-10-27 04:59:19 +0100 | <hololeap> | hi. I have a question about this code: https://bpa.st/3JY2S |
| 2025-10-27 05:00:32 +0100 | <hololeap> | I remember learning at one point that I should be discouraged from putting a constraint inside a data type, but it seems to be working really well here |
| 2025-10-27 05:00:49 +0100 | <hololeap> | it let me make a Foldable type for NonEmptyHashSet |
| 2025-10-27 05:01:27 +0100 | <hololeap> | foldable instance |
| 2025-10-27 05:04:08 +0100 | <glguy> | the main one you were supposed to avoid was on the outside: data Ord a => T a = D |
| 2025-10-27 05:04:21 +0100 | <Leary> | hololeap: Couldn't it be `Foldable` regardless? In fact, you should be able to derive it. |
| 2025-10-27 05:04:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 05:05:36 +0100 | <hololeap> | Leary: my implentation of toList turns it into a HashSet first, but I could have turned it into a list a different way |
| 2025-10-27 05:05:51 +0100 | <Leary> | It's not inherently bad to put a constraint on a *constructor*, but it's something you ought to have a good reason for. |
| 2025-10-27 05:06:07 +0100 | <Leary> | Since it means carrying the dictionary everywhere. |
| 2025-10-27 05:07:20 +0100 | <hololeap> | everything function in the module had a Hashable constraint before I added the constraint inside the data type |
| 2025-10-27 05:07:25 +0100 | <hololeap> | *every |
| 2025-10-27 05:07:44 +0100 | <monochrom> | I wonder if you actually need it. |
| 2025-10-27 05:07:58 +0100 | <jackdk> | You're also asking for the caller to provide the `Hashable a` constraint while also carrying the same dictionary in the ctor |
| 2025-10-27 05:08:13 +0100 | <monochrom> | Hrm, you need it. |
| 2025-10-27 05:08:33 +0100 | <hololeap> | it carries two types that both assume Hashable: Hashed and HashSet |
| 2025-10-27 05:08:46 +0100 | <jackdk> | You can write the instance a `instance (forall a. Hashable a) => Foldable NonEmptyHashSet` if you turn on |
| 2025-10-27 05:08:51 +0100 | <jackdk> | the necessary extensions |
| 2025-10-27 05:09:04 +0100 | <hololeap> | is that QuantifiedConstraints? |
| 2025-10-27 05:09:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-27 05:09:22 +0100 | <Leary> | Uhh. I don't think that constraint is satisfiable without `instance Hashable a`. |
| 2025-10-27 05:12:23 +0100 | <jackdk> | Ah, you're correct. Nevertheless, you can define `toList` without constraints (`toList ha hsa = unhash ha : toList hsa`) and then `foldMap f = foldMap f . toList` |
| 2025-10-27 05:13:03 +0100 | <Leary> | Yes, that's equivalent to `deriving Foldable`. Not that it really makes sense for unordered containers in the first place. |
| 2025-10-27 05:14:49 +0100 | <hololeap> | Foldable doesn't make sense? |
| 2025-10-27 05:15:08 +0100 | <hololeap> | it's mostly to be able to use `all` and `any` |
| 2025-10-27 05:15:47 +0100 | <hololeap> | so the ordering doesn't really matter. I could do what jackdk says and then remove the inner Foldable constraint on the data type |
| 2025-10-27 05:17:21 +0100 | <hololeap> | glguy: what is the difference between on the outside vs the inside? |
| 2025-10-27 05:17:51 +0100 | <monochrom> | Oh! It's equivalent to "data N a where N :: Hashable a => N (Hashed a) (HashSet a)". You're using GADTs. |
| 2025-10-27 05:18:22 +0100 | <hololeap> | oh... I have GHC2021 turned on |
| 2025-10-27 05:18:29 +0100 | <monochrom> | :) |
| 2025-10-27 05:18:47 +0100 | <monochrom> | FWIW, it also means you don't need explicit RankNTypes :) |
| 2025-10-27 05:19:13 +0100 | <hololeap> | I thought it was using RankNTypes and I wanted to make it explicit |
| 2025-10-27 05:19:34 +0100 | <hololeap> | I didn't think of GADTs |
| 2025-10-27 05:20:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 05:20:13 +0100 | <monochrom> | RankNTypes would be like "data N = N (forall a. Hashable a => ...)" |
| 2025-10-27 05:20:15 +0100 | <hololeap> | that's actually a reason not to use GHC2021 |
| 2025-10-27 05:22:30 +0100 | <hololeap> | monochrom: what is the difference? |
| 2025-10-27 05:23:03 +0100 | <hololeap> | between that and `= Hashable a => NEHashSet (Hashed a) (HashSet a)` |
| 2025-10-27 05:23:56 +0100 | <hololeap> | I remember one of them is using ExistentialQuantification, but which one? |
| 2025-10-27 05:24:43 +0100 | <monochrom> | I will use a toy example. "data X a = X a" vs "data Y = Y (forall a. a)". I can make "x :: X Int; x = X 5". I cannot make a value of Y, short of Y undefined. |
| 2025-10-27 05:25:02 +0100 | <hololeap> | ok |
| 2025-10-27 05:25:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-27 05:26:14 +0100 | <hololeap> | but how is this different: `= Hashable a => NEHashSet (Hashed a) (HashSet a)` |
| 2025-10-27 05:26:26 +0100 | <hololeap> | I would think it means the same thing |
| 2025-10-27 05:26:28 +0100 | <monochrom> | Existential type would be like "data E = forall a. Haskable a => ..." |
| 2025-10-27 05:27:00 +0100 | <monochrom> | err, "data E = forall a. Hashable a => E (Hashed a) (HashSet a)" |
| 2025-10-27 05:29:20 +0100 | <monochrom> | Yours is different from X, Y, E. Yours is a bonus feature that allows a constraint on a type parameter. |
| 2025-10-27 05:29:57 +0100 | <hololeap> | I think the weird thing about my example is that every operation I can do on Hashed and HashSet already has a Hashable constraint |
| 2025-10-27 05:32:16 +0100 | <hololeap> | so maybe that makes existential quantification behave like universal quantification in this example |
| 2025-10-27 05:32:22 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-27 05:32:48 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-27 05:35:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 05:39:09 +0100 | aforemny_ | (~aforemny@2001:9e8:6cf1:1000:4e89:d612:c448:7493) aforemny |
| 2025-10-27 05:39:11 +0100 | aforemny | (~aforemny@2001:9e8:6cd1:6c00:4f63:56d8:3d93:b87f) (Ping timeout: 244 seconds) |
| 2025-10-27 05:39:47 +0100 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-27 05:40:00 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 05:41:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-27 05:50:04 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-27 05:50:46 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 05:51:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 05:55:51 +0100 | Googulator | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 05:56:06 +0100 | Googulator | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 05:56:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-27 05:56:50 +0100 | Square2 | (~Square@user/square) Square |
| 2025-10-27 05:59:10 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2025-10-27 06:00:48 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 06:01:09 +0100 | Googulator | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 06:01:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 06:06:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-27 06:06:46 +0100 | irfan | (~irfan@user/irfan) irfan |
| 2025-10-27 06:07:51 +0100 | michalz | (~michalz@185.246.207.221) |
| 2025-10-27 06:10:37 +0100 | irfan | flareon |
| 2025-10-27 06:11:25 +0100 | flareon | vulpix |
| 2025-10-27 06:11:31 +0100 | vulpix | evee |
| 2025-10-27 06:12:10 +0100 | evee | (~irfan@user/irfan) (Quit: WeeChat 4.7.1) |
| 2025-10-27 06:15:02 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-10-27 06:17:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 06:20:37 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 06:20:49 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 06:21:05 +0100 | irfan | (~irfan@user/irfan) irfan |
| 2025-10-27 06:21:14 +0100 | irfan | (~irfan@user/irfan) (Client Quit) |
| 2025-10-27 06:21:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-27 06:25:46 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 06:25:47 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 06:32:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 06:37:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-27 06:43:05 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-27 06:48:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 06:50:17 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-10-27 06:53:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-27 06:57:20 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-27 06:58:21 +0100 | trickard_ | trickard |
| 2025-10-27 07:04:02 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-27 07:04:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 07:04:46 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-27 07:07:59 +0100 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-10-27 07:08:25 +0100 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-27 07:08:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-27 07:20:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 07:20:39 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 07:20:40 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 07:24:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-27 07:35:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 07:42:08 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-10-27 07:42:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-27 07:45:03 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-27 07:50:41 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 07:50:46 +0100 | Googulator96 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 07:53:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 07:58:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-27 07:59:02 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2025-10-27 08:00:48 +0100 | diddy | (~user@user/pranshu) diddy |
| 2025-10-27 08:02:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 08:04:12 +0100 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2025-10-27 08:04:13 +0100 | Square | (~Square4@user/square) Square |
| 2025-10-27 08:04:36 +0100 | Square2 | (~Square@user/square) Square |
| 2025-10-27 08:07:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-27 08:09:37 +0100 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-10-27 08:12:21 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) |
| 2025-10-27 08:15:38 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 08:15:47 +0100 | Googulator96 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 08:18:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 08:22:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-27 08:29:30 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-27 08:31:25 +0100 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-10-27 08:31:41 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-10-27 08:32:07 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-27 08:33:31 +0100 | img | (~img@user/img) img |
| 2025-10-27 08:33:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 08:35:02 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-27 08:35:11 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-27 08:35:55 +0100 | <haskellbridge> | <loonycyborg> You can't force constraints to be automatically applied to data's variable using haskell 98. It expects you to always spell out constraints in all functions using that datatype. |
| 2025-10-27 08:37:33 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Remote host closed the connection) |
| 2025-10-27 08:37:58 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-10-27 08:38:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-27 08:40:24 +0100 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2025-10-27 08:44:27 +0100 | <haskellbridge> | <loonycyborg> Adding constraint via datatype is strictly part of GADT extension |
| 2025-10-27 08:46:11 +0100 | <haskellbridge> | <loonycyborg> And existentials is when you have that type variable at RHS and don't have it at LHS in the data declaration. So the type of data doesn't depent on type of thing contained within. It's a different extension. |
| 2025-10-27 08:49:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 08:50:39 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 08:50:43 +0100 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 08:52:15 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:b0a4:62ff:febe:5454) |
| 2025-10-27 08:52:15 +0100 | Core9010 | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-27 08:53:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-27 08:55:38 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-27 08:58:58 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:b0a4:62ff:febe:5454) (Ping timeout: 256 seconds) |
| 2025-10-27 09:00:40 +0100 | craunts795335385 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-27 09:02:00 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-27 09:04:45 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:1017:fdff:feb2:6f00) |
| 2025-10-27 09:04:45 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-27 09:05:19 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-27 09:09:07 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:1017:fdff:feb2:6f00) (Ping timeout: 260 seconds) |
| 2025-10-27 09:20:36 +0100 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 09:20:39 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 09:22:48 +0100 | <haskellbridge> | <loonycyborg> In fact all haskell declarations with a type variable with them have implicit forall for variables mentioned on both sides of equation. |
| 2025-10-27 09:23:53 +0100 | <haskellbridge> | <loonycyborg> Ironically existential types end up requiring explicit forall because the variable exists only at RHS |
| 2025-10-27 09:24:12 +0100 | <haskellbridge> | <loonycyborg> and explicit forall is required to convince compiler that we actually mean to introduce that variable |
| 2025-10-27 09:24:32 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-27 09:24:46 +0100 | <haskellbridge> | <loonycyborg> and exists still remains implicit :P |
| 2025-10-27 09:32:58 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 256 seconds) |
| 2025-10-27 09:36:03 +0100 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 09:36:23 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 09:40:39 +0100 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit) |
| 2025-10-27 09:40:44 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 09:41:09 +0100 | ft | (~ft@mue-88-130-104-115.dsl.tropolys.de) (Quit: leaving) |
| 2025-10-27 09:43:30 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-27 09:45:58 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-27 09:47:41 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-27 09:50:25 +0100 | LainIwakura88 | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-27 09:53:57 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
| 2025-10-27 10:00:30 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 10:00:37 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 10:01:20 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-27 10:01:22 +0100 | juri_ | (~juri@implicitcad.org) (Ping timeout: 246 seconds) |
| 2025-10-27 10:03:31 +0100 | juri_ | (~juri@implicitcad.org) juri_ |
| 2025-10-27 10:13:58 +0100 | trickard__ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 10:15:37 +0100 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-27 10:25:13 +0100 | nerdychip | (~nerdychip@212.129.87.127) |
| 2025-10-27 10:25:13 +0100 | nerdychip | (~nerdychip@212.129.87.127) (Changing host) |
| 2025-10-27 10:25:13 +0100 | nerdychip | (~nerdychip@user/nerdychip) nerdychip |
| 2025-10-27 10:25:33 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 10:25:42 +0100 | nerdychip_ | (~nerdychip@user/nerdychip) (Ping timeout: 240 seconds) |
| 2025-10-27 10:25:57 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 10:27:56 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-27 10:27:57 +0100 | trickard__ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-27 10:28:09 +0100 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 10:30:33 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit) |
| 2025-10-27 10:30:41 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 10:31:12 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-27 10:32:37 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:54f3:a5ff:fe27:e682) |
| 2025-10-27 10:32:37 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-27 10:33:11 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-27 10:37:00 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:54f3:a5ff:fe27:e682) (Ping timeout: 256 seconds) |
| 2025-10-27 10:37:36 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-27 10:38:25 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-27 10:43:15 +0100 | LainIwakura88 | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-27 10:43:15 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-27 10:45:35 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-27 10:47:18 +0100 | acidjnk | (~acidjnk@p200300d6e7171970dc8f19326409100f.dip0.t-ipconnect.de) acidjnk |
| 2025-10-27 10:48:35 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-27 10:49:29 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-27 10:50:22 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-10-27 10:50:38 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 10:50:44 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 10:50:52 +0100 | chele | (~chele@user/chele) chele |
| 2025-10-27 10:52:52 +0100 | trickard__ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 10:53:02 +0100 | koz | (~koz@121.99.240.58) (Ping timeout: 240 seconds) |
| 2025-10-27 10:54:37 +0100 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-27 10:55:21 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-10-27 10:56:42 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 240 seconds) |
| 2025-10-27 11:02:04 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-27 11:15:38 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 11:20:38 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-10-27 11:20:38 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 11:20:49 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 11:21:36 +0100 | koz | (~koz@121.99.240.58) |
| 2025-10-27 11:28:46 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-27 11:39:01 +0100 | koz | (~koz@121.99.240.58) (Ping timeout: 264 seconds) |
| 2025-10-27 11:42:50 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-10-27 11:50:37 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 11:50:39 +0100 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-10-27 11:50:44 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 11:56:49 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-27 11:57:14 +0100 | LainIwakura3 | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-27 12:06:33 +0100 | Guest80 | (~Guest16@mob-83-225-16-188.net.vodafone.it) |
| 2025-10-27 12:06:45 +0100 | Guest80 | (~Guest16@mob-83-225-16-188.net.vodafone.it) (Client Quit) |
| 2025-10-27 12:08:09 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:585e:39ff:feb2:61c6) |
| 2025-10-27 12:12:01 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 264 seconds) |
| 2025-10-27 12:19:40 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8892:ecf5:ee58:72c0) |
| 2025-10-27 12:21:00 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-27 12:26:00 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-10-27 12:28:46 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-70.mycingular.net) |
| 2025-10-27 12:29:18 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-27 12:30:54 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:585e:39ff:feb2:61c6) (Ping timeout: 256 seconds) |
| 2025-10-27 12:33:03 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-10-27 12:34:08 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-27 12:35:08 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:ecad:eaff:fe13:539e) |
| 2025-10-27 12:35:42 +0100 | Core6094 | (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-10-27 12:37:52 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-70.mycingular.net) (Ping timeout: 255 seconds) |
| 2025-10-27 12:38:33 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:ecad:eaff:fe13:539e) (Read error: Connection reset by peer) |
| 2025-10-27 12:38:42 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-10-27 12:38:48 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-27 12:38:51 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:6c92:43ff:fe48:f59c) |
| 2025-10-27 12:40:07 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-10-27 12:40:14 +0100 | Core6094 | (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 265 seconds) |
| 2025-10-27 12:41:12 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-10-27 12:47:15 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-27 12:47:15 +0100 | LainIwakura3 | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-27 12:47:59 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-27 13:05:42 +0100 | Googulator74 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 13:05:48 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 13:10:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-10-27 13:10:46 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-27 13:30:38 +0100 | Googulator84 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 13:30:46 +0100 | Googulator74 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 13:42:32 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-27 13:42:35 +0100 | LainIwakura58 | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-27 13:45:23 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-10-27 13:50:31 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-10-27 13:51:02 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-27 13:52:32 +0100 | pr1sm | (~pr1sm@24.91.163.31) |
| 2025-10-27 13:53:00 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-27 13:54:59 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-27 13:56:18 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-27 13:57:45 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-27 13:58:06 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-27 14:01:05 +0100 | Zemy_ | (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-10-27 14:01:57 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 260 seconds) |
| 2025-10-27 14:03:03 +0100 | Core9226 | (~Zemy@2600:100c:b044:cd19:d4a8:6dff:fe76:9142) |
| 2025-10-27 14:03:45 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-27 14:04:06 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:6c92:43ff:fe48:f59c) (Read error: Connection reset by peer) |
| 2025-10-27 14:04:19 +0100 | craunts795335385 | (~craunts@136.158.7.194) |