2020/10/22

2020-10-22 00:00:07 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net)
2020-10-22 00:01:00 +0200jedws(~jedws@101.184.148.229)
2020-10-22 00:01:13 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 00:01:40 +0200stefan-__(~cri@42dots.de)
2020-10-22 00:02:43 +0200 <AWizzArd> Are there implementations of `sequence` that are not `sequence = sequenceA`?
2020-10-22 00:02:43 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 246 seconds)
2020-10-22 00:03:26 +0200aidecoe(~aidecoe@unaffiliated/aidecoe) (Remote host closed the connection)
2020-10-22 00:04:18 +0200 <ghoulguy> There are two trivial cases of that in http://hackage.haskell.org/package/base-4.14.0.0/docs/src/Data.Traversable.html#sequence
2020-10-22 00:04:28 +0200 <ghoulguy> I don't know of any interesting cases off the top of my head though
2020-10-22 00:05:33 +0200britva(~britva@2a02:aa13:7240:2980:b1bf:9c31:7687:bea1) (Quit: This computer has gone to sleep)
2020-10-22 00:06:19 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-22 00:07:28 +0200 <crestfallen> hi does each line of a do block (after the first line) end up initially with essentially m(m a) .. thus requiring join ? i.e. is (>>= id) applied on each line?
2020-10-22 00:10:25 +0200kori(~kori@2804:14c:85a3:9105::1000)
2020-10-22 00:10:25 +0200kori(~kori@2804:14c:85a3:9105::1000) (Changing host)
2020-10-22 00:10:25 +0200kori(~kori@arrowheads/kori)
2020-10-22 00:10:25 +0200dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-10-22 00:10:40 +0200phadej(phadej@tiku.daug.net) ()
2020-10-22 00:11:57 +0200hackageb9 3.2.0 - A tool and library for building virtual machine images. https://hackage.haskell.org/package/b9-3.2.0 (SvenHeyll)
2020-10-22 00:12:21 +0200redeemed(~rd@2a02:2f0b:b20a:d200:75cb:8151:518a:825f) (Ping timeout: 272 seconds)
2020-10-22 00:12:24 +0200falafel(~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection)
2020-10-22 00:12:30 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-22 00:12:34 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Read error: Connection reset by peer)
2020-10-22 00:12:48 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 00:12:50 +0200falafel(~falafel@71-34-132-121.clsp.qwest.net)
2020-10-22 00:14:03 +0200 <crestfallen> because in kleisli composition we have this: https://termbin.com/xnxfu where the result is m(m c) , requiring join to make it behave like bind
2020-10-22 00:14:36 +0200 <crestfallen> if I understand correctly
2020-10-22 00:17:22 +0200 <dolio> AWizzArd: There is an implementation that is operationally different in ways that usually wouldn't matter much.
2020-10-22 00:18:10 +0200texasmyn_(~texasmyns@104.140.52.83) ()
2020-10-22 00:18:16 +0200 <dolio> Although it used to matter more when GHC treated stack as a more limited resource than heap.
2020-10-22 00:18:25 +0200texasmynsted(~texasmyns@104.140.52.83)
2020-10-22 00:18:35 +0200 <texasmynsted> hello
2020-10-22 00:20:13 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-22 00:21:01 +0200notnatebtw(~nate@110.138.18.157)
2020-10-22 00:21:13 +0200 <crestfallen> I ask because I saw this notation do; ma <- mma so that must indicate join is applied. is that correct?
2020-10-22 00:22:21 +0200 <koz_> texasmynsted: Sup?
2020-10-22 00:23:21 +0200 <crestfallen> koz_, hi are my ramblings above correct?
2020-10-22 00:23:30 +0200 <koz_> crestfallen: Your ramblings above are unclear.
2020-10-22 00:23:40 +0200 <crestfallen> hmm
2020-10-22 00:23:44 +0200 <koz_> At this point, I would say 'just write the do-notation desugaring by hand'.
2020-10-22 00:23:49 +0200 <koz_> And also 'stop getting hung up on syntax'.
2020-10-22 00:23:54 +0200 <koz_> There is nothing special about that naming.
2020-10-22 00:24:06 +0200 <koz_> I could have written the above snippet as do; foo <- bar.
2020-10-22 00:24:16 +0200 <koz_> How you name variables doesn't change semantics.
2020-10-22 00:25:16 +0200 <crestfallen> yeah, I was thinking about join and (>>= id) if that operates for every action in a do block.
2020-10-22 00:25:27 +0200arw(~arw@impulse.informatik.uni-erlangen.de)
2020-10-22 00:25:45 +0200 <koz_> If you are unclear how any given do-block operates, seriously, break out a whiteboard (or pen and paper, or whatever), and do the desugaring by hand.
2020-10-22 00:25:59 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 00:25:59 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-10-22 00:26:08 +0200 <crestfallen> for purposes of flattening the left side of bar <- foo
2020-10-22 00:26:12 +0200 <koz_> Do this a few times, and you'll see it without having to do that step.
2020-10-22 00:26:57 +0200hackageukrainian-phonetics-basic 0.1.1.0 - A library to work with the basic Ukrainian phonetics and syllable segmentation. https://hackage.haskell.org/package/ukrainian-phonetics-basic-0.1.1.0 (OleksandrZhabenko)
2020-10-22 00:27:46 +0200 <texasmynsted> not much
2020-10-22 00:29:09 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net) (Quit: Konversation terminated!)
2020-10-22 00:29:12 +0200 <crestfallen> koz_, thank you - the thing is I believe I understand bind best from understand the type unification of (<<= id). so I'm thinking in those terms (yes, at the type level :/ )
2020-10-22 00:29:24 +0200 <crestfallen> from understanding*
2020-10-22 00:29:33 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net)
2020-10-22 00:29:36 +0200 <koz_> crestfallen: I would argue that, for understanding do-notation, this is a _terrible_ plan.
2020-10-22 00:29:43 +0200 <koz_> Do-notation is syntactic sugar.
2020-10-22 00:29:55 +0200 <koz_> If you want the semantics of a particular piece of do-notation, desugar it.
2020-10-22 00:30:07 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-22 00:30:12 +0200 <koz_> That is 100% of the issue, and tying yourself in knots about it like this impedes your own understanding.
2020-10-22 00:30:42 +0200aidecoe(~aidecoe@unaffiliated/aidecoe)
2020-10-22 00:31:01 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 00:31:25 +0200Tops2(~Tobias@dyndsl-095-033-090-095.ewe-ip-backbone.de)
2020-10-22 00:32:16 +0200Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 256 seconds)
2020-10-22 00:32:31 +0200 <crestfallen> wow, ok thanks. like this I get: Just (Just a) >>= id ==> Just a
2020-10-22 00:32:48 +0200 <texasmynsted> wow. stan is working for me now. :-) It is really helpful
2020-10-22 00:33:02 +0200 <koz_> OK, then your only issue is that you have to stop thinking about do-notation as _anything_ other than syntactic sugar.
2020-10-22 00:33:17 +0200 <koz_> Literally, just go 'right, this is do-notation, let's manually desugar'.
2020-10-22 00:33:21 +0200 <koz_> And do this until it sticks.
2020-10-22 00:33:24 +0200Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 00:34:20 +0200karanlikmadde(~karanlikm@2a01:c22:b046:2a00:218a:97bb:be49:dab9) (Quit: karanlikmadde)
2020-10-22 00:34:30 +0200whatisRT(~whatisRT@2002:5b41:6a33:0:61c5:a3a1:1437:ebe5)
2020-10-22 00:34:39 +0200 <crestfallen> koz_, while learning, I need to take any angle I can get. (>>= id) brought a lot of insight. so yeah I'm hung up on it presently :)
2020-10-22 00:35:05 +0200 <koz_> crestfallen: And I'm telling you that your attempt at angling is getting you _more_ confused.
2020-10-22 00:35:06 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-22 00:35:20 +0200 <koz_> Literally, do-notation is syntax sugar. Nothing more, nothing less. Approach it as such, nothing else.
2020-10-22 00:35:40 +0200 <monochrom> do-notation doesn't desugar to join or >>=id.
2020-10-22 00:36:15 +0200 <crestfallen> someone on the channel told me to use >>= instead. not sure of the context of that chat, but I do prefer it somehow.
2020-10-22 00:36:28 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net) (Quit: Konversation terminated!)
2020-10-22 00:36:40 +0200 <koz_> crestfallen: Nobody's holding a gun to your head and forcing you to use do-notation.
2020-10-22 00:36:52 +0200 <crestfallen> !! thanks
2020-10-22 00:36:54 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net)
2020-10-22 00:36:57 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 00:37:09 +0200 <monochrom> Preference is irrelevant. do-notation desugars to >>=. Not join, not >>=id.
2020-10-22 00:37:23 +0200p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 258 seconds)
2020-10-22 00:38:21 +0200 <crestfallen> well, if I could ask differently: is (>=>) just like bind, sans join?
2020-10-22 00:38:29 +0200Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-10-22 00:38:46 +0200 <davean> sans join?
2020-10-22 00:38:47 +0200 <crestfallen> meaning >=> sans join
2020-10-22 00:39:11 +0200 <crestfallen> >=> doesn't implement join
2020-10-22 00:39:11 +0200 <monochrom> I refuse to talk about "like". Everything is like everything. Everything is also unlike everything else.
2020-10-22 00:40:57 +0200 <davean> Hum, in this case we're talking about something precise. We can say "A can be implimented with the same code as B, except lacking exactly the inclusion of a join"
2020-10-22 00:41:29 +0200 <koz_> monochrom is like koz_.
2020-10-22 00:41:50 +0200 <monochrom> http://www.vex.net/~trebla/humour/tautologies.html #0
2020-10-22 00:41:50 +0200chaosmasttter(~chaosmast@p200300c4a70942015d50de0935368812.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2020-10-22 00:42:33 +0200 <crestfallen> for example, this is lost on me:
2020-10-22 00:42:40 +0200tzh(~tzh@2601:448:c500:5300::19b0) (Quit: jsdkj)
2020-10-22 00:42:59 +0200 <crestfallen> λ > :t (>=> join)
2020-10-22 00:43:03 +0200 <crestfallen> (>=> join) :: Monad m => (a -> m (m (m c))) -> a -> m c
2020-10-22 00:43:19 +0200 <davean> monochrom: perhaps you'd prefer the question "What is the relation of (>>=) and (>=>) in regards to 'join'?"?
2020-10-22 00:43:27 +0200 <monochrom> Fortunately (>=> join) seldom comes up at all.
2020-10-22 00:43:44 +0200 <davean> I don't know why that would come up - thats a weird structure
2020-10-22 00:43:45 +0200 <crestfallen> davean thanks I need that terminology!
2020-10-22 00:44:08 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net) (Quit: Konversation terminated!)
2020-10-22 00:44:25 +0200p8m(p8m@gateway/vpn/protonvpn/p8m)
2020-10-22 00:44:35 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net)
2020-10-22 00:47:18 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net) (Client Quit)
2020-10-22 00:47:23 +0200 <crestfallen> davean, if you care to look, this is from a bartosz tutorial: https://termbin.com/xnxfu
2020-10-22 00:47:23 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 00:47:41 +0200stefan-__(~cri@42dots.de)
2020-10-22 00:47:44 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net)
2020-10-22 00:47:48 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-22 00:47:50 +0200 <crestfallen> https://www.schoolofhaskell.com/user/Lkey/kleisli
2020-10-22 00:48:07 +0200 <davean> crestfallen: right and join takes 'm (m a) -> m a'
2020-10-22 00:48:58 +0200 <crestfallen> yeah that was helpful, I thought anyway :)
2020-10-22 00:49:01 +0200 <davean> Because of a property of m
2020-10-22 00:49:17 +0200 <davean> Its not helpful for me, and I'm unclear why its helpful for you which worries me but :)
2020-10-22 00:49:18 +0200 <koz_> Is there such a thing as mapMaybeM?
2020-10-22 00:49:34 +0200 <davean> koz_: yes?
2020-10-22 00:49:42 +0200 <davean> in a few packages
2020-10-22 00:49:49 +0200 <koz_> @hoogle mapMaybeM
2020-10-22 00:49:50 +0200 <lambdabot> Data.Conduit.List mapMaybeM :: Monad m => (a -> m (Maybe b)) -> ConduitT a b m ()
2020-10-22 00:49:50 +0200 <lambdabot> Control.Monad.Extra mapMaybeM :: Monad m => (a -> m (Maybe b)) -> [a] -> m [b]
2020-10-22 00:49:50 +0200 <lambdabot> Extra mapMaybeM :: Monad m => (a -> m (Maybe b)) -> [a] -> m [b]
2020-10-22 00:50:05 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 240 seconds)
2020-10-22 00:50:13 +0200 <davean> You can easily compose it from base with catMaybes and mapM of course
2020-10-22 00:50:28 +0200 <davean> Which is generally what I do ... repeatedly
2020-10-22 00:50:33 +0200 <koz_> davean: Rofl.
2020-10-22 00:50:38 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net) (Client Quit)
2020-10-22 00:51:01 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net)
2020-10-22 00:51:41 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-10-22 00:51:51 +0200 <koz_> :t catMaybes
2020-10-22 00:51:52 +0200 <lambdabot> [Maybe a] -> [a]
2020-10-22 00:51:57 +0200 <koz_> (miaow)
2020-10-22 00:52:15 +0200 <davean> I just grepped, the occurencies of the obvious definition currently in my projects on this computer is depressing.
2020-10-22 00:52:20 +0200 <crestfallen> davean, helpful because m(m a) needs a flatten. so it led me to think if flatten is implicit in >>= alone. also because of seeing this notation which implies that: do; ma <- mma
2020-10-22 00:52:28 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net) (Client Quit)
2020-10-22 00:52:47 +0200ukari(~ukari@unaffiliated/ukari)
2020-10-22 00:52:49 +0200babygnu(~robert@gateway/tor-sasl/babygnu) (Remote host closed the connection)
2020-10-22 00:52:53 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net)
2020-10-22 00:53:11 +0200dansho(~dansho@ip68-108-167-185.lv.lv.cox.net)
2020-10-22 00:53:30 +0200 <davean> er ...
2020-10-22 00:53:42 +0200 <davean> So try desuggering what actually happens there.
2020-10-22 00:54:09 +0200 <crestfallen> thanks ko*z suggested that but I'm not sure what to do..
2020-10-22 00:54:22 +0200 <davean> Also, if you think of it as "flattening" its one *very* specific notion of that at best.
2020-10-22 00:54:48 +0200 <crestfallen> thanks that's helpful
2020-10-22 00:54:50 +0200 <davean> Not saying you're entirely off base, but I think that conceptualization will lead you astray
2020-10-22 00:55:22 +0200 <davean> crestfallen: so you've never seen how "do" desugars?
2020-10-22 00:56:08 +0200 <crestfallen> davean I'm reviewing some stuff after a long and difficult absence from learning. not sure
2020-10-22 00:56:48 +0200 <crestfallen> pretty straightforward, I guess?
2020-10-22 00:56:52 +0200 <davean> EXTREMELY
2020-10-22 00:56:57 +0200 <davean> crestfallen: you might want to look at the Haskell Report
2020-10-22 00:57:05 +0200 <davean> it isn't very long and its very clear and covers all the sugar
2020-10-22 00:57:13 +0200 <davean> which is *just* sugar and really only has one rule.
2020-10-22 00:57:25 +0200 <crestfallen> excellent thanks.. looking now
2020-10-22 00:57:46 +0200 <monochrom> Nah, the whole Haskell Report is pretty long. But don't worry, the section on do-notation is short, as promised.
2020-10-22 00:58:40 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 00:58:44 +0200 <davean> Ok, right
2020-10-22 00:58:58 +0200 <crestfallen> cool
2020-10-22 00:59:29 +0200 <MarcelineVQ> monochrom: I saw a tutorial once by some unknown author that covered the sugar quite well, also covered IO at the same time amazingly
2020-10-22 00:59:34 +0200 <davean> It has a lot of (mostly irrelivent) code also, for the basic libraries for example - ignore all that of course
2020-10-22 00:59:44 +0200 <monochrom> haha
2020-10-22 01:00:43 +0200 <davean> "do" is less than a page
2020-10-22 01:00:54 +0200 <davean> (and most of it is the grammar for it)
2020-10-22 01:01:30 +0200 <monochrom> Oh, right, the Haskell Report includes treating "general_pattern <- foo" using "fail", that's going to be distracting.
2020-10-22 01:01:42 +0200borne(~fritjof@200116b864c00d0000dd0a7f6ac41015.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-22 01:01:51 +0200 <davean> Oh damn it is out of date on that
2020-10-22 01:02:23 +0200 <MarcelineVQ> fret not
2020-10-22 01:02:30 +0200bitmagie(~Thunderbi@200116b806c15c0034a3f18e66d83a15.dip.versatel-1u1.de)
2020-10-22 01:02:36 +0200 <crestfallen> yeah I get that pretty much
2020-10-22 01:02:45 +0200 <davean> Its MonadFail instead of Monad, but thats kinda minor
2020-10-22 01:02:48 +0200 <davean> still, annoying.
2020-10-22 01:02:52 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-10-22 01:02:55 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 246 seconds)
2020-10-22 01:03:29 +0200ukari(~ukari@unaffiliated/ukari)
2020-10-22 01:03:46 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 272 seconds)
2020-10-22 01:04:48 +0200 <crestfallen> but id changes things in far more interesting ways than I would have expected
2020-10-22 01:04:59 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net) (Quit: Konversation terminated!)
2020-10-22 01:05:03 +0200 <davean> id changes things? What do you mean?
2020-10-22 01:05:18 +0200 <crestfallen> one moment
2020-10-22 01:05:24 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net)
2020-10-22 01:05:30 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net) (Client Quit)
2020-10-22 01:05:54 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net)
2020-10-22 01:08:12 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 01:09:20 +0200 <crestfallen> davean, I'm still looking for a study I did, but i.e. when it's determined the g :: id here https://termbin.com/m3z6
2020-10-22 01:10:27 +0200 <crestfallen> finding the type of f
2020-10-22 01:10:30 +0200 <crestfallen> f g h x y = g (g x) (h y)
2020-10-22 01:11:57 +0200 <davean> What do you tihnk 'id' is "changing" there?
2020-10-22 01:12:04 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-22 01:12:13 +0200dxld(~dxld@80-109-136-248.cable.dynamic.surfer.at) (Ping timeout: 264 seconds)
2020-10-22 01:12:14 +0200 <davean> If g can only *be* 'id' in what sense has anything changed?
2020-10-22 01:13:19 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-22 01:14:00 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 01:14:02 +0200Ferdiran1(~max@2001:4c78:2012:5000::2) (Ping timeout: 244 seconds)
2020-10-22 01:14:10 +0200Ferdirand(~max@2001:4c78:2012:5000::2)
2020-10-22 01:14:44 +0200 <crestfallen> in that case I meant that seeing how g resolves to id was quite surprising. davean
2020-10-22 01:15:23 +0200 <davean> Ah, sure. Not sure the relation to 'do' notation, but ow I understand what you meant at least.
2020-10-22 01:15:38 +0200 <davean> f is a very weird function
2020-10-22 01:15:58 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net) (Quit: Konversation terminated!)
2020-10-22 01:16:23 +0200oisdk_(~oisdk@2001:bb6:3329:d100:110c:4b45:443f:14f0)
2020-10-22 01:16:24 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net)
2020-10-22 01:16:32 +0200dxld(~dxld@2a01:4f8:201:89ff:7479:df6a:7ab8:8305)
2020-10-22 01:17:20 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 01:17:27 +0200oisdk(~oisdk@2001:bb6:3329:d100:110c:4b45:443f:14f0) (Ping timeout: 260 seconds)
2020-10-22 01:18:35 +0200 <ski> crestfallen : "does each line of a do block (after the first line) end up initially with essentially m(m a) .. thus requiring join" -- yes, essentially. that is, each implicit use of `(>>=)' (connecting lines, more or less) could be thought of as `fmap' and `join'
2020-10-22 01:19:18 +0200 <davean> Specificly we can implikent join and (>>=) via each other basicly.
2020-10-22 01:19:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-22 01:19:37 +0200 <crestfallen> ski thanks! you have an uncanny ability to decipher my rambling!
2020-10-22 01:20:30 +0200 <ski> (you could think of the collapsing of `m (m (m (..(m (m a))..)))' (as many `m's, as there's commands in the `do', minus one) into `m a', as effecting the (dynamic) sequencing of effects)
2020-10-22 01:20:33 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 01:21:00 +0200 <crestfallen> I thought so ski , because of this little ditty from kleisli composition: https://termbin.com/xnxfu
2020-10-22 01:21:12 +0200 <ski> yes
2020-10-22 01:21:54 +0200 <crestfallen> yeah that's what I thought. each action would produce a nested layer
2020-10-22 01:22:59 +0200 <ski> (for an idiom `i' (that is `i' an instance of `Applicative'), you instead collapse `(i a,i b,i c,...,i y,i z)' to `i (a,b,c,...,y,z)', the combination of the multiple `i's here into a single one is what i sometimes refer to as "static sequencing")
2020-10-22 01:24:25 +0200dhil(~dhil@195.213.192.122) (Ping timeout: 240 seconds)
2020-10-22 01:25:03 +0200klixto(~klixto@130.220.8.131)
2020-10-22 01:25:19 +0200 <crestfallen> is that why the monad keeps the nested function 'pure' ? because the structure of the 'outer' monad is immutable? ski
2020-10-22 01:25:23 +0200 <ski> for a monad `m', you can decide what to do next, depending on the results of the effect interaction you do first. so, to read a line in `IO', and then to output that line, you can do `fmap putStrLn getLine', which has type `IO (IO ())'. but to get this into a single `IO ()' that will first input a line, then output it, you use `join'
2020-10-22 01:25:41 +0200 <ski> (the "first .., then .." is the (dynamic) sequencing here)
2020-10-22 01:26:00 +0200 <ski> i don't understand the question
2020-10-22 01:26:04 +0200hekkaidekapus}hekkaidekapus
2020-10-22 01:26:44 +0200 <sshine> crestfallen, "the monad keeps the nested function 'pure'" does not parse here, either.
2020-10-22 01:26:52 +0200 <ski> `join' can be thought of as combining the effects described by two `m'-layers, one nested inside the other. combining them into a single `m'-layer, that does the effects of both the original layers
2020-10-22 01:26:57 +0200 <sshine> crestfallen, maybe you could simplify
2020-10-22 01:27:21 +0200 <ski> `pure'/`return', on the other hand, introduces a "dummy" layer, which doesn't actually do any effect
2020-10-22 01:27:50 +0200 <crestfallen> ski yeah the single 'm' layer gains complexity as you go through each action
2020-10-22 01:28:07 +0200 <ski> (hm .. but on second reading, possibly you weren't talking about the operation `pure', belonging to the type class `Applicative' ..)
2020-10-22 01:28:41 +0200 <crestfallen> ski is my last post correct?
2020-10-22 01:29:10 +0200 <ski> i don't know what you mean by ".. layer gains complexity"
2020-10-22 01:29:20 +0200 <ski> (also "each action" -- each of which actions ?)
2020-10-22 01:29:32 +0200 <davean> waht is complexity?
2020-10-22 01:29:47 +0200 <crestfallen> there are more effects in the single m (a) layer ultimately I guess?
2020-10-22 01:30:03 +0200 <ski> after you've used `join', yes
2020-10-22 01:30:11 +0200 <davean> I'm weirded out here crestfallen because you seem to be taking a rigorous approach with some things, yet your thinking seems entirely fuzzy so I feel like I'm missing something large in this convesation
2020-10-22 01:30:17 +0200 <crestfallen> that's what I meant by complexity
2020-10-22 01:30:40 +0200 <crestfallen> davean, I have a screw loose :)
2020-10-22 01:30:50 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-22 01:31:31 +0200wroathe_(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 01:31:33 +0200 <sshine> > join [[1,2,3],[4,5,6],[7,8,9]]
2020-10-22 01:31:34 +0200 <lambdabot> [1,2,3,4,5,6,7,8,9]
2020-10-22 01:31:40 +0200 <sshine> > join (Just (Just 5))
2020-10-22 01:31:42 +0200 <lambdabot> Just 5
2020-10-22 01:32:08 +0200 <crestfallen> a monad gains complexity because structure is added every time >>= is applied.
2020-10-22 01:32:16 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-22 01:32:36 +0200 <davean> Uh, "cocks head for a different view of that statement"
2020-10-22 01:32:37 +0200 <ski> > [join actionYieldingAction | actionYieldingAction <- [Nothing,Just Nothing,Just (Just 5)]]
2020-10-22 01:32:39 +0200 <lambdabot> [Nothing,Nothing,Just 5]
2020-10-22 01:32:56 +0200 <ski> crestfallen : "a monad" -- no, a monadic action. not a monad
2020-10-22 01:33:52 +0200 <sshine> > Just 42 >>= pure >>= pure >>= pure -- more complex?
2020-10-22 01:33:55 +0200 <lambdabot> Just 42
2020-10-22 01:33:58 +0200 <crestfallen> so at the math level, the object is gaining complexity from each morphism that is applied
2020-10-22 01:34:14 +0200 <ski> yes, "more" in the lax sense, as `>=', not as `>'
2020-10-22 01:35:01 +0200 <crestfallen> isn't that what it is in the math?
2020-10-22 01:35:19 +0200 <sshine> > (2 + 2) `mod` 3 -- more complex at the math level?
2020-10-22 01:35:21 +0200 <lambdabot> 1
2020-10-22 01:35:24 +0200 <ski> crestfallen : consider `[0,1,2] >>= \x -> [x^2,-x^2] >>= \y -> []'
2020-10-22 01:35:54 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 01:35:55 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 01:35:55 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-22 01:36:25 +0200wroathe_(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-22 01:36:47 +0200Tops2(~Tobias@dyndsl-095-033-090-095.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-10-22 01:36:55 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 265 seconds)
2020-10-22 01:37:00 +0200 <ski> (aka `map (\x -> map (\y -> []) [x^2,-x^2]) [0,1,2]'. or `[z | x <- [0,1,2],y <- [x^2,-x^2],z <- []')
2020-10-22 01:37:08 +0200 <sshine> crestfallen, I'm not really an expert at the math level, but I'd think that monoidal composition just yields another member. so if there's any complexity added, it's at the computational level, since you have a bigger expression that needs to be resolved.
2020-10-22 01:37:58 +0200 <ski> crestfallen : after we've added the `>>= \y -> []' at the end, we get an empty list. if we add some further `>>= \z -> ..z..', we'll still have an empty list
2020-10-22 01:38:09 +0200 <crestfallen> sshine but I thought that the object.. the monad structure, is increased upon, but ski just illustrated that it's not always the case [0,1,2] >>= \x -> [x^2,-x^2] >>= \y -> []
2020-10-22 01:38:49 +0200 <ski> so, in this case, adding `>>= \y -> []' makes things "simple" in the sense of getting a plain empty list (that no further use of `>>=' can change to a non-empty list)
2020-10-22 01:38:59 +0200 <sshine> crestfallen, at the syntactic level, many >>=s chained together is more complex. upon evaluation, it really depends.
2020-10-22 01:39:02 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 01:39:06 +0200 <crestfallen> the list is unchanged.. but in the intermediary steps, it "takes on" complexity, I thought
2020-10-22 01:39:30 +0200 <ski> compare with multiplying numbers. if you have `a * b * c * ... * y * z'
2020-10-22 01:39:55 +0200 <ski> as you multiply `a' by `b', then the result of that by `c', and so on, you'd generally say you get something more complex
2020-10-22 01:40:26 +0200 <ski> but if one of the factors happen to be zero, then regardless of what the latter factors you multiply in are, you'll still always get zero
2020-10-22 01:40:45 +0200 <crestfallen> exactly. adding 2 + 3 gives us five, which has unique properties
2020-10-22 01:41:01 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net) (Ping timeout: 264 seconds)
2020-10-22 01:41:02 +0200 <crestfallen> exactly two posts back ski
2020-10-22 01:41:04 +0200alp(~alp@88.126.45.36) (Ping timeout: 246 seconds)
2020-10-22 01:41:26 +0200 <crestfallen> compare with multiplying numbers ....
2020-10-22 01:41:47 +0200 <ski> so, you could say, that in general, you get more complexity (where "more" really means "more, or else the same" (that is "not less")). but in special cases, you could get something simpler
2020-10-22 01:41:53 +0200dwt(~dwt@c-98-200-58-177.hsd1.tx.comcast.net)
2020-10-22 01:44:01 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-22 01:44:01 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 01:44:22 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net)
2020-10-22 01:44:23 +0200stefan-__(~cri@42dots.de)
2020-10-22 01:44:49 +0200 <crestfallen> yeah. so ski in category theory, I've read that the object can literally expand, change dimension, once morphisms are applied. isn't what this is about?
2020-10-22 01:45:10 +0200 <ski> i don't know what you mean by that
2020-10-22 01:45:11 +0200 <crestfallen> in the case where they become more complex..
2020-10-22 01:45:26 +0200 <ski> in category theory, morphisms are not applied to objects
2020-10-22 01:45:40 +0200 <crestfallen> they are applied to sets, right?
2020-10-22 01:45:48 +0200 <ski> what's called "objects", there, is the possible domains and codomains of morphisms
2020-10-22 01:45:51 +0200 <ski> no
2020-10-22 01:45:55 +0200 <ski> they aren't applied at all
2020-10-22 01:45:58 +0200 <ski> they're composed
2020-10-22 01:46:09 +0200 <crestfallen> right, actually I meant that..
2020-10-22 01:46:30 +0200 <crestfallen> so monad is a composition, because the structure changes
2020-10-22 01:46:39 +0200 <ski> in category theory, if you have `f : A >---> B' and `g : B >---> C', you can compose them as `g . f : A >---> C'
2020-10-22 01:46:52 +0200 <ski> but there is no application like `f(x)'/`f x'
2020-10-22 01:47:04 +0200 <ski> objects, like `A', doesn't have "elements"
2020-10-22 01:47:17 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 01:47:23 +0200 <crestfallen> no, but 'A' has structure, right?
2020-10-22 01:47:30 +0200 <ski> "so monad is a composition, because the structure changes" -- sorry, dunno what this means
2020-10-22 01:47:43 +0200alp(~alp@2a01:e0a:58b:4920:b176:4a05:144c:cd70)
2020-10-22 01:47:54 +0200 <crestfallen> (>>=) is a form of composition is what I meant
2020-10-22 01:48:28 +0200 <ski> from the point of view of category theory, the "structure" of an object like `A' is given in terms of knowing which morphisms compose to which morphisms
2020-10-22 01:48:47 +0200 <crestfallen> yes!
2020-10-22 01:49:27 +0200 <ski> but when you "implement" a category, you can choose to implement the objects as some sort of set/type, commonly with some extra "structure" (like having a binary operation, and a neutral element, which could give us a monoid)
2020-10-22 01:49:31 +0200 <crestfallen> category theory applies to monadic actions, because the object is changing
2020-10-22 01:49:33 +0200darjeeli1(~darjeelin@122.245.123.118) (Ping timeout: 260 seconds)
2020-10-22 01:49:33 +0200falafel(~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 256 seconds)
2020-10-22 01:49:57 +0200 <crestfallen> the structure of the object, is what I was led to believe.
2020-10-22 01:50:02 +0200 <ski> `(>=>)' corresponds to composition (in "the Kleisli category"), `(>>=)' does not
2020-10-22 01:50:25 +0200LKoen(~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr)
2020-10-22 01:50:30 +0200 <crestfallen> one moment pls
2020-10-22 01:50:30 +0200darjeeli1(~darjeelin@122.245.123.118)
2020-10-22 01:50:34 +0200 <ski> i don't understand "category theory applies to monadic actions, because the object is changing" either
2020-10-22 01:51:10 +0200 <monochrom> I'm pretty sure this word game is getting nowhere.
2020-10-22 01:51:17 +0200deadk(e@freenode/staff/spy.edk) (Quit: edk)
2020-10-22 01:51:30 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 01:51:35 +0200 <MarcelineVQ> lol deadk
2020-10-22 01:51:43 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 01:52:07 +0200 <MarcelineVQ> ghoulguy: your good natured antics have gone too far!
2020-10-22 01:52:11 +0200 <crestfallen> buzz wreckers enter
2020-10-22 01:52:14 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 01:52:41 +0200stefan-__(~cri@42dots.de)
2020-10-22 01:52:43 +0200 <ski> crestfallen : fancy moving to #haskell-overflow ?
2020-10-22 01:52:45 +0200 <ghoulguy> MarcelineVQ: I'm just a willing participant; edk got me into it
2020-10-22 01:53:14 +0200 <MarcelineVQ> man, what am I supposed to do, I'm intrinsicly themed already
2020-10-22 01:53:25 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-22 01:53:35 +0200 <monochrom> I want to participate too, but can't think of a spooky mutation of my nick.
2020-10-22 01:53:49 +0200 <MarcelineVQ> spookochrom
2020-10-22 01:54:15 +0200 <crestfallen> sure ski.
2020-10-22 01:54:15 +0200 <MarcelineVQ> monomoooaaannnn
2020-10-22 01:54:24 +0200 <monochrom> Apart from "joseph" which is an obscure reference to "joseph and the technocolor dream coat" which is the opposite of "monochrome".
2020-10-22 01:54:59 +0200crestfallen(~john@128.32.176.159) (Quit: Leaving)
2020-10-22 01:55:45 +0200darjeeli1(~darjeelin@122.245.123.118) (Ping timeout: 240 seconds)
2020-10-22 01:55:45 +0200 <MarcelineVQ> heartbreak boy, you can just type /join #haskell-overflow :(
2020-10-22 01:55:47 +0200crestfallen(~john@128.32.176.159)
2020-10-22 01:56:00 +0200 <monochrom> or "monodome" or "thunderchrom" in reference to "mad max ... thunderdome"
2020-10-22 01:56:13 +0200 <MarcelineVQ> monomax: beyond the thunderchrome
2020-10-22 01:56:39 +0200darjeeli1(~darjeelin@122.245.123.118)
2020-10-22 01:57:31 +0200veverak(~squirrel@ip-89-102-98-161.net.upcbroadband.cz) (Ping timeout: 246 seconds)
2020-10-22 02:00:01 +0200edk_(e@freenode/staff/spy.edk)
2020-10-22 02:01:00 +0200polyrain(~polyrain@58.161.83.164)
2020-10-22 02:01:05 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 265 seconds)
2020-10-22 02:03:37 +0200tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io) (Ping timeout: 260 seconds)
2020-10-22 02:03:59 +0200tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io)
2020-10-22 02:05:33 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 02:05:34 +0200codygman(~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer)
2020-10-22 02:05:43 +0200codygman(codygman@gateway/vpn/privateinternetaccess/codygman)
2020-10-22 02:06:29 +0200 <sshine> is this a halloween thing?
2020-10-22 02:06:52 +0200 <monochrom> yes
2020-10-22 02:07:04 +0200monochrommorphochrom
2020-10-22 02:08:34 +0200 <morphochrom> I think this will do this year. :)
2020-10-22 02:09:37 +0200 <morphochrom> Too many morphisms lately as I learn the Yoneda lemma.
2020-10-22 02:09:55 +0200 <ghoulguy> sshine: yeah
2020-10-22 02:10:33 +0200codygman(codygman@gateway/vpn/privateinternetaccess/codygman) (Ping timeout: 260 seconds)
2020-10-22 02:11:04 +0200 <ghoulguy> monsterchrom
2020-10-22 02:11:27 +0200 <sshine> I'm trying to determine this type of morphism. https://staticdelivery.nexusmods.com/mods/110/images/42586-1-1379644403.jpg
2020-10-22 02:11:47 +0200 <morphochrom> That's a better one, I'll use it! Thanks.
2020-10-22 02:11:51 +0200morphochrommonsterchrom
2020-10-22 02:12:41 +0200 <sshine> whenever I see movies with that type of monsters, I always imagine that since they come from outer space, they could just be super tiny.
2020-10-22 02:14:23 +0200 <ghoulguy> ski: spooki :)
2020-10-22 02:14:51 +0200 <monsterchrom> Romula d'deridex class warbid
2020-10-22 02:15:38 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-22 02:16:45 +0200burg_philo(~igloo@pool-100-33-61-227.nycmny.fios.verizon.net)
2020-10-22 02:18:52 +0200sshinemshine
2020-10-22 02:18:59 +0200Merfont(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-22 02:19:11 +0200Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-22 02:19:17 +0200darthfork(~igloo@8.9.230.47)
2020-10-22 02:19:47 +0200darthfork(~igloo@8.9.230.47) (Client Quit)
2020-10-22 02:21:40 +0200burg_philo(~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2020-10-22 02:21:58 +0200luto1(~luto@185.163.110.116)
2020-10-22 02:22:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-22 02:23:04 +0200 <Squarism> Maybe a weird question, but i'll try. Given data D a = D a ; class C a b where ; get :: a -> Maybe b. Can I write an instance of C that matches the case when "a" is D <whatever> and "b" is D scopedVar. Somehow keep telling myself this should hold : appliedFkn :: forall b. b => Maybe (D b) ; appliedFkn = get (D Int). But I think I'm wrong there.
2020-10-22 02:24:14 +0200burg_philo(~igloo@pool-100-33-61-227.nycmny.fios.verizon.net)
2020-10-22 02:24:14 +0200burg_philo(~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) (Client Quit)
2020-10-22 02:25:34 +0200darthfork(~igloo@8.9.230.47)
2020-10-22 02:25:41 +0200darthfork(~igloo@8.9.230.47) (Client Quit)
2020-10-22 02:26:44 +0200 <Squarism> My intuition feels this should be possible, but my constant fighting with the compiler tells me I've fundamentally confused myself about scope variables arent "wildcards" in this sense.
2020-10-22 02:27:36 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 02:27:59 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-22 02:28:09 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-22 02:30:28 +0200Wuzzy(~Wuzzy@p5790ef06.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-22 02:31:25 +0200whatisRT(~whatisRT@2002:5b41:6a33:0:61c5:a3a1:1437:ebe5) (Ping timeout: 240 seconds)
2020-10-22 02:32:02 +0200irc_user(uid423822@gateway/web/irccloud.com/x-ozudxpdqqqotmvjh) (Quit: Connection closed for inactivity)
2020-10-22 02:34:51 +0200alp(~alp@2a01:e0a:58b:4920:b176:4a05:144c:cd70) (Ping timeout: 272 seconds)
2020-10-22 02:35:02 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 02:35:36 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2020-10-22 02:36:09 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 02:37:33 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 02:37:34 +0200rx_(~rx@2607:fea8:2c5f:faea::2277)
2020-10-22 02:38:52 +0200rx_(~rx@2607:fea8:2c5f:faea::2277) ()
2020-10-22 02:45:13 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 264 seconds)
2020-10-22 02:45:44 +0200Ferdirand(~max@2001:4c78:2012:5000::2) (Ping timeout: 246 seconds)
2020-10-22 02:45:52 +0200Ferdirand(~max@2001:4c78:2012:5000::2)
2020-10-22 02:47:39 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-22 02:48:04 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 02:48:15 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-22 02:49:11 +0200Lord_of_Life(~Lord@46.217.219.190)
2020-10-22 02:50:42 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-22 02:50:52 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-22 02:50:52 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-22 02:50:52 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 02:55:53 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 02:56:33 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-22 02:57:05 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:c4b2:ae08:d967:f34e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 02:57:08 +0200Chi1thangoo(~Chi1thang@87.112.60.168) (Ping timeout: 272 seconds)
2020-10-22 02:57:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 03:00:26 +0200crestfallen(~john@128.32.176.159) (Quit: Leaving)
2020-10-22 03:00:43 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-22 03:00:49 +0200dsiypl4(~dsiypl4@41.251.199.43) (Quit: Leaving)
2020-10-22 03:00:59 +0200acidjnk_new2(~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de)
2020-10-22 03:02:15 +0200LindaTheUltimate(3dded63f@61-222-214-63.HINET-IP.hinet.net)
2020-10-22 03:02:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-22 03:03:36 +0200 <koz_> Is there such a thing as a free Alternative?
2020-10-22 03:05:03 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476)
2020-10-22 03:05:21 +0200 <dolio> Certainly.
2020-10-22 03:05:49 +0200 <koz_> Lol... _just_ saw this: http://hackage.haskell.org/package/free-5.1.4/docs/Control-Alternative-Free.html
2020-10-22 03:06:30 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 03:07:17 +0200remexre(~nathan@207-153-38-50.fttp.usinternet.com) (Read error: Connection reset by peer)
2020-10-22 03:07:30 +0200klixto(~klixto@130.220.8.131) (Quit: WeeChat 2.9)
2020-10-22 03:07:47 +0200klixto(~klixto@130.220.8.131)
2020-10-22 03:08:37 +0200remexre(~nathan@207-153-38-50.fttp.usinternet.com)
2020-10-22 03:09:37 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-22 03:09:45 +0200LKoen(~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-10-22 03:10:20 +0200m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 258 seconds)
2020-10-22 03:12:24 +0200LindaTheUltimate(3dded63f@61-222-214-63.HINET-IP.hinet.net) (Remote host closed the connection)
2020-10-22 03:14:15 +0200infinity0(~infinity0@freenet/developer/infinity0) (Ping timeout: 260 seconds)
2020-10-22 03:17:01 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 03:18:06 +0200Merfont(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-22 03:18:46 +0200Merfont(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-22 03:18:57 +0200hackageaeson-gadt-th 0.2.3 - Derivation of Aeson instances for GADTs https://hackage.haskell.org/package/aeson-gadt-th-0.2.3 (abrar)
2020-10-22 03:21:24 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-10-22 03:21:52 +0200ps-auxw(~arneb@p548c61b6.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2020-10-22 03:21:56 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 03:22:02 +0200ukari(~ukari@unaffiliated/ukari)
2020-10-22 03:23:31 +0200infinity0(~infinity0@freenet/developer/infinity0)
2020-10-22 03:24:57 +0200hackageaeson-gadt-th 0.2.4 - Derivation of Aeson instances for GADTs https://hackage.haskell.org/package/aeson-gadt-th-0.2.4 (abrar)
2020-10-22 03:24:59 +0200nineonine(~textual@216.81.48.202) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 03:27:05 +0200plutoniix(~q@ppp-49-237-23-174.revip6.asianet.co.th)
2020-10-22 03:27:06 +0200Merfont(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-22 03:27:25 +0200Merfont(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-22 03:33:15 +0200VirusCorona(~roun@103.103.144.162)
2020-10-22 03:33:30 +0200ps-auxw(~arneb@p548c6f52.dip0.t-ipconnect.de)
2020-10-22 03:33:54 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 03:36:11 +0200 <monsterchrom> Haskell is a free alternative to Miranda. :)
2020-10-22 03:36:26 +0200plutoniix(~q@ppp-49-237-23-174.revip6.asianet.co.th) (Ping timeout: 256 seconds)
2020-10-22 03:36:38 +0200polyrain(~polyrain@58.161.83.164) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 03:37:54 +0200bartemius(~bartemius@109.252.20.20)
2020-10-22 03:38:40 +0200 <VirusCorona> hola
2020-10-22 03:39:49 +0200 <mshine> koz_, hehe.
2020-10-22 03:40:29 +0200bitmagie(~Thunderbi@200116b806c15c0034a3f18e66d83a15.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-22 03:40:31 +0200klixto(~klixto@130.220.8.131) (Quit: WeeChat 2.9)
2020-10-22 03:42:05 +0200bartemius(~bartemius@109.252.20.20) (Ping timeout: 240 seconds)
2020-10-22 03:43:54 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-22 03:44:38 +0200 <Squarism> Not figuring this one out https://paste.ofcode.org/zV4YWsC9kWpaW6L7ZrVg9G
2020-10-22 03:44:45 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-10-22 03:44:54 +0200mozzarella(~sam@unaffiliated/sam113101) (Quit: WeeChat 2.8)
2020-10-22 03:45:42 +0200 <Squarism> It seems im not able to prioritize between the instances on row 10 and 16, even if that on 16 is more specific
2020-10-22 03:47:12 +0200nineonine(~textual@216-19-190-182.dyn.novuscom.net)
2020-10-22 03:48:15 +0200 <Squarism> ...im on ghc 8.6.5 if that helps explaining it
2020-10-22 03:48:56 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-22 03:49:10 +0200plutoniix(~q@175.176.222.7)
2020-10-22 03:49:31 +0200sqrt2_(~ben@unaffiliated/sqrt2)
2020-10-22 03:49:52 +0200wei2912(~wei2912@unaffiliated/wei2912)
2020-10-22 03:50:20 +0200sqrt2(~ben@unaffiliated/sqrt2) (Ping timeout: 272 seconds)
2020-10-22 03:56:05 +0200jespada(~jespada@90.254.245.15) (Ping timeout: 240 seconds)
2020-10-22 03:56:18 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net) (Quit: Konversation terminated!)
2020-10-22 03:56:33 +0200xff0x(~fox@2001:1a81:529c:a900:2bcb:163b:75a7:c7de) (Ping timeout: 272 seconds)
2020-10-22 03:56:42 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net)
2020-10-22 03:57:27 +0200jespada(~jespada@90.254.243.98)
2020-10-22 03:57:46 +0200xff0x(~fox@2001:1a81:52d2:ca00:89ce:9368:e8a5:941e)
2020-10-22 03:58:41 +0200AceNovo(~chris@67-42-33-191.phnx.qwest.net) (Remote host closed the connection)
2020-10-22 04:02:55 +0200 <monsterchrom> Haha great, I'm going to troll my students with the Yoneda lemma!
2020-10-22 04:04:54 +0200 <monsterchrom> I'll put this question about parametric polymorphism on the exam. I have a mysterious function f :: (Int -> a) -> [a]. I tell you just one test case: f id = [1,2,3]. Now tell me what f does in general.
2020-10-22 04:05:51 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2020-10-22 04:06:46 +0200lagothrixGuest47596
2020-10-22 04:06:51 +0200lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-10-22 04:08:12 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-22 04:08:42 +0200christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-22 04:09:56 +0200Guest47596(~lagothrix@unaffiliated/lagothrix) (Ping timeout: 256 seconds)
2020-10-22 04:09:58 +0200 <dolio> monsterchrom: https://www.cs.bham.ac.uk/~mhe/yoneda/yoneda.html
2020-10-22 04:11:18 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-22 04:14:36 +0200whatisRT(~whatisRT@2002:5b41:6a33:0:61c5:a3a1:1437:ebe5)
2020-10-22 04:17:14 +0200theDon(~td@94.134.91.5) (Ping timeout: 256 seconds)
2020-10-22 04:18:54 +0200theDon(~td@94.134.91.18)
2020-10-22 04:18:56 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-22 04:20:29 +0200 <Squarism> monsterchrom, was that in reference to my post? Seems my problem overlaps a little.
2020-10-22 04:21:05 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 04:23:55 +0200 <monsterchrom> No.
2020-10-22 04:25:10 +0200StoneToad(~StoneToad@199-167-119-239.ppp.storm.ca) (Ping timeout: 256 seconds)
2020-10-22 04:25:24 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476)
2020-10-22 04:25:38 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-22 04:26:11 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-22 04:26:44 +0200StoneToad(~StoneToad@199-167-119-239.ppp.storm.ca)
2020-10-22 04:29:52 +0200drbean(~drbean@TC210-63-209-12.static.apol.com.tw)
2020-10-22 04:31:10 +0200GyroW_(~GyroW@d54c03e98.access.telenet.be)
2020-10-22 04:31:10 +0200GyroW_(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-22 04:31:10 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-22 04:32:03 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 04:32:11 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-22 04:32:53 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2020-10-22 04:36:20 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2020-10-22 04:36:51 +0200veverak(~squirrel@ip-89-102-98-161.net.upcbroadband.cz)
2020-10-22 04:38:50 +0200 <c_wraith> halloween names are contagious
2020-10-22 04:38:56 +0200 <c_wraith> wait, I've been a monster this whole time
2020-10-22 04:39:45 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 04:42:18 +0200christo(~chris@81.96.113.213)
2020-10-22 04:43:18 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-22 04:44:30 +0200 <justsomeguy> monsterchrom: Something like “f :: (Int -> a) -> [a]; f g = map ((\x -> undefined) . g) [undefined]”? (I'm a beginner, and thought I'd give this a shot.)
2020-10-22 04:45:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-22 04:45:16 +0200 <monsterchrom> c_wraith: Take on a human nick so it counts as a costume from your POV >:)
2020-10-22 04:46:15 +0200 <justsomeguy> No, wait, that doesn't match the test case. I just got focused on matching the type signature. :^p
2020-10-22 04:48:20 +0200shafox(~shafox@106.51.234.111)
2020-10-22 04:48:31 +0200justsomeguywould fail monsterchroms test
2020-10-22 04:49:00 +0200 <shafox> I have unicode in my code, and while building it gives error: error: parse error on input ‘⊥’
2020-10-22 04:49:25 +0200 <ghoulguy> > Data.Char.generalCategory '⊥'
2020-10-22 04:49:26 +0200 <lambdabot> MathSymbol
2020-10-22 04:49:52 +0200 <ghoulguy> > let (⊥) = "bottom" in ( (⊥), (⊥) )
2020-10-22 04:49:54 +0200 <lambdabot> ("bottom","bottom")
2020-10-22 04:50:23 +0200 <shafox> in emacs, undefined is change to ⊥
2020-10-22 04:50:35 +0200 <monsterchrom> Another test case would give f (\x -> 2 * x) = [2, 4, 6]
2020-10-22 04:50:45 +0200anik(~anik@103.23.207.130)
2020-10-22 04:50:58 +0200 <ghoulguy> shafox: In that case make sure you're actually writing 'undefined' and not '⊥'
2020-10-22 04:51:33 +0200amagi(716517df@113.101.23.223)
2020-10-22 04:52:50 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-22 04:54:03 +0200 <shafox> ghoulguy, thanks.
2020-10-22 04:54:25 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 04:54:26 +0200texasmynsted(~texasmyns@104.140.52.83) (Read error: Connection reset by peer)
2020-10-22 04:54:33 +0200 <hololeap> (⊥) really does look like "bottom" lol
2020-10-22 04:55:01 +0200 <MarcelineVQ> opposite of ⊤
2020-10-22 04:55:15 +0200texasmyn_(~texasmyns@217.138.198.228)
2020-10-22 04:57:51 +0200 <hololeap> am i the only one who sees it?
2020-10-22 04:58:07 +0200yumh(~yumh@mail.xglobe.in) (Ping timeout: 246 seconds)
2020-10-22 04:58:40 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds)
2020-10-22 04:59:59 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 05:00:01 +0200luto1(~luto@185.163.110.116) ()
2020-10-22 05:00:04 +0200haasn(~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2020-10-22 05:00:31 +0200 <MarcelineVQ> no
2020-10-22 05:01:35 +0200haasn(~nand@mpv/developer/haasn)
2020-10-22 05:01:46 +0200amagi_(~amagi@113.101.23.223)
2020-10-22 05:03:12 +0200 <hololeap> i must say, i am disappointed by the absense of giggles. use the 5-year-old part of your brain
2020-10-22 05:04:07 +0200anik(~anik@103.23.207.130) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2020-10-22 05:04:32 +0200visage_(~visage_@unaffiliated/visage/x-6658724)
2020-10-22 05:05:16 +0200 <MarcelineVQ> (⊤)
2020-10-22 05:05:36 +0200 <monsterchrom> It is the 70th time we have seen it.
2020-10-22 05:05:52 +0200 <MarcelineVQ> (.).(.)
2020-10-22 05:06:16 +0200amagi_(~amagi@113.101.23.223) (Quit: Lost terminal)
2020-10-22 05:08:08 +0200 <justsomeguy> monsterchrom: “f g = map g [1,2,(3 :: Int)]”?
2020-10-22 05:08:28 +0200 <monsterchrom> yeah!
2020-10-22 05:08:32 +0200 <justsomeguy> :D
2020-10-22 05:09:28 +0200 <mshine> (.).(.) is the Total Recall operator?
2020-10-22 05:09:36 +0200visage_(~visage_@unaffiliated/visage/x-6658724) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-22 05:09:52 +0200 <monsterchrom> haha
2020-10-22 05:10:04 +0200amagi_(~amagi@113.101.23.223)
2020-10-22 05:10:38 +0200 <MarcelineVQ> it's the has-a-birthmark combinator, the total recall combinator is (.)(.)(.)
2020-10-22 05:11:10 +0200 <MarcelineVQ> You might think there's no difference but that couldn't be farther from the truth
2020-10-22 05:11:20 +0200 <MarcelineVQ> The difference is ( )
2020-10-22 05:11:44 +0200 <MarcelineVQ> Now get your ass to mars.
2020-10-22 05:14:46 +0200berberman|T(berberma_4@gateway/shell/matrix.org/x-cgdaaoawojkzwzyx)
2020-10-22 05:15:41 +0200 <koz_> Something something 'in Haskell we don't inspect each other's bottoms' something.
2020-10-22 05:19:03 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 05:23:53 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 05:24:47 +0200vqrs(~vqrs@learnprogramming/regular/vqrs) (Ping timeout: 260 seconds)
2020-10-22 05:25:16 +0200vqrs(~vqrs@learnprogramming/regular/vqrs)
2020-10-22 05:26:13 +0200aarvar(~foewfoiew@50.35.43.33)
2020-10-22 05:26:22 +0200Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-22 05:27:32 +0200nineonine(~textual@216-19-190-182.dyn.novuscom.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 05:27:41 +0200aarvar(~foewfoiew@50.35.43.33) ()
2020-10-22 05:28:30 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 272 seconds)
2020-10-22 05:29:16 +0200nek0(~nek0@mail.nek0.eu)
2020-10-22 05:29:46 +0200revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 272 seconds)
2020-10-22 05:30:01 +0200nineonine(~textual@216-19-190-182.dyn.novuscom.net)
2020-10-22 05:30:21 +0200revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-10-22 05:30:51 +0200nineonine(~textual@216-19-190-182.dyn.novuscom.net) (Client Quit)
2020-10-22 05:35:31 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Read error: Connection reset by peer)
2020-10-22 05:35:52 +0200conal_(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 05:36:41 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 05:37:58 +0200amagi_(~amagi@113.101.23.223) (Quit: Lost terminal)
2020-10-22 05:38:03 +0200visage_(~visage_@unaffiliated/visage/x-6658724)
2020-10-22 05:38:17 +0200amagi_(~amagi@113.101.23.223)
2020-10-22 05:38:32 +0200amagi_(~amagi@113.101.23.223) (Client Quit)
2020-10-22 05:38:52 +0200amagi_(~amagi@113.101.23.223)
2020-10-22 05:39:13 +0200falafel(~falafel@71-34-132-121.clsp.qwest.net)
2020-10-22 05:39:33 +0200whatisRT(~whatisRT@2002:5b41:6a33:0:61c5:a3a1:1437:ebe5) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-22 05:40:32 +0200 <Squarism> is there a way to promote a value to a value that has a certain instance?
2020-10-22 05:40:37 +0200 <Squarism> class instance
2020-10-22 05:41:10 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 246 seconds)
2020-10-22 05:41:10 +0200nyaomi(~naomi@cpe-74-75-6-125.maine.res.rr.com) (Ping timeout: 246 seconds)
2020-10-22 05:41:11 +0200dansho(~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving)
2020-10-22 05:42:11 +0200conal_(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 05:42:49 +0200 <Squarism> almost like Data.Typeable's cast but for class instances
2020-10-22 05:44:32 +0200VirusCorona(~roun@103.103.144.162) (Quit: nice)
2020-10-22 05:46:58 +0200 <koz_> Squarism: What's the context?
2020-10-22 05:49:19 +0200mozzarella(~sam@unaffiliated/sam113101)
2020-10-22 05:50:48 +0200 <Squarism> koz_, im working on a textual addressing mechanism for a class of data types i mention the other day. With risk of beeing TLDR : https://paste.ofcode.org/rbJug92hAXGxvAJVDdzAZu
2020-10-22 05:51:15 +0200 <koz_> 13 lines of extensions. This is some Real World Haskell right there. :P
2020-10-22 05:52:27 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds)
2020-10-22 05:52:27 +0200 <Squarism> I'm not too experianced in advanced type magic, so I play around a bit
2020-10-22 05:52:46 +0200 <Squarism> im currently working on progress of mapLeaf2
2020-10-22 05:52:56 +0200polyrain(~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a)
2020-10-22 05:53:24 +0200 <Squarism> if " mapLeaf2 pr (a1 : a2 : rest) f" is set to undefined it should compile
2020-10-22 05:53:44 +0200 <Squarism> but its that function im trying to complete
2020-10-22 05:54:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-22 05:55:22 +0200mterwoord(~mterwoord@195.140.213.38)
2020-10-22 05:58:40 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-22 06:00:01 +0200alexelcu(~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-22 06:00:56 +0200alexelcu(~alexelcu@142.93.180.198)
2020-10-22 06:01:20 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-22 06:02:49 +0200rekahsoft(~rekahsoft@fitz10681.telemetry.esentire.com)
2020-10-22 06:04:41 +0200ADG1089(~adg1089@122.163.245.127)
2020-10-22 06:05:38 +0200ddellacosta(~dd@86.106.121.168) (Ping timeout: 260 seconds)
2020-10-22 06:05:56 +0200 <ADG1089> Some company asked me to design & implement XYZ system for last round as a whole day task and they told they will show this to an investor at the end of the day. I'm thinking they are just trying to get free consulting.
2020-10-22 06:07:10 +0200rekahsoft(~rekahsoft@fitz10681.telemetry.esentire.com) (Ping timeout: 256 seconds)
2020-10-22 06:08:41 +0200bartemius(~bartemius@109.252.20.20)
2020-10-22 06:10:06 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-22 06:10:08 +0200monsterchrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2020-10-22 06:12:18 +0200 <ADG1089> any comments?
2020-10-22 06:12:35 +0200ADG1089(~adg1089@122.163.245.127) ()
2020-10-22 06:12:58 +0200monsterchrom(trebla@216.138.220.146)
2020-10-22 06:13:35 +0200 <Squarism> Tell them you hourly fee
2020-10-22 06:14:21 +0200solonarv(~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) (Ping timeout: 265 seconds)
2020-10-22 06:14:41 +0200Merfont(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-22 06:15:07 +0200Merfont(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-22 06:19:29 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 06:21:02 +0200yumh(~yumh@mail.xglobe.in)
2020-10-22 06:21:49 +0200nyaomi(~naomi@cpe-74-75-6-125.maine.res.rr.com)
2020-10-22 06:21:59 +0200visage_(~visage_@unaffiliated/visage/x-6658724) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-22 06:23:49 +0200emmanuel_erc(~user@2604:2000:1382:ce03:94e9:f71a:61cb:48a4) (Read error: Connection reset by peer)
2020-10-22 06:23:49 +0200darjeeli1(~darjeelin@122.245.123.118) (Ping timeout: 256 seconds)
2020-10-22 06:23:58 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-10-22 06:24:00 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 06:24:17 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 06:24:56 +0200darjeeli1(~darjeelin@122.245.123.118)
2020-10-22 06:28:40 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 272 seconds)
2020-10-22 06:29:01 +0200drbean(~drbean@TC210-63-209-12.static.apol.com.tw) (Ping timeout: 264 seconds)
2020-10-22 06:29:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-22 06:29:55 +0200Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-22 06:30:13 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 264 seconds)
2020-10-22 06:31:43 +0200mmohammadi981266(~mmohammad@5.238.182.173)
2020-10-22 06:34:53 +0200Sarma(~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-10-22 06:40:09 +0200texasmyn_(~texasmyns@217.138.198.228) (Remote host closed the connection)
2020-10-22 06:40:54 +0200texasmynsted(~texasmyns@217.138.198.228)
2020-10-22 06:41:46 +0200mmohammadi9812(~mmohammad@5.238.182.173)
2020-10-22 06:41:58 +0200day_(~Unknown@unaffiliated/day)
2020-10-22 06:45:13 +0200day(~Unknown@unaffiliated/day) (Ping timeout: 264 seconds)
2020-10-22 06:45:13 +0200day_day
2020-10-22 06:45:39 +0200texasmynsted(~texasmyns@217.138.198.228) (Ping timeout: 260 seconds)
2020-10-22 06:45:39 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 06:45:52 +0200stefan-__(~cri@42dots.de)
2020-10-22 06:47:35 +0200mmohammadi9812(~mmohammad@5.238.182.173) (Quit: Quit)
2020-10-22 06:47:51 +0200avoandmayo(~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 06:48:01 +0200mmohammadi9812(~mmohammad@5.238.182.173)
2020-10-22 06:48:28 +0200mmohammadi981266(~mmohammad@5.238.182.173) (Quit: I quit (╯°□°)╯︵ ┻━┻)
2020-10-22 06:52:19 +0200howdoi(uid224@gateway/web/irccloud.com/x-qkgpowqaqjtdktyy) (Quit: Connection closed for inactivity)
2020-10-22 06:53:33 +0200dolio(~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.1 - https://znc.in)
2020-10-22 06:54:49 +0200mmohammadi9812(~mmohammad@5.238.182.173) (Ping timeout: 264 seconds)
2020-10-22 06:56:16 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 06:59:19 +0200avoandmayo(~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-22 06:59:33 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 07:01:02 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 07:02:55 +0200dorkside(~tdbgamer@208.190.197.222) (Ping timeout: 260 seconds)
2020-10-22 07:03:27 +0200mmohammadi9812(~mmohammad@188.210.111.222)
2020-10-22 07:04:27 +0200dolio(~dolio@haskell/developer/dolio)
2020-10-22 07:04:30 +0200avoandmayo(~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 07:06:34 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds)
2020-10-22 07:09:43 +0200Raito_Bezarius(~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 272 seconds)
2020-10-22 07:10:08 +0200mmohammadi9812(~mmohammad@188.210.111.222) (Ping timeout: 256 seconds)
2020-10-22 07:17:55 +0200dorkside(~tdbgamer@208.190.197.222)
2020-10-22 07:19:31 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-22 07:23:26 +0200bitmagie(~Thunderbi@200116b806fef70051e6f8902f3ffd9c.dip.versatel-1u1.de)
2020-10-22 07:29:37 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-22 07:30:54 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-10-22 07:34:20 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 07:34:42 +0200stefan-__(~cri@42dots.de)
2020-10-22 07:35:01 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-22 07:39:46 +0200shatriff(~vitaliish@176.52.219.10)
2020-10-22 07:39:49 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-22 07:40:12 +0200dorkside(~tdbgamer@208.190.197.222) (Ping timeout: 258 seconds)
2020-10-22 07:41:04 +0200danso(~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9)
2020-10-22 07:42:22 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2020-10-22 07:44:28 +0200lep-deleteGuest88073
2020-10-22 07:46:12 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 07:46:30 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-22 07:48:15 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-22 07:50:28 +0200eedgit(~eedgit@95.179.237.21)
2020-10-22 07:51:10 +0200asheshambasta(~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be)
2020-10-22 07:53:56 +0200nineonine(~textual@216-19-190-182.dyn.novuscom.net)
2020-10-22 07:55:27 +0200mterwoord(~mterwoord@195.140.213.38) (Remote host closed the connection)
2020-10-22 07:58:09 +0200shatriff(~vitaliish@176.52.219.10)
2020-10-22 07:59:39 +0200mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-22 07:59:45 +0200nineonine(~textual@216-19-190-182.dyn.novuscom.net) (Ping timeout: 258 seconds)
2020-10-22 08:01:08 +0200jespada(~jespada@90.254.243.98) (Ping timeout: 272 seconds)
2020-10-22 08:01:27 +0200simplegauss(~simplegau@2001:19f0:ac01:247:5400:ff:fe5c:689f) (Quit: Bye)
2020-10-22 08:01:27 +0200sveit(~sveit@2001:19f0:ac01:247:5400:ff:fe5c:689f) (Quit: Bye)
2020-10-22 08:01:49 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 08:02:35 +0200notnatebtw(~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-22 08:02:45 +0200Xnuk(~xnuk@vultr.xnu.kr) (Remote host closed the connection)
2020-10-22 08:02:50 +0200nlhowell(~nlhowell@don28-11.ln.rinet.ru) (Ping timeout: 256 seconds)
2020-10-22 08:02:57 +0200ndbtpo^(ndbtpo@ip98-184-89-2.mc.at.cox.net) ()
2020-10-22 08:03:00 +0200notnatebtw(~nate@110.138.18.157)
2020-10-22 08:03:02 +0200erolm_a(~erolm_a@82.24.185.133) (Ping timeout: 272 seconds)
2020-10-22 08:03:02 +0200Xnuk(~xnuk@45.76.202.58)
2020-10-22 08:03:04 +0200TooDifficult(~TooDiffic@139.59.59.230)
2020-10-22 08:03:36 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 08:04:01 +0200tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net)
2020-10-22 08:04:12 +0200jespada(~jespada@90.254.243.98)
2020-10-22 08:04:53 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2020-10-22 08:06:20 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 244 seconds)
2020-10-22 08:07:31 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-22 08:07:40 +0200sveit(~sveit@45.77.0.246)
2020-10-22 08:07:55 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 08:08:11 +0200simplegauss(~simplegau@2001:19f0:ac01:247:5400:ff:fe5c:689f)
2020-10-22 08:08:31 +0200nlhowell(~nlhowell@don28-11.ln.rinet.ru)
2020-10-22 08:08:43 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-22 08:09:39 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds)
2020-10-22 08:12:05 +0200falafel(~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 240 seconds)
2020-10-22 08:12:45 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 08:13:13 +0200babygnu(~robert@gateway/tor-sasl/babygnu)
2020-10-22 08:13:49 +0200babygnu(~robert@gateway/tor-sasl/babygnu) (Remote host closed the connection)
2020-10-22 08:14:27 +0200notnatebtw(~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-22 08:14:49 +0200notnatebtw(~nate@110.138.18.157)
2020-10-22 08:15:08 +0200TooDifficult(~TooDiffic@139.59.59.230) (Quit: TooDifficult)
2020-10-22 08:15:19 +0200jsynacek(~jsynacek@ip-185-149-130-112.kmenet.cz)
2020-10-22 08:16:07 +0200chele(~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-10-22 08:17:00 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-22 08:19:47 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-22 08:21:39 +0200 <hyiltiz> What would be a typical hourly fee as a factor of the local minimum wage?
2020-10-22 08:21:48 +0200DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-10-22 08:21:53 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 08:26:59 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 08:29:42 +0200coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-22 08:30:52 +0200alexelcu(~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-22 08:31:11 +0200alexelcu(~alexelcu@142.93.180.198)
2020-10-22 08:31:18 +0200Varis(~Tadas@unaffiliated/varis)
2020-10-22 08:31:35 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-22 08:32:44 +0200bergsans(~bergsans@c80-217-8-29.bredband.comhem.se)
2020-10-22 08:33:40 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 08:34:11 +0200seanvert(~user@177.84.244.242) (Remote host closed the connection)
2020-10-22 08:34:16 +0200notnatebtw(~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-22 08:34:52 +0200notnatebtw(~nate@110.138.18.157)
2020-10-22 08:34:59 +0200cfricke(~cfricke@unaffiliated/cfricke)
2020-10-22 08:35:33 +0200DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-10-22 08:36:33 +0200notnatebtw(~nate@110.138.18.157) (Client Quit)
2020-10-22 08:36:56 +0200notnatebtw(~nate@110.138.18.157)
2020-10-22 08:38:27 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 08:40:42 +0200 <pjb> hyiltiz: it depends on the country. Some country have a smaller difference between higher wages and lower wages, and some have no limit.
2020-10-22 08:40:45 +0200jedws(~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 08:41:06 +0200mbomba(~mbomba@142.114.9.241)
2020-10-22 08:42:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 08:44:16 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 08:44:17 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 08:44:17 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 08:44:52 +0200dorkside(~tdbgamer@208.190.197.222)
2020-10-22 08:45:13 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Ping timeout: 264 seconds)
2020-10-22 08:45:24 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 08:46:04 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-10-22 08:50:22 +0200DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 256 seconds)
2020-10-22 08:50:26 +0200Sanchayan(~Sanchayan@122.181.211.206)
2020-10-22 08:50:45 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-22 08:51:14 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-22 08:51:46 +0200DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-10-22 08:51:51 +0200kritzefitz(~kritzefit@fw-front.credativ.com)
2020-10-22 08:52:06 +0200redeemed(~rd@2a02:2f0b:b20a:d200:75cb:8151:518a:825f)
2020-10-22 08:53:49 +0200Suntop1(~Suntop@84.39.117.57)
2020-10-22 08:54:01 +0200dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-10-22 08:55:20 +0200Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 258 seconds)
2020-10-22 08:56:00 +0200Cthalupa(~cthulhu@47.186.47.75)
2020-10-22 08:56:06 +0200redeemed`(~rd@79.115.163.113)
2020-10-22 08:58:15 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-zkmqxnjkmjnikczm) (Quit: Connection closed for inactivity)
2020-10-22 08:59:34 +0200avoandmayo(~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-22 08:59:55 +0200redeemed(~rd@2a02:2f0b:b20a:d200:75cb:8151:518a:825f) (Ping timeout: 272 seconds)
2020-10-22 09:05:21 +0200cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-22 09:07:07 +0200cfricke(~cfricke@unaffiliated/cfricke)
2020-10-22 09:11:26 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 272 seconds)
2020-10-22 09:12:29 +0200jedws(~jedws@101.184.148.229)
2020-10-22 09:13:40 +0200Alexthek1d(~JJJ@p5b3ae7e8.dip0.t-ipconnect.de)
2020-10-22 09:13:44 +0200 <Alexthek1d> hello
2020-10-22 09:13:53 +0200 <Alexthek1d> does anyone know "duckling" ?
2020-10-22 09:14:53 +0200 <Alexthek1d> It is programmed in haskell and needs stack to install
2020-10-22 09:14:59 +0200 <Alexthek1d> but i am a haskell noob
2020-10-22 09:15:28 +0200 <Alexthek1d> can't you compile it with this tack thing, get a "exe" file and run it on another machine without stack?
2020-10-22 09:15:43 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-22 09:16:25 +0200Lord_of_Life(~Lord@46.217.219.190) (Changing host)
2020-10-22 09:16:25 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-10-22 09:16:49 +0200vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-22 09:16:51 +0200bgamari(~bgamari@72.65.103.227) (Ping timeout: 260 seconds)
2020-10-22 09:17:02 +0200bgamari(~bgamari@72.65.102.2)
2020-10-22 09:17:16 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 09:17:18 +0200 <Alexthek1d> i'd need a truly static binary that is entirely self-contained
2020-10-22 09:18:04 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-22 09:18:16 +0200amagi(716517df@113.101.23.223) (Remote host closed the connection)
2020-10-22 09:18:49 +0200berberman|T(berberma_4@gateway/shell/matrix.org/x-cgdaaoawojkzwzyx) ("User left")
2020-10-22 09:20:50 +0200 <pjb> Alexthek1d: AFAIK, it's not possible on linux or most modern unix platforms.
2020-10-22 09:21:10 +0200 <Alexthek1d> pjb, windows too?
2020-10-22 09:21:12 +0200 <pjb> Alexthek1d: you could generate that for embedded platforms.
2020-10-22 09:21:21 +0200 <pjb> I know nothing about Microsoft systems.
2020-10-22 09:21:26 +0200 <Alexthek1d> i have to run it on windows
2020-10-22 09:21:30 +0200 <Alexthek1d> okay :D
2020-10-22 09:22:11 +0200 <pjb> I'd still be surprised if executable on MS-Windows could be entirely independent from system DLLs…
2020-10-22 09:22:39 +0200Hand(~Highand@58.33.36.170)
2020-10-22 09:22:59 +0200 <Alexthek1d> ye me2
2020-10-22 09:23:15 +0200polyrain(~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 09:23:18 +0200alp(~alp@88.126.45.36)
2020-10-22 09:24:19 +0200 <yushyin> so did you try stack?
2020-10-22 09:25:13 +0200Hand(~Highand@58.33.36.170) (Client Quit)
2020-10-22 09:25:19 +0200karanlikmadde(~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9)
2020-10-22 09:25:50 +0200 <lortabac> I think you can have 100% static builds on Alpine, by using musl instead of glibc
2020-10-22 09:29:56 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-22 09:30:23 +0200hiroaki(~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2020-10-22 09:30:57 +0200acidjnk_new2(~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 09:33:22 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-10-22 09:33:52 +0200GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-22 09:34:02 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-22 09:34:02 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-22 09:34:02 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 09:34:19 +0200gxt(~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-10-22 09:35:01 +0200mbomba(~mbomba@142.114.9.241) (Quit: WeeChat 2.9)
2020-10-22 09:35:01 +0200gxt(~gxt@gateway/tor-sasl/gxt)
2020-10-22 09:35:56 +0200sveit(~sveit@45.77.0.246) (Quit: Bye)
2020-10-22 09:35:56 +0200simplegauss(~simplegau@2001:19f0:ac01:247:5400:ff:fe5c:689f) (Quit: Bye)
2020-10-22 09:37:22 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 09:37:25 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-22 09:42:03 +0200jedws(~jedws@101.184.148.229) (Remote host closed the connection)
2020-10-22 09:42:44 +0200jedws(~jedws@101.184.148.229)
2020-10-22 09:43:54 +0200bitmagie(~Thunderbi@200116b806fef70051e6f8902f3ffd9c.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-22 09:44:44 +0200jedws(~jedws@101.184.148.229) (Client Quit)
2020-10-22 09:47:24 +0200jedws(~jedws@101.184.148.229)
2020-10-22 09:47:36 +0200 <merijn> That information seems rather irrelevant in the context of Windows ;)
2020-10-22 09:47:54 +0200 <merijn> pjb: You have a strange definition of "most modern unix platforms"
2020-10-22 09:48:20 +0200 <merijn> pjb: linux is the only one that commonly ships with glibc and glibc is the one that breaks static linking everything
2020-10-22 09:48:25 +0200mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com) (Read error: Connection reset by peer)
2020-10-22 09:48:35 +0200oldsk00l_(~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) (Quit: ZNC - https://znc.in)
2020-10-22 09:48:38 +0200 <merijn> And even linux has exceptions (like Alpine) where they don't ship glibc
2020-10-22 09:48:50 +0200mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-22 09:48:50 +0200christo(~chris@81.96.113.213) (Read error: Connection reset by peer)
2020-10-22 09:48:56 +0200oldsk00l(~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com)
2020-10-22 09:49:04 +0200wowi42(~wowi42@51.15.249.183) (Quit: Kowa Bunga!!!)
2020-10-22 09:49:15 +0200terrorjack(~terrorjac@static.23.111.201.195.clients.your-server.de) (Quit: Ping timeout (120 seconds))
2020-10-22 09:49:18 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-22 09:49:24 +0200christo(~chris@81.96.113.213)
2020-10-22 09:49:27 +0200 <Alexthek1d> okay i can use stack now
2020-10-22 09:49:36 +0200 <Alexthek1d> running "stack build"
2020-10-22 09:49:45 +0200 <merijn> stack doesn't really address building static binaries, though
2020-10-22 09:49:48 +0200wowi42(~wowi42@51.15.249.183)
2020-10-22 09:49:56 +0200 <Alexthek1d> but it seems to need internet access
2020-10-22 09:49:59 +0200devalot(~ident@mail.pmade.com) (Ping timeout: 260 seconds)
2020-10-22 09:50:05 +0200 <Alexthek1d> and i have to use a proxy for that
2020-10-22 09:50:13 +0200terrorjack(~terrorjac@static.23.111.201.195.clients.your-server.de)
2020-10-22 09:50:25 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 09:50:30 +0200 <Alexthek1d> can u run something like "stack build --proxy=112.123.13.13" ? ^^
2020-10-22 09:50:55 +0200Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 260 seconds)
2020-10-22 09:51:51 +0200saurik(saurik@carrier.saurik.com) (Ping timeout: 260 seconds)
2020-10-22 09:51:56 +0200rembo10(~rembo10@wally.codeshy.com) (Remote host closed the connection)
2020-10-22 09:51:57 +0200devalot(~ident@mail.pmade.com)
2020-10-22 09:51:57 +0200nerdypepper(nerdypeppe@152.67.160.69) (Quit: bye)
2020-10-22 09:52:13 +0200rembo10(~rembo10@wally.codeshy.com)
2020-10-22 09:52:19 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-22 09:52:35 +0200Cthalupa(~cthulhu@47.186.47.75)
2020-10-22 09:52:36 +0200Sanchayan(~Sanchayan@122.181.211.206) (Quit: leaving)
2020-10-22 09:52:39 +0200borne(~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3)
2020-10-22 09:52:44 +0200saurik(saurik@carrier.saurik.com)
2020-10-22 09:52:47 +0200is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 260 seconds)
2020-10-22 09:52:56 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2020-10-22 09:53:11 +0200nerdypepper(nerdypeppe@152.67.160.69)
2020-10-22 09:53:15 +0200phaul(~phaul@ruby/staff/phaul) (Ping timeout: 260 seconds)
2020-10-22 09:53:38 +0200chaosmasttter(~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de)
2020-10-22 09:53:43 +0200is_null(~jpic@pdpc/supporter/professional/is-null)
2020-10-22 09:54:15 +0200phaul(~phaul@ruby/staff/phaul)
2020-10-22 09:57:53 +0200borne(~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3) (Quit: WeeChat 2.9)
2020-10-22 09:58:00 +0200borne(~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3)
2020-10-22 09:59:17 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 09:59:18 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 09:59:18 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-22 09:59:45 +0200shafox(~shafox@106.51.234.111) (Ping timeout: 240 seconds)
2020-10-22 10:00:43 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-22 10:03:18 +0200jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-22 10:04:15 +0200karanlikmadde(~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) (Quit: karanlikmadde)
2020-10-22 10:06:40 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-22 10:12:26 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 10:12:36 +0200Franciman(~francesco@host-82-54-10-114.retail.telecomitalia.it)
2020-10-22 10:14:43 +0200wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-10-22 10:16:36 +0200bgamari(~bgamari@72.65.102.2) (Ping timeout: 258 seconds)
2020-10-22 10:17:02 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 10:18:20 +0200bgamari(~bgamari@72.65.102.29)
2020-10-22 10:21:00 +0200hnOsmium0001(uid453710@gateway/web/irccloud.com/x-widejiobrxcglhbz) (Quit: Connection closed for inactivity)
2020-10-22 10:24:25 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-10-22 10:26:10 +0200bgamari(~bgamari@72.65.102.29) (Ping timeout: 272 seconds)
2020-10-22 10:28:23 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds)
2020-10-22 10:29:03 +0200bgamari(~bgamari@72.65.104.154)
2020-10-22 10:29:33 +0200 <Alexthek1d> seems like stack needs internet acccess
2020-10-22 10:29:43 +0200 <Alexthek1d> Exception while reading snapshot from https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/13/7.yaml:
2020-10-22 10:34:27 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2020-10-22 10:34:31 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 10:35:05 +0200cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds)
2020-10-22 10:37:27 +0200fendor_(~fendor@194-96-53-70.hdsl.highway.telekom.at)
2020-10-22 10:38:45 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-22 10:39:11 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 10:40:28 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-10-22 10:42:38 +0200datajerk(~datajerk@sense.net) (Ping timeout: 272 seconds)
2020-10-22 10:47:47 +0200 <Alexthek1d> i try so set the proxy like this in windows: " set HTTPS_PROXY=http://myproxy:9090 "
2020-10-22 10:47:58 +0200 <Alexthek1d> but it still doesn't work
2020-10-22 10:49:11 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 10:49:17 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-10-22 10:50:13 +0200jedws(~jedws@101.184.148.229) (Ping timeout: 246 seconds)
2020-10-22 10:50:31 +0200datajerk(~datajerk@sense.net)
2020-10-22 10:51:19 +0200Raito_Bezarius(~Raito_Bez@unaffiliated/raito-bezarius/x-8764578)
2020-10-22 10:53:40 +0200jedws(~jedws@101.184.148.229)
2020-10-22 10:53:55 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-22 10:55:27 +0200cyphase(~cyphase@unaffiliated/cyphase)
2020-10-22 10:58:20 +0200 <dminuoso> Mmm, why don't we have 1-tuples?
2020-10-22 10:58:29 +0200 <dminuoso> That seems like an oversight. :(
2020-10-22 10:59:01 +0200 <dminuoso> (I guess the answer is just the grammar wouldnt allow for it)
2020-10-22 10:59:47 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 11:00:01 +0200Suntop1(~Suntop@84.39.117.57) ()
2020-10-22 11:00:07 +0200mozzarel1(~sam@unaffiliated/sam113101)
2020-10-22 11:01:22 +0200gmind[m](gmindmatri@gateway/shell/matrix.org/x-ytyzdnndqsmeegde) ("Kicked by @appservice-irc:matrix.org : Idle for 30+ days")
2020-10-22 11:01:51 +0200mozzarella(~sam@unaffiliated/sam113101) (Ping timeout: 260 seconds)
2020-10-22 11:01:53 +0200mozzarel1mozzarella
2020-10-22 11:04:11 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-22 11:04:43 +0200 <hc> dminuoso: what about (1,)? that could reasonably be parsed into a 1-tuple?
2020-10-22 11:05:25 +0200 <merijn> hc: Disagree, that's an operator section of (,) :p
2020-10-22 11:05:57 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 11:06:07 +0200 <yushyin> yeah, TupleSections claims that syntax
2020-10-22 11:06:42 +0200 <hc> hmm, true
2020-10-22 11:07:38 +0200cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-22 11:08:00 +0200 <dminuoso> hc: The only reasonable solution appears to have been to use say {} for tuples instead.
2020-10-22 11:08:20 +0200 <merijn> dminuoso: There's a unary tuple somewhere in GHC or ghc-prim or something
2020-10-22 11:08:28 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-10-22 11:09:14 +0200 <dminuoso> Though that would conflict with record syntax, unless spaces for record syntax were disallowed, or it would need more lookahead
2020-10-22 11:09:18 +0200 <dminuoso> merijn: Mmm.
2020-10-22 11:10:08 +0200 <dminuoso> hc: Also, `(1,)` would have felt very adhoc, not in line with () (1,2), (1,2,3)
2020-10-22 11:10:42 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 11:11:55 +0200lindaTheUltimate(3dded63f@61-222-214-63.HINET-IP.hinet.net)
2020-10-22 11:12:04 +0200 <hc> dminuoso: newEmptyTuple function? ;p
2020-10-22 11:12:49 +0200 <hc> or, use «»
2020-10-22 11:13:58 +0200 <dminuoso> At that point, why not adapt arbitrary mixfix operators from Agda as well, and ensure you cant write programs without emacs anymore. :P
2020-10-22 11:14:22 +0200 <dminuoso> (These two remarks are not related to one another)
2020-10-22 11:14:30 +0200 <hc> oh, you can actually write haskell programs without emacs?
2020-10-22 11:14:34 +0200hclooks surprised
2020-10-22 11:14:44 +0200erolm_a(~erolm_a@82.24.185.133)
2020-10-22 11:14:58 +0200 <dminuoso> Out of curiosity, do you use haskell-language-server, hc?
2020-10-22 11:15:10 +0200thc202(~thc202@unaffiliated/thc202)
2020-10-22 11:15:13 +0200 <hc> yes I do, together with neovim
2020-10-22 11:15:27 +0200 <hc> I occasionally use emacs for haskell as well, but haven't properly set it up
2020-10-22 11:15:43 +0200 <dminuoso> Ah. With evil mode presumably?
2020-10-22 11:15:47 +0200 <hc> jup
2020-10-22 11:15:57 +0200 <dminuoso> If it wasn't for evil mode, I would still be a vim user :>
2020-10-22 11:16:17 +0200ubert(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2020-10-22 11:16:23 +0200 <dminuoso> Dunno, I keep hearing so much good things about hie, but I fear for my lightweight and fast emacs setup
2020-10-22 11:17:06 +0200 <hc> I haven't found a perfect haskell editor yet, tbh. intellij has some nice features I miss in the others...
2020-10-22 11:18:04 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-22 11:18:10 +0200 <merijn> dminuoso: ghcide is crazy fast, compared to what I used before (like hdevtools years ago)
2020-10-22 11:18:34 +0200 <merijn> dminuoso: ghcide usually finishes type-checking in the same time as it takes vim to leave insert mode >.>
2020-10-22 11:18:59 +0200 <dminuoso> merijn: Its not that Im worried about.
2020-10-22 11:19:09 +0200 <dminuoso> lsp-mode looks freaking heavy
2020-10-22 11:19:13 +0200 <hc> merijn: can take vim up to two seconds to leave insert mode, depending on your terminal emulator ;)
2020-10-22 11:19:19 +0200 <merijn> dminuoso: in emacs?
2020-10-22 11:19:41 +0200 <dminuoso> Triggered, it seems!
2020-10-22 11:19:46 +0200 <dminuoso> Ye.s
2020-10-22 11:19:57 +0200 <merijn> that seems like an emacs problem, not an hls problem :p
2020-10-22 11:22:13 +0200 <dminuoso> Ah. Perhaps I can use eglot instead, that seems much more lightweight
2020-10-22 11:22:13 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 11:22:14 +0200bgamari(~bgamari@72.65.104.154) (Ping timeout: 265 seconds)
2020-10-22 11:22:35 +0200stefan-__(~cri@42dots.de)
2020-10-22 11:24:15 +0200 <Alexthek1d> guys i still get "Exception while reading snapshot from https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/9/10.yaml:
2020-10-22 11:24:15 +0200 <Alexthek1d> HttpExceptionRequest Request {"
2020-10-22 11:24:21 +0200 <Alexthek1d> proxy doesn't work
2020-10-22 11:24:25 +0200 <Alexthek1d> i dunno why
2020-10-22 11:24:41 +0200 <Alexthek1d> why does it need online sources even?
2020-10-22 11:24:58 +0200 <Alexthek1d> can't i have an offline version of stack haskell?
2020-10-22 11:25:00 +0200bgamari(~bgamari@72.65.104.77)
2020-10-22 11:25:20 +0200cfricke(~cfricke@unaffiliated/cfricke)
2020-10-22 11:25:54 +0200__monty__(~toonn@unaffiliated/toonn)
2020-10-22 11:27:53 +0200 <dminuoso> Alexthek1d: If you want to be all offline, stack is a bad fit I think.
2020-10-22 11:28:02 +0200 <dminuoso> It'll be easier with cabal and possibly skete
2020-10-22 11:28:59 +0200Perry79(6ee39f85@110.227.159.133)
2020-10-22 11:29:30 +0200 <Alexthek1d> a
2020-10-22 11:29:39 +0200 <Alexthek1d> okay:D
2020-10-22 11:29:51 +0200polyrain(~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a)
2020-10-22 11:30:07 +0200 <dminuoso> Alexthek1d: What exactly are your requirements here? Wrt to being offline I mean.
2020-10-22 11:30:56 +0200 <Alexthek1d> i just need to get this running on the windows server of my company: https://github.com/facebook/duckling
2020-10-22 11:30:59 +0200 <Alexthek1d> dminuoso,
2020-10-22 11:31:35 +0200 <__monty__> Hmm, can't really find anything about skete. One blogpost and one youtube presentation.
2020-10-22 11:31:47 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 11:32:10 +0200stefan-__(~cri@42dots.de)
2020-10-22 11:32:20 +0200 <dminuoso> __monty__: https://code.xkrd.net/skete/skete-haskell/-/tree/master
2020-10-22 11:32:27 +0200hackagesplitmix 0.1.0.3 - Fast Splittable PRNG https://hackage.haskell.org/package/splitmix-0.1.0.3 (phadej)
2020-10-22 11:32:48 +0200 <__monty__> dminuoso: Thanks. Guess DDG was failing me.
2020-10-22 11:32:59 +0200 <Alexthek1d> i'll try cabal then
2020-10-22 11:33:02 +0200 <merijn> __monty__: I mean, you can just download all of Hackage and point cabal at that
2020-10-22 11:33:11 +0200 <dminuoso> Alexthek1d: Well, you will need internet access either way
2020-10-22 11:33:18 +0200 <Alexthek1d> dminuoso, why?
2020-10-22 11:33:28 +0200 <dminuoso> Alexthek1d: Because our package registries live on the internet.
2020-10-22 11:33:36 +0200 <Alexthek1d> oh
2020-10-22 11:33:37 +0200 <dminuoso> You have to get the dependencies from *somewhere*
2020-10-22 11:34:14 +0200 <Perry79> Is it possible to create modular classes (congruence classes) with just a single traversal of list? in python I can do something like "for n in arr: dict[n%k] += [n]". My current Haskell solution involves k traversals of list
2020-10-22 11:34:18 +0200 <dminuoso> What I said about `cabal + skete` is for the use case of `Im gonna live on a boat without internet for 6 months and want to develop on haskell packages`
2020-10-22 11:34:27 +0200 <dminuoso> (Which is exactly how skete was born)
2020-10-22 11:34:57 +0200cristi(~cristi@82.76.158.82)
2020-10-22 11:35:07 +0200 <Alexthek1d> dminuoso, Hm okay, thanks for the info! I can't believe that i cannot run this program on an offline server :/
2020-10-22 11:35:16 +0200 <dminuoso> Alexthek1d: Ohh I see what you mean
2020-10-22 11:35:18 +0200 <dminuoso> sorry I misunderstood
2020-10-22 11:35:21 +0200 <dminuoso> Alexthek1d: No you can!
2020-10-22 11:35:33 +0200 <Alexthek1d> :D
2020-10-22 11:35:35 +0200 <dminuoso> Alexthek1d: You first build it with stack or cabal, and then extract the build artifact
2020-10-22 11:35:46 +0200 <dminuoso> But the build process needs internet to grab dependencies
2020-10-22 11:35:48 +0200acidjnk_new2(~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de)
2020-10-22 11:35:53 +0200 <dminuoso> (Or at least access to package registries)
2020-10-22 11:36:25 +0200 <Alexthek1d> yes, stack fails because of this
2020-10-22 11:36:26 +0200 <Alexthek1d> "Exception while reading snapshot from https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/9/10.yaml:
2020-10-22 11:36:44 +0200 <dminuoso> Alexthek1d: So what you'd do, is build it on a machine that has internet access
2020-10-22 11:36:53 +0200 <dminuoso> Extract the resulting binary, and then put that onto your server without internet.
2020-10-22 11:37:50 +0200 <Alexthek1d> Hm it is a machine with windows server 2019 . I have windows 10 only
2020-10-22 11:38:32 +0200 <__monty__> merijn: Just wanted to see what skete has to offer in addition.
2020-10-22 11:38:53 +0200 <dminuoso> __monty__: ask davean
2020-10-22 11:38:58 +0200 <dminuoso> They can explain it far better.
2020-10-22 11:39:12 +0200chaosmasttter(~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-22 11:39:20 +0200 <dminuoso> Alexthek1d: It shouldn't be an issue I think.
2020-10-22 11:39:32 +0200 <dminuoso> Alexthek1d: Both run PE executables.
2020-10-22 11:39:32 +0200 <Alexthek1d> dminuoso, ok thank you
2020-10-22 11:39:34 +0200 <dminuoso> You could try it at least.
2020-10-22 11:39:45 +0200 <dminuoso> If it doesn't work, you could ask again.
2020-10-22 11:39:49 +0200 <Alexthek1d> thanks
2020-10-22 11:39:58 +0200 <dminuoso> (My windows experience is rather limited with Haskell)
2020-10-22 11:41:08 +0200shatriff(~vitaliish@176.52.219.10)
2020-10-22 11:41:36 +0200 <dminuoso> __monty__: One of the main issues with hackage, is that its a hideous blob of software. Try running a local hackage mirror, the sheer time and space requirements are crazy!
2020-10-22 11:42:01 +0200 <Rembane> dminuoso: How crazy are the space requirements?
2020-10-22 11:44:17 +0200 <dminuoso> Rembane: Some 2-3 digits of GiB I think. And pulling a mirror takes ages.
2020-10-22 11:44:26 +0200 <dminuoso> With skete you can get that in under 1GiB
2020-10-22 11:44:26 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 11:44:43 +0200stefan-__(~cri@42dots.de)
2020-10-22 11:45:43 +0200 <dminuoso> When we tried to set up a hackage mirror, I was frustrated after some two weeks.
2020-10-22 11:46:32 +0200jedws(~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 11:48:03 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-10-22 11:48:33 +0200cristi(~cristi@82.76.158.82) (Quit: cristi)
2020-10-22 11:48:39 +0200 <merijn> dminuoso: You can point cabal at just directories of tarballs, iirc?
2020-10-22 11:50:36 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 11:52:11 +0200lindaTheUltimate(3dded63f@61-222-214-63.HINET-IP.hinet.net) (Remote host closed the connection)
2020-10-22 11:52:43 +0200sveit(~sveit@2001:19f0:ac01:247:5400:ff:fe5c:689f)
2020-10-22 11:53:14 +0200simplegauss(~simplegau@45.77.0.246)
2020-10-22 11:53:49 +0200 <Rembane> dminuoso: That's quite a lot. I wonder if it would be benificial for the Haskell ecosystem to have more Hackage mirrors and thus make it easier to setup new mirrors.
2020-10-22 11:53:56 +0200tsdgeos(~tsdgeos@195.206.169.184)
2020-10-22 11:55:19 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 256 seconds)
2020-10-22 12:01:06 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2020-10-22 12:01:19 +0200Rudd0(~Rudd0@185.189.115.103)
2020-10-22 12:02:09 +0200christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-22 12:03:17 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-22 12:04:59 +0200 <Alexthek1d> dminuoso, so stack failed :D :/
2020-10-22 12:05:11 +0200 <Alexthek1d> i can't find cabal for windows tho
2020-10-22 12:08:20 +0200klixto(~klixto@49.188.65.219)
2020-10-22 12:08:28 +0200bgamari(~bgamari@72.65.104.77) (Ping timeout: 260 seconds)
2020-10-22 12:09:05 +0200MVQq(~anja@198.254.202.72)
2020-10-22 12:09:06 +0200bgamari(~bgamari@72.65.102.81)
2020-10-22 12:09:15 +0200christo(~chris@81.96.113.213)
2020-10-22 12:09:19 +0200MarcelineVQ(~anja@198.254.202.72) (Ping timeout: 246 seconds)
2020-10-22 12:12:58 +0200karanlikmadde(~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9)
2020-10-22 12:13:54 +0200christo(~chris@81.96.113.213) (Ping timeout: 258 seconds)
2020-10-22 12:15:51 +0200mapperr(~mapperr@vmi389916.contaboserver.net) (Remote host closed the connection)
2020-10-22 12:16:48 +0200mapperr(~mapperr@vmi389916.contaboserver.net)
2020-10-22 12:17:01 +0200rprije(~rprije@110-175-117-18.tpgi.com.au) (Ping timeout: 264 seconds)
2020-10-22 12:17:39 +0200kuribas(~user@ptr-25vy0i7rxaeig7h3jwv.18120a2.ip6.access.telenet.be)
2020-10-22 12:20:31 +0200tsdgeos(~tsdgeos@195.206.169.184) (Ping timeout: 246 seconds)
2020-10-22 12:24:49 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 12:25:50 +0200 <dminuoso> Alexthek1d: https://www.haskell.org/cabal/download.html
2020-10-22 12:25:57 +0200 <dminuoso> There's windows binaries there
2020-10-22 12:26:08 +0200 <Alexthek1d> ye found it already
2020-10-22 12:26:09 +0200 <Alexthek1d> thanks
2020-10-22 12:26:12 +0200Kolkrabe(~user@unaffiliated/siracusa) (Quit: Bye!)
2020-10-22 12:26:24 +0200 <dminuoso> Alexthek1d: by the way, how did the build fail exactly?
2020-10-22 12:26:38 +0200 <Alexthek1d> same error https://github.com/facebook/duckling/issues/510
2020-10-22 12:27:01 +0200 <Alexthek1d> trying the fix by bmoore117 now
2020-10-22 12:28:04 +0200Perry79(6ee39f85@110.227.159.133) (Remote host closed the connection)
2020-10-22 12:29:40 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-22 12:32:56 +0200forgottenone(~forgotten@176.88.100.210)
2020-10-22 12:33:08 +0200eyenx(~eyenxeyen@unaffiliated/eye/x-1653358) (Quit: killed)
2020-10-22 12:34:08 +0200eyenx(~eyenxeyen@unaffiliated/eye/x-1653358)
2020-10-22 12:35:05 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 12:39:57 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 12:41:07 +0200ericsagnes(~ericsagne@2405:6580:0:5100:edb7:2e5e:75c7:865c) (Ping timeout: 260 seconds)
2020-10-22 12:42:55 +0200 <Alexthek1d> dminuoso, error is fixed . now i get a second one after 56/66
2020-10-22 12:43:05 +0200 <Alexthek1d> oh no
2020-10-22 12:43:15 +0200 <Alexthek1d> second run and it seems to work now
2020-10-22 12:43:16 +0200 <Alexthek1d> lol
2020-10-22 12:43:31 +0200klixto(~klixto@49.188.65.219) (Quit: WeeChat 2.9)
2020-10-22 12:45:08 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 12:45:59 +0200 <dminuoso> Mmm, does lens come with an iso `itself :: Iso' a a` ?
2020-10-22 12:46:03 +0200 <dminuoso> where itself = iso id id
2020-10-22 12:46:39 +0200 <dminuoso> Oh. I guess I can just use `id`
2020-10-22 12:46:41 +0200 <dminuoso> haha
2020-10-22 12:48:42 +0200eyenx(~eyenxeyen@unaffiliated/eye/x-1653358) (Quit: killed)
2020-10-22 12:49:43 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-10-22 12:50:29 +0200eyenx(~eyenxeyen@unaffiliated/eye/x-1653358)
2020-10-22 12:51:19 +0200Chi1thangoo(~Chi1thang@87.112.60.168)
2020-10-22 12:53:06 +0200ericsagnes(~ericsagne@2405:6580:0:5100:e4cc:251e:e67d:9b13)
2020-10-22 12:54:36 +0200Guest88073lep-delete
2020-10-22 12:55:05 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 12:55:23 +0200stefan-__(~cri@42dots.de)
2020-10-22 12:57:27 +0200cfricke(~cfricke@unaffiliated/cfricke) (Read error: Connection reset by peer)
2020-10-22 12:58:33 +0200cfricke(~cfricke@unaffiliated/cfricke)
2020-10-22 12:59:36 +0200 <Alexthek1d> i have the exe now
2020-10-22 13:00:02 +0200 <Alexthek1d> can't run it tho. Neither stack nor cabal works
2020-10-22 13:01:44 +0200kiwi_35(66b6dd1d@gateway/web/cgi-irc/kiwiirc.com/ip.102.182.221.29)
2020-10-22 13:02:12 +0200voet(~voet@84.39.117.57)
2020-10-22 13:03:52 +0200kiwi_35(66b6dd1d@gateway/web/cgi-irc/kiwiirc.com/ip.102.182.221.29) (Client Quit)
2020-10-22 13:04:48 +0200son0p(~son0p@181.58.39.86)
2020-10-22 13:06:25 +0200m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-22 13:06:42 +0200 <lortabac> Alexthek1d: you don't need stack (nor cabal) to run the executable
2020-10-22 13:06:46 +0200cfricke(~cfricke@unaffiliated/cfricke) (Read error: Connection reset by peer)
2020-10-22 13:06:48 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 13:06:50 +0200 <lortabac> you just have to execute it
2020-10-22 13:06:50 +0200machinedgod(~machinedg@24.105.81.50)
2020-10-22 13:08:39 +0200 <Alexthek1d> lortabac, when i try this i get:
2020-10-22 13:08:40 +0200 <Alexthek1d> "Exception while reading snapshot from https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/9/10.yaml:
2020-10-22 13:08:45 +0200 <Alexthek1d> oh no
2020-10-22 13:08:47 +0200 <Alexthek1d> wrong
2020-10-22 13:09:01 +0200 <Alexthek1d> duckling-example-exe.exe: /usr/share/zoneinfo/: getDirectoryContents:findFirstFile: does not exist (The system cannot find the path specified.)
2020-10-22 13:09:01 +0200 <Alexthek1d> this
2020-10-22 13:09:50 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 13:09:55 +0200 <ridcully> are you on windows? i doubt windows has those files
2020-10-22 13:11:59 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds)
2020-10-22 13:12:31 +0200 <lortabac> Alexthek1d: maybe the example requires some files to be present
2020-10-22 13:12:40 +0200 <lortabac> did you try running the ducking executable?
2020-10-22 13:12:45 +0200 <lortabac> *duckling
2020-10-22 13:13:01 +0200 <kuribas> hi, does something like this exists? Let's say a datastructure a :-> b, which means b depends on a. So I have a function initialize :: MyData -> (MyData :-> DependendData).
2020-10-22 13:13:23 +0200 <kuribas> Then they idea is to be able to incrementally update a, and b gets updated automatically.
2020-10-22 13:13:26 +0200 <Alexthek1d> i compiled on my windows 10 and try to run it on windows server
2020-10-22 13:13:31 +0200 <kuribas> but without recomputing all of b.
2020-10-22 13:13:33 +0200 <Alexthek1d> lortabac, yes
2020-10-22 13:13:43 +0200brisbin(~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 246 seconds)
2020-10-22 13:13:51 +0200 <ridcully> the example directly tries to load this directory
2020-10-22 13:14:04 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-10-22 13:14:06 +0200 <ridcully> (or rather the timezone data therein)
2020-10-22 13:14:21 +0200 <kuribas> for example for a word processor ui, I have Document :-> Intermediate :-> GraphicElements
2020-10-22 13:14:29 +0200 <lortabac> Alexthek1d: and?
2020-10-22 13:14:46 +0200 <lortabac> did it work?
2020-10-22 13:15:15 +0200 <Alexthek1d> lortabac, it gives me the error above
2020-10-22 13:15:41 +0200 <lortabac> I'm not familiar with this package, but the error is about duckling-example-exe
2020-10-22 13:16:00 +0200 <lortabac> I was asking if you have tried running duckling-exe (or whatever it is called)
2020-10-22 13:16:41 +0200 <kuribas> Then I can specify the UI as a single transformation on the source document, but still have good performance.
2020-10-22 13:17:11 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-22 13:18:56 +0200 <Alexthek1d> lortabac, there is duckling-example-exe.exe only
2020-10-22 13:19:05 +0200 <lortabac> oh
2020-10-22 13:19:37 +0200 <lortabac> then I guess it has never been tested on Windows
2020-10-22 13:21:38 +0200 <lortabac> given the name of the executable, I suppose duckling is meant to be used as a library
2020-10-22 13:21:59 +0200 <lortabac> you can take inspiration from the example and build your own executable
2020-10-22 13:22:49 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-22 13:23:22 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-22 13:27:21 +0200 <typetetris> https://www.irccloud.com/pastebin/cL3DJSYB/
2020-10-22 13:27:43 +0200Stanley00(~stanley00@unaffiliated/stanley00) ()
2020-10-22 13:27:55 +0200 <typetetris> Is that a bad idea for prod builds?
2020-10-22 13:28:34 +0200Ariakenom(~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se)
2020-10-22 13:28:34 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 13:28:53 +0200stefan-__(~cri@42dots.de)
2020-10-22 13:30:15 +0200 <merijn> typetetris: O2 generally takes a lot longer to compile and may not have any impact on a significant umber of workloads
2020-10-22 13:31:01 +0200 <typetetris> So its up to experimentation of it is worthwhile.
2020-10-22 13:31:11 +0200 <typetetris> if not of
2020-10-22 13:31:59 +0200 <merijn> yeah
2020-10-22 13:32:20 +0200 <merijn> O1 you should always do, though
2020-10-22 13:32:39 +0200avoandmayo(~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 13:34:03 +0200 <dminuoso> typetetris: If your builds run in CI and are not time sensitive, then O2 is fine.
2020-10-22 13:35:09 +0200Maxdamantus(~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 265 seconds)
2020-10-22 13:36:34 +0200Maxdamantus(~Maxdamant@unaffiliated/maxdamantus)
2020-10-22 13:41:59 +0200plutoniix(~q@175.176.222.7) (Quit: Leaving)
2020-10-22 13:44:26 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-22 13:44:43 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 13:44:43 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 13:44:43 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 13:45:37 +0200dhil(~dhil@195.213.192.122)
2020-10-22 13:48:05 +0200Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 256 seconds)
2020-10-22 13:48:19 +0200Sanchayan(~Sanchayan@122.181.211.206)
2020-10-22 13:51:20 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds)
2020-10-22 13:51:22 +0200 <typetetris> hmm, O2 made ghc 8.10.2 panic on my code. That means I am a bad haskell coder :)
2020-10-22 13:52:00 +0200 <maerwald> 8.10.2 is also a bit more segfaulty than 8.8.4 or 8.6.5
2020-10-22 13:52:22 +0200Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 13:52:38 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-10-22 13:54:32 +0200Ariakenom(~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Ping timeout: 272 seconds)
2020-10-22 13:56:58 +0200hackageantiope-shell 7.5.3 - Please see the README on Github at <https://github.com/arbor/antiope#readme> https://hackage.haskell.org/package/antiope-shell-7.5.3 (arbornetworks)
2020-10-22 13:57:58 +0200hackageantiope-core 7.5.3, antiope-sns 7.5.3, antiope-es 7.5.3, antiope-dynamodb 7.5.3, antiope-contract 7.5.3, antiope-athena 7.5.3, antiope-optparse-applicative 7.5.3, antiope-messages 7.5.3, antiope-sqs 7.5.3, antiope-s3 7.5.3 (arbornetworks)
2020-10-22 14:00:01 +0200voet(~voet@84.39.117.57) ()
2020-10-22 14:02:09 +0200edk_deadk
2020-10-22 14:03:10 +0200urodna(~urodna@unaffiliated/urodna)
2020-10-22 14:03:52 +0200SanchayanM(~Sanchayan@106.200.205.180)
2020-10-22 14:04:21 +0200 <Alexthek1d> lortabac, just read this "However you will still face issues when running it, as it needs to be built and run under something like MSYS2 or Cygwin, it needs linux stuff like /usr/share/zoneinfo"
2020-10-22 14:04:28 +0200 <Alexthek1d> https://github.com/facebook/duckling/issues/510
2020-10-22 14:04:49 +0200Sanchayan(~Sanchayan@122.181.211.206) (Ping timeout: 246 seconds)
2020-10-22 14:05:39 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-fjkcgpxmhvapxtfm) (Quit: Connection closed for inactivity)
2020-10-22 14:07:17 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476)
2020-10-22 14:08:03 +0200SanchayanM(~Sanchayan@106.200.205.180) (Client Quit)
2020-10-22 14:08:59 +0200Maxdamantus(~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 260 seconds)
2020-10-22 14:09:32 +0200GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-22 14:09:42 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-22 14:09:42 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-22 14:09:42 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 14:10:34 +0200Maxdamantus(~Maxdamant@unaffiliated/maxdamantus)
2020-10-22 14:13:22 +0200Chi1thangoo(~Chi1thang@87.112.60.168) (Ping timeout: 256 seconds)
2020-10-22 14:15:21 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-22 14:17:03 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-22 14:17:40 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-22 14:17:50 +0200geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-22 14:20:31 +0200texasmynsted(~texasmyns@104.140.52.99)
2020-10-22 14:21:11 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-22 14:22:06 +0200Ariakenom(~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se)
2020-10-22 14:22:49 +0200Kolkrabe(~user@unaffiliated/siracusa)
2020-10-22 14:24:39 +0200chindy(~quassel@51.15.63.78) (Remote host closed the connection)
2020-10-22 14:25:31 +0200chindy(~quassel@51.15.63.78)
2020-10-22 14:27:10 +0200brisbin(~patrick@pool-173-49-158-4.phlapa.fios.verizon.net)
2020-10-22 14:29:15 +0200berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2020-10-22 14:29:51 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-22 14:30:43 +0200 <typetetris> 8.8.4 works fine
2020-10-22 14:31:28 +0200hackagecall-alloy 0.2.0.6 - A simple library to call Alloy given a specification https://hackage.haskell.org/package/call-alloy-0.2.0.6 (marcellus)
2020-10-22 14:33:23 +0200acidjnk_new3(~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de)
2020-10-22 14:34:48 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-22 14:35:09 +0200babygnu(~robert@gateway/tor-sasl/babygnu)
2020-10-22 14:36:09 +0200Sarma(~Amras@unaffiliated/amras0000)
2020-10-22 14:36:37 +0200acidjnk_new2(~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 14:37:22 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 14:39:43 +0200notnatebtw(~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-22 14:40:13 +0200Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 14:42:02 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-22 14:42:02 +0200tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 272 seconds)
2020-10-22 14:42:45 +0200geekosaur(82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-22 14:43:17 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-22 14:43:19 +0200Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 246 seconds)
2020-10-22 14:44:15 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-22 14:45:04 +0200carlomagno1(~cararell@148.87.23.5)
2020-10-22 14:45:05 +0200geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-22 14:47:12 +0200carlomagno(~cararell@148.87.23.9) (Remote host closed the connection)
2020-10-22 14:50:21 +0200invaser(~Thunderbi@31.148.23.125)
2020-10-22 14:50:37 +0200StoneToad(~StoneToad@199-167-119-239.ppp.storm.ca) (Ping timeout: 264 seconds)
2020-10-22 14:52:36 +0200tirej(~tirej@unaffiliated/tirej)
2020-10-22 14:55:16 +0200pixel_(~pixel_@178.238.229.54)
2020-10-22 14:56:36 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2020-10-22 14:56:37 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds)
2020-10-22 14:56:53 +0200vacm(~vacwm@70.23.92.191)
2020-10-22 14:59:53 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 14:59:54 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 14:59:54 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-22 15:00:19 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-22 15:01:34 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-10-22 15:02:46 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-22 15:02:54 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-22 15:04:51 +0200shatriff(~vitaliish@176.52.219.10)
2020-10-22 15:05:11 +0200 <AWizzArd> Why is mapM_ in prelude but not traverse_ ?
2020-10-22 15:05:30 +0200 <AWizzArd> Historical reasons?
2020-10-22 15:06:03 +0200 <geekosaur> yes
2020-10-22 15:07:04 +0200 <typetetris> My ghc panic with ghc 8.10.2 was related to polysemy-plugin, removing that and `-fplugin=Polysemy.Plugin` from my project made the panic go away.
2020-10-22 15:07:42 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 15:07:55 +0200son0p(~son0p@181.58.39.86) (Quit: leaving)
2020-10-22 15:08:55 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 15:09:21 +0200christo(~chris@81.96.113.213)
2020-10-22 15:10:53 +0200sandman13(~sandman@unaffiliated/sandman13)
2020-10-22 15:12:12 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 15:12:27 +0200 <AWizzArd> geekosaur: do you think ghc will stick with those historical decisions or clean this at some point up, and move/remove certain functions?
2020-10-22 15:12:36 +0200 <sandman13> Hi, I have a directory that is tracked by git and has few Haskell files. How can I setup stack without deleting the repo and starting from scratch?
2020-10-22 15:13:06 +0200 <sandman13> I tried stack new <already_existing_directory> but it refused to setup as directory already existed
2020-10-22 15:13:30 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 15:13:49 +0200 <geekosaur> AWizzArd, there is a library proposals process for such changes
2020-10-22 15:13:58 +0200erolm_a(~erolm_a@82.24.185.133) (Ping timeout: 260 seconds)
2020-10-22 15:14:30 +0200 <merijn> geekosaur: Incorrect
2020-10-22 15:14:36 +0200 <merijn> geekosaur: Prelude is in the Report
2020-10-22 15:14:48 +0200 <merijn> the library proposals process is for non-report libraries only
2020-10-22 15:15:02 +0200 <merijn> Good freaking luck getting people to accept Prelude changes
2020-10-22 15:15:10 +0200 <geekosaur> we aleady violate the Report in a few places (notably some Applicative stuff iirc)
2020-10-22 15:15:27 +0200 <merijn> geekosaur: Yes, and if you recall the mailing list drama involved for those...
2020-10-22 15:15:35 +0200 <geekosaur> and of course there's AMP which completely violates the Report
2020-10-22 15:15:46 +0200 <merijn> AMP took months/years of mailing list skirmishes to pass
2020-10-22 15:16:07 +0200 <merijn> And there are very vocal people who oppose to any *growth* of Prelude
2020-10-22 15:16:25 +0200christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-22 15:16:37 +0200 <merijn> So the realistic time frame for "traverse_" moving to Prelude are very slim
2020-10-22 15:16:38 +0200christo(~chris@81.96.113.213)
2020-10-22 15:18:08 +0200 <yushyin> haskell2020 now!
2020-10-22 15:18:51 +0200visage_(~visage_@unaffiliated/visage/x-6658724)
2020-10-22 15:19:10 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 15:19:33 +0200 <merijn> yushyin: Everyone wants a new standard because they get all the cool new extensions, nobody wants to do the work to specify the extensions
2020-10-22 15:19:34 +0200 <geekosaur> the kind of yammering merijn is talking about is part of why h2020 is dead, I suspect
2020-10-22 15:19:45 +0200 <merijn> geekosaur: Well, not quite
2020-10-22 15:20:09 +0200 <merijn> geekosaur: HaskellPrime keeps dying because people want to do the cool Prelude refactors, but not the "how do we specify extension X?" work
2020-10-22 15:20:20 +0200 <merijn> HaskellPrime keeps being restarted and dying for that reason
2020-10-22 15:20:31 +0200tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com)
2020-10-22 15:21:31 +0200 <yushyin> my comment was meant rather sarcastically
2020-10-22 15:22:18 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-22 15:23:42 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 15:25:03 +0200invaser(~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-10-22 15:28:19 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 15:30:16 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2020-10-22 15:30:34 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:dc3b:a165:56fa:c9b) (Remote host closed the connection)
2020-10-22 15:31:01 +0200Chi1thangoo(~Chi1thang@87.112.60.168)
2020-10-22 15:32:59 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-22 15:33:51 +0200rotaerk(rotaerk@2600:3c02::f03c:91ff:fe70:4a45) (Ping timeout: 272 seconds)
2020-10-22 15:34:56 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer)
2020-10-22 15:36:22 +0200geekosaur(82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-22 15:36:39 +0200erolm_a(~erolm_a@62.18.212.252)
2020-10-22 15:38:05 +0200geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-22 15:38:14 +0200sandman13(~sandman@unaffiliated/sandman13) (Quit: Leaving...)
2020-10-22 15:38:59 +0200ph88(~ph88@ip5f5af0cc.dynamic.kabel-deutschland.de)
2020-10-22 15:39:42 +0200daydaynatation(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2020-10-22 15:40:11 +0200 <daydaynatation> what does the tilde mean? ~(f, s') <- mf s
2020-10-22 15:40:27 +0200 <merijn> daydaynatation: Lazy pattern
2020-10-22 15:40:48 +0200 <ph88> is this a promoted datatype which needs DataKinds extension? type Foo = '("Bar", String)
2020-10-22 15:40:59 +0200 <daydaynatation> merijn: thx
2020-10-22 15:40:59 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-10-22 15:41:05 +0200 <merijn> daydaynatation: So the pattern forcing is delayed until you evaluate the f or s'
2020-10-22 15:41:10 +0200justsomeguy(~justsomeg@216.186.218.241)
2020-10-22 15:41:11 +0200justsomeguy(~justsomeg@216.186.218.241) (Changing host)
2020-10-22 15:41:11 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-10-22 15:41:24 +0200geekosaur(82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-22 15:41:51 +0200 <daydaynatation> merijn: when would you use it?
2020-10-22 15:42:01 +0200ukari(~ukari@unaffiliated/ukari)
2020-10-22 15:42:26 +0200 <merijn> daydaynatation: usually in a recursive binding where the pattern you're computing depends on the result of the pattern match
2020-10-22 15:42:28 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 246 seconds)
2020-10-22 15:44:04 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 15:44:17 +0200MVQq(~anja@198.254.202.72) (Quit: q)
2020-10-22 15:44:55 +0200MarcelineVQ(~anja@198.254.202.72)
2020-10-22 15:46:22 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 15:47:34 +0200 <siraben> daydaynatation: you should not use it when you have more than one constructor for the data type, see the Implications section of https://wiki.haskell.org/Lazy_pattern_match
2020-10-22 15:48:26 +0200fendor__(~fendor@91.141.1.218.wireless.dyn.drei.com)
2020-10-22 15:48:56 +0200rotaerk(~rotaerk@ender.afternet.org)
2020-10-22 15:50:45 +0200fendor(~fendor@91.141.3.69.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-10-22 15:50:52 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-10-22 15:51:52 +0200Raito_Bezarius(~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (Remote host closed the connection)
2020-10-22 15:52:38 +0200Raito_Bezarius(~Raito_Bez@unaffiliated/raito-bezarius/x-8764578)
2020-10-22 15:53:22 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:158c:de0d:7c87:d7c7)
2020-10-22 15:53:27 +0200pixel_(~pixel_@178.238.229.54) (Remote host closed the connection)
2020-10-22 15:53:46 +0200 <siraben> Have people here used AutoBench https://github.com/mathandley/AutoBench or is there a better alternative?
2020-10-22 15:53:59 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:158c:de0d:7c87:d7c7) (Client Quit)
2020-10-22 15:54:21 +0200 <hyperisco> No [cradle](https://github.com/mpickering/hie-bios#hie-bios) found for .stack-work\dist\29cc6475\build\weave\autogen\...
2020-10-22 15:54:21 +0200 <hyperisco> Proceeding with [implicit cradle](https://hackage.haskell.org/package/implicit-hie)
2020-10-22 15:55:15 +0200 <hyperisco> I get that error every time I save a file in VSCode using the Haskell IDE extension. I have created a cradle yaml for my project. How can I know where it is looking for the cradle config?
2020-10-22 15:56:45 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 15:56:55 +0200stefan-__(~cri@42dots.de)
2020-10-22 15:57:30 +0200sendak(~sendak@94.229.74.91)
2020-10-22 15:59:31 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 16:00:38 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 16:01:45 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-22 16:03:24 +0200jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-10-22 16:03:56 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 256 seconds)
2020-10-22 16:07:04 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 16:08:41 +0200cfricke(~cfricke@unaffiliated/cfricke)
2020-10-22 16:10:50 +0200ubert1(~Thunderbi@ip5b407406.dynamic.kabel-deutschland.de)
2020-10-22 16:11:40 +0200cfricke(~cfricke@unaffiliated/cfricke) (Client Quit)
2020-10-22 16:11:43 +0200dhil(~dhil@195.213.192.122) (Ping timeout: 260 seconds)
2020-10-22 16:11:51 +0200ubert(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Ping timeout: 272 seconds)
2020-10-22 16:11:51 +0200ubert1ubert
2020-10-22 16:11:52 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 16:11:57 +0200StoneToad(~StoneToad@199-167-119-164.ppp.storm.ca)
2020-10-22 16:12:48 +0200invaser(~Thunderbi@31.148.23.125)
2020-10-22 16:13:53 +0200mceier(~mceier@89-68-132-187.dynamic.chello.pl) (Quit: leaving)
2020-10-22 16:14:31 +0200daydaynatation(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection)
2020-10-22 16:14:42 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-22 16:15:01 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 16:15:02 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 16:15:02 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 16:16:02 +0200cfricke(~cfricke@unaffiliated/cfricke)
2020-10-22 16:16:12 +0200mceier(~mceier@89-68-132-187.dynamic.chello.pl)
2020-10-22 16:17:59 +0200ddellacosta(~dd@86.106.121.168)
2020-10-22 16:19:29 +0200jjhoo(jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (Ping timeout: 246 seconds)
2020-10-22 16:20:08 +0200jjhoo(jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi)
2020-10-22 16:22:02 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-usqgjetlamaxjqlh)
2020-10-22 16:24:04 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 16:24:16 +0200dhil(~dhil@openvpn-125-1027.inf.ed.ac.uk)
2020-10-22 16:25:04 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-22 16:25:22 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-22 16:26:53 +0200alp(~alp@88.126.45.36) (Remote host closed the connection)
2020-10-22 16:27:14 +0200alp(~alp@2a01:e0a:58b:4920:1917:422e:237d:9e1)
2020-10-22 16:30:22 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:8c51:e657:bdba:514a)
2020-10-22 16:30:25 +0200DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-10-22 16:31:44 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:8c51:e657:bdba:514a) (Client Quit)
2020-10-22 16:31:58 +0200karanlikmadde(~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) (Quit: karanlikmadde)
2020-10-22 16:32:45 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-22 16:33:03 +0200babygnu(~robert@gateway/tor-sasl/babygnu) (Ping timeout: 240 seconds)
2020-10-22 16:33:05 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Read error: Connection reset by peer)
2020-10-22 16:33:46 +0200babygnu(~robert@gateway/tor-sasl/babygnu)
2020-10-22 16:34:56 +0200karanlikmadde(~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9)
2020-10-22 16:35:16 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 16:35:23 +0200irc_user(uid423822@gateway/web/irccloud.com/x-smhoufshstxnpiwh)
2020-10-22 16:35:36 +0200Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 256 seconds)
2020-10-22 16:36:20 +0200shafox(~shafox@106.51.234.111)
2020-10-22 16:36:28 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 16:40:55 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-22 16:43:35 +0200knupfer(~Thunderbi@200116b824e61300a15c6f312f497d6e.dip.versatel-1u1.de)
2020-10-22 16:44:43 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 16:46:11 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 16:46:26 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-odbovwgffdjqqzdy)
2020-10-22 16:47:00 +0200 <fendor_> hyperisco, it looks for the cradle config in some parent directory starting from the workspace directory
2020-10-22 16:49:31 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-10-22 16:50:00 +0200Deide(~Deide@217.155.19.23)
2020-10-22 16:50:00 +0200hnOsmium0001(uid453710@gateway/web/irccloud.com/x-kxtnycxbgunquota)
2020-10-22 16:50:33 +0200 <dminuoso> ph88: Yes.
2020-10-22 16:54:17 +0200alp(~alp@2a01:e0a:58b:4920:1917:422e:237d:9e1) (Ping timeout: 272 seconds)
2020-10-22 16:54:45 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2020-10-22 16:55:44 +0200Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-10-22 16:56:22 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-22 16:57:57 +0200texasmynsted(~texasmyns@104.140.52.99) (Remote host closed the connection)
2020-10-22 16:58:54 +0200fendor_(~fendor@194-96-53-70.hdsl.highway.telekom.at) (Remote host closed the connection)
2020-10-22 16:59:29 +0200kini(~kini@unaffiliated/kini) (Remote host closed the connection)
2020-10-22 17:00:02 +0200sendak(~sendak@94.229.74.91) ()
2020-10-22 17:02:42 +0200bartemius(~bartemius@109.252.20.20) (Remote host closed the connection)
2020-10-22 17:03:35 +0200ericsagnes(~ericsagne@2405:6580:0:5100:e4cc:251e:e67d:9b13) (Ping timeout: 246 seconds)
2020-10-22 17:04:51 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-22 17:05:10 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 17:05:10 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 17:05:10 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 17:06:57 +0200borne(~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3) (Ping timeout: 272 seconds)
2020-10-22 17:07:29 +0200seanvert(~user@177.84.244.242)
2020-10-22 17:08:31 +0200kini(~kini@unaffiliated/kini)
2020-10-22 17:08:32 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 17:10:39 +0200Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 17:11:09 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 17:11:20 +0200Deide(~Deide@217.155.19.23)
2020-10-22 17:11:59 +0200raichoo(~raichoo@213.240.178.58)
2020-10-22 17:12:57 +0200Deide(~Deide@217.155.19.23) (Client Quit)
2020-10-22 17:13:32 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 17:14:15 +0200Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds)
2020-10-22 17:14:32 +0200Deide(~Deide@217.155.19.23)
2020-10-22 17:15:56 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-22 17:16:00 +0200ericsagnes(~ericsagne@2405:6580:0:5100:7866:3a49:bf86:234b)
2020-10-22 17:17:57 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-22 17:21:26 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 17:22:22 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-22 17:23:33 +0200lidenbrock(bd21e61f@189.33.230.31)
2020-10-22 17:25:22 +0200 <ph88> dminuoso, i had another type type Qux = Quz [Foo, AnotherFoo] and i don't understand why this list here (of which i think it's a type list) does not need that ' in front of it like '[ .. ]
2020-10-22 17:26:06 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 17:26:47 +0200polyrain(~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 17:27:41 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-22 17:27:58 +0200jneira(501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250) (Ping timeout: 272 seconds)
2020-10-22 17:28:42 +0200kritzefitz(~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-10-22 17:31:06 +0200kritzefitz(~kritzefit@212.86.56.80)
2020-10-22 17:31:09 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-22 17:31:46 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 17:32:36 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:ccf3:9e4f:a615:179a)
2020-10-22 17:33:29 +0200 <lortabac> ph88: ' does not have any semantic meaning, it's just for name disambiguation, it means "search this name in the namespace of data constructors"
2020-10-22 17:34:34 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-22 17:35:12 +0200 <lortabac> so if the namespace is clear the single quote is not needed
2020-10-22 17:35:45 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-22 17:36:51 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 17:38:27 +0200hackagetzdata 0.2.20201021.0 - Time zone database (as files and as a module) https://hackage.haskell.org/package/tzdata-0.2.20201021.0 (MihalyBarasz)
2020-10-22 17:38:28 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 17:38:40 +0200stefan-__(~cri@42dots.de)
2020-10-22 17:39:21 +0200lidenbrock(bd21e61f@189.33.230.31) ()
2020-10-22 17:40:47 +0200knupfer(~Thunderbi@200116b824e61300a15c6f312f497d6e.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-22 17:41:04 +0200knupfer(~Thunderbi@200116b824e6130098a94da731634c1e.dip.versatel-1u1.de)
2020-10-22 17:43:07 +0200vicfred(~vicfred@unaffiliated/vicfred)
2020-10-22 17:44:14 +0200vicfred(~vicfred@unaffiliated/vicfred) (Max SendQ exceeded)
2020-10-22 17:44:16 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds)
2020-10-22 17:44:42 +0200vicfred(~vicfred@unaffiliated/vicfred)
2020-10-22 17:45:54 +0200vicfred(~vicfred@unaffiliated/vicfred) (Max SendQ exceeded)
2020-10-22 17:46:24 +0200vicfred(~vicfred@unaffiliated/vicfred)
2020-10-22 17:46:51 +0200texasmynsted(~texasmyns@104.140.52.115)
2020-10-22 17:48:45 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-22 17:49:17 +0200isBEKaml(~~.~@42.110.181.139)
2020-10-22 17:50:17 +0200acidjnk_new3(~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 17:52:02 +0200texasmynsted(~texasmyns@104.140.52.115) (Ping timeout: 272 seconds)
2020-10-22 17:52:36 +0200 <tomsmeding> ph88: does that even compile? I don't think it does
2020-10-22 17:52:48 +0200 <tomsmeding> or perhaps with DataKinds?
2020-10-22 17:53:48 +0200isBEKaml(~~.~@42.110.181.139) (Changing host)
2020-10-22 17:53:48 +0200isBEKaml(~~.~@unaffiliated/isbekaml)
2020-10-22 17:54:22 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:ccf3:9e4f:a615:179a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 17:55:27 +0200 <tomsmeding> I see with a number of extensions it does compile
2020-10-22 17:55:28 +0200beaups(~beaups@84.39.117.57)
2020-10-22 17:55:40 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-22 17:55:45 +0200tomsmedingrequests to ignore my comments, I also don't know exactly how this all works
2020-10-22 17:55:56 +0200bartemius(~bartemius@109-252-20-20.nat.spd-mgts.ru)
2020-10-22 17:57:27 +0200Tops2(~Tobias@dyndsl-095-033-023-169.ewe-ip-backbone.de)
2020-10-22 17:58:17 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 17:58:18 +0200alp(~alp@2a01:e0a:58b:4920:5923:f989:36c2:80ef)
2020-10-22 17:58:41 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 18:00:28 +0200chele(~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-10-22 18:00:33 +0200Rudd0(~Rudd0@185.189.115.108)
2020-10-22 18:02:10 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-22 18:06:38 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-10-22 18:07:40 +0200ukari(~ukari@unaffiliated/ukari)
2020-10-22 18:07:58 +0200hackagetz 0.1.3.5 - Efficient time zone handling https://hackage.haskell.org/package/tz-0.1.3.5 (MihalyBarasz)
2020-10-22 18:08:22 +0200dhil(~dhil@openvpn-125-1027.inf.ed.ac.uk) (Ping timeout: 260 seconds)
2020-10-22 18:10:48 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2020-10-22 18:12:05 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 18:14:11 +0200mshinesimon
2020-10-22 18:16:57 +0200 <kuribas> isn't there a library for quickly making form based UIs for editing configuration?
2020-10-22 18:17:07 +0200 <kuribas> and exporting to XML?
2020-10-22 18:17:45 +0200 <Uniaika> not that I know of
2020-10-22 18:19:20 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-22 18:21:42 +0200geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-22 18:21:50 +0200dhil(~dhil@195.213.192.122)
2020-10-22 18:21:54 +0200 <maerwald> persistent doesn't have `updateMany`?
2020-10-22 18:22:07 +0200 <merijn> maerwald: Probably no
2020-10-22 18:22:29 +0200 <merijn> maerwald: Why are you using persistent?
2020-10-22 18:22:39 +0200 <maerwald> It was not my choice.
2020-10-22 18:22:50 +0200 <merijn> maerwald: This does not surprise me ;)
2020-10-22 18:23:11 +0200 <maerwald> SQL is already a DSL
2020-10-22 18:23:20 +0200 <maerwald> I don't know why I need a shitty on top
2020-10-22 18:23:28 +0200invaser(~Thunderbi@31.148.23.125) (Ping timeout: 246 seconds)
2020-10-22 18:23:40 +0200mceier(~mceier@89-68-132-187.dynamic.chello.pl) (Quit: leaving)
2020-10-22 18:23:53 +0200 <maerwald> (that goes for all ORMs)
2020-10-22 18:24:03 +0200erolm_a(~erolm_a@62.18.212.252) (Ping timeout: 256 seconds)
2020-10-22 18:24:28 +0200hackagecobot-io 0.1.3.8 - Biological data file formats and IO https://hackage.haskell.org/package/cobot-io-0.1.3.8 (ozzzzz)
2020-10-22 18:24:35 +0200erolm_a(~erolm_a@62.18.212.252)
2020-10-22 18:24:46 +0200invaser(~Thunderbi@31.148.23.125)
2020-10-22 18:26:29 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-22 18:28:12 +0200Ariakenom(~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: Leaving)
2020-10-22 18:28:57 +0200hackagengx-export-tools-extra 0.5.6.0 - More extra tools for Nginx haskell module https://hackage.haskell.org/package/ngx-export-tools-extra-0.5.6.0 (lyokha)
2020-10-22 18:29:30 +0200solonarv(~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr)
2020-10-22 18:31:11 +0200mceier(~mceier@89-68-132-187.dynamic.chello.pl)
2020-10-22 18:31:46 +0200mceier(~mceier@89-68-132-187.dynamic.chello.pl) (Client Quit)
2020-10-22 18:32:11 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2020-10-22 18:33:26 +0200mceier(~mceier@89-68-132-187.dynamic.chello.pl)
2020-10-22 18:37:15 +0200borne(~fritjof@200116b86425bd0087e6f2bfc1189587.dip.versatel-1u1.de)
2020-10-22 18:37:35 +0200ubert(~Thunderbi@ip5b407406.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-10-22 18:37:50 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 18:39:28 +0200bergsans(~bergsans@c80-217-8-29.bredband.comhem.se) (Remote host closed the connection)
2020-10-22 18:41:58 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-22 18:42:12 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 18:42:17 +0200walt(~ggVGc@141-136-155-251.dsl.iskon.hr)
2020-10-22 18:42:27 +0200walt(~ggVGc@141-136-155-251.dsl.iskon.hr) (Client Quit)
2020-10-22 18:42:50 +0200Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 18:44:28 +0200hackagedarcs 2.16.3 - a distributed, interactive, smart revision control system https://hackage.haskell.org/package/darcs-2.16.3 (bfrk)
2020-10-22 18:45:29 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 18:46:34 +0200Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 256 seconds)
2020-10-22 18:47:15 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-22 18:49:03 +0200isBEKaml(~~.~@unaffiliated/isbekaml) (Quit: Leaving)
2020-10-22 18:50:46 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2020-10-22 18:52:43 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-22 18:52:51 +0200cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-22 18:52:58 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-10-22 18:53:45 +0200Lycurgus(~niemand@98.4.96.235)
2020-10-22 18:54:34 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-22 18:56:59 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-22 18:57:43 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds)
2020-10-22 18:58:32 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-22 18:58:40 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 18:58:59 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2020-10-22 19:00:14 +0200awasey(~awasey@cpc105064-sgyl40-2-0-cust444.18-2.cable.virginm.net)
2020-10-22 19:02:15 +0200fendor__fendor
2020-10-22 19:02:34 +0200Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 19:03:12 +0200kuribas(~user@ptr-25vy0i7rxaeig7h3jwv.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2020-10-22 19:03:49 +0200awasey(~awasey@cpc105064-sgyl40-2-0-cust444.18-2.cable.virginm.net) (Client Quit)
2020-10-22 19:04:50 +0200Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 258 seconds)
2020-10-22 19:05:02 +0200irc_user(uid423822@gateway/web/irccloud.com/x-smhoufshstxnpiwh) (Quit: Connection closed for inactivity)
2020-10-22 19:05:53 +0200LKoen(~LKoen@81.255.219.130)
2020-10-22 19:06:36 +0200Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 19:09:17 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 19:09:33 +0200 <monsterchrom> "As a convenience, GHC allows you to omit the quote mark when the name is unambiguous."
2020-10-22 19:10:16 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 19:10:24 +0200 <Uniaika> monsterchrom: wait what
2020-10-22 19:10:27 +0200Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds)
2020-10-22 19:10:40 +0200 <monsterchrom> When you use DataKinds.
2020-10-22 19:12:00 +0200 <monsterchrom> And in the case of type-level list, "For type-level lists of two or more elements, such as the signature of foo2 above, the quote may be omitted because the meaning is unambiguous."
2020-10-22 19:12:18 +0200 <monsterchrom> Or, meta-ly, an exercise in reading the GHC user's guide.
2020-10-22 19:14:15 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds)
2020-10-22 19:16:49 +0200justachejustHaunted
2020-10-22 19:17:27 +0200invaser(~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-10-22 19:18:59 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 19:23:25 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-22 19:26:17 +0200GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-22 19:26:35 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 19:26:36 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 19:26:36 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 19:27:33 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Ping timeout: 272 seconds)
2020-10-22 19:30:21 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:ccf3:9e4f:a615:179a)
2020-10-22 19:31:59 +0200alp(~alp@2a01:e0a:58b:4920:5923:f989:36c2:80ef) (Ping timeout: 272 seconds)
2020-10-22 19:36:56 +0200taurux(~taurux@net-188-218-229-119.cust.vodafonedsl.it) (Ping timeout: 256 seconds)
2020-10-22 19:37:15 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 19:37:34 +0200stefan-__(~cri@42dots.de)
2020-10-22 19:38:34 +0200taurux(~taurux@net-130-25-101-151.cust.vodafonedsl.it)
2020-10-22 19:40:14 +0200Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 19:40:58 +0200Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 272 seconds)
2020-10-22 19:42:45 +0200knupfer(~Thunderbi@200116b824e6130098a94da731634c1e.dip.versatel-1u1.de) (Remote host closed the connection)
2020-10-22 19:42:53 +0200knupfer(~Thunderbi@200116b824e6130008091b7016d3a056.dip.versatel-1u1.de)
2020-10-22 19:43:07 +0200redeemed`(~rd@79.115.163.113) (Quit: q)
2020-10-22 19:43:09 +0200raichoo(~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-10-22 19:43:47 +0200MarcelineVQ(~anja@198.254.202.72) (Read error: Connection reset by peer)
2020-10-22 19:44:30 +0200MarcelineVQ(~anja@198.254.202.72)
2020-10-22 19:45:21 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 19:45:32 +0200geekosaur69(82659a09@host154-009.vpn.uakron.edu)
2020-10-22 19:46:42 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-22 19:48:24 +0200geekosaur(82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-22 19:49:00 +0200geekosaur69(82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-22 19:49:41 +0200geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-22 19:53:12 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 19:55:00 +0200Ariakenom(~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se)
2020-10-22 19:55:07 +0200invaser(~Thunderbi@31.148.23.125)
2020-10-22 19:56:10 +0200xlei(znc@unaffiliated/xlei) (Quit: ZNC - https://znc.in)
2020-10-22 19:57:25 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-22 19:57:28 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds)
2020-10-22 19:59:17 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-22 19:59:46 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 19:59:51 +0200asheshambasta(~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds)
2020-10-22 20:00:02 +0200beaups(~beaups@84.39.117.57) ()
2020-10-22 20:00:26 +0200xlei(znc@unaffiliated/xlei)
2020-10-22 20:01:54 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 20:02:29 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 20:02:39 +0200knightpp_(~knightpp@195.189.234.98)
2020-10-22 20:02:56 +0200knightpp_(~knightpp@195.189.234.98) (Client Quit)
2020-10-22 20:03:03 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 20:03:11 +0200Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 20:04:11 +0200thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2020-10-22 20:05:03 +0200Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds)
2020-10-22 20:06:27 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-22 20:08:12 +0200ystael(~ystael@209.6.50.55) (Ping timeout: 272 seconds)
2020-10-22 20:09:15 +0200pjrt(~pjrt@pool-108-21-216-76.nycmny.fios.verizon.net)
2020-10-22 20:10:50 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 20:10:51 +0200thir(~thir@p4febc6a5.dip0.t-ipconnect.de)
2020-10-22 20:11:05 +0200alp(~alp@2a01:e0a:58b:4920:44cc:a22e:2b7b:c759)
2020-10-22 20:12:09 +0200Quarl(~Quarl@94.191.136.95.mobile.tre.se)
2020-10-22 20:12:09 +0200geekosaur(82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-22 20:14:40 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Remote host closed the connection)
2020-10-22 20:15:06 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2020-10-22 20:15:25 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-22 20:15:35 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 20:15:52 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 20:16:06 +0200raichoo(~raichoo@dslb-084-062-118-149.084.062.pools.vodafone-ip.de)
2020-10-22 20:16:21 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-22 20:16:40 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 20:16:40 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 20:16:40 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 20:18:23 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 20:25:35 +0200erolm_a(~erolm_a@62.18.212.252) (Ping timeout: 260 seconds)
2020-10-22 20:25:56 +0200erolm_a(~erolm_a@62.18.212.252)
2020-10-22 20:28:27 +0200jle`(~mstksg@cpe-23-240-75-236.socal.res.rr.com)
2020-10-22 20:28:27 +0200jle`(~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host)
2020-10-22 20:28:27 +0200jle`(~mstksg@unaffiliated/mstksg)
2020-10-22 20:32:18 +0200geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-22 20:33:03 +0200erolm_a(~erolm_a@62.18.212.252) (Ping timeout: 260 seconds)
2020-10-22 20:33:50 +0200erolm_a(~erolm_a@62.18.212.252)
2020-10-22 20:35:11 +0200chaosmasttter(~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de)
2020-10-22 20:39:55 +0200notnatebtw(~nate@110.138.18.157)
2020-10-22 20:41:26 +0200GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-22 20:41:43 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 20:41:43 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 20:41:43 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 20:45:52 +0200thc202(~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds)
2020-10-22 20:47:38 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 20:50:39 +0200Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 20:52:10 +0200Iwawa(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 20:52:30 +0200irc_user(uid423822@gateway/web/irccloud.com/x-zwkowpuhxqfhjstz)
2020-10-22 20:52:53 +0200acidjnk_new3(~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de)
2020-10-22 20:52:53 +0200Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds)
2020-10-22 20:55:01 +0200Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 246 seconds)
2020-10-22 20:55:30 +0200Guest76304(~davidfisc@178.238.229.54)
2020-10-22 20:55:42 +0200Kaivo(~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) (Ping timeout: 272 seconds)
2020-10-22 20:56:42 +0200bartemius(~bartemius@109-252-20-20.nat.spd-mgts.ru) (Remote host closed the connection)
2020-10-22 20:58:01 +0200Kaivo(~Kaivo@104-200-86-99.mc.derytele.com)
2020-10-22 21:01:14 +0200jneira(501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250)
2020-10-22 21:02:14 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection)
2020-10-22 21:03:14 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2020-10-22 21:03:29 +0200berberman_(~berberman@unaffiliated/berberman)
2020-10-22 21:04:27 +0200berberman(~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2020-10-22 21:05:12 +0200Kaivo(~Kaivo@104-200-86-99.mc.derytele.com) (Ping timeout: 272 seconds)
2020-10-22 21:06:21 +0200alp(~alp@2a01:e0a:58b:4920:44cc:a22e:2b7b:c759) (Ping timeout: 272 seconds)
2020-10-22 21:07:11 +0200Franciman(~francesco@host-82-54-10-114.retail.telecomitalia.it) (Quit: Leaving)
2020-10-22 21:07:21 +0200Kaivo(~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com)
2020-10-22 21:08:43 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 21:08:57 +0200hackageversions 4.0.1 - Types and parsers for software version numbers. https://hackage.haskell.org/package/versions-4.0.1 (fosskers)
2020-10-22 21:09:13 +0200 <dminuoso> monsterchrom: I personally think keeping them as separate namespaces was a mistake.
2020-10-22 21:09:47 +0200 <dminuoso> What does it even mean "when the name is unambiguous"?
2020-10-22 21:10:08 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 21:10:44 +0200 <dminuoso> Given `data Foo = Foo`, is the reference to Foo ambiguous? `type F = Identity Foo`
2020-10-22 21:11:10 +0200ystael(~ystael@209.6.50.55)
2020-10-22 21:11:18 +0200hiroaki(~hiroaki@2a02:908:4b18:e20::e363)
2020-10-22 21:13:01 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 21:14:16 +0200acidjnk_new2(~acidjnk@p200300d0c72378771d1e3adff3a8980c.dip0.t-ipconnect.de)
2020-10-22 21:14:25 +0200 <dminuoso> There's of course possible answers that include "Of course it's not, Foo couldn't possibly be the data constructor". But isn't it GHCs job to report when the user might have misspecified a program that can, with some consideration, still type check?
2020-10-22 21:15:13 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds)
2020-10-22 21:15:15 +0200 <hyperisco> somehow when I call stack build now it just hangs
2020-10-22 21:15:28 +0200Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-22 21:16:22 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 21:17:57 +0200acidjnk_new3(~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 21:18:15 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 21:19:09 +0200jespada(~jespada@90.254.243.98) (Ping timeout: 265 seconds)
2020-10-22 21:19:18 +0200 <dminuoso> hyperisco: Too much use of UndecideableInstances or TyFams? :>
2020-10-22 21:19:23 +0200Quarl(~Quarl@94.191.136.95.mobile.tre.se) (Read error: Connection reset by peer)
2020-10-22 21:19:32 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Client Quit)
2020-10-22 21:19:41 +0200 <hyperisco> I didn't change any code =\ well this is just my luck lately
2020-10-22 21:21:14 +0200jespada(~jespada@90.254.243.98)
2020-10-22 21:21:39 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Read error: Connection reset by peer)
2020-10-22 21:22:00 +0200knupfer(~Thunderbi@200116b824e6130008091b7016d3a056.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2020-10-22 21:22:15 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-22 21:23:22 +0200thir(~thir@p4febc6a5.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-22 21:25:13 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2020-10-22 21:28:00 +0200kav(~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) (Ping timeout: 272 seconds)
2020-10-22 21:28:03 +0200thir(~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de)
2020-10-22 21:30:29 +0200aarvar(~foewfoiew@50.35.43.33)
2020-10-22 21:30:49 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 21:30:59 +0200aarvar(~foewfoiew@50.35.43.33) ()
2020-10-22 21:31:16 +0200reppertj(~textual@pool-96-246-209-59.nycmny.fios.verizon.net)
2020-10-22 21:31:34 +0200GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-22 21:31:54 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 21:31:54 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 21:31:54 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 21:32:20 +0200alp(~alp@2a01:e0a:58b:4920:d80c:9dfe:7aa1:7540)
2020-10-22 21:34:13 +0200thir(~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-22 21:38:34 +0200 <fresheyeball> is there any way to make jsaddle-warp debugging more reliable?
2020-10-22 21:39:10 +0200mbomba(~mbomba@142.114.9.241)
2020-10-22 21:39:13 +0200shafox(~shafox@106.51.234.111) (Remote host closed the connection)
2020-10-22 21:39:49 +0200 <fresheyeball> hamishmack: it looks like I am going to be building more and more stuff on your work
2020-10-22 21:40:03 +0200 <fresheyeball> would you be willing to do a call with me and talk about some stuff with jsaddle?
2020-10-22 21:41:08 +0200ericsagnes(~ericsagne@2405:6580:0:5100:7866:3a49:bf86:234b) (Ping timeout: 246 seconds)
2020-10-22 21:42:28 +0200coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-22 21:43:32 +0200Alexthek1d(~JJJ@p5b3ae7e8.dip0.t-ipconnect.de) (Quit: Leaving)
2020-10-22 21:47:00 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-10-22 21:47:03 +0200kav(~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi)
2020-10-22 21:47:06 +0200Tario(~Tario@201.192.165.173)
2020-10-22 21:47:16 +0200knupfer(~Thunderbi@mue-88-130-61-228.dsl.tropolys.de)
2020-10-22 21:48:11 +0200erolm_a(~erolm_a@62.18.212.252) (Ping timeout: 260 seconds)
2020-10-22 21:48:31 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-22 21:49:54 +0200oisdk_(~oisdk@2001:bb6:3329:d100:110c:4b45:443f:14f0) (Quit: oisdk_)
2020-10-22 21:50:32 +0200dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-10-22 21:51:23 +0200erolm_a(~erolm_a@62.18.212.252)
2020-10-22 21:51:53 +0200 <merijn> dminuoso: Easy, "Just" in a type is unambigously datakinds, unless you first define a new "Just" type
2020-10-22 21:52:32 +0200 <merijn> % :i Identity
2020-10-22 21:52:32 +0200 <yahb> merijn: type Identity :: * -> *; newtype Identity a = Identity {runIdentity :: a}; -- Defined in `Data.Functor.Identity'; instance Applicative Identity -- Defined in `Data.Functor.Identity'; instance Eq a => Eq (Identity a) -- Defined in `Data.Functor.Identity'; instance Functor Identity -- Defined in `Data.Functor.Identity'; instance Monad Identity -- Defined in `Data.Functor.Identity'; instance Monoid a =>
2020-10-22 21:52:48 +0200 <merijn> dminuoso: That one is also unambiguous, since the kind is * :p
2020-10-22 21:53:02 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 21:53:09 +0200raichoo(~raichoo@dslb-084-062-118-149.084.062.pools.vodafone-ip.de) (Quit: Lost terminal)
2020-10-22 21:53:20 +0200 <dminuoso> merijn: Since they occupy the same namespace, I'm not willing to accept that
2020-10-22 21:53:34 +0200ericsagnes(~ericsagne@2405:6580:0:5100:e405:3b15:8133:b765)
2020-10-22 21:54:09 +0200 <dminuoso> But really, my arguments boil down to "they shouldn't occupy the same namespace in the first place"
2020-10-22 21:57:03 +0200notnatebtw(~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-22 21:57:28 +0200notnatebtw(~nate@110.138.18.157)
2020-10-22 21:57:32 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 21:57:59 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 21:58:10 +0200stefan-__(~cri@42dots.de)
2020-10-22 21:59:41 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-10-22 22:00:00 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 22:00:29 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 22:00:54 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Client Quit)
2020-10-22 22:02:09 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 22:02:23 +0200stefan-__(~cri@42dots.de)
2020-10-22 22:03:20 +0200rprije(~rprije@110-175-117-18.tpgi.com.au)
2020-10-22 22:05:53 +0200zariuq(~zar@fw1.ciirc.cvut.cz) (Remote host closed the connection)
2020-10-22 22:06:05 +0200zariuq(~zar@fw1.ciirc.cvut.cz)
2020-10-22 22:06:46 +0200thir(~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de)
2020-10-22 22:08:31 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Remote host closed the connection)
2020-10-22 22:08:40 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2020-10-22 22:08:56 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-10-22 22:09:35 +0200forgottenone(~forgotten@176.88.100.210) (Read error: Connection reset by peer)
2020-10-22 22:10:05 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 22:10:37 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-22 22:11:01 +0200p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 264 seconds)
2020-10-22 22:12:00 +0200zephyz(~zephyz@2a02:c7f:b0ff:7000:817:8e89:a6:b588)
2020-10-22 22:13:17 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 22:14:19 +0200justan0theruser(~justanoth@unaffiliated/justanotheruser)
2020-10-22 22:14:32 +0200thir(~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 22:14:32 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-22 22:15:31 +0200p8m(p8m@gateway/vpn/protonvpn/p8m)
2020-10-22 22:16:39 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-10-22 22:18:03 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-22 22:18:25 +0200borne(~fritjof@200116b86425bd0087e6f2bfc1189587.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-10-22 22:18:55 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 22:19:10 +0200stefan-__(~cri@42dots.de)
2020-10-22 22:19:13 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds)
2020-10-22 22:19:39 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 22:21:21 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 22:21:35 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Client Quit)
2020-10-22 22:22:12 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 22:22:23 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Client Quit)
2020-10-22 22:23:42 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 22:25:54 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 22:26:10 +0200stefan-__(~cri@42dots.de)
2020-10-22 22:28:04 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 22:28:05 +0200erolm_a(~erolm_a@62.18.212.252) (Ping timeout: 240 seconds)
2020-10-22 22:29:08 +0200erolm_a(~erolm_a@62.18.212.252)
2020-10-22 22:31:03 +0200Majiir(~Majiir@2601:18c:ca00:a400:211:32ff:fe42:6eda) (Quit: CUT THE HARDLINES!!)
2020-10-22 22:31:16 +0200 <monsterchrom> dminuoso: I think that automatic promotion-pun is wrong in the first place. Note that the need for the singletons library implies that automatic promotion-pun doesn't even buy any superficial convenience, lack alone fundamental benenfits.
2020-10-22 22:31:17 +0200coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-22 22:32:50 +0200 <monsterchrom> Instead, "data X = A | B" should only give "X :: Type, A, B :: X", and for the promotion, one must write separately "kind X2 = A2 | B2".
2020-10-22 22:33:22 +0200 <monsterchrom> Either that, or automatic promotion-pun should automatically induce what singletons now does.
2020-10-22 22:33:43 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-10-22 22:33:52 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 22:34:22 +0200invaser(~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-10-22 22:37:18 +0200knupfer(~Thunderbi@mue-88-130-61-228.dsl.tropolys.de) (Ping timeout: 260 seconds)
2020-10-22 22:37:27 +0200hackagekeep-alive 0.1.0.0 - TCP keep alive implementation https://hackage.haskell.org/package/keep-alive-0.1.0.0 (3kyro)
2020-10-22 22:38:15 +0200geekosaur(82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-22 22:38:16 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 22:40:38 +0200hiroaki(~hiroaki@2a02:908:4b18:e20::e363) (Ping timeout: 246 seconds)
2020-10-22 22:42:23 +0200xff0x(~fox@2001:1a81:52d2:ca00:89ce:9368:e8a5:941e) (Ping timeout: 246 seconds)
2020-10-22 22:43:02 +0200conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 22:43:08 +0200MindlessDrone(~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds)
2020-10-22 22:43:23 +0200xff0x(~fox@2001:1a81:52d2:ca00:522a:154a:cc26:5e43)
2020-10-22 22:45:45 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-22 22:48:19 +0200crestfallen(~John@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-22 22:48:50 +0200howdoi(uid224@gateway/web/irccloud.com/x-pqhdvcgecdtzmnpf)
2020-10-22 22:51:05 +0200thir(~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de)
2020-10-22 22:51:48 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-22 22:51:59 +0200MindlessDrone(~MindlessD@unaffiliated/mindlessdrone)
2020-10-22 22:54:29 +0200britva(~britva@2a02:aa13:7240:2980:b1bf:9c31:7687:bea1)
2020-10-22 22:54:38 +0200mbomba(~mbomba@142.114.9.241) (Quit: WeeChat 2.9)
2020-10-22 22:54:50 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-22 22:55:55 +0200thir(~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-22 22:55:58 +0200hackagekeep-alive 0.1.1.0 - TCP keep alive implementation https://hackage.haskell.org/package/keep-alive-0.1.1.0 (3kyro)
2020-10-22 22:57:11 +0200ericsagnes(~ericsagne@2405:6580:0:5100:e405:3b15:8133:b765) (Ping timeout: 272 seconds)
2020-10-22 22:59:05 +0200chaosmasttter(~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-22 23:00:01 +0200Guest76304(~davidfisc@178.238.229.54) ()
2020-10-22 23:01:25 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 23:01:37 +0200ComposerMike(~Mike@047-037-150-174.res.spectrum.com)
2020-10-22 23:03:39 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 258 seconds)
2020-10-22 23:05:02 +0200irc_user(uid423822@gateway/web/irccloud.com/x-zwkowpuhxqfhjstz) (Quit: Connection closed for inactivity)
2020-10-22 23:05:09 +0200avoandmayo(~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-22 23:05:55 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-10-22 23:06:10 +0200 <ComposerMike> I started getting AesonExcpetions when Stack tries to download the resolver build plan .. this seems to have happened right after I tried to use ghcup to install a default system ghc.. any ideas?
2020-10-22 23:06:17 +0200stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 23:06:26 +0200stefan-__(~cri@42dots.de)
2020-10-22 23:06:34 +0200crestfallen(~John@135-180-15-188.fiber.dynamic.sonic.net) (Remote host closed the connection)
2020-10-22 23:07:31 +0200crestfallen(~John@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-22 23:07:36 +0200 <ComposerMike> for instance, “Error in $.pcakages.cassave.contraints.flags[‘bytestring-lt_0_1_4’]: invalid file name”
2020-10-22 23:08:01 +0200mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 246 seconds)
2020-10-22 23:08:23 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer)
2020-10-22 23:08:52 +0200conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 23:09:15 +0200Lord_of_Life(~Lord@46.217.219.190)
2020-10-22 23:09:16 +0200Lord_of_Life(~Lord@46.217.219.190) (Changing host)
2020-10-22 23:09:16 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-10-22 23:09:22 +0200ericsagnes(~ericsagne@2405:6580:0:5100:15c:9b88:93:51eb)
2020-10-22 23:10:58 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 23:11:14 +0200hololeap(~hololeap@unaffiliated/hololeap) (Ping timeout: 272 seconds)
2020-10-22 23:11:14 +0200hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-22 23:11:45 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 23:12:34 +0200crestfallen(~John@135-180-15-188.fiber.dynamic.sonic.net) (Remote host closed the connection)
2020-10-22 23:12:37 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 23:12:49 +0200conal(~conal@64.71.133.70)
2020-10-22 23:12:55 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 23:13:03 +0200ComposerMike(~Mike@047-037-150-174.res.spectrum.com) (Quit: ComposerMike)
2020-10-22 23:13:26 +0200 <merijn> Which stack version?
2020-10-22 23:13:38 +0200crestfallen(~John@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-22 23:14:23 +0200hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-22 23:15:47 +0200ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 23:24:13 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-22 23:24:50 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 23:25:52 +0200erolm_a(~erolm_a@62.18.212.252) (Ping timeout: 246 seconds)
2020-10-22 23:25:59 +0200son0p(~son0p@181.136.122.143)
2020-10-22 23:26:20 +0200erolm_a(~erolm_a@62.18.212.252)
2020-10-22 23:27:29 +0200karanlikmadde(~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) (Quit: karanlikmadde)
2020-10-22 23:27:56 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-10-22 23:30:11 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-22 23:30:44 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-22 23:31:14 +0200conal(~conal@64.71.133.70)
2020-10-22 23:32:32 +0200karanlikmadde(~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9)
2020-10-22 23:33:43 +0200ech(~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-22 23:34:01 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-22 23:34:07 +0200britva(~britva@2a02:aa13:7240:2980:b1bf:9c31:7687:bea1) (Quit: This computer has gone to sleep)
2020-10-22 23:35:46 +0200Ariakenom(~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: Leaving)
2020-10-22 23:36:09 +0200hiroaki(~hiroaki@2a02:908:4b18:e20::e363)
2020-10-22 23:36:46 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-22 23:36:56 +0200GyroW(~GyroW@d54c03e98.access.telenet.be)
2020-10-22 23:36:56 +0200GyroW(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-22 23:36:56 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 23:37:00 +0200hiroaki(~hiroaki@2a02:908:4b18:e20::e363) (Remote host closed the connection)
2020-10-22 23:37:09 +0200polyrain(~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a)
2020-10-22 23:37:28 +0200mbomba(~mbomba@142.114.9.241)
2020-10-22 23:38:00 +0200hiroaki(~hiroaki@2a02:908:4b18:e20::e363)
2020-10-22 23:40:46 +0200Tops2(~Tobias@dyndsl-095-033-023-169.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-10-22 23:42:34 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 23:43:04 +0200crestfallen(~John@135-180-15-188.fiber.dynamic.sonic.net) (Remote host closed the connection)
2020-10-22 23:45:58 +0200crestfallen_(~John@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-22 23:46:25 +0200LKoen(~LKoen@81.255.219.130) (Remote host closed the connection)
2020-10-22 23:46:57 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-22 23:47:11 +0200ech(~user@gateway/tor-sasl/ech)
2020-10-22 23:47:59 +0200pjrt(~pjrt@pool-108-21-216-76.nycmny.fios.verizon.net) (Quit: WeeChat 2.9)
2020-10-22 23:48:11 +0200sqrt2_(~ben@unaffiliated/sqrt2) (Ping timeout: 246 seconds)
2020-10-22 23:48:14 +0200conal(~conal@64.71.133.70)
2020-10-22 23:48:59 +0200dansho(~dansho@ip68-108-167-185.lv.lv.cox.net)
2020-10-22 23:49:20 +0200irc_user(uid423822@gateway/web/irccloud.com/x-ytqlliqaiojyqsrz)
2020-10-22 23:50:02 +0200 <dansho> does anyone know how to do a 1d convolution on multiple channel data with massiv?
2020-10-22 23:50:11 +0200sqrt2(~ben@unaffiliated/sqrt2)
2020-10-22 23:50:21 +0200 <dansho> i have a 6x3 input (6 samples, 3 channels)
2020-10-22 23:51:01 +0200worc3131(~quassel@2a02:c7f:c026:9500:a0d2:b9d1:42a4:69b4) (Ping timeout: 272 seconds)
2020-10-22 23:51:01 +0200 <dansho> and stencil 3x3 (width 3, channels 3)
2020-10-22 23:51:56 +0200 <dansho> mapStencil seems to be doing a 2d convolution though so it produces a 6x3 output instead of 6x1
2020-10-22 23:52:57 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-10-22 23:53:04 +0200polyrain(~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 23:53:09 +0200babygnu(~robert@gateway/tor-sasl/babygnu) (Remote host closed the connection)
2020-10-22 23:53:27 +0200a3Dman(~3Dman@unaffiliated/a3dman) (Ping timeout: 260 seconds)
2020-10-22 23:53:28 +0200babygnu(~robert@gateway/tor-sasl/babygnu)
2020-10-22 23:54:18 +0200cohn(~noone@unaffiliated/cohn) (Ping timeout: 265 seconds)
2020-10-22 23:54:34 +0200cohn(~noone@unaffiliated/cohn)
2020-10-22 23:55:07 +0200rotaerk(~rotaerk@ender.afternet.org) (Ping timeout: 260 seconds)
2020-10-22 23:55:30 +0200a3Dman(~3Dman@unaffiliated/a3dman)
2020-10-22 23:56:11 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-22 23:57:06 +0200rprije(~rprije@110-175-117-18.tpgi.com.au) (Ping timeout: 256 seconds)
2020-10-22 23:57:22 +0200rprije(~rprije@194-193-168-77.tpgi.com.au)
2020-10-22 23:57:41 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Read error: Connection reset by peer)
2020-10-22 23:58:30 +0200notnatebtw(~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-22 23:58:58 +0200notnatebtw(~nate@110.138.18.157)