IRCBrowse

2021/05/24

2021-05-24 00:00:21 +0200zeenk(~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41)
2021-05-24 00:02:18 +0200mastarija(~mastarija@31.217.14.127) (Quit: Leaving)
2021-05-24 00:04:34 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-24 00:04:53 +0200dudek(~dudek@185.150.236.112) (Quit: Leaving)
2021-05-24 00:06:29 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-05-24 00:07:41 +0200wonko(~wjc@user/wonko) (Ping timeout: 272 seconds)
2021-05-24 00:07:59 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-24 00:15:54 +0200fendor_(~fendor@178.165.191.174.wireless.dyn.drei.com) (Remote host closed the connection)
2021-05-24 00:16:14 +0200haskman(~haskman@106.215.24.177) (Quit: Going to sleep. ZZZzzz…)
2021-05-24 00:16:25 +0200liv(~liv@bras-base-burlon0233w-grc-86-70-30-52-48.dsl.bell.ca)
2021-05-24 00:17:50 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 00:18:04 +0200juhp(~juhp@128.106.188.199)
2021-05-24 00:22:25 +0200zeenk(~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!)
2021-05-24 00:28:01 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-05-24 00:30:04 +0200scrazen(~scrazen@user/scrazen) (Remote host closed the connection)
2021-05-24 00:30:12 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-24 00:30:32 +0200 <sclv> just as an fyi, we'll probably have some hackage downtime later today (maybe in an hour or two) as we migrate to a bigger server
2021-05-24 00:30:49 +0200 <sclv> mirrors will still work, so won't affect cabal usage etc, just doc availability
2021-05-24 00:33:58 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-24 00:34:23 +0200liv(~liv@bras-base-burlon0233w-grc-86-70-30-52-48.dsl.bell.ca) (Remote host closed the connection)
2021-05-24 00:35:13 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-05-24 00:36:25 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-24 00:41:30 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-24 00:42:14 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net)
2021-05-24 00:43:51 +0200kewa(~kewa@5.138.148.77)
2021-05-24 00:45:08 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor)
2021-05-24 00:45:35 +0200nkjni(~manjaro-g@net-93-148-57-85.cust.vodafonedsl.it)
2021-05-24 00:46:26 +0200 <Restle> I remember reading a blogpost that covered full parametric data types (I.E, `data Person name age = Person name age`) where every field is a type variable, but I forgot what it was referred to as
2021-05-24 00:46:42 +0200 <Restle> Is there a common name for this? Google isn't turning up much
2021-05-24 00:48:10 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 00:48:24 +0200juhp(~juhp@128.106.188.199)
2021-05-24 00:49:14 +0200 <dmwit> I guess it's a sum of products.
2021-05-24 00:49:28 +0200 <dmwit> I don't really think there's a common name for it. It's not a common property.
2021-05-24 00:49:48 +0200nkjni(~manjaro-g@net-93-148-57-85.cust.vodafonedsl.it) (Quit: Leaving)
2021-05-24 00:51:23 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 272 seconds)
2021-05-24 00:53:10 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-05-24 00:53:49 +0200 <hpc> the value-level equivalent is "supercombinator"
2021-05-24 00:54:16 +0200 <hpc> even at that level it's not terribly interesting
2021-05-24 00:56:23 +0200 <Restle> It makes for some interesting APIs though, if you're able to demand constraints on specific fields sometimes and not others: `data User a b = User { username :: a, password :: b }` allowing for: `login :: forall a b. Hash b => User a b -> IO ()`
2021-05-24 00:57:16 +0200 <hpc> what if you want to process a list of users
2021-05-24 00:57:19 +0200 <Restle> I don't want to do this though, nor suggesting doing this everywhere, I was just trying to track down the original block post
2021-05-24 00:57:22 +0200 <Restle> blog*
2021-05-24 00:57:28 +0200 <hpc> some of which have sha256 passwords and some of which have sha512 passwords?
2021-05-24 00:58:03 +0200 <Restle> Then either your type system just helped you realise you were about to write broken code and that is by design :), or you generalise the type further perhaps?
2021-05-24 00:58:24 +0200 <boxscape> data UserList a = forall b . UserList [User a b]?
2021-05-24 00:58:29 +0200 <boxscape> eh
2021-05-24 00:58:35 +0200 <boxscape> data UserList a = forall b . Hash b => UserList [User a b]?
2021-05-24 00:59:06 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-05-24 00:59:18 +0200 <Restle> Yeah existentials save you here but it's kind of nasty
2021-05-24 00:59:34 +0200xwx(~george@user/george) (Ping timeout: 264 seconds)
2021-05-24 01:00:07 +0200unyu(~pyon@user/pyon)
2021-05-24 01:02:29 +0200 <doyougnu> Could it be related to Tagless-Final stuff from Oleg?
2021-05-24 01:02:49 +0200exarkun2exarkun
2021-05-24 01:05:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-05-24 01:05:49 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-24 01:06:27 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-24 01:06:27 +0200 <Restle> Possibly but his site is a labyrinth, I wouldn't know where to start trying to track it down :(
2021-05-24 01:07:57 +0200ddellacosta(~ddellacos@86.106.121.78)
2021-05-24 01:09:45 +0200yumaikas-(~yumaikas@c-75-70-163-65.hsd1.co.comcast.net) (Ping timeout: 272 seconds)
2021-05-24 01:10:30 +0200drewr(~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a)
2021-05-24 01:11:15 +0200ddellacosta(~ddellacos@86.106.121.78) (Read error: Connection reset by peer)
2021-05-24 01:13:45 +0200exarkun(~exarkun@2605:59c1:c2cc:400:70e1:a9aa:6155:349e) (Remote host closed the connection)
2021-05-24 01:13:59 +0200exarkun1(~exarkun@2605:59c1:c2cc:400::e9c)
2021-05-24 01:14:42 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-24 01:16:09 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Quit: Computer is sleeping. ZZZzzz…)
2021-05-24 01:16:51 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-24 01:20:01 +0200slack1256(~slack1256@181.203.76.139)
2021-05-24 01:20:13 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Client Quit)
2021-05-24 01:21:10 +0200 <boxscape> ah, actually, the existential would have to be different
2021-05-24 01:21:24 +0200 <boxscape> data EUser a = forall b . Hash b => User a b
2021-05-24 01:21:32 +0200 <boxscape> and then you can use [EUser a] directly
2021-05-24 01:21:48 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-24 01:21:48 +0200 <boxscape> with the other definition there's still only one b for the entire list
2021-05-24 01:22:13 +0200abrar(~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2021-05-24 01:23:12 +0200 <Restle> You could `type UserList a = [forall b. User a b]` I think
2021-05-24 01:23:42 +0200 <Restle> Missed the constraint but I'm falling asleep at the keyboard, time to logoff I think
2021-05-24 01:23:52 +0200 <boxscape> seems like it would have to be `type UserList a = [exists b . Hash b => User a b]` no?
2021-05-24 01:24:03 +0200 <boxscape> (except of course we don't have the exists keyword yet)
2021-05-24 01:24:28 +0200 <Restle> exists can _always_ be transformed into some Rank N of forall though no?
2021-05-24 01:24:48 +0200 <boxscape> yes, exists n . P n = forall r (forall n . P n -> r) -> r, I believe
2021-05-24 01:25:02 +0200kaskal(~user@2001:4bb8:2e8:6ec5:e985:ebf:4001:b154)
2021-05-24 01:26:20 +0200kaskal(~user@2001:4bb8:2e8:6ec5:e985:ebf:4001:b154) ()
2021-05-24 01:27:04 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Quit: Computer is sleeping. ZZZzzz…)
2021-05-24 01:27:10 +0200Gurkenglas__(~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2021-05-24 01:28:27 +0200heath(~heath@68.68.64.38) (Ping timeout: 264 seconds)
2021-05-24 01:33:47 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-24 01:34:01 +0200kaskal(~user@2001:4bb8:2e8:6ec5:e985:ebf:4001:b154)
2021-05-24 01:35:01 +0200space-shell(5862f726@107.161.19.109) (Quit: Connection closed)
2021-05-24 01:37:57 +0200kaskal(~user@2001:4bb8:2e8:6ec5:e985:ebf:4001:b154) (Quit: ERC (IRC client for Emacs 26.3))
2021-05-24 01:38:34 +0200heath(~heath@68.68.64.38)
2021-05-24 01:40:56 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-24 01:46:45 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2021-05-24 01:49:21 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-24 01:50:32 +0200koolazer(~koolazer@user/koolazer)
2021-05-24 01:53:31 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 01:53:45 +0200juhp(~juhp@128.106.188.199)
2021-05-24 01:55:38 +0200Cartercarter_
2021-05-24 01:55:41 +0200carter_carter
2021-05-24 01:56:15 +0200kaskal(~user@2001:4bb8:2e8:6ec5:e985:ebf:4001:b154)
2021-05-24 02:03:55 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at)
2021-05-24 02:09:20 +0200 <ski> Restle : no, `[forall b. User a b]' is very different
2021-05-24 02:10:41 +0200daenth(~textual@162.218.217.186)
2021-05-24 02:10:46 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-24 02:12:19 +0200daenth(~textual@162.218.217.186) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-24 02:12:33 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at)
2021-05-24 02:13:35 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2021-05-24 02:15:31 +0200boxscapesighs
2021-05-24 02:15:37 +0200chddr(~Thunderbi@91.226.34.182) (Ping timeout: 272 seconds)
2021-05-24 02:15:39 +0200 <boxscape> I so often want Bool to have a Monoid instance for &&
2021-05-24 02:15:43 +0200kewa(~kewa@5.138.148.77) (Ping timeout: 265 seconds)
2021-05-24 02:15:52 +0200 <boxscape> so I can do `predicate1 <> predicate2 :: a -> Bool`
2021-05-24 02:16:41 +0200 <boxscape> (without messing around with newtypes, because at that point I might as well write it all out)
2021-05-24 02:20:22 +0200 <boxscape> Alternatively I guess (&&) and (||) could be methods of some class and `a -> Bool` could be an instance of that class
2021-05-24 02:20:37 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-24 02:20:59 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at)
2021-05-24 02:21:15 +0200 <boxscape> hm, maybe that's something to put in a custom prelude when I use one, that avoids the orphan instances
2021-05-24 02:22:00 +0200 <boxscape> ...or just import the Boolean package :)
2021-05-24 02:24:18 +0200cartercartazio
2021-05-24 02:24:34 +0200cartazioCarter
2021-05-24 02:27:09 +0200horex539(~horex539@2a02:a03f:6aa5:a00:64fb:7080:45f7:39d3)
2021-05-24 02:29:43 +0200 <doyougnu> boxscape: isn't Data.Monoid.All and Data.Monoid.Any what you're looking for?
2021-05-24 02:30:20 +0200 <boxscape> doyougnu, no, because if I used that, it would be significantly longer and less readable than `\c -> predicate1 c && predicate2 c`
2021-05-24 02:30:39 +0200 <dmwit> doyougnu: I don't think so, that's the wrong direction: it's one class, where you can pick (&&) or (||) depending on which instance you get. I think boxscape wants one class with (&&) and (||) that you can implement for many types.
2021-05-24 02:30:55 +0200 <boxscape> yes
2021-05-24 02:31:06 +0200 <dmwit> :t liftA2 (&&)
2021-05-24 02:31:07 +0200 <lambdabot> Applicative f => f Bool -> f Bool -> f Bool
2021-05-24 02:31:16 +0200 <boxscape> okay yes that is better than using All
2021-05-24 02:31:28 +0200 <boxscape> but I wish we had a way to use liftA2 in a nice looking way with operators
2021-05-24 02:31:47 +0200 <dmwit> Actually, maybe doyougnu has got more going for him than you might think. (<>) does actually work on functions if they return an All or an Any.
2021-05-24 02:32:03 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-05-24 02:32:05 +0200horex539(~horex539@2a02:a03f:6aa5:a00:64fb:7080:45f7:39d3) (Ping timeout: 272 seconds)
2021-05-24 02:32:14 +0200 <dmwit> But what are the chances your functions return one of those instead of a Bool? Pretty small.
2021-05-24 02:32:27 +0200 <doyougnu> dmwit: ah I see
2021-05-24 02:32:49 +0200 <dmwit> boxscape: I think the numeric prelude does have a suitable class.
2021-05-24 02:32:53 +0200 <Axman6> So glad to see how active this channel has become so quickly!
2021-05-24 02:32:57 +0200 <dmwit> So that could be one route.
2021-05-24 02:33:16 +0200 <boxscape> I'll check it out, thanks
2021-05-24 02:33:58 +0200 <doyougnu> I wonder if you could do something like this with GADTs, that would allow the Applicative f to take on different instances depending on the sub-ADT right?
2021-05-24 02:35:37 +0200 <dmwit> boxscape: http://hackage.haskell.org/package/numeric-prelude-0.4.3.3/docs/Algebra-Lattice.html, I think.
2021-05-24 02:35:56 +0200 <boxscape> ah, thanks
2021-05-24 02:36:04 +0200 <boxscape> % :t getAll <$> ((All <$> isSpace) <> (All <$> (/= '\n'))) -- this is the best I can think of with All
2021-05-24 02:36:04 +0200 <yahb> boxscape: Char -> Bool
2021-05-24 02:36:10 +0200 <dmwit> Looks like it doesn't have a function instance, but it easily can I think.
2021-05-24 02:36:32 +0200 <dmwit> % :t getAll . (All . isSpace) <> (All . (/= '\n'))
2021-05-24 02:36:32 +0200 <yahb> dmwit: ; <interactive>:1:30: error:; * Couldn't match type `All' with `Bool'; Expected: Char -> Bool; Actual: Char -> All; * In the second argument of `(<>)', namely `(All . (/= '\n'))'; In the expression: getAll . (All . isSpace) <> (All . (/= '\n'))
2021-05-24 02:36:40 +0200 <dmwit> % :t getAll . ((All . isSpace) <> (All . (/= '\n')))
2021-05-24 02:36:40 +0200 <yahb> dmwit: Char -> Bool
2021-05-24 02:36:44 +0200 <boxscape> ah yes that is better
2021-05-24 02:37:04 +0200 <dmwit> % :t ala
2021-05-24 02:37:04 +0200 <yahb> dmwit: forall {f :: * -> *} {s} {t}. (Functor f, Rewrapped s t, Rewrapped t s) => (Unwrapped s -> s) -> ((Unwrapped t -> t) -> f s) -> f (Unwrapped s)
2021-05-24 02:37:13 +0200 <dmwit> % :t ala All
2021-05-24 02:37:13 +0200 <yahb> dmwit: forall {f :: * -> *}. Functor f => ((Bool -> All) -> f All) -> f Bool
2021-05-24 02:37:50 +0200 <dmwit> Oh, this is a different ala than I was hoping for.
2021-05-24 02:38:09 +0200 <boxscape> % :i ala
2021-05-24 02:38:09 +0200 <yahb> boxscape: ala :: forall (f :: * -> *) s t. (Functor f, Rewrapping s t) => (Unwrapped s -> s) -> ((Unwrapped t -> t) -> f s) -> f (Unwrapped s) -- Defined in `Control.Lens.Wrapped'
2021-05-24 02:41:59 +0200scrazen(~scrazen@user/scrazen)
2021-05-24 02:42:02 +0200 <boxscape> various preludes also have <&&>
2021-05-24 02:42:38 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-24 02:42:57 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at)
2021-05-24 02:43:52 +0200 <dmwit> I wouldn't object to having a Heyting algebra class that `if` was polymorphic over.
2021-05-24 02:44:16 +0200 <boxscape> I guess that's possible with -XRebindableSyntax
2021-05-24 02:44:25 +0200 <dmwit> yep
2021-05-24 02:44:43 +0200 <mniip> why would that be a heyting algebra
2021-05-24 02:46:07 +0200 <dmwit> You need a lub and glb to stand in for (&&) and (||), and you need either an upper or a lower bound so if can make a choice.
2021-05-24 02:47:53 +0200 <dmwit> I guess there are weaker structures than Heyting algebra that would be good enough.
2021-05-24 02:48:01 +0200bens_bens
2021-05-24 02:48:21 +0200 <mniip> no?
2021-05-24 02:48:25 +0200 <dmwit> For some reason I had "Heyting algebra is the right choice" as a cached thought, and I didn't critically consider it.
2021-05-24 02:48:28 +0200 <mniip> you need the algebra to be boolean
2021-05-24 02:48:41 +0200 <mniip> so that the only objects are top and bottom
2021-05-24 02:48:47 +0200 <mniip> so that `if` can make a choice
2021-05-24 02:49:41 +0200 <dmwit> A test for bottom-ness (or top-ness) should be sufficient.
2021-05-24 02:49:52 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-24 02:50:10 +0200 <dmwit> I don't see a reason to restrict it to algebras with only a top and bottom.
2021-05-24 02:50:27 +0200 <dmwit> The choice of whether bottom or top controlled which branch you took would be pretty arbitrary, of course.
2021-05-24 02:51:41 +0200 <dmwit> Or... hm.
2021-05-24 02:54:26 +0200 <jaevanko> Sometimes I wonder if it would be practical for Applicative instances to automatically lift things with pure/fmap/liftA2, so e.g. [1, 2, 3] + 4 would get lifted to (liftA2 (+) [1, 2, 3] (pure 4)). Could somebody convince me this is a horrible idea?
2021-05-24 02:54:47 +0200 <jaevanko> Maybe in a language that isn't Haskell...
2021-05-24 02:54:49 +0200 <dmwit> I guess one choice would be to have a class for ultrafilters, and use that to have an `if` with about the same typing rules as usual except the first thing is class-polymorphic. Or you could do something wilder, like `class If a where type family Branch a b; if' :: a -> b -> b -> Branch a b` + some laws.
2021-05-24 02:54:53 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-05-24 02:54:54 +0200 <sclv> jaevanko: there's a slightly more verbose notion of this called "idiom brackets"
2021-05-24 02:55:00 +0200 <sclv> which is how applicative was first introduced
2021-05-24 02:55:11 +0200boxscape(4ff0bb95@user/boxscape) (Quit: Connection closed)
2021-05-24 02:55:25 +0200 <sclv> also there's work on "effectful languages" like frank and a few others that have this sort of approach
2021-05-24 02:55:55 +0200 <sclv> so i'd say its not a bad impulse, and it underlay some of the initial work on the abstraction, but getting it Right and Nice and Usable turned out to be a high bar
2021-05-24 02:56:13 +0200boxscape(4ff0bb95@user/boxscape)
2021-05-24 02:56:17 +0200 <dmwit> jaevanko: It's a great idea, with one exception: functions are a monad, and this gets in the way a surprising amount, because you constantly have to decide whether each arrow is a monad thing or no (so you know whether to lift it).
2021-05-24 02:56:28 +0200exzeta__(~exzeta@client-8-84.eduroam.oxuni.org.uk) (Remote host closed the connection)
2021-05-24 02:56:42 +0200 <jaevanko> sclv: I was kind of thinking of it from the perspective of Julia/matlab/etc where array operations lift naturally to any number of dimensions, just beefed up a bit
2021-05-24 02:56:48 +0200 <dmwit> jaevanko: Lightweight Monadic Programming in OCaml develops the idea fully, and even goes as far as supporting automatic insertion of `lift` (from monad transformers), but doesn't allow the arrow monad.
2021-05-24 02:57:18 +0200 <jaevanko> dmwit: Yeah, I had some big issues when I defined a Num instance on ((->) a) :/
2021-05-24 02:57:22 +0200 <jaevanko> I might have that arrow backwards
2021-05-24 02:57:49 +0200 <dmwit> Oh, I like that instance a lot! What issues did you have? ...perhaps user-reading-code issues?
2021-05-24 02:58:17 +0200 <dmwit> jaevanko: (In fact, you can do `instance Num a => Num (F a)` for any `Applicative F`.)
2021-05-24 02:58:36 +0200 <jaevanko> It could very well be a pebcak issue, but I think it was some type errors
2021-05-24 03:00:03 +0200 <dmwit> % instance Num a => Num (b -> a) where (+) = liftA2 (+); (-) = liftA2 (-); (*) = liftA2 (*); negate = fmap negate; abs = fmap abs; signum = fmap signum; fromInteger = pure . fromInteger
2021-05-24 03:00:03 +0200 <yahb> dmwit:
2021-05-24 03:00:19 +0200 <dmwit> % sqrt (sin^2 + cos^2) 42
2021-05-24 03:00:19 +0200 <yahb> dmwit: ; <interactive>:157:1: error:; * No instance for (Floating (Double -> Double)) arising from a use of `it'; (maybe you haven't applied a function to enough arguments?); * In the first argument of `print', namely `it'; In a stmt of an interactive GHCi command: print it
2021-05-24 03:00:21 +0200heath(~heath@68.68.64.38) (Ping timeout: 244 seconds)
2021-05-24 03:00:36 +0200 <dmwit> % (sin^2 + cos^2) 42
2021-05-24 03:00:36 +0200 <yahb> dmwit: 1.0
2021-05-24 03:00:57 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-24 03:00:59 +0200 <jaevanko> Yeah, that's the kinda stuff I was trying
2021-05-24 03:01:19 +0200 <jaevanko> Starts to look almost like forth at that point, which could be kinda neat
2021-05-24 03:02:15 +0200 <boxscape> % map (3 * id^2 + id) [-3..3]
2021-05-24 03:02:15 +0200 <yahb> boxscape: [24,10,2,0,4,14,30]
2021-05-24 03:02:15 +0200 <jaevanko> Maybe I'm just being pessimistic, but it feels like making everything automatically generalize to Functor+Applicative is asking for type to be undecidable
2021-05-24 03:03:13 +0200zaraksidd94(6f77bb2b@107.161.19.109)
2021-05-24 03:03:20 +0200 <dmwit> Sure. But having everything automatically generalize for each of the existing Functor+Applicative is fine. ^_^
2021-05-24 03:03:39 +0200 <jaevanko> boxscape: if there was a Num instance for [a] could that be written (3 * id^2 + id) [-3..3] without the explicit map?
2021-05-24 03:03:47 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2021-05-24 03:03:48 +0200allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-24 03:03:56 +0200 <jaevanko> How do you mean?
2021-05-24 03:04:15 +0200 <dmwit> (...and having everything automatically generalize to Functor+Applicative+Monad is also fine, but you need a different type inference algorithm than the one currently in GHC.)
2021-05-24 03:04:29 +0200 <jaevanko> Like the set of Applicatives in base is fine, or law-abiding Applicative?
2021-05-24 03:04:52 +0200 <boxscape> jaevanko not sure
2021-05-24 03:04:54 +0200abrar(~abrar@static-108-30-103-121.nycmny.fios.verizon.net)
2021-05-24 03:05:16 +0200 <jaevanko> % instance Num a => Num [a] where (+) = liftA2 (+); (-) = liftA2 (-); (*) = liftA2 (*); negate = fmap negate; abs = fmap abs; signum = fmap signum; fromInteger = pure . fromInteger
2021-05-24 03:05:19 +0200 <dmwit> jaevanko: I mean if instead of `instance (Applicative f, Num a) => Applicative (f a)` you write `instance Num a => Num [a]` and `instance Num a => Num (b -> a)` and `instance Num a => Num (Maybe a)` and and and...
2021-05-24 03:05:54 +0200 <dmwit> % (3*id^2 + id) [-3..3]
2021-05-24 03:05:54 +0200 <yahb> dmwit: ; <interactive>:161:1: error:; * No instance for (Num [Integer]) arising from a use of `it'; * In the first argument of `print', namely `it'; In a stmt of an interactive GHCi command: print it
2021-05-24 03:06:07 +0200 <jaevanko> Oh gotcha. Or if those instances were automatically written by the compiler when you define a new Applicative
2021-05-24 03:06:16 +0200 <dmwit> Oh, jaevanko you left a space before your last yahb command.
2021-05-24 03:06:18 +0200 <jaevanko> % instance Num a => Num [a] where (+) = liftA2 (+); (-) = liftA2 (-); (*) = liftA2 (*); negate = fmap negate; abs = fmap abs; signum = fmap signum; fromInteger = pure . fromInteger
2021-05-24 03:06:18 +0200 <yahb> jaevanko:
2021-05-24 03:06:25 +0200 <jaevanko> % (3*id^2 + id) [-3..3]
2021-05-24 03:06:26 +0200 <yahb> jaevanko: [24,25,26,27,28,29,30,15,16,17,18,19,20,21,6,7,8,9,10,11,12,-3,-2,-1,0,1,2,3,-12,-11,-10,-9,-8,-7,-6,-21,-20,-19,-18,-17,-16,-15,-30,-29,-28,-27,-26,-25,-24,15,16,17,18,19,20,21,9,10,11,12,13,14,15,3,4,5,6,7,8,9,-3,-2,-1,0,1,2,3,-9,-8,-7,-6,-5,-4,-3,-15,-14,-13,-12,-11,-10,-9,-21,-20,-19,-18,-17,-16,-15,6,7,8,9,10,11,12,3,4,5,6,7,8,9,0,1,2,3,4,5,6,-3,-2,-1,0,1,2,3,-6,-5,-4,-3,-2,-1,0,-9,-8,-7,-6,-
2021-05-24 03:06:42 +0200 <jaevanko> Oh right, liftA2 on list does permutations
2021-05-24 03:06:44 +0200Deide(~Deide@user/deide) (Quit: Seeee yaaaa)
2021-05-24 03:07:00 +0200 <dmwit> % instance Num a => Num (ZipList a) where (+) = liftA2 (+); (-) = liftA2 (-); (*) = liftA2 (*); negate = fmap negate; abs = fmap abs; signum = fmap signum; fromInteger = pure . fromInteger
2021-05-24 03:07:00 +0200 <yahb> dmwit:
2021-05-24 03:07:10 +0200 <dmwit> % (3*id^2 + id) (ZipList [-3..3])
2021-05-24 03:07:10 +0200 <yahb> dmwit: ZipList {getZipList = [24,10,2,0,4,14,30]}
2021-05-24 03:07:36 +0200 <dmwit> Okay, I admit I'm slightly puzzled by that.
2021-05-24 03:07:37 +0200 <ski> i don't believe in the "automatically lift/generalize" thing. but i think the basic instinct is sound
2021-05-24 03:07:38 +0200 <jaevanko> Though I suppose if you had a list type that was parameterized over its length at the type level...
2021-05-24 03:07:45 +0200drewolson1drewolson
2021-05-24 03:08:11 +0200 <dmwit> Oh, no I'm not, I just can't count.
2021-05-24 03:08:25 +0200 <jaevanko> Lol, I was expecting 3 too
2021-05-24 03:09:02 +0200ddellacosta(~ddellacos@86.106.121.23)
2021-05-24 03:09:10 +0200 <jaevanko> I can only imagine the type errors this could bring :D
2021-05-24 03:09:14 +0200hmmmas(~chenqisu1@183.217.200.8)
2021-05-24 03:09:26 +0200 <dmwit> Pfffft, waaaay more things typecheck this way! ^_^
2021-05-24 03:09:33 +0200 <ski> (my "reflective effectful syntax" was inspired by idiom brackets (and some other things))
2021-05-24 03:10:11 +0200 <jaevanko> ski: is that something I could search for on the web? I'm accruing reading materials rn
2021-05-24 03:10:25 +0200 <ski> .. not really
2021-05-24 03:10:34 +0200 <jaevanko> This whole diversion was inspired by this: conal.net/blog/posts/beautiful-differentiation, btw
2021-05-24 03:10:36 +0200 <ski> it mostly exists in my head
2021-05-24 03:10:43 +0200xff0x(~xff0x@2001:1a81:52b2:9700:e0dc:1f9b:63de:5b34) (Ping timeout: 272 seconds)
2021-05-24 03:10:53 +0200 <jaevanko> I know the feeling
2021-05-24 03:11:49 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-24 03:12:08 +0200xff0x(~xff0x@2001:1a81:52e8:5900:fcc8:4950:4702:a177)
2021-05-24 03:12:25 +0200 <boxscape> ski and in #haskell IRC logs :P
2021-05-24 03:12:35 +0200 <jaevanko> Is the idiom brackets terminology the reason the infix applicative functions are all <>-y?
2021-05-24 03:12:51 +0200 <ski> (there's still some things i'd like to work out with it .. and choosing some workable concrete syntax would be nice. but i think the basic idea is sound (and better than idiom brackets))
2021-05-24 03:13:11 +0200 <ski> jaevanko : hm. good question. i suspect not
2021-05-24 03:13:24 +0200 <ski> boxscape : yes
2021-05-24 03:13:42 +0200 <dmwit> jaevanko: They are all <>-y because the papers introducing Applicative used a diamond around its operators.
2021-05-24 03:13:43 +0200ddellacosta(~ddellacos@86.106.121.23) (Ping timeout: 265 seconds)
2021-05-24 03:13:58 +0200 <jaevanko> Simple enough, I suppose
2021-05-24 03:14:10 +0200skiwould have guessed a circle
2021-05-24 03:14:15 +0200 <boxscape> jaevanko this is the original paper about idiom brackets - they originally used double square brackets, a bit like [[ ]]
2021-05-24 03:14:16 +0200 <boxscape> https://www.staff.city.ac.uk/~ross/papers/Applicative.pdf
2021-05-24 03:14:24 +0200killsushi(~killsushi@user/killsushi)
2021-05-24 03:14:37 +0200 <boxscape> well, not just about idiom brackets
2021-05-24 03:14:49 +0200 <ski> yea .. but that's not the same as the applicative operators
2021-05-24 03:15:46 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160) (Ping timeout: 264 seconds)
2021-05-24 03:17:03 +0200ku(~ku@2601:280:c780:7ea0:f045:534c:8a14:7395) (Ping timeout: 272 seconds)
2021-05-24 03:21:56 +0200cyclosa(~cyclosa@2603-6011-4a41-8ada-3d44-ff2a-130a-5b15.res6.spectrum.com)
2021-05-24 03:22:03 +0200zaraksidd94(6f77bb2b@107.161.19.109) (Ping timeout: 244 seconds)
2021-05-24 03:22:52 +0200DasBrain(~DasBrain@user/dasbrain) (Quit: Leaving)
2021-05-24 03:30:33 +0200cyclosa(~cyclosa@2603-6011-4a41-8ada-3d44-ff2a-130a-5b15.res6.spectrum.com) (Quit: computer broke)
2021-05-24 03:30:59 +0200cyclosa(~cyclosa@2603-6011-4a41-8ada-3d44-ff2a-130a-5b15.res6.spectrum.com)
2021-05-24 03:31:22 +0200doyougnu(~user@c-67-168-253-231.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-05-24 03:34:50 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2021-05-24 03:35:03 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-24 03:42:10 +0200Restle(2d53dcc0@107.161.19.109) (Ping timeout: 264 seconds)
2021-05-24 03:42:15 +0200Reisen(2d53dcc0@107.161.19.109) (Ping timeout: 264 seconds)
2021-05-24 03:44:55 +0200fart(68e8ca7b@user/actor) (Ping timeout: 272 seconds)
2021-05-24 03:47:03 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-05-24 03:47:34 +0200oxide(~lambda@user/oxide) (Ping timeout: 264 seconds)
2021-05-24 03:48:10 +0200oxide(~lambda@user/oxide)
2021-05-24 03:50:25 +0200 <Carter> Yeah
2021-05-24 04:02:53 +0200 <boxscape> @hoogle [(a, b)] -> ([a] -> c) -> ([b] -> d) -> (a, d)
2021-05-24 04:02:54 +0200 <lambdabot> No results found
2021-05-24 04:02:59 +0200fart(68e8ca7b@user/actor)
2021-05-24 04:03:14 +0200 <boxscape> hmm
2021-05-24 04:04:22 +0200 <boxscape> % :t \f g -> bimap f g . unzip
2021-05-24 04:04:22 +0200 <yahb> boxscape: forall {a} {b1} {b2} {d}. ([a] -> b1) -> ([b2] -> d) -> [(a, b2)] -> (b1, d)
2021-05-24 04:04:23 +0200 <boxscape> okay
2021-05-24 04:05:17 +0200yumaikas-(~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375)
2021-05-24 04:06:20 +0200Guest81(~textual@198.55.125.207)
2021-05-24 04:06:55 +0200jaevanko(~jaevanko@2600:1700:1330:2bef:b287:70d2:d44:657) (Quit: Leaving)
2021-05-24 04:07:07 +0200jaevanko(~jaevanko@2600:1700:1330:2bef:156f:5a26:e61c:8357)
2021-05-24 04:07:27 +0200jaevanko(~jaevanko@2600:1700:1330:2bef:156f:5a26:e61c:8357) (Remote host closed the connection)
2021-05-24 04:09:04 +0200 <ezzieyguywuf> so, object-oriented programming isn't inherently imperitive programming. is it? for example, I'm reading a problem statement that says "implement the MyLinkedList class". So, by design, I have to ose OOP. but I can still use a functional programming style here, can't I?
2021-05-24 04:09:41 +0200heath(~heath@68.68.64.38)
2021-05-24 04:10:22 +0200 <ski> yes
2021-05-24 04:10:22 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Ping timeout: 264 seconds)
2021-05-24 04:10:31 +0200 <ezzieyguywuf> thought so
2021-05-24 04:10:57 +0200 <ezzieyguywuf> i always get tripped up - whenever I see OOP I assume "oh boi, here we go", but (a) there's a time and place for it, and (b) it does not presume imperitive
2021-05-24 04:11:04 +0200 <ezzieyguywuf> and (c) sometimes you want imperitive
2021-05-24 04:11:14 +0200 <ski> mm
2021-05-24 04:11:34 +0200 <ezzieyguywuf> I'm actually curious as to how some of the c++20 stuff can translate into a more functional-friendly programming style
2021-05-24 04:12:15 +0200 <ezzieyguywuf> specifically it seems with "concepts" they're trying to mimic some of the behaviour we get with typeclasses
2021-05-24 04:18:55 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-05-24 04:18:55 +0200finn_elijaGuest6539
2021-05-24 04:18:55 +0200FinnElijafinn_elija
2021-05-24 04:20:49 +0200Guest81S___
2021-05-24 04:21:32 +0200Jeanne-Kamikaze(~Jeanne-Ka@192.252.212.15) (Quit: Leaving)
2021-05-24 04:21:57 +0200seL4(~seL4@47.187.204.61)
2021-05-24 04:22:22 +0200Guest6539(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 264 seconds)
2021-05-24 04:22:37 +0200 <seL4> writing formally verified program with 50 lines of haskell, how hard?
2021-05-24 04:22:47 +0200 <seL4> can I prove by hand?
2021-05-24 04:27:15 +0200 <Axman6> Yes
2021-05-24 04:27:41 +0200 <Axman6> Interesting choice of nickname seL4, are(/were) you part of trustworthy systems?
2021-05-24 04:28:00 +0200ku(~ku@2601:280:c780:7ea0:f045:534c:8a14:7395)
2021-05-24 04:28:04 +0200 <seL4> no, but I would like to learn how to write formally verified code
2021-05-24 04:28:18 +0200 <seL4> how hard is formally verified assembly
2021-05-24 04:29:12 +0200 <dibblego> you want the isabelle proof assistant
2021-05-24 04:29:22 +0200 <Axman6> Go and look at the seL4 project and find out ;)
2021-05-24 04:29:35 +0200 <seL4> I thought isabelle uses c not assembly
2021-05-24 04:29:54 +0200 <seL4> I'm reading book about coq but that uses gallina
2021-05-24 04:30:11 +0200 <Axman6> Go and look at the seL4 project, there's probably no better resource
2021-05-24 04:31:43 +0200 <seL4> I saw the website, which link?
2021-05-24 04:32:02 +0200 <seL4> read faq, etc. don't see formally verified assembly
2021-05-24 04:32:34 +0200 <seL4> read whitepaper
2021-05-24 04:34:13 +0200 <seL4> ok I see it
2021-05-24 04:35:11 +0200 <seL4> rip its a pdf
2021-05-24 04:35:55 +0200S___(~textual@198.55.125.207) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-24 04:36:16 +0200 <Axman6> it's all open source, all the code is available on github\
2021-05-24 04:37:32 +0200 <seL4> yeah I cloned it, but how does that teach me formally verified assembly?
2021-05-24 04:38:21 +0200 <dibblego> do a an undergrad research thesis, that's how the-person-I-live-with is learning it
2021-05-24 04:38:31 +0200drewr(~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a) (Ping timeout: 244 seconds)
2021-05-24 04:38:51 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 04:39:05 +0200juhp(~juhp@128.106.188.199)
2021-05-24 04:39:06 +0200 <seL4> ok, will try
2021-05-24 04:39:46 +0200td_(~td@muedsl-82-207-238-244.citykom.de) (Ping timeout: 264 seconds)
2021-05-24 04:41:22 +0200td_(~td@94.134.91.149)
2021-05-24 04:43:36 +0200 <Axman6> seL4: to learn cutting edge research, you're going to need to read some research papers, and almost certainly spend a lot of time learning the findamentals of softeware verification
2021-05-24 04:43:54 +0200 <seL4> yeah I will read book about coq
2021-05-24 04:44:07 +0200 <seL4> is it possible to write all proofs by hand
2021-05-24 04:44:18 +0200 <Axman6> things like Hoare triples, and... functional equivalence? IT's been a long time since I've looked into it
2021-05-24 04:45:11 +0200 <seL4> so it is possible?
2021-05-24 04:45:57 +0200 <Axman6> sure
2021-05-24 04:46:02 +0200 <keltono> seL4: you should read software foundations
2021-05-24 04:46:05 +0200 <keltono> https://softwarefoundations.cis.upenn.edu/
2021-05-24 04:46:57 +0200 <seL4> yeah thats the one I found! no pdf, just html
2021-05-24 04:49:23 +0200 <seL4> wait so RFNOMNT can block syscalls?
2021-05-24 04:49:46 +0200 <seL4> oops, my bad. thanks
2021-05-24 04:49:49 +0200seL4(~seL4@47.187.204.61) ()
2021-05-24 04:53:30 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 244 seconds)
2021-05-24 05:02:39 +0200Codaraxis(~Codaraxis@185.226.67.169)
2021-05-24 05:03:33 +0200Codaraxis(~Codaraxis@185.226.67.169) (Remote host closed the connection)
2021-05-24 05:05:02 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving)
2021-05-24 05:05:39 +0200doyougnu(~user@c-67-168-253-231.hsd1.or.comcast.net)
2021-05-24 05:06:08 +0200doyougnu(~user@c-67-168-253-231.hsd1.or.comcast.net) ()
2021-05-24 05:10:30 +0200ddellacosta(~ddellacos@89.46.62.51)
2021-05-24 05:11:36 +0200smitop(uid328768@user/smitop) (Quit: Connection closed for inactivity)
2021-05-24 05:11:39 +0200waleee-cl(~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 265 seconds)
2021-05-24 05:14:25 +0200ddellacosta(~ddellacos@89.46.62.51) (Read error: Connection reset by peer)
2021-05-24 05:15:10 +0200 <Carter> Huh.
2021-05-24 05:15:37 +0200 <Carter> Axman6 dibblego: I read that the sel4 team got dissolved :(
2021-05-24 05:16:07 +0200 <dibblego> Data61 now has very low wattage light bulbs in charge of all the things
2021-05-24 05:16:19 +0200 <Carter> Bummer
2021-05-24 05:16:31 +0200 <Axman6> It won't be dying, you can be poretty sure of that. It's probably a good thing - but the organisation had no idea how valuable it was as a group
2021-05-24 05:17:44 +0200 <Carter> Like, zomg I so wanted to figure out how to have it be a way to manage stuff as a sortah user space middle ware for low level stuff
2021-05-24 05:18:52 +0200 <dibblego> it may be a blessing in disguise then
2021-05-24 05:19:10 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-05-24 05:19:17 +0200 <Axman6> I think it probably will be
2021-05-24 05:19:28 +0200 <Axman6> CSIRO can't have nice things
2021-05-24 05:19:29 +0200 <dibblego> since NICTA dissolving, Data61/CSIRO has increased effectiveness at doing nothing at all, and with that out of the way...
2021-05-24 05:20:05 +0200Lord_of_Life_(~Lord@46.217.217.215)
2021-05-24 05:20:22 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2021-05-24 05:23:59 +0200heath(~heath@68.68.64.38) (Ping timeout: 244 seconds)
2021-05-24 05:24:27 +0200doyougnu(~user@c-67-168-253-231.hsd1.or.comcast.net)
2021-05-24 05:29:59 +0200 <davean> seL4 was a real exciting thing to have out there I wanted to work with
2021-05-24 05:31:48 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-24 05:32:55 +0200ku(~ku@2601:280:c780:7ea0:f045:534c:8a14:7395) (Read error: Connection reset by peer)
2021-05-24 05:33:48 +0200yumaikas-(~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375) (Ping timeout: 244 seconds)
2021-05-24 05:33:54 +0200 <Axman6> It will still be around
2021-05-24 05:36:20 +0200 <davean> theres levels of around
2021-05-24 05:42:51 +0200phanf(~phanf@226.148.192.35.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2021-05-24 05:46:29 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-05-24 05:49:10 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Quit: WeeChat 3.1)
2021-05-24 05:49:24 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-05-24 05:59:53 +0200phanf(~phanf@226.148.192.35.bc.googleusercontent.com)
2021-05-24 06:05:38 +0200haskman(~haskman@171.48.43.206)
2021-05-24 06:06:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-05-24 06:06:38 +0200irc_user(uid423822@id-423822.tooting.irccloud.com)
2021-05-24 06:07:04 +0200drewr(~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a)
2021-05-24 06:11:34 +0200drewr(~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a) (Ping timeout: 264 seconds)
2021-05-24 06:21:05 +0200superbil(~superbil@1-34-176-171.HINET-IP.hinet.net) (Ping timeout: 264 seconds)
2021-05-24 06:21:35 +0200superbil(~superbil@1-34-176-171.HINET-IP.hinet.net)
2021-05-24 06:24:38 +0200friedem(~friedem@096-037-206-208.res.spectrum.com)
2021-05-24 06:26:39 +0200boxscape(4ff0bb95@user/boxscape) (Quit: Ping timeout (120 seconds))
2021-05-24 06:29:11 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 06:29:24 +0200juhp(~juhp@128.106.188.199)
2021-05-24 06:29:54 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2021-05-24 06:39:24 +0200haskman(~haskman@171.48.43.206) (Quit: Going to sleep. ZZZzzz…)
2021-05-24 06:42:26 +0200edwtjo(~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se) (WeeChat 3.0)
2021-05-24 06:42:46 +0200slack1256(~slack1256@181.203.76.139) (Remote host closed the connection)
2021-05-24 06:44:50 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving)
2021-05-24 06:45:01 +0200edwtjo(~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se)
2021-05-24 06:50:12 +0200ivan(~ivan@user/ivan) (Quit: lp0 on fire)
2021-05-24 06:50:51 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com)
2021-05-24 06:51:47 +0200hmmmas(~chenqisu1@183.217.200.8) (Quit: Leaving.)
2021-05-24 06:55:13 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection)
2021-05-24 06:55:35 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-05-24 06:56:44 +0200gonz(sid304396@tooting.irccloud.com) (Ping timeout: 272 seconds)
2021-05-24 06:56:53 +0200gonz(sid304396@id-304396.tooting.irccloud.com)
2021-05-24 06:57:59 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-05-24 07:01:56 +0200tA(~thorn@121.220.36.168)
2021-05-24 07:02:10 +0200ivan(~ivan@user/ivan)
2021-05-24 07:05:00 +0200shailangsa(~shailangs@host86-186-177-159.range86-186.btcentralplus.com) ()
2021-05-24 07:05:47 +0200ddellacosta(~ddellacos@89.46.62.76)
2021-05-24 07:10:22 +0200ddellacosta(~ddellacos@89.46.62.76) (Ping timeout: 264 seconds)
2021-05-24 07:12:09 +0200killsushi(~killsushi@user/killsushi) (Read error: Connection reset by peer)
2021-05-24 07:13:08 +0200abhixec_(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-05-24 07:13:14 +0200killsushi(~killsushi@cpef0f249442b03-cmf0f249442b00.cpe.net.cable.rogers.com)
2021-05-24 07:13:14 +0200killsushi(~killsushi@cpef0f249442b03-cmf0f249442b00.cpe.net.cable.rogers.com) (Changing host)
2021-05-24 07:13:14 +0200killsushi(~killsushi@user/killsushi)
2021-05-24 07:13:15 +0200abhixec_(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Client Quit)
2021-05-24 07:13:36 +0200jco(~jco@c83-248-173-38.bredband.tele2.se)
2021-05-24 07:20:03 +0200heath(~heath@68.68.64.38)
2021-05-24 07:24:19 +0200buggy(~buggy@27.6.222.224)
2021-05-24 07:24:22 +0200heath(~heath@68.68.64.38) (Ping timeout: 244 seconds)
2021-05-24 07:24:30 +0200dyeplexer(~dyeplexer@user/dyeplexer)
2021-05-24 07:24:38 +0200buggy(~buggy@27.6.222.224) (Changing host)
2021-05-24 07:24:38 +0200buggy(~buggy@user/smorgasbord)
2021-05-24 07:25:38 +0200biberu(~biberu@user/biberu)
2021-05-24 07:31:27 +0200doyougnu(~user@c-67-168-253-231.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-05-24 07:36:22 +0200 <jackdk> Is anyone aware of a library that provides an optic like `Iso' (Fix f) (f (Fix f))`?
2021-05-24 07:36:48 +0200 <jackdk> I mean, `iso unFix Fix` is not hard to write, but it might be nice and all
2021-05-24 07:39:35 +0200 <dibblego> _Wrapped ?
2021-05-24 07:40:46 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-05-24 07:40:56 +0200ddellacosta(~ddellacos@86.106.121.45)
2021-05-24 07:41:33 +0200hydroxonium_hydroxonium
2021-05-24 07:41:42 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-24 07:43:34 +0200 <jackdk> I would have expected that to work, but it didn't, because it couldn't expand a typefamily and conclude equality. I used `coerced`instead
2021-05-24 07:44:15 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-24 07:45:46 +0200ddellacosta(~ddellacos@86.106.121.45) (Ping timeout: 264 seconds)
2021-05-24 07:47:37 +0200allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 244 seconds)
2021-05-24 07:49:31 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 07:49:45 +0200juhp(~juhp@128.106.188.199)
2021-05-24 07:50:13 +0200fart(68e8ca7b@user/actor) (Quit: Connection closed)
2021-05-24 07:50:19 +0200gehmehgeh(~user@user/gehmehgeh)
2021-05-24 07:51:51 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 264 seconds)
2021-05-24 07:52:19 +0200electronkong(~harrison@c-174-51-131-199.hsd1.co.comcast.net)
2021-05-24 07:53:43 +0200haskman(~haskman@171.48.43.206)
2021-05-24 07:53:45 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-05-24 07:54:21 +0200 <dibblego> which Fix you using?
2021-05-24 07:54:43 +0200haskman(~haskman@171.48.43.206) (Client Quit)
2021-05-24 07:55:12 +0200drewr(~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a)
2021-05-24 07:56:14 +0200 <jackdk> Data.Fix.Fix from data-fix
2021-05-24 07:56:44 +0200 <jackdk> which appears to have an instance, but didn't typecheck when I tried to use it (as the _Prism part of an `instance AsPrism (Fix f) (Fix f)` instance
2021-05-24 07:57:23 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-24 07:57:49 +0200ddellacosta(~ddellacos@86.106.121.114)
2021-05-24 07:59:30 +0200drewr(~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a) (Ping timeout: 244 seconds)
2021-05-24 07:59:51 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 08:00:04 +0200juhp(~juhp@128.106.188.199)
2021-05-24 08:02:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-24 08:02:34 +0200ddellacosta(~ddellacos@86.106.121.114) (Ping timeout: 264 seconds)
2021-05-24 08:08:25 +0200 <dibblego> I don't think it has an instance?
2021-05-24 08:10:53 +0200danso(~danso@23-233-111-52.cpe.pppoe.ca)
2021-05-24 08:12:33 +0200michalz(~user@185.246.204.62)
2021-05-24 08:13:46 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv)
2021-05-24 08:15:11 +0200ddellacosta(~ddellacos@86.106.121.34)
2021-05-24 08:19:47 +0200ddellacosta(~ddellacos@86.106.121.34) (Ping timeout: 272 seconds)
2021-05-24 08:21:01 +0200dy(~dy@cpe-75-80-50-89.san.res.rr.com) (Changing host)
2021-05-24 08:21:01 +0200dy(~dy@user/dy)
2021-05-24 08:22:11 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no)
2021-05-24 08:23:25 +0200hmmmas(~chenqisu1@183.217.200.8)
2021-05-24 08:23:56 +0200 <jackdk> appears so.
2021-05-24 08:29:35 +0200haskman(~haskman@171.48.43.206)
2021-05-24 08:30:00 +0200VanillaIceCream(~VanillaIc@50.53.239.82)
2021-05-24 08:32:23 +0200ddellacosta(~ddellacos@86.106.121.92)
2021-05-24 08:36:46 +0200ddellacosta(~ddellacos@86.106.121.92) (Ping timeout: 264 seconds)
2021-05-24 08:37:22 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-24 08:40:30 +0200exarkun1(~exarkun@2605:59c1:c2cc:400::e9c) (Remote host closed the connection)
2021-05-24 08:40:56 +0200exarkun1(~exarkun@2605:59c1:c2cc:400::e9c)
2021-05-24 08:48:28 +0200haskman(~haskman@171.48.43.206) (Quit: Going to sleep. ZZZzzz…)
2021-05-24 08:49:54 +0200scrazen(~scrazen@user/scrazen) (Remote host closed the connection)
2021-05-24 08:50:11 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 08:50:26 +0200juhp(~juhp@128.106.188.199)
2021-05-24 08:50:56 +0200bilegeek(~bilegeek@2600:1008:b043:e523:1a00:c04e:79b7:5720)
2021-05-24 08:52:12 +0200satai(~satai@ip-37-188-173-38.eurotel.cz)
2021-05-24 08:53:40 +0200jassob(~jassob@korrob.vth.sgsnet.se)
2021-05-24 08:54:49 +0200lortabac(~lortabac@37.173.218.254)
2021-05-24 08:55:15 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2021-05-24 08:58:04 +0200doc1(~doc@61.68.250.44) (Quit: WeeChat 3.1)
2021-05-24 08:58:33 +0200doc1(~doc@61.68.250.44)
2021-05-24 09:02:01 +0200jonathanclarke(~jonathanc@110.44.115.239)
2021-05-24 09:03:04 +0200haskman(~haskman@171.48.43.206)
2021-05-24 09:03:32 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-05-24 09:04:57 +0200qbt(~edun@user/edun)
2021-05-24 09:06:00 +0200ddellacosta(~ddellacos@89.46.62.51)
2021-05-24 09:08:11 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com)
2021-05-24 09:10:26 +0200SanchayanMaity(~Sanchayan@136.185.150.127)
2021-05-24 09:10:58 +0200ddellacosta(~ddellacos@89.46.62.51) (Ping timeout: 264 seconds)
2021-05-24 09:15:36 +0200haskman(~haskman@171.48.43.206) (Quit: Going to sleep. ZZZzzz…)
2021-05-24 09:20:03 +0200m_shiraeeshi(~shiraeesh@109.166.56.7) (Ping timeout: 264 seconds)
2021-05-24 09:20:56 +0200heath(~heath@68.68.64.38)
2021-05-24 09:21:29 +0200choucavalier(~choucaval@mail.peanutbuttervibes.com)
2021-05-24 09:23:13 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-05-24 09:26:17 +0200heath(~heath@68.68.64.38) (Ping timeout: 272 seconds)
2021-05-24 09:27:20 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 244 seconds)
2021-05-24 09:27:45 +0200tose(~tose@ip-85-160-8-30.eurotel.cz)
2021-05-24 09:27:58 +0200wonko(~wjc@62.115.229.50)
2021-05-24 09:29:16 +0200tA(~thorn@121.220.36.168) (Ping timeout: 265 seconds)
2021-05-24 09:29:53 +0200malvo(~malvo@malvo.org) (Ping timeout: 272 seconds)
2021-05-24 09:36:26 +0200paolino(~paolo@84.33.169.212)
2021-05-24 09:41:42 +0200knyppeld1nan(~kristina@h-178-174-136-151.NA.cust.bahnhof.se) ()
2021-05-24 09:43:20 +0200drewr(~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a)
2021-05-24 09:43:25 +0200malvo(~malvo@malvo.org)
2021-05-24 09:43:51 +0200seeg(~thelounge@static.89.161.217.95.clients.your-server.de)
2021-05-24 09:43:53 +0200Tomurb(~tom@158.194.92.121)
2021-05-24 09:43:57 +0200bec(5c97416f@107.161.19.109)
2021-05-24 09:44:40 +0200bec(5c97416f@107.161.19.109) (Changing host)
2021-05-24 09:44:40 +0200bec(5c97416f@user/bec)
2021-05-24 09:47:11 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 272 seconds)
2021-05-24 09:48:10 +0200drewr(~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a) (Ping timeout: 264 seconds)
2021-05-24 09:49:14 +0200bugac375(~bugac@78-61-105-166.static.zebra.lt)
2021-05-24 09:51:13 +0200seeg_(~seeg@2a05:f480:1400:311:5400:1ff:feff:256)
2021-05-24 09:52:33 +0200fendor(~fendor@178.165.191.174.wireless.dyn.drei.com)
2021-05-24 09:55:54 +0200kenran(~kenran@200116b82b33c800f431da0401c1f510.dip.versatel-1u1.de)
2021-05-24 09:57:27 +0200marinelli(~marinelli@2a01:4f8:211:ae5::2) (Quit: marinelli)
2021-05-24 09:58:02 +0200ddellacosta(~ddellacos@89.46.62.30)
2021-05-24 10:02:03 +0200Gurkenglas__(~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de)
2021-05-24 10:02:39 +0200ddellacosta(~ddellacos@89.46.62.30) (Ping timeout: 264 seconds)
2021-05-24 10:05:07 +0200cfricke(~cfricke@user/cfricke)
2021-05-24 10:05:17 +0200heath(~heath@68.68.64.38)
2021-05-24 10:10:22 +0200heath(~heath@68.68.64.38) (Ping timeout: 264 seconds)
2021-05-24 10:10:29 +0200nikoo
2021-05-24 10:12:40 +0200irc_user(uid423822@id-423822.tooting.irccloud.com) ()
2021-05-24 10:15:34 +0200ddellacosta(~ddellacos@89.46.62.123)
2021-05-24 10:17:38 +0200allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-24 10:18:47 +0200space-shell(5862f726@107.161.19.109)
2021-05-24 10:20:02 +0200ddellacosta(~ddellacos@89.46.62.123) (Ping timeout: 244 seconds)
2021-05-24 10:20:32 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 10:20:34 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds)
2021-05-24 10:20:46 +0200juhp(~juhp@128.106.188.199)
2021-05-24 10:20:54 +0200xff0x(~xff0x@2001:1a81:52e8:5900:fcc8:4950:4702:a177) (Quit: xff0x)
2021-05-24 10:21:29 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-24 10:22:06 +0200xff0x(~xff0x@2001:1a81:52e8:5900:fcc8:4950:4702:a177)
2021-05-24 10:25:31 +0200reirob(~reirob@82-65-15-5.subs.proxad.net)
2021-05-24 10:26:07 +0200Gurkenglas__Gurkenglas
2021-05-24 10:26:30 +0200haskman(~haskman@171.48.43.206)
2021-05-24 10:27:47 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 244 seconds)
2021-05-24 10:31:30 +0200oniko
2021-05-24 10:32:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-24 10:32:58 +0200cyclosa(~cyclosa@2603-6011-4a41-8ada-3d44-ff2a-130a-5b15.res6.spectrum.com) (Quit: computer broke)
2021-05-24 10:33:18 +0200ddellacosta(~ddellacos@86.106.121.56)
2021-05-24 10:35:08 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-24 10:36:03 +0200bilegeek(~bilegeek@2600:1008:b043:e523:1a00:c04e:79b7:5720) (Quit: Leaving)
2021-05-24 10:37:51 +0200ddellacosta(~ddellacos@86.106.121.56) (Ping timeout: 272 seconds)
2021-05-24 10:39:45 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 272 seconds)
2021-05-24 10:42:33 +0200sander(~sander@164.89-11-223.nextgentel.com) (Quit: So long! :))
2021-05-24 10:43:21 +0200sander(~sander@164.89-11-223.nextgentel.com)
2021-05-24 10:45:52 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 10:46:06 +0200juhp(~juhp@128.106.188.199)
2021-05-24 10:46:17 +0200tose(~tose@ip-85-160-8-30.eurotel.cz) (Remote host closed the connection)
2021-05-24 10:46:37 +0200tose(~tose@ip-85-160-8-30.eurotel.cz)
2021-05-24 10:46:48 +0200curiousgay(~gay@178.217.208.8)
2021-05-24 10:46:53 +0200tose(~tose@ip-85-160-8-30.eurotel.cz) (Remote host closed the connection)
2021-05-24 10:47:06 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org) (Ping timeout: 264 seconds)
2021-05-24 10:47:45 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-24 10:49:22 +0200bugac375(~bugac@78-61-105-166.static.zebra.lt) (Ping timeout: 264 seconds)
2021-05-24 10:49:48 +0200ddellacosta(~ddellacos@89.46.62.43)
2021-05-24 10:50:56 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-24 10:54:20 +0200ddellacosta(~ddellacos@89.46.62.43) (Ping timeout: 265 seconds)
2021-05-24 10:56:12 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 10:56:26 +0200juhp(~juhp@128.106.188.199)
2021-05-24 10:57:24 +0200reirob(~reirob@82-65-15-5.subs.proxad.net) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
2021-05-24 10:58:23 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org)
2021-05-24 10:58:47 +0200 <Jon> this channel is the third-largest on Libera at the moment
2021-05-24 11:01:00 +0200pretty_dumm_guy(~trottel@185.128.27.102)
2021-05-24 11:02:37 +0200amk(~amk@176.61.106.150)
2021-05-24 11:05:14 +0200chddr(~Thunderbi@91.226.34.182)
2021-05-24 11:07:23 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-05-24 11:07:30 +0200sander(~sander@164.89-11-223.nextgentel.com) (Quit: So long! :))
2021-05-24 11:07:52 +0200ddellacosta(~ddellacos@86.106.121.87)
2021-05-24 11:07:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-24 11:08:31 +0200 <Taneb> That's because Haskell is so fun to use
2021-05-24 11:08:33 +0200sander(~sander@164.89-11-223.nextgentel.com)
2021-05-24 11:10:15 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-24 11:12:23 +0200 <juri_> indeed. :)
2021-05-24 11:12:46 +0200ddellacosta(~ddellacos@86.106.121.87) (Ping timeout: 264 seconds)
2021-05-24 11:12:51 +0200haskman(~haskman@171.48.43.206) (Quit: Going to sleep. ZZZzzz…)
2021-05-24 11:14:14 +0200 <seeg> https://www.reddit.com/r/haskell/comments/nfqw0t/thoughts_on_the_state_of_the_freenode_irc_network/ maybe this is the reason?
2021-05-24 11:19:58 +0200buggy(~buggy@user/smorgasbord) (Ping timeout: 264 seconds)
2021-05-24 11:21:53 +0200satai(~satai@ip-37-188-173-38.eurotel.cz) (Ping timeout: 265 seconds)
2021-05-24 11:22:02 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 244 seconds)
2021-05-24 11:23:31 +0200__monty__(~toonn@user/toonn)
2021-05-24 11:26:14 +0200ddellacosta(~ddellacos@89.46.62.30)
2021-05-24 11:27:49 +0200ddellacosta(~ddellacos@89.46.62.30) (Read error: Connection reset by peer)
2021-05-24 11:31:28 +0200drewr(~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a)
2021-05-24 11:34:25 +0200satai(~satai@ip-37-188-173-38.eurotel.cz)
2021-05-24 11:36:10 +0200drewr(~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a) (Ping timeout: 264 seconds)
2021-05-24 11:37:46 +0200m1dnight(~christoph@188.ip-51-91-158.eu)
2021-05-24 11:38:08 +0200 <mniip> seeg, other communities have had similar and actually stronger/more official repsonses
2021-05-24 11:41:32 +0200kenran(~kenran@200116b82b33c800f431da0401c1f510.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2021-05-24 11:42:53 +0200JimL_(~quassel@ti0577q162-3381.bb.online.no) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-05-24 11:43:22 +0200JimL(~quassel@ti0577q162-3381.bb.online.no)
2021-05-24 11:43:22 +0200buggy(~buggy@27.6.222.224)
2021-05-24 11:43:22 +0200yushyin(X79nBoL5GV@karif.server-speed.net) (Quit: WeeChat 3.0.1)
2021-05-24 11:44:17 +0200ddellacosta(~ddellacos@86.106.121.31)
2021-05-24 11:45:31 +0200yushyin(0mbcixlPGk@karif.server-speed.net)
2021-05-24 11:48:46 +0200ddellacosta(~ddellacos@86.106.121.31) (Ping timeout: 264 seconds)
2021-05-24 11:53:54 +0200 <seeg> maybe it's about the influence of the person who's saying that, rather than response being strong
2021-05-24 11:59:02 +0200space-shell(5862f726@107.161.19.109) (Quit: Connection closed)
2021-05-24 11:59:23 +0200haskman(~haskman@171.48.43.206)
2021-05-24 12:02:47 +0200ddellacosta(~ddellacos@89.46.62.90)
2021-05-24 12:03:20 +0200lortabac(~lortabac@37.173.218.254) (Read error: No route to host)
2021-05-24 12:04:06 +0200killsushi(~killsushi@user/killsushi) (Quit: Leaving)
2021-05-24 12:06:10 +0200heath(~heath@68.68.64.38)
2021-05-24 12:07:22 +0200ddellacosta(~ddellacos@89.46.62.90) (Ping timeout: 264 seconds)
2021-05-24 12:09:31 +0200Franciman(~francesco@host-80-180-196-134.retail.telecomitalia.it)
2021-05-24 12:10:58 +0200heath(~heath@68.68.64.38) (Ping timeout: 264 seconds)
2021-05-24 12:12:45 +0200paolino(~paolo@84.33.169.212) (Remote host closed the connection)
2021-05-24 12:18:01 +0200safinaskar(~user@109-252-90-89.nat.spd-mgts.ru)
2021-05-24 12:19:17 +0200ddellacosta(~ddellacos@86.106.121.66)
2021-05-24 12:23:39 +0200ddellacosta(~ddellacos@86.106.121.66) (Ping timeout: 264 seconds)
2021-05-24 12:26:48 +0200haskman(~haskman@171.48.43.206) (Quit: Going to sleep. ZZZzzz…)
2021-05-24 12:27:56 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-24 12:30:48 +0200Squarism2(~Squarism4@90-231-27-135-no51.tbcn.telia.com)
2021-05-24 12:31:50 +0200haskman(~haskman@171.48.43.206)
2021-05-24 12:33:05 +0200shailangsa(~shailangs@host86-186-177-159.range86-186.btcentralplus.com)
2021-05-24 12:34:43 +0200pretty_dumm_guy(~trottel@185.128.27.102) (Quit: WeeChat 3.2-dev)
2021-05-24 12:35:08 +0200pretty_dumm_guy(~trottel@185.128.27.102)
2021-05-24 12:37:09 +0200bfrk(~Thunderbi@200116b8457612003b6c7a007b6f34e6.dip.versatel-1u1.de)
2021-05-24 12:37:16 +0200VanillaIceCream(~VanillaIc@50.53.239.82) (Remote host closed the connection)
2021-05-24 12:37:35 +0200ddellacosta(~ddellacos@89.46.62.49)
2021-05-24 12:39:52 +0200bitsberg(~ringo@208.91.65.181)
2021-05-24 12:42:10 +0200ddellacosta(~ddellacos@89.46.62.49) (Ping timeout: 264 seconds)
2021-05-24 12:42:43 +0200bitsberg(~ringo@208.91.65.181) (Quit: Konversation terminated!)
2021-05-24 12:43:40 +0200bfrk(~Thunderbi@200116b8457612003b6c7a007b6f34e6.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2021-05-24 12:43:57 +0200pretty_dumm_guy(~trottel@185.128.27.102) (Quit: WeeChat 3.2-dev)
2021-05-24 12:45:44 +0200pretty_dumm_guy(~trottel@185.244.212.221)
2021-05-24 12:46:32 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 12:46:48 +0200juhp(~juhp@128.106.188.199)
2021-05-24 12:48:13 +0200ixlun`(~user@195.213.99.113)
2021-05-24 12:50:54 +0200ixlun(~user@195.213.99.113) (Ping timeout: 244 seconds)
2021-05-24 12:54:02 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160)
2021-05-24 12:55:42 +0200ddellacosta(~ddellacos@86.106.121.48)
2021-05-24 12:59:51 +0200Guest61(971f48a9@107.161.19.109)
2021-05-24 13:00:15 +0200ddellacosta(~ddellacos@86.106.121.48) (Ping timeout: 264 seconds)
2021-05-24 13:00:33 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-24 13:01:10 +0200Guest61(971f48a9@107.161.19.109) ()
2021-05-24 13:01:49 +0200sm2n(~sm2n@user/sm2n) (Quit: Leaving)
2021-05-24 13:02:40 +0200bfrk(~Thunderbi@200116b8457612003b6c7a007b6f34e6.dip.versatel-1u1.de)
2021-05-24 13:03:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-24 13:03:49 +0200sm2n(~sm2n@user/sm2n)
2021-05-24 13:04:15 +0200lortabac(~lortabac@37.173.130.118)
2021-05-24 13:05:30 +0200sanderTheLugal
2021-05-24 13:06:55 +0200bfrk(~Thunderbi@200116b8457612003b6c7a007b6f34e6.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2021-05-24 13:07:20 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr)
2021-05-24 13:10:37 +0200buggy(~buggy@27.6.222.224) (Quit: Lost terminal)
2021-05-24 13:12:05 +0200ddellacosta(~ddellacos@89.46.62.27)
2021-05-24 13:13:11 +0200haskman(~haskman@171.48.43.206) (Quit: Going to sleep. ZZZzzz…)
2021-05-24 13:14:06 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2021-05-24 13:15:00 +0200APic(apic@apic.name)
2021-05-24 13:16:58 +0200ddellacosta(~ddellacos@89.46.62.27) (Ping timeout: 264 seconds)
2021-05-24 13:18:19 +0200friedem(~friedem@096-037-206-208.res.spectrum.com) (Quit: Quit)
2021-05-24 13:19:35 +0200drewr(~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a)
2021-05-24 13:20:56 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-05-24 13:21:35 +0200haskman(~haskman@171.48.43.206)
2021-05-24 13:22:21 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-24 13:23:13 +0200Mark_(uid14803@user/mark/x-9597255) (Quit: Connection closed for inactivity)
2021-05-24 13:23:42 +0200APic(apic@apic.name) (Quit: Trying whether Auto-Identify with NickServ works)
2021-05-24 13:23:49 +0200APic(apic@apic.name)
2021-05-24 13:24:25 +0200drewr(~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a) (Ping timeout: 272 seconds)
2021-05-24 13:25:47 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection)
2021-05-24 13:27:00 +0200m4lvin(~m4lvin@w4eg.de) (Quit: m4lvin)
2021-05-24 13:27:22 +0200m4lvin(~m4lvin@w4eg.de)
2021-05-24 13:30:16 +0200ddellacosta(~ddellacos@89.46.62.21)
2021-05-24 13:31:26 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor)
2021-05-24 13:32:04 +0200 <safinaskar> hi. i showed up in #haskell in freenode a lot during this months and asked lots of questions. you helped me a lot, thank you! with your help i was able to publish my first package on hackage: https://mail.haskell.org/pipermail/haskell-cafe/2021-May/134004.html . as you can see, i still use my haskell style, i. e. i use curly braces, monadic "do" and fully qualified ids
2021-05-24 13:32:52 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-24 13:34:26 +0200gdarko(~gdarko@95.180.128.167)
2021-05-24 13:35:11 +0200ddellacosta(~ddellacos@89.46.62.21) (Ping timeout: 272 seconds)
2021-05-24 13:38:32 +0200smitop(uid328768@user/smitop)
2021-05-24 13:38:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-24 13:39:07 +0200kuribas(~user@ptr-25vy0i9i2khzv5pzmly.18120a2.ip6.access.telenet.be)
2021-05-24 13:40:36 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-24 13:43:31 +0200ixlun`(~user@195.213.99.113) (Remote host closed the connection)
2021-05-24 13:46:24 +0200ixlun`(~user@195.213.99.113)
2021-05-24 13:46:29 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-24 13:46:53 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 13:47:06 +0200juhp(~juhp@128.106.188.199)
2021-05-24 13:48:13 +0200ddellacosta(~ddellacos@86.106.121.71)
2021-05-24 13:49:55 +0200ixlun`(~user@195.213.99.113) (Remote host closed the connection)
2021-05-24 13:52:58 +0200ddellacosta(~ddellacos@86.106.121.71) (Ping timeout: 264 seconds)
2021-05-24 13:53:48 +0200 <juri_> safinaskar: congratulations. :)
2021-05-24 13:54:20 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-24 13:54:39 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at)
2021-05-24 13:54:54 +0200 <Hecate> congratulations safinaskar :)
2021-05-24 13:55:52 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection)
2021-05-24 13:56:16 +0200holy_(~h01y_b4z0@103.244.176.36)
2021-05-24 13:56:16 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at) (Client Quit)
2021-05-24 14:00:19 +0200 <safinaskar> juri_: Hecate: thanks :)
2021-05-24 14:01:25 +0200 <arahael> safinaskar: Congrats. :) Good job on avoiding needless polishing. Once it works, it works.
2021-05-24 14:01:52 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at)
2021-05-24 14:07:03 +0200heath(~heath@68.68.64.38)
2021-05-24 14:07:46 +0200 <nurupo> 08,02safinaskar: congrats!
2021-05-24 14:10:27 +0200Tomurb(~tom@158.194.92.121) (Ping timeout: 264 seconds)
2021-05-24 14:10:39 +0200drewr(~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a)
2021-05-24 14:10:56 +0200 <[exa]> nurupo: pls avoid colors, they may be a bit intrusive. No matter now really, but when there's traffic, it makes the channel completely messy :]
2021-05-24 14:10:59 +0200holy_(~h01y_b4z0@103.244.176.36) (Remote host closed the connection)
2021-05-24 14:11:27 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-24 14:11:42 +0200 <hpc> maybe we can get syntax highlighting in lambdabot
2021-05-24 14:11:46 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-24 14:12:10 +0200heath(~heath@68.68.64.38) (Ping timeout: 264 seconds)
2021-05-24 14:12:51 +0200boxscape(4ff0bb95@user/boxscape)
2021-05-24 14:14:46 +0200 <nurupo> but this channel allows colors
2021-05-24 14:14:59 +0200 <nurupo> why avoid them, colors are fun!
2021-05-24 14:15:08 +0200 <nurupo> use all the colors!
2021-05-24 14:16:06 +0200 <arahael> nurupo: It's not that the channel "alows" them, it's the client, for me, that was gnarly. It's the only text now here that's bright yellow, underlined, on bright blue background, in an otherwise plain window full of white on black text.
2021-05-24 14:16:25 +0200hmmmas(~chenqisu1@183.217.200.8) (Quit: Leaving.)
2021-05-24 14:17:10 +0200paolino(~paolo@84.33.169.212)
2021-05-24 14:18:45 +0200xwx(~george@user/george)
2021-05-24 14:19:50 +0200haskman(~haskman@171.48.43.206) (Quit: Going to sleep. ZZZzzz…)
2021-05-24 14:20:14 +0200xwx(~george@user/george) (Client Quit)
2021-05-24 14:22:07 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-24 14:23:07 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-24 14:23:36 +0200ddellacosta(~ddellacos@89.46.62.124)
2021-05-24 14:24:06 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-24 14:24:35 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net)
2021-05-24 14:25:35 +0200alp(~alp@user/alp) (Quit: ZNC 1.8.1 - https://znc.in)
2021-05-24 14:25:57 +0200alp(~alp@163.172.83.213)
2021-05-24 14:26:19 +0200alp(~alp@163.172.83.213) (Remote host closed the connection)
2021-05-24 14:26:29 +0200berberman(~berberman@2408:8207:2560:3e20::a44)
2021-05-24 14:28:27 +0200ddellacosta(~ddellacos@89.46.62.124) (Ping timeout: 265 seconds)
2021-05-24 14:29:16 +0200guibou(~guibou@163.172.83.213)
2021-05-24 14:29:38 +0200guibou(~guibou@163.172.83.213) (Client Quit)
2021-05-24 14:29:40 +0200haskman(~haskman@171.48.43.206)
2021-05-24 14:30:31 +0200guibou(~guibou@163.172.83.213)
2021-05-24 14:30:33 +0200kaskal_haskal
2021-05-24 14:32:00 +0200alp(~alp@163.172.83.213)
2021-05-24 14:32:49 +0200haskal(~kaskal@cqc02.itp.tuwien.ac.at) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-24 14:33:19 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea)
2021-05-24 14:34:04 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at)
2021-05-24 14:34:36 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at) (Client Quit)
2021-05-24 14:35:07 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at)
2021-05-24 14:35:38 +0200alp(~alp@163.172.83.213) (Changing host)
2021-05-24 14:35:38 +0200alp(~alp@user/alp)
2021-05-24 14:37:53 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) (Ping timeout: 272 seconds)
2021-05-24 14:38:34 +0200drewr(~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a) (Ping timeout: 264 seconds)
2021-05-24 14:40:22 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-05-24 14:40:53 +0200pfurla_(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-05-24 14:41:59 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 244 seconds)
2021-05-24 14:42:59 +0200berberman(~berberman@2408:8207:2560:3e20::a44) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-24 14:43:26 +0200berberman(~berberman@2408:8207:2560:3e20::a44)
2021-05-24 14:44:03 +0200Minoru(~minoru@vps-10003-7999.cloud.tilaa.com)
2021-05-24 14:44:18 +0200Minoru(~minoru@vps-10003-7999.cloud.tilaa.com) (:wq)
2021-05-24 14:44:56 +0200jonrh_jonrh
2021-05-24 14:46:33 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-24 14:47:25 +0200koishi_(~textual@67.209.186.120.16clouds.com)
2021-05-24 14:49:10 +0200koishi_(~textual@67.209.186.120.16clouds.com) (Client Quit)
2021-05-24 14:49:42 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at) (Quit: ZNC - https://znc.in)
2021-05-24 14:49:48 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-24 14:50:06 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at)
2021-05-24 14:52:14 +0200 <allbery_b> actually it's possible to configure the channel via chanserv to drop colors
2021-05-24 14:55:32 +0200kewa(~kewa@5.138.148.77)
2021-05-24 14:55:47 +0200kaskal(~user@2001:4bb8:2e8:6ec5:e985:ebf:4001:b154) (ERC (IRC client for Emacs 26.3))
2021-05-24 14:56:45 +0200kewa(~kewa@5.138.148.77) (Client Quit)
2021-05-24 14:57:29 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 244 seconds)
2021-05-24 15:00:26 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at) (Quit: ZNC - https://znc.in)
2021-05-24 15:00:34 +0200lbseale(~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-24 15:00:50 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at)
2021-05-24 15:02:32 +0200 <ski> colors (and bold, underlined, inverse, italic) can occasionally be useful, but should, imho, be used sparingly (certainly not using multiple of them at the same time, as a matter of course, in ordinary messages, imho. especially changing background color (or using inverse) tends to stand out more, but also changing foreground can mess with some people's settings (preferred default backgrounds vary))
2021-05-24 15:03:50 +0200 <ski> using them for syntax-highlighting (or semantically highlighting some portions of code) could possibly be useful
2021-05-24 15:03:50 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at) (Client Quit)
2021-05-24 15:04:22 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at)
2021-05-24 15:05:45 +0200boxscape(4ff0bb95@user/boxscape) (Ping timeout: 272 seconds)
2021-05-24 15:05:57 +0200pbrisbin(~patrick@pool-173-49-145-161.phlapa.fios.verizon.net)
2021-05-24 15:05:57 +0200kaskal_lalo
2021-05-24 15:06:06 +0200 <ski> (i've found myself occasionally using bold, sometimes underlined, in conversations. often these can be rendered as "*bold" and "_underlined_" (which some clients will automatically apply those attributes to), but that is less desirable for subphrases of formal languages (such as Haskell))
2021-05-24 15:06:08 +0200lalokaskal_
2021-05-24 15:07:27 +0200 <ski> (er, that should be "*bold*")
2021-05-24 15:09:30 +0200yaroot(~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat)
2021-05-24 15:09:54 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at) (Quit: ZNC - https://znc.in)
2021-05-24 15:10:21 +0200yaroot(~yaroot@6.3.30.125.dy.iij4u.or.jp)
2021-05-24 15:10:33 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at)
2021-05-24 15:16:31 +0200chddr(~Thunderbi@91.226.34.182) (Ping timeout: 272 seconds)
2021-05-24 15:22:23 +0200ddellacosta(~ddellacos@89.46.62.18)
2021-05-24 15:24:14 +0200waleee-cl(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-05-24 15:30:19 +0200moistoreos(~moistoreo@99-151-203-47.lightspeed.snantx.sbcglobal.net)
2021-05-24 15:32:01 +0200xkapastel(uid17782@id-17782.tinside.irccloud.com)
2021-05-24 15:32:10 +0200TheLugal(~sander@164.89-11-223.nextgentel.com) (Changing host)
2021-05-24 15:32:10 +0200TheLugal(~sander@user/sander)
2021-05-24 15:32:26 +0200kilolympus(~kilolympu@5.151.5.180) (Quit: Quitting IRC :()
2021-05-24 15:32:33 +0200SanchayanMaity_(sid478177@id-478177.stonehaven.irccloud.com)
2021-05-24 15:32:55 +0200SanchayanMaity(~Sanchayan@136.185.150.127) (Quit: SanchayanMaity)
2021-05-24 15:32:56 +0200SanchayanMaity_SanchayanMaity
2021-05-24 15:33:05 +0200SanchayanMaity(sid478177@id-478177.stonehaven.irccloud.com) (Client Quit)
2021-05-24 15:33:17 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Read error: Connection reset by peer)
2021-05-24 15:33:21 +0200SanchayanMaity(sid478177@id-478177.stonehaven.irccloud.com)
2021-05-24 15:33:44 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-24 15:34:01 +0200 <maerwald> so, is there an *actual* channel rule for/against colors?
2021-05-24 15:34:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-24 15:34:45 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea)
2021-05-24 15:35:14 +0200 <bin_> I don't know, but it's a bit rude. arahael is correct that it's unpleasantly garish in many clients.
2021-05-24 15:36:22 +0200betelgeuse(~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-05-24 15:36:23 +0200betelgeuse6(~john2gb@94-225-47-8.access.telenet.be)
2021-05-24 15:37:08 +0200lukeseale(~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-24 15:38:05 +0200 <ski> maerwald : no
2021-05-24 15:38:49 +0200 <maerwald> ok, then the normal spam rules of the server apply, I guess and we can move on with our lives
2021-05-24 15:38:50 +0200 <ski> afaiac, the main channel rule is "Be nice, or else."
2021-05-24 15:39:19 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) (Ping timeout: 272 seconds)
2021-05-24 15:40:18 +0200boxscape(4ff0bb95@user/boxscape)
2021-05-24 15:40:28 +0200lbseale(~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 265 seconds)
2021-05-24 15:43:55 +0200heath(~heath@68.68.64.38)
2021-05-24 15:44:15 +0200ddellacosta(~ddellacos@89.46.62.18) (Remote host closed the connection)
2021-05-24 15:44:45 +0200ddellacosta(~ddellacos@89.46.62.18)
2021-05-24 15:45:30 +0200notzmvbaasaardappel
2021-05-24 15:46:42 +0200baasaardappelnotzmv
2021-05-24 15:47:06 +0200xprlgjf(~gavin@60.27.93.209.dyn.plus.net) (Remote host closed the connection)
2021-05-24 15:49:22 +0200ddellacosta(~ddellacos@89.46.62.18) (Ping timeout: 264 seconds)
2021-05-24 15:51:33 +0200ddellacosta(~ddellacos@89.46.62.69)
2021-05-24 15:53:37 +0200SanchayanM(~Sanchayan@136.185.150.127)
2021-05-24 15:58:19 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 272 seconds)
2021-05-24 16:01:22 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-05-24 16:02:44 +0200yumaikas-(~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375)
2021-05-24 16:04:41 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at) (Quit: ZNC - https://znc.in)
2021-05-24 16:05:06 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv)
2021-05-24 16:05:28 +0200kaskal_(~kaskal@cqc02.itp.tuwien.ac.at)
2021-05-24 16:07:10 +0200ystael_(~ystael@user/ystael) (Quit: leaving)
2021-05-24 16:07:25 +0200ystael(~ystael@user/ystael)
2021-05-24 16:10:01 +0200mastarija(~mastarija@31.217.26.16)
2021-05-24 16:10:27 +0200ddellacosta(~ddellacos@89.46.62.69) (Ping timeout: 264 seconds)
2021-05-24 16:10:34 +0200whitgreenlghtsbr(~pjetcetal@2.95.204.25) (Quit: EXIT)
2021-05-24 16:12:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-24 16:15:46 +0200bgamari(~int0x0c@2001:470:e438:2:c1ed:bb6e:19bc:5f60)
2021-05-24 16:17:03 +0200xprlgjf(~gavin@60.27.93.209.dyn.plus.net)
2021-05-24 16:22:45 +0200exarkun1(~exarkun@2605:59c1:c2cc:400::e9c) (Remote host closed the connection)
2021-05-24 16:23:11 +0200exarkun1(~exarkun@2605:59c1:c2cc:400::e9c)
2021-05-24 16:28:37 +0200lortabac(~lortabac@37.173.130.118) (Quit: WeeChat 2.8)
2021-05-24 16:33:03 +0200eight(~eight@user/eight) ()
2021-05-24 16:33:10 +0200jpds(~jpds@tor-relay.zwiebeltoralf.de)
2021-05-24 16:35:44 +0200exarkun1(~exarkun@2605:59c1:c2cc:400::e9c) (Remote host closed the connection)
2021-05-24 16:36:02 +0200exarkun1(~exarkun@2605:59c1:c2cc:400::e9c)
2021-05-24 16:36:14 +0200ben__(~int0x0c@72.65.101.148)
2021-05-24 16:39:10 +0200bgamari(~int0x0c@2001:470:e438:2:c1ed:bb6e:19bc:5f60) (Ping timeout: 264 seconds)
2021-05-24 16:43:14 +0200GIANTWORLDKEEPER(~pjetcetal@2.95.204.25)
2021-05-24 16:48:42 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1)
2021-05-24 16:48:45 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-05-24 16:49:05 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-24 16:53:06 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-24 16:53:27 +0200safinaskar(~user@109-252-90-89.nat.spd-mgts.ru) (Ping timeout: 265 seconds)
2021-05-24 16:54:55 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-05-24 16:58:46 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 265 seconds)
2021-05-24 16:58:54 +0200yumaikas-(~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375) (Ping timeout: 244 seconds)
2021-05-24 17:00:00 +0200m_shiraeeshi(~shiraeesh@109.166.56.7)
2021-05-24 17:00:38 +0200Guest64(b0644b43@107.161.19.109)
2021-05-24 17:00:38 +0200Guest64dut
2021-05-24 17:01:56 +0200b20n(sid115913@highgate.irccloud.com)
2021-05-24 17:06:34 +0200 <boxscape> it's weird to me that monad transformer runners are not flipped. I keep writing `flip evalState foo . flip runReaderT bar $ do {...}`
2021-05-24 17:07:03 +0200mastarija(~mastarija@31.217.26.16) (Quit: Leaving)
2021-05-24 17:07:30 +0200 <boxscape> ah, I suppose it's because they're record fields
2021-05-24 17:10:05 +0200fjmorazan(~quassel@user/fjmorazan)
2021-05-24 17:10:18 +0200dut(b0644b43@107.161.19.109) (Quit: dut)
2021-05-24 17:11:34 +0200pbrisbin(~patrick@pool-173-49-145-161.phlapa.fios.verizon.net) (Ping timeout: 264 seconds)
2021-05-24 17:12:13 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 17:12:26 +0200juhp(~juhp@128.106.188.199)
2021-05-24 17:13:00 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net)
2021-05-24 17:14:09 +0200Tomurb(~tom@92-17.net.optinet.cz)
2021-05-24 17:18:38 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-24 17:19:09 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no)
2021-05-24 17:20:12 +0200ben__bgamari
2021-05-24 17:22:39 +0200dut(~dut@user/dut)
2021-05-24 17:22:45 +0200 <maerwald> that's not a reason
2021-05-24 17:23:40 +0200dut(~dut@user/dut) (Client Quit)
2021-05-24 17:23:43 +0200xprlgjf(~gavin@60.27.93.209.dyn.plus.net) (Remote host closed the connection)
2021-05-24 17:24:52 +0200tsandstr(~user@cpe-98-5-88-45.buffalo.res.rr.com)
2021-05-24 17:25:32 +0200 <tomsmeding> well it's a reason for sure
2021-05-24 17:25:45 +0200 <tomsmeding> whether it's a good motivation is a different question :p
2021-05-24 17:26:21 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea)
2021-05-24 17:29:22 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-24 17:29:29 +0200siraben`(~user@103.206.205.210)
2021-05-24 17:30:29 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-24 17:30:35 +0200siraben`(~user@103.206.205.210) (Client Quit)
2021-05-24 17:30:38 +0200garff(~garff@212.97.248.194)
2021-05-24 17:30:52 +0200 <garff> I'm trying to test something and I'm a little bit confused about the answers I'm getting from the test report produced by stack test --covergage. I got this function that I'm calling and there is just nooo.. way that's it not getting executed. Despite that the return value of the function still comes up yellow and
2021-05-24 17:30:59 +0200siraben`(~user@103.206.205.210)
2021-05-24 17:31:07 +0200 <garff> And the function does come through "passed" and do produce the correct result.. meaning - the different parts must be executed.. otherwise the correct answers could never be executed.
2021-05-24 17:31:17 +0200siraben`(~user@103.206.205.210) (Remote host closed the connection)
2021-05-24 17:31:26 +0200 <garff> I tried in haskell on freenode but was directed here -thanks for the good work!
2021-05-24 17:32:36 +0200yumaikas-(~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375)
2021-05-24 17:33:18 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-24 17:33:51 +0200boxscape(4ff0bb95@user/boxscape) (Ping timeout: 264 seconds)
2021-05-24 17:36:15 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 264 seconds)
2021-05-24 17:37:39 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 244 seconds)
2021-05-24 17:37:48 +0200SanchayanM(~Sanchayan@136.185.150.127) (Quit: SanchayanM)
2021-05-24 17:38:03 +0200garff(~garff@212.97.248.194) (Quit: Leaving)
2021-05-24 17:38:49 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) (Remote host closed the connection)
2021-05-24 17:39:04 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-24 17:39:50 +0200ddellacosta(~ddellacos@86.106.121.31)
2021-05-24 17:41:33 +0200xff0x(~xff0x@2001:1a81:52e8:5900:fcc8:4950:4702:a177) (Ping timeout: 272 seconds)
2021-05-24 17:43:18 +0200xff0x(~xff0x@185.65.135.235)
2021-05-24 17:44:38 +0200bec(5c97416f@user/bec) (Quit: Connection closed)
2021-05-24 17:46:08 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.1)
2021-05-24 17:47:15 +0200yumaikas-(~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375) (Ping timeout: 272 seconds)
2021-05-24 17:48:09 +0200smitop(uid328768@user/smitop) (Quit: Connection closed for inactivity)
2021-05-24 17:48:35 +0200fart(68e8ca7b@user/actor)
2021-05-24 17:48:42 +0200 <fart> /join #haskell-offtopic
2021-05-24 17:48:45 +0200 <fart> oop
2021-05-24 17:49:04 +0200 <fart> I'm glad this channel has logging so my failures are not only public but recorded
2021-05-24 17:49:52 +0200 <maerwald> at least you got a great nickname
2021-05-24 17:50:03 +0200xff0x(~xff0x@185.65.135.235) (Ping timeout: 264 seconds)
2021-05-24 17:51:11 +0200yumaikas-(~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375)
2021-05-24 17:51:29 +0200xff0x(~xff0x@2001:1a81:52e8:5900:fcc8:4950:4702:a177)
2021-05-24 17:51:38 +0200zzz(~yang@user/yin)
2021-05-24 17:54:50 +0200jess(~jess@libera/staff/jess) (Quit: Reconnecting)
2021-05-24 17:54:56 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-24 17:55:26 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-24 17:55:26 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-24 17:55:29 +0200jess(~jess@libera/staff/jess)
2021-05-24 17:55:48 +0200superbil(~superbil@1-34-176-171.HINET-IP.hinet.net) (Ping timeout: 265 seconds)
2021-05-24 17:55:53 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-24 17:56:40 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-24 17:56:46 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-24 17:57:08 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 17:57:22 +0200juhp(~juhp@128.106.188.199)
2021-05-24 17:59:28 +0200xwx(~george@user/george)
2021-05-24 17:59:30 +0200xwx(~george@user/george) (Client Quit)
2021-05-24 17:59:42 +0200boxscape(4ff0bb95@user/boxscape)
2021-05-24 18:00:30 +0200xwx(~george@user/george)
2021-05-24 18:02:28 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 18:02:41 +0200juhp(~juhp@128.106.188.199)
2021-05-24 18:03:39 +0200unyu(~pyon@user/pyon) (Quit: WeeChat 3.1)
2021-05-24 18:03:46 +0200ddellacosta(~ddellacos@86.106.121.31) (Ping timeout: 264 seconds)
2021-05-24 18:05:02 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:60cd:f593:c6cb:b34d)
2021-05-24 18:05:32 +0200fendor(~fendor@178.165.191.174.wireless.dyn.drei.com) (Remote host closed the connection)
2021-05-24 18:05:37 +0200yumaikas-(~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375) (Ping timeout: 272 seconds)
2021-05-24 18:05:44 +0200alx741(~alx741@186.178.109.193) (Quit: alx741)
2021-05-24 18:07:14 +0200ddellacosta(~ddellacos@86.106.121.82)
2021-05-24 18:07:15 +0200fendor(~fendor@178.165.191.174.wireless.dyn.drei.com)
2021-05-24 18:07:27 +0200farmfrmjakestate(~farmfromj@user/farmfrmjakestate)
2021-05-24 18:08:24 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-24 18:08:46 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea)
2021-05-24 18:09:00 +0200superbil(~superbil@1-34-176-171.HINET-IP.hinet.net)
2021-05-24 18:09:12 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection)
2021-05-24 18:09:24 +0200alx741(~alx741@186.178.109.193)
2021-05-24 18:09:56 +0200 <fart> /join #rust
2021-05-24 18:10:02 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-24 18:10:03 +0200 <fart> omg. I give up.
2021-05-24 18:11:21 +0200 <wenzel> fart, your shame is being recorded
2021-05-24 18:11:34 +0200Tomurb(~tom@92-17.net.optinet.cz) (Ping timeout: 264 seconds)
2021-05-24 18:11:59 +0200exarkun1(~exarkun@2605:59c1:c2cc:400::e9c) (Remote host closed the connection)
2021-05-24 18:12:25 +0200exarkun1(~exarkun@2605:59c1:c2cc:400::e9c)
2021-05-24 18:12:48 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 18:13:03 +0200juhp(~juhp@128.106.188.199)
2021-05-24 18:15:04 +0200 <zzz> just do haskell. it's the superior language anyway
2021-05-24 18:16:25 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-05-24 18:16:37 +0200 <fendor> there is a rust irc?
2021-05-24 18:16:48 +0200 <maerwald> yeah, not official
2021-05-24 18:17:09 +0200 <maerwald> official used to be mozilla IRC server, but that's also discontinued afair
2021-05-24 18:17:36 +0200 <fendor> yeah, didn't they move to discord?
2021-05-24 18:21:39 +0200 <eggplantade> The rust discord server is very active
2021-05-24 18:22:20 +0200yumaikas-(~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375)
2021-05-24 18:23:08 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 18:23:19 +0200horex539(~horex539@2a02:a03f:6aa5:a00:c0c2:de35:17c6:545e)
2021-05-24 18:23:21 +0200juhp(~juhp@128.106.188.199)
2021-05-24 18:23:34 +0200fabfianda(~fabfianda@net-93-148-125-174.cust.vodafonedsl.it) (Ping timeout: 264 seconds)
2021-05-24 18:23:41 +0200 <maerwald> discord feels like a place for esport kiddies
2021-05-24 18:24:36 +0200fabfianda(~fabfianda@mob-5-90-252-55.net.vodafone.it)
2021-05-24 18:25:35 +0200 <kuribas> how is haskell superior when rust has a different use case?
2021-05-24 18:27:04 +0200favonia(~favonia@99-36-111-163.lightspeed.dllstx.sbcglobal.net)
2021-05-24 18:29:22 +0200kuribas(~user@ptr-25vy0i9i2khzv5pzmly.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-05-24 18:29:46 +0200amk(~amk@176.61.106.150) (Read error: Connection reset by peer)
2021-05-24 18:30:13 +0200amk(~amk@176.61.106.150)
2021-05-24 18:31:44 +0200xkapastel(uid17782@id-17782.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-24 18:32:12 +0200favonia(~favonia@99-36-111-163.lightspeed.dllstx.sbcglobal.net) (Changing host)
2021-05-24 18:32:12 +0200favonia(~favonia@user/favonia)
2021-05-24 18:33:17 +0200kluk(~kluk@cpe-69-203-82-73.nyc.res.rr.com) (Ping timeout: 272 seconds)
2021-05-24 18:37:13 +0200ddellacosta(~ddellacos@86.106.121.82) (Remote host closed the connection)
2021-05-24 18:37:40 +0200ddellacosta(~ddellacos@86.106.121.82)
2021-05-24 18:38:03 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 264 seconds)
2021-05-24 18:39:29 +0200ddellaco_(~ddellacos@86.106.121.50)
2021-05-24 18:39:49 +0200 <zzz> haskell is so superior that it doesnt have a use case
2021-05-24 18:40:32 +0200 <zzz> (mozilla moved to matrix btw. discord maybe a bridge?)
2021-05-24 18:41:14 +0200 <maerwald> I think rust is probably superior on the paper in most regards, but it's WAY more verbose
2021-05-24 18:42:10 +0200ddellacosta(~ddellacos@86.106.121.82) (Ping timeout: 264 seconds)
2021-05-24 18:42:15 +0200oxide(~lambda@user/oxide) (Ping timeout: 264 seconds)
2021-05-24 18:42:19 +0200 <Vq> I like to call rust the ugly ML dialect.
2021-05-24 18:42:44 +0200 <zzz> depending on what you mean by "on the paper". im inclined to bet on haskell if we're talking "on paper"
2021-05-24 18:42:52 +0200 <Vq> I quite like rust, but it doesn't look as pretty as other ML languages.
2021-05-24 18:42:53 +0200 <maerwald> platform support, cross compiling, verified TLS implementation, less ecosystem fragmentation, predictable performance, low memory footprint, good debuggers, ...
2021-05-24 18:42:53 +0200oxide(~lambda@user/oxide)
2021-05-24 18:43:36 +0200ddellaco_(~ddellacos@86.106.121.50) (Remote host closed the connection)
2021-05-24 18:43:39 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-05-24 18:43:58 +0200 <maerwald> I would do it for work, but it's more typing :p
2021-05-24 18:44:02 +0200ddellacosta(~ddellacos@86.106.121.50)
2021-05-24 18:44:14 +0200 <zzz> who likes predictable performance? i want to feel the rush of being alive
2021-05-24 18:44:35 +0200ddellacosta(~ddellacos@86.106.121.50) (Remote host closed the connection)
2021-05-24 18:44:41 +0200ddellacosta(~ddellacos@86.106.121.50)
2021-05-24 18:45:36 +0200 <maerwald> zzz: after having worked on a haskell platform that took 64GB of memory, multiple failed consulting attempts and a couple of years to fix memory issues... I do care about it
2021-05-24 18:46:02 +0200 <maerwald> *some* of it was due to architectural issues, other things was haskell being haskell
2021-05-24 18:46:17 +0200 <zzz> bah... premature optimization
2021-05-24 18:46:30 +0200safinaskar(~user@109-252-90-89.nat.spd-mgts.ru)
2021-05-24 18:46:58 +0200 <Cale> zzz: What, are you going to go up to 128GB first? :)
2021-05-24 18:47:07 +0200favonia(~favonia@user/favonia) (Leaving)
2021-05-24 18:47:20 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 18:47:26 +0200 <maerwald> sure, pretty easy if you find someone like Cale, who probably knows GHC internals and can fix it in one weekend ;)
2021-05-24 18:48:10 +0200 <zzz> whatever it takes unitl the compiler starts showing signs of sentience. then it can take care of optimization for you
2021-05-24 18:48:12 +0200 <maerwald> having to know GHC internals IS the problem
2021-05-24 18:48:46 +0200dwt_(~dwt_@2601:2c6:8080:618:48b9:7938:1ce:33ec)
2021-05-24 18:48:55 +0200 <maerwald> it's already hard enough to keep up with the language itself, let alone esoteric performance things
2021-05-24 18:48:55 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 18:49:21 +0200 <maerwald> but... tbf... most programs will never get to the point that this becomes a problem
2021-05-24 18:49:25 +0200 <maerwald> but some do
2021-05-24 18:49:26 +0200 <Cale> I really wish we could cool it on the questionable language extensions
2021-05-24 18:50:03 +0200bgamari(~int0x0c@72.65.101.148) (Ping timeout: 264 seconds)
2021-05-24 18:50:13 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 18:50:32 +0200horex539(~horex539@2a02:a03f:6aa5:a00:c0c2:de35:17c6:545e) (Remote host closed the connection)
2021-05-24 18:51:01 +0200 <Cale> I've been working on a change to let GHC do unpacking of sum-typed fields, and running into some frustrating LinearHaskell nonsense.
2021-05-24 18:52:19 +0200 <maerwald> that would disrupt a lot of PhD thesis, I guess :P
2021-05-24 18:53:33 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-24 18:53:35 +0200horex539(~horex539@2a02:a03f:6aa5:a00:c0c2:de35:17c6:545e)
2021-05-24 18:55:43 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 18:56:26 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 18:56:56 +0200 <zzz> i see harm in success at cost of PhD thesis
2021-05-24 18:57:54 +0200 <Rembane> Isn't that one of the tensions of Haskell? Research language vs industrial language?
2021-05-24 18:57:59 +0200 <Cale> Not all Ph.D. theses are created equal when it comes to practicality.
2021-05-24 18:58:36 +0200 <maerwald> I believe the solution is interoperable languages, instead of one language that does it all. MS is closest to it with C# -> F# -> F*
2021-05-24 18:59:18 +0200 <maerwald> but that requires more pragmatism than we have in the haskell community (and more resources)
2021-05-24 18:59:57 +0200 <Rembane> I think resources are a bigger problem than pragmatism in this case, and also what the community optimizes for.
2021-05-24 18:59:59 +0200 <Cale> One thing which would be really good is if we can sort out GHC so that it's more modular.
2021-05-24 19:00:35 +0200slep(~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net)
2021-05-24 19:00:59 +0200 <boxscape> any idea why I might be getting "Text.ParserCombinators.Parsec.Prim.many: combinator 'many' is applied to a parser that accepts an empty string" when the stack trace shows I'm in this function?
2021-05-24 19:00:59 +0200 <boxscape> nonNewLineSpaces = skipMany $ satisfy \c -> isSpace c && c /= '\n'
2021-05-24 19:01:26 +0200tose(~tose@ip-85-160-8-188.eurotel.cz)
2021-05-24 19:01:52 +0200 <Cale> Don't you need another $ there? But yeah, that's not a parser that can accept an empty string, so I'm not sure.
2021-05-24 19:02:10 +0200 <boxscape> not with one of those questionable extensions, BlockArguments
2021-05-24 19:02:18 +0200 <Cale> haha, okay
2021-05-24 19:02:23 +0200 <Cale> Where'd you get the stack trace from?
2021-05-24 19:02:23 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 19:02:46 +0200 <boxscape> ghc check-notes.hs -prof -fprof-auto -fprof-cafs, followed by cat tmp | ./check-notes +RTS -xc
2021-05-24 19:02:58 +0200 <Cale> Ah, okay, a cost-centre trace
2021-05-24 19:03:15 +0200 <boxscape> ah, yes I suppose that's a more accurate name
2021-05-24 19:03:46 +0200 <boxscape> output looks like this which seems like it would mean that it has to be from that skipMany https://paste.tomsmeding.com/3p9tmXnx
2021-05-24 19:04:24 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 19:05:33 +0200Tomurb(~tom@92-17.net.optinet.cz)
2021-05-24 19:05:34 +0200 <Cale> What does your parser look like? Maybe the problem is just somewhere nearby?
2021-05-24 19:06:02 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-05-24 19:06:10 +0200berberman(~berberman@2408:8207:2560:3e20::a44) (Ping timeout: 264 seconds)
2021-05-24 19:06:20 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-24 19:06:26 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor)
2021-05-24 19:07:06 +0200Deide(~Deide@217.155.19.23)
2021-05-24 19:07:06 +0200Deide(~Deide@217.155.19.23) (Changing host)
2021-05-24 19:07:06 +0200Deide(~Deide@user/deide)
2021-05-24 19:07:12 +0200 <boxscape> yeah it contains a bunch of manys and some parsers that can produce empty strings. I guess I'll go through them and see disabling which one fixes it, maybe I'm misunderstanding how the trace works.
2021-05-24 19:07:22 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no)
2021-05-24 19:07:23 +0200 <boxscape> s/produce/accept
2021-05-24 19:07:37 +0200 <Cale> boxscape: Perhaps nonNewLineSpaces is being used in a many?
2021-05-24 19:07:51 +0200 <Cale> What does singleLineNotes look like?
2021-05-24 19:08:52 +0200 <Cale> I wouldn't trust the trace too much, they're often kinda... approximate. They mean a whole lot less than you'd want for debugging, but can be better than nothing.
2021-05-24 19:09:06 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 19:09:57 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 19:10:24 +0200 <boxscape> this is singleLineNotes, there's a bunch of manys in here, let me check if I'm inadverntantly nesting them somewhere https://paste.tomsmeding.com/W3XdvVtm
2021-05-24 19:10:25 +0200 <Cale> It might also help to test your parsers individually, perhaps just do some quick examples in GHCi using testParser -- usually a problem like this one will show up immediately if it's going to show up, unless it's being buried by a conditional somehow
2021-05-24 19:10:32 +0200 <boxscape> yeah that's a good idea
2021-05-24 19:11:32 +0200 <Cale> ah
2021-05-24 19:11:34 +0200pretty_dumm_guy(~trottel@185.244.212.221) (Ping timeout: 264 seconds)
2021-05-24 19:11:35 +0200 <Cale> I think I might see it
2021-05-24 19:11:48 +0200 <Cale> pSingleLineNote will accept an empty string
2021-05-24 19:12:04 +0200 <Cale> and you're applying many to it in singleLineNotes
2021-05-24 19:12:10 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 264 seconds)
2021-05-24 19:12:46 +0200 <Cale> Or wait, how does manyTill work again...
2021-05-24 19:12:48 +0200 <boxscape> hmm but it calls pNoteStart which should always parse `string "Note"`?
2021-05-24 19:13:17 +0200 <Cale> ah, yeah, I'm wrong
2021-05-24 19:13:24 +0200 <Cale> It at least has to consume the terminator
2021-05-24 19:15:30 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 19:15:40 +0200 <Cale> Wait, how do `sepBy` and <* associate?
2021-05-24 19:15:51 +0200 <Cale> I would be writing way more parens than this :)
2021-05-24 19:16:02 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 265 seconds)
2021-05-24 19:16:32 +0200 <Cale> noteSeparator is a skipMany
2021-05-24 19:16:32 +0200 <boxscape> might be a good idea
2021-05-24 19:16:43 +0200 <Cale> hmm
2021-05-24 19:17:08 +0200 <Cale> Nah, that doesn't look problematic...
2021-05-24 19:17:37 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 19:19:09 +0200tose(~tose@ip-85-160-8-188.eurotel.cz) (Remote host closed the connection)
2021-05-24 19:19:44 +0200tose(~tose@ip-85-160-8-188.eurotel.cz)
2021-05-24 19:19:54 +0200pretty_dumm_guy(~trottel@37.58.58.231)
2021-05-24 19:20:05 +0200 <boxscape> btw I just noticed that I'm very clearly misunderstanding the trace, because to me it looks like it says that pNoteStart calls noteSeparator, which can't be
2021-05-24 19:21:27 +0200 <boxscape> pSingleLineNote works in ghci, singleLineNotes produces the same error, so that's a start
2021-05-24 19:22:12 +0200 <Cale> What happens with many pSingleLineNote ?
2021-05-24 19:22:23 +0200 <Cale> Does that work?
2021-05-24 19:22:33 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 19:22:34 +0200 <boxscape> that's fine
2021-05-24 19:22:37 +0200 <Cale> ohhhh
2021-05-24 19:22:52 +0200 <Cale> many pSingleLineNote obviously accepts the empty string
2021-05-24 19:22:52 +0200gdarko(~gdarko@95.180.128.167) ()
2021-05-24 19:23:05 +0200 <Cale> noteSeparator also does
2021-05-24 19:23:05 +0200 <boxscape> ah, it's sepBy
2021-05-24 19:23:32 +0200 <Cale> and so sepBy has the unfortunate task of trying to separate a bunch of potentially empty strings with potentially empty string
2021-05-24 19:23:34 +0200 <Cale> s
2021-05-24 19:23:56 +0200 <boxscape> yeah
2021-05-24 19:24:03 +0200 <boxscape> thanks for your help in finding it :)
2021-05-24 19:24:23 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 19:25:03 +0200 <boxscape> luckily fixing it just consists of removing that `many`
2021-05-24 19:25:13 +0200 <Cale> and yeah, parsers do a bunch of continuation passing under the hood, so you probably can't trust any of the jank which attempts to approximate what an imperative stack trace would look like to work on them
2021-05-24 19:25:22 +0200 <boxscape> Ah, I see
2021-05-24 19:26:07 +0200 <Cale> I often wish we didn't try so hard to make fake stack traces, and had better support for just displaying real stack traces.
2021-05-24 19:26:19 +0200 <Cale> The problem is, most of the things on the stack won't have names
2021-05-24 19:26:30 +0200 <Cale> They'll be pattern matches happening at various points in the program
2021-05-24 19:26:37 +0200 <Cale> Or function applications
2021-05-24 19:26:44 +0200 <boxscape> hm, yeah
2021-05-24 19:27:25 +0200 <Cale> also, it'll be quite strange a lot of the time, after inlining and all that kind of thing happens
2021-05-24 19:27:38 +0200xkapastel(uid17782@id-17782.tinside.irccloud.com)
2021-05-24 19:27:43 +0200 <Cale> But I think it's possible to get something useful in theory
2021-05-24 19:28:14 +0200 <boxscape> I suppose with the right compiler options it won't inline though, at least
2021-05-24 19:28:17 +0200 <Cale> Maybe hang on to a source-annotated table of all the things which potentially go on the stack
2021-05-24 19:28:51 +0200roconnor(~roconnor@host-45-58-226-129.dyn.295.ca)
2021-05-24 19:28:52 +0200 <Cale> and then when you're inlining stuff, you keep pointers into that table :)
2021-05-24 19:29:13 +0200 <boxscape> yeah that sounds like it could work
2021-05-24 19:29:16 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 19:30:00 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 19:31:24 +0200pe200012(~pe200012@119.131.208.84) (Read error: Connection reset by peer)
2021-05-24 19:32:05 +0200pe200012(~pe200012@119.131.208.84)
2021-05-24 19:36:00 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 19:38:13 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 19:39:26 +0200exarkun1exarkun
2021-05-24 19:40:27 +0200electronkongkong
2021-05-24 19:42:43 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 19:44:18 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 19:44:56 +0200kongzilla
2021-05-24 19:45:16 +0200zillakong
2021-05-24 19:47:53 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection)
2021-05-24 19:48:13 +0200Tomurb(~tom@92-17.net.optinet.cz) (Ping timeout: 272 seconds)
2021-05-24 19:48:29 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-24 19:48:36 +0200holy_(~h01y_b4z0@103.244.176.36)
2021-05-24 19:48:44 +0200bollu(~bollu@139.59.46.74) (Quit: The Lounge - https://thelounge.chat)
2021-05-24 19:49:18 +0200bollu(~bollu@139.59.46.74)
2021-05-24 19:49:28 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 19:49:42 +0200triskai(~relikt@216-164-151-15.s8205.c3-0.atw-cbr1.atw.pa.cable.rcncustomer.com)
2021-05-24 19:50:23 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 19:50:55 +0200horex539(~horex539@2a02:a03f:6aa5:a00:c0c2:de35:17c6:545e) (Remote host closed the connection)
2021-05-24 19:52:28 +0200nan`_(~nan`@68.235.43.173)
2021-05-24 19:52:58 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 264 seconds)
2021-05-24 19:53:47 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) (Remote host closed the connection)
2021-05-24 19:56:12 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 19:56:39 +0200fart(68e8ca7b@user/actor) (Ping timeout: 264 seconds)
2021-05-24 19:57:28 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 19:58:47 +0200Mark_(uid14803@user/mark/x-9597255)
2021-05-24 20:01:03 +0200chddr(~Thunderbi@91.226.34.182)
2021-05-24 20:01:20 +0200Tomurb(~tom@92-17.net.optinet.cz)
2021-05-24 20:02:54 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 20:02:56 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-05-24 20:04:48 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 20:05:22 +0200Arsen(~arsen@fosshost/volunteer/ArsenArsen)
2021-05-24 20:09:37 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 20:11:21 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 20:16:21 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 20:17:47 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 20:21:35 +0200pe200012_(~pe200012@119.131.208.84)
2021-05-24 20:21:46 +0200pe200012(~pe200012@119.131.208.84) (Ping timeout: 264 seconds)
2021-05-24 20:23:11 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 20:23:21 +0200pretty_dumm_guy(~trottel@37.58.58.231) (Quit: WeeChat 3.2-dev)
2021-05-24 20:23:42 +0200alex3(~Chel@BSN-77-82-41.static.siol.net) (Ping timeout: 265 seconds)
2021-05-24 20:24:06 +0200favonia(~favonia@user/favonia)
2021-05-24 20:25:34 +0200Tomurb(~tom@92-17.net.optinet.cz) (Quit: Konversation terminated!)
2021-05-24 20:26:20 +0200kluk_(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 20:26:25 +0200abbie(~abbie@user/abbie) (Quit: Bye!)
2021-05-24 20:26:27 +0200SquidDev(~SquidDev@autoclave.squiddev.cc) (Read error: Connection reset by peer)
2021-05-24 20:27:09 +0200Deide1(~Deide@217.155.19.23)
2021-05-24 20:27:48 +0200abbie(~abbie@user/abbie)
2021-05-24 20:27:52 +0200SquidDev(~SquidDev@autoclave.squiddev.cc)
2021-05-24 20:29:23 +0200Deide(~Deide@user/deide) (Ping timeout: 272 seconds)
2021-05-24 20:31:13 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 20:31:15 +0200kluk_(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 20:31:38 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection)
2021-05-24 20:32:59 +0200dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2021-05-24 20:34:30 +0200hueso(~root@152.170.89.151) (Ping timeout: 264 seconds)
2021-05-24 20:35:07 +0200ystael(~ystael@user/ystael) (Quit: Lost terminal)
2021-05-24 20:35:24 +0200hueso(~root@152.170.89.151)
2021-05-24 20:36:15 +0200holy_(~h01y_b4z0@103.244.176.36) (Ping timeout: 264 seconds)
2021-05-24 20:36:35 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 20:37:17 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 20:39:01 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-24 20:39:41 +0200xprlgjf(~gavin@60.27.93.209.dyn.plus.net)
2021-05-24 20:40:20 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2021-05-24 20:40:20 +0200alex3(~Chel@BSN-77-82-41.static.siol.net)
2021-05-24 20:40:42 +0200gentauro(~gentauro@user/gentauro)
2021-05-24 20:41:21 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-24 20:43:06 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-05-24 20:43:18 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 20:43:45 +0200ddellacosta(~ddellacos@86.106.121.50) (Remote host closed the connection)
2021-05-24 20:44:11 +0200ddellacosta(~ddellacos@86.106.121.50)
2021-05-24 20:44:36 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 20:44:41 +0200trueboxguy(~trueboxgu@user/trueboxguy)
2021-05-24 20:47:09 +0200WhiteLicorice(~Scraeling@user/scraeling) (Quit: bye)
2021-05-24 20:47:24 +0200Scraeling(~Scraeling@user/scraeling)
2021-05-24 20:48:51 +0200ddellacosta(~ddellacos@86.106.121.50) (Ping timeout: 264 seconds)
2021-05-24 20:49:51 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 244 seconds)
2021-05-24 20:50:02 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 20:51:09 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 20:54:13 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea)
2021-05-24 20:56:03 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-05-24 20:56:10 +0200zeenk(~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41)
2021-05-24 20:56:37 +0200justsomeguy(~justsomeg@2603:9000:960a:fc00:5a8:1bfa:1cc4:f4c8)
2021-05-24 20:56:45 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 20:57:08 +0200monochrommonochrom_
2021-05-24 20:57:25 +0200monochrom_monochrm
2021-05-24 20:57:37 +0200monochrmmonochrom
2021-05-24 20:58:02 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 20:58:02 +0200smitop(uid328768@user/smitop)
2021-05-24 20:58:24 +0200exarkun(~exarkun@2605:59c1:c2cc:400::e9c) (Quit: WeeChat 2.4)
2021-05-24 20:59:09 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) (Ping timeout: 272 seconds)
2021-05-24 21:03:28 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 21:03:41 +0200ystael(~ystael@user/ystael)
2021-05-24 21:04:05 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no)
2021-05-24 21:04:33 +0200kluk(~kluk@2603-7000-9b3f-6934-30bf-e302-c094-8fe7.res6.spectrum.com)
2021-05-24 21:05:05 +0200Franciman(~francesco@host-80-180-196-134.retail.telecomitalia.it) (Quit: Leaving)
2021-05-24 21:06:46 +0200jneira(5127aca6@107.161.19.109) (Ping timeout: 264 seconds)
2021-05-24 21:09:31 +0200trueboxguy(~trueboxgu@user/trueboxguy) (Leaving)
2021-05-24 21:10:12 +0200kluk(~kluk@2603-7000-9b3f-6934-30bf-e302-c094-8fe7.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 21:11:13 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 21:13:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-05-24 21:14:13 +0200Deide(~Deide@217.155.19.23)
2021-05-24 21:14:13 +0200Deide(~Deide@217.155.19.23) (Changing host)
2021-05-24 21:14:13 +0200Deide(~Deide@user/deide)
2021-05-24 21:14:29 +0200ddellacosta(~ddellacos@89.46.62.37)
2021-05-24 21:15:38 +0200ddellacosta(~ddellacos@89.46.62.37) (Remote host closed the connection)
2021-05-24 21:15:45 +0200ddellacosta(~ddellacos@89.46.62.37)
2021-05-24 21:16:58 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 21:18:19 +0200Deide1(~Deide@217.155.19.23) (Ping timeout: 265 seconds)
2021-05-24 21:18:32 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 21:18:42 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-24 21:18:46 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-05-24 21:19:58 +0200Square(~a@178.62.91.8)
2021-05-24 21:20:24 +0200mrus(~mrus@149.28.61.155) (Quit: Surfing the great wave off Kanagawa)
2021-05-24 21:20:43 +0200mrus(~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820)
2021-05-24 21:22:49 +0200mrus(~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820) (Client Quit)
2021-05-24 21:23:39 +0200nan`_(~nan`@68.235.43.173) (Ping timeout: 264 seconds)
2021-05-24 21:23:39 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 21:24:44 +0200mrus(~mrus@149.28.61.155)
2021-05-24 21:24:48 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 21:25:04 +0200ddb3ddb
2021-05-24 21:26:18 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-24 21:26:35 +0200horex539(~horex539@2a02:a03f:6aa5:a00:cd94:e839:cc4c:fa4c)
2021-05-24 21:30:27 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 21:30:30 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2021-05-24 21:30:51 +0200tose(~tose@ip-85-160-8-188.eurotel.cz) (Ping timeout: 264 seconds)
2021-05-24 21:31:22 +0200jco(~jco@c83-248-173-38.bredband.tele2.se) (Ping timeout: 264 seconds)
2021-05-24 21:31:27 +0200horex539(~horex539@2a02:a03f:6aa5:a00:cd94:e839:cc4c:fa4c) (Ping timeout: 272 seconds)
2021-05-24 21:31:29 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com)
2021-05-24 21:31:45 +0200jneira(~jneira@166.red-81-39-172.dynamicip.rima-tde.net)
2021-05-24 21:31:46 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2021-05-24 21:35:00 +0200glguy-46(x@libera/staff/glguy)
2021-05-24 21:35:04 +0200glguy-46(x@libera/staff/glguy) (Remote host closed the connection)
2021-05-24 21:35:08 +0200tdammers(~tdammers@77.109.72.213.res.static.edpnet.net) (Quit: WeeChat 2.3)
2021-05-24 21:36:02 +0200kluk_(~kluk@cpe-69-203-82-73.nyc.res.rr.com)
2021-05-24 21:36:40 +0200aoeuidhtns(~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-24 21:36:55 +0200Adran(~adran@user/adran) (Changing host)
2021-05-24 21:36:55 +0200Adran(~adran@botters/adran)
2021-05-24 21:37:13 +0200Gurkenglas_(~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de)
2021-05-24 21:37:58 +0200seeg-(~seeg@45.76.32.162)
2021-05-24 21:38:28 +0200ystael_(~ystael@user/ystael)
2021-05-24 21:38:39 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 264 seconds)
2021-05-24 21:39:15 +0200amk(~amk@176.61.106.150) (Ping timeout: 264 seconds)
2021-05-24 21:39:51 +0200dy(~dy@user/dy) (Ping timeout: 264 seconds)
2021-05-24 21:39:54 +0200sm2n_(~sm2n@user/sm2n)
2021-05-24 21:39:57 +0200Firedancer_(sid336191@stonehaven.irccloud.com)
2021-05-24 21:40:31 +0200kluk(~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer)
2021-05-24 21:40:31 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160) (Ping timeout: 264 seconds)
2021-05-24 21:40:31 +0200justsomeguy(~justsomeg@2603:9000:960a:fc00:5a8:1bfa:1cc4:f4c8) (Quit: WeeChat 3.0.1)
2021-05-24 21:40:31 +0200abrar(~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2021-05-24 21:40:31 +0200dmwit(~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-05-24 21:40:31 +0200lukeseale(~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 264 seconds)
2021-05-24 21:40:31 +0200fjmorazan(~quassel@user/fjmorazan) (Ping timeout: 264 seconds)
2021-05-24 21:40:31 +0200khaledez___(uid500682@id-500682.tooting.irccloud.com)
2021-05-24 21:40:31 +0200xff0x(~xff0x@2001:1a81:52e8:5900:fcc8:4950:4702:a177) (Ping timeout: 264 seconds)
2021-05-24 21:40:42 +0200Logio(em@kapsi.fi)
2021-05-24 21:40:43 +0200gonz_(sid304396@tooting.irccloud.com)
2021-05-24 21:40:45 +0200yumaikas94(~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375)
2021-05-24 21:41:07 +0200fjmorazan(~quassel@user/fjmorazan)
2021-05-24 21:41:35 +0200dy(~dy@user/dy)
2021-05-24 21:42:05 +0200yumaikas-(~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375) (Ping timeout: 264 seconds)
2021-05-24 21:42:05 +0200shiraeeshi(~shiraeesh@109.166.56.7)
2021-05-24 21:42:08 +0200bollu4(~bollu@139.59.46.74)
2021-05-24 21:42:10 +0200amk(~amk@176.61.106.150)
2021-05-24 21:42:22 +0200hgolden_(~hgolden2@cpe-172-114-84-61.socal.res.rr.com)
2021-05-24 21:42:32 +0200jess_(~jess@libera/staff/jess)
2021-05-24 21:42:41 +0200dsal_(sid13060@tooting.irccloud.com)
2021-05-24 21:43:05 +0200gabiruh_(~gabiruh@vps19177.publiccloud.com.br)
2021-05-24 21:43:06 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Ping timeout: 264 seconds)
2021-05-24 21:43:53 +0200jess(~jess@libera/staff/jess) (Killed (strontium.libera.chat (Nickname regained by services)))
2021-05-24 21:43:54 +0200jess_jess
2021-05-24 21:43:54 +0200tdammers_(~tdammers@77.109.72.213)
2021-05-24 21:43:54 +0200xff0x(~xff0x@92.195.37.214)
2021-05-24 21:44:37 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (*.net *.split)
2021-05-24 21:44:37 +0200ddellacosta(~ddellacos@89.46.62.37) (*.net *.split)
2021-05-24 21:44:37 +0200ystael(~ystael@user/ystael) (*.net *.split)
2021-05-24 21:44:37 +0200bollu(~bollu@139.59.46.74) (*.net *.split)
2021-05-24 21:44:37 +0200alx741(~alx741@186.178.109.193) (*.net *.split)
2021-05-24 21:44:37 +0200farmfrmjakestate(~farmfromj@user/farmfrmjakestate) (*.net *.split)
2021-05-24 21:44:37 +0200fendor(~fendor@178.165.191.174.wireless.dyn.drei.com) (*.net *.split)
2021-05-24 21:44:37 +0200boxscape(4ff0bb95@user/boxscape) (*.net *.split)
2021-05-24 21:44:37 +0200m_shiraeeshi(~shiraeesh@109.166.56.7) (*.net *.split)
2021-05-24 21:44:37 +0200betelgeuse6(~john2gb@94-225-47-8.access.telenet.be) (*.net *.split)
2021-05-24 21:44:37 +0200moistoreos(~moistoreo@99-151-203-47.lightspeed.snantx.sbcglobal.net) (*.net *.split)
2021-05-24 21:44:37 +0200sm2n(~sm2n@user/sm2n) (*.net *.split)
2021-05-24 21:44:37 +0200__monty__(~toonn@user/toonn) (*.net *.split)
2021-05-24 21:44:37 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org) (*.net *.split)
2021-05-24 21:44:37 +0200Gurkenglas(~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) (*.net *.split)
2021-05-24 21:44:37 +0200seeg_(~seeg@2a05:f480:1400:311:5400:1ff:feff:256) (*.net *.split)
2021-05-24 21:44:37 +0200danso(~danso@23-233-111-52.cpe.pppoe.ca) (*.net *.split)
2021-05-24 21:44:37 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (*.net *.split)
2021-05-24 21:44:37 +0200gonz(sid304396@id-304396.tooting.irccloud.com) (*.net *.split)
2021-05-24 21:44:37 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (*.net *.split)
2021-05-24 21:44:37 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (*.net *.split)
2021-05-24 21:44:37 +0200supersven(uid501114@id-501114.charlton.irccloud.com) (*.net *.split)
2021-05-24 21:44:37 +0200MidAutumnMoon(~MidAutumn@user/midautumnmoon) (*.net *.split)
2021-05-24 21:44:37 +0200infinisil(~infinisil@mail.infinisil.com) (*.net *.split)
2021-05-24 21:44:37 +0200christiaanb(sid84827@id-84827.tooting.irccloud.com) (*.net *.split)
2021-05-24 21:44:37 +0200khaledez__(uid500682@id-500682.tooting.irccloud.com) (*.net *.split)
2021-05-24 21:44:37 +0200Firedancer(sid336191@id-336191.stonehaven.irccloud.com) (*.net *.split)
2021-05-24 21:44:37 +0200yahb(xsbot@user/mniip/bot/yahb) (*.net *.split)
2021-05-24 21:44:37 +0200dsal(sid13060@id-13060.tooting.irccloud.com) (*.net *.split)
2021-05-24 21:44:37 +0200Logio_(em@kapsi.fi) (*.net *.split)
2021-05-24 21:44:38 +0200bollu4bollu
2021-05-24 21:44:39 +0200Firedancer_Firedancer
2021-05-24 21:44:39 +0200dsal_dsal
2021-05-24 21:44:53 +0200__monty__(~toonn@user/toonn)
2021-05-24 21:45:01 +0200infinisil(~infinisil@mail.infinisil.com)
2021-05-24 21:45:10 +0200khaledez___(uid500682@id-500682.tooting.irccloud.com) (Ping timeout: 264 seconds)
2021-05-24 21:45:10 +0200kong(~harrison@c-174-51-131-199.hsd1.co.comcast.net) (Ping timeout: 264 seconds)
2021-05-24 21:45:16 +0200phanf(~phanf@226.148.192.35.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2021-05-24 21:45:36 +0200dwt_(~dwt_@2601:2c6:8080:618:48b9:7938:1ce:33ec) (Read error: Connection reset by peer)
2021-05-24 21:45:46 +0200yumaikas94(~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375) (Ping timeout: 264 seconds)
2021-05-24 21:45:47 +0200yumaikas-(~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375)
2021-05-24 21:45:58 +0200yahb(xsbot@user/mniip/bot/yahb)
2021-05-24 21:46:24 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-05-24 21:46:32 +0200phanf(~phanf@226.148.192.35.bc.googleusercontent.com)
2021-05-24 21:46:35 +0200gonz_(sid304396@tooting.irccloud.com) (Ping timeout: 264 seconds)
2021-05-24 21:46:54 +0200kong(~harrison@c-174-51-131-199.hsd1.co.comcast.net)
2021-05-24 21:47:11 +0200td__(~td@94.134.91.149)
2021-05-24 21:47:16 +0200khaledez___(uid500682@id-500682.tooting.irccloud.com)
2021-05-24 21:47:25 +0200alp(~alp@user/alp) (Ping timeout: 264 seconds)
2021-05-24 21:47:25 +0200td_(~td@94.134.91.149) (Ping timeout: 264 seconds)
2021-05-24 21:47:25 +0200cheater(~Username@user/cheater) (Ping timeout: 264 seconds)
2021-05-24 21:47:58 +0200abrar(~abrar@static-108-30-103-121.nycmny.fios.verizon.net)
2021-05-24 21:48:03 +0200dwt_(~dwt_@2601:2c6:8080:618:48b9:7938:1ce:33ec)
2021-05-24 21:48:10 +0200edwtjo(~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se) (Ping timeout: 264 seconds)
2021-05-24 21:48:10 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds)
2021-05-24 21:48:17 +0200Lord_of_Life_(~Lord@46.217.217.215) (Read error: Connection reset by peer)
2021-05-24 21:48:47 +0200dmwit(~dmwit@pool-173-66-86-32.washdc.fios.verizon.net)
2021-05-24 21:49:16 +0200alp(~alp@163.172.83.213)
2021-05-24 21:49:22 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2021-05-24 21:49:28 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160)
2021-05-24 21:49:33 +0200edwtjo(~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se)
2021-05-24 21:49:45 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org)
2021-05-24 21:49:45 +0200gonz_(sid304396@id-304396.tooting.irccloud.com)
2021-05-24 21:49:57 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-05-24 21:50:04 +0200Lord_of_Life(~Lord@46.217.217.215)
2021-05-24 21:50:19 +0200danso(~danso@23-233-111-52.cpe.pppoe.ca)
2021-05-24 21:50:23 +0200alx741(~alx741@186.178.109.193)
2021-05-24 21:50:26 +0200ddellacosta(~ddellacos@89.46.62.37)
2021-05-24 21:50:29 +0200ystael_(~ystael@user/ystael) (Read error: Connection reset by peer)
2021-05-24 21:50:30 +0200cheater(~Username@user/cheater)
2021-05-24 21:50:44 +0200Lord_of_Life(~Lord@46.217.217.215) (Changing host)
2021-05-24 21:50:44 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-05-24 21:50:50 +0200supersven(uid501114@id-501114.charlton.irccloud.com)
2021-05-24 21:50:50 +0200christiaanb(sid84827@id-84827.tooting.irccloud.com)
2021-05-24 21:51:09 +0200Nerd_Nyanroo(~Nerd_Nyan@24.133.250.48)
2021-05-24 21:51:16 +0200 <Nerd_Nyanroo> hey
2021-05-24 21:51:25 +0200Nerd_Nyanroo(~Nerd_Nyan@24.133.250.48) ()
2021-05-24 21:51:47 +0200Aardwolf(~lode@77-56-208-202.dclient.hispeed.ch) (Read error: Connection reset by peer)
2021-05-24 21:52:02 +0200boxscape(~boxscape@user/boxscape)
2021-05-24 21:52:02 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2021-05-24 21:52:04 +0200Aardwolf(~lode@77-56-208-202.dclient.hispeed.ch)
2021-05-24 21:52:27 +0200pounce(~pounce@ns379743.ip-5-196-70.eu) (Changing host)
2021-05-24 21:52:28 +0200pounce(~pounce@user/pounce)
2021-05-24 21:52:31 +0200bgamari(~int0x0c@mobile-166-171-187-199.mycingular.net)
2021-05-24 21:54:41 +0200Ekho(~Ekho@user/ekho) (Ping timeout: 272 seconds)
2021-05-24 21:54:41 +0200hrdl(~hrdl@mail.hrdl.eu) (Ping timeout: 272 seconds)
2021-05-24 21:56:26 +0200Square(~a@178.62.91.8) (Ping timeout: 272 seconds)
2021-05-24 21:56:26 +0200lyxia(~lyxia@poisson.chat) (Ping timeout: 272 seconds)
2021-05-24 21:56:26 +0200tureba(~tureba@tureba.org) (Ping timeout: 272 seconds)
2021-05-24 21:56:26 +0200toppler(~user@mtop.default.momentoftop.uk0.bigv.io) (Ping timeout: 272 seconds)
2021-05-24 21:56:26 +0200djanatyn(~djanatyn@vps-7f49a6b0.vps.ovh.ca) (Ping timeout: 272 seconds)
2021-05-24 21:56:26 +0200urdh_(~urdh@h88-129-148-132.cust.a3fiber.se)
2021-05-24 21:56:26 +0200lyxia(~lyxia@poisson.chat)
2021-05-24 21:56:26 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea)
2021-05-24 21:56:26 +0200djanatyn(~djanatyn@vps-7f49a6b0.vps.ovh.ca)
2021-05-24 21:56:26 +0200joeyh_(joeyh@kitenet.net)
2021-05-24 21:56:26 +0200stefan-__(~cri@42dots.de) (Ping timeout: 272 seconds)
2021-05-24 21:56:26 +0200bcmiller(~bm3719@66.42.95.185) (Ping timeout: 272 seconds)
2021-05-24 21:56:26 +0200mikolaj(~mikon@duch.mimuw.edu.pl) (Ping timeout: 272 seconds)
2021-05-24 21:56:26 +0200urdh(~urdh@h88-129-148-132.cust.a3fiber.se) (Ping timeout: 272 seconds)
2021-05-24 21:56:26 +0200urdh_urdh
2021-05-24 21:56:26 +0200bcmiller(~bm3719@66.42.95.185)
2021-05-24 21:56:36 +0200mikolaj(~mikon@duch.mimuw.edu.pl)
2021-05-24 21:56:36 +0200joeyh(~joeyh@kitenet.net) (Read error: Connection reset by peer)
2021-05-24 21:56:39 +0200Square(~a@178.62.91.8)
2021-05-24 21:56:50 +0200nitrix(~nitrix@user/nitrix) (Read error: Connection reset by peer)
2021-05-24 21:56:50 +0200bsima1(~bsima@simatime.com)
2021-05-24 21:58:28 +0200raoul8(~raoul@nomnomnomnom.co.uk)
2021-05-24 21:58:28 +0200felixphew_(~felix@ogg.ffetc.net)
2021-05-24 21:58:28 +0200roconnor(~roconnor@host-45-58-226-129.dyn.295.ca) (Read error: Connection reset by peer)
2021-05-24 21:58:28 +0200keltono(~kelton@x-160-94-179-178.acm.umn.edu) (Ping timeout: 272 seconds)
2021-05-24 21:58:28 +0200raoul(~raoul@nomnomnomnom.co.uk) (Ping timeout: 272 seconds)
2021-05-24 21:58:28 +0200jhill(sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 272 seconds)
2021-05-24 21:58:28 +0200raoul8raoul
2021-05-24 21:58:28 +0200wenzel(~wenzel@user/wenzel) (Read error: Connection reset by peer)
2021-05-24 21:58:28 +0200roconnor(~roconnor@host-45-58-226-129.dyn.295.ca)
2021-05-24 21:58:28 +0200kongelectronkong
2021-05-24 21:58:28 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2021-05-24 21:58:28 +0200edwtjo(~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se) (Changing host)
2021-05-24 21:58:28 +0200edwtjo(~edwtjo@user/edwtjo)
2021-05-24 21:58:28 +0200LambdaDu1k(~anka@ksit.fixme.fi) (Ping timeout: 272 seconds)
2021-05-24 21:58:51 +0200Aleksejs(~Aleksejs@haskell.lv) (Ping timeout: 272 seconds)
2021-05-24 21:58:51 +0200terrorjack(~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Ping timeout: 272 seconds)
2021-05-24 21:58:51 +0200skn(~znc@sec.nimmagadda.net) (Ping timeout: 272 seconds)
2021-05-24 21:58:51 +0200felixphew(~felix@cssa/committee/felix) (Ping timeout: 272 seconds)
2021-05-24 21:58:51 +0200taeaad_(~taeaad@ec2-34-245-165-26.eu-west-1.compute.amazonaws.com) (Ping timeout: 272 seconds)
2021-05-24 21:58:51 +0200mikolaj_(~mikolaj@purple.well-typed.com) (Ping timeout: 272 seconds)
2021-05-24 21:58:51 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-05-24 21:58:51 +0200LambdaDuck(~anka@ksit.fixme.fi)
2021-05-24 21:58:51 +0200wenzel(~wenzel@user/wenzel)
2021-05-24 21:58:51 +0200nitrix(~nitrix@ns569831.ip-51-79-81.net)
2021-05-24 22:00:27 +0200nitrix(~nitrix@ns569831.ip-51-79-81.net) (Changing host)
2021-05-24 22:00:27 +0200nitrix(~nitrix@user/nitrix)
2021-05-24 22:00:27 +0200koz(~koz@121.99.240.58) (Ping timeout: 272 seconds)
2021-05-24 22:00:27 +0200bsima(~bsima@simatime.com) (Ping timeout: 272 seconds)
2021-05-24 22:00:27 +0200jakesyl(sid56879@id-56879.stonehaven.irccloud.com) (Ping timeout: 272 seconds)
2021-05-24 22:00:27 +0200Eoco(~ian@x-160-94-179-157.acm.umn.edu) (Ping timeout: 272 seconds)
2021-05-24 22:00:27 +0200parseval(sid239098@id-239098.brockwell.irccloud.com) (Ping timeout: 272 seconds)
2021-05-24 22:00:27 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com) (Ping timeout: 272 seconds)
2021-05-24 22:00:27 +0200Typedfern(~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Ping timeout: 272 seconds)
2021-05-24 22:00:27 +0200electronkongkong
2021-05-24 22:00:27 +0200Ekho(~Ekho@user/ekho)
2021-05-24 22:00:27 +0200jhill(sid1055@id-1055.tinside.irccloud.com)
2021-05-24 22:00:27 +0200isaac1(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2021-05-24 22:00:27 +0200keltono(~kelton@x-160-94-179-178.acm.umn.edu)
2021-05-24 22:00:27 +0200toms(~foobar@pogostick.net) (Ping timeout: 272 seconds)
2021-05-24 22:00:27 +0200theodorc(theodorc@cassarossa.samfundet.no) (Ping timeout: 272 seconds)
2021-05-24 22:00:27 +0200Eoco(~ian@x-160-94-179-157.acm.umn.edu)
2021-05-24 22:00:27 +0200mikolaj_(~mikolaj@purple.well-typed.com)
2021-05-24 22:01:10 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com)
2021-05-24 22:01:10 +0200theodorc(theodorc@cassarossa.samfundet.no)
2021-05-24 22:01:10 +0200bgamari(~int0x0c@mobile-166-171-187-199.mycingular.net) (Ping timeout: 264 seconds)
2021-05-24 22:01:10 +0200parseval(sid239098@id-239098.brockwell.irccloud.com)
2021-05-24 22:01:10 +0200truckasaurus(sid457088@id-457088.brockwell.irccloud.com) (Ping timeout: 272 seconds)
2021-05-24 22:01:10 +0200Patternmaster(~georg@li1192-118.members.linode.com) (Ping timeout: 272 seconds)
2021-05-24 22:01:10 +0200truckasaurus(sid457088@id-457088.brockwell.irccloud.com)
2021-05-24 22:01:10 +0200isaac1(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Client Quit)
2021-05-24 22:01:10 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) (Ping timeout: 264 seconds)
2021-05-24 22:01:10 +0200toms(~foobar@pogostick.net)
2021-05-24 22:01:10 +0200biberu\(~biberu@user/biberu)
2021-05-24 22:02:57 +0200m_shiraeeshi(~shiraeesh@46.34.207.100)
2021-05-24 22:02:57 +0200skn(~znc@sec.nimmagadda.net)
2021-05-24 22:02:57 +0200dpratt(sid193493@id-193493.brockwell.irccloud.com) (Ping timeout: 272 seconds)
2021-05-24 22:02:57 +0200obfusk_(~quassel@a82-161-150-56.adsl.xs4all.nl) (Ping timeout: 272 seconds)
2021-05-24 22:02:57 +0200ryantrinkle(~ryan@24.229.199.25.res-cmts.sm.ptd.net) (Ping timeout: 244 seconds)
2021-05-24 22:02:57 +0200biberu(~biberu@user/biberu) (Ping timeout: 272 seconds)
2021-05-24 22:02:57 +0200jakesyl(sid56879@id-56879.stonehaven.irccloud.com)
2021-05-24 22:02:57 +0200biberu\biberu
2021-05-24 22:02:57 +0200acro(~acro@user/acro) (Ping timeout: 272 seconds)
2021-05-24 22:02:57 +0200beaky(~beaky@2a03:b0c0:0:1010::1e:a001) (Ping timeout: 272 seconds)
2021-05-24 22:02:57 +0200hrnz(~ulli@cherry.hrnz.li) (Ping timeout: 272 seconds)
2021-05-24 22:02:57 +0200L29Ah(~L29Ah@user/l29ah) (Ping timeout: 272 seconds)
2021-05-24 22:02:57 +0200Boarders(sid425905@id-425905.tooting.irccloud.com) (Ping timeout: 272 seconds)
2021-05-24 22:02:57 +0200 <boxscape> https://twitter.com/tweagio/status/1396918930355023873 "Haskell folks! What would you like @RaeHaskell to make one of his bite-sized videos about?"
2021-05-24 22:04:04 +0200beaky(~beaky@2a03:b0c0:0:1010::1e:a001)
2021-05-24 22:04:04 +0200oats(~thomas@user/oats) (Ping timeout: 272 seconds)
2021-05-24 22:04:04 +0200Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Ping timeout: 272 seconds)
2021-05-24 22:04:04 +0200shiraeeshi(~shiraeesh@109.166.56.7) (Ping timeout: 264 seconds)
2021-05-24 22:04:04 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea)
2021-05-24 22:04:04 +0200jonrh(sid5185@charlton.irccloud.com) (Ping timeout: 272 seconds)
2021-05-24 22:04:04 +0200dpratt(sid193493@id-193493.brockwell.irccloud.com)
2021-05-24 22:04:04 +0200shailangsa(~shailangs@host86-186-177-159.range86-186.btcentralplus.com) (Ping timeout: 244 seconds)
2021-05-24 22:04:04 +0200stefan-_(~cri@42dots.de)
2021-05-24 22:04:04 +0200hrnz(~ulli@cherry.hrnz.li)
2021-05-24 22:04:35 +0200dminuoso(~dminuoso@user/dminuoso) (Ping timeout: 272 seconds)
2021-05-24 22:04:35 +0200oats(~thomas@user/oats)
2021-05-24 22:04:35 +0200satai(~satai@ip-37-188-173-38.eurotel.cz) (Read error: Connection reset by peer)
2021-05-24 22:04:35 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr) (Quit: ran away)
2021-05-24 22:05:39 +0200ij(~ij@user/ij) (Ping timeout: 272 seconds)
2021-05-24 22:05:39 +0200ryantrinkle(~ryan@24.229.199.25.res-cmts.sm.ptd.net)
2021-05-24 22:05:39 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-24 22:05:39 +0200Boarders(sid425905@id-425905.tooting.irccloud.com)
2021-05-24 22:05:39 +0200jonrh(sid5185@id-5185.charlton.irccloud.com)
2021-05-24 22:05:39 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Quit: Computer is sleeping. ZZZzzz…)
2021-05-24 22:05:39 +0200Aleksejs(~Aleksejs@haskell.lv)
2021-05-24 22:05:39 +0200 <Square> Any adice on rolling a ircbot in haskell?
2021-05-24 22:05:39 +0200 <Square> advice
2021-05-24 22:05:39 +0200lambdap(~lambdap@static.167.190.119.168.clients.your-server.de) (Ping timeout: 272 seconds)
2021-05-24 22:05:39 +0200dminuoso(~dminuoso@p5795f132.dip0.t-ipconnect.de)
2021-05-24 22:05:39 +0200juhp(~juhp@128.106.188.199) (Ping timeout: 272 seconds)
2021-05-24 22:05:39 +0200Techcable(~Techcable@168.235.93.147) (Ping timeout: 272 seconds)
2021-05-24 22:05:39 +0200drewolson(~drewolson@64.227.24.16) (Ping timeout: 272 seconds)
2021-05-24 22:05:39 +0200oxide(~lambda@user/oxide) (Ping timeout: 264 seconds)
2021-05-24 22:06:48 +0200drewolson(~drewolson@64.227.24.16)
2021-05-24 22:06:48 +0200lambdap(~lambdap@static.167.190.119.168.clients.your-server.de)
2021-05-24 22:06:48 +0200obfusk(~quassel@a82-161-150-56.adsl.xs4all.nl)
2021-05-24 22:06:48 +0200dy(~dy@user/dy) (Ping timeout: 272 seconds)
2021-05-24 22:06:48 +0200 <Square> like, if theres some good non bloated library to kick you off?
2021-05-24 22:06:48 +0200aforemny_(~aforemny@static.248.158.34.188.clients.your-server.de)
2021-05-24 22:06:48 +0200aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (Ping timeout: 272 seconds)
2021-05-24 22:06:48 +0200siers(~ij@2a03:b0c0:1:e0::366:f001)
2021-05-24 22:07:39 +0200Techcable(~Techcable@168.235.93.147)
2021-05-24 22:07:39 +0200simmsb(~ben@2a02:c7f:343a:6d00:69bb:9905:870a:6538) (Read error: Connection reset by peer)
2021-05-24 22:07:39 +0200simmsb-(~ben@2a02:c7f:343a:6d00:69bb:9905:870a:6538)
2021-05-24 22:07:39 +0200 <glguy> Square: for something low-level you can build on top of the library I use for my IRC client: https://github.com/glguy/irc-core/blob/v2/bot/src/Main.hs <-example
2021-05-24 22:07:39 +0200ixlun`(~user@195.213.99.113)
2021-05-24 22:07:39 +0200lechner(~lechner@letbox-vps.us-core.com) (Ping timeout: 272 seconds)
2021-05-24 22:07:39 +0200hongminhee(sid295@id-295.tinside.irccloud.com) (Ping timeout: 272 seconds)
2021-05-24 22:09:15 +0200lechner(~lechner@letbox-vps.us-core.com)
2021-05-24 22:09:15 +0200oxide(~lambda@user/oxide)
2021-05-24 22:09:15 +0200deni2(~deni@mail.denibertovic.com) (Ping timeout: 272 seconds)
2021-05-24 22:09:15 +0200 <ixlun`> Hi all, is there a function that can take an array and use that as arguments to a function?
2021-05-24 22:09:15 +0200 <Square> glguy, thanks!
2021-05-24 22:09:15 +0200deni2(~deni@mail.denibertovic.com)
2021-05-24 22:09:15 +0200ixlun`ixlun
2021-05-24 22:09:15 +0200juhp(~juhp@128.106.188.199)
2021-05-24 22:09:15 +0200slep(~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (Ping timeout: 272 seconds)
2021-05-24 22:09:15 +0200slep(~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net)
2021-05-24 22:09:15 +0200dy(~dy@user/dy)
2021-05-24 22:09:15 +0200ircbrowse_tom(~ircbrowse@64.225.78.177) (ZNC 1.7.5+deb4 - https://znc.in)
2021-05-24 22:10:05 +0200ircbrowse_tom(~ircbrowse@64.225.78.177)
2021-05-24 22:10:05 +0200Server+nt
2021-05-24 22:10:31 +0200Boarders(sid425905@id-425905.tooting.irccloud.com) (Ping timeout: 272 seconds)
2021-05-24 22:10:40 +0200hongminhee(sid295@id-295.tinside.irccloud.com)
2021-05-24 22:10:52 +0200acro(~acro@user/acro)
2021-05-24 22:10:53 +0200tureba(tureba@tureba.org)
2021-05-24 22:10:59 +0200Typedfern(~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net)
2021-05-24 22:11:01 +0200zzzalpaca
2021-05-24 22:11:11 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2021-05-24 22:11:12 +0200Patternmaster(~georg@li1192-118.members.linode.com)
2021-05-24 22:11:16 +0200alpacaonion
2021-05-24 22:11:22 +0200 <fresheyeball> hey everyone, I made it over the wall!
2021-05-24 22:12:00 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org) (Ping timeout: 244 seconds)
2021-05-24 22:12:09 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org)
2021-05-24 22:12:11 +0200 <fresheyeball> ok, asking here, not on freenode
2021-05-24 22:12:18 +0200 <Rembane> Welcome fresheyeball !
2021-05-24 22:12:19 +0200 <fresheyeball> What is the state of Cloud Haskell?
2021-05-24 22:12:25 +0200alloca(~gilmi@user/suppi) (Ping timeout: 272 seconds)
2021-05-24 22:12:25 +0200 <fresheyeball> Rembane:++
2021-05-24 22:12:50 +0200 <Rembane> Last time I checked it was dead, but it was a long time ago, so someone might've resurrected it.
2021-05-24 22:13:01 +0200 <boxscape> ixlun I'm not aware of one, but why do you need such a function?
2021-05-24 22:13:02 +0200Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
2021-05-24 22:13:41 +0200tnks(sid412124@id-412124.brockwell.irccloud.com) (Ping timeout: 272 seconds)
2021-05-24 22:13:57 +0200hrdl(~hrdl@mail.hrdl.eu)
2021-05-24 22:14:07 +0200tnks(sid412124@id-412124.brockwell.irccloud.com)
2021-05-24 22:14:09 +0200Erutuon(~Erutuon@97-116-14-180.mpls.qwest.net)
2021-05-24 22:14:09 +0200alloca(~alloca@user/suppi)
2021-05-24 22:14:17 +0200johnw(~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0)
2021-05-24 22:16:13 +0200hongminhee(sid295@id-295.tinside.irccloud.com) (Ping timeout: 272 seconds)
2021-05-24 22:16:19 +0200ystael(~ystael@user/ystael)
2021-05-24 22:16:34 +0200novedevo(~novedevo@d154-5-30-77.bchsia.telus.net)
2021-05-24 22:18:27 +0200amotta(~amotta@p5790f429.dip0.t-ipconnect.de)
2021-05-24 22:19:24 +0200Boarders(sid425905@tooting.irccloud.com)
2021-05-24 22:20:39 +0200ProofTechnique(sid79547@id-79547.charlton.irccloud.com) (Ping timeout: 272 seconds)
2021-05-24 22:21:42 +0200dwt_(~dwt_@2601:2c6:8080:618:48b9:7938:1ce:33ec) (Quit: Leaving)
2021-05-24 22:22:07 +0200fabfianda(~fabfianda@mob-5-90-252-55.net.vodafone.it) (Ping timeout: 272 seconds)
2021-05-24 22:22:20 +0200ProofTechnique(sid79547@charlton.irccloud.com)
2021-05-24 22:22:53 +0200fabfianda(~fabfianda@net-93-148-125-174.cust.dsl.teletu.it)
2021-05-24 22:23:22 +0200hongminhee(sid295@id-295.tinside.irccloud.com)
2021-05-24 22:24:24 +0200wonko(~wjc@62.115.229.50) (Ping timeout: 244 seconds)
2021-05-24 22:24:24 +0200ystael(~ystael@user/ystael) (Read error: Connection reset by peer)
2021-05-24 22:26:38 +0200space-shell(~space-she@88.98.247.38)
2021-05-24 22:31:43 +0200shailangsa(~shailangs@host86-186-177-159.range86-186.btcentralplus.com)
2021-05-24 22:31:55 +0200amotta(~amotta@p5790f429.dip0.t-ipconnect.de) (Quit: Connection closed)
2021-05-24 22:33:57 +0200kenran(~kenran@200116b82b33c8008f6567b715cefea0.dip.versatel-1u1.de)
2021-05-24 22:34:51 +0200xsperry(~as@user/xsperry)
2021-05-24 22:37:49 +0200Nik(~Nik@broadband-90-154-72-114.ip.moscow.rt.ru)
2021-05-24 22:38:22 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-05-24 22:41:09 +0200Nik(~Nik@broadband-90-154-72-114.ip.moscow.rt.ru) (Client Quit)
2021-05-24 22:43:09 +0200heath(~heath@68.68.64.38) (Quit: Lost terminal)
2021-05-24 22:48:44 +0200paolino(~paolo@84.33.169.212) (Remote host closed the connection)
2021-05-24 22:49:01 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-24 22:50:17 +0200bmsk(~user@2001:19f0:5001:2f3b:5400:3ff:fe53:2d96)
2021-05-24 22:50:40 +0200isaac1(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2021-05-24 22:51:29 +0200 <boxscape> hm, so with non-backtracking parsers, I would expect `parse (string "foo" <|> string "z") "" "foz"` to first try "foo", consume 'f' and 'o', and then try "z", and since the only input that's not consumed yet is "z" I would expect it to succeed
2021-05-24 22:51:44 +0200 <boxscape> instead it says "unexpected "z", expecting "foo""
2021-05-24 22:51:50 +0200 <boxscape> where did my thinking go wrong here?
2021-05-24 22:52:08 +0200 <boxscape> (specifically I'm using Pasec)
2021-05-24 22:52:18 +0200 <boxscape> s/Pasec/Parsec
2021-05-24 22:53:17 +0200 <boxscape> oh
2021-05-24 22:53:20 +0200 <boxscape> I should just read docs
2021-05-24 22:53:42 +0200 <boxscape> (<|>) docs say " If p fails without consuming any input, parser q is tried."
2021-05-24 22:55:21 +0200isaac1(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Client Quit)
2021-05-24 22:55:28 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2021-05-24 22:57:54 +0200 <monochrom> string is not atomic wrt <|>
2021-05-24 22:59:13 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-24 22:59:40 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-05-24 23:00:36 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net)
2021-05-24 23:01:31 +0200glider(~glider@user/glider)
2021-05-24 23:01:52 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Client Quit)
2021-05-24 23:02:07 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net)
2021-05-24 23:02:10 +0200 <fresheyeball> test
2021-05-24 23:02:25 +0200 <fresheyeball> ok sweet, my nick is registered and secure
2021-05-24 23:02:46 +0200triskai(~relikt@216-164-151-15.s8205.c3-0.atw-cbr1.atw.pa.cable.rcncustomer.com) (Read error: Connection reset by peer)
2021-05-24 23:03:04 +0200kewa(~kewa@5.138.148.77)
2021-05-24 23:03:18 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) (Remote host closed the connection)
2021-05-24 23:04:33 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 272 seconds)
2021-05-24 23:09:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-24 23:09:44 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea)
2021-05-24 23:12:44 +0200ixlun(~user@195.213.99.113) (Ping timeout: 252 seconds)
2021-05-24 23:14:30 +0200ixlun(~user@195.213.99.113)
2021-05-24 23:14:34 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 264 seconds)
2021-05-24 23:14:57 +0200 <tomjaguarpaw> Should I expect coverage checking using pattern synonyms to be basically broken in 8.10.2?
2021-05-24 23:18:05 +0200kenran(~kenran@200116b82b33c8008f6567b715cefea0.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2021-05-24 23:18:59 +0200ixlun(~user@195.213.99.113) (Remote host closed the connection)
2021-05-24 23:19:01 +0200samebchase(~samebchas@51.15.68.182) (Quit: Ping timeout (120 seconds))
2021-05-24 23:19:18 +0200samebchase(~samebchas@51.15.68.182)
2021-05-24 23:19:38 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Ping timeout: 265 seconds)
2021-05-24 23:22:00 +0200novedevo(~novedevo@d154-5-30-77.bchsia.telus.net) (Quit: Leaving)
2021-05-24 23:23:34 +0200ixlun(~user@195.213.99.113)
2021-05-24 23:23:39 +0200novedevo(~novedevo@d154-5-30-77.bchsia.telus.net)
2021-05-24 23:23:40 +0200 <glguy> tomjaguarpaw: is that specifically about 8.10.2 as opposed to the current 8.10.4?
2021-05-24 23:23:45 +0200 <glguy> or 8.10 in general?
2021-05-24 23:23:54 +0200 <tomjaguarpaw> I general I guess. I only have 8.10.2
2021-05-24 23:24:10 +0200 <tomjaguarpaw> The same is true on 8.6.5. I just named the most recent GHC I have.
2021-05-24 23:24:32 +0200 <glguy> tomjaguarpaw: What constitutes broken? COMPLETE pragmas not working or being needed?
2021-05-24 23:24:33 +0200 <tomjaguarpaw> Sebastian Graf did a lot of work on the coverage checker, but I'm not sure when it went in.
2021-05-24 23:24:48 +0200 <tomjaguarpaw> COMPLETE? I thought that was for typeclasses.
2021-05-24 23:24:52 +0200 <tomjaguarpaw> Never used it for pattern synonyms.
2021-05-24 23:25:18 +0200 <tomjaguarpaw> It seems like when using a simple pattern synonym GHC can't tell when you've provided exhaustive cases.
2021-05-24 23:25:25 +0200 <glguy> https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/pragmas.html#complete-pragma
2021-05-24 23:25:38 +0200 <glguy> typeclasses have MINIMAL or something else like that
2021-05-24 23:25:48 +0200ixlun(~user@195.213.99.113) (Read error: Connection reset by peer)
2021-05-24 23:25:53 +0200 <tomjaguarpaw> "On its own, the checker is very naive and assumes that any match involving a pattern synonym will fail" Oh I see
2021-05-24 23:26:02 +0200 <tomjaguarpaw> Ah yes, MINIMAL, that's right.
2021-05-24 23:26:02 +0200ixlun(~user@195.213.99.113)
2021-05-24 23:26:14 +0200 <tomjaguarpaw> OK, I just completely misunderstood how coverage checking works for pattern synonyms.
2021-05-24 23:26:25 +0200 <tomjaguarpaw> Thanks glguy
2021-05-24 23:26:47 +0200haskman(~haskman@171.48.43.206) (Quit: Going to sleep. ZZZzzz…)
2021-05-24 23:29:10 +0200Xe(~cadey@user/xe) (Remote host closed the connection)
2021-05-24 23:29:10 +0200GIANTWORLDKEEPER(~pjetcetal@2.95.204.25) (Quit: EXIT)
2021-05-24 23:29:11 +0200 <boxscape> should I prefer `T.pack . unlines` or `T.unlines . map T.pack`, where T is Data.Text?
2021-05-24 23:29:34 +0200Xe(~cadey@user/xe)
2021-05-24 23:29:38 +0200GIANTWORLDKEEPER(~pjetcetal@2.95.204.25)
2021-05-24 23:30:15 +0200 <glguy> I don't have numbers, but I'd prefer T.unlines . map T.pack
2021-05-24 23:30:16 +0200bfrk(~Thunderbi@200116b8457612003b6c7a007b6f34e6.dip.versatel-1u1.de)
2021-05-24 23:30:26 +0200Xe(~cadey@user/xe) (Client Quit)
2021-05-24 23:30:35 +0200 <glguy> hmm, actually I'm not sure, I take back having a preference
2021-05-24 23:30:52 +0200Xe(~cadey@user/xe)
2021-05-24 23:31:00 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-24 23:31:27 +0200allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds)
2021-05-24 23:31:44 +0200xkapastel(uid17782@id-17782.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-24 23:32:20 +0200ixlun(~user@195.213.99.113) (Remote host closed the connection)
2021-05-24 23:33:05 +0200 <liskin> tomjaguarpaw: GHC 9.0 relnotes mention "The revamp of the pattern-match coverage checker that started in 8.10 concludes with this release and implements the novel *Lower Your Guards* algorithm.
2021-05-24 23:33:29 +0200ixlun(~user@195.213.99.113)
2021-05-24 23:33:41 +0200 <liskin> not sure what it means in practice tho
2021-05-24 23:33:57 +0200 <boxscape> liskin I don't think that change affects pattern synonyms without a COMPLETE pragma
2021-05-24 23:34:10 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1)
2021-05-24 23:34:32 +0200jakzale(uid499518@id-499518.charlton.irccloud.com)
2021-05-24 23:35:16 +0200 <boxscape> (SPJ gave a talk about what it means a while ago https://youtu.be/SWO5OzSxD6Y )
2021-05-24 23:38:03 +0200ixlun(~user@195.213.99.113) (Remote host closed the connection)
2021-05-24 23:39:12 +0200ixlun(~user@195.213.99.113)
2021-05-24 23:41:17 +0200notzmv(~zmv@user/notzmv)
2021-05-24 23:42:08 +0200ystael(~ystael@user/ystael)
2021-05-24 23:42:46 +0200justsomeguy(~justsomeg@24.96.241.90)
2021-05-24 23:43:45 +0200justsomeguy(~justsomeg@24.96.241.90) (Changing host)
2021-05-24 23:43:45 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-05-24 23:43:45 +0200ixlun(~user@195.213.99.113) (Remote host closed the connection)
2021-05-24 23:44:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-05-24 23:44:54 +0200ixlun(~user@195.213.99.113)
2021-05-24 23:45:10 +0200michalz(~user@185.246.204.62) (Changed major mode)
2021-05-24 23:47:31 +0200ixlun(~user@195.213.99.113) (Remote host closed the connection)
2021-05-24 23:48:53 +0200hgolden_hgolden
2021-05-24 23:49:20 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Quit: Konversation terminated!)
2021-05-24 23:49:39 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com)
2021-05-24 23:49:42 +0200ixlun(~user@195.213.99.113)
2021-05-24 23:49:42 +0200ixlun(~user@195.213.99.113) (Remote host closed the connection)
2021-05-24 23:49:46 +0200immae(~immae@static.233.10.9.176.clients.your-server.de)
2021-05-24 23:49:57 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2021-05-24 23:50:51 +0200ixlun(~user@195.213.99.113)
2021-05-24 23:55:24 +0200ixlun(~user@195.213.99.113) (Remote host closed the connection)
2021-05-24 23:55:33 +0200Xe(~cadey@user/xe) (Quit: WeeChat 3.1)
2021-05-24 23:55:53 +0200Xe(~cadey@user/xe)
2021-05-24 23:57:01 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-05-24 23:59:55 +0200ixlun(~user@195.213.99.113)
2021-05-24 23:59:55 +0200ixlun(~user@195.213.99.113) (Remote host closed the connection)