2020-10-22 00:00:07 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) |
2020-10-22 00:01:00 +0200 | jedws | (~jedws@101.184.148.229) |
2020-10-22 00:01:13 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 00:01:40 +0200 | stefan-__ | (~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 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 246 seconds) |
2020-10-22 00:03:26 +0200 | aidecoe | (~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 +0200 | britva | (~britva@2a02:aa13:7240:2980:b1bf:9c31:7687:bea1) (Quit: This computer has gone to sleep) |
2020-10-22 00:06:19 +0200 | justsomeguy | (~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 +0200 | kori | (~kori@2804:14c:85a3:9105::1000) |
2020-10-22 00:10:25 +0200 | kori | (~kori@2804:14c:85a3:9105::1000) (Changing host) |
2020-10-22 00:10:25 +0200 | kori | (~kori@arrowheads/kori) |
2020-10-22 00:10:25 +0200 | dhouthoo | (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9) |
2020-10-22 00:10:40 +0200 | phadej | (phadej@tiku.daug.net) () |
2020-10-22 00:11:57 +0200 | hackage | b9 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 +0200 | redeemed | (~rd@2a02:2f0b:b20a:d200:75cb:8151:518a:825f) (Ping timeout: 272 seconds) |
2020-10-22 00:12:24 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection) |
2020-10-22 00:12:30 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
2020-10-22 00:12:34 +0200 | AlterEgo- | (~ladew@124-198-158-163.dynamic.caiway.nl) (Read error: Connection reset by peer) |
2020-10-22 00:12:48 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-10-22 00:12:50 +0200 | falafel | (~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 +0200 | texasmyn_ | (~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 +0200 | texasmynsted | (~texasmyns@104.140.52.83) |
2020-10-22 00:18:35 +0200 | <texasmynsted> | hello |
2020-10-22 00:20:13 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
2020-10-22 00:21:01 +0200 | notnatebtw | (~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 +0200 | arw | (~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 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
2020-10-22 00:25:59 +0200 | justsomeguy | (~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 +0200 | hackage | ukrainian-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 +0200 | AceNovo | (~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 +0200 | AceNovo | (~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 +0200 | thir | (~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 +0200 | aidecoe | (~aidecoe@unaffiliated/aidecoe) |
2020-10-22 00:31:01 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2020-10-22 00:31:25 +0200 | Tops2 | (~Tobias@dyndsl-095-033-090-095.ewe-ip-backbone.de) |
2020-10-22 00:32:16 +0200 | Pitaya | (~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 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
2020-10-22 00:34:20 +0200 | karanlikmadde | (~karanlikm@2a01:c22:b046:2a00:218a:97bb:be49:dab9) (Quit: karanlikmadde) |
2020-10-22 00:34:30 +0200 | whatisRT | (~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 +0200 | britva | (~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 +0200 | AceNovo | (~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 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) |
2020-10-22 00:36:57 +0200 | heatsink | (~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 +0200 | p8m | (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 +0200 | Deide | (~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 +0200 | chaosmasttter | (~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 +0200 | tzh | (~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 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) (Quit: Konversation terminated!) |
2020-10-22 00:44:25 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
2020-10-22 00:44:35 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) |
2020-10-22 00:47:18 +0200 | AceNovo | (~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 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 00:47:41 +0200 | stefan-__ | (~cri@42dots.de) |
2020-10-22 00:47:44 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) |
2020-10-22 00:47:48 +0200 | merijn | (~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 +0200 | xerox_ | (~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 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) (Client Quit) |
2020-10-22 00:51:01 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) |
2020-10-22 00:51:41 +0200 | ukari | (~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 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) (Client Quit) |
2020-10-22 00:52:47 +0200 | ukari | (~ukari@unaffiliated/ukari) |
2020-10-22 00:52:49 +0200 | babygnu | (~robert@gateway/tor-sasl/babygnu) (Remote host closed the connection) |
2020-10-22 00:52:53 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) |
2020-10-22 00:53:11 +0200 | dansho | (~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 +0200 | ahmr88 | (~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 +0200 | borne | (~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 +0200 | bitmagie | (~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 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
2020-10-22 01:02:55 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 246 seconds) |
2020-10-22 01:03:29 +0200 | ukari | (~ukari@unaffiliated/ukari) |
2020-10-22 01:03:46 +0200 | dcoutts_ | (~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 +0200 | AceNovo | (~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 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) |
2020-10-22 01:05:30 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) (Client Quit) |
2020-10-22 01:05:54 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) |
2020-10-22 01:08:12 +0200 | conal | (~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 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
2020-10-22 01:12:13 +0200 | dxld | (~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 +0200 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
2020-10-22 01:14:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-10-22 01:14:02 +0200 | Ferdiran1 | (~max@2001:4c78:2012:5000::2) (Ping timeout: 244 seconds) |
2020-10-22 01:14:10 +0200 | Ferdirand | (~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 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) (Quit: Konversation terminated!) |
2020-10-22 01:16:23 +0200 | oisdk_ | (~oisdk@2001:bb6:3329:d100:110c:4b45:443f:14f0) |
2020-10-22 01:16:24 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) |
2020-10-22 01:16:32 +0200 | dxld | (~dxld@2a01:4f8:201:89ff:7479:df6a:7ab8:8305) |
2020-10-22 01:17:20 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 01:17:27 +0200 | oisdk | (~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 +0200 | merijn | (~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 +0200 | ahmr88 | (~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 +0200 | dhil | (~dhil@195.213.192.122) (Ping timeout: 240 seconds) |
2020-10-22 01:25:03 +0200 | klixto | (~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 +0200 | hekkaidekapus} | 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 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
2020-10-22 01:31:31 +0200 | wroathe_ | (~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 +0200 | wroathe | (~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 +0200 | GyroW_ | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
2020-10-22 01:35:55 +0200 | GyroW_ | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
2020-10-22 01:35:55 +0200 | GyroW_ | (~GyroW@unaffiliated/gyrow) |
2020-10-22 01:36:25 +0200 | wroathe_ | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
2020-10-22 01:36:47 +0200 | Tops2 | (~Tobias@dyndsl-095-033-090-095.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
2020-10-22 01:36:55 +0200 | GyroW | (~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 +0200 | wroathe | (~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 +0200 | AceNovo | (~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 +0200 | alp | (~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 +0200 | dwt | (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) |
2020-10-22 01:44:01 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
2020-10-22 01:44:01 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 01:44:22 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) |
2020-10-22 01:44:23 +0200 | stefan-__ | (~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 +0200 | merijn | (~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 +0200 | alp | (~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 +0200 | darjeeli1 | (~darjeelin@122.245.123.118) (Ping timeout: 260 seconds) |
2020-10-22 01:49:33 +0200 | falafel | (~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 +0200 | LKoen | (~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 +0200 | darjeeli1 | (~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 +0200 | deadk | (e@freenode/staff/spy.edk) (Quit: edk) |
2020-10-22 01:51:30 +0200 | conal | (~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 +0200 | wroathe | (~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 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 01:52:41 +0200 | stefan-__ | (~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 +0200 | olligobber | (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 +0200 | crestfallen | (~john@128.32.176.159) (Quit: Leaving) |
2020-10-22 01:55:45 +0200 | darjeeli1 | (~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 +0200 | crestfallen | (~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 +0200 | darjeeli1 | (~darjeelin@122.245.123.118) |
2020-10-22 01:57:31 +0200 | veverak | (~squirrel@ip-89-102-98-161.net.upcbroadband.cz) (Ping timeout: 246 seconds) |
2020-10-22 02:00:01 +0200 | edk_ | (e@freenode/staff/spy.edk) |
2020-10-22 02:01:00 +0200 | polyrain | (~polyrain@58.161.83.164) |
2020-10-22 02:01:05 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 265 seconds) |
2020-10-22 02:03:37 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Ping timeout: 260 seconds) |
2020-10-22 02:03:59 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
2020-10-22 02:05:33 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 02:05:34 +0200 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer) |
2020-10-22 02:05:43 +0200 | codygman | (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 +0200 | monochrom | morphochrom |
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 +0200 | codygman | (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 +0200 | morphochrom | monsterchrom |
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 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
2020-10-22 02:16:45 +0200 | burg_philo | (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) |
2020-10-22 02:18:52 +0200 | sshine | mshine |
2020-10-22 02:18:59 +0200 | Merfont | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2020-10-22 02:19:11 +0200 | Kaeipi | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
2020-10-22 02:19:17 +0200 | darthfork | (~igloo@8.9.230.47) |
2020-10-22 02:19:47 +0200 | darthfork | (~igloo@8.9.230.47) (Client Quit) |
2020-10-22 02:21:40 +0200 | burg_philo | (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
2020-10-22 02:21:58 +0200 | luto1 | (~luto@185.163.110.116) |
2020-10-22 02:22:25 +0200 | merijn | (~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 +0200 | burg_philo | (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) |
2020-10-22 02:24:14 +0200 | burg_philo | (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) (Client Quit) |
2020-10-22 02:25:34 +0200 | darthfork | (~igloo@8.9.230.47) |
2020-10-22 02:25:41 +0200 | darthfork | (~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 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
2020-10-22 02:27:59 +0200 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
2020-10-22 02:28:09 +0200 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
2020-10-22 02:30:28 +0200 | Wuzzy | (~Wuzzy@p5790ef06.dip0.t-ipconnect.de) (Remote host closed the connection) |
2020-10-22 02:31:25 +0200 | whatisRT | (~whatisRT@2002:5b41:6a33:0:61c5:a3a1:1437:ebe5) (Ping timeout: 240 seconds) |
2020-10-22 02:32:02 +0200 | irc_user | (uid423822@gateway/web/irccloud.com/x-ozudxpdqqqotmvjh) (Quit: Connection closed for inactivity) |
2020-10-22 02:34:51 +0200 | alp | (~alp@2a01:e0a:58b:4920:b176:4a05:144c:cd70) (Ping timeout: 272 seconds) |
2020-10-22 02:35:02 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2020-10-22 02:35:36 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
2020-10-22 02:36:09 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
2020-10-22 02:37:33 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 02:37:34 +0200 | rx_ | (~rx@2607:fea8:2c5f:faea::2277) |
2020-10-22 02:38:52 +0200 | rx_ | (~rx@2607:fea8:2c5f:faea::2277) () |
2020-10-22 02:45:13 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 264 seconds) |
2020-10-22 02:45:44 +0200 | Ferdirand | (~max@2001:4c78:2012:5000::2) (Ping timeout: 246 seconds) |
2020-10-22 02:45:52 +0200 | Ferdirand | (~max@2001:4c78:2012:5000::2) |
2020-10-22 02:47:39 +0200 | elliott_ | (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
2020-10-22 02:48:04 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
2020-10-22 02:48:15 +0200 | elliott_ | (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
2020-10-22 02:49:11 +0200 | Lord_of_Life | (~Lord@46.217.219.190) |
2020-10-22 02:50:42 +0200 | GyroW_ | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
2020-10-22 02:50:52 +0200 | GyroW | (~GyroW@d54C03E98.access.telenet.be) |
2020-10-22 02:50:52 +0200 | GyroW | (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
2020-10-22 02:50:52 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
2020-10-22 02:55:53 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
2020-10-22 02:56:33 +0200 | elliott_ | (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
2020-10-22 02:57:05 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c4b2:ae08:d967:f34e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-10-22 02:57:08 +0200 | Chi1thangoo | (~Chi1thang@87.112.60.168) (Ping timeout: 272 seconds) |
2020-10-22 02:57:18 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-10-22 03:00:26 +0200 | crestfallen | (~john@128.32.176.159) (Quit: Leaving) |
2020-10-22 03:00:43 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 260 seconds) |
2020-10-22 03:00:49 +0200 | dsiypl4 | (~dsiypl4@41.251.199.43) (Quit: Leaving) |
2020-10-22 03:00:59 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de) |
2020-10-22 03:02:15 +0200 | LindaTheUltimate | (3dded63f@61-222-214-63.HINET-IP.hinet.net) |
2020-10-22 03:02:28 +0200 | merijn | (~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 +0200 | nbloomf | (~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 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 03:07:17 +0200 | remexre | (~nathan@207-153-38-50.fttp.usinternet.com) (Read error: Connection reset by peer) |
2020-10-22 03:07:30 +0200 | klixto | (~klixto@130.220.8.131) (Quit: WeeChat 2.9) |
2020-10-22 03:07:47 +0200 | klixto | (~klixto@130.220.8.131) |
2020-10-22 03:08:37 +0200 | remexre | (~nathan@207-153-38-50.fttp.usinternet.com) |
2020-10-22 03:09:37 +0200 | shatriff | (~vitaliish@176.52.219.10) (Remote host closed the connection) |
2020-10-22 03:09:45 +0200 | LKoen | (~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 +0200 | m0rphism | (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 258 seconds) |
2020-10-22 03:12:24 +0200 | LindaTheUltimate | (3dded63f@61-222-214-63.HINET-IP.hinet.net) (Remote host closed the connection) |
2020-10-22 03:14:15 +0200 | infinity0 | (~infinity0@freenet/developer/infinity0) (Ping timeout: 260 seconds) |
2020-10-22 03:17:01 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2020-10-22 03:18:06 +0200 | Merfont | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
2020-10-22 03:18:46 +0200 | Merfont | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2020-10-22 03:18:57 +0200 | hackage | aeson-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 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
2020-10-22 03:21:52 +0200 | ps-auxw | (~arneb@p548c61b6.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2020-10-22 03:21:56 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 03:22:02 +0200 | ukari | (~ukari@unaffiliated/ukari) |
2020-10-22 03:23:31 +0200 | infinity0 | (~infinity0@freenet/developer/infinity0) |
2020-10-22 03:24:57 +0200 | hackage | aeson-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 +0200 | nineonine | (~textual@216.81.48.202) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-10-22 03:27:05 +0200 | plutoniix | (~q@ppp-49-237-23-174.revip6.asianet.co.th) |
2020-10-22 03:27:06 +0200 | Merfont | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
2020-10-22 03:27:25 +0200 | Merfont | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2020-10-22 03:33:15 +0200 | VirusCorona | (~roun@103.103.144.162) |
2020-10-22 03:33:30 +0200 | ps-auxw | (~arneb@p548c6f52.dip0.t-ipconnect.de) |
2020-10-22 03:33:54 +0200 | merijn | (~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 +0200 | plutoniix | (~q@ppp-49-237-23-174.revip6.asianet.co.th) (Ping timeout: 256 seconds) |
2020-10-22 03:36:38 +0200 | polyrain | (~polyrain@58.161.83.164) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-10-22 03:37:54 +0200 | bartemius | (~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 +0200 | bitmagie | (~Thunderbi@200116b806c15c0034a3f18e66d83a15.dip.versatel-1u1.de) (Quit: bitmagie) |
2020-10-22 03:40:31 +0200 | klixto | (~klixto@130.220.8.131) (Quit: WeeChat 2.9) |
2020-10-22 03:42:05 +0200 | bartemius | (~bartemius@109.252.20.20) (Ping timeout: 240 seconds) |
2020-10-22 03:43:54 +0200 | cr3 | (~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 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
2020-10-22 03:44:54 +0200 | mozzarella | (~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 +0200 | nineonine | (~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 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
2020-10-22 03:49:10 +0200 | plutoniix | (~q@175.176.222.7) |
2020-10-22 03:49:31 +0200 | sqrt2_ | (~ben@unaffiliated/sqrt2) |
2020-10-22 03:49:52 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) |
2020-10-22 03:50:20 +0200 | sqrt2 | (~ben@unaffiliated/sqrt2) (Ping timeout: 272 seconds) |
2020-10-22 03:56:05 +0200 | jespada | (~jespada@90.254.245.15) (Ping timeout: 240 seconds) |
2020-10-22 03:56:18 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) (Quit: Konversation terminated!) |
2020-10-22 03:56:33 +0200 | xff0x | (~fox@2001:1a81:529c:a900:2bcb:163b:75a7:c7de) (Ping timeout: 272 seconds) |
2020-10-22 03:56:42 +0200 | AceNovo | (~chris@67-42-33-191.phnx.qwest.net) |
2020-10-22 03:57:27 +0200 | jespada | (~jespada@90.254.243.98) |
2020-10-22 03:57:46 +0200 | xff0x | (~fox@2001:1a81:52d2:ca00:89ce:9368:e8a5:941e) |
2020-10-22 03:58:41 +0200 | AceNovo | (~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 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
2020-10-22 04:06:46 +0200 | lagothrix | Guest47596 |
2020-10-22 04:06:51 +0200 | lagothrix | (~lagothrix@unaffiliated/lagothrix) |
2020-10-22 04:08:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
2020-10-22 04:08:42 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
2020-10-22 04:09:56 +0200 | Guest47596 | (~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 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
2020-10-22 04:14:36 +0200 | whatisRT | (~whatisRT@2002:5b41:6a33:0:61c5:a3a1:1437:ebe5) |
2020-10-22 04:17:14 +0200 | theDon | (~td@94.134.91.5) (Ping timeout: 256 seconds) |
2020-10-22 04:18:54 +0200 | theDon | (~td@94.134.91.18) |
2020-10-22 04:18:56 +0200 | urodna | (~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 +0200 | nbloomf | (~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 +0200 | StoneToad | (~StoneToad@199-167-119-239.ppp.storm.ca) (Ping timeout: 256 seconds) |
2020-10-22 04:25:24 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) |
2020-10-22 04:25:38 +0200 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
2020-10-22 04:26:11 +0200 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
2020-10-22 04:26:44 +0200 | StoneToad | (~StoneToad@199-167-119-239.ppp.storm.ca) |
2020-10-22 04:29:52 +0200 | drbean | (~drbean@TC210-63-209-12.static.apol.com.tw) |
2020-10-22 04:31:10 +0200 | GyroW_ | (~GyroW@d54c03e98.access.telenet.be) |
2020-10-22 04:31:10 +0200 | GyroW_ | (~GyroW@d54c03e98.access.telenet.be) (Changing host) |
2020-10-22 04:31:10 +0200 | GyroW_ | (~GyroW@unaffiliated/gyrow) |
2020-10-22 04:32:03 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
2020-10-22 04:32:11 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds) |
2020-10-22 04:32:53 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
2020-10-22 04:36:20 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2020-10-22 04:36:51 +0200 | veverak | (~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 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-10-22 04:42:18 +0200 | christo | (~chris@81.96.113.213) |
2020-10-22 04:43:18 +0200 | wroathe | (~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 +0200 | merijn | (~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 +0200 | shafox | (~shafox@106.51.234.111) |
2020-10-22 04:48:31 +0200 | justsomeguy | would 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 +0200 | anik | (~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 +0200 | amagi | (716517df@113.101.23.223) |
2020-10-22 04:52:50 +0200 | xerox_ | (~xerox@unaffiliated/xerox) |
2020-10-22 04:54:03 +0200 | <shafox> | ghoulguy, thanks. |
2020-10-22 04:54:25 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2020-10-22 04:54:26 +0200 | texasmynsted | (~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 +0200 | texasmyn_ | (~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 +0200 | yumh | (~yumh@mail.xglobe.in) (Ping timeout: 246 seconds) |
2020-10-22 04:58:40 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds) |
2020-10-22 04:59:59 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
2020-10-22 05:00:01 +0200 | luto1 | (~luto@185.163.110.116) () |
2020-10-22 05:00:04 +0200 | haasn | (~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 +0200 | haasn | (~nand@mpv/developer/haasn) |
2020-10-22 05:01:46 +0200 | amagi_ | (~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 +0200 | anik | (~anik@103.23.207.130) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
2020-10-22 05:04:32 +0200 | visage_ | (~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 +0200 | amagi_ | (~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 +0200 | visage_ | (~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 +0200 | amagi_ | (~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 +0200 | berberman|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 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-10-22 05:23:53 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
2020-10-22 05:24:47 +0200 | vqrs | (~vqrs@learnprogramming/regular/vqrs) (Ping timeout: 260 seconds) |
2020-10-22 05:25:16 +0200 | vqrs | (~vqrs@learnprogramming/regular/vqrs) |
2020-10-22 05:26:13 +0200 | aarvar | (~foewfoiew@50.35.43.33) |
2020-10-22 05:26:22 +0200 | Saukk | (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
2020-10-22 05:27:32 +0200 | nineonine | (~textual@216-19-190-182.dyn.novuscom.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-10-22 05:27:41 +0200 | aarvar | (~foewfoiew@50.35.43.33) () |
2020-10-22 05:28:30 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 272 seconds) |
2020-10-22 05:29:16 +0200 | nek0 | (~nek0@mail.nek0.eu) |
2020-10-22 05:29:46 +0200 | revprez_anzio | (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
2020-10-22 05:30:01 +0200 | nineonine | (~textual@216-19-190-182.dyn.novuscom.net) |
2020-10-22 05:30:21 +0200 | revprez_anzio | (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) |
2020-10-22 05:30:51 +0200 | nineonine | (~textual@216-19-190-182.dyn.novuscom.net) (Client Quit) |
2020-10-22 05:35:31 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Read error: Connection reset by peer) |
2020-10-22 05:35:52 +0200 | conal_ | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 05:36:41 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
2020-10-22 05:37:58 +0200 | amagi_ | (~amagi@113.101.23.223) (Quit: Lost terminal) |
2020-10-22 05:38:03 +0200 | visage_ | (~visage_@unaffiliated/visage/x-6658724) |
2020-10-22 05:38:17 +0200 | amagi_ | (~amagi@113.101.23.223) |
2020-10-22 05:38:32 +0200 | amagi_ | (~amagi@113.101.23.223) (Client Quit) |
2020-10-22 05:38:52 +0200 | amagi_ | (~amagi@113.101.23.223) |
2020-10-22 05:39:13 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
2020-10-22 05:39:33 +0200 | whatisRT | (~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 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 246 seconds) |
2020-10-22 05:41:10 +0200 | nyaomi | (~naomi@cpe-74-75-6-125.maine.res.rr.com) (Ping timeout: 246 seconds) |
2020-10-22 05:41:11 +0200 | dansho | (~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving) |
2020-10-22 05:42:11 +0200 | conal_ | (~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 +0200 | VirusCorona | (~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 +0200 | mozzarella | (~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 +0200 | ensyde | (~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 +0200 | polyrain | (~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 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2020-10-22 05:55:22 +0200 | mterwoord | (~mterwoord@195.140.213.38) |
2020-10-22 05:58:40 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) () |
2020-10-22 06:00:01 +0200 | alexelcu | (~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in) |
2020-10-22 06:00:56 +0200 | alexelcu | (~alexelcu@142.93.180.198) |
2020-10-22 06:01:20 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
2020-10-22 06:02:49 +0200 | rekahsoft | (~rekahsoft@fitz10681.telemetry.esentire.com) |
2020-10-22 06:04:41 +0200 | ADG1089 | (~adg1089@122.163.245.127) |
2020-10-22 06:05:38 +0200 | ddellacosta | (~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 +0200 | rekahsoft | (~rekahsoft@fitz10681.telemetry.esentire.com) (Ping timeout: 256 seconds) |
2020-10-22 06:08:41 +0200 | bartemius | (~bartemius@109.252.20.20) |
2020-10-22 06:10:06 +0200 | mirrorbird | (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) |
2020-10-22 06:10:08 +0200 | monsterchrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
2020-10-22 06:12:18 +0200 | <ADG1089> | any comments? |
2020-10-22 06:12:35 +0200 | ADG1089 | (~adg1089@122.163.245.127) () |
2020-10-22 06:12:58 +0200 | monsterchrom | (trebla@216.138.220.146) |
2020-10-22 06:13:35 +0200 | <Squarism> | Tell them you hourly fee |
2020-10-22 06:14:21 +0200 | solonarv | (~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) (Ping timeout: 265 seconds) |
2020-10-22 06:14:41 +0200 | Merfont | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
2020-10-22 06:15:07 +0200 | Merfont | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2020-10-22 06:19:29 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
2020-10-22 06:21:02 +0200 | yumh | (~yumh@mail.xglobe.in) |
2020-10-22 06:21:49 +0200 | nyaomi | (~naomi@cpe-74-75-6-125.maine.res.rr.com) |
2020-10-22 06:21:59 +0200 | visage_ | (~visage_@unaffiliated/visage/x-6658724) (Quit: Textual IRC Client: www.textualapp.com) |
2020-10-22 06:23:49 +0200 | emmanuel_erc | (~user@2604:2000:1382:ce03:94e9:f71a:61cb:48a4) (Read error: Connection reset by peer) |
2020-10-22 06:23:49 +0200 | darjeeli1 | (~darjeelin@122.245.123.118) (Ping timeout: 256 seconds) |
2020-10-22 06:23:58 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
2020-10-22 06:24:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-10-22 06:24:17 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds) |
2020-10-22 06:24:56 +0200 | darjeeli1 | (~darjeelin@122.245.123.118) |
2020-10-22 06:28:40 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 272 seconds) |
2020-10-22 06:29:01 +0200 | drbean | (~drbean@TC210-63-209-12.static.apol.com.tw) (Ping timeout: 264 seconds) |
2020-10-22 06:29:37 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2020-10-22 06:29:55 +0200 | Saukk | (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection) |
2020-10-22 06:30:13 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 264 seconds) |
2020-10-22 06:31:43 +0200 | mmohammadi981266 | (~mmohammad@5.238.182.173) |
2020-10-22 06:34:53 +0200 | Sarma | (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
2020-10-22 06:40:09 +0200 | texasmyn_ | (~texasmyns@217.138.198.228) (Remote host closed the connection) |
2020-10-22 06:40:54 +0200 | texasmynsted | (~texasmyns@217.138.198.228) |
2020-10-22 06:41:46 +0200 | mmohammadi9812 | (~mmohammad@5.238.182.173) |
2020-10-22 06:41:58 +0200 | day_ | (~Unknown@unaffiliated/day) |
2020-10-22 06:45:13 +0200 | day | (~Unknown@unaffiliated/day) (Ping timeout: 264 seconds) |
2020-10-22 06:45:13 +0200 | day_ | day |
2020-10-22 06:45:39 +0200 | texasmynsted | (~texasmyns@217.138.198.228) (Ping timeout: 260 seconds) |
2020-10-22 06:45:39 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 06:45:52 +0200 | stefan-__ | (~cri@42dots.de) |
2020-10-22 06:47:35 +0200 | mmohammadi9812 | (~mmohammad@5.238.182.173) (Quit: Quit) |
2020-10-22 06:47:51 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-10-22 06:48:01 +0200 | mmohammadi9812 | (~mmohammad@5.238.182.173) |
2020-10-22 06:48:28 +0200 | mmohammadi981266 | (~mmohammad@5.238.182.173) (Quit: I quit (╯°□°)╯︵ ┻━┻) |
2020-10-22 06:52:19 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-qkgpowqaqjtdktyy) (Quit: Connection closed for inactivity) |
2020-10-22 06:53:33 +0200 | dolio | (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.1 - https://znc.in) |
2020-10-22 06:54:49 +0200 | mmohammadi9812 | (~mmohammad@5.238.182.173) (Ping timeout: 264 seconds) |
2020-10-22 06:56:16 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
2020-10-22 06:59:19 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
2020-10-22 06:59:33 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-10-22 07:01:02 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds) |
2020-10-22 07:02:55 +0200 | dorkside | (~tdbgamer@208.190.197.222) (Ping timeout: 260 seconds) |
2020-10-22 07:03:27 +0200 | mmohammadi9812 | (~mmohammad@188.210.111.222) |
2020-10-22 07:04:27 +0200 | dolio | (~dolio@haskell/developer/dolio) |
2020-10-22 07:04:30 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-10-22 07:06:34 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds) |
2020-10-22 07:09:43 +0200 | Raito_Bezarius | (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 272 seconds) |
2020-10-22 07:10:08 +0200 | mmohammadi9812 | (~mmohammad@188.210.111.222) (Ping timeout: 256 seconds) |
2020-10-22 07:17:55 +0200 | dorkside | (~tdbgamer@208.190.197.222) |
2020-10-22 07:19:31 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
2020-10-22 07:23:26 +0200 | bitmagie | (~Thunderbi@200116b806fef70051e6f8902f3ffd9c.dip.versatel-1u1.de) |
2020-10-22 07:29:37 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
2020-10-22 07:30:54 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
2020-10-22 07:34:20 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 07:34:42 +0200 | stefan-__ | (~cri@42dots.de) |
2020-10-22 07:35:01 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2020-10-22 07:39:46 +0200 | shatriff | (~vitaliish@176.52.219.10) |
2020-10-22 07:39:49 +0200 | shatriff | (~vitaliish@176.52.219.10) (Remote host closed the connection) |
2020-10-22 07:40:12 +0200 | dorkside | (~tdbgamer@208.190.197.222) (Ping timeout: 258 seconds) |
2020-10-22 07:41:04 +0200 | danso | (~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9) |
2020-10-22 07:42:22 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2020-10-22 07:44:28 +0200 | lep-delete | Guest88073 |
2020-10-22 07:46:12 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
2020-10-22 07:46:30 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
2020-10-22 07:48:15 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
2020-10-22 07:50:28 +0200 | eedgit | (~eedgit@95.179.237.21) |
2020-10-22 07:51:10 +0200 | asheshambasta | (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) |
2020-10-22 07:53:56 +0200 | nineonine | (~textual@216-19-190-182.dyn.novuscom.net) |
2020-10-22 07:55:27 +0200 | mterwoord | (~mterwoord@195.140.213.38) (Remote host closed the connection) |
2020-10-22 07:58:09 +0200 | shatriff | (~vitaliish@176.52.219.10) |
2020-10-22 07:59:39 +0200 | mananamenos_ | (~mananamen@84.122.202.215.dyn.user.ono.com) |
2020-10-22 07:59:45 +0200 | nineonine | (~textual@216-19-190-182.dyn.novuscom.net) (Ping timeout: 258 seconds) |
2020-10-22 08:01:08 +0200 | jespada | (~jespada@90.254.243.98) (Ping timeout: 272 seconds) |
2020-10-22 08:01:27 +0200 | simplegauss | (~simplegau@2001:19f0:ac01:247:5400:ff:fe5c:689f) (Quit: Bye) |
2020-10-22 08:01:27 +0200 | sveit | (~sveit@2001:19f0:ac01:247:5400:ff:fe5c:689f) (Quit: Bye) |
2020-10-22 08:01:49 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
2020-10-22 08:02:35 +0200 | notnatebtw | (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
2020-10-22 08:02:45 +0200 | Xnuk | (~xnuk@vultr.xnu.kr) (Remote host closed the connection) |
2020-10-22 08:02:50 +0200 | nlhowell | (~nlhowell@don28-11.ln.rinet.ru) (Ping timeout: 256 seconds) |
2020-10-22 08:02:57 +0200 | ndbtpo^ | (ndbtpo@ip98-184-89-2.mc.at.cox.net) () |
2020-10-22 08:03:00 +0200 | notnatebtw | (~nate@110.138.18.157) |
2020-10-22 08:03:02 +0200 | erolm_a | (~erolm_a@82.24.185.133) (Ping timeout: 272 seconds) |
2020-10-22 08:03:02 +0200 | Xnuk | (~xnuk@45.76.202.58) |
2020-10-22 08:03:04 +0200 | TooDifficult | (~TooDiffic@139.59.59.230) |
2020-10-22 08:03:36 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-10-22 08:04:01 +0200 | tsrt^ | (tsrt@ip98-184-89-2.mc.at.cox.net) |
2020-10-22 08:04:12 +0200 | jespada | (~jespada@90.254.243.98) |
2020-10-22 08:04:53 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
2020-10-22 08:06:20 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 244 seconds) |
2020-10-22 08:07:31 +0200 | shatriff | (~vitaliish@176.52.219.10) (Remote host closed the connection) |
2020-10-22 08:07:40 +0200 | sveit | (~sveit@45.77.0.246) |
2020-10-22 08:07:55 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
2020-10-22 08:08:11 +0200 | simplegauss | (~simplegau@2001:19f0:ac01:247:5400:ff:fe5c:689f) |
2020-10-22 08:08:31 +0200 | nlhowell | (~nlhowell@don28-11.ln.rinet.ru) |
2020-10-22 08:08:43 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2020-10-22 08:09:39 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds) |
2020-10-22 08:12:05 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 240 seconds) |
2020-10-22 08:12:45 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2020-10-22 08:13:13 +0200 | babygnu | (~robert@gateway/tor-sasl/babygnu) |
2020-10-22 08:13:49 +0200 | babygnu | (~robert@gateway/tor-sasl/babygnu) (Remote host closed the connection) |
2020-10-22 08:14:27 +0200 | notnatebtw | (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
2020-10-22 08:14:49 +0200 | notnatebtw | (~nate@110.138.18.157) |
2020-10-22 08:15:08 +0200 | TooDifficult | (~TooDiffic@139.59.59.230) (Quit: TooDifficult) |
2020-10-22 08:15:19 +0200 | jsynacek | (~jsynacek@ip-185-149-130-112.kmenet.cz) |
2020-10-22 08:16:07 +0200 | chele | (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) |
2020-10-22 08:17:00 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
2020-10-22 08:19:47 +0200 | cole-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 +0200 | DataComputist | (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...) |
2020-10-22 08:21:53 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-10-22 08:26:59 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
2020-10-22 08:29:42 +0200 | coot | (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) |
2020-10-22 08:30:52 +0200 | alexelcu | (~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in) |
2020-10-22 08:31:11 +0200 | alexelcu | (~alexelcu@142.93.180.198) |
2020-10-22 08:31:18 +0200 | Varis | (~Tadas@unaffiliated/varis) |
2020-10-22 08:31:35 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 260 seconds) |
2020-10-22 08:32:44 +0200 | bergsans | (~bergsans@c80-217-8-29.bredband.comhem.se) |
2020-10-22 08:33:40 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
2020-10-22 08:34:11 +0200 | seanvert | (~user@177.84.244.242) (Remote host closed the connection) |
2020-10-22 08:34:16 +0200 | notnatebtw | (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
2020-10-22 08:34:52 +0200 | notnatebtw | (~nate@110.138.18.157) |
2020-10-22 08:34:59 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
2020-10-22 08:35:33 +0200 | DataComputist | (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
2020-10-22 08:36:33 +0200 | notnatebtw | (~nate@110.138.18.157) (Client Quit) |
2020-10-22 08:36:56 +0200 | notnatebtw | (~nate@110.138.18.157) |
2020-10-22 08:38:27 +0200 | thir | (~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 +0200 | jedws | (~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-10-22 08:41:06 +0200 | mbomba | (~mbomba@142.114.9.241) |
2020-10-22 08:42:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-10-22 08:44:16 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
2020-10-22 08:44:17 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
2020-10-22 08:44:17 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
2020-10-22 08:44:52 +0200 | dorkside | (~tdbgamer@208.190.197.222) |
2020-10-22 08:45:13 +0200 | GyroW_ | (~GyroW@unaffiliated/gyrow) (Ping timeout: 264 seconds) |
2020-10-22 08:45:24 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2020-10-22 08:46:04 +0200 | danvet_ | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
2020-10-22 08:50:22 +0200 | DataComputist | (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 256 seconds) |
2020-10-22 08:50:26 +0200 | Sanchayan | (~Sanchayan@122.181.211.206) |
2020-10-22 08:50:45 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2020-10-22 08:51:14 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
2020-10-22 08:51:46 +0200 | DataComputist | (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
2020-10-22 08:51:51 +0200 | kritzefitz | (~kritzefit@fw-front.credativ.com) |
2020-10-22 08:52:06 +0200 | redeemed | (~rd@2a02:2f0b:b20a:d200:75cb:8151:518a:825f) |
2020-10-22 08:53:49 +0200 | Suntop1 | (~Suntop@84.39.117.57) |
2020-10-22 08:54:01 +0200 | dhouthoo | (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) |
2020-10-22 08:55:20 +0200 | Cthalupa | (~cthulhu@47.186.47.75) (Ping timeout: 258 seconds) |
2020-10-22 08:56:00 +0200 | Cthalupa | (~cthulhu@47.186.47.75) |
2020-10-22 08:56:06 +0200 | redeemed` | (~rd@79.115.163.113) |
2020-10-22 08:58:15 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-zkmqxnjkmjnikczm) (Quit: Connection closed for inactivity) |
2020-10-22 08:59:34 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
2020-10-22 08:59:55 +0200 | redeemed | (~rd@2a02:2f0b:b20a:d200:75cb:8151:518a:825f) (Ping timeout: 272 seconds) |
2020-10-22 09:05:21 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
2020-10-22 09:07:07 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
2020-10-22 09:11:26 +0200 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 272 seconds) |
2020-10-22 09:12:29 +0200 | jedws | (~jedws@101.184.148.229) |
2020-10-22 09:13:40 +0200 | Alexthek1d | (~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 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2020-10-22 09:16:25 +0200 | Lord_of_Life | (~Lord@46.217.219.190) (Changing host) |
2020-10-22 09:16:25 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
2020-10-22 09:16:49 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
2020-10-22 09:16:51 +0200 | bgamari | (~bgamari@72.65.103.227) (Ping timeout: 260 seconds) |
2020-10-22 09:17:02 +0200 | bgamari | (~bgamari@72.65.102.2) |
2020-10-22 09:17:16 +0200 | merijn | (~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 +0200 | Sgeo | (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
2020-10-22 09:18:16 +0200 | amagi | (716517df@113.101.23.223) (Remote host closed the connection) |
2020-10-22 09:18:49 +0200 | berberman|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 +0200 | Hand | (~Highand@58.33.36.170) |
2020-10-22 09:22:59 +0200 | <Alexthek1d> | ye me2 |
2020-10-22 09:23:15 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-10-22 09:23:18 +0200 | alp | (~alp@88.126.45.36) |
2020-10-22 09:24:19 +0200 | <yushyin> | so did you try stack? |
2020-10-22 09:25:13 +0200 | Hand | (~Highand@58.33.36.170) (Client Quit) |
2020-10-22 09:25:19 +0200 | karanlikmadde | (~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 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
2020-10-22 09:30:23 +0200 | hiroaki | (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2020-10-22 09:30:57 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2020-10-22 09:33:22 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit) |
2020-10-22 09:33:52 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
2020-10-22 09:34:02 +0200 | GyroW | (~GyroW@d54C03E98.access.telenet.be) |
2020-10-22 09:34:02 +0200 | GyroW | (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
2020-10-22 09:34:02 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
2020-10-22 09:34:19 +0200 | gxt | (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection) |
2020-10-22 09:35:01 +0200 | mbomba | (~mbomba@142.114.9.241) (Quit: WeeChat 2.9) |
2020-10-22 09:35:01 +0200 | gxt | (~gxt@gateway/tor-sasl/gxt) |
2020-10-22 09:35:56 +0200 | sveit | (~sveit@45.77.0.246) (Quit: Bye) |
2020-10-22 09:35:56 +0200 | simplegauss | (~simplegau@2001:19f0:ac01:247:5400:ff:fe5c:689f) (Quit: Bye) |
2020-10-22 09:37:22 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds) |
2020-10-22 09:37:25 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
2020-10-22 09:42:03 +0200 | jedws | (~jedws@101.184.148.229) (Remote host closed the connection) |
2020-10-22 09:42:44 +0200 | jedws | (~jedws@101.184.148.229) |
2020-10-22 09:43:54 +0200 | bitmagie | (~Thunderbi@200116b806fef70051e6f8902f3ffd9c.dip.versatel-1u1.de) (Quit: bitmagie) |
2020-10-22 09:44:44 +0200 | jedws | (~jedws@101.184.148.229) (Client Quit) |
2020-10-22 09:47:24 +0200 | jedws | (~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 +0200 | mananamenos_ | (~mananamen@84.122.202.215.dyn.user.ono.com) (Read error: Connection reset by peer) |
2020-10-22 09:48:35 +0200 | oldsk00l_ | (~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 +0200 | mananamenos_ | (~mananamen@84.122.202.215.dyn.user.ono.com) |
2020-10-22 09:48:50 +0200 | christo | (~chris@81.96.113.213) (Read error: Connection reset by peer) |
2020-10-22 09:48:56 +0200 | oldsk00l | (~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) |
2020-10-22 09:49:04 +0200 | wowi42 | (~wowi42@51.15.249.183) (Quit: Kowa Bunga!!!) |
2020-10-22 09:49:15 +0200 | terrorjack | (~terrorjac@static.23.111.201.195.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
2020-10-22 09:49:18 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
2020-10-22 09:49:24 +0200 | christo | (~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 +0200 | wowi42 | (~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 +0200 | devalot | (~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 +0200 | terrorjack | (~terrorjac@static.23.111.201.195.clients.your-server.de) |
2020-10-22 09:50:25 +0200 | heatsink | (~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 +0200 | Cthalupa | (~cthulhu@47.186.47.75) (Ping timeout: 260 seconds) |
2020-10-22 09:51:51 +0200 | saurik | (saurik@carrier.saurik.com) (Ping timeout: 260 seconds) |
2020-10-22 09:51:56 +0200 | rembo10 | (~rembo10@wally.codeshy.com) (Remote host closed the connection) |
2020-10-22 09:51:57 +0200 | devalot | (~ident@mail.pmade.com) |
2020-10-22 09:51:57 +0200 | nerdypepper | (nerdypeppe@152.67.160.69) (Quit: bye) |
2020-10-22 09:52:13 +0200 | rembo10 | (~rembo10@wally.codeshy.com) |
2020-10-22 09:52:19 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
2020-10-22 09:52:35 +0200 | Cthalupa | (~cthulhu@47.186.47.75) |
2020-10-22 09:52:36 +0200 | Sanchayan | (~Sanchayan@122.181.211.206) (Quit: leaving) |
2020-10-22 09:52:39 +0200 | borne | (~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3) |
2020-10-22 09:52:44 +0200 | saurik | (saurik@carrier.saurik.com) |
2020-10-22 09:52:47 +0200 | is_null | (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 260 seconds) |
2020-10-22 09:52:56 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2020-10-22 09:53:11 +0200 | nerdypepper | (nerdypeppe@152.67.160.69) |
2020-10-22 09:53:15 +0200 | phaul | (~phaul@ruby/staff/phaul) (Ping timeout: 260 seconds) |
2020-10-22 09:53:38 +0200 | chaosmasttter | (~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de) |
2020-10-22 09:53:43 +0200 | is_null | (~jpic@pdpc/supporter/professional/is-null) |
2020-10-22 09:54:15 +0200 | phaul | (~phaul@ruby/staff/phaul) |
2020-10-22 09:57:53 +0200 | borne | (~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3) (Quit: WeeChat 2.9) |
2020-10-22 09:58:00 +0200 | borne | (~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3) |
2020-10-22 09:59:17 +0200 | GyroW_ | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
2020-10-22 09:59:18 +0200 | GyroW_ | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
2020-10-22 09:59:18 +0200 | GyroW_ | (~GyroW@unaffiliated/gyrow) |
2020-10-22 09:59:45 +0200 | shafox | (~shafox@106.51.234.111) (Ping timeout: 240 seconds) |
2020-10-22 10:00:43 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds) |
2020-10-22 10:03:18 +0200 | jonathanx | (~jonathan@dyn-8-sc.cdg.chalmers.se) |
2020-10-22 10:04:15 +0200 | karanlikmadde | (~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) (Quit: karanlikmadde) |
2020-10-22 10:06:40 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
2020-10-22 10:12:26 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
2020-10-22 10:12:36 +0200 | Franciman | (~francesco@host-82-54-10-114.retail.telecomitalia.it) |
2020-10-22 10:14:43 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
2020-10-22 10:16:36 +0200 | bgamari | (~bgamari@72.65.102.2) (Ping timeout: 258 seconds) |
2020-10-22 10:17:02 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds) |
2020-10-22 10:18:20 +0200 | bgamari | (~bgamari@72.65.102.29) |
2020-10-22 10:21:00 +0200 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-widejiobrxcglhbz) (Quit: Connection closed for inactivity) |
2020-10-22 10:24:25 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2020-10-22 10:26:10 +0200 | bgamari | (~bgamari@72.65.102.29) (Ping timeout: 272 seconds) |
2020-10-22 10:28:23 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds) |
2020-10-22 10:29:03 +0200 | bgamari | (~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 +0200 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
2020-10-22 10:34:31 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
2020-10-22 10:35:05 +0200 | cyphase | (~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds) |
2020-10-22 10:37:27 +0200 | fendor_ | (~fendor@194-96-53-70.hdsl.highway.telekom.at) |
2020-10-22 10:38:45 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2020-10-22 10:39:11 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2020-10-22 10:40:28 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
2020-10-22 10:42:38 +0200 | datajerk | (~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 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 10:49:17 +0200 | AlterEgo- | (~ladew@124-198-158-163.dynamic.caiway.nl) |
2020-10-22 10:50:13 +0200 | jedws | (~jedws@101.184.148.229) (Ping timeout: 246 seconds) |
2020-10-22 10:50:31 +0200 | datajerk | (~datajerk@sense.net) |
2020-10-22 10:51:19 +0200 | Raito_Bezarius | (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) |
2020-10-22 10:53:40 +0200 | jedws | (~jedws@101.184.148.229) |
2020-10-22 10:53:55 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
2020-10-22 10:55:27 +0200 | cyphase | (~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 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 11:00:01 +0200 | Suntop1 | (~Suntop@84.39.117.57) () |
2020-10-22 11:00:07 +0200 | mozzarel1 | (~sam@unaffiliated/sam113101) |
2020-10-22 11:01:22 +0200 | gmind[m] | (gmindmatri@gateway/shell/matrix.org/x-ytyzdnndqsmeegde) ("Kicked by @appservice-irc:matrix.org : Idle for 30+ days") |
2020-10-22 11:01:51 +0200 | mozzarella | (~sam@unaffiliated/sam113101) (Ping timeout: 260 seconds) |
2020-10-22 11:01:53 +0200 | mozzarel1 | mozzarella |
2020-10-22 11:04:11 +0200 | heatsink | (~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 +0200 | ensyde | (~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 +0200 | cfricke | (~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 +0200 | DavidEichmann | (~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 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds) |
2020-10-22 11:11:55 +0200 | lindaTheUltimate | (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 +0200 | hc | looks surprised |
2020-10-22 11:14:44 +0200 | erolm_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 +0200 | thc202 | (~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 +0200 | ubert | (~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 +0200 | geowiesnot | (~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 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 11:22:14 +0200 | bgamari | (~bgamari@72.65.104.154) (Ping timeout: 265 seconds) |
2020-10-22 11:22:35 +0200 | stefan-__ | (~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 +0200 | bgamari | (~bgamari@72.65.104.77) |
2020-10-22 11:25:20 +0200 | cfricke | (~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 +0200 | Perry79 | (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 +0200 | polyrain | (~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 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 11:32:10 +0200 | stefan-__ | (~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 +0200 | hackage | splitmix 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 +0200 | cristi | (~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 +0200 | acidjnk_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 +0200 | chaosmasttter | (~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 +0200 | shatriff | (~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 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 11:44:43 +0200 | stefan-__ | (~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 +0200 | jedws | (~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-10-22 11:48:03 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
2020-10-22 11:48:33 +0200 | cristi | (~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 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
2020-10-22 11:52:11 +0200 | lindaTheUltimate | (3dded63f@61-222-214-63.HINET-IP.hinet.net) (Remote host closed the connection) |
2020-10-22 11:52:43 +0200 | sveit | (~sveit@2001:19f0:ac01:247:5400:ff:fe5c:689f) |
2020-10-22 11:53:14 +0200 | simplegauss | (~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 +0200 | tsdgeos | (~tsdgeos@195.206.169.184) |
2020-10-22 11:55:19 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 256 seconds) |
2020-10-22 12:01:06 +0200 | dcoutts_ | (~duncan@33.14.75.194.dyn.plus.net) |
2020-10-22 12:01:19 +0200 | Rudd0 | (~Rudd0@185.189.115.103) |
2020-10-22 12:02:09 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
2020-10-22 12:03:17 +0200 | Gurkenglas | (~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 +0200 | klixto | (~klixto@49.188.65.219) |
2020-10-22 12:08:28 +0200 | bgamari | (~bgamari@72.65.104.77) (Ping timeout: 260 seconds) |
2020-10-22 12:09:05 +0200 | MVQq | (~anja@198.254.202.72) |
2020-10-22 12:09:06 +0200 | bgamari | (~bgamari@72.65.102.81) |
2020-10-22 12:09:15 +0200 | christo | (~chris@81.96.113.213) |
2020-10-22 12:09:19 +0200 | MarcelineVQ | (~anja@198.254.202.72) (Ping timeout: 246 seconds) |
2020-10-22 12:12:58 +0200 | karanlikmadde | (~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) |
2020-10-22 12:13:54 +0200 | christo | (~chris@81.96.113.213) (Ping timeout: 258 seconds) |
2020-10-22 12:15:51 +0200 | mapperr | (~mapperr@vmi389916.contaboserver.net) (Remote host closed the connection) |
2020-10-22 12:16:48 +0200 | mapperr | (~mapperr@vmi389916.contaboserver.net) |
2020-10-22 12:17:01 +0200 | rprije | (~rprije@110-175-117-18.tpgi.com.au) (Ping timeout: 264 seconds) |
2020-10-22 12:17:39 +0200 | kuribas | (~user@ptr-25vy0i7rxaeig7h3jwv.18120a2.ip6.access.telenet.be) |
2020-10-22 12:20:31 +0200 | tsdgeos | (~tsdgeos@195.206.169.184) (Ping timeout: 246 seconds) |
2020-10-22 12:24:49 +0200 | heatsink | (~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 +0200 | Kolkrabe | (~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 +0200 | Perry79 | (6ee39f85@110.227.159.133) (Remote host closed the connection) |
2020-10-22 12:29:40 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
2020-10-22 12:32:56 +0200 | forgottenone | (~forgotten@176.88.100.210) |
2020-10-22 12:33:08 +0200 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) (Quit: killed) |
2020-10-22 12:34:08 +0200 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) |
2020-10-22 12:35:05 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
2020-10-22 12:39:57 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2020-10-22 12:41:07 +0200 | ericsagnes | (~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 +0200 | klixto | (~klixto@49.188.65.219) (Quit: WeeChat 2.9) |
2020-10-22 12:45:08 +0200 | heatsink | (~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 +0200 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) (Quit: killed) |
2020-10-22 12:49:43 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
2020-10-22 12:50:29 +0200 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) |
2020-10-22 12:51:19 +0200 | Chi1thangoo | (~Chi1thang@87.112.60.168) |
2020-10-22 12:53:06 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:e4cc:251e:e67d:9b13) |
2020-10-22 12:54:36 +0200 | Guest88073 | lep-delete |
2020-10-22 12:55:05 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 12:55:23 +0200 | stefan-__ | (~cri@42dots.de) |
2020-10-22 12:57:27 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Read error: Connection reset by peer) |
2020-10-22 12:58:33 +0200 | cfricke | (~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 +0200 | kiwi_35 | (66b6dd1d@gateway/web/cgi-irc/kiwiirc.com/ip.102.182.221.29) |
2020-10-22 13:02:12 +0200 | voet | (~voet@84.39.117.57) |
2020-10-22 13:03:52 +0200 | kiwi_35 | (66b6dd1d@gateway/web/cgi-irc/kiwiirc.com/ip.102.182.221.29) (Client Quit) |
2020-10-22 13:04:48 +0200 | son0p | (~son0p@181.58.39.86) |
2020-10-22 13:06:25 +0200 | m0rphism | (~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 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Read error: Connection reset by peer) |
2020-10-22 13:06:48 +0200 | ensyde | (~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 +0200 | machinedgod | (~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 +0200 | heatsink | (~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 +0200 | ensyde | (~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 +0200 | brisbin | (~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 +0200 | heatsink | (~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 +0200 | britva | (~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 +0200 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
2020-10-22 13:23:22 +0200 | DirefulSalt | (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 +0200 | Stanley00 | (~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 +0200 | Ariakenom | (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) |
2020-10-22 13:28:34 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 13:28:53 +0200 | stefan-__ | (~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 +0200 | avoandmayo | (~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 +0200 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 265 seconds) |
2020-10-22 13:36:34 +0200 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) |
2020-10-22 13:41:59 +0200 | plutoniix | (~q@175.176.222.7) (Quit: Leaving) |
2020-10-22 13:44:26 +0200 | GyroW_ | (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
2020-10-22 13:44:43 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
2020-10-22 13:44:43 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
2020-10-22 13:44:43 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
2020-10-22 13:45:37 +0200 | dhil | (~dhil@195.213.192.122) |
2020-10-22 13:48:05 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 256 seconds) |
2020-10-22 13:48:19 +0200 | Sanchayan | (~Sanchayan@122.181.211.206) |
2020-10-22 13:51:20 +0200 | olligobber | (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 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
2020-10-22 13:52:38 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2020-10-22 13:54:32 +0200 | Ariakenom | (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
2020-10-22 13:56:58 +0200 | hackage | antiope-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 +0200 | hackage | antiope-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 +0200 | voet | (~voet@84.39.117.57) () |
2020-10-22 14:02:09 +0200 | edk_ | deadk |
2020-10-22 14:03:10 +0200 | urodna | (~urodna@unaffiliated/urodna) |
2020-10-22 14:03:52 +0200 | SanchayanM | (~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 +0200 | Sanchayan | (~Sanchayan@122.181.211.206) (Ping timeout: 246 seconds) |
2020-10-22 14:05:39 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-fjkcgpxmhvapxtfm) (Quit: Connection closed for inactivity) |
2020-10-22 14:07:17 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) |
2020-10-22 14:08:03 +0200 | SanchayanM | (~Sanchayan@106.200.205.180) (Client Quit) |
2020-10-22 14:08:59 +0200 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 260 seconds) |
2020-10-22 14:09:32 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
2020-10-22 14:09:42 +0200 | GyroW | (~GyroW@d54C03E98.access.telenet.be) |
2020-10-22 14:09:42 +0200 | GyroW | (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
2020-10-22 14:09:42 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
2020-10-22 14:10:34 +0200 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) |
2020-10-22 14:13:22 +0200 | Chi1thangoo | (~Chi1thang@87.112.60.168) (Ping timeout: 256 seconds) |
2020-10-22 14:15:21 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
2020-10-22 14:17:03 +0200 | elliott_ | (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
2020-10-22 14:17:40 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
2020-10-22 14:17:50 +0200 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) |
2020-10-22 14:20:31 +0200 | texasmynsted | (~texasmyns@104.140.52.99) |
2020-10-22 14:21:11 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
2020-10-22 14:22:06 +0200 | Ariakenom | (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) |
2020-10-22 14:22:49 +0200 | Kolkrabe | (~user@unaffiliated/siracusa) |
2020-10-22 14:24:39 +0200 | chindy | (~quassel@51.15.63.78) (Remote host closed the connection) |
2020-10-22 14:25:31 +0200 | chindy | (~quassel@51.15.63.78) |
2020-10-22 14:27:10 +0200 | brisbin | (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) |
2020-10-22 14:29:15 +0200 | berberman_ | (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds) |
2020-10-22 14:29:51 +0200 | berberman | (~berberman@unaffiliated/berberman) |
2020-10-22 14:30:43 +0200 | <typetetris> | 8.8.4 works fine |
2020-10-22 14:31:28 +0200 | hackage | call-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 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de) |
2020-10-22 14:34:48 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) (Quit: Textual IRC Client: www.textualapp.com) |
2020-10-22 14:35:09 +0200 | babygnu | (~robert@gateway/tor-sasl/babygnu) |
2020-10-22 14:36:09 +0200 | Sarma | (~Amras@unaffiliated/amras0000) |
2020-10-22 14:36:37 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2020-10-22 14:37:22 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 14:39:43 +0200 | notnatebtw | (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
2020-10-22 14:40:13 +0200 | Pitaya | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
2020-10-22 14:42:02 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
2020-10-22 14:42:02 +0200 | tmciver | (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 272 seconds) |
2020-10-22 14:42:45 +0200 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
2020-10-22 14:43:17 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
2020-10-22 14:43:19 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 246 seconds) |
2020-10-22 14:44:15 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
2020-10-22 14:45:04 +0200 | carlomagno1 | (~cararell@148.87.23.5) |
2020-10-22 14:45:05 +0200 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) |
2020-10-22 14:47:12 +0200 | carlomagno | (~cararell@148.87.23.9) (Remote host closed the connection) |
2020-10-22 14:50:21 +0200 | invaser | (~Thunderbi@31.148.23.125) |
2020-10-22 14:50:37 +0200 | StoneToad | (~StoneToad@199-167-119-239.ppp.storm.ca) (Ping timeout: 264 seconds) |
2020-10-22 14:52:36 +0200 | tirej | (~tirej@unaffiliated/tirej) |
2020-10-22 14:55:16 +0200 | pixel_ | (~pixel_@178.238.229.54) |
2020-10-22 14:56:36 +0200 | elliott_ | (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
2020-10-22 14:56:37 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds) |
2020-10-22 14:56:53 +0200 | vacm | (~vacwm@70.23.92.191) |
2020-10-22 14:59:53 +0200 | GyroW_ | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
2020-10-22 14:59:54 +0200 | GyroW_ | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
2020-10-22 14:59:54 +0200 | GyroW_ | (~GyroW@unaffiliated/gyrow) |
2020-10-22 15:00:19 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds) |
2020-10-22 15:01:34 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
2020-10-22 15:02:46 +0200 | shatriff | (~vitaliish@176.52.219.10) (Remote host closed the connection) |
2020-10-22 15:02:54 +0200 | elliott_ | (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
2020-10-22 15:04:51 +0200 | shatriff | (~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 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
2020-10-22 15:07:55 +0200 | son0p | (~son0p@181.58.39.86) (Quit: leaving) |
2020-10-22 15:08:55 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 15:09:21 +0200 | christo | (~chris@81.96.113.213) |
2020-10-22 15:10:53 +0200 | sandman13 | (~sandman@unaffiliated/sandman13) |
2020-10-22 15:12:12 +0200 | ensyde | (~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 +0200 | heatsink | (~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 +0200 | erolm_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 +0200 | christo | (~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 +0200 | christo | (~chris@81.96.113.213) |
2020-10-22 15:18:08 +0200 | <yushyin> | haskell2020 now! |
2020-10-22 15:18:51 +0200 | visage_ | (~visage_@unaffiliated/visage/x-6658724) |
2020-10-22 15:19:10 +0200 | heatsink | (~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 +0200 | tmciver | (~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 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
2020-10-22 15:25:03 +0200 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds) |
2020-10-22 15:28:19 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2020-10-22 15:30:16 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
2020-10-22 15:30:34 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:dc3b:a165:56fa:c9b) (Remote host closed the connection) |
2020-10-22 15:31:01 +0200 | Chi1thangoo | (~Chi1thang@87.112.60.168) |
2020-10-22 15:32:59 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
2020-10-22 15:33:51 +0200 | rotaerk | (rotaerk@2600:3c02::f03c:91ff:fe70:4a45) (Ping timeout: 272 seconds) |
2020-10-22 15:34:56 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer) |
2020-10-22 15:36:22 +0200 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
2020-10-22 15:36:39 +0200 | erolm_a | (~erolm_a@62.18.212.252) |
2020-10-22 15:38:05 +0200 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) |
2020-10-22 15:38:14 +0200 | sandman13 | (~sandman@unaffiliated/sandman13) (Quit: Leaving...) |
2020-10-22 15:38:59 +0200 | ph88 | (~ph88@ip5f5af0cc.dynamic.kabel-deutschland.de) |
2020-10-22 15:39:42 +0200 | daydaynatation | (~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 +0200 | ukari | (~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 +0200 | justsomeguy | (~justsomeg@216.186.218.241) |
2020-10-22 15:41:11 +0200 | justsomeguy | (~justsomeg@216.186.218.241) (Changing host) |
2020-10-22 15:41:11 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
2020-10-22 15:41:24 +0200 | geekosaur | (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 +0200 | ukari | (~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 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 246 seconds) |
2020-10-22 15:44:04 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 15:44:17 +0200 | MVQq | (~anja@198.254.202.72) (Quit: q) |
2020-10-22 15:44:55 +0200 | MarcelineVQ | (~anja@198.254.202.72) |
2020-10-22 15:46:22 +0200 | heatsink | (~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 +0200 | fendor__ | (~fendor@91.141.1.218.wireless.dyn.drei.com) |
2020-10-22 15:48:56 +0200 | rotaerk | (~rotaerk@ender.afternet.org) |
2020-10-22 15:50:45 +0200 | fendor | (~fendor@91.141.3.69.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
2020-10-22 15:50:52 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
2020-10-22 15:51:52 +0200 | Raito_Bezarius | (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (Remote host closed the connection) |
2020-10-22 15:52:38 +0200 | Raito_Bezarius | (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) |
2020-10-22 15:53:22 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:158c:de0d:7c87:d7c7) |
2020-10-22 15:53:27 +0200 | pixel_ | (~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 +0200 | nbloomf | (~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 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 15:56:55 +0200 | stefan-__ | (~cri@42dots.de) |
2020-10-22 15:57:30 +0200 | sendak | (~sendak@94.229.74.91) |
2020-10-22 15:59:31 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
2020-10-22 16:00:38 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
2020-10-22 16:01:45 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
2020-10-22 16:03:24 +0200 | jonathanx | (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
2020-10-22 16:03:56 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 256 seconds) |
2020-10-22 16:07:04 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 16:08:41 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
2020-10-22 16:10:50 +0200 | ubert1 | (~Thunderbi@ip5b407406.dynamic.kabel-deutschland.de) |
2020-10-22 16:11:40 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Client Quit) |
2020-10-22 16:11:43 +0200 | dhil | (~dhil@195.213.192.122) (Ping timeout: 260 seconds) |
2020-10-22 16:11:51 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Ping timeout: 272 seconds) |
2020-10-22 16:11:51 +0200 | ubert1 | ubert |
2020-10-22 16:11:52 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
2020-10-22 16:11:57 +0200 | StoneToad | (~StoneToad@199-167-119-164.ppp.storm.ca) |
2020-10-22 16:12:48 +0200 | invaser | (~Thunderbi@31.148.23.125) |
2020-10-22 16:13:53 +0200 | mceier | (~mceier@89-68-132-187.dynamic.chello.pl) (Quit: leaving) |
2020-10-22 16:14:31 +0200 | daydaynatation | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
2020-10-22 16:14:42 +0200 | GyroW_ | (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
2020-10-22 16:15:01 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
2020-10-22 16:15:02 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
2020-10-22 16:15:02 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
2020-10-22 16:16:02 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
2020-10-22 16:16:12 +0200 | mceier | (~mceier@89-68-132-187.dynamic.chello.pl) |
2020-10-22 16:17:59 +0200 | ddellacosta | (~dd@86.106.121.168) |
2020-10-22 16:19:29 +0200 | jjhoo | (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (Ping timeout: 246 seconds) |
2020-10-22 16:20:08 +0200 | jjhoo | (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) |
2020-10-22 16:22:02 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-usqgjetlamaxjqlh) |
2020-10-22 16:24:04 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 16:24:16 +0200 | dhil | (~dhil@openvpn-125-1027.inf.ed.ac.uk) |
2020-10-22 16:25:04 +0200 | stree | (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception) |
2020-10-22 16:25:22 +0200 | stree | (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) |
2020-10-22 16:26:53 +0200 | alp | (~alp@88.126.45.36) (Remote host closed the connection) |
2020-10-22 16:27:14 +0200 | alp | (~alp@2a01:e0a:58b:4920:1917:422e:237d:9e1) |
2020-10-22 16:30:22 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:8c51:e657:bdba:514a) |
2020-10-22 16:30:25 +0200 | DataComputist | (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...) |
2020-10-22 16:31:44 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:8c51:e657:bdba:514a) (Client Quit) |
2020-10-22 16:31:58 +0200 | karanlikmadde | (~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) (Quit: karanlikmadde) |
2020-10-22 16:32:45 +0200 | Sgeo | (~Sgeo@ool-18b982ad.dyn.optonline.net) |
2020-10-22 16:33:03 +0200 | babygnu | (~robert@gateway/tor-sasl/babygnu) (Ping timeout: 240 seconds) |
2020-10-22 16:33:05 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Read error: Connection reset by peer) |
2020-10-22 16:33:46 +0200 | babygnu | (~robert@gateway/tor-sasl/babygnu) |
2020-10-22 16:34:56 +0200 | karanlikmadde | (~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) |
2020-10-22 16:35:16 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 16:35:23 +0200 | irc_user | (uid423822@gateway/web/irccloud.com/x-smhoufshstxnpiwh) |
2020-10-22 16:35:36 +0200 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 256 seconds) |
2020-10-22 16:36:20 +0200 | shafox | (~shafox@106.51.234.111) |
2020-10-22 16:36:28 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
2020-10-22 16:40:55 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2020-10-22 16:43:35 +0200 | knupfer | (~Thunderbi@200116b824e61300a15c6f312f497d6e.dip.versatel-1u1.de) |
2020-10-22 16:44:43 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 16:46:11 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2020-10-22 16:46:26 +0200 | bitmapper | (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 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
2020-10-22 16:50:00 +0200 | Deide | (~Deide@217.155.19.23) |
2020-10-22 16:50:00 +0200 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-kxtnycxbgunquota) |
2020-10-22 16:50:33 +0200 | <dminuoso> | ph88: Yes. |
2020-10-22 16:54:17 +0200 | alp | (~alp@2a01:e0a:58b:4920:1917:422e:237d:9e1) (Ping timeout: 272 seconds) |
2020-10-22 16:54:45 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection) |
2020-10-22 16:55:44 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
2020-10-22 16:56:22 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2020-10-22 16:57:57 +0200 | texasmynsted | (~texasmyns@104.140.52.99) (Remote host closed the connection) |
2020-10-22 16:58:54 +0200 | fendor_ | (~fendor@194-96-53-70.hdsl.highway.telekom.at) (Remote host closed the connection) |
2020-10-22 16:59:29 +0200 | kini | (~kini@unaffiliated/kini) (Remote host closed the connection) |
2020-10-22 17:00:02 +0200 | sendak | (~sendak@94.229.74.91) () |
2020-10-22 17:02:42 +0200 | bartemius | (~bartemius@109.252.20.20) (Remote host closed the connection) |
2020-10-22 17:03:35 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:e4cc:251e:e67d:9b13) (Ping timeout: 246 seconds) |
2020-10-22 17:04:51 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
2020-10-22 17:05:10 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
2020-10-22 17:05:10 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
2020-10-22 17:05:10 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
2020-10-22 17:06:57 +0200 | borne | (~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3) (Ping timeout: 272 seconds) |
2020-10-22 17:07:29 +0200 | seanvert | (~user@177.84.244.242) |
2020-10-22 17:08:31 +0200 | kini | (~kini@unaffiliated/kini) |
2020-10-22 17:08:32 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
2020-10-22 17:10:39 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
2020-10-22 17:11:09 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 17:11:20 +0200 | Deide | (~Deide@217.155.19.23) |
2020-10-22 17:11:59 +0200 | raichoo | (~raichoo@213.240.178.58) |
2020-10-22 17:12:57 +0200 | Deide | (~Deide@217.155.19.23) (Client Quit) |
2020-10-22 17:13:32 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds) |
2020-10-22 17:14:15 +0200 | Pitaya | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds) |
2020-10-22 17:14:32 +0200 | Deide | (~Deide@217.155.19.23) |
2020-10-22 17:15:56 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
2020-10-22 17:16:00 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:7866:3a49:bf86:234b) |
2020-10-22 17:17:57 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
2020-10-22 17:21:26 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 17:22:22 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
2020-10-22 17:23:33 +0200 | lidenbrock | (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 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
2020-10-22 17:26:47 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-10-22 17:27:41 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
2020-10-22 17:27:58 +0200 | jneira | (501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250) (Ping timeout: 272 seconds) |
2020-10-22 17:28:42 +0200 | kritzefitz | (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
2020-10-22 17:31:06 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
2020-10-22 17:31:09 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
2020-10-22 17:31:46 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 17:32:36 +0200 | nbloomf | (~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 +0200 | britva | (~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 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
2020-10-22 17:36:51 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
2020-10-22 17:38:27 +0200 | hackage | tzdata 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 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 17:38:40 +0200 | stefan-__ | (~cri@42dots.de) |
2020-10-22 17:39:21 +0200 | lidenbrock | (bd21e61f@189.33.230.31) () |
2020-10-22 17:40:47 +0200 | knupfer | (~Thunderbi@200116b824e61300a15c6f312f497d6e.dip.versatel-1u1.de) (Quit: knupfer) |
2020-10-22 17:41:04 +0200 | knupfer | (~Thunderbi@200116b824e6130098a94da731634c1e.dip.versatel-1u1.de) |
2020-10-22 17:43:07 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
2020-10-22 17:44:14 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) (Max SendQ exceeded) |
2020-10-22 17:44:16 +0200 | xerox_ | (~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds) |
2020-10-22 17:44:42 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
2020-10-22 17:45:54 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) (Max SendQ exceeded) |
2020-10-22 17:46:24 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
2020-10-22 17:46:51 +0200 | texasmynsted | (~texasmyns@104.140.52.115) |
2020-10-22 17:48:45 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2020-10-22 17:49:17 +0200 | isBEKaml | (~~.~@42.110.181.139) |
2020-10-22 17:50:17 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2020-10-22 17:52:02 +0200 | texasmynsted | (~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 +0200 | isBEKaml | (~~.~@42.110.181.139) (Changing host) |
2020-10-22 17:53:48 +0200 | isBEKaml | (~~.~@unaffiliated/isbekaml) |
2020-10-22 17:54:22 +0200 | nbloomf | (~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 +0200 | beaups | (~beaups@84.39.117.57) |
2020-10-22 17:55:40 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
2020-10-22 17:55:45 +0200 | tomsmeding | requests to ignore my comments, I also don't know exactly how this all works |
2020-10-22 17:55:56 +0200 | bartemius | (~bartemius@109-252-20-20.nat.spd-mgts.ru) |
2020-10-22 17:57:27 +0200 | Tops2 | (~Tobias@dyndsl-095-033-023-169.ewe-ip-backbone.de) |
2020-10-22 17:58:17 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 17:58:18 +0200 | alp | (~alp@2a01:e0a:58b:4920:5923:f989:36c2:80ef) |
2020-10-22 17:58:41 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
2020-10-22 18:00:28 +0200 | chele | (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2020-10-22 18:00:33 +0200 | Rudd0 | (~Rudd0@185.189.115.108) |
2020-10-22 18:02:10 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2020-10-22 18:06:38 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
2020-10-22 18:07:40 +0200 | ukari | (~ukari@unaffiliated/ukari) |
2020-10-22 18:07:58 +0200 | hackage | tz 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 +0200 | dhil | (~dhil@openvpn-125-1027.inf.ed.ac.uk) (Ping timeout: 260 seconds) |
2020-10-22 18:10:48 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds) |
2020-10-22 18:12:05 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2020-10-22 18:14:11 +0200 | mshine | simon |
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 +0200 | xerox_ | (~xerox@unaffiliated/xerox) |
2020-10-22 18:21:42 +0200 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) |
2020-10-22 18:21:50 +0200 | dhil | (~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 +0200 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 246 seconds) |
2020-10-22 18:23:40 +0200 | mceier | (~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 +0200 | erolm_a | (~erolm_a@62.18.212.252) (Ping timeout: 256 seconds) |
2020-10-22 18:24:28 +0200 | hackage | cobot-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 +0200 | erolm_a | (~erolm_a@62.18.212.252) |
2020-10-22 18:24:46 +0200 | invaser | (~Thunderbi@31.148.23.125) |
2020-10-22 18:26:29 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2020-10-22 18:28:12 +0200 | Ariakenom | (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: Leaving) |
2020-10-22 18:28:57 +0200 | hackage | ngx-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 +0200 | solonarv | (~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) |
2020-10-22 18:31:11 +0200 | mceier | (~mceier@89-68-132-187.dynamic.chello.pl) |
2020-10-22 18:31:46 +0200 | mceier | (~mceier@89-68-132-187.dynamic.chello.pl) (Client Quit) |
2020-10-22 18:32:11 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
2020-10-22 18:33:26 +0200 | mceier | (~mceier@89-68-132-187.dynamic.chello.pl) |
2020-10-22 18:37:15 +0200 | borne | (~fritjof@200116b86425bd0087e6f2bfc1189587.dip.versatel-1u1.de) |
2020-10-22 18:37:35 +0200 | ubert | (~Thunderbi@ip5b407406.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2020-10-22 18:37:50 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
2020-10-22 18:39:28 +0200 | bergsans | (~bergsans@c80-217-8-29.bredband.comhem.se) (Remote host closed the connection) |
2020-10-22 18:41:58 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2020-10-22 18:42:12 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2020-10-22 18:42:17 +0200 | walt | (~ggVGc@141-136-155-251.dsl.iskon.hr) |
2020-10-22 18:42:27 +0200 | walt | (~ggVGc@141-136-155-251.dsl.iskon.hr) (Client Quit) |
2020-10-22 18:42:50 +0200 | Pitaya | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
2020-10-22 18:44:28 +0200 | hackage | darcs 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 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
2020-10-22 18:46:34 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 256 seconds) |
2020-10-22 18:47:15 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
2020-10-22 18:49:03 +0200 | isBEKaml | (~~.~@unaffiliated/isbekaml) (Quit: Leaving) |
2020-10-22 18:50:46 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
2020-10-22 18:52:43 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
2020-10-22 18:52:51 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
2020-10-22 18:52:58 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2020-10-22 18:53:45 +0200 | Lycurgus | (~niemand@98.4.96.235) |
2020-10-22 18:54:34 +0200 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
2020-10-22 18:56:59 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2020-10-22 18:57:43 +0200 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds) |
2020-10-22 18:58:32 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Remote host closed the connection) |
2020-10-22 18:58:40 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
2020-10-22 18:58:59 +0200 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) |
2020-10-22 19:00:14 +0200 | awasey | (~awasey@cpc105064-sgyl40-2-0-cust444.18-2.cable.virginm.net) |
2020-10-22 19:02:15 +0200 | fendor__ | fendor |
2020-10-22 19:02:34 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
2020-10-22 19:03:12 +0200 | kuribas | (~user@ptr-25vy0i7rxaeig7h3jwv.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
2020-10-22 19:03:49 +0200 | awasey | (~awasey@cpc105064-sgyl40-2-0-cust444.18-2.cable.virginm.net) (Client Quit) |
2020-10-22 19:04:50 +0200 | Pitaya | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 258 seconds) |
2020-10-22 19:05:02 +0200 | irc_user | (uid423822@gateway/web/irccloud.com/x-smhoufshstxnpiwh) (Quit: Connection closed for inactivity) |
2020-10-22 19:05:53 +0200 | LKoen | (~LKoen@81.255.219.130) |
2020-10-22 19:06:36 +0200 | Pitaya | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
2020-10-22 19:09:17 +0200 | ensyde | (~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 +0200 | heatsink | (~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 +0200 | Plantain | (~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 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds) |
2020-10-22 19:16:49 +0200 | justache | justHaunted |
2020-10-22 19:17:27 +0200 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds) |
2020-10-22 19:18:59 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2020-10-22 19:23:25 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2020-10-22 19:26:17 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
2020-10-22 19:26:35 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
2020-10-22 19:26:36 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
2020-10-22 19:26:36 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
2020-10-22 19:27:33 +0200 | mirrorbird | (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Ping timeout: 272 seconds) |
2020-10-22 19:30:21 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:ccf3:9e4f:a615:179a) |
2020-10-22 19:31:59 +0200 | alp | (~alp@2a01:e0a:58b:4920:5923:f989:36c2:80ef) (Ping timeout: 272 seconds) |
2020-10-22 19:36:56 +0200 | taurux | (~taurux@net-188-218-229-119.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
2020-10-22 19:37:15 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 19:37:34 +0200 | stefan-__ | (~cri@42dots.de) |
2020-10-22 19:38:34 +0200 | taurux | (~taurux@net-130-25-101-151.cust.vodafonedsl.it) |
2020-10-22 19:40:14 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
2020-10-22 19:40:58 +0200 | Pitaya | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 272 seconds) |
2020-10-22 19:42:45 +0200 | knupfer | (~Thunderbi@200116b824e6130098a94da731634c1e.dip.versatel-1u1.de) (Remote host closed the connection) |
2020-10-22 19:42:53 +0200 | knupfer | (~Thunderbi@200116b824e6130008091b7016d3a056.dip.versatel-1u1.de) |
2020-10-22 19:43:07 +0200 | redeemed` | (~rd@79.115.163.113) (Quit: q) |
2020-10-22 19:43:09 +0200 | raichoo | (~raichoo@213.240.178.58) (Quit: Lost terminal) |
2020-10-22 19:43:47 +0200 | MarcelineVQ | (~anja@198.254.202.72) (Read error: Connection reset by peer) |
2020-10-22 19:44:30 +0200 | MarcelineVQ | (~anja@198.254.202.72) |
2020-10-22 19:45:21 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 19:45:32 +0200 | geekosaur69 | (82659a09@host154-009.vpn.uakron.edu) |
2020-10-22 19:46:42 +0200 | mirrorbird | (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) |
2020-10-22 19:48:24 +0200 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds) |
2020-10-22 19:49:00 +0200 | geekosaur69 | (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
2020-10-22 19:49:41 +0200 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) |
2020-10-22 19:53:12 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2020-10-22 19:55:00 +0200 | Ariakenom | (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) |
2020-10-22 19:55:07 +0200 | invaser | (~Thunderbi@31.148.23.125) |
2020-10-22 19:56:10 +0200 | xlei | (znc@unaffiliated/xlei) (Quit: ZNC - https://znc.in) |
2020-10-22 19:57:25 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2020-10-22 19:57:28 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
2020-10-22 19:59:17 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Remote host closed the connection) |
2020-10-22 19:59:46 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) |
2020-10-22 19:59:51 +0200 | asheshambasta | (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
2020-10-22 20:00:02 +0200 | beaups | (~beaups@84.39.117.57) () |
2020-10-22 20:00:26 +0200 | xlei | (znc@unaffiliated/xlei) |
2020-10-22 20:01:54 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
2020-10-22 20:02:29 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
2020-10-22 20:02:39 +0200 | knightpp_ | (~knightpp@195.189.234.98) |
2020-10-22 20:02:56 +0200 | knightpp_ | (~knightpp@195.189.234.98) (Client Quit) |
2020-10-22 20:03:03 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 20:03:11 +0200 | Pitaya | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
2020-10-22 20:04:11 +0200 | thir | (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2020-10-22 20:05:03 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds) |
2020-10-22 20:06:27 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 260 seconds) |
2020-10-22 20:08:12 +0200 | ystael | (~ystael@209.6.50.55) (Ping timeout: 272 seconds) |
2020-10-22 20:09:15 +0200 | pjrt | (~pjrt@pool-108-21-216-76.nycmny.fios.verizon.net) |
2020-10-22 20:10:50 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 20:10:51 +0200 | thir | (~thir@p4febc6a5.dip0.t-ipconnect.de) |
2020-10-22 20:11:05 +0200 | alp | (~alp@2a01:e0a:58b:4920:44cc:a22e:2b7b:c759) |
2020-10-22 20:12:09 +0200 | Quarl | (~Quarl@94.191.136.95.mobile.tre.se) |
2020-10-22 20:12:09 +0200 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds) |
2020-10-22 20:14:40 +0200 | dcoutts_ | (~duncan@33.14.75.194.dyn.plus.net) (Remote host closed the connection) |
2020-10-22 20:15:06 +0200 | dcoutts_ | (~duncan@33.14.75.194.dyn.plus.net) |
2020-10-22 20:15:25 +0200 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
2020-10-22 20:15:35 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2020-10-22 20:15:52 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 20:16:06 +0200 | raichoo | (~raichoo@dslb-084-062-118-149.084.062.pools.vodafone-ip.de) |
2020-10-22 20:16:21 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
2020-10-22 20:16:40 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
2020-10-22 20:16:40 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
2020-10-22 20:16:40 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
2020-10-22 20:18:23 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
2020-10-22 20:25:35 +0200 | erolm_a | (~erolm_a@62.18.212.252) (Ping timeout: 260 seconds) |
2020-10-22 20:25:56 +0200 | erolm_a | (~erolm_a@62.18.212.252) |
2020-10-22 20:28:27 +0200 | jle` | (~mstksg@cpe-23-240-75-236.socal.res.rr.com) |
2020-10-22 20:28:27 +0200 | jle` | (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host) |
2020-10-22 20:28:27 +0200 | jle` | (~mstksg@unaffiliated/mstksg) |
2020-10-22 20:32:18 +0200 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) |
2020-10-22 20:33:03 +0200 | erolm_a | (~erolm_a@62.18.212.252) (Ping timeout: 260 seconds) |
2020-10-22 20:33:50 +0200 | erolm_a | (~erolm_a@62.18.212.252) |
2020-10-22 20:35:11 +0200 | chaosmasttter | (~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de) |
2020-10-22 20:39:55 +0200 | notnatebtw | (~nate@110.138.18.157) |
2020-10-22 20:41:26 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
2020-10-22 20:41:43 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
2020-10-22 20:41:43 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
2020-10-22 20:41:43 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
2020-10-22 20:45:52 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds) |
2020-10-22 20:47:38 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 20:50:39 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
2020-10-22 20:52:10 +0200 | Iwawa | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
2020-10-22 20:52:30 +0200 | irc_user | (uid423822@gateway/web/irccloud.com/x-zwkowpuhxqfhjstz) |
2020-10-22 20:52:53 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de) |
2020-10-22 20:52:53 +0200 | Pitaya | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds) |
2020-10-22 20:55:01 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 246 seconds) |
2020-10-22 20:55:30 +0200 | Guest76304 | (~davidfisc@178.238.229.54) |
2020-10-22 20:55:42 +0200 | Kaivo | (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) (Ping timeout: 272 seconds) |
2020-10-22 20:56:42 +0200 | bartemius | (~bartemius@109-252-20-20.nat.spd-mgts.ru) (Remote host closed the connection) |
2020-10-22 20:58:01 +0200 | Kaivo | (~Kaivo@104-200-86-99.mc.derytele.com) |
2020-10-22 21:01:14 +0200 | jneira | (501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250) |
2020-10-22 21:02:14 +0200 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection) |
2020-10-22 21:03:14 +0200 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) |
2020-10-22 21:03:29 +0200 | berberman_ | (~berberman@unaffiliated/berberman) |
2020-10-22 21:04:27 +0200 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds) |
2020-10-22 21:05:12 +0200 | Kaivo | (~Kaivo@104-200-86-99.mc.derytele.com) (Ping timeout: 272 seconds) |
2020-10-22 21:06:21 +0200 | alp | (~alp@2a01:e0a:58b:4920:44cc:a22e:2b7b:c759) (Ping timeout: 272 seconds) |
2020-10-22 21:07:11 +0200 | Franciman | (~francesco@host-82-54-10-114.retail.telecomitalia.it) (Quit: Leaving) |
2020-10-22 21:07:21 +0200 | Kaivo | (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) |
2020-10-22 21:08:43 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2020-10-22 21:08:57 +0200 | hackage | versions 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 +0200 | ensyde | (~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 +0200 | ystael | (~ystael@209.6.50.55) |
2020-10-22 21:11:18 +0200 | hiroaki | (~hiroaki@2a02:908:4b18:e20::e363) |
2020-10-22 21:13:01 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
2020-10-22 21:14:16 +0200 | acidjnk_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 +0200 | ensyde | (~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 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
2020-10-22 21:16:22 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
2020-10-22 21:17:57 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2020-10-22 21:18:15 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 21:19:09 +0200 | jespada | (~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 +0200 | Quarl | (~Quarl@94.191.136.95.mobile.tre.se) (Read error: Connection reset by peer) |
2020-10-22 21:19:32 +0200 | conal | (~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 +0200 | jespada | (~jespada@90.254.243.98) |
2020-10-22 21:21:39 +0200 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Read error: Connection reset by peer) |
2020-10-22 21:22:00 +0200 | knupfer | (~Thunderbi@200116b824e6130008091b7016d3a056.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
2020-10-22 21:22:15 +0200 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
2020-10-22 21:23:22 +0200 | thir | (~thir@p4febc6a5.dip0.t-ipconnect.de) (Remote host closed the connection) |
2020-10-22 21:25:13 +0200 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
2020-10-22 21:28:00 +0200 | kav | (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) (Ping timeout: 272 seconds) |
2020-10-22 21:28:03 +0200 | thir | (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) |
2020-10-22 21:30:29 +0200 | aarvar | (~foewfoiew@50.35.43.33) |
2020-10-22 21:30:49 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 21:30:59 +0200 | aarvar | (~foewfoiew@50.35.43.33) () |
2020-10-22 21:31:16 +0200 | reppertj | (~textual@pool-96-246-209-59.nycmny.fios.verizon.net) |
2020-10-22 21:31:34 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
2020-10-22 21:31:54 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
2020-10-22 21:31:54 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
2020-10-22 21:31:54 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
2020-10-22 21:32:20 +0200 | alp | (~alp@2a01:e0a:58b:4920:d80c:9dfe:7aa1:7540) |
2020-10-22 21:34:13 +0200 | thir | (~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 +0200 | mbomba | (~mbomba@142.114.9.241) |
2020-10-22 21:39:13 +0200 | shafox | (~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 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:7866:3a49:bf86:234b) (Ping timeout: 246 seconds) |
2020-10-22 21:42:28 +0200 | coot | (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2020-10-22 21:43:32 +0200 | Alexthek1d | (~JJJ@p5b3ae7e8.dip0.t-ipconnect.de) (Quit: Leaving) |
2020-10-22 21:47:00 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
2020-10-22 21:47:03 +0200 | kav | (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) |
2020-10-22 21:47:06 +0200 | Tario | (~Tario@201.192.165.173) |
2020-10-22 21:47:16 +0200 | knupfer | (~Thunderbi@mue-88-130-61-228.dsl.tropolys.de) |
2020-10-22 21:48:11 +0200 | erolm_a | (~erolm_a@62.18.212.252) (Ping timeout: 260 seconds) |
2020-10-22 21:48:31 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
2020-10-22 21:49:54 +0200 | oisdk_ | (~oisdk@2001:bb6:3329:d100:110c:4b45:443f:14f0) (Quit: oisdk_) |
2020-10-22 21:50:32 +0200 | dhouthoo | (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9) |
2020-10-22 21:51:23 +0200 | erolm_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 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 21:53:09 +0200 | raichoo | (~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 +0200 | ericsagnes | (~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 +0200 | notnatebtw | (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
2020-10-22 21:57:28 +0200 | notnatebtw | (~nate@110.138.18.157) |
2020-10-22 21:57:32 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
2020-10-22 21:57:59 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 21:58:10 +0200 | stefan-__ | (~cri@42dots.de) |
2020-10-22 21:59:41 +0200 | DavidEichmann | (~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection) |
2020-10-22 22:00:00 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
2020-10-22 22:00:29 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 22:00:54 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Client Quit) |
2020-10-22 22:02:09 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 22:02:23 +0200 | stefan-__ | (~cri@42dots.de) |
2020-10-22 22:03:20 +0200 | rprije | (~rprije@110-175-117-18.tpgi.com.au) |
2020-10-22 22:05:53 +0200 | zariuq | (~zar@fw1.ciirc.cvut.cz) (Remote host closed the connection) |
2020-10-22 22:06:05 +0200 | zariuq | (~zar@fw1.ciirc.cvut.cz) |
2020-10-22 22:06:46 +0200 | thir | (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) |
2020-10-22 22:08:31 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Remote host closed the connection) |
2020-10-22 22:08:40 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2020-10-22 22:08:56 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
2020-10-22 22:09:35 +0200 | forgottenone | (~forgotten@176.88.100.210) (Read error: Connection reset by peer) |
2020-10-22 22:10:05 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 22:10:37 +0200 | djellemah | (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) |
2020-10-22 22:11:01 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 264 seconds) |
2020-10-22 22:12:00 +0200 | zephyz | (~zephyz@2a02:c7f:b0ff:7000:817:8e89:a6:b588) |
2020-10-22 22:13:17 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 22:14:19 +0200 | justan0theruser | (~justanoth@unaffiliated/justanotheruser) |
2020-10-22 22:14:32 +0200 | thir | (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2020-10-22 22:14:32 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
2020-10-22 22:15:31 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
2020-10-22 22:16:39 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
2020-10-22 22:18:03 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
2020-10-22 22:18:25 +0200 | borne | (~fritjof@200116b86425bd0087e6f2bfc1189587.dip.versatel-1u1.de) (Ping timeout: 240 seconds) |
2020-10-22 22:18:55 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 22:19:10 +0200 | stefan-__ | (~cri@42dots.de) |
2020-10-22 22:19:13 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds) |
2020-10-22 22:19:39 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
2020-10-22 22:21:21 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 22:21:35 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Client Quit) |
2020-10-22 22:22:12 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 22:22:23 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Client Quit) |
2020-10-22 22:23:42 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 22:25:54 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 22:26:10 +0200 | stefan-__ | (~cri@42dots.de) |
2020-10-22 22:28:04 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
2020-10-22 22:28:05 +0200 | erolm_a | (~erolm_a@62.18.212.252) (Ping timeout: 240 seconds) |
2020-10-22 22:29:08 +0200 | erolm_a | (~erolm_a@62.18.212.252) |
2020-10-22 22:31:03 +0200 | Majiir | (~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 +0200 | coot | (~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 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
2020-10-22 22:33:52 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 22:34:22 +0200 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds) |
2020-10-22 22:37:18 +0200 | knupfer | (~Thunderbi@mue-88-130-61-228.dsl.tropolys.de) (Ping timeout: 260 seconds) |
2020-10-22 22:37:27 +0200 | hackage | keep-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 +0200 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
2020-10-22 22:38:16 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
2020-10-22 22:40:38 +0200 | hiroaki | (~hiroaki@2a02:908:4b18:e20::e363) (Ping timeout: 246 seconds) |
2020-10-22 22:42:23 +0200 | xff0x | (~fox@2001:1a81:52d2:ca00:89ce:9368:e8a5:941e) (Ping timeout: 246 seconds) |
2020-10-22 22:43:02 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
2020-10-22 22:43:08 +0200 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds) |
2020-10-22 22:43:23 +0200 | xff0x | (~fox@2001:1a81:52d2:ca00:522a:154a:cc26:5e43) |
2020-10-22 22:45:45 +0200 | elliott_ | (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
2020-10-22 22:48:19 +0200 | crestfallen | (~John@135-180-15-188.fiber.dynamic.sonic.net) |
2020-10-22 22:48:50 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-pqhdvcgecdtzmnpf) |
2020-10-22 22:51:05 +0200 | thir | (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) |
2020-10-22 22:51:48 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
2020-10-22 22:51:59 +0200 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) |
2020-10-22 22:54:29 +0200 | britva | (~britva@2a02:aa13:7240:2980:b1bf:9c31:7687:bea1) |
2020-10-22 22:54:38 +0200 | mbomba | (~mbomba@142.114.9.241) (Quit: WeeChat 2.9) |
2020-10-22 22:54:50 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
2020-10-22 22:55:55 +0200 | thir | (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2020-10-22 22:55:58 +0200 | hackage | keep-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 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:e405:3b15:8133:b765) (Ping timeout: 272 seconds) |
2020-10-22 22:59:05 +0200 | chaosmasttter | (~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
2020-10-22 23:00:01 +0200 | Guest76304 | (~davidfisc@178.238.229.54) () |
2020-10-22 23:01:25 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 23:01:37 +0200 | ComposerMike | (~Mike@047-037-150-174.res.spectrum.com) |
2020-10-22 23:03:39 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 258 seconds) |
2020-10-22 23:05:02 +0200 | irc_user | (uid423822@gateway/web/irccloud.com/x-zwkowpuhxqfhjstz) (Quit: Connection closed for inactivity) |
2020-10-22 23:05:09 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
2020-10-22 23:05:55 +0200 | heatsink | (~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 +0200 | stefan-__ | (~cri@42dots.de) (Read error: Connection reset by peer) |
2020-10-22 23:06:26 +0200 | stefan-__ | (~cri@42dots.de) |
2020-10-22 23:06:34 +0200 | crestfallen | (~John@135-180-15-188.fiber.dynamic.sonic.net) (Remote host closed the connection) |
2020-10-22 23:07:31 +0200 | crestfallen | (~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 +0200 | mananamenos_ | (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 246 seconds) |
2020-10-22 23:08:23 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer) |
2020-10-22 23:08:52 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
2020-10-22 23:09:15 +0200 | Lord_of_Life | (~Lord@46.217.219.190) |
2020-10-22 23:09:16 +0200 | Lord_of_Life | (~Lord@46.217.219.190) (Changing host) |
2020-10-22 23:09:16 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
2020-10-22 23:09:22 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:15c:9b88:93:51eb) |
2020-10-22 23:10:58 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
2020-10-22 23:11:14 +0200 | hololeap | (~hololeap@unaffiliated/hololeap) (Ping timeout: 272 seconds) |
2020-10-22 23:11:14 +0200 | hekkaidekapus_ | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
2020-10-22 23:11:45 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 23:12:34 +0200 | crestfallen | (~John@135-180-15-188.fiber.dynamic.sonic.net) (Remote host closed the connection) |
2020-10-22 23:12:37 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2020-10-22 23:12:49 +0200 | conal | (~conal@64.71.133.70) |
2020-10-22 23:12:55 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-10-22 23:13:03 +0200 | ComposerMike | (~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 +0200 | crestfallen | (~John@135-180-15-188.fiber.dynamic.sonic.net) |
2020-10-22 23:14:23 +0200 | hekkaidekapus | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
2020-10-22 23:15:47 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds) |
2020-10-22 23:24:13 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
2020-10-22 23:24:50 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2020-10-22 23:25:52 +0200 | erolm_a | (~erolm_a@62.18.212.252) (Ping timeout: 246 seconds) |
2020-10-22 23:25:59 +0200 | son0p | (~son0p@181.136.122.143) |
2020-10-22 23:26:20 +0200 | erolm_a | (~erolm_a@62.18.212.252) |
2020-10-22 23:27:29 +0200 | karanlikmadde | (~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) (Quit: karanlikmadde) |
2020-10-22 23:27:56 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
2020-10-22 23:30:11 +0200 | ahmr88 | (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
2020-10-22 23:30:44 +0200 | elliott_ | (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
2020-10-22 23:31:14 +0200 | conal | (~conal@64.71.133.70) |
2020-10-22 23:32:32 +0200 | karanlikmadde | (~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) |
2020-10-22 23:33:43 +0200 | ech | (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds) |
2020-10-22 23:34:01 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
2020-10-22 23:34:07 +0200 | britva | (~britva@2a02:aa13:7240:2980:b1bf:9c31:7687:bea1) (Quit: This computer has gone to sleep) |
2020-10-22 23:35:46 +0200 | Ariakenom | (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: Leaving) |
2020-10-22 23:36:09 +0200 | hiroaki | (~hiroaki@2a02:908:4b18:e20::e363) |
2020-10-22 23:36:46 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
2020-10-22 23:36:56 +0200 | GyroW | (~GyroW@d54c03e98.access.telenet.be) |
2020-10-22 23:36:56 +0200 | GyroW | (~GyroW@d54c03e98.access.telenet.be) (Changing host) |
2020-10-22 23:36:56 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
2020-10-22 23:37:00 +0200 | hiroaki | (~hiroaki@2a02:908:4b18:e20::e363) (Remote host closed the connection) |
2020-10-22 23:37:09 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) |
2020-10-22 23:37:28 +0200 | mbomba | (~mbomba@142.114.9.241) |
2020-10-22 23:38:00 +0200 | hiroaki | (~hiroaki@2a02:908:4b18:e20::e363) |
2020-10-22 23:40:46 +0200 | Tops2 | (~Tobias@dyndsl-095-033-023-169.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
2020-10-22 23:42:34 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2020-10-22 23:43:04 +0200 | crestfallen | (~John@135-180-15-188.fiber.dynamic.sonic.net) (Remote host closed the connection) |
2020-10-22 23:45:58 +0200 | crestfallen_ | (~John@135-180-15-188.fiber.dynamic.sonic.net) |
2020-10-22 23:46:25 +0200 | LKoen | (~LKoen@81.255.219.130) (Remote host closed the connection) |
2020-10-22 23:46:57 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
2020-10-22 23:47:11 +0200 | ech | (~user@gateway/tor-sasl/ech) |
2020-10-22 23:47:59 +0200 | pjrt | (~pjrt@pool-108-21-216-76.nycmny.fios.verizon.net) (Quit: WeeChat 2.9) |
2020-10-22 23:48:11 +0200 | sqrt2_ | (~ben@unaffiliated/sqrt2) (Ping timeout: 246 seconds) |
2020-10-22 23:48:14 +0200 | conal | (~conal@64.71.133.70) |
2020-10-22 23:48:59 +0200 | dansho | (~dansho@ip68-108-167-185.lv.lv.cox.net) |
2020-10-22 23:49:20 +0200 | irc_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 +0200 | sqrt2 | (~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 +0200 | worc3131 | (~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 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2020-10-22 23:53:04 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-10-22 23:53:09 +0200 | babygnu | (~robert@gateway/tor-sasl/babygnu) (Remote host closed the connection) |
2020-10-22 23:53:27 +0200 | a3Dman | (~3Dman@unaffiliated/a3dman) (Ping timeout: 260 seconds) |
2020-10-22 23:53:28 +0200 | babygnu | (~robert@gateway/tor-sasl/babygnu) |
2020-10-22 23:54:18 +0200 | cohn | (~noone@unaffiliated/cohn) (Ping timeout: 265 seconds) |
2020-10-22 23:54:34 +0200 | cohn | (~noone@unaffiliated/cohn) |
2020-10-22 23:55:07 +0200 | rotaerk | (~rotaerk@ender.afternet.org) (Ping timeout: 260 seconds) |
2020-10-22 23:55:30 +0200 | a3Dman | (~3Dman@unaffiliated/a3dman) |
2020-10-22 23:56:11 +0200 | mirrorbird | (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving) |
2020-10-22 23:57:06 +0200 | rprije | (~rprije@110-175-117-18.tpgi.com.au) (Ping timeout: 256 seconds) |
2020-10-22 23:57:22 +0200 | rprije | (~rprije@194-193-168-77.tpgi.com.au) |
2020-10-22 23:57:41 +0200 | AlterEgo- | (~ladew@124-198-158-163.dynamic.caiway.nl) (Read error: Connection reset by peer) |
2020-10-22 23:58:30 +0200 | notnatebtw | (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
2020-10-22 23:58:58 +0200 | notnatebtw | (~nate@110.138.18.157) |