| 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) |
| 2025-10-27 14:05:48 +0100 | Zemy_ | (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 256 seconds) |
| 2025-10-27 14:27:08 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-10-27 14:31:07 +0100 | Core9226 | (~Zemy@2600:100c:b044:cd19:d4a8:6dff:fe76:9142) (Ping timeout: 260 seconds) |
| 2025-10-27 14:34:31 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-10-27 14:39:48 +0100 | qqe | (~qqq@185.54.23.200) |
| 2025-10-27 14:44:20 +0100 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) |
| 2025-10-27 14:44:32 +0100 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) (Write error: Broken pipe) |
| 2025-10-27 14:44:33 +0100 | FirefoxDeHuk53 | (~FirefoxDe@109.108.69.106) |
| 2025-10-27 14:45:12 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-27 14:49:12 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-27 14:53:28 +0100 | FirefoxDeHuk53 | (~FirefoxDe@109.108.69.106) (Quit: Client closed) |
| 2025-10-27 14:54:55 +0100 | trickard__ | trickard |
| 2025-10-27 14:58:31 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
| 2025-10-27 14:59:16 +0100 | tv | (~tv@user/tv) (Quit: derp) |
| 2025-10-27 14:59:43 +0100 | tv | (~tv@user/tv) tv |
| 2025-10-27 15:00:38 +0100 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-27 15:00:58 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 15:04:22 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-27 15:04:37 +0100 | myxos | (~myxos@65.25.110.175) (Remote host closed the connection) |
| 2025-10-27 15:11:14 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 15:14:21 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-27 15:15:31 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:80f9:f3a2:4980:7e12) (Read error: Connection reset by peer) |
| 2025-10-27 15:16:00 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:80f9:f3a2:4980:7e12) synchromesh |
| 2025-10-27 15:25:02 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-27 15:25:13 +0100 | annamalai | (~annamalai@157.49.214.182) (Ping timeout: 264 seconds) |
| 2025-10-27 15:27:24 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-27 15:27:30 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-10-27 15:27:50 +0100 | diddy | (~user@user/pranshu) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50)) |
| 2025-10-27 15:28:14 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) |
| 2025-10-27 15:28:33 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-10-27 15:34:36 +0100 | gustrb | (~gustrb@191.243.134.87) (Quit: gustrb) |
| 2025-10-27 15:54:24 +0100 | pr1sm | (~pr1sm@24.91.163.31) (Read error: Connection reset by peer) |
| 2025-10-27 15:56:19 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 255 seconds) |
| 2025-10-27 15:59:36 +0100 | lorinder | (~lorinder@172.58.167.15) |
| 2025-10-27 16:05:22 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-27 16:09:03 +0100 | lorinder | (~lorinder@172.58.167.15) (Quit: Client closed) |
| 2025-10-27 16:12:46 +0100 | Googulator84 | Googulator |
| 2025-10-27 16:14:58 +0100 | lorinder | (~lorinder@172.58.167.15) |
| 2025-10-27 16:16:05 +0100 | lorinder | (~lorinder@172.58.167.15) (Client Quit) |
| 2025-10-27 16:16:35 +0100 | catties | c4tt135 |
| 2025-10-27 16:17:07 +0100 | c4tt135 | C477135 |
| 2025-10-27 16:22:19 +0100 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Quit: WeeChat 4.6.3) |
| 2025-10-27 16:24:53 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-27 16:28:23 +0100 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) |
| 2025-10-27 16:28:48 +0100 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) (Client Quit) |
| 2025-10-27 16:30:16 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-27 16:31:17 +0100 | annamalai | (~annamalai@157.51.160.80) annamalai |
| 2025-10-27 16:32:05 +0100 | <bwe> | How do I allow unicode characters (within ByteString) to be parsed to Text with Aeson? https://paste.tomsmeding.com/91KWHFXC |
| 2025-10-27 16:37:58 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-10-27 16:39:28 +0100 | <geekosaur> | unicode has to be utf-8 encoded/decoded explicitly |
| 2025-10-27 16:40:00 +0100 | <geekosaur> | ByteString is exactly that: byte strings. Any codepoint > 255 won't fit and will be truncated |
| 2025-10-27 16:41:11 +0100 | LainIwakura58 | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-27 16:59:48 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-27 17:02:52 +0100 | LainIwakura12 | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-27 17:09:47 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-10-27 17:16:05 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-27 17:17:09 +0100 | trickard__ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 17:17:38 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-10-27 17:18:37 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-27 17:18:49 +0100 | Googulator | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 17:19:08 +0100 | Googulator | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 17:20:41 +0100 | Googulator | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit) |
| 2025-10-27 17:20:45 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 17:22:45 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-27 17:24:13 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) |
| 2025-10-27 17:25:31 +0100 | Guest012312 | (~Guest0123@83.172.89.229) |
| 2025-10-27 17:27:37 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-27 17:29:40 +0100 | Wbooze | (~wboozE@2a02:8071:57a1:dc0:a984:f47b:49ad:2bc0) (Quit: Leaving) |
| 2025-10-27 17:29:45 +0100 | Guest012312 | (~Guest0123@83.172.89.229) (Client Quit) |
| 2025-10-27 17:38:14 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-10-27 17:39:08 +0100 | <EvanR> | basically, aeson is assuming utf-8, as per some json spec |
| 2025-10-27 17:40:38 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 17:40:44 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 17:40:44 +0100 | bggd | (~bgg@2a01:e0a:819:1510:d163:624e:1256:4e49) (Remote host closed the connection) |
| 2025-10-27 17:41:55 +0100 | Googulator22 | Googulator |
| 2025-10-27 17:46:52 +0100 | LainIwakura12 | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-27 17:46:54 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-27 17:50:25 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-27 17:50:49 +0100 | Googulator | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 17:50:59 +0100 | Googulator | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 17:53:25 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-27 17:55:39 +0100 | Googulator | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit) |
| 2025-10-27 17:55:42 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 18:02:06 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2025-10-27 18:03:35 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-27 18:06:48 +0100 | Zemy | (~Zemy@72.178.108.235) (Remote host closed the connection) |
| 2025-10-27 18:07:17 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-10-27 18:14:15 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Quit: Leaving) |
| 2025-10-27 18:15:25 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-27 18:16:23 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-27 18:16:56 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-10-27 18:23:02 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-10-27 18:23:23 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-27 18:23:37 +0100 | Wbooze | (~wboozE@2a02:8071:57a1:dc0:a984:f47b:49ad:2bc0) Inline |
| 2025-10-27 18:24:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-27 18:25:40 +0100 | Googulator83 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 18:25:47 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 18:28:28 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-10-27 18:30:50 +0100 | Googulator77 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 18:31:15 +0100 | Googulator83 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 18:35:55 +0100 | Googulator77 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 18:36:01 +0100 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 18:36:26 +0100 | <mauke> | bwe: decode "{\"key\": \"value\194\181\"}" :: Maybe (HMS.HashMap Text Text) |
| 2025-10-27 18:36:38 +0100 | trickard__ | trickard |
| 2025-10-27 18:38:45 +0100 | speedycoder | (uid644440@id-644440.ilkley.irccloud.com) |
| 2025-10-27 18:39:27 +0100 | speedycoder | (uid644440@id-644440.ilkley.irccloud.com) (Changing host) |
| 2025-10-27 18:39:27 +0100 | speedycoder | (uid644440@user/speedycoder) speedycoder |
| 2025-10-27 18:40:43 +0100 | Googulator26 | (~Googulato@84-236-65-182.pool.digikabel.hu) |
| 2025-10-27 18:40:43 +0100 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit) |
| 2025-10-27 18:41:37 +0100 | pr1sm | (~pr1sm@24.91.163.31) |
| 2025-10-27 18:44:42 +0100 | annamalai | (~annamalai@157.51.160.80) (Ping timeout: 240 seconds) |
| 2025-10-27 18:45:31 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2025-10-27 18:46:02 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-10-27 18:52:12 +0100 | OWS | Shark8 |
| 2025-10-27 18:58:36 +0100 | <EvanR> | finely hand crafted artisan utf-8 |
| 2025-10-27 18:58:48 +0100 | <EvanR> | using only local ethically sourced ingredients |
| 2025-10-27 19:04:00 +0100 | speedycoder | (uid644440@user/speedycoder) () |
| 2025-10-27 19:11:52 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-27 19:13:21 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-27 19:14:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 19:15:46 +0100 | Googulator8 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 19:15:46 +0100 | Googulator26 | (~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 19:19:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-27 19:20:10 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 244 seconds) |
| 2025-10-27 19:20:19 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-27 19:21:24 +0100 | koz | (~koz@121.99.240.58) |
| 2025-10-27 19:24:07 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:80f9:f3a2:4980:7e12) (Read error: Connection reset by peer) |
| 2025-10-27 19:25:42 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:80f9:f3a2:4980:7e12) synchromesh |
| 2025-10-27 19:25:57 +0100 | qqe | (~qqq@185.54.23.200) (Quit: Lost terminal) |
| 2025-10-27 19:28:49 +0100 | jzargo3 | (~jzargo@user/jzargo) jzargo |
| 2025-10-27 19:29:08 +0100 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2025-10-27 19:29:13 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-10-27 19:29:14 +0100 | Lears | (~Leary@user/Leary/x-0910699) Leary |
| 2025-10-27 19:29:18 +0100 | sam113102 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-10-27 19:29:42 +0100 | ridcully_ | (~ridcully@p57b52b68.dip0.t-ipconnect.de) ridcully |
| 2025-10-27 19:29:51 +0100 | op_4_ | (~tslil@2a01:4f8:c0c:7952::1) |
| 2025-10-27 19:30:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 19:30:47 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-10-27 19:31:54 +0100 | haskellbridge_ | (~hackager@96.28.224.214) hackager |
| 2025-10-27 19:31:54 +0100 | ChanServ | +v haskellbridge_ |
| 2025-10-27 19:33:19 +0100 | m1dnight_ | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-10-27 19:33:33 +0100 | gabriel_1 | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-10-27 19:34:37 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-10-27 19:35:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-27 19:35:38 +0100 | AlexZenon_2 | (~alzenon@85.174.180.65) |
| 2025-10-27 19:37:35 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:80f9:f3a2:4980:7e12) (*.net *.split) |
| 2025-10-27 19:37:35 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (*.net *.split) |
| 2025-10-27 19:37:35 +0100 | pr1sm | (~pr1sm@24.91.163.31) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | notzmv | (~umar@user/notzmv) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | Square | (~Square4@user/square) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | jzargo2 | (~jzargo@user/jzargo) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | Digit | (~user@user/digit) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | EvanR | (~EvanR@user/evanr) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | nek0 | (~nek0@user/nek0) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | haskellbridge | (~hackager@96.28.224.214) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | ridcully | (~ridcully@p57b52b68.dip0.t-ipconnect.de) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | elenril | (~elenril@tutturu.khirnov.net) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | AlexZenon | (~alzenon@85.174.180.65) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | infinity0 | (~infinity0@pwned.gg) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | hellwolf | (~user@6526-1813-95c5-dfbc-0f00-4d40-07d0-2001.sta.estpak.ee) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | Leary | (~Leary@user/Leary/x-0910699) (*.net *.split) |
| 2025-10-27 19:37:36 +0100 | op_4_ | op_4 |
| 2025-10-27 19:37:38 +0100 | sam113102 | sam113101 |
| 2025-10-27 19:40:45 +0100 | Googulator20 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 19:40:45 +0100 | Googulator8 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 19:41:33 +0100 | FANTOM | (~fantom@212.228.181.156) (Ping timeout: 256 seconds) |
| 2025-10-27 19:41:46 +0100 | haskellbridge_ | haskellbridge |
| 2025-10-27 19:42:32 +0100 | <bwe> | `decodeStrictText (utf8OrLatin1ToText "{\"key\": \"value\181\"}") :: Maybe (HMS.HashMap Text Text)` is going from ByteString to Text and starts decoding from Text only |
| 2025-10-27 19:42:33 +0100 | <bwe> | https://paste.tomsmeding.com/8iOWvhaT |
| 2025-10-27 19:42:55 +0100 | FANTOM | (~fantom@212.228.181.156) |
| 2025-10-27 19:44:03 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-27 19:44:49 +0100 | EvanR_ | EvanR |
| 2025-10-27 19:44:58 +0100 | <EvanR> | the heck is utf8OrLatin1ToText |
| 2025-10-27 19:45:05 +0100 | <EvanR> | sounds dicey |
| 2025-10-27 19:46:04 +0100 | <EvanR> | oh you defined it |
| 2025-10-27 19:46:15 +0100 | <EvanR> | that sounds liable to explode in your face |
| 2025-10-27 19:46:21 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-10-27 19:46:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 19:46:49 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2025-10-27 19:46:54 +0100 | <EvanR> | decode "{\"key\": \"valueµ\"}" is wrong because mu is not an ascii character |
| 2025-10-27 19:47:05 +0100 | <EvanR> | and you're trying to specify a byte string |
| 2025-10-27 19:47:28 +0100 | <EvanR> | decode "{\"key\": \"value\181\"}" is wrong because it's not utf-8 |
| 2025-10-27 19:48:43 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-10-27 19:49:40 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) |
| 2025-10-27 19:49:42 +0100 | <bwe> | EvanR: Yes, that's what I've understood now, too. So, how to get a bytestring to utf-8 text safely? |
| 2025-10-27 19:50:01 +0100 | <EvanR> | "utf-8 text" is another categorical error |
| 2025-10-27 19:50:37 +0100 | <EvanR> | to go from bytestring to text, whose internal encoding you don't need to know, ideally, to have to know how the original text was encoded as a bytestring |
| 2025-10-27 19:51:00 +0100 | <EvanR> | guessing can never 100% work, so you just have to decide what to accept, then deal with a decoding error |
| 2025-10-27 19:51:46 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2025-10-27 19:52:17 +0100 | <EvanR> | so the question "get a text from a utf-8 bytestring safely" is valid, and you can use decodeUtf8 :: Bytestring -> Text, or one of the variants that returns Maybe |
| 2025-10-27 19:52:43 +0100 | <EvanR> | should have been *you have to know how the original text was encoded |
| 2025-10-27 19:53:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-27 19:53:29 +0100 | <EvanR> | but if you are using UTF-8, then first converting to Text before using Aeson sounds like extraneous steps |
| 2025-10-27 19:55:01 +0100 | <monochrom> | IMO you should assume/insist UTF-8 in JSON, first of all. Then, it's just a matter of telling Aeson you want Text. Aeson will do the utf-8 decoding for you, for free. |
| 2025-10-27 19:55:54 +0100 | <monochrom> | And yeah if you do your own decoding by your own hand before letting Aeson do its job, it's an XY problem. |
| 2025-10-27 19:56:18 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-27 19:56:24 +0100 | <monochrom> | Or in short, mauke's example is right, just do that. |
| 2025-10-27 19:56:41 +0100 | <dminuoso> | monochrom: To be fair, RFC8259 is an internet standard and it imposes UTF8 for open systems (outside closed ecosystems). |
| 2025-10-27 19:56:55 +0100 | <dminuoso> | If we adopt RFC terminology, you *MUST* assume UTF-8. |
| 2025-10-27 19:57:34 +0100 | annamalai | (~annamalai@2409:4042:4c88:4dce::9e4a:a60c) annamalai |
| 2025-10-27 19:57:36 +0100 | <monochrom> | Agreed. |
| 2025-10-27 19:58:10 +0100 | <monochrom> | OTOH I also have Windows zealots in mind---you know, those who use Windows-1293 or something. |
| 2025-10-27 19:58:51 +0100 | <monochrom> | Or Americans---they think the whole world is Latin-1. |
| 2025-10-27 19:58:55 +0100 | <dminuoso> | I have no pity for those who suffer from mojibake. |
| 2025-10-27 19:59:02 +0100 | <dminuoso> | It is a curable disease. |
| 2025-10-27 19:59:49 +0100 | Digitteknohippie | Digit |
| 2025-10-27 20:00:49 +0100 | <dminuoso> | Worrying about Windows-1293 or Latin-1 is like worrying about measles in the year 2025. |
| 2025-10-27 20:01:26 +0100 | <monochrom> | Oh, about that. |
| 2025-10-27 20:01:52 +0100 | <monochrom> | Both pro-vaxxers and anti-vaxxers agree: Don't worry about measles. >:) |
| 2025-10-27 20:02:13 +0100 | <dminuoso> | The Darwinist in me says: Let there be outbreaks. |
| 2025-10-27 20:03:03 +0100 | <EvanR> | the rubber meets the road when you're in a trench and have to decide how to decode. And you say, fuckit assuming UTF-8 and rejecting other things is correct. Then someone tells you to use infernal decodeUtf8OrLatin1 |
| 2025-10-27 20:03:11 +0100 | <Digit> | monochrom: do any-vaxxers agree too? |
| 2025-10-27 20:03:40 +0100 | <EvanR> | lol at "the RFC says you have to" |
| 2025-10-27 20:03:45 +0100 | <dminuoso> | Digit: What is an any-vaxxer? Those who just inject anything they can get their hands on? We call those junkies. |
| 2025-10-27 20:04:05 +0100 | <EvanR> | there's a documentary about that, Crank with jason statham |
| 2025-10-27 20:04:11 +0100 | <monochrom> | haha |
| 2025-10-27 20:04:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 20:05:27 +0100 | <EvanR> | the corresponding policy would be to attempt to decode the input at any cost, even producing nonsense or suffering security issues |
| 2025-10-27 20:05:34 +0100 | <EvanR> | never fail |
| 2025-10-27 20:05:37 +0100 | <dminuoso> | EvanR: I think the biggest mistake in the world of decoding is not establishing metadata about the carried encoding in all the file formats. Very few like HTML have done it, in the rest of the world it's a horrible mixture of guesstimation and hope of standard adherence. |
| 2025-10-27 20:05:44 +0100 | <monochrom> | If one must accept decodeUtf8OrLatin1, then let's make it an XYZ problem, shall we? (Go big or go home.) Use decodeUtf8OrLatin1, then re-encode to utf-8, then you can give that to Aeson. |
| 2025-10-27 20:05:56 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-27 20:05:58 +0100 | <dminuoso> | s/file formats/file- and wireformats/ |
| 2025-10-27 20:06:08 +0100 | <EvanR> | dminuoso, that still wouldn't avoid a "failed to decode" code path |
| 2025-10-27 20:06:13 +0100 | <haskellbridge> | <loonycyborg> JSON is always utf-8, otherwise it's non-conforming |
| 2025-10-27 20:06:35 +0100 | <EvanR> | yes bwe is out on a limb |
| 2025-10-27 20:06:37 +0100 | <dminuoso> | EvanR: If a file has a declared encoding and is lying about that, you deserve to be complained to by your users. |
| 2025-10-27 20:06:51 +0100 | <dminuoso> | Where you is whoeever is responsible for the software or using it. |
| 2025-10-27 20:06:55 +0100 | <EvanR> | dminuoso, this sort of "plan" doesn't sound particularly worth it |
| 2025-10-27 20:07:04 +0100 | <dminuoso> | EvanR: It seems to work fine for the rest of the world. |
| 2025-10-27 20:07:08 +0100 | <EvanR> | reengineer all file formats ever and then it still doesn't work |
| 2025-10-27 20:07:10 +0100 | <haskellbridge> | <loonycyborg> iirc there's a library that can figure out encoding without any metadata |
| 2025-10-27 20:07:13 +0100 | <dminuoso> | Try using execve on an email file. |
| 2025-10-27 20:07:17 +0100 | <dminuoso> | It wont just "try and make sense of it" |
| 2025-10-27 20:07:25 +0100 | <dminuoso> | It will rightfully complain that its not an ELF. |
| 2025-10-27 20:07:44 +0100 | <monochrom> | Sounds like something my students may try. :) |
| 2025-10-27 20:07:58 +0100 | <haskellbridge> | <loonycyborg> That reminds me how I tried to run a C program directly as a binary when I was a kid |
| 2025-10-27 20:08:09 +0100 | <EvanR> | an email might actually end up being mistaken for an ELF file if you try hard enough |
| 2025-10-27 20:08:14 +0100 | <monochrom> | Sounds like something my students tried. :) |
| 2025-10-27 20:08:44 +0100 | <EvanR> | but that's a separate issue from needing to rejecting stuff because it can't be decoded |
| 2025-10-27 20:08:49 +0100 | <haskellbridge> | <loonycyborg> it was easy to do under DOS |
| 2025-10-27 20:08:52 +0100 | <bwe> | loonycyborg: That's exactly the point. When you work with data not under your control, you get a mess. Like non-utf-8 stuff in utf-8 data. |
| 2025-10-27 20:09:01 +0100 | <haskellbridge> | <loonycyborg> because it doesn't even have +x attribute |
| 2025-10-27 20:09:15 +0100 | <haskellbridge> | <loonycyborg> and running a C file like that hung entire PC :P |
| 2025-10-27 20:09:16 +0100 | <dminuoso> | EvanR: Well, you can always do a lenient decode of course. |
| 2025-10-27 20:09:27 +0100 | <dminuoso> | I favour lenient UTF8 decodes in most my software. |
| 2025-10-27 20:09:31 +0100 | <EvanR> | if you don't control the input, then there's no guarantee you can communicate, end of |
| 2025-10-27 20:09:37 +0100 | <haskellbridge> | <loonycyborg> That for sure sparked my interest in building software though |
| 2025-10-27 20:09:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-27 20:10:03 +0100 | <EvanR> | the HTML policy of produce something just never fail ever |
| 2025-10-27 20:10:07 +0100 | <EvanR> | is insane |
| 2025-10-27 20:10:21 +0100 | <haskellbridge> | <loonycyborg> bwe: though in case of JSON in particular it's required to be UTF-8 by own definition |
| 2025-10-27 20:10:42 +0100 | <EvanR> | tell that to the data he's getting |
| 2025-10-27 20:10:56 +0100 | <EvanR> | be utf-8 or else! *nothing happens* |
| 2025-10-27 20:11:05 +0100 | <monochrom> | I know that other people may disrespect your requirements. I am saying that eventually you have to draw a line and make a stand. Either that, or demand a higher price, or quit. |
| 2025-10-27 20:11:26 +0100 | <haskellbridge> | <loonycyborg> well whatever that produces "JSON" in non-standard encoding should be probably fixed too |
| 2025-10-27 20:11:48 +0100 | <EvanR> | citizens arrest. Sorry your program is produces non-compliant json |
| 2025-10-27 20:12:02 +0100 | <EvanR> | that'll be $500 |
| 2025-10-27 20:12:49 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 255 seconds) |
| 2025-10-27 20:12:58 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-27 20:13:14 +0100 | <bwe> | EvanR: How do you deal with it if you still need to process the data? I mean, not having the liberty to just reject the data as being non-compliant. |
| 2025-10-27 20:13:34 +0100 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2025-10-27 20:13:38 +0100 | <haskellbridge> | <loonycyborg> it entirely depends on source |
| 2025-10-27 20:13:41 +0100 | hellwolf | (~user@b3d5-ec31-ba5a-9945-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-10-27 20:13:43 +0100 | <monochrom> | I have described my XYZ solution for that. |
| 2025-10-27 20:13:44 +0100 | elenril | (~elenril@tutturu.khirnov.net) elenril |
| 2025-10-27 20:13:45 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-10-27 20:13:47 +0100 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-10-27 20:13:51 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:80f9:f3a2:4980:7e12) synchromesh |
| 2025-10-27 20:13:52 +0100 | <haskellbridge> | <loonycyborg> if you know real encoding you can feed it to iconv first |
| 2025-10-27 20:14:04 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) |
| 2025-10-27 20:14:23 +0100 | <haskellbridge> | <loonycyborg> or haskell function to recode it |
| 2025-10-27 20:14:54 +0100 | <EvanR> | bwe, there's three situations it seems: it's utf8, it's latin-1 (weird), or it's something else. So you succeed in two cases and fail in the other? |
| 2025-10-27 20:15:13 +0100 | <EvanR> | but, logically, can you distinguish between utf-8 and latin1 always? |
| 2025-10-27 20:16:07 +0100 | <haskellbridge> | <loonycyborg> https://github.com/Project-OSS-Revival/enca |
| 2025-10-27 20:16:36 +0100 | <EvanR> | I see no reason to go out of your way to transcode your stuff to utf-8 if all you need to do is decode it and work with it as Text |
| 2025-10-27 20:16:47 +0100 | <EvanR> | sending it to someone else is anothe rstory |
| 2025-10-27 20:16:51 +0100 | <tomsmeding> | EvanR: if it's valid utf-8 and we have a prior that it's either utf-8 or latin1, it's exceedingly likely it's utf-8 |
| 2025-10-27 20:17:04 +0100 | <EvanR> | it's a probability? Dx |
| 2025-10-27 20:17:36 +0100 | <tomsmeding> | well, yeah, any byte sequence is valid latin1 so to say anything useful there you have to estimate probabilities :p |
| 2025-10-27 20:17:45 +0100 | <monochrom> | EvanR, I propose transcoding because I think that it fits aeson well. |
| 2025-10-27 20:17:57 +0100 | <tomsmeding> | transcoding is only a problem if you have performance issues with that |
| 2025-10-27 20:18:41 +0100 | <EvanR> | tomsmeding, I see what you mean now. And yeah, that's awful and why I was criticizing the situation |
| 2025-10-27 20:19:04 +0100 | <tomsmeding> | yeah I was supporting what you were saying :p |
| 2025-10-27 20:19:06 +0100 | <EvanR> | if you fail to utf-8 decode and fall back to latin-1, now you are liable to be working with nonsense (not latin-1) |
| 2025-10-27 20:19:18 +0100 | <tomsmeding> | yeah |
| 2025-10-27 20:20:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 20:20:29 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 250 seconds) |
| 2025-10-27 20:20:46 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 20:20:50 +0100 | Googulator20 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 20:23:43 +0100 | <monochrom> | OK OK aeson has [either/throw]decodeStrctText, you can do your own utf8-or-latin1 decoding to Text, then give it to aeson. |
| 2025-10-27 20:24:16 +0100 | <bwe> | monochrom: That's exactly what my approach is. |
| 2025-10-27 20:24:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-27 20:25:25 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-27 20:27:24 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-27 20:27:43 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-10-27 20:35:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 20:39:01 +0100 | koz | (~koz@121.99.240.58) (Ping timeout: 264 seconds) |
| 2025-10-27 20:39:07 +0100 | qqe | (~qqq@185.54.23.200) |
| 2025-10-27 20:39:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-27 20:41:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-27 20:51:34 +0100 | Jackneill | (~Jackneill@94-21-95-10.pool.digikabel.hu) Jackneill |
| 2025-10-27 20:51:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 20:55:17 +0100 | koz | (~koz@121.99.240.58) |
| 2025-10-27 20:56:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-27 20:59:22 +0100 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-27 20:59:36 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 21:01:48 +0100 | AlexZenon_2 | AlexZenon |
| 2025-10-27 21:05:46 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 21:05:48 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 21:07:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 21:10:52 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-10-27 21:12:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-27 21:14:34 +0100 | Zemy_ | (~Zemy@2600:100c:b046:9707:64c6:42ff:fe67:7876) |
| 2025-10-27 21:15:24 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-27 21:16:36 +0100 | lortabac | (~lortabac@mx1.fracta.dev) (Read error: Connection reset by peer) |
| 2025-10-27 21:16:50 +0100 | lortabac | (~lortabac@mx1.fracta.dev) lortabac |
| 2025-10-27 21:16:59 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-10-27 21:17:27 +0100 | Zemy | (~Zemy@72.178.108.235) (Ping timeout: 244 seconds) |
| 2025-10-27 21:17:36 +0100 | sajith | (~sajith@user/sajith) (Remote host closed the connection) |
| 2025-10-27 21:17:58 +0100 | sajith_ | (~sajith@user/sajith) sajith |
| 2025-10-27 21:19:18 +0100 | Fijxu_ | (~Fijxu@user/fijxu) fijxu |
| 2025-10-27 21:21:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 21:24:48 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-27 21:25:38 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 21:25:52 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 21:28:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-27 21:31:03 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:7c26:54ff:fe94:28b9) |
| 2025-10-27 21:31:03 +0100 | Zemy_ | (~Zemy@2600:100c:b046:9707:64c6:42ff:fe67:7876) (Read error: Connection reset by peer) |
| 2025-10-27 21:35:46 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-27 21:39:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 21:40:07 +0100 | <haskellbridge> | <Morj> I just tried stack's nix integration. It's convenient |
| 2025-10-27 21:40:32 +0100 | <haskellbridge> | <Morj> What's not convenient is that now 'stack run' has to enter the shell every time which takes like 10 seconds |
| 2025-10-27 21:41:25 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-10-27 21:44:32 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-62.mycingular.net) |
| 2025-10-27 21:44:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-27 21:46:48 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:7c26:54ff:fe94:28b9) (Ping timeout: 256 seconds) |
| 2025-10-27 21:51:54 +0100 | <haskellbridge> | <sm> ack |
| 2025-10-27 21:52:00 +0100 | <haskellbridge> | <sm> why does that take 10s ? |
| 2025-10-27 21:55:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 21:57:15 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: ksdsk) |
| 2025-10-27 21:58:55 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:c36:41ff:feef:7f2c) |
| 2025-10-27 21:59:37 +0100 | <haskellbridge> | <Morj> Well, that's just nix? Some operations take long there |
| 2025-10-27 21:59:56 +0100 | <haskellbridge> | <Morj> «time nix-shell -p stack haskell.compiler.ghc98 --run exit» gives «real 0m7.712s» |
| 2025-10-27 22:00:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-27 22:00:18 +0100 | <haskellbridge> | <Morj> I'm not well versed enough to know how to profile nix |
| 2025-10-27 22:00:50 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-27 22:00:55 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-62.mycingular.net) (Ping timeout: 264 seconds) |
| 2025-10-27 22:01:16 +0100 | qqe | (~qqq@185.54.23.200) (Remote host closed the connection) |
| 2025-10-27 22:02:40 +0100 | <haskellbridge> | <magic_rb> There isnt great tooling anyway for that |
| 2025-10-27 22:03:03 +0100 | <haskellbridge> | <magic_rb> There has been some developments in profiling and perf improvements but i havent tested them |
| 2025-10-27 22:03:50 +0100 | <yushyin> | usually there are mechanisms to cache the shell env, like nix-community/nix-direnv. don't know how to achieve this with stack+nix, though |
| 2025-10-27 22:04:16 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-27 22:04:25 +0100 | <haskellbridge> | <Morj> I vaguely recall some options to at least distinguish evaluating an expression from realizing a derivation when running a command, to see which takes longer |
| 2025-10-27 22:04:45 +0100 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-10-27 22:08:25 +0100 | Zemy_ | (~Zemy@12.50.228.210) |
| 2025-10-27 22:09:15 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-27 22:09:29 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 22:10:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 22:12:31 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:c36:41ff:feef:7f2c) (Ping timeout: 255 seconds) |
| 2025-10-27 22:12:50 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-27 22:15:10 +0100 | cstml | (~cstml@user/cstml) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-10-27 22:15:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-27 22:15:56 +0100 | Googulator20 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 22:16:22 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-27 22:17:03 +0100 | cstml | (~cstml@user/cstml) cstml |
| 2025-10-27 22:17:36 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 22:17:41 +0100 | Zemy_ | (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 2025-10-27 22:17:52 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:5440:70ff:fe17:6d63) |
| 2025-10-27 22:18:20 +0100 | Zemy_ | (~Zemy@12.50.228.210) |
| 2025-10-27 22:18:43 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-27 22:19:40 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 22:21:14 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:5440:70ff:fe17:6d63) (Read error: Connection reset by peer) |
| 2025-10-27 22:21:42 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:5ca5:3dff:fef3:1451) |
| 2025-10-27 22:21:42 +0100 | Zemy_ | (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 2025-10-27 22:22:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 22:23:14 +0100 | Zemy_ | (~Zemy@12.50.228.210) |
| 2025-10-27 22:23:26 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:5ca5:3dff:fef3:1451) (Read error: Connection reset by peer) |
| 2025-10-27 22:24:03 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:9c27:d8ff:fee0:7c8) |
| 2025-10-27 22:24:10 +0100 | Zemy_ | (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 2025-10-27 22:25:17 +0100 | Zemy_ | (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2025-10-27 22:25:35 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:9c27:d8ff:fee0:7c8) (Read error: Connection reset by peer) |
| 2025-10-27 22:25:35 +0100 | Googulator20 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 22:25:39 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 22:27:05 +0100 | trickard_ | trickard |
| 2025-10-27 22:27:11 +0100 | Zemy_ | (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2025-10-27 22:27:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-27 22:27:54 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:28c8:85ff:fe75:8ae2) |
| 2025-10-27 22:30:04 +0100 | fp | (~Thunderbi@2607:fb90:cfb4:41f:78ab:bbd4:b9ed:abba) fp |
| 2025-10-27 22:30:05 +0100 | Zemy_ | (~Zemy@12.50.228.210) |
| 2025-10-27 22:30:16 +0100 | <haskellbridge> | <magic_rb> I mean with the new cli you can do "nix eval" instead of nix build. But its probably the eval that takes a bit not the build also, not the right channel. We could discuss further on matrix, maybe there is something in your nix code which makes this slower than it has to be |
| 2025-10-27 22:30:21 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:28c8:85ff:fe75:8ae2) (Read error: Connection reset by peer) |
| 2025-10-27 22:30:56 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:2856:c5ff:fe19:1394) |
| 2025-10-27 22:30:57 +0100 | Zemy_ | (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 2025-10-27 22:31:30 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-27 22:32:18 +0100 | Zemy_ | (~Zemy@12.50.228.210) |
| 2025-10-27 22:32:39 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:2856:c5ff:fe19:1394) (Read error: Connection reset by peer) |
| 2025-10-27 22:33:11 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:b0f4:55ff:fe39:43d0) |
| 2025-10-27 22:34:46 +0100 | Core2678 | (~Zemy@12.50.228.210) |
| 2025-10-27 22:35:14 +0100 | Zemy_ | (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 2025-10-27 22:35:59 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-10-27 22:35:59 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:b0f4:55ff:fe39:43d0) (Read error: Connection reset by peer) |
| 2025-10-27 22:36:01 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-27 22:36:08 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:b04e:c2ff:fea5:d41f) |
| 2025-10-27 22:36:34 +0100 | Core2678 | (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 2025-10-27 22:37:20 +0100 | fp1 | (~Thunderbi@172.59.75.232) fp |
| 2025-10-27 22:37:35 +0100 | fp | (~Thunderbi@2607:fb90:cfb4:41f:78ab:bbd4:b9ed:abba) (Quit: fp) |
| 2025-10-27 22:37:48 +0100 | fp1 | fp |
| 2025-10-27 22:37:58 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-10-27 22:38:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 22:38:20 +0100 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-27 22:39:08 +0100 | Zemy_ | (~Zemy@12.50.228.210) |
| 2025-10-27 22:39:35 +0100 | Vajb | (~Vajb@n60ck02t8pyq870qtsc-1.v6.elisa-mobile.fi) |
| 2025-10-27 22:39:47 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:b04e:c2ff:fea5:d41f) (Read error: Connection reset by peer) |
| 2025-10-27 22:40:16 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:1404:68ff:feaf:ba37) |
| 2025-10-27 22:42:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-27 22:43:27 +0100 | Zemy_ | (~Zemy@12.50.228.210) (Ping timeout: 256 seconds) |
| 2025-10-27 22:44:04 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-27 22:45:02 +0100 | Zemy_ | (~Zemy@12.50.228.210) |
| 2025-10-27 22:46:53 +0100 | Core3549 | (~Zemy@2600:100c:b046:9707:401b:80ff:feed:7419) |
| 2025-10-27 22:46:54 +0100 | Zemy_ | (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 2025-10-27 22:47:07 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:1404:68ff:feaf:ba37) (Read error: Connection reset by peer) |
| 2025-10-27 22:49:31 +0100 | fp | (~Thunderbi@172.59.75.232) (Ping timeout: 264 seconds) |
| 2025-10-27 22:50:35 +0100 | fp | (~Thunderbi@172.59.75.232) fp |
| 2025-10-27 22:53:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 22:57:03 +0100 | fp | (~Thunderbi@172.59.75.232) (Ping timeout: 256 seconds) |
| 2025-10-27 22:58:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-27 23:02:13 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 246 seconds) |
| 2025-10-27 23:03:26 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-27 23:03:48 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-27 23:04:35 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-27 23:09:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 23:10:30 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-10-27 23:11:25 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:4821:46ff:fe54:760f) |
| 2025-10-27 23:11:25 +0100 | Core3549 | (~Zemy@2600:100c:b046:9707:401b:80ff:feed:7419) (Read error: Connection reset by peer) |
| 2025-10-27 23:12:49 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2025-10-27 23:13:46 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-10-27 23:13:51 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-27 23:15:38 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-27 23:16:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-27 23:18:27 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:4821:46ff:fe54:760f) (Ping timeout: 260 seconds) |
| 2025-10-27 23:19:02 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:dc35:35ff:fe8c:8f0) |
| 2025-10-27 23:19:02 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-27 23:19:32 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-27 23:19:39 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:dc35:35ff:fe8c:8f0) (Read error: Connection reset by peer) |
| 2025-10-27 23:20:11 +0100 | Zemy | (~Zemy@2600:100c:b046:9707:b0f1:19ff:fe78:c6e0) |
| 2025-10-27 23:20:26 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |