Logs on 2025-10-27 (liberachat/#haskell)
| 00:02:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:05:22 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 240 seconds) |
| 00:07:03 | → | werneta joins (~werneta@71.83.160.242) |
| 00:07:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:13:53 | <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. |
| 00:17:17 | <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 |
| 00:17:32 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 00:17:48 | <haskellbridge> | <sm> and bravo for revising past releases. (I usually don't go that far back) |
| 00:17:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:18:02 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 00:20:48 | <L29Ah> | stack users still upload packages to hackage with synopsis made of "hackage docs suck go to stackage" |
| 00:22:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:24:05 | <haskellbridge> | <sm> ok what fresh hell is this.. show us please L29Ah :) |
| 00:26:53 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 00:27:29 | <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 |
| 00:28:42 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 00:29:21 | <haskellbridge> | <sm> I don't see a problem here, YMMMV |
| 00:31:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:32:28 | <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 |
| 00:38:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:47:02 | × | acidjnk quits (~acidjnk@p200300d6e7171978edfa37a47c9b2101.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 00:47:22 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 00:49:07 | <geekosaur> | people still think cabal is in its v1 days |
| 00:49:25 | <geekosaur> | and hackage did at one point have problems building docs, but that was fixed like a decade ago |
| 00:49:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:49:52 | × | xff0x quits (~xff0x@ai080027.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 00:53:02 | × | annamalai quits (~annamalai@157.49.232.23) (Ping timeout: 240 seconds) |
| 00:54:01 | trickard_ | is now known as trickard |
| 00:54:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 00:59:38 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 00:59:59 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 01:00:03 | <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. |
| 01:02:11 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 01:04:11 | <geekosaur> | right, but there was a time when it was failing for all packages |
| 01:04:15 | <geekosaur> | lasted a couple years |
| 01:05:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:06:09 | → | dtman34_ joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 01:07:28 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 246 seconds) |
| 01:09:09 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 01:10:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:10:55 | → | weary-traveler joins (~user@user/user363627) |
| 01:15:37 | × | dtman34_ quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 01:15:44 | → | Dhark8 joins (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 01:16:18 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 01:18:53 | × | Shark8 quits (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 256 seconds) |
| 01:20:46 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 01:23:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:24:02 | × | otto_s quits (~user@p5de2fe86.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 01:26:07 | → | otto_s joins (~user@p5b0443f3.dip0.t-ipconnect.de) |
| 01:27:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:28:22 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 01:34:13 | × | ft quits (~ft@mue-88-130-105-028.dsl.tropolys.de) (Ping timeout: 264 seconds) |
| 01:35:52 | → | ft joins (~ft@mue-88-130-104-115.dsl.tropolys.de) |
| 01:38:42 | → | pr1sm joins (~pr1sm@24.91.163.31) |
| 01:38:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:42:05 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 01:42:25 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 01:43:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:45:10 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 01:45:25 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:49:49 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 01:49:52 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 01:54:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:58:50 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 01:59:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:59:08 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 02:00:11 | × | pr1sm quits (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 02:00:17 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 02:00:27 | → | pr1sm joins (~pr1sm@24.91.163.31) |
| 02:00:38 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 02:01:04 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 02:07:12 | → | Shark8 joins (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 02:07:45 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 02:08:07 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 02:09:05 | → | OWS joins (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 02:09:19 | × | Dhark8 quits (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 240 seconds) |
| 02:10:10 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 02:10:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:10:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 02:11:44 | × | Shark8 quits (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 240 seconds) |
| 02:15:37 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 264 seconds) |
| 02:15:43 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 246 seconds) |
| 02:16:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 02:17:18 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:17:51 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 02:19:29 | × | pr1sm quits (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 02:19:35 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 244 seconds) |
| 02:19:49 | <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. |
| 02:24:15 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 02:28:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:29:09 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 02:33:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 02:35:02 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 240 seconds) |
| 02:36:47 | <haskellbridge> | <sm> yes, that's the nature of cabal |
| 02:37:34 | <haskellbridge> | <sm> though usually only some other problem constraint causes it to go so far back |
| 02:38:02 | <haskellbridge> | <sm> the dynamic solver doesn't think like a human and isn't good at explaining what it's doing |
| 02:40:07 | <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. |
| 02:40:35 | <jackdk> | correction, the policy encouraged by *old templates instantiated by* the stack binary |
| 02:43:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:44:25 | × | werneta quits (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 02:47:21 | <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 |
| 02:49:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 02:49:44 | <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) |
| 02:55:37 | lol__ | is now known as jcarpenter2 |
| 02:59:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:04:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:08:31 | → | annamalai joins (~annamalai@157.49.214.182) |
| 03:10:11 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 03:13:22 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 03:15:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:20:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:30:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:34:03 | × | dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 252 seconds) |
| 03:35:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:39:43 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 03:39:58 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 03:44:08 | × | td_ quits (~td@i53870936.versanet.de) (Ping timeout: 240 seconds) |
| 03:46:03 | → | td_ joins (~td@i5387093E.versanet.de) |
| 03:46:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:53:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:54:14 | → | dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) |
| 03:54:14 | × | synchromesh quits (~john@2406:5a00:2412:2c00:5ca1:546e:8b5a:71bf) (Read error: Connection reset by peer) |
| 03:54:42 | → | synchromesh joins (~john@2406:5a00:2412:2c00:80f9:f3a2:4980:7e12) |
| 03:59:19 | <hololeap> | hi. I have a question about this code: https://bpa.st/3JY2S |
| 04:00:32 | <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 |
| 04:00:49 | <hololeap> | it let me make a Foldable type for NonEmptyHashSet |
| 04:01:27 | <hololeap> | foldable instance |
| 04:04:08 | <glguy> | the main one you were supposed to avoid was on the outside: data Ord a => T a = D |
| 04:04:21 | <Leary> | hololeap: Couldn't it be `Foldable` regardless? In fact, you should be able to derive it. |
| 04:04:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:05:36 | <hololeap> | Leary: my implentation of toList turns it into a HashSet first, but I could have turned it into a list a different way |
| 04:05:51 | <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. |
| 04:06:07 | <Leary> | Since it means carrying the dictionary everywhere. |
| 04:07:20 | <hololeap> | everything function in the module had a Hashable constraint before I added the constraint inside the data type |
| 04:07:25 | <hololeap> | *every |
| 04:07:44 | <monochrom> | I wonder if you actually need it. |
| 04:07:58 | <jackdk> | You're also asking for the caller to provide the `Hashable a` constraint while also carrying the same dictionary in the ctor |
| 04:08:13 | <monochrom> | Hrm, you need it. |
| 04:08:33 | <hololeap> | it carries two types that both assume Hashable: Hashed and HashSet |
| 04:08:46 | <jackdk> | You can write the instance a `instance (forall a. Hashable a) => Foldable NonEmptyHashSet` if you turn on |
| 04:08:51 | <jackdk> | the necessary extensions |
| 04:09:04 | <hololeap> | is that QuantifiedConstraints? |
| 04:09:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 04:09:22 | <Leary> | Uhh. I don't think that constraint is satisfiable without `instance Hashable a`. |
| 04:12:23 | <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` |
| 04:13:03 | <Leary> | Yes, that's equivalent to `deriving Foldable`. Not that it really makes sense for unordered containers in the first place. |
| 04:14:49 | <hololeap> | Foldable doesn't make sense? |
| 04:15:08 | <hololeap> | it's mostly to be able to use `all` and `any` |
| 04:15:47 | <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 |
| 04:17:21 | <hololeap> | glguy: what is the difference between on the outside vs the inside? |
| 04:17:51 | <monochrom> | Oh! It's equivalent to "data N a where N :: Hashable a => N (Hashed a) (HashSet a)". You're using GADTs. |
| 04:18:22 | <hololeap> | oh... I have GHC2021 turned on |
| 04:18:29 | <monochrom> | :) |
| 04:18:47 | <monochrom> | FWIW, it also means you don't need explicit RankNTypes :) |
| 04:19:13 | <hololeap> | I thought it was using RankNTypes and I wanted to make it explicit |
| 04:19:34 | <hololeap> | I didn't think of GADTs |
| 04:20:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:20:13 | <monochrom> | RankNTypes would be like "data N = N (forall a. Hashable a => ...)" |
| 04:20:15 | <hololeap> | that's actually a reason not to use GHC2021 |
| 04:22:30 | <hololeap> | monochrom: what is the difference? |
| 04:23:03 | <hololeap> | between that and `= Hashable a => NEHashSet (Hashed a) (HashSet a)` |
| 04:23:56 | <hololeap> | I remember one of them is using ExistentialQuantification, but which one? |
| 04:24:43 | <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. |
| 04:25:02 | <hololeap> | ok |
| 04:25:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:26:14 | <hololeap> | but how is this different: `= Hashable a => NEHashSet (Hashed a) (HashSet a)` |
| 04:26:26 | <hololeap> | I would think it means the same thing |
| 04:26:28 | <monochrom> | Existential type would be like "data E = forall a. Haskable a => ..." |
| 04:27:00 | <monochrom> | err, "data E = forall a. Hashable a => E (Hashed a) (HashSet a)" |
| 04:29:20 | <monochrom> | Yours is different from X, Y, E. Yours is a bonus feature that allows a constraint on a type parameter. |
| 04:29:57 | <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 |
| 04:32:16 | <hololeap> | so maybe that makes existential quantification behave like universal quantification in this example |
| 04:32:22 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 04:32:48 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 04:35:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:39:09 | → | aforemny_ joins (~aforemny@2001:9e8:6cf1:1000:4e89:d612:c448:7493) |
| 04:39:11 | × | aforemny quits (~aforemny@2001:9e8:6cd1:6c00:4f63:56d8:3d93:b87f) (Ping timeout: 244 seconds) |
| 04:39:47 | × | trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:40:00 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 04:41:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 04:50:04 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 04:50:46 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 04:51:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:55:51 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 04:56:06 | → | Googulator joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 04:56:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:56:50 | → | Square2 joins (~Square@user/square) |
| 04:59:10 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 05:00:48 | → | Googulator56 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 05:01:09 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 05:01:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:06:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:06:46 | → | irfan joins (~irfan@user/irfan) |
| 05:07:51 | → | michalz joins (~michalz@185.246.207.221) |
| 05:10:37 | irfan | is now known as flareon |
| 05:11:25 | flareon | is now known as vulpix |
| 05:11:31 | vulpix | is now known as evee |
| 05:12:10 | × | evee quits (~irfan@user/irfan) (Quit: WeeChat 4.7.1) |
| 05:15:02 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 05:17:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:20:37 | → | Googulator21 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 05:20:49 | × | Googulator56 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 05:21:05 | → | irfan joins (~irfan@user/irfan) |
| 05:21:14 | × | irfan quits (~irfan@user/irfan) (Client Quit) |
| 05:21:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:25:46 | × | Googulator21 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 05:25:47 | → | Googulator26 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 05:32:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:37:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:43:05 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 05:48:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:50:17 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 05:53:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:57:20 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 05:58:21 | trickard_ | is now known as trickard |
| 06:04:02 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 06:04:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:04:46 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 06:07:59 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 06:08:25 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 06:08:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:20:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:20:39 | × | Googulator26 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 06:20:40 | → | Googulator15 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 06:24:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 06:35:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:42:08 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 06:42:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:45:03 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:50:41 | × | Googulator15 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 06:50:46 | → | Googulator96 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 06:53:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:58:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 06:59:02 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 07:00:48 | → | diddy joins (~user@user/pranshu) |
| 07:02:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:04:12 | × | Square2 quits (~Square@user/square) (Remote host closed the connection) |
| 07:04:13 | → | Square joins (~Square4@user/square) |
| 07:04:36 | → | Square2 joins (~Square@user/square) |
| 07:07:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:09:37 | × | Square2 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 07:12:21 | → | tromp joins (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) |
| 07:15:38 | → | Googulator88 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 07:15:47 | × | Googulator96 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 07:18:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:22:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 07:29:30 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:31:25 | × | olivial quits (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 07:31:41 | → | olivial joins (~benjaminl@user/benjaminl) |
| 07:32:07 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:33:31 | → | img joins (~img@user/img) |
| 07:33:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:35:02 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 07:35:11 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 07:35:55 | <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. |
| 07:37:33 | × | m1dnight quits (~m1dnight@d8D861A17.access.telenet.be) (Remote host closed the connection) |
| 07:37:58 | → | m1dnight joins (~m1dnight@d8D861A17.access.telenet.be) |
| 07:38:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:40:24 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 07:44:27 | <haskellbridge> | <loonycyborg> Adding constraint via datatype is strictly part of GADT extension |
| 07:46:11 | <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. |
| 07:49:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:50:39 | × | Googulator88 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 07:50:43 | → | Googulator93 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 07:52:15 | → | Zemy joins (~Zemy@2600:100c:b044:cd19:b0a4:62ff:febe:5454) |
| 07:52:15 | × | Core9010 quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 07:53:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:55:38 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 07:58:58 | × | Zemy quits (~Zemy@2600:100c:b044:cd19:b0a4:62ff:febe:5454) (Ping timeout: 256 seconds) |
| 08:00:40 | × | craunts795335385 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 08:02:00 | → | srazkvt joins (~sarah@user/srazkvt) |
| 08:04:45 | → | Zemy joins (~Zemy@2600:100c:b044:cd19:1017:fdff:feb2:6f00) |
| 08:04:45 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 08:05:19 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 08:09:07 | × | Zemy quits (~Zemy@2600:100c:b044:cd19:1017:fdff:feb2:6f00) (Ping timeout: 260 seconds) |
| 08:20:36 | × | Googulator93 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 08:20:39 | → | Googulator68 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 08:22:48 | <haskellbridge> | <loonycyborg> In fact all haskell declarations with a type variable with them have implicit forall for variables mentioned on both sides of equation. |
| 08:23:53 | <haskellbridge> | <loonycyborg> Ironically existential types end up requiring explicit forall because the variable exists only at RHS |
| 08:24:12 | <haskellbridge> | <loonycyborg> and explicit forall is required to convince compiler that we actually mean to introduce that variable |
| 08:24:32 | → | __monty__ joins (~toonn@user/toonn) |
| 08:24:46 | <haskellbridge> | <loonycyborg> and exists still remains implicit :P |
| 08:32:58 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 256 seconds) |
| 08:36:03 | → | Googulator30 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 08:36:23 | × | Googulator68 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 08:40:39 | × | Googulator30 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit) |
| 08:40:44 | → | Googulator82 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 08:41:09 | × | ft quits (~ft@mue-88-130-104-115.dsl.tropolys.de) (Quit: leaving) |
| 08:43:30 | → | merijn joins (~merijn@77.242.116.146) |
| 08:45:58 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 08:47:41 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 08:50:25 | → | LainIwakura88 joins (~LainIwaku@user/LainIwakura) |
| 08:53:57 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
| 09:00:30 | × | Googulator82 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 09:00:37 | → | Googulator13 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 09:01:20 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 09:01:22 | × | juri_ quits (~juri@implicitcad.org) (Ping timeout: 246 seconds) |
| 09:03:31 | → | juri_ joins (~juri@implicitcad.org) |
| 09:13:58 | → | trickard__ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 09:15:37 | × | trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 09:25:13 | → | nerdychip joins (~nerdychip@212.129.87.127) |
| 09:25:13 | × | nerdychip quits (~nerdychip@212.129.87.127) (Changing host) |
| 09:25:13 | → | nerdychip joins (~nerdychip@user/nerdychip) |
| 09:25:33 | × | Googulator13 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 09:25:42 | × | nerdychip_ quits (~nerdychip@user/nerdychip) (Ping timeout: 240 seconds) |
| 09:25:57 | → | Googulator13 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 09:27:56 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 09:27:57 | × | trickard__ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:28:09 | → | trickard joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 09:30:33 | × | Googulator13 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit) |
| 09:30:41 | → | Googulator13 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 09:31:12 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:32:37 | → | Zemy joins (~Zemy@2600:100c:b044:cd19:54f3:a5ff:fe27:e682) |
| 09:32:37 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 09:33:11 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 09:37:00 | × | Zemy quits (~Zemy@2600:100c:b044:cd19:54f3:a5ff:fe27:e682) (Ping timeout: 256 seconds) |
| 09:37:36 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 09:38:25 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 09:43:15 | × | LainIwakura88 quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 09:43:15 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 09:45:35 | → | merijn joins (~merijn@77.242.116.146) |
| 09:47:18 | → | acidjnk joins (~acidjnk@p200300d6e7171970dc8f19326409100f.dip0.t-ipconnect.de) |
| 09:48:35 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 09:49:29 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:50:22 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 09:50:38 | → | Googulator91 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 09:50:44 | × | Googulator13 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 09:50:52 | → | chele joins (~chele@user/chele) |
| 09:52:52 | → | trickard__ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 09:53:02 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 240 seconds) |
| 09:54:37 | × | trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 09:55:21 | → | poscat0x04 joins (~poscat@user/poscat) |
| 09:56:42 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 240 seconds) |
| 10:02:04 | → | merijn joins (~merijn@77.242.116.146) |
| 10:15:38 | → | Googulator15 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 10:15:38 | × | Googulator91 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 10:20:38 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 10:20:38 | × | Googulator15 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 10:20:49 | → | Googulator15 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 10:21:36 | → | koz joins (~koz@121.99.240.58) |
| 10:28:46 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 10:39:01 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 264 seconds) |
| 10:42:50 | → | notzmv joins (~umar@user/notzmv) |
| 10:50:37 | × | Googulator15 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 10:50:39 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 10:50:44 | → | Googulator26 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 10:56:49 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 10:57:14 | → | LainIwakura3 joins (~LainIwaku@user/LainIwakura) |
| 11:06:33 | → | Guest80 joins (~Guest16@mob-83-225-16-188.net.vodafone.it) |
| 11:06:45 | × | Guest80 quits (~Guest16@mob-83-225-16-188.net.vodafone.it) (Client Quit) |
| 11:08:09 | → | Zemy joins (~Zemy@2600:100c:b044:cd19:585e:39ff:feb2:61c6) |
| 11:12:01 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 264 seconds) |
| 11:19:40 | → | xff0x joins (~xff0x@2405:6580:b080:900:8892:ecf5:ee58:72c0) |
| 11:21:00 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 11:26:00 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 11:28:46 | → | Zemy_ joins (~Zemy@mobile-107-80-206-70.mycingular.net) |
| 11:29:18 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 11:30:54 | × | Zemy quits (~Zemy@2600:100c:b044:cd19:585e:39ff:feb2:61c6) (Ping timeout: 256 seconds) |
| 11:33:03 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 11:34:08 | → | merijn joins (~merijn@77.242.116.146) |
| 11:35:08 | → | Zemy joins (~Zemy@2600:100c:b044:cd19:ecad:eaff:fe13:539e) |
| 11:35:42 | → | Core6094 joins (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 11:37:52 | × | Zemy_ quits (~Zemy@mobile-107-80-206-70.mycingular.net) (Ping timeout: 255 seconds) |
| 11:38:33 | × | Zemy quits (~Zemy@2600:100c:b044:cd19:ecad:eaff:fe13:539e) (Read error: Connection reset by peer) |
| 11:38:42 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 11:38:48 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 11:38:51 | → | Zemy joins (~Zemy@2600:100c:b044:cd19:6c92:43ff:fe48:f59c) |
| 11:40:07 | Lord_of_Life_ | is now known as Lord_of_Life |
| 11:40:14 | × | Core6094 quits (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 265 seconds) |
| 11:41:12 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 11:47:15 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 11:47:15 | × | LainIwakura3 quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 11:47:59 | → | merijn joins (~merijn@77.242.116.146) |
| 12:05:42 | → | Googulator74 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 12:05:48 | × | Googulator26 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 12:10:01 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 12:10:46 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 12:30:38 | → | Googulator84 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 12:30:46 | × | Googulator74 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 12:42:32 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 12:42:35 | → | LainIwakura58 joins (~LainIwaku@user/LainIwakura) |
| 12:45:23 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 12:50:31 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 12:51:02 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 12:52:32 | → | pr1sm joins (~pr1sm@24.91.163.31) |
| 12:53:00 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 12:54:59 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 12:56:18 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:57:45 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 12:58:06 | → | divlamir joins (~divlamir@user/divlamir) |
| 13:01:05 | → | Zemy_ joins (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 13:01:57 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 260 seconds) |
| 13:03:03 | → | Core9226 joins (~Zemy@2600:100c:b044:cd19:d4a8:6dff:fe76:9142) |
| 13:03:45 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 13:04:06 | × | Zemy quits (~Zemy@2600:100c:b044:cd19:6c92:43ff:fe48:f59c) (Read error: Connection reset by peer) |
| 13:04:19 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 13:05:48 | × | Zemy_ quits (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 256 seconds) |
| 13:27:08 | → | Zemy joins (~Zemy@72.178.108.235) |
| 13:31:07 | × | Core9226 quits (~Zemy@2600:100c:b044:cd19:d4a8:6dff:fe76:9142) (Ping timeout: 260 seconds) |
| 13:34:31 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 13:39:48 | → | qqe joins (~qqq@185.54.23.200) |
| 13:44:20 | → | FirefoxDeHuk joins (~FirefoxDe@109.108.69.106) |
| 13:44:32 | × | FirefoxDeHuk quits (~FirefoxDe@109.108.69.106) (Write error: Broken pipe) |
| 13:44:33 | → | FirefoxDeHuk53 joins (~FirefoxDe@109.108.69.106) |
| 13:45:12 | × | tromp quits (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:49:12 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 13:53:28 | × | FirefoxDeHuk53 quits (~FirefoxDe@109.108.69.106) (Quit: Client closed) |
| 13:54:55 | trickard__ | is now known as trickard |
| 13:58:31 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 13:59:16 | × | tv quits (~tv@user/tv) (Quit: derp) |
| 13:59:43 | → | tv joins (~tv@user/tv) |
| 14:00:38 | × | trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:00:58 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 14:04:22 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:04:37 | × | myxos quits (~myxos@65.25.110.175) (Remote host closed the connection) |
| 14:11:14 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 14:14:21 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 14:15:31 | × | synchromesh quits (~john@2406:5a00:2412:2c00:80f9:f3a2:4980:7e12) (Read error: Connection reset by peer) |
| 14:16:00 | → | synchromesh joins (~john@2406:5a00:2412:2c00:80f9:f3a2:4980:7e12) |
| 14:25:02 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 14:25:13 | × | annamalai quits (~annamalai@157.49.214.182) (Ping timeout: 264 seconds) |
| 14:27:24 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 14:27:30 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 14:27:50 | × | diddy quits (~user@user/pranshu) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50)) |
| 14:28:14 | → | tromp joins (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) |
| 14:28:33 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 14:34:36 | × | gustrb quits (~gustrb@191.243.134.87) (Quit: gustrb) |
| 14:54:24 | × | pr1sm quits (~pr1sm@24.91.163.31) (Read error: Connection reset by peer) |
| 14:56:19 | × | ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 255 seconds) |
| 14:59:36 | → | lorinder joins (~lorinder@172.58.167.15) |
| 15:05:22 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 15:09:03 | × | lorinder quits (~lorinder@172.58.167.15) (Quit: Client closed) |
| 15:12:46 | Googulator84 | is now known as Googulator |
| 15:14:58 | → | lorinder joins (~lorinder@172.58.167.15) |
| 15:16:05 | × | lorinder quits (~lorinder@172.58.167.15) (Client Quit) |
| 15:16:35 | catties | is now known as c4tt135 |
| 15:17:07 | c4tt135 | is now known as C477135 |
| 15:22:19 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (Quit: WeeChat 4.6.3) |
| 15:24:53 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 15:28:23 | → | FirefoxDeHuk joins (~FirefoxDe@109.108.69.106) |
| 15:28:48 | × | FirefoxDeHuk quits (~FirefoxDe@109.108.69.106) (Client Quit) |
| 15:30:16 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 15:31:17 | → | annamalai joins (~annamalai@157.51.160.80) |
| 15:32:05 | <bwe> | How do I allow unicode characters (within ByteString) to be parsed to Text with Aeson? https://paste.tomsmeding.com/91KWHFXC |
| 15:37:58 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 15:39:28 | <geekosaur> | unicode has to be utf-8 encoded/decoded explicitly |
| 15:40:00 | <geekosaur> | ByteString is exactly that: byte strings. Any codepoint > 255 won't fit and will be truncated |
| 15:41:11 | × | LainIwakura58 quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 15:59:48 | × | tromp quits (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:02:52 | → | LainIwakura12 joins (~LainIwaku@user/LainIwakura) |
| 16:09:47 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 16:16:05 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:17:09 | → | trickard__ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 16:17:38 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:18:37 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 16:18:49 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 16:19:08 | → | Googulator joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 16:20:41 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit) |
| 16:20:45 | → | Googulator87 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 16:22:45 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 16:24:13 | → | tromp joins (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) |
| 16:25:31 | → | Guest012312 joins (~Guest0123@83.172.89.229) |
| 16:27:37 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 16:29:40 | × | Wbooze quits (~wboozE@2a02:8071:57a1:dc0:a984:f47b:49ad:2bc0) (Quit: Leaving) |
| 16:29:45 | × | Guest012312 quits (~Guest0123@83.172.89.229) (Client Quit) |
| 16:38:14 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 16:39:08 | <EvanR> | basically, aeson is assuming utf-8, as per some json spec |
| 16:40:38 | × | Googulator87 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 16:40:44 | → | Googulator22 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 16:40:44 | × | bggd quits (~bgg@2a01:e0a:819:1510:d163:624e:1256:4e49) (Remote host closed the connection) |
| 16:41:55 | Googulator22 | is now known as Googulator |
| 16:46:52 | × | LainIwakura12 quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 16:46:54 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 16:50:25 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 16:50:49 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 16:50:59 | → | Googulator joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 16:53:25 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 16:55:39 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit) |
| 16:55:42 | → | Googulator91 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 17:02:06 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
| 17:03:35 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 17:06:48 | × | Zemy quits (~Zemy@72.178.108.235) (Remote host closed the connection) |
| 17:07:17 | → | Zemy joins (~Zemy@72.178.108.235) |
| 17:14:15 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Quit: Leaving) |
| 17:15:25 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 17:16:23 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 17:16:56 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:23:02 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 17:23:23 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 17:23:37 | → | Wbooze joins (~wboozE@2a02:8071:57a1:dc0:a984:f47b:49ad:2bc0) |
| 17:24:03 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 17:25:40 | → | Googulator83 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 17:25:47 | × | Googulator91 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 17:28:28 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 17:30:50 | → | Googulator77 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 17:31:15 | × | Googulator83 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 17:35:55 | × | Googulator77 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 17:36:01 | → | Googulator93 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 17:36:26 | <mauke> | bwe: decode "{\"key\": \"value\194\181\"}" :: Maybe (HMS.HashMap Text Text) |
| 17:36:38 | trickard__ | is now known as trickard |
| 17:38:45 | → | speedycoder joins (uid644440@id-644440.ilkley.irccloud.com) |
| 17:39:27 | × | speedycoder quits (uid644440@id-644440.ilkley.irccloud.com) (Changing host) |
| 17:39:27 | → | speedycoder joins (uid644440@user/speedycoder) |
| 17:40:43 | → | Googulator26 joins (~Googulato@84-236-65-182.pool.digikabel.hu) |
| 17:40:43 | × | Googulator93 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit) |
| 17:41:37 | → | pr1sm joins (~pr1sm@24.91.163.31) |
| 17:44:42 | × | annamalai quits (~annamalai@157.51.160.80) (Ping timeout: 240 seconds) |
| 17:45:31 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 17:46:02 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 17:52:12 | OWS | is now known as Shark8 |
| 17:58:36 | <EvanR> | finely hand crafted artisan utf-8 |
| 17:58:48 | <EvanR> | using only local ethically sourced ingredients |
| 18:04:00 | × | speedycoder quits (uid644440@user/speedycoder) () |
| 18:11:52 | × | tromp quits (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:13:21 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 18:14:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:15:46 | → | Googulator8 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 18:15:46 | × | Googulator26 quits (~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed) |
| 18:19:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 18:20:10 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 244 seconds) |
| 18:20:19 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 18:21:24 | → | koz joins (~koz@121.99.240.58) |
| 18:24:07 | × | synchromesh quits (~john@2406:5a00:2412:2c00:80f9:f3a2:4980:7e12) (Read error: Connection reset by peer) |
| 18:25:42 | → | synchromesh joins (~john@2406:5a00:2412:2c00:80f9:f3a2:4980:7e12) |
| 18:25:57 | × | qqe quits (~qqq@185.54.23.200) (Quit: Lost terminal) |
| 18:28:49 | → | jzargo3 joins (~jzargo@user/jzargo) |
| 18:29:08 | → | EvanR_ joins (~EvanR@user/evanr) |
| 18:29:13 | → | Square2 joins (~Square4@user/square) |
| 18:29:14 | → | Lears joins (~Leary@user/Leary/x-0910699) |
| 18:29:18 | → | sam113102 joins (~sam@modemcable200.189-202-24.mc.videotron.ca) |
| 18:29:42 | → | ridcully_ joins (~ridcully@p57b52b68.dip0.t-ipconnect.de) |
| 18:29:51 | → | op_4_ joins (~tslil@2a01:4f8:c0c:7952::1) |
| 18:30:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:30:47 | → | Digitteknohippie joins (~user@user/digit) |
| 18:31:54 | → | haskellbridge_ joins (~hackager@96.28.224.214) |
| 18:31:54 | ChanServ | sets mode +v haskellbridge_ |
| 18:33:19 | → | m1dnight_ joins (~m1dnight@d8D861A17.access.telenet.be) |
| 18:33:33 | → | gabriel_1 joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 18:34:37 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 18:35:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 18:35:38 | → | AlexZenon_2 joins (~alzenon@85.174.180.65) |
| 18:37:35 | × | synchromesh quits (~john@2406:5a00:2412:2c00:80f9:f3a2:4980:7e12) (*.net *.split) |
| 18:37:35 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (*.net *.split) |
| 18:37:35 | × | pr1sm quits (~pr1sm@24.91.163.31) (*.net *.split) |
| 18:37:36 | × | notzmv quits (~umar@user/notzmv) (*.net *.split) |
| 18:37:36 | × | Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (*.net *.split) |
| 18:37:36 | × | m1dnight quits (~m1dnight@d8D861A17.access.telenet.be) (*.net *.split) |
| 18:37:36 | × | Square quits (~Square4@user/square) (*.net *.split) |
| 18:37:36 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (*.net *.split) |
| 18:37:36 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
| 18:37:36 | × | jzargo2 quits (~jzargo@user/jzargo) (*.net *.split) |
| 18:37:36 | × | sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (*.net *.split) |
| 18:37:36 | × | Digit quits (~user@user/digit) (*.net *.split) |
| 18:37:36 | × | EvanR quits (~EvanR@user/evanr) (*.net *.split) |
| 18:37:36 | × | nek0 quits (~nek0@user/nek0) (*.net *.split) |
| 18:37:36 | × | haskellbridge quits (~hackager@96.28.224.214) (*.net *.split) |
| 18:37:36 | × | ridcully quits (~ridcully@p57b52b68.dip0.t-ipconnect.de) (*.net *.split) |
| 18:37:36 | × | elenril quits (~elenril@tutturu.khirnov.net) (*.net *.split) |
| 18:37:36 | × | AlexZenon quits (~alzenon@85.174.180.65) (*.net *.split) |
| 18:37:36 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split) |
| 18:37:36 | × | op_4 quits (~tslil@user/op-4/x-9116473) (*.net *.split) |
| 18:37:36 | × | infinity0 quits (~infinity0@pwned.gg) (*.net *.split) |
| 18:37:36 | × | Beowulf quits (florian@2a01:4f9:3b:2d56::2) (*.net *.split) |
| 18:37:36 | × | hellwolf quits (~user@6526-1813-95c5-dfbc-0f00-4d40-07d0-2001.sta.estpak.ee) (*.net *.split) |
| 18:37:36 | × | Leary quits (~Leary@user/Leary/x-0910699) (*.net *.split) |
| 18:37:36 | op_4_ | is now known as op_4 |
| 18:37:38 | sam113102 | is now known as sam113101 |
| 18:40:45 | → | Googulator20 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 18:40:45 | × | Googulator8 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 18:41:33 | × | FANTOM quits (~fantom@212.228.181.156) (Ping timeout: 256 seconds) |
| 18:41:46 | haskellbridge_ | is now known as haskellbridge |
| 18:42:32 | <bwe> | `decodeStrictText (utf8OrLatin1ToText "{\"key\": \"value\181\"}") :: Maybe (HMS.HashMap Text Text)` is going from ByteString to Text and starts decoding from Text only |
| 18:42:33 | <bwe> | https://paste.tomsmeding.com/8iOWvhaT |
| 18:42:55 | → | FANTOM joins (~fantom@212.228.181.156) |
| 18:44:03 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 18:44:49 | EvanR_ | is now known as EvanR |
| 18:44:58 | <EvanR> | the heck is utf8OrLatin1ToText |
| 18:45:05 | <EvanR> | sounds dicey |
| 18:46:04 | <EvanR> | oh you defined it |
| 18:46:15 | <EvanR> | that sounds liable to explode in your face |
| 18:46:21 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:46:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:46:49 | × | Square2 quits (~Square4@user/square) (Ping timeout: 264 seconds) |
| 18:46:54 | <EvanR> | decode "{\"key\": \"valueµ\"}" is wrong because mu is not an ascii character |
| 18:47:05 | <EvanR> | and you're trying to specify a byte string |
| 18:47:28 | <EvanR> | decode "{\"key\": \"value\181\"}" is wrong because it's not utf-8 |
| 18:48:43 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 18:49:40 | → | tromp joins (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) |
| 18:49:42 | <bwe> | EvanR: Yes, that's what I've understood now, too. So, how to get a bytestring to utf-8 text safely? |
| 18:50:01 | <EvanR> | "utf-8 text" is another categorical error |
| 18:50:37 | <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 |
| 18:51:00 | <EvanR> | guessing can never 100% work, so you just have to decide what to accept, then deal with a decoding error |
| 18:51:46 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
| 18:52:17 | <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 |
| 18:52:43 | <EvanR> | should have been *you have to know how the original text was encoded |
| 18:53:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 18:53:29 | <EvanR> | but if you are using UTF-8, then first converting to Text before using Aeson sounds like extraneous steps |
| 18:55:01 | <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. |
| 18:55:54 | <monochrom> | And yeah if you do your own decoding by your own hand before letting Aeson do its job, it's an XY problem. |
| 18:56:18 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 18:56:24 | <monochrom> | Or in short, mauke's example is right, just do that. |
| 18:56:41 | <dminuoso> | monochrom: To be fair, RFC8259 is an internet standard and it imposes UTF8 for open systems (outside closed ecosystems). |
| 18:56:55 | <dminuoso> | If we adopt RFC terminology, you *MUST* assume UTF-8. |
| 18:57:34 | → | annamalai joins (~annamalai@2409:4042:4c88:4dce::9e4a:a60c) |
| 18:57:36 | <monochrom> | Agreed. |
| 18:58:10 | <monochrom> | OTOH I also have Windows zealots in mind---you know, those who use Windows-1293 or something. |
| 18:58:51 | <monochrom> | Or Americans---they think the whole world is Latin-1. |
| 18:58:55 | <dminuoso> | I have no pity for those who suffer from mojibake. |
| 18:59:02 | <dminuoso> | It is a curable disease. |
| 18:59:49 | Digitteknohippie | is now known as Digit |
| 19:00:49 | <dminuoso> | Worrying about Windows-1293 or Latin-1 is like worrying about measles in the year 2025. |
| 19:01:26 | <monochrom> | Oh, about that. |
| 19:01:52 | <monochrom> | Both pro-vaxxers and anti-vaxxers agree: Don't worry about measles. >:) |
| 19:02:13 | <dminuoso> | The Darwinist in me says: Let there be outbreaks. |
| 19:03:03 | <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 |
| 19:03:11 | <Digit> | monochrom: do any-vaxxers agree too? |
| 19:03:40 | <EvanR> | lol at "the RFC says you have to" |
| 19:03:45 | <dminuoso> | Digit: What is an any-vaxxer? Those who just inject anything they can get their hands on? We call those junkies. |
| 19:04:05 | <EvanR> | there's a documentary about that, Crank with jason statham |
| 19:04:11 | <monochrom> | haha |
| 19:04:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:05:27 | <EvanR> | the corresponding policy would be to attempt to decode the input at any cost, even producing nonsense or suffering security issues |
| 19:05:34 | <EvanR> | never fail |
| 19:05:37 | <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. |
| 19:05:44 | <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. |
| 19:05:56 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 19:05:58 | <dminuoso> | s/file formats/file- and wireformats/ |
| 19:06:08 | <EvanR> | dminuoso, that still wouldn't avoid a "failed to decode" code path |
| 19:06:13 | <haskellbridge> | <loonycyborg> JSON is always utf-8, otherwise it's non-conforming |
| 19:06:35 | <EvanR> | yes bwe is out on a limb |
| 19:06:37 | <dminuoso> | EvanR: If a file has a declared encoding and is lying about that, you deserve to be complained to by your users. |
| 19:06:51 | <dminuoso> | Where you is whoeever is responsible for the software or using it. |
| 19:06:55 | <EvanR> | dminuoso, this sort of "plan" doesn't sound particularly worth it |
| 19:07:04 | <dminuoso> | EvanR: It seems to work fine for the rest of the world. |
| 19:07:08 | <EvanR> | reengineer all file formats ever and then it still doesn't work |
| 19:07:10 | <haskellbridge> | <loonycyborg> iirc there's a library that can figure out encoding without any metadata |
| 19:07:13 | <dminuoso> | Try using execve on an email file. |
| 19:07:17 | <dminuoso> | It wont just "try and make sense of it" |
| 19:07:25 | <dminuoso> | It will rightfully complain that its not an ELF. |
| 19:07:44 | <monochrom> | Sounds like something my students may try. :) |
| 19:07:58 | <haskellbridge> | <loonycyborg> That reminds me how I tried to run a C program directly as a binary when I was a kid |
| 19:08:09 | <EvanR> | an email might actually end up being mistaken for an ELF file if you try hard enough |
| 19:08:14 | <monochrom> | Sounds like something my students tried. :) |
| 19:08:44 | <EvanR> | but that's a separate issue from needing to rejecting stuff because it can't be decoded |
| 19:08:49 | <haskellbridge> | <loonycyborg> it was easy to do under DOS |
| 19:08:52 | <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. |
| 19:09:01 | <haskellbridge> | <loonycyborg> because it doesn't even have +x attribute |
| 19:09:15 | <haskellbridge> | <loonycyborg> and running a C file like that hung entire PC :P |
| 19:09:16 | <dminuoso> | EvanR: Well, you can always do a lenient decode of course. |
| 19:09:27 | <dminuoso> | I favour lenient UTF8 decodes in most my software. |
| 19:09:31 | <EvanR> | if you don't control the input, then there's no guarantee you can communicate, end of |
| 19:09:37 | <haskellbridge> | <loonycyborg> That for sure sparked my interest in building software though |
| 19:09:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 19:10:03 | <EvanR> | the HTML policy of produce something just never fail ever |
| 19:10:07 | <EvanR> | is insane |
| 19:10:21 | <haskellbridge> | <loonycyborg> bwe: though in case of JSON in particular it's required to be UTF-8 by own definition |
| 19:10:42 | <EvanR> | tell that to the data he's getting |
| 19:10:56 | <EvanR> | be utf-8 or else! *nothing happens* |
| 19:11:05 | <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. |
| 19:11:26 | <haskellbridge> | <loonycyborg> well whatever that produces "JSON" in non-standard encoding should be probably fixed too |
| 19:11:48 | <EvanR> | citizens arrest. Sorry your program is produces non-compliant json |
| 19:12:02 | <EvanR> | that'll be $500 |
| 19:12:49 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 255 seconds) |
| 19:12:58 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 19:13:14 | <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. |
| 19:13:34 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 19:13:38 | <haskellbridge> | <loonycyborg> it entirely depends on source |
| 19:13:41 | → | hellwolf joins (~user@b3d5-ec31-ba5a-9945-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 19:13:43 | <monochrom> | I have described my XYZ solution for that. |
| 19:13:44 | → | elenril joins (~elenril@tutturu.khirnov.net) |
| 19:13:45 | → | infinity0 joins (~infinity0@pwned.gg) |
| 19:13:47 | → | nek0 joins (~nek0@user/nek0) |
| 19:13:51 | → | synchromesh joins (~john@2406:5a00:2412:2c00:80f9:f3a2:4980:7e12) |
| 19:13:52 | <haskellbridge> | <loonycyborg> if you know real encoding you can feed it to iconv first |
| 19:14:04 | → | Beowulf joins (florian@2a01:4f9:3b:2d56::2) |
| 19:14:23 | <haskellbridge> | <loonycyborg> or haskell function to recode it |
| 19:14:54 | <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? |
| 19:15:13 | <EvanR> | but, logically, can you distinguish between utf-8 and latin1 always? |
| 19:16:07 | <haskellbridge> | <loonycyborg> https://github.com/Project-OSS-Revival/enca |
| 19:16:36 | <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 |
| 19:16:47 | <EvanR> | sending it to someone else is anothe rstory |
| 19:16:51 | <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 |
| 19:17:04 | <EvanR> | it's a probability? Dx |
| 19:17:36 | <tomsmeding> | well, yeah, any byte sequence is valid latin1 so to say anything useful there you have to estimate probabilities :p |
| 19:17:45 | <monochrom> | EvanR, I propose transcoding because I think that it fits aeson well. |
| 19:17:57 | <tomsmeding> | transcoding is only a problem if you have performance issues with that |
| 19:18:41 | <EvanR> | tomsmeding, I see what you mean now. And yeah, that's awful and why I was criticizing the situation |
| 19:19:04 | <tomsmeding> | yeah I was supporting what you were saying :p |
| 19:19:06 | <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) |
| 19:19:18 | <tomsmeding> | yeah |
| 19:20:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:20:29 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 250 seconds) |
| 19:20:46 | → | Googulator86 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 19:20:50 | × | Googulator20 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 19:23:43 | <monochrom> | OK OK aeson has [either/throw]decodeStrctText, you can do your own utf8-or-latin1 decoding to Text, then give it to aeson. |
| 19:24:16 | <bwe> | monochrom: That's exactly what my approach is. |
| 19:24:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 19:25:25 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 19:27:24 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:27:43 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 19:35:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:39:01 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 264 seconds) |
| 19:39:07 | → | qqe joins (~qqq@185.54.23.200) |
| 19:39:49 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:41:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:51:34 | → | Jackneill joins (~Jackneill@94-21-95-10.pool.digikabel.hu) |
| 19:51:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:55:17 | → | koz joins (~koz@121.99.240.58) |
| 19:56:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 19:59:22 | × | trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 19:59:36 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 20:01:48 | AlexZenon_2 | is now known as AlexZenon |
| 20:05:46 | × | Googulator86 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 20:05:48 | → | Googulator79 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 20:07:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:10:52 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 20:12:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:14:34 | → | Zemy_ joins (~Zemy@2600:100c:b046:9707:64c6:42ff:fe67:7876) |
| 20:15:24 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 20:16:36 | × | lortabac quits (~lortabac@mx1.fracta.dev) (Read error: Connection reset by peer) |
| 20:16:50 | → | lortabac joins (~lortabac@mx1.fracta.dev) |
| 20:16:59 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 20:17:27 | × | Zemy quits (~Zemy@72.178.108.235) (Ping timeout: 244 seconds) |
| 20:17:36 | × | sajith quits (~sajith@user/sajith) (Remote host closed the connection) |
| 20:17:58 | → | sajith_ joins (~sajith@user/sajith) |
| 20:19:18 | → | Fijxu_ joins (~Fijxu@user/fijxu) |
| 20:21:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:24:48 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 20:25:38 | → | Googulator28 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 20:25:52 | × | Googulator79 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 20:28:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 20:31:03 | → | Zemy joins (~Zemy@2600:100c:b046:9707:7c26:54ff:fe94:28b9) |
| 20:31:03 | × | Zemy_ quits (~Zemy@2600:100c:b046:9707:64c6:42ff:fe67:7876) (Read error: Connection reset by peer) |
| 20:35:46 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 20:39:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:40:07 | <haskellbridge> | <Morj> I just tried stack's nix integration. It's convenient |
| 20:40:32 | <haskellbridge> | <Morj> What's not convenient is that now 'stack run' has to enter the shell every time which takes like 10 seconds |
| 20:41:25 | → | notzmv joins (~umar@user/notzmv) |
| 20:44:32 | → | Zemy_ joins (~Zemy@mobile-107-80-206-62.mycingular.net) |
| 20:44:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 20:46:48 | × | Zemy quits (~Zemy@2600:100c:b046:9707:7c26:54ff:fe94:28b9) (Ping timeout: 256 seconds) |
| 20:51:54 | <haskellbridge> | <sm> ack |
| 20:52:00 | <haskellbridge> | <sm> why does that take 10s ? |
| 20:55:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:57:15 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: ksdsk) |
| 20:58:55 | → | Zemy joins (~Zemy@2600:100c:b046:9707:c36:41ff:feef:7f2c) |
| 20:59:37 | <haskellbridge> | <Morj> Well, that's just nix? Some operations take long there |
| 20:59:56 | <haskellbridge> | <Morj> «time nix-shell -p stack haskell.compiler.ghc98 --run exit» gives «real 0m7.712s» |
| 21:00:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:00:18 | <haskellbridge> | <Morj> I'm not well versed enough to know how to profile nix |
| 21:00:50 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 21:00:55 | × | Zemy_ quits (~Zemy@mobile-107-80-206-62.mycingular.net) (Ping timeout: 264 seconds) |
| 21:01:16 | × | qqe quits (~qqq@185.54.23.200) (Remote host closed the connection) |
| 21:02:40 | <haskellbridge> | <magic_rb> There isnt great tooling anyway for that |
| 21:03:03 | <haskellbridge> | <magic_rb> There has been some developments in profiling and perf improvements but i havent tested them |
| 21:03:50 | <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 |
| 21:04:16 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 21:04:25 | <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 |
| 21:04:45 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 21:08:25 | → | Zemy_ joins (~Zemy@12.50.228.210) |
| 21:09:15 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:09:29 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 21:10:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:12:31 | × | Zemy quits (~Zemy@2600:100c:b046:9707:c36:41ff:feef:7f2c) (Ping timeout: 255 seconds) |
| 21:12:50 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 21:15:10 | × | cstml quits (~cstml@user/cstml) (Quit: ZNC 1.10.1 - https://znc.in) |
| 21:15:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:15:56 | → | Googulator20 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 21:16:22 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 21:17:03 | → | cstml joins (~cstml@user/cstml) |
| 21:17:36 | × | Googulator28 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 21:17:41 | × | Zemy_ quits (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 21:17:52 | → | Zemy joins (~Zemy@2600:100c:b046:9707:5440:70ff:fe17:6d63) |
| 21:18:20 | → | Zemy_ joins (~Zemy@12.50.228.210) |
| 21:18:43 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 21:19:40 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 21:21:14 | × | Zemy quits (~Zemy@2600:100c:b046:9707:5440:70ff:fe17:6d63) (Read error: Connection reset by peer) |
| 21:21:42 | → | Zemy joins (~Zemy@2600:100c:b046:9707:5ca5:3dff:fef3:1451) |
| 21:21:42 | × | Zemy_ quits (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 21:22:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:23:14 | → | Zemy_ joins (~Zemy@12.50.228.210) |
| 21:23:26 | × | Zemy quits (~Zemy@2600:100c:b046:9707:5ca5:3dff:fef3:1451) (Read error: Connection reset by peer) |
| 21:24:03 | → | Zemy joins (~Zemy@2600:100c:b046:9707:9c27:d8ff:fee0:7c8) |
| 21:24:10 | × | Zemy_ quits (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 21:25:17 | → | Zemy_ joins (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 21:25:35 | × | Zemy quits (~Zemy@2600:100c:b046:9707:9c27:d8ff:fee0:7c8) (Read error: Connection reset by peer) |
| 21:25:35 | × | Googulator20 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 21:25:39 | → | Googulator45 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 21:27:05 | trickard_ | is now known as trickard |
| 21:27:11 | × | Zemy_ quits (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Read error: Connection reset by peer) |
| 21:27:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:27:54 | → | Zemy joins (~Zemy@2600:100c:b046:9707:28c8:85ff:fe75:8ae2) |
| 21:30:04 | → | fp joins (~Thunderbi@2607:fb90:cfb4:41f:78ab:bbd4:b9ed:abba) |
| 21:30:05 | → | Zemy_ joins (~Zemy@12.50.228.210) |
| 21:30:16 | <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 |
| 21:30:21 | × | Zemy quits (~Zemy@2600:100c:b046:9707:28c8:85ff:fe75:8ae2) (Read error: Connection reset by peer) |
| 21:30:56 | → | Zemy joins (~Zemy@2600:100c:b046:9707:2856:c5ff:fe19:1394) |
| 21:30:57 | × | Zemy_ quits (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 21:31:30 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 21:32:18 | → | Zemy_ joins (~Zemy@12.50.228.210) |
| 21:32:39 | × | Zemy quits (~Zemy@2600:100c:b046:9707:2856:c5ff:fe19:1394) (Read error: Connection reset by peer) |
| 21:33:11 | → | Zemy joins (~Zemy@2600:100c:b046:9707:b0f4:55ff:fe39:43d0) |
| 21:34:46 | → | Core2678 joins (~Zemy@12.50.228.210) |
| 21:35:14 | × | Zemy_ quits (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 21:35:59 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 21:35:59 | × | Zemy quits (~Zemy@2600:100c:b046:9707:b0f4:55ff:fe39:43d0) (Read error: Connection reset by peer) |
| 21:36:01 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:36:08 | → | Zemy joins (~Zemy@2600:100c:b046:9707:b04e:c2ff:fea5:d41f) |
| 21:36:34 | × | Core2678 quits (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 21:37:20 | → | fp1 joins (~Thunderbi@172.59.75.232) |
| 21:37:35 | × | fp quits (~Thunderbi@2607:fb90:cfb4:41f:78ab:bbd4:b9ed:abba) (Quit: fp) |
| 21:37:48 | fp1 | is now known as fp |
| 21:37:58 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 21:38:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:38:20 | → | gustrb joins (~gustrb@191.243.134.87) |
| 21:39:08 | → | Zemy_ joins (~Zemy@12.50.228.210) |
| 21:39:35 | → | Vajb joins (~Vajb@n60ck02t8pyq870qtsc-1.v6.elisa-mobile.fi) |
| 21:39:47 | × | Zemy quits (~Zemy@2600:100c:b046:9707:b04e:c2ff:fea5:d41f) (Read error: Connection reset by peer) |
| 21:40:16 | → | Zemy joins (~Zemy@2600:100c:b046:9707:1404:68ff:feaf:ba37) |
| 21:42:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:43:27 | × | Zemy_ quits (~Zemy@12.50.228.210) (Ping timeout: 256 seconds) |
| 21:44:04 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 21:45:02 | → | Zemy_ joins (~Zemy@12.50.228.210) |
| 21:46:53 | → | Core3549 joins (~Zemy@2600:100c:b046:9707:401b:80ff:feed:7419) |
| 21:46:54 | × | Zemy_ quits (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 21:47:07 | × | Zemy quits (~Zemy@2600:100c:b046:9707:1404:68ff:feaf:ba37) (Read error: Connection reset by peer) |
| 21:49:31 | × | fp quits (~Thunderbi@172.59.75.232) (Ping timeout: 264 seconds) |
| 21:50:35 | → | fp joins (~Thunderbi@172.59.75.232) |
| 21:53:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:57:03 | × | fp quits (~Thunderbi@172.59.75.232) (Ping timeout: 256 seconds) |
| 21:58:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:02:13 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 246 seconds) |
| 22:03:26 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 22:03:48 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 22:04:35 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 22:09:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:10:30 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 22:11:25 | → | Zemy joins (~Zemy@2600:100c:b046:9707:4821:46ff:fe54:760f) |
| 22:11:25 | × | Core3549 quits (~Zemy@2600:100c:b046:9707:401b:80ff:feed:7419) (Read error: Connection reset by peer) |
| 22:12:49 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 22:13:46 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 22:13:51 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 22:15:38 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 22:16:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:18:27 | × | Zemy quits (~Zemy@2600:100c:b046:9707:4821:46ff:fe54:760f) (Ping timeout: 260 seconds) |
| 22:19:02 | → | Zemy joins (~Zemy@2600:100c:b046:9707:dc35:35ff:fe8c:8f0) |
| 22:19:02 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 22:19:32 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 22:19:39 | × | Zemy quits (~Zemy@2600:100c:b046:9707:dc35:35ff:fe8c:8f0) (Read error: Connection reset by peer) |
| 22:20:11 | → | Zemy joins (~Zemy@2600:100c:b046:9707:b0f1:19ff:fe78:c6e0) |
| 22:20:26 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 22:21:05 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 22:22:06 | × | Zemy quits (~Zemy@2600:100c:b046:9707:b0f1:19ff:fe78:c6e0) (Read error: Connection reset by peer) |
| 22:22:41 | → | Zemy joins (~Zemy@2600:100c:b046:9707:5488:faff:fe55:bb0) |
| 22:22:41 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 22:23:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:24:06 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 22:24:12 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 22:25:42 | → | Googulator5 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 22:25:42 | × | Googulator45 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 22:26:22 | × | acidjnk quits (~acidjnk@p200300d6e7171970dc8f19326409100f.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 22:27:19 | × | Zemy quits (~Zemy@2600:100c:b046:9707:5488:faff:fe55:bb0) (Ping timeout: 264 seconds) |
| 22:28:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 22:29:49 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:38:03 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 22:39:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:40:43 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 22:44:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 22:44:49 | × | annamalai quits (~annamalai@2409:4042:4c88:4dce::9e4a:a60c) (Ping timeout: 265 seconds) |
| 22:54:00 | × | AlexZenon quits (~alzenon@85.174.180.65) (Ping timeout: 252 seconds) |
| 22:54:01 | → | AlexNoo_ joins (~AlexNoo@85.174.182.61) |
| 22:54:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:55:59 | × | AlexNoo quits (~AlexNoo@85.174.180.65) (Ping timeout: 256 seconds) |
| 22:57:57 | → | AlexZenon joins (~alzenon@85.174.182.61) |
| 22:58:03 | → | Pozyomka joins (~pyon@user/pyon) |
| 23:00:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:03:36 | → | Alex_test_ joins (~al_test@85.174.182.61) |
| 23:05:43 | × | Googulator5 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 23:05:49 | → | Googulator59 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 23:10:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:15:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:16:24 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 23:18:29 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:21:55 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 264 seconds) |
| 23:24:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:29:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 23:31:18 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 23:40:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:41:21 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 23:41:35 | → | Zemy joins (~Zemy@72.178.108.235) |
| 23:42:07 | → | Zemy_ joins (~Zemy@2600:100c:b046:9707:e433:baff:fecb:789f) |
| 23:42:07 | × | Zemy quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 23:42:46 | → | Zemy joins (~Zemy@72.178.108.235) |
| 23:43:36 | → | Pozyomka joins (~pyon@user/pyon) |
| 23:43:58 | × | Zemy_ quits (~Zemy@2600:100c:b046:9707:e433:baff:fecb:789f) (Read error: Connection reset by peer) |
| 23:44:12 | → | Zemy_ joins (~Zemy@2600:100c:b046:9707:54d4:21ff:fef3:7616) |
| 23:44:15 | → | pavonia joins (~user@user/siracusa) |
| 23:45:29 | × | Zemy quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 23:45:46 | → | Zemy joins (~Zemy@72.178.108.235) |
| 23:46:01 | × | Zemy_ quits (~Zemy@2600:100c:b046:9707:54d4:21ff:fef3:7616) (Read error: Connection reset by peer) |
| 23:46:39 | → | Zemy_ joins (~Zemy@2600:100c:b046:9707:446a:f4ff:feb4:7eab) |
| 23:46:40 | × | Zemy quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 23:46:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:47:12 | → | Zemy joins (~Zemy@72.178.108.235) |
| 23:48:06 | × | Zemy_ quits (~Zemy@2600:100c:b046:9707:446a:f4ff:feb4:7eab) (Read error: Connection reset by peer) |
| 23:48:30 | × | Zemy quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 23:48:33 | → | Zemy_ joins (~Zemy@2600:100c:b046:9707:e814:97ff:feff:6dd6) |
| 23:49:04 | → | Zemy joins (~Zemy@72.178.108.235) |
| 23:52:15 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 23:52:43 | × | Zemy_ quits (~Zemy@2600:100c:b046:9707:e814:97ff:feff:6dd6) (Ping timeout: 255 seconds) |
| 23:58:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC on 2025-10-27.