2021/03/05

2021-03-05 00:00:19 +0100 <dolio> Laziness isn't going to save you from a worst case quicksort input.
2021-03-05 00:00:48 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2021-03-05 00:01:29 +0100 <shachaf> To pick good pivots for sure, you need to be able to compute the median.
2021-03-05 00:01:36 +0100 <ByteEater> shachaf, it's qsort l = if null l then [] else let (lo,hi) = partition (< head l) (tail l) in qsort lo ++ [head l] ++ qsort hi
2021-03-05 00:01:39 +0100 <Axman6> ByteEater: the easiest way to confirm the answer is to step through the evaluation by hand. It definitely sounds like what you want is not possible though
2021-03-05 00:02:19 +0100 <Axman6> if that list is already sorted you 're gonna have a bad time
2021-03-05 00:02:23 +0100 <ByteEater> Axman6, so no fusion or rewrite rules would kick in and give me linear complexity?
2021-03-05 00:02:29 +0100 <Axman6> no
2021-03-05 00:02:37 +0100 <Axman6> I don't think linear median is even possible?
2021-03-05 00:02:50 +0100 <shachaf> It is possible, but tricky.
2021-03-05 00:02:57 +0100 <ByteEater> it is, all positional statistics are
2021-03-05 00:03:24 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-03-05 00:04:06 +0100 <Axman6> so with Data.List's sort function, the bottom k elements can be found in O(n log k) IIRC, using take k . sort
2021-03-05 00:04:11 +0100 <monochrom> Linear median is one of those things you never have the solution off the top of you head, you just always crack open CLRS again. :)
2021-03-05 00:04:18 +0100bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2021-03-05 00:04:19 +0100 <ByteEater> shachaf, Axman6, pleas hear me out, I don't want the whole sorted list back, just 1 element of it; e.g. this is a known feat of laziness that the following gives the 5 lowest items in linear time: take 5 . qsort
2021-03-05 00:04:44 +0100 <dolio> Not for qsort it isn't.
2021-03-05 00:04:48 +0100 <Axman6> no one actually uses quicksort in Haskell
2021-03-05 00:05:08 +0100 <Axman6> because lazy merge sort is basically better in every way
2021-03-05 00:05:28 +0100conal(~conal@64.71.133.70)
2021-03-05 00:06:22 +0100 <monochrom> Laziness alone doesn't save you. You need to combine laziness with an algorithm that befriends that laziness.
2021-03-05 00:06:24 +0100 <ByteEater> dolio, how so? I can visualize the call tree in my head with only 5 paths being fully evaluated, down to single elements, while most of the tree is hidden in unevaluated thunks
2021-03-05 00:06:27 +0100 <dolio> Well, I guess it's techincally linear time, because 5*n is linear.
2021-03-05 00:06:46 +0100 <ByteEater> yup, that's what I had in mind
2021-03-05 00:06:48 +0100 <dolio> But if it's 'half way through the list', it's going to be n^2 worst case.
2021-03-05 00:07:12 +0100 <infinisil> Axman6: Even for vectors/arrays?
2021-03-05 00:07:44 +0100 <ByteEater> indeed, but can some fusion optimization or rewrite rule make the compiler see that I don't need the previous values, I'm dropping them?
2021-03-05 00:07:53 +0100 <Axman6> O(1) access to elements changes things a lot
2021-03-05 00:08:15 +0100 <ByteEater> well, O(log(n)), technically
2021-03-05 00:08:44 +0100 <infinisil> Arrays/vectors are O(1)
2021-03-05 00:08:53 +0100 <infinisil> Axman6: But yeah makes sense
2021-03-05 00:08:56 +0100 <monochrom> All rewrite rules I've seen improve only constant multipliers.
2021-03-05 00:08:59 +0100 <infinisil> Looking at https://hackage.haskell.org/package/vector-algorithms
2021-03-05 00:09:26 +0100 <Axman6> yeah, vector-algorithms implementes lots of useful sorts, but they're not really relevant to the discussion of sorting lists
2021-03-05 00:09:33 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2021-03-05 00:09:59 +0100 <dolio> Well, you can use them to sort lists by creating a temporary vector and sorting that, but it's going to sort the whole thing.
2021-03-05 00:10:28 +0100 <monochrom> This would be one of those times you would hear me say again "you don't have enough hands-on experience to know what you're talking about regarding laziness or fusion or whatnot".
2021-03-05 00:10:35 +0100 <Axman6> ByteEater: so in your quicksort implementation, don't forget that if youi pass it a sorted list, then the partition has to traverse the entire list before it can produce the [] for the lo side, and that happens in every recursive call
2021-03-05 00:10:58 +0100 <monochrom> But last time I did that, people stoned me to death for "you're shutting them down".
2021-03-05 00:11:03 +0100 <ByteEater> disregard what I wrote about vector, I forgot it only uses Int indices, not arbitrarily large
2021-03-05 00:11:27 +0100 <dolio> Only enough to run a supercomputer out of memory.
2021-03-05 00:11:29 +0100 <monochrom> So this time I won't shut it down, I'll just watch you people circle**** it to no end.
2021-03-05 00:11:43 +0100 <infinisil> I guess since conversion to/from a vector is O(n), if you need to sort the whole list this might not be a terrible idea
2021-03-05 00:11:56 +0100Axman6resists bringing up the discrimination package
2021-03-05 00:12:13 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.0.1)
2021-03-05 00:12:43 +0100 <infinisil> :o
2021-03-05 00:13:28 +0100 <Axman6> Oops, too late
2021-03-05 00:13:31 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b42a:6451:2211:3708) (Remote host closed the connection)
2021-03-05 00:13:36 +0100 <infinisil> Hm wait, what's the deal with discrimination?
2021-03-05 00:13:39 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-03-05 00:13:40 +0100 <Axman6> Who needs linear time sorting anyway
2021-03-05 00:13:41 +0100 <infinisil> Where's the catch?
2021-03-05 00:13:49 +0100infinisilshould read more
2021-03-05 00:13:57 +0100 <dolio> Bad constant factors?
2021-03-05 00:14:06 +0100Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-03-05 00:14:15 +0100madnificent_(~madnifice@static.210.74.63.178.clients.your-server.de)
2021-03-05 00:14:31 +0100 <ByteEater> "you don't have enough hands-on experience to know what you're talking about regarding laziness or fusion or whatnot" – well, somewhat true probably, that's why I'm asking and hoping to encounter people who know better ;D
2021-03-05 00:14:33 +0100 <infinisil> Sorting is fundamentally O(n log n), which can't be O(n) with constant factors
2021-03-05 00:14:37 +0100 <Axman6> yeah it's not as fast as I would like, but it's still useful for things. the Grouping stuff gets you a long way to writing MapReduce efficiently
2021-03-05 00:14:58 +0100 <dolio> Comparison sorting is O(n log n).
2021-03-05 00:15:05 +0100 <Axman6> infinisil: _comparison based sorting_ is O(n log n)
2021-03-05 00:15:16 +0100 <dolio> There are many well known O(n) sorts.
2021-03-05 00:15:18 +0100 <infinisil> Oh right
2021-03-05 00:15:19 +0100gurmble(~Thunderbi@freenode/staff/grumble)
2021-03-05 00:15:28 +0100 <Axman6> if you have some sort of radix, then you can ge O(n) - and it turns out sum types give you a radix
2021-03-05 00:15:29 +0100madnificent(~madnifice@static.210.74.63.178.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-05 00:15:29 +0100grumble(~Thunderbi@freenode/staff/grumble) (Quit: K-Lined)
2021-03-05 00:15:51 +0100gurmblegrumble
2021-03-05 00:16:41 +0100swarmcollectivewonders why sorting hasn't been moved to hardware level by now...
2021-03-05 00:16:41 +0100 <Axman6> if if I hand you something of type Either (Word8, Char) (Maybe Bool), you have a finite set of buckets to pass those values into, and you know where they're going to end up a priori
2021-03-05 00:17:08 +0100 <infinisil> Ah that makes sense
2021-03-05 00:17:32 +0100 <infinisil> So as soon as you have infinite different values it won't work
2021-03-05 00:18:00 +0100 <infinisil> (In O(n) with this approach)
2021-03-05 00:18:06 +0100 <Axman6> The really cool thing to me about the discrimination package is the grouping, which allows you to take [a] and get back [[a]], where each [a] is productive - as soon as an element of the input is places into a group, you can process it
2021-03-05 00:18:49 +0100 <Axman6> infinisil: yeah, and lots of useful types make this hard, like esoterric types such as String
2021-03-05 00:18:50 +0100 <infinisil> Oh neat
2021-03-05 00:18:54 +0100son0p(~son0p@181.136.122.143) (Quit: leaving)
2021-03-05 00:18:56 +0100 <dolio> Radix sort doesn't have a bucket for every possible value.
2021-03-05 00:19:12 +0100 <dolio> It has a bucket for every possible value of a chunk.
2021-03-05 00:19:34 +0100 <ByteEater> I guess my question has the same answer as whether drop (length l) $ l ++ [x] can be evaluated (to [x]) in sublinear time – can drop instantly skip (thanks to some optimization) prefixes of known lengths
2021-03-05 00:19:48 +0100 <Axman6> infinisil: probably a good idea to not look at the implementation of how grouping works, it's crazy low level, laziness reimplemented stuff. edwardk is a demon
2021-03-05 00:19:55 +0100ollierees(~ollierees@2a02:c7f:a8a8:fb00:7bfd:a909:fc9a:92c6) (Quit: WeeChat 2.9)
2021-03-05 00:20:04 +0100 <infinisil> It's..
2021-03-05 00:20:05 +0100 <infinisil> Too late!
2021-03-05 00:20:45 +0100 <monochrom> Hardware people are too busy adding https://developer.arm.com/documentation/dui0801/g/A64-Floating-point-Instructions/FJCVTZS to add sorting. :)
2021-03-05 00:20:47 +0100 <Axman6> Good luck understanding it! I did once
2021-03-05 00:21:09 +0100 <dolio> I suppose it's possible that with infinite values, you could arrange for an array of size n to require log n passes to successfully partition, though.
2021-03-05 00:21:31 +0100 <infinisil> I think that's what discrimination actually does with at least Integer
2021-03-05 00:21:46 +0100 <infinisil> https://hackage.haskell.org/package/discrimination-0.4.1/docs/src/Data.Discrimination.Internal.htm…
2021-03-05 00:22:02 +0100 <infinisil> Splits it into (Int, [Word])
2021-03-05 00:22:14 +0100 <infinisil> Then probably groups by that
2021-03-05 00:22:16 +0100 <Axman6> IIRC the Integer/Natural instance is less than optimal
2021-03-05 00:23:35 +0100 <monochrom> "drop n xs", if xs is longer than n, takes n time. This can count as sublinear or exponential, depending on your perspective.
2021-03-05 00:23:42 +0100Yumasi(~guillaume@2a01:e0a:5cb:4430:8c46:2884:8ca1:7346) (Ping timeout: 258 seconds)
2021-03-05 00:23:43 +0100 <dolio> Anyhow, vector-algorithms also has a sort of radix sort that can sort strings.
2021-03-05 00:24:07 +0100 <Axman6> monochrom: or this crap: https://en.wikipedia.org/wiki/X86_instruction_listings#SSE4.2
2021-03-05 00:24:32 +0100 <monochrom> hehe
2021-03-05 00:24:36 +0100cgadski(~textual@a95-95-106-208.cpe.netcabo.pt) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-05 00:24:47 +0100 <Axman6> https://software.intel.com/content/www/us/en/develop/articles/schema-validation-with-intel-streami… just batshit crazy
2021-03-05 00:25:21 +0100 <monochrom> Well, if strncmp() gets hardwarized, I think sort() has hope tomorrow.
2021-03-05 00:26:10 +0100ystael(~ystael@209.6.50.55) (Read error: Connection reset by peer)
2021-03-05 00:26:56 +0100 <dolio> Good thing they added all that fancy stuff so they could get smoked by a RISC chip. :þ
2021-03-05 00:27:23 +0100ystael(~ystael@209.6.50.55)
2021-03-05 00:27:40 +0100 <Axman6> ByteEater: you could add an optimisation that does that, or you also just not write that code in the first place, the compiler can only make up for your crappy code so far :) Also, what if l is infinite?
2021-03-05 00:28:30 +0100 <Axman6> dolio: yeah the next few years of Apple hardware (and likely other ARM hardware) are going to be very interesting.
2021-03-05 00:28:49 +0100 <koz_> I wonder how long till we get a WTFBBQ instruction.
2021-03-05 00:28:56 +0100 <Axman6> Hey, looks like Intel invented Spongebob speak! "atomic CoMPare and eXCHanGe"
2021-03-05 00:29:14 +0100 <monochrom> What should the WTFBBQ instruction do?
2021-03-05 00:29:20 +0100 <koz_> Axman6: Hats off for PQLMULQDQ
2021-03-05 00:29:21 +0100pfurla(~pfurla@pool-108-6-43-243.nycmny.fios.verizon.net) (Quit: gone to sleep. ZZZzzz…)
2021-03-05 00:29:21 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving)
2021-03-05 00:29:27 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-05 00:29:29 +0100 <dolio> I guess to be fair, part of the advantage is other on-board dedicated chips (just not direct CPU instructions maybe).
2021-03-05 00:29:38 +0100 <koz_> monochrom: Judging by how the others are named? Whatever you feel like.
2021-03-05 00:29:43 +0100 <koz_> You can always back-justify it.
2021-03-05 00:30:08 +0100 <Axman6> With This Function Byte Broadcast Quadword
2021-03-05 00:30:17 +0100Axman6sends in an application to Intel
2021-03-05 00:30:19 +0100 <ByteEater> just checked experimentally (though probably not with all possible optimization flags) and indeed even drop (length xs) xs seems to take linear time to evaluate to []
2021-03-05 00:30:31 +0100 <Axman6> of course it does
2021-03-05 00:30:37 +0100 <koz_> That is wholly unsurprising.
2021-03-05 00:30:45 +0100 <ByteEater> when xs is a small, unevaluated thunk initially
2021-03-05 00:30:58 +0100Tario(~Tario@201.192.165.173)
2021-03-05 00:31:08 +0100 <Axman6> if I pass in [1..], I expect that function to take forever to never return []
2021-03-05 00:31:12 +0100 <monochrom> "with this function" sounds like a higher-order function.
2021-03-05 00:31:28 +0100 <Axman6> You;'re attributing much more magic to the compiler than it deserves
2021-03-05 00:31:30 +0100 <monochrom> "WTFBBQ the first higher-order-function instruction"
2021-03-05 00:31:31 +0100 <ByteEater> yes, with infinite lists there's no length, or median
2021-03-05 00:31:41 +0100 <Axman6> monochrom: yeah it sure is
2021-03-05 00:32:11 +0100 <shachaf> Axman6: Let me know when you can sort a list of reals in linear time.
2021-03-05 00:32:16 +0100 <shachaf> Not that I'm even sure what that means exactly.
2021-03-05 00:32:30 +0100 <ByteEater> I hoped there'd be some rewrite rule allowing drop to be optimized and reach only for the part that needs evaluating
2021-03-05 00:32:42 +0100 <dolio> shachaf: Just use the axiom of choice.
2021-03-05 00:32:47 +0100 <monochrom> hahaha
2021-03-05 00:33:10 +0100 <Axman6> shachaf: that sounds... really hard =)
2021-03-05 00:33:29 +0100 <shachaf> Well, you can write a program to sort computable reals.
2021-03-05 00:33:34 +0100 <ByteEater> probably it can be written for such simple cases, but from its absence I fathom it wasn't found easily generalizable to non-trivial cases and thus forgone
2021-03-05 00:33:55 +0100 <shachaf> I just don't know what it means to say how long it takes. I guess you can measure the size of a sorting network.
2021-03-05 00:34:00 +0100 <int-e> shachaf: would you use a sorting network?
2021-03-05 00:34:10 +0100 <monochrom> You can take almost forever sorting even two computable reals, so nevermind a list of them.
2021-03-05 00:34:34 +0100 <int-e> monochrom: but you /can/ compute the minimum and the maximum of both
2021-03-05 00:34:34 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-03-05 00:34:35 +0100 <shachaf> Well, \x y -> (min x y, max x y) doesn't take almost forever.
2021-03-05 00:34:40 +0100 <int-e> monochrom: which is sorting them
2021-03-05 00:34:45 +0100fissureman(~quassel@c-73-201-159-163.hsd1.dc.comcast.net) (Ping timeout: 246 seconds)
2021-03-05 00:34:48 +0100 <ByteEater> on the other hand, if the type included length (that'd require dependent types), the optimization in general would seem quite straightforward
2021-03-05 00:34:54 +0100 <monochrom> Oh, then I have to bump up to 3 computable reals.
2021-03-05 00:35:03 +0100 <int-e> monochrom: now you use a sorting network
2021-03-05 00:35:18 +0100 <int-e> to reduce to the case of sorting two values
2021-03-05 00:35:37 +0100 <dolio> How long does it take to produce a sorting network for n values?
2021-03-05 00:35:39 +0100 <monochrom> Isn't it fascinating? Most "k-Foo" problems have a great complexity divide when jumping from k=2 to k=3.
2021-03-05 00:35:53 +0100ukari(~ukari@unaffiliated/ukari)
2021-03-05 00:36:10 +0100 <int-e> dolio: https://en.wikipedia.org/wiki/Batcher_odd%E2%80%93even_mergesort is very easy to compute
2021-03-05 00:36:48 +0100kiweun(~kiweun@2607:fea8:2a62:9600:8160:4d43:4a85:f4b8) (Remote host closed the connection)
2021-03-05 00:36:56 +0100 <koz_> ByteEater: This is very hard to do in general.
2021-03-05 00:37:03 +0100 <koz_> It _might_ work if your Int argument is a constant.
2021-03-05 00:37:14 +0100 <koz_> But it can be computed more-or-less however you feel like.
2021-03-05 00:38:22 +0100 <monochrom> Dependent typing will not turn GHC into Lean+Mathematica.
2021-03-05 00:38:51 +0100 <Axman6> not with that attitude it won't
2021-03-05 00:39:12 +0100 <dolio> O(n (log n)^2) space usage suggests it's not linear to figure it out dynamically, I guess?
2021-03-05 00:39:35 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-05 00:39:40 +0100 <shachaf> Well, a sorting network is a comparison sort, so it'll have more than linearly many comparisons.
2021-03-05 00:40:03 +0100 <shachaf> (Or min-maxes in this case.)
2021-03-05 00:40:07 +0100 <dolio> Right.
2021-03-05 00:40:15 +0100 <monochrom> That is not an attitude. That is an observation of the people who work on GHC, what they're interested in and what they aren't.
2021-03-05 00:40:59 +0100 <dolio> Your real numbers probably aren't going to be performing great afterward, either.
2021-03-05 00:41:31 +0100 <Axman6> Would we be better off with hypothetical numbers?
2021-03-05 00:41:42 +0100 <ByteEater> OK, now I understand it better, thanks
2021-03-05 00:41:45 +0100 <monochrom> And even if I'm right for only the next 10 years and then I'll be wrong, that's still long enough time for most practical purposes.
2021-03-05 00:43:39 +0100conal_(~conal@64.71.133.70)
2021-03-05 00:44:07 +0100curiousgay(~gay@178.217.208.8)
2021-03-05 00:45:22 +0100 <heck-to-the-gnom> What's the difference between `<>` & `++`? Practically, anyway.
2021-03-05 00:45:33 +0100 <monochrom> <> is more general.
2021-03-05 00:45:34 +0100 <koz_> heck-to-the-gnom: <> is more general.
2021-03-05 00:45:37 +0100 <koz_> Ninja'd.
2021-03-05 00:45:40 +0100 <koz_> :t (<>)
2021-03-05 00:45:41 +0100 <lambdabot> Semigroup a => a -> a -> a
2021-03-05 00:45:45 +0100 <monochrom> There are pros and cons to being more general.
2021-03-05 00:45:45 +0100 <koz_> :t (++)
2021-03-05 00:45:47 +0100 <lambdabot> [a] -> [a] -> [a]
2021-03-05 00:45:56 +0100 <koz_> heck-to-the-gnom: ^ is your difference
2021-03-05 00:46:02 +0100 <shachaf> dolio: To be fair, they probably weren't that great before either.
2021-03-05 00:46:02 +0100 <monochrom> But <> came later. Much later.
2021-03-05 00:46:05 +0100f-a(~f-a@151.68.209.64)
2021-03-05 00:46:10 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b42a:6451:2211:3708)
2021-03-05 00:46:16 +0100 <shachaf> But they're certainly worse off after.
2021-03-05 00:46:54 +0100 <f-a> I am getting `Could not deduce (Foldable t0) arising from a use of ‘elem’` errors while building Cabal (git). I suspect this is due to a GHC mismatch. Mine is 8.8.3, which one should I use?
2021-03-05 00:47:24 +0100 <heck-to-the-gnom> I mean, I can see the type differences, but doesn't that just add the case for scenarios where you're not dealing with array-based types, but ones that can be conjoined? Perhaps like a queue type of some sort?
2021-03-05 00:47:40 +0100 <koz_> heck-to-the-gnom: That doesn't even gel here.
2021-03-05 00:47:44 +0100 <heck-to-the-gnom> So, support for non-list/array derived conjoables?
2021-03-05 00:47:54 +0100 <heck-to-the-gnom> conjoinables**
2021-03-05 00:47:54 +0100 <koz_> Semigroup is a mathematical concept.
2021-03-05 00:48:05 +0100 <koz_> List concatenation is one example of a semigroup operation.
2021-03-05 00:48:10 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2021-03-05 00:48:13 +0100 <koz_> There are _many, many, many_ others.
2021-03-05 00:48:18 +0100 <koz_> (<>) works (theoretically) for all of them.
2021-03-05 00:48:22 +0100 <koz_> (++) is specific to lists.
2021-03-05 00:48:26 +0100 <koz_> WHich are not arrays.
2021-03-05 00:48:40 +0100koz_sighs at argumentum ad serpentum rearing its head.
2021-03-05 00:48:43 +0100 <ByteEater> on the dependent typing and "magical" optimization capabilities in a shorter time frame though, one more thing I imagine possible is for APIs based on gdp to become more popular and then if there's a proof (produced mostly by the functions down the data dependency graph, not tediously by the programmer) of stronger properties, paths with more
2021-03-05 00:48:44 +0100 <ByteEater> optimizations become available for selection by functions like drop but gdp-aware, at compile time or runtime
2021-03-05 00:49:16 +0100 <heck-to-the-gnom> depends on which language, I suppose, in python arrays/lists are synonyms, but I'll take your word for it in regards to haskell
2021-03-05 00:49:32 +0100 <monochrom> Python is wrong. Python is poison in this regard.
2021-03-05 00:49:49 +0100 <monochrom> But you're welcome to use <> pervasively if you like it more.
2021-03-05 00:49:58 +0100kiweun(~kiweun@2607:fea8:2a62:9600:a84d:3e6e:7692:7abe)
2021-03-05 00:50:04 +0100 <monochrom> <> did not exist 20 years ago. ++ did.
2021-03-05 00:50:13 +0100 <heck-to-the-gnom> It's quick & dirty, all that it's meant to be, simple scripts, nothing else, unless, you're werd AF
2021-03-05 00:50:14 +0100 <koz_> heck-to-the-gnom: The problem is that array and list are not synonymous in literally any other context.
2021-03-05 00:50:20 +0100 <heck-to-the-gnom> weird*
2021-03-05 00:50:22 +0100 <koz_> And it basically confusing about a thousand issues.
2021-03-05 00:50:28 +0100 <koz_> And leads to writing of really awful code.
2021-03-05 00:50:48 +0100 <heck-to-the-gnom> OK, to me I've never seen another language where the distinction is made, I'll keep that in mind, however
2021-03-05 00:51:06 +0100 <koz_> It's literally 'every other language'.
2021-03-05 00:51:10 +0100 <koz_> As well as algorithm analysis.
2021-03-05 00:51:20 +0100 <koz_> Python is alone is this bizarre conflation.
2021-03-05 00:51:26 +0100 <koz_> s/is/in/
2021-03-05 00:51:28 +0100 <monochrom> I don't doubt Python's value in other regards. But it is wrong, dishonest, and poisonous on the topic of lists and arrays.
2021-03-05 00:51:48 +0100 <koz_> monochrom: It's wrong, dishonest and poisonous on a lot of other topics too, don't worry.
2021-03-05 00:51:49 +0100 <ByteEater> many languages have it the Python way, e.g. JavaScript
2021-03-05 00:51:56 +0100 <koz_> ByteEater: No they don't.
2021-03-05 00:51:59 +0100 <heck-to-the-gnom> It's always been an array as a basic type, and I've never seen a list as a type, but the words have been synonymous to me until now
2021-03-05 00:52:07 +0100 <koz_> In JavaScript, arrays have array-like behaviour and perf.
2021-03-05 00:52:08 +0100 <heck-to-the-gnom> (in my experience)
2021-03-05 00:52:19 +0100 <monochrom> It is the #1 cause of why many CS graduates can't tell the difference, cost-wise.
2021-03-05 00:52:28 +0100 <koz_> heck-to-the-gnom: If you take nothing away from here, take this: lists are never, ever, ever, arrays.
2021-03-05 00:52:34 +0100 <koz_> And anyone who tells you otherwise is a liar.
2021-03-05 00:52:48 +0100 <heck-to-the-gnom> unless, in the context of python, got it
2021-03-05 00:52:52 +0100 <koz_> s/nothing/nothing else/
2021-03-05 00:52:57 +0100 <ByteEater> well, the API is similar, you can push and pop, shift and unshift, splice, and even delete
2021-03-05 00:52:57 +0100 <koz_> Python can be wrong in its own bubble.
2021-03-05 00:53:00 +0100 <heck-to-the-gnom> nice
2021-03-05 00:53:06 +0100 <koz_> It coasts on its own popularity and hero-worship.
2021-03-05 00:53:14 +0100 <ByteEater> there are optimizations, but if an array becomes sparse, most bets are off
2021-03-05 00:53:18 +0100 <qih> koz_: Not a Python fan then? 8-) o/
2021-03-05 00:53:26 +0100 <koz_> qih: I don't violently loathe it.
2021-03-05 00:53:31 +0100 <koz_> Merely strongly disdain.
2021-03-05 00:53:38 +0100 <qih> Hahaha
2021-03-05 00:53:41 +0100 <heck-to-the-gnom> but, do tell me, what's the difference between an array & a list, you've gotten me curious
2021-03-05 00:53:55 +0100kiweun(~kiweun@2607:fea8:2a62:9600:a84d:3e6e:7692:7abe) (Ping timeout: 240 seconds)
2021-03-05 00:54:03 +0100 <qih> Good point re List v Array
2021-03-05 00:54:06 +0100 <ByteEater> there's no fundamental reason the same couldn't be done in a Python implementation, it's just that there's just one that counts more than all the others
2021-03-05 00:54:07 +0100 <koz_> heck-to-the-gnom: Arrays have O(1) random access, lists have O(n).
2021-03-05 00:54:39 +0100 <monochrom> "array" = consecutive boxes. "list" = linked list, the pointer-to-next-node one.
2021-03-05 00:54:40 +0100 <koz_> (I should have said Theta(1) and Theta(n) there)
2021-03-05 00:55:13 +0100 <dolio> If you're going to get all passionate, shouldn't you say that arrays aren't really constant time, either?
2021-03-05 00:55:27 +0100 <monochrom> They basically have opposite cost trade-offs.
2021-03-05 00:55:29 +0100 <koz_> dolio: True. But the fact is, they don't have identical random access.
2021-03-05 00:55:44 +0100 <koz_> But yeah, you are right, constant-time indexing is basically a lie in practice.
2021-03-05 00:55:51 +0100 <ByteEater> heck-to-the-gnom, sticking with <> gives you also the ability to switch, if you wish some day, from String to something more tweaked like Data.Text without changing the operator in existing code
2021-03-05 00:55:59 +0100 <heck-to-the-gnom> So, lists are more similar to queues, seeing as to get to the next one, you need to visit the previous?
2021-03-05 00:56:08 +0100 <heck-to-the-gnom> Back to the original topic: Is there any noticeable performance gain or deficit to using `<>` rather than `++`?
2021-03-05 00:56:09 +0100 <monochrom> Yes.
2021-03-05 00:56:15 +0100 <koz_> There can be.
2021-03-05 00:56:15 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b42a:6451:2211:3708) (Remote host closed the connection)
2021-03-05 00:56:16 +0100 <heck-to-the-gnom> Good point ByteEater.
2021-03-05 00:56:56 +0100 <koz_> heck-to-the-gnom: Have you ever done any course(s) on data structures and algorithms?
2021-03-05 00:56:57 +0100 <heck-to-the-gnom> In a very trivial use case, mind you
2021-03-05 00:56:59 +0100 <koz_> If not, I advise it.
2021-03-05 00:57:02 +0100 <koz_> It's quite enlightening.
2021-03-05 00:57:12 +0100 <heck-to-the-gnom> I'll look into it
2021-03-05 00:57:13 +0100Guest42328(~textual@mskresolve-a.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com)
2021-03-05 00:57:46 +0100 <koz_> FWIW I always use <>.
2021-03-05 00:57:58 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b42a:6451:2211:3708)
2021-03-05 00:58:08 +0100 <koz_> But that's mostly because I don't use lists all that often in situations where concatenation comes up a lot.
2021-03-05 00:58:44 +0100 <heck-to-the-gnom> Man, if python uses a list under the hood instead of an array they just call a list, then I'm going to be mad at them.
2021-03-05 00:58:54 +0100 <koz_> heck-to-the-gnom: They use a dynamic array.
2021-03-05 00:59:07 +0100 <heck-to-the-gnom> ok, good
2021-03-05 00:59:13 +0100 <koz_> Which is basically an array that self-resize.
2021-03-05 00:59:19 +0100 <monochrom> On this April 1st, someone will impersonate Stroustrup and say "in retrospect, I should have named my language C<>".
2021-03-05 00:59:19 +0100 <koz_> (and does periodically do so)
2021-03-05 00:59:25 +0100 <koz_> monochrom: LOL
2021-03-05 00:59:31 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51)
2021-03-05 00:59:35 +0100 <koz_> C-append?
2021-03-05 00:59:35 +0100 <heck-to-the-gnom> HAH!
2021-03-05 00:59:42 +0100 <koz_> C-semigroup-operation?
2021-03-05 00:59:50 +0100 <monochrom> Observe the double pun.
2021-03-05 01:00:07 +0100 <monochrom> I.e., in C++, you have <> all over the place. Remember?
2021-03-05 01:00:17 +0100 <koz_> .... lol.
2021-03-05 01:00:28 +0100 <heck-to-the-gnom> I'm saving this, that was freaking hilarious
2021-03-05 01:00:44 +0100 <koz_> But yeah, how _do_ you pronounce <>?
2021-03-05 01:00:48 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2021-03-05 01:00:59 +0100 <monochrom> I'm sorry I'm working on LLVM "write an analysis/optimization pass" assignments, C++ is very much in my working memory.
2021-03-05 01:01:19 +0100 <koz_> monochrom: I am so sorry.
2021-03-05 01:01:23 +0100 <koz_> You deserve kittens.
2021-03-05 01:01:41 +0100 <heck-to-the-gnom> C-lt-gt
2021-03-05 01:01:55 +0100 <monochrom> It's alright. It's how I saw the double pun.
2021-03-05 01:03:20 +0100 <__minoru__shirae> koz_: "The problem is that array and list are not synonymous in literally any other context." And to add to the confusion we have ArrayList in Java.
2021-03-05 01:04:42 +0100 <heck-to-the-gnom> I shun Java, just because of its horrid sister-language javascript. I've never actually tried it, but geez, JS is so, so, so horrible.
2021-03-05 01:05:16 +0100 <int-e> the languages have nothing in common beyond the name and a bit of C ancestry
2021-03-05 01:05:17 +0100 <koz_> __minoru__shirae: Yeah, that's a dynamic array. I don't think it's as bad.
2021-03-05 01:05:24 +0100 <koz_> And also what int-e said.
2021-03-05 01:05:55 +0100 <__minoru__shirae> heck-to-the-gnom: Java and JS aren't more related then any pair of C-based languages
2021-03-05 01:06:00 +0100 <heck-to-the-gnom> Not to mention the horrendous mess that I hear Java imports are, where in every code linter it yells at you for not being way-overly specific with them.
2021-03-05 01:06:03 +0100kiweun(~kiweun@2607:fea8:2a62:9600:48e7:a60f:4556:52a3)
2021-03-05 01:06:16 +0100 <koz_> Also, what's the opposite of 'inlining'? I'd normally say 'de-inlining', but wouldn't that be 'outlining'?
2021-03-05 01:06:20 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-03-05 01:06:53 +0100 <heck-to-the-gnom> un-inlining, or outlining both sound right to me
2021-03-05 01:08:44 +0100 <__minoru__shirae> and I don't understand why people say that JS is horrible, one example is implicit conversions, but in a dynamically typed language you are supposed to use explicit conversion anyway, seems to me.
2021-03-05 01:10:11 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-05 01:10:33 +0100nf(~n@monade.li) (Quit: Fairfarren.)
2021-03-05 01:10:42 +0100pfurla(~pfurla@pool-108-6-43-243.nycmny.fios.verizon.net)
2021-03-05 01:10:45 +0100 <__minoru__shirae> koz_, "lists are never, ever, ever, arrays." in Java world they have a List interface that is implemented by LinkedList and ArrayList. I guess you're saying that LinkedList is never an ArrayList in Java terms.
2021-03-05 01:10:53 +0100cgadski(~textual@a95-95-106-208.cpe.netcabo.pt)
2021-03-05 01:14:27 +0100xwvvvvwx-(xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx)
2021-03-05 01:14:30 +0100CrabMan(phi-matrix@gateway/shell/matrix.org/x-qnflepxzbgoiepgi) (Ping timeout: 246 seconds)
2021-03-05 01:14:30 +0100heck-to-the-gnom(heck-to-th@gateway/shell/matrix.org/x-dkqfwxrpalpplgbl) (Ping timeout: 246 seconds)
2021-03-05 01:14:36 +0100atk(~Arch-TK@ircpuzzles/staff/Arch-TK) (Remote host closed the connection)
2021-03-05 01:14:39 +0100heck-to-the-gnom(heck-to-th@gateway/shell/matrix.org/x-lpqeckkflomaivst)
2021-03-05 01:14:47 +0100atk(~Arch-TK@ircpuzzles/staff/Arch-TK)
2021-03-05 01:14:52 +0100omnitrogen_(~omnitroge@vps-c9700282.vps.ovh.net)
2021-03-05 01:14:54 +0100ArsenArsen_(~Arsen@fsf/member/ArsenArsen)
2021-03-05 01:15:02 +0100beardhatcode(robbertbea@gateway/shell/matrix.org/x-gbhtxxezlpitjror) (Ping timeout: 265 seconds)
2021-03-05 01:15:04 +0100xwvvvvwx(xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Ping timeout: 245 seconds)
2021-03-05 01:15:04 +0100xwvvvvwx-xwvvvvwx
2021-03-05 01:15:04 +0100ArsenArsen(~Arsen@fsf/member/ArsenArsen) (Ping timeout: 245 seconds)
2021-03-05 01:15:04 +0100deu(de@uio.re) (Ping timeout: 245 seconds)
2021-03-05 01:15:12 +0100JaakkoLuttinen[m(jluttinema@gateway/shell/matrix.org/x-jxffrgesqwkjiyek) (Ping timeout: 246 seconds)
2021-03-05 01:15:18 +0100CrabMan(phi-matrix@gateway/shell/matrix.org/x-ncflvngxohdcpaqc)
2021-03-05 01:15:26 +0100 <heck-to-the-gnom> And, as far as script languages, it's not all that great in performance. Python really went down the right route with that, where anything that can be converted to pure C, is done automatically, then cached, for further executions. But I digress,
2021-03-05 01:15:29 +0100omnitrogen(~omnitroge@vps-c9700282.vps.ovh.net) (Ping timeout: 245 seconds)
2021-03-05 01:15:30 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-05 01:15:31 +0100kadoban(kadobanemp@gateway/shell/matrix.org/x-psvjfqyhnjjfvaqu) (Ping timeout: 265 seconds)
2021-03-05 01:15:31 +0100pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-qaosueuqeqkwbwhe) (Ping timeout: 265 seconds)
2021-03-05 01:15:33 +0100invent[m](inventmatr@gateway/shell/matrix.org/x-jrwragskqrfqezvh) (Ping timeout: 246 seconds)
2021-03-05 01:15:33 +0100the_1_[m](the1matrix@gateway/shell/matrix.org/x-jjrqmrcdxkntsvvj) (Ping timeout: 246 seconds)
2021-03-05 01:15:34 +0100my_name_is_not_j(mynameisno@gateway/shell/matrix.org/x-lnbatcivvyyktlgd) (Ping timeout: 246 seconds)
2021-03-05 01:15:34 +0100mly[m](mlydisenco@gateway/shell/matrix.org/x-shgeeswzywjapwlt) (Ping timeout: 246 seconds)
2021-03-05 01:15:35 +0100srid(sridmatrix@gateway/shell/matrix.org/x-sjihgudtvzpwpord) (Ping timeout: 246 seconds)
2021-03-05 01:15:41 +0100omnitrogen_omnitrogen
2021-03-05 01:15:48 +0100nf(~n@monade.li)
2021-03-05 01:15:54 +0100pharaun(~pharaun@static.88-198-62-245.clients.your-server.de) (Ping timeout: 245 seconds)
2021-03-05 01:15:54 +0100comboy(~quassel@tesuji.pl) (Ping timeout: 245 seconds)
2021-03-05 01:15:54 +0100jeffcasavant[m]1(jeffcasava@gateway/shell/matrix.org/x-zocdvhbwqljgjspp) (Ping timeout: 246 seconds)
2021-03-05 01:15:54 +0100lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-ehmcpjxutoidauup) (Ping timeout: 246 seconds)
2021-03-05 01:16:08 +0100 <koz_> __minoru__shirae: I am not gonna argue nomenclature with the language that gives us DriverApplicationFlyweightProtypeInterfaceObjectHandlers.
2021-03-05 01:16:10 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-03-05 01:16:19 +0100sagax(~sagax_nb@213.138.71.146) (Ping timeout: 245 seconds)
2021-03-05 01:16:25 +0100 <koz_> Plus, note my distinct lack of capitalization in that sentence.
2021-03-05 01:17:22 +0100comboy(~quassel@tesuji.pl)
2021-03-05 01:17:34 +0100theDon(~td@94.134.91.49) (Ping timeout: 245 seconds)
2021-03-05 01:17:48 +0100 <koz_> heck-to-the-gnom: Or, if we're gonna talk scriptlang perf, we can look at LuaJIT, which is that and then some.
2021-03-05 01:17:57 +0100pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-exzquzvqtvnlmwnw)
2021-03-05 01:18:42 +0100pharaun(~pharaun@static.88-198-62-245.clients.your-server.de)
2021-03-05 01:18:58 +0100theDon(~td@94.134.91.49)
2021-03-05 01:19:13 +0100 <koz_> But aaaanyway.
2021-03-05 01:19:19 +0100 <koz_> This is #haskell, not #languagegripes.
2021-03-05 01:19:35 +0100 <heck-to-the-gnom> True that
2021-03-05 01:20:09 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Ping timeout: 260 seconds)
2021-03-05 01:20:32 +0100JaakkoLuttinen[m(jluttinema@gateway/shell/matrix.org/x-grojhtohdxnxeeyc)
2021-03-05 01:20:33 +0100beardhatcode(robbertbea@gateway/shell/matrix.org/x-yrzeqqovfcgynlys)
2021-03-05 01:20:41 +0100 <alexfmpe> https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/lang.html <-this page is gone or just down?
2021-03-05 01:20:55 +0100 <alexfmpe> used to have the extension descriptions on it
2021-03-05 01:20:55 +0100 <__minoru__shirae> koz_, seems like the term "list" is too overloaded, maybe you should say "cons list"?
2021-03-05 01:20:58 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-05 01:21:10 +0100kadoban(kadobanemp@gateway/shell/matrix.org/x-orwvobvmsxoskufi)
2021-03-05 01:21:18 +0100 <koz_> __minoru__shirae: In the data structures world it is not. And I am firmly there.
2021-03-05 01:21:22 +0100 <koz_> You can do what you like.
2021-03-05 01:22:49 +0100ByteEater(57cd846a@gateway/web/cgi-irc/kiwiirc.com/ip.87.205.132.106) (Quit: Connection closed)
2021-03-05 01:23:03 +0100deu(de@uio.re)
2021-03-05 01:23:23 +0100mly[m](mlydisenco@gateway/shell/matrix.org/x-qjhvevhpltpfoqbc)
2021-03-05 01:23:25 +0100the_1_[m](the1matrix@gateway/shell/matrix.org/x-omadakojgvgseqgu)
2021-03-05 01:23:25 +0100invent[m](inventmatr@gateway/shell/matrix.org/x-vckgemxonksixvml)
2021-03-05 01:23:32 +0100 <__minoru__shirae> but anyway, in list vs array discussions people typically figure out the semantics anyway
2021-03-05 01:23:44 +0100my_name_is_not_j(mynameisno@gateway/shell/matrix.org/x-cikestsovlfgskzl)
2021-03-05 01:24:18 +0100 <__minoru__shirae> it's like a mini-wave of confusion that later dissolves
2021-03-05 01:24:34 +0100srid(sridmatrix@gateway/shell/matrix.org/x-bkpxgefkheugtalm)
2021-03-05 01:24:46 +0100 <int-e> alexfmpe: a deep link into the documentation, hmm. the chapter was renamed, it seems: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts.html
2021-03-05 01:24:57 +0100lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-kbuniydwnivkskyv)
2021-03-05 01:25:04 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Ping timeout: 245 seconds)
2021-03-05 01:25:27 +0100f-a(~f-a@151.68.209.64) ()
2021-03-05 01:25:52 +0100jeffcasavant[m]1(jeffcasava@gateway/shell/matrix.org/x-cfnhfidvuebvhzpm)
2021-03-05 01:25:59 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 260 seconds)
2021-03-05 01:27:21 +0100ph88(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Quit: Leaving)
2021-03-05 01:27:51 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-05 01:30:13 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51)
2021-03-05 01:30:39 +0100kibo(~kibo@51-171-46-249-dynamic.agg2.ens.lmk-pgs.eircom.net) (Ping timeout: 260 seconds)
2021-03-05 01:31:09 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 264 seconds)
2021-03-05 01:31:22 +0100qih(~pi@210-54-120-166.adsl.xtra.co.nz) (Read error: Connection reset by peer)
2021-03-05 01:32:10 +0100qih__(~pi@210-54-120-166.adsl.xtra.co.nz)
2021-03-05 01:32:33 +0100 <Axman6> Is Java's ArrayList implemented as a list of arrays, like Lazy ByteString/Text?
2021-03-05 01:32:41 +0100 <koz_> Axman6: Dynamic array.
2021-03-05 01:32:47 +0100 <koz_> With resizing at 1.5 I think?
2021-03-05 01:32:47 +0100 <Axman6> :'(
2021-03-05 01:33:00 +0100 <monochrom> The "List" part refers to its API.
2021-03-05 01:33:35 +0100 <monochrom> class ArrayList<T> implements List<T> etc
2021-03-05 01:33:54 +0100qih__keeps forgetting that his Desktop is a RPiv3 *not* the 8 Core AMD4 >8-/
2021-03-05 01:34:06 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-05 01:34:17 +0100 <Axman6> I've thought for a while I wouldn't mind having a lazy vector type, which can give some of the advantages of lists' sharing, and possibly faster algorithms when contiguous memory is useful
2021-03-05 01:34:24 +0100 <monochrom> Where is your 8 core AMD then? :)
2021-03-05 01:34:29 +0100 <qih__> Stupid @medium, and their monstrous page bloat
2021-03-05 01:34:34 +0100 <koz_> Axman6: I _believe_ massiv has something like that?
2021-03-05 01:34:38 +0100 <qih__> monochrom: Dead, mobo failed.
2021-03-05 01:34:39 +0100 <koz_> (I could be wrong though)
2021-03-05 01:34:47 +0100 <Axman6> interesting, I need to look at massiv more
2021-03-05 01:34:56 +0100 <infinisil> alexfmpe: int-e: The new page is pretty bad for discovering extensions..
2021-03-05 01:35:15 +0100 <qih__> monochrom: New one en-route today.
2021-03-05 01:35:24 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-05 01:35:57 +0100 <infinisil> alexfmpe: I'm gonna keep using the slightly older version for now: https://downloads.haskell.org/ghc/8.8.4/docs/html/users_guide/glasgow_exts.html
2021-03-05 01:36:14 +0100 <monochrom> Yes this is why I said that webdevs should be confined to OLPC laptops.
2021-03-05 01:36:31 +0100 <koz_> monochrom: Agreed.
2021-03-05 01:36:38 +0100 <koz_> One Laptop Per Webdev.
2021-03-05 01:36:47 +0100softwarm(44695313@ip68-105-83-19.sd.sd.cox.net)
2021-03-05 01:37:07 +0100 <qih__> koz_: To make them understand their $users pain? Agree.
2021-03-05 01:37:41 +0100softwarm(44695313@ip68-105-83-19.sd.sd.cox.net) (Client Quit)
2021-03-05 01:39:21 +0100 <qih__> I couldn't imagine being in the global South and having to view the WWW/Internet via mobile-only, that'd be torture.
2021-03-05 01:39:36 +0100michalz(~user@185.246.204.47) (Remote host closed the connection)
2021-03-05 01:39:41 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-nrzgwioszwcozpng) (Quit: Connection closed for inactivity)
2021-03-05 01:41:08 +0100 <monochrom> https://danluu.com/web-bloat/ is a good take and critique on this. It is pretty bad even for rural parts of US.
2021-03-05 01:41:24 +0100 <qih__> monochrom: Ta.
2021-03-05 01:41:26 +0100 <koz_> Yeah - internet provision even within countries can vary a lot.
2021-03-05 01:42:08 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-03-05 01:42:53 +0100 <monochrom> The most heart-breaking part is that very trivial, no-brainer improvement techniques exist.
2021-03-05 01:44:31 +0100kiweun(~kiweun@2607:fea8:2a62:9600:48e7:a60f:4556:52a3) (Remote host closed the connection)
2021-03-05 01:46:09 +0100redmp(~redmp@172.58.35.111) (Ping timeout: 264 seconds)
2021-03-05 01:49:04 +0100kiweun(~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com)
2021-03-05 01:49:17 +0100 <qih__> It blows my little mind, that the US, the origin of the WWW/Internet actually has crap fraudband outside the major Urban locales. I thought us colonials were all alone in that.
2021-03-05 01:49:35 +0100 <koz_> qih__: Yeah. I knew a few folks in that particular predicament.
2021-03-05 01:49:44 +0100 <koz_> ('knew' in the sense 'they are no longer')
2021-03-05 01:50:23 +0100 <qih__> koz_: Right, lucky them. So much for all the NBN (AU) and UFB (NZ) efforts, eh?
2021-03-05 01:51:05 +0100 <koz_> qih__: I know of NBN woes. I dunno of fibre issues here. But then again, I live in a really good area and have hilarious speeds.
2021-03-05 01:51:41 +0100 <qih__> Nice.
2021-03-05 01:52:02 +0100 <koz_> (in fact I just realized my ISP is offering to make mine even more hilariously fast)
2021-03-05 01:52:11 +0100 <koz_> (to the point where I can just become a data center)
2021-03-05 01:54:40 +0100 <qih__> koz_: You are in AU, right?
2021-03-05 01:54:45 +0100 <koz_> NZ
2021-03-05 01:56:26 +0100 <qih__> Ah right, der. Nice one. In theory I have Gigabit but I suspect that due to over-scribing or network 'shaping' our speeds are now about 300Mbps max, used to be 900Mbps +/- 50 <= true story, it was awesome.
2021-03-05 01:56:57 +0100 <koz_> I mean... yeah, that's not ideal, but it's still 'hilariously fast' by any real measure IMHO,
2021-03-05 01:57:13 +0100 <koz_> Unless you wanna cosplay as a data center.
2021-03-05 01:57:57 +0100 <qih__> Where was Fibre when BitTorrent was all the rage, eh? <= not that breaching copyright restrictions is to be countenanced in any way!
2021-03-05 01:58:17 +0100 <koz_> Meanwhile here I am compiling GHC again.
2021-03-05 02:00:25 +0100 <qih__> I was reading in Graham Huttons 2 Edition on Haskell and noted "you cannot assign a value to a variable, then reassign another value to that variable", paraphrased. But I am sure I could. I made a quick Acceleration equation in the REPL, then could reassign the VAR ACCEL new arbitray values. Or am I mistaken?
2021-03-05 02:01:19 +0100stree(~stree@68.36.8.116) (Ping timeout: 245 seconds)
2021-03-05 02:02:27 +0100theelous3(~theelous3@unaffiliated/theelous3) (Read error: Connection reset by peer)
2021-03-05 02:02:47 +0100 <dolio> Variables aren't assigned. The ones in e.g. a let are defined to be the value of some expression. They can shadow other variables with the same name, though.
2021-03-05 02:03:46 +0100kibo(~kibo@51-171-46-249-dynamic.agg2.ens.lmk-pgs.eircom.net)
2021-03-05 02:03:47 +0100 <koz_> Yeah, you'd have the equivalent of 'let x = whatever in let x = whateverElse in doMyThing x'.
2021-03-05 02:04:03 +0100 <qih__> dolio: Ah I get that now, thanks.
2021-03-05 02:04:06 +0100conal_(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-05 02:06:28 +0100 <qih__> Like Python & Erlang, I did have to assign Velocity Final (vf) = something, etc, so it was quite friendly to work with, then just call the result using 'accel'.
2021-03-05 02:06:40 +0100usr25(~usr25@unaffiliated/usr25) (Read error: Connection reset by peer)
2021-03-05 02:07:16 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-03-05 02:07:44 +0100gitgood(~gitgood@82-132-217-85.dab.02.net) (Read error: Connection reset by peer)
2021-03-05 02:09:16 +0100conal_(~conal@64.71.133.70)
2021-03-05 02:09:42 +0100conal_(~conal@64.71.133.70) (Client Quit)
2021-03-05 02:10:47 +0100whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-03-05 02:10:54 +0100Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 260 seconds)
2021-03-05 02:11:53 +0100whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-03-05 02:11:56 +0100 <monochrom> Here is a short experiment to find out that the semantics is shadowing, not changing.
2021-03-05 02:12:01 +0100 <monochrom> (in the REPL)
2021-03-05 02:12:14 +0100 <monochrom> You first have, say, x=0.
2021-03-05 02:12:27 +0100 <monochrom> Then have f n = n + x
2021-03-05 02:12:38 +0100 <monochrom> Then you have x=1.
2021-03-05 02:12:51 +0100 <qih__> k
2021-03-05 02:12:53 +0100 <monochrom> Now you test what happens to f 5 for example.
2021-03-05 02:13:06 +0100 <monochrom> This shows which version of x f uses.
2021-03-05 02:13:54 +0100stree(~stree@68.36.8.116)
2021-03-05 02:15:03 +0100 <koz_> Is there some way to write 'foo :: (Functor f) => (a -> b, a -> c) -> f a -> f (b, c)'?
2021-03-05 02:15:25 +0100 <qih__> if x = 0, f 5 gives 5, but if x = 1, f 5, gives 6
2021-03-05 02:15:41 +0100 <monochrom> I think you convert (a->b, a->c) to (a -> (b,c)), then you can use fmap.
2021-03-05 02:15:56 +0100 <qih__> So f will use the latest version of x, so this is called 'shadowing'?
2021-03-05 02:16:22 +0100 <koz_> qih__: If by 'latest' you mean 'bound in the innermost scope', then yes.
2021-03-05 02:16:26 +0100 <monochrom> But f uses the old version.
2021-03-05 02:16:57 +0100 <Axman6> f uses the x which was in scope when it was defined
2021-03-05 02:17:17 +0100 <monochrom> "shadowing" refers to if you ask about x now, you get 1, but there is an old version of x, out of reach from your latest POV but f still has it.
2021-03-05 02:17:37 +0100 <Axman6> if you then redefine x, f will still point to the old one, but then if you redefine f too it will point to the new x
2021-03-05 02:17:40 +0100 <qih__> but isn't x = 0, defining x?
2021-03-05 02:18:18 +0100 <Axman6> yes, but it's not redefining all the previous uses of x
2021-03-05 02:18:23 +0100 <qih__> Get a result, assign x = 1, get a new result. That's how it worked out.
2021-03-05 02:18:33 +0100 <monochrom> The wording is "the new x shadows the old x". The subtext is "the old x is still around, just eclipsed"
2021-03-05 02:18:37 +0100 <qih__> Axman6: Oh, it's not. Why not?
2021-03-05 02:18:56 +0100 <Axman6> > let x = 0; f n = n + x in let x = 2 in f 0
2021-03-05 02:18:58 +0100 <lambdabot> 0
2021-03-05 02:19:16 +0100 <Axman6> that is reoughly equivalent to running...
2021-03-05 02:19:19 +0100 <Axman6> x = 0
2021-03-05 02:19:24 +0100 <Axman6> f n = n + x
2021-03-05 02:19:29 +0100 <Axman6> x = 2
2021-03-05 02:19:31 +0100 <Axman6> f 0
2021-03-05 02:19:37 +0100 <Axman6> -> 0
2021-03-05 02:19:40 +0100rajivr(uid269651@gateway/web/irccloud.com/x-zfdimwsiaqqzwwly)
2021-03-05 02:19:42 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 256 seconds)
2021-03-05 02:20:01 +0100 <koz_> @pl \x y -> (,) <$> x <*> y
2021-03-05 02:20:02 +0100 <lambdabot> (((,) <$>) .) . (<*>)
2021-03-05 02:20:06 +0100 <monochrom> "x = 0" is "define x to be 0", yes.
2021-03-05 02:20:16 +0100 <Axman6> after the x = 2, any new definition which references x will reference the x which is 2
2021-03-05 02:20:36 +0100 <Axman6> but anything defined before the x = 2 is referring to the value 0, which was named x at the time
2021-03-05 02:20:54 +0100 <Axman6> qih__: unrelated but this seemed relevant to you: https://jaylittle.com/post/view/2021/3/goodbye-small-server-hello-150-watt-office
2021-03-05 02:21:09 +0100pfurla(~pfurla@pool-108-6-43-243.nycmny.fios.verizon.net) (Quit: gone to sleep. ZZZzzz…)
2021-03-05 02:22:30 +0100chenshen(~chenshen@2620:10d:c090:400::5:dc3c) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2021-03-05 02:23:04 +0100 <qih__> Axman6: Thanks for the explanation, I'll read more on it but I get it (Tentatively)
2021-03-05 02:23:16 +0100 <qih__> And thanks for that link, nice one.
2021-03-05 02:24:11 +0100crobbins(~crobbins@2600:1700:48eb:8490:9416:7f26:bb22:cc55) (Remote host closed the connection)
2021-03-05 02:25:41 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-05 02:25:54 +0100 <qih__> Axman6: That's a nice setup and personal goal he has. I'd not take a job if I *had* to use Windows, sorry.
2021-03-05 02:26:34 +0100 <monochrom> What if the "job" is e-sport? >:)
2021-03-05 02:27:03 +0100 <monochrom> "Your job is to compete in AoE2DE tournaments so you have to use Windows"
2021-03-05 02:27:27 +0100viluon(uid453725@gateway/web/irccloud.com/x-ztatnfztaowajlyf) (Quit: Connection closed for inactivity)
2021-03-05 02:27:39 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-05 02:28:43 +0100 <qih__> monochrom: I'm a lamer gamer, that'd never happen. I am awesome on Minecraft but FPS not anymore.
2021-03-05 02:29:10 +0100 <monochrom> But AoE2DE is RTS not FPS.
2021-03-05 02:29:53 +0100 <monochrom> OK, "But I play its Regicide mode so it's FPS. It's always personal!" >:)
2021-03-05 02:30:22 +0100slack1256is thinking on a AoE2DE tournament for #haskell
2021-03-05 02:30:30 +0100 <monochrom> onoes
2021-03-05 02:30:38 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-03-05 02:32:04 +0100cgadski(~textual@a95-95-106-208.cpe.netcabo.pt) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-05 02:32:43 +0100 <qih__> monochrom: OK fair point, just highlighting my lameness.
2021-03-05 02:32:57 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-05 02:33:10 +0100sagax(~sagax_nb@213.138.71.146)
2021-03-05 02:34:19 +0100 <qih__> A really smart guy I know made an excellent Starcraft-in-concept game based on Erlang. Should bother him and see where it is at. I'd play a cool, console-based (CLI) game that was interactive and interesting.
2021-03-05 02:34:39 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-05 02:36:33 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2021-03-05 02:36:47 +0100 <qih__> I started a CLI-based game in Python (Sorry) but I will port it to Haskell when I can do more than >> :l lame_program.hs 8-)
2021-03-05 02:38:23 +0100jneira(501e6551@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.81) (Ping timeout: 245 seconds)
2021-03-05 02:42:23 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2021-03-05 02:43:36 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-03-05 02:44:09 +0100dcoutts_(~dcoutts@unaffiliated/dcoutts)
2021-03-05 02:44:49 +0100dcoutts__(~duncan@85.186.125.91.dyn.plus.net) (Read error: Connection reset by peer)
2021-03-05 02:45:25 +0100themsay[m](themsaymat@gateway/shell/matrix.org/x-ljaenuxzhfzsbgci) (Ping timeout: 265 seconds)
2021-03-05 02:45:34 +0100dcoutts__(~duncan@85.186.125.91.dyn.plus.net)
2021-03-05 02:45:54 +0100srid(sridmatrix@gateway/shell/matrix.org/x-bkpxgefkheugtalm) (Ping timeout: 265 seconds)
2021-03-05 02:45:54 +0100VarikValefor[m](varikvalef@gateway/shell/matrix.org/x-kxjsrbtdhgrazfgo) (Ping timeout: 265 seconds)
2021-03-05 02:46:03 +0100ech(~user@gateway/tor-sasl/ech) (Ping timeout: 268 seconds)
2021-03-05 02:46:05 +0100speakerspivakeem(speakerdea@gateway/shell/matrix.org/x-turkzvpwerbcobxw) (Ping timeout: 240 seconds)
2021-03-05 02:46:05 +0100oreoking[m](oreokingma@gateway/shell/matrix.org/x-thhdqxzqtsmuurkl) (Ping timeout: 240 seconds)
2021-03-05 02:46:06 +0100toasty_avocado[m(toastyavoc@gateway/shell/matrix.org/x-juhwyrkxyxnxfauu) (Ping timeout: 240 seconds)
2021-03-05 02:46:06 +0100domenkozar[m](domenkozar@NixOS/user/domenkozar) (Ping timeout: 240 seconds)
2021-03-05 02:46:12 +0100the_1_[m](the1matrix@gateway/shell/matrix.org/x-omadakojgvgseqgu) (Ping timeout: 246 seconds)
2021-03-05 02:46:25 +0100Hanma[m](hanmamatri@gateway/shell/matrix.org/x-iwqqtahhpodcbjeb) (Ping timeout: 240 seconds)
2021-03-05 02:46:26 +0100lambdaclan(lambdaclan@gateway/shell/matrix.org/x-ipvngrvyhnqhbylj) (Ping timeout: 240 seconds)
2021-03-05 02:46:27 +0100boistordu(boistordum@gateway/shell/matrix.org/x-zehlrpuclgbsmcgb) (Ping timeout: 240 seconds)
2021-03-05 02:46:27 +0100ManofLetters[m](manoflette@gateway/shell/matrix.org/x-sdtdldljvtpokfgv) (Ping timeout: 240 seconds)
2021-03-05 02:46:27 +0100Lurkki[m](lurkkipriv@gateway/shell/matrix.org/x-psmnesknsmvebscb) (Ping timeout: 240 seconds)
2021-03-05 02:46:27 +0100alecs[m](malumorema@gateway/shell/matrix.org/x-gkhumeppsvrovowp) (Ping timeout: 240 seconds)
2021-03-05 02:46:33 +0100JaakkoLuttinen[m(jluttinema@gateway/shell/matrix.org/x-grojhtohdxnxeeyc) (Ping timeout: 246 seconds)
2021-03-05 02:46:41 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds)
2021-03-05 02:46:45 +0100mjlbach(atriusmatr@gateway/shell/matrix.org/x-jbujsgkzleiuowmd) (Ping timeout: 240 seconds)
2021-03-05 02:46:51 +0100hyiltiz-M(hyiltizkde@gateway/shell/kde/matrix/x-ivzwdsjrvmnmdqmv) (Ping timeout: 264 seconds)
2021-03-05 02:47:04 +0100dcoutts(~dcoutts@unaffiliated/dcoutts) (Ping timeout: 260 seconds)
2021-03-05 02:47:55 +0100freeman42x[m]1(freeman42x@gateway/shell/matrix.org/x-qxkxelsgcvmbsqlb) (Ping timeout: 240 seconds)
2021-03-05 02:47:55 +0100brightly-salty[m(brightly-s@gateway/shell/matrix.org/x-cporoyepggngxrys) (Ping timeout: 240 seconds)
2021-03-05 02:47:55 +0100meff[m]1(meffsunado@gateway/shell/matrix.org/x-qllhwgzchqvotood) (Ping timeout: 240 seconds)
2021-03-05 02:48:14 +0100statusfailed(~statusfai@statusfailed.com) (Ping timeout: 260 seconds)
2021-03-05 02:48:14 +0100mud(kadobanmat@gateway/shell/matrix.org/x-apivwpznfnnlclpi) (Ping timeout: 258 seconds)
2021-03-05 02:48:15 +0100jeffcasavant[m]1(jeffcasava@gateway/shell/matrix.org/x-cfnhfidvuebvhzpm) (Ping timeout: 240 seconds)
2021-03-05 02:48:15 +0100PotatoHatsue(berbermanp@gateway/shell/matrix.org/x-eaqrdmjzoipzuify) (Ping timeout: 240 seconds)
2021-03-05 02:48:18 +0100beardhatcode(robbertbea@gateway/shell/matrix.org/x-yrzeqqovfcgynlys) (Ping timeout: 244 seconds)
2021-03-05 02:48:18 +0100simara[m](simaramatr@gateway/shell/matrix.org/x-ndigbuadzruuzard) (Ping timeout: 244 seconds)
2021-03-05 02:48:19 +0100immae(immaematri@gateway/shell/matrix.org/x-mtnokboauunjkgre) (Ping timeout: 244 seconds)
2021-03-05 02:48:19 +0100pineapples[m](pineapples@gateway/shell/matrix.org/x-rjnrgqpwuytdhsrb) (Ping timeout: 244 seconds)
2021-03-05 02:48:19 +0100dyniec[m](dyniecmatr@gateway/shell/matrix.org/x-mpucxcqvuxckqpcu) (Ping timeout: 244 seconds)
2021-03-05 02:48:19 +0100berberman[T](berberma4@gateway/shell/matrix.org/x-xacrdmjnxhrqsrnd) (Ping timeout: 244 seconds)
2021-03-05 02:48:19 +0100maralorn(maralornma@gateway/shell/matrix.org/x-yxejhfyxkpgpcjvz) (Ping timeout: 244 seconds)
2021-03-05 02:48:26 +0100bitonic(bitonicmat@gateway/shell/matrix.org/x-tcjvcnippiduczse) (Ping timeout: 240 seconds)
2021-03-05 02:48:26 +0100MichaelHoffmannb(brisadmozi@gateway/shell/matrix.org/x-semsqtjqhulgolab) (Ping timeout: 240 seconds)
2021-03-05 02:48:26 +0100a-tsioh[m](a-tsiohmat@gateway/shell/matrix.org/x-vxvzeinnodmgkchc) (Ping timeout: 240 seconds)
2021-03-05 02:48:26 +0100sigmacool[m](sigmacoolm@gateway/shell/matrix.org/x-agbisjcyekothkzz) (Ping timeout: 240 seconds)
2021-03-05 02:48:26 +0100rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-welbcejgukwlyvmz) (Ping timeout: 240 seconds)
2021-03-05 02:48:27 +0100AbtractSingleton(rasurumatr@gateway/shell/matrix.org/x-cptnkbgcmbcsygri) (Ping timeout: 240 seconds)
2021-03-05 02:48:31 +0100ThaEwat(thaewraptm@gateway/shell/matrix.org/x-pcdsttlbmkuhuhxo) (Ping timeout: 272 seconds)
2021-03-05 02:48:36 +0100michaelpj(michaelpjm@gateway/shell/matrix.org/x-niomjibmmrgwzzyy) (Ping timeout: 258 seconds)
2021-03-05 02:48:36 +0100sm[m](simonmicma@gateway/shell/matrix.org/x-smorkrdiwycaaxbo) (Ping timeout: 258 seconds)
2021-03-05 02:48:36 +0100joe[m]3(joemonoida@gateway/shell/matrix.org/x-zrgraxvdmbpvqofd) (Ping timeout: 258 seconds)
2021-03-05 02:48:37 +0100unclechu(unclechuma@gateway/shell/matrix.org/x-tqwhdmxbxpfopxbc) (Ping timeout: 258 seconds)
2021-03-05 02:48:37 +0100Liyang[m](liyangmatr@gateway/shell/matrix.org/x-pppuhernsulwjyww) (Ping timeout: 258 seconds)
2021-03-05 02:48:37 +0100darkcodi[m](darkcodima@gateway/shell/matrix.org/x-yuxcrrjvakxjaoby) (Ping timeout: 258 seconds)
2021-03-05 02:48:37 +0100johnnyboy[m](gifumatrix@gateway/shell/matrix.org/x-taasofpihtwizvlh) (Ping timeout: 258 seconds)
2021-03-05 02:48:48 +0100luigy(~luigy@104.236.106.229) (Ping timeout: 246 seconds)
2021-03-05 02:48:52 +0100statusfailed(~statusfai@statusfailed.com)
2021-03-05 02:48:55 +0100pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-exzquzvqtvnlmwnw) (Ping timeout: 240 seconds)
2021-03-05 02:49:09 +0100alunduil(alunduil@gateway/web/irccloud.com/x-czdrujrqwwwimmbe) (Ping timeout: 264 seconds)
2021-03-05 02:49:09 +0100alar[m](alarmxalat@gateway/shell/matrix.org/x-bpvylpwwtlcejjwj) (Ping timeout: 272 seconds)
2021-03-05 02:49:09 +0100MrMuffles[m](mrmufflesm@gateway/shell/matrix.org/x-cbeqjcjrdmhenexl) (Ping timeout: 272 seconds)
2021-03-05 02:49:15 +0100mly[m](mlydisenco@gateway/shell/matrix.org/x-qjhvevhpltpfoqbc) (Ping timeout: 240 seconds)
2021-03-05 02:49:20 +0100alexfmpe(alexfmpema@gateway/shell/matrix.org/x-girzcdcudxbpysje) (Ping timeout: 244 seconds)
2021-03-05 02:49:20 +0100maerwald[m](maerwaldma@gateway/shell/matrix.org/x-bjunztlamgbiqsmk) (Ping timeout: 244 seconds)
2021-03-05 02:49:22 +0100kadoban(kadobanemp@gateway/shell/matrix.org/x-orwvobvmsxoskufi) (Ping timeout: 258 seconds)
2021-03-05 02:49:26 +0100invent[m](inventmatr@gateway/shell/matrix.org/x-vckgemxonksixvml) (Ping timeout: 240 seconds)
2021-03-05 02:49:26 +0100heck-to-the-gnom(heck-to-th@gateway/shell/matrix.org/x-lpqeckkflomaivst) (Ping timeout: 240 seconds)
2021-03-05 02:49:45 +0100fgaz(fgazmatrix@gateway/shell/matrix.org/x-altyhdajrdgkwiga) (Ping timeout: 258 seconds)
2021-03-05 02:50:01 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-03-05 02:50:11 +0100alunduil(alunduil@gateway/web/irccloud.com/x-vzlleahqqgvhcqsg)
2021-03-05 02:51:07 +0100luigy(~luigy@104.236.106.229)
2021-03-05 02:51:38 +0100Guest74820(~tristan@luna.whatbox.ca) (Ping timeout: 260 seconds)
2021-03-05 02:52:12 +0100Tristan(~tristan@luna.whatbox.ca)
2021-03-05 02:52:36 +0100TristanGuest41116
2021-03-05 02:53:29 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-mlrllmnzmzixcljr)
2021-03-05 02:56:38 +0100gitgood(~gitgood@82-132-217-85.dab.02.net)
2021-03-05 02:56:57 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-05 02:57:20 +0100 <ezzieyguywuf> can I set ghc-options in cabal.project so it applies to all packages?
2021-03-05 02:57:31 +0100 <ezzieyguywuf> or do I have to set it in each cabal file separately
2021-03-05 02:58:31 +0100hyiltiz-M(hyiltizkde@gateway/shell/kde/matrix/x-ziqtfceeiaptadfr)
2021-03-05 02:59:22 +0100VarikValefor[m](varikvalef@gateway/shell/matrix.org/x-pwtjczbvhoktmglx)
2021-03-05 02:59:23 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-03-05 02:59:39 +0100jespada(~jespada@90.254.243.187) (Ping timeout: 245 seconds)
2021-03-05 02:59:47 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-05 02:59:47 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Client Quit)
2021-03-05 02:59:51 +0100 <infinisil> ezzieyguywuf: You can specify `package <package>\nghc-options: ...` in cabal.project for it to apply to all *components* of that package at least
2021-03-05 03:00:18 +0100conal(~conal@64.71.133.70)
2021-03-05 03:00:22 +0100 <monochrom> "package *" is legal and is a wildcard.
2021-03-05 03:00:31 +0100 <infinisil> Oh nice
2021-03-05 03:00:31 +0100ukari(~ukari@unaffiliated/ukari)
2021-03-05 03:00:33 +0100 <ezzieyguywuf> I could do the same with a `common` stanza in the packages cabal file though, and if I have to do it once per package anyway this is probably the more correct way
2021-03-05 03:00:40 +0100 <ezzieyguywuf> hrm....
2021-03-05 03:01:35 +0100 <ezzieyguywuf> is it `package *\n` or `package *:\n`?
2021-03-05 03:01:36 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2021-03-05 03:01:57 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-05 03:02:07 +0100 <infinisil> You'll get an error if you use the wrong one :)
2021-03-05 03:02:16 +0100jespada(~jespada@90.254.243.187)
2021-03-05 03:02:40 +0100 <ezzieyguywuf> lol
2021-03-05 03:02:52 +0100 <ezzieyguywuf> indeed I did
2021-03-05 03:04:10 +0100 <ezzieyguywuf> hrm, why do only my test-suit stanzas have "ghc-options: -threaded -rtsopts -with-rtsopts=-N", I have a feeling this came from `cabal init` but I don't knw what they do
2021-03-05 03:05:08 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-05 03:05:26 +0100 <Clint> so that they'll break on all platforms without -N
2021-03-05 03:05:55 +0100 <ezzieyguywuf> so that's a good thing?
2021-03-05 03:06:15 +0100ericsagnes(~ericsagne@2405:6580:0:5100:42a8:8650:90d4:54bc) (Ping timeout: 240 seconds)
2021-03-05 03:06:25 +0100 <monochrom> No colon. Just newline.
2021-03-05 03:06:32 +0100 <ezzieyguywuf> is there a reason it's only needed on the test-suite though?
2021-03-05 03:06:42 +0100 <monochrom> I mean for "package foo" and "package *"
2021-03-05 03:06:42 +0100 <Clint> it's not needed at all, it's largely an annoyance
2021-03-05 03:06:59 +0100 <MarcelineVQ> Which 'it'?
2021-03-05 03:07:00 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 258 seconds)
2021-03-05 03:07:20 +0100SupaYoshii(~supayoshi@213-10-140-13.fixed.kpn.net)
2021-03-05 03:07:26 +0100lambdabot(~lambdabot@haskell/bot/lambdabot) (Ping timeout: 265 seconds)
2021-03-05 03:07:36 +0100 <monochrom> I don't think "cabal init" auto-gens any ghc-options at all.
2021-03-05 03:07:42 +0100 <ezzieyguywuf> Clint: great, I'll get rid of it.
2021-03-05 03:07:51 +0100 <ezzieyguywuf> monochrom: I must have gotten it from the interwebs then
2021-03-05 03:07:55 +0100 <MarcelineVQ> those particular options are standard with new stack projects however
2021-03-05 03:08:02 +0100 <ezzieyguywuf> I STARTED WITH STACK!
2021-03-05 03:08:04 +0100SupaYoshi(~supayoshi@213.10.140.13) (Ping timeout: 260 seconds)
2021-03-05 03:08:04 +0100gentauro(~gentauro@unaffiliated/gentauro) (Ping timeout: 260 seconds)
2021-03-05 03:08:05 +0100 <ezzieyguywuf> so that's probably why
2021-03-05 03:08:42 +0100gentauro(~gentauro@unaffiliated/gentauro)
2021-03-05 03:08:45 +0100waleee-cl(uid373333@gateway/web/irccloud.com/x-jksqnlfrjzjlkhlm)
2021-03-05 03:08:54 +0100lambdabot(~lambdabot@haskell/bot/lambdabot)
2021-03-05 03:10:11 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51)
2021-03-05 03:11:22 +0100 <MarcelineVQ> -threaded uses the threaded (as opposed to non-threaded) rts, -rtsopts allows extra rts options to be specifies at runtime you wouldn't be able to otherwise, -with-rtsopts=-N passes the rts the -N flag which says to create as many capabilities as the pc has cores available, one per core. capabilities are little virtual machines that manage ghc's threads
2021-03-05 03:11:31 +0100themsay[m](themsaymat@gateway/shell/matrix.org/x-hbatkioaxwxoyeob)
2021-03-05 03:12:05 +0100 <MarcelineVQ> I'm unsure what Clint is referring to about platform breaking or which particular annoyances
2021-03-05 03:12:09 +0100 <ezzieyguywuf> hrm, that all sounds actually useful
2021-03-05 03:12:18 +0100lambdaclan(lambdaclan@gateway/shell/matrix.org/x-sallzvkvkldcgkut)
2021-03-05 03:12:46 +0100 <waleee-cl> I'm trying to apply this https://github.com/llvm-hs/llvm-hs/issues/315#issuecomment-755229982 in a stack.yaml , but during the build it seems to be parsed as xx=-std=c++11 instead of -optcxx=-std=c++11 . Is it malformed in some way ?
2021-03-05 03:13:02 +0100 <MarcelineVQ> it's useful if your progam uses libs that take advantage of threads, common libs such as async for example
2021-03-05 03:13:14 +0100the_1_[m](the1matrix@gateway/shell/matrix.org/x-ydnkooibksztllyy)
2021-03-05 03:13:14 +0100srid(sridmatrix@gateway/shell/matrix.org/x-naqkszpohzlsbubr)
2021-03-05 03:13:53 +0100 <Clint> MarcelineVQ: if you're on a platform where ghc doesn't "Support SMP" it will fail to build and most testsuites don't actually seem to take advantage of threading
2021-03-05 03:14:13 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-uuniqtfysevxnvsh) ()
2021-03-05 03:14:41 +0100boistordu(boistordum@gateway/shell/matrix.org/x-epqhlcgltbmupbxi)
2021-03-05 03:14:57 +0100JaakkoLuttinen[m(jluttinema@gateway/shell/matrix.org/x-sivibcbidnslmvhv)
2021-03-05 03:15:20 +0100speakerspivakeem(speakerdea@gateway/shell/matrix.org/x-grrchxbekhuqojog)
2021-03-05 03:15:21 +0100 <infinisil> Hmm, why is -N not the default?
2021-03-05 03:15:22 +0100oreoking[m](oreokingma@gateway/shell/matrix.org/x-sfbsvckrwskkmqtb)
2021-03-05 03:15:36 +0100domenkozar[m](domenkozar@NixOS/user/domenkozar)
2021-03-05 03:15:46 +0100Lurkki[m](lurkkipriv@gateway/shell/matrix.org/x-xzyglswxynebzkit)
2021-03-05 03:15:50 +0100alecs[m](malumorema@gateway/shell/matrix.org/x-dlpnoymfcpnetnsl)
2021-03-05 03:16:05 +0100 <shapr> infinisil: I think there's a ghc proposal to make it the default
2021-03-05 03:16:07 +0100Jd007(~Jd007@162.156.11.151)
2021-03-05 03:16:14 +0100Hanma[m](hanmamatri@gateway/shell/matrix.org/x-jgikxfrvozhpbsoi)
2021-03-05 03:16:15 +0100ManofLetters[m](manoflette@gateway/shell/matrix.org/x-ntjjesgcogujguzg)
2021-03-05 03:16:30 +0100toasty_avocado[m(toastyavoc@gateway/shell/matrix.org/x-wkhjyjmxecrptsuj)
2021-03-05 03:17:17 +0100mjlbach(atriusmatr@gateway/shell/matrix.org/x-ietoxhbonvcmpxmf)
2021-03-05 03:17:50 +0100 <infinisil> Oh there's https://github.com/ghc-proposals/ghc-proposals/pull/240
2021-03-05 03:18:08 +0100 <infinisil> Though it's only -threaded by default, not -N (and gives a reason why, because of bad performance)
2021-03-05 03:18:15 +0100ericsagnes(~ericsagne@2405:6580:0:5100:ce0d:4010:b248:c5be)
2021-03-05 03:18:37 +0100 <monochrom> For most of the years since -N was first invented, people found that it performs worse than, say, -N($ncpus - constant).
2021-03-05 03:19:56 +0100 <infinisil> Is there an outlook for improving multithreading?
2021-03-05 03:20:21 +0100 <monochrom> Yes, IIRC the culprit is GC, and it's worked on. Maybe even already solved.
2021-03-05 03:20:22 +0100 <infinisil> Or is it a matter of carefully optimizing the code and GC
2021-03-05 03:20:50 +0100 <infinisil> Nice
2021-03-05 03:21:35 +0100 <monochrom> I think either 8.10 or 9.0 is better, I forgot which, I saw something along that line in a release note.
2021-03-05 03:22:18 +0100chenshen(~chenshen@2620:10d:c090:400::5:dc3c)
2021-03-05 03:22:25 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-05 03:22:31 +0100darkcodi[m](darkcodima@gateway/shell/matrix.org/x-npqntjjhuhxltvgw)
2021-03-05 03:22:48 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr)
2021-03-05 03:22:49 +0100unclechu(unclechuma@gateway/shell/matrix.org/x-bnvsoeizanvczqdz)
2021-03-05 03:23:05 +0100 <infinisil> monochrom: Maybe https://downloads.haskell.org/ghc/8.10.1/docs/html/users_guide/runtime_control.html#rts-flag---non…
2021-03-05 03:23:06 +0100pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-fomxwbukrzfljorj)
2021-03-05 03:23:13 +0100mly[m](mlydisenco@gateway/shell/matrix.org/x-cntmtcfjpjgfyemu)
2021-03-05 03:23:23 +0100 <MarcelineVQ> Clint: I see surprising, thank you
2021-03-05 03:23:32 +0100chenshen(~chenshen@2620:10d:c090:400::5:dc3c) (Client Quit)
2021-03-05 03:23:51 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-05 03:24:55 +0100brightly-salty[m(brightly-s@gateway/shell/matrix.org/x-buliqctfxktasemp)
2021-03-05 03:24:59 +0100meff[m]1(meffsunado@gateway/shell/matrix.org/x-buufiutwpfhtkcfl)
2021-03-05 03:25:04 +0100freeman42x[m]1(freeman42x@gateway/shell/matrix.org/x-lzazrkeobggmslyf)
2021-03-05 03:25:09 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-05 03:25:41 +0100zaquest(~notzaques@5.128.210.178) (Remote host closed the connection)
2021-03-05 03:25:53 +0100PotatoHatsue(berbermanp@gateway/shell/matrix.org/x-owxvktbultetirdz)
2021-03-05 03:25:55 +0100 <monochrom> Yeah, infinisil.
2021-03-05 03:26:56 +0100 <infinisil> Now reading https://well-typed.com/blog/2019/10/nonmoving-gc-merge/
2021-03-05 03:27:09 +0100jeffcasavant[m]1(jeffcasava@gateway/shell/matrix.org/x-zuesfmusebgxexbx)
2021-03-05 03:27:10 +0100sm[m](simonmicma@gateway/shell/matrix.org/x-axvntgkvdisfemal)
2021-03-05 03:28:54 +0100gitgoood(~gitgood@82-132-217-137.dab.02.net)
2021-03-05 03:28:57 +0100immae(immaematri@gateway/shell/matrix.org/x-aohzbgtnvkvkxgyu)
2021-03-05 03:29:38 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 260 seconds)
2021-03-05 03:29:43 +0100invent[m](inventmatr@gateway/shell/matrix.org/x-pjnyshafozlreedo)
2021-03-05 03:31:12 +0100alexfmpe(alexfmpema@gateway/shell/matrix.org/x-emhptsxdqutjjoxk)
2021-03-05 03:31:13 +0100maerwald[m](maerwaldma@gateway/shell/matrix.org/x-uhnhkfwqbcavnxpt)
2021-03-05 03:31:48 +0100heck-to-the-gnom(heck-to-th@gateway/shell/matrix.org/x-knksglsfyyacjpqp)
2021-03-05 03:32:05 +0100gitgood(~gitgood@82-132-217-85.dab.02.net) (Read error: Connection reset by peer)
2021-03-05 03:32:06 +0100fgaz(fgazmatrix@gateway/shell/matrix.org/x-lkhxesooszpdtuzd)
2021-03-05 03:32:28 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-05 03:32:37 +0100kiweun(~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-03-05 03:32:57 +0100maralorn(maralornma@gateway/shell/matrix.org/x-mqkrcevpalnehvqb)
2021-03-05 03:33:00 +0100 <swarmcollective> monochrom: myShaggoth spent some time today reviewing the GC on stream.
2021-03-05 03:33:18 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-05 03:33:33 +0100ThaEwat(thaewraptm@gateway/shell/matrix.org/x-adbxucyaclkjrrut)
2021-03-05 03:34:28 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51)
2021-03-05 03:34:32 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-05 03:35:01 +0100MrMuffles[m](mrmufflesm@gateway/shell/matrix.org/x-esnxvkbmvtiuhuxs)
2021-03-05 03:35:03 +0100 <monochrom> Did they find out some SMP-friendly improvements?
2021-03-05 03:35:22 +0100slack1256(~slack1256@45.4.2.52) (Remote host closed the connection)
2021-03-05 03:35:50 +0100mud(kadobanmat@gateway/shell/matrix.org/x-vshgkgtjqjjszdqu)
2021-03-05 03:35:56 +0100conal(~conal@64.71.133.70)
2021-03-05 03:36:21 +0100AbtractSingleton(rasurumatr@gateway/shell/matrix.org/x-fubfwjnqfyqisvqw)
2021-03-05 03:37:06 +0100 <swarmcollective> Just review at this point. Good collaboration, though. I learned a lot from watching.
2021-03-05 03:37:31 +0100simara[m](simaramatr@gateway/shell/matrix.org/x-anbvmsbvavejhojm)
2021-03-05 03:37:33 +0100 <infinisil> Oh nice, ImpredicativeTypes in 9.2.1: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/9.2.1-notes.html
2021-03-05 03:37:56 +0100MichaelHoffmannb(brisadmozi@gateway/shell/matrix.org/x-bxwoulfwiwwtdyhj)
2021-03-05 03:38:06 +0100a-tsioh[m](a-tsiohmat@gateway/shell/matrix.org/x-rrcleclrzigajexo)
2021-03-05 03:38:28 +0100johnnyboy[m](gifumatrix@gateway/shell/matrix.org/x-ykeglgztelluebmc)
2021-03-05 03:39:03 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2021-03-05 03:39:11 +0100bitonic(bitonicmat@gateway/shell/matrix.org/x-vqjrvuxpfudllnzv)
2021-03-05 03:39:45 +0100sigmacool[m](sigmacoolm@gateway/shell/matrix.org/x-vtxmfxjoeekeagds)
2021-03-05 03:40:07 +0100alar[m](alarmxalat@gateway/shell/matrix.org/x-cktkugutuxvtjihl)
2021-03-05 03:40:58 +0100pineapples[m](pineapples@gateway/shell/matrix.org/x-fntvhpevrfdituay)
2021-03-05 03:41:06 +0100berberman[T](berberma4@gateway/shell/matrix.org/x-cxfwanztfqrqbbdt)
2021-03-05 03:41:12 +0100rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-dbwjulyjscwdxosr)
2021-03-05 03:41:21 +0100 <c_wraith> infinisil: it's there already. It will just do something meaningful in 9.2 :P
2021-03-05 03:41:23 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-05 03:41:31 +0100dyniec[m](dyniecmatr@gateway/shell/matrix.org/x-bbtyofnilpeshbbz)
2021-03-05 03:41:53 +0100conal(~conal@64.71.133.70) (Ping timeout: 260 seconds)
2021-03-05 03:42:06 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-05 03:42:08 +0100 <infinisil> Hehe yea
2021-03-05 03:42:17 +0100infinisilchecks what ImpredicativeTypes does currently
2021-03-05 03:42:44 +0100Liyang[m](liyangmatr@gateway/shell/matrix.org/x-khhkarelngwsexgr)
2021-03-05 03:42:45 +0100michaelpj(michaelpjm@gateway/shell/matrix.org/x-utkhqzitnbcyceql)
2021-03-05 03:43:16 +0100joe[m]3(joemonoida@gateway/shell/matrix.org/x-wrdyeabcrguvhelc)
2021-03-05 03:43:33 +0100beardhatcode(robbertbea@gateway/shell/matrix.org/x-yblxynzepndwlzrx)
2021-03-05 03:44:14 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds)
2021-03-05 03:44:14 +0100Lord_of_Life_Lord_of_Life
2021-03-05 03:44:46 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-05 03:44:59 +0100 <infinisil> Ah right, very flaky and unreliable
2021-03-05 03:45:02 +0100kadoban(kadobanemp@gateway/shell/matrix.org/x-iaialaudtoihlpte)
2021-03-05 03:46:49 +0100drbean(~drbean@TC210-63-209-34.static.apol.com.tw)
2021-03-05 03:47:34 +0100dtuveson(4c6311c2@76.99.17.194)
2021-03-05 03:48:51 +0100zaquest(~notzaques@5.128.210.178)
2021-03-05 03:49:15 +0100Wuzzy(~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-03-05 03:56:31 +0100 <monochrom> Yeah I'm looking forward to impredicativity.
2021-03-05 03:56:55 +0100xff0x(~xff0x@2001:1a81:5237:bb00:c7c4:8fca:bda7:8993) (Ping timeout: 272 seconds)
2021-03-05 03:58:07 +0100xff0x(~xff0x@2001:1a81:5278:3000:6caf:8f38:636e:aa55)
2021-03-05 03:58:07 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-03-05 03:58:24 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-03-05 04:05:54 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-05 04:06:30 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-05 04:06:42 +0100alx741(~alx741@186.178.108.237) (Quit: alx741)
2021-03-05 04:07:14 +0100carlomagno(~cararell@148.87.23.4) (Ping timeout: 260 seconds)
2021-03-05 04:07:33 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2021-03-05 04:07:33 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-05 04:07:41 +0100notzmv-(~zmv@unaffiliated/zmv)
2021-03-05 04:07:54 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 246 seconds)
2021-03-05 04:10:03 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds)
2021-03-05 04:10:08 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51)
2021-03-05 04:10:58 +0100carlomagno(~cararell@148.87.23.4)
2021-03-05 04:13:22 +0100 <cheater> more like impredictivetypes
2021-03-05 04:13:43 +0100notzmv-notzmv
2021-03-05 04:14:20 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-05 04:14:28 +0100FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-05 04:14:28 +0100finn_elijaGuest77264
2021-03-05 04:14:28 +0100FinnElijafinn_elija
2021-03-05 04:15:38 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2021-03-05 04:17:44 +0100chenshen(~chenshen@2620:10d:c090:400::5:dc3c)
2021-03-05 04:17:59 +0100kibo(~kibo@51-171-46-249-dynamic.agg2.ens.lmk-pgs.eircom.net) (Ping timeout: 245 seconds)
2021-03-05 04:18:34 +0100Guest77264(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-03-05 04:18:36 +0100gitgoood(~gitgood@82-132-217-137.dab.02.net) (Read error: Connection reset by peer)
2021-03-05 04:19:38 +0100MasseR(~MasseR@51.15.143.128) (Quit: Ping timeout (120 seconds))
2021-03-05 04:20:00 +0100MasseR(~MasseR@51.15.143.128)
2021-03-05 04:20:39 +0100mawk(mawk@serveur.io) (Remote host closed the connection)
2021-03-05 04:21:04 +0100bahamas(~lucian@unaffiliated/bahamas)
2021-03-05 04:21:40 +0100kiweun(~kiweun@2607:fea8:2a62:9600:1ce2:2887:c755:496a)
2021-03-05 04:21:55 +0100mawk(mawk@serveur.io)
2021-03-05 04:23:59 +0100plutoniix(~q@184.82.205.61)
2021-03-05 04:24:30 +0100__minoru__shirae(~shiraeesh@109.166.56.118) (Ping timeout: 260 seconds)
2021-03-05 04:25:00 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9)
2021-03-05 04:25:04 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-03-05 04:25:28 +0100nineonin_(~nineonine@50.216.62.2) (Ping timeout: 245 seconds)
2021-03-05 04:25:49 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-03-05 04:25:54 +0100bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 245 seconds)
2021-03-05 04:26:26 +0100kiweun(~kiweun@2607:fea8:2a62:9600:1ce2:2887:c755:496a) (Ping timeout: 264 seconds)
2021-03-05 04:31:50 +0100crobbins(~crobbins@2601:2c1:200:ec50:9418:5902:a549:750a)
2021-03-05 04:32:48 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9)
2021-03-05 04:33:17 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-03-05 04:34:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 04:37:46 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-05 04:38:09 +0100pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-03-05 04:38:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-05 04:38:29 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9)
2021-03-05 04:39:37 +0100nineonine(~nineonine@50.216.62.2)
2021-03-05 04:39:40 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-03-05 04:40:49 +0100Tario(~Tario@201.192.165.173)
2021-03-05 04:41:02 +0100ezrakilty(~ezrakilty@97-113-55-149.tukw.qwest.net)
2021-03-05 04:41:19 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Client Quit)
2021-03-05 04:41:21 +0100__minoru__shirae(~shiraeesh@109.166.56.118)
2021-03-05 04:43:09 +0100theDon(~td@94.134.91.49) (Ping timeout: 264 seconds)
2021-03-05 04:43:14 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-03-05 04:43:45 +0100darjeeling_(~darjeelin@122.245.208.86) (Ping timeout: 264 seconds)
2021-03-05 04:44:29 +0100theDon(~td@muedsl-82-207-238-191.citykom.de)
2021-03-05 04:44:56 +0100dtuveson(4c6311c2@76.99.17.194) (Quit: Connection closed)
2021-03-05 04:50:12 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-05 04:51:19 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-05 04:51:48 +0100Jd007(~Jd007@162.156.11.151)
2021-03-05 04:52:34 +0100Tario(~Tario@201.192.165.173)
2021-03-05 04:52:48 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds)
2021-03-05 04:55:45 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds)
2021-03-05 04:59:46 +0100tabemann(~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 276 seconds)
2021-03-05 05:00:12 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-05 05:02:53 +0100travisb(~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2021-03-05 05:02:56 +0100cartwright(~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
2021-03-05 05:04:35 +0100howdoi(uid224@gateway/web/irccloud.com/x-bgmkvjlbzdbxvlqi) (Quit: Connection closed for inactivity)
2021-03-05 05:04:41 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 272 seconds)
2021-03-05 05:05:10 +0100darjeeling_(~darjeelin@122.245.208.86)
2021-03-05 05:05:16 +0100cartwright(~chatting@gateway/tor-sasl/cantstanya)
2021-03-05 05:07:11 +0100redmp(~redmp@172.58.35.185)
2021-03-05 05:07:42 +0100travisbtabemann
2021-03-05 05:07:55 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-05 05:08:18 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-pzxcaoxvyukwyhjx)
2021-03-05 05:10:59 +0100finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-03-05 05:11:53 +0100Rudd0(~Rudd0@185.189.115.103)
2021-03-05 05:12:17 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-05 05:12:20 +0100finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-05 05:15:06 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-05 05:20:56 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-05 05:21:16 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-05 05:21:52 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds)
2021-03-05 05:24:09 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-05 05:24:28 +0100totte(~totte@chakra/totte) (Ping timeout: 276 seconds)
2021-03-05 05:24:42 +0100ddellaco_(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-05 05:27:24 +0100totte(~totte@chakra/totte)
2021-03-05 05:28:03 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-03-05 05:37:04 +0100ddellaco_(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-03-05 05:37:33 +0100chenshen(~chenshen@2620:10d:c090:400::5:dc3c) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2021-03-05 05:39:20 +0100chenshen(~chenshen@2620:10d:c090:400::5:dc3c)
2021-03-05 05:39:27 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-05 05:40:15 +0100shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:154f:4e40:6da2:bc2f) (Ping timeout: 240 seconds)
2021-03-05 05:40:36 +0100forgottenone(~forgotten@176.88.30.190)
2021-03-05 05:44:37 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 276 seconds)
2021-03-05 05:46:13 +0100shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:44c1:48d2:bcfb:ac55)
2021-03-05 05:47:54 +0100__minoru__shirae(~shiraeesh@109.166.56.118) (Ping timeout: 260 seconds)
2021-03-05 05:51:46 +0100darjeeling_(~darjeelin@122.245.208.86) (Ping timeout: 276 seconds)
2021-03-05 05:53:13 +0100conal(~conal@64.71.133.70)
2021-03-05 05:53:48 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-05 05:54:48 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-05 05:58:23 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2021-03-05 06:00:54 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-05 06:05:00 +0100crobbins(~crobbins@2601:2c1:200:ec50:9418:5902:a549:750a) (Remote host closed the connection)
2021-03-05 06:05:45 +0100crobbins(~crobbins@2601:2c1:200:ec50:9418:5902:a549:750a)
2021-03-05 06:05:47 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 265 seconds)
2021-03-05 06:08:48 +0100 <nshepperd2> what's so great about ImpredicativeTypes
2021-03-05 06:09:28 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 260 seconds)
2021-03-05 06:10:02 +0100 <dolio> They're so great that there's a special case to make ($) impredicative. But it only works with ($).
2021-03-05 06:10:50 +0100crobbins(~crobbins@2601:2c1:200:ec50:9418:5902:a549:750a) (Ping timeout: 264 seconds)
2021-03-05 06:11:00 +0100 <dolio> Once the new type checking method is in, it will hopefully work for other things, too, like (.).
2021-03-05 06:11:09 +0100 <monochrom> You can have [forall r. (Int -> r -> r) -> r -> r].
2021-03-05 06:11:12 +0100kiweun(~kiweun@2607:fea8:2a62:9600:5cf2:2052:1645:5a49)
2021-03-05 06:12:01 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-05 06:12:17 +0100 <nshepperd2> the ($) special case is nice but doesn't really seem like a killer app for a whole new type inference
2021-03-05 06:12:39 +0100 <dolio> It's not that different.
2021-03-05 06:13:24 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com)
2021-03-05 06:18:05 +0100 <heck-to-the-gnom> I'm curious, how practical is it to use something like HOUSE (low-level haskell OS - 1.44mb!!!) on an embedded system, or a smaller board?
2021-03-05 06:18:54 +0100 <heck-to-the-gnom> Certainly it's not going to replace something like Linux, at least not until it gets a major rewrite and lots of attention, but I'm curious
2021-03-05 06:20:28 +0100 <Lycurgus> depends on what you mean by embedded system
2021-03-05 06:20:51 +0100 <Lycurgus> typically the kind of u ctl based thing would be impractical
2021-03-05 06:21:04 +0100 <Lycurgus> *u ctlr
2021-03-05 06:21:43 +0100 <Lycurgus> also the very idea of hs at that hdw level is imho, daft
2021-03-05 06:22:28 +0100 <Lycurgus> though you are sure to find differing opinions on that here
2021-03-05 06:23:45 +0100 <Lycurgus> sometimes, 'embedded' means just inside something without scale implications, then that could be quite different
2021-03-05 06:24:45 +0100KeithAdams(~KeithAdam@cpe-76-88-2-16.san.res.rr.com)
2021-03-05 06:24:56 +0100 <Lycurgus> also hs talking to a convention u ctrl based system / net of devices would work
2021-03-05 06:24:57 +0100 <heck-to-the-gnom> I mean small chips like arduino, and smaller boards like rasberry pis
2021-03-05 06:25:16 +0100 <Lycurgus> yeah that's what I meant
2021-03-05 06:25:51 +0100 <Lycurgus> atmel, for example, which I worked with a couple of ya, are often like 32K
2021-03-05 06:25:58 +0100 <heck-to-the-gnom> Well, it's certainly no easy task, but I think that could be a fun hobby project one summer
2021-03-05 06:26:03 +0100 <Lycurgus> the device I worked with was anyway
2021-03-05 06:26:05 +0100 <heck-to-the-gnom> making one myself that is
2021-03-05 06:26:37 +0100KeithAdams(~KeithAdam@cpe-76-88-2-16.san.res.rr.com) ()
2021-03-05 06:26:38 +0100 <Lycurgus> yeah there's surely existing projects, and ghcjs
2021-03-05 06:28:25 +0100 <heck-to-the-gnom> Woah, I just had a crazy idea, and I'd have to do more research, but ghcjs is either exactly this, or similar: WASM Haskell. If I ever have to do web dev, that's what I'm doing, everything else be damned
2021-03-05 06:28:49 +0100redmp(~redmp@172.58.35.185) (Ping timeout: 276 seconds)
2021-03-05 06:29:26 +0100 <Lycurgus> *conventional
2021-03-05 06:30:26 +0100jrm(~jrm@freebsd/developer/jrm) (Quit: ciao)
2021-03-05 06:30:43 +0100jrm(~jrm@freebsd/developer/jrm)
2021-03-05 06:30:46 +0100 <heck-to-the-gnom> Oh, GHCJS is a bit different, but aside from performance, the same thing
2021-03-05 06:35:21 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-03-05 06:38:24 +0100ezrakilty(~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection)
2021-03-05 06:41:28 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-03-05 06:43:39 +0100forgottenone(~forgotten@176.88.30.190) (Quit: Konversation terminated!)
2021-03-05 06:49:10 +0100carlomagno(~cararell@148.87.23.4) (Quit: Leaving.)
2021-03-05 06:51:23 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-05 06:51:26 +0100bmuller(~brent@168.103.131.108)
2021-03-05 06:56:46 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 276 seconds)
2021-03-05 06:58:32 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt)
2021-03-05 07:02:04 +0100 <ephemient> heck-to-the-gnom: I've never used https://github.com/tweag/asterius but it is apparently haskell→wasm. they have some web demos
2021-03-05 07:04:19 +0100qih__qih
2021-03-05 07:08:38 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-03-05 07:10:21 +0100kiweun(~kiweun@2607:fea8:2a62:9600:5cf2:2052:1645:5a49) ()
2021-03-05 07:11:20 +0100kiweun(~kiweun@2607:fea8:2a62:9600:1479:545e:89b1:d1b9)
2021-03-05 07:13:24 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-05 07:14:49 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-05 07:15:18 +0100bahamas(~lucian@unaffiliated/bahamas)
2021-03-05 07:15:22 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-03-05 07:15:27 +0100nineonin_(~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2)
2021-03-05 07:15:57 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-05 07:19:29 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 260 seconds)
2021-03-05 07:19:44 +0100bmuller(~brent@168.103.131.108) (Quit: Leaving.)
2021-03-05 07:20:49 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 276 seconds)
2021-03-05 07:22:12 +0100bmuller(~brent@168.103.131.108)
2021-03-05 07:25:16 +0100nineonin_(~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) (Remote host closed the connection)
2021-03-05 07:25:58 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639)
2021-03-05 07:30:02 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-05 07:30:33 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 260 seconds)
2021-03-05 07:30:46 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-03-05 07:31:13 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-05 07:31:37 +0100geowiesnot_bis(~user@87-89-181-157.abo.bbox.fr)
2021-03-05 07:32:57 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-03-05 07:35:28 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds)
2021-03-05 07:38:21 +0100 <Aleksejs_Home> hey, can someone explain why the first one works but the second one fails? http://vpaste.net/OR9Zk
2021-03-05 07:39:40 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-mlrllmnzmzixcljr) (Quit: Connection closed for inactivity)
2021-03-05 07:40:52 +0100toblorone(4c674b05@gateway/web/cgi-irc/kiwiirc.com/ip.76.103.75.5)
2021-03-05 07:41:19 +0100jess(jess@freenode/staff/jess) (Quit: K-Lined)
2021-03-05 07:47:29 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-03-05 07:47:46 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-05 07:48:57 +0100bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds)
2021-03-05 07:49:09 +0100 <mniip> Aleksejs_Home, because x and 100 have different types here
2021-03-05 07:49:31 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-03-05 07:51:06 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-03-05 07:51:06 +0100shatriff(~vitaliish@protective.remission.volia.net) (Remote host closed the connection)
2021-03-05 07:51:21 +0100shatriff(~vitaliish@protective.remission.volia.net)
2021-03-05 07:51:29 +0100 <mniip> x :: (RealFrac a, Floating a) => a
2021-03-05 07:51:34 +0100 <mniip> 100 :: Integral a => a
2021-03-05 07:52:09 +0100 <mniip> there's no type that inhabits both
2021-03-05 07:52:20 +0100 <mniip> in more concrete terms, your x is probably a Double, and your 100 is probably an Integer
2021-03-05 07:52:43 +0100 <mniip> er, I'm talking about the 100 in (100 `mod` n)
2021-03-05 07:52:53 +0100 <mniip> the other 100 has the same type as x
2021-03-05 07:53:22 +0100 <mniip> so in the former piece of code you have two 100's that have different types
2021-03-05 07:53:24 +0100 <mniip> ;)
2021-03-05 07:54:09 +0100Varis(~Tadas@unaffiliated/varis)
2021-03-05 07:55:10 +0100 <Aleksejs_Home> so, sqrt defines the type of x there?
2021-03-05 07:58:36 +0100kiweun(~kiweun@2607:fea8:2a62:9600:1479:545e:89b1:d1b9) (Remote host closed the connection)
2021-03-05 08:00:34 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639)
2021-03-05 08:00:36 +0100bmuller(~brent@168.103.131.108) ()
2021-03-05 08:01:08 +0100 <mniip> Aleksejs_Home, yes
2021-03-05 08:01:19 +0100 <mniip> sqrt has the same input and output type
2021-03-05 08:01:37 +0100 <mniip> notably, haskell doesn't do subtyping in arithmetic like you would see in most other languages
2021-03-05 08:01:50 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-05 08:01:50 +0100 <mniip> if you have x :: Int, you can't do `sqrt x`
2021-03-05 08:01:58 +0100psutcliffe(~psutcliff@m83-185-90-134.cust.tele2.se)
2021-03-05 08:02:13 +0100 <mniip> and if you do \x -> (sqrt x, x `mod` 2)
2021-03-05 08:02:23 +0100 <mniip> that fixes x to be an Integral, and is a type error
2021-03-05 08:02:27 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Remote host closed the connection)
2021-03-05 08:03:08 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639)
2021-03-05 08:05:06 +0100Aleksejs_HomeAleksejs
2021-03-05 08:05:38 +0100maier(~maier@b2b-37-24-119-190.unitymedia.biz)
2021-03-05 08:05:51 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-05 08:05:59 +0100maier(~maier@b2b-37-24-119-190.unitymedia.biz) (Client Quit)
2021-03-05 08:06:39 +0100maier(~maier@b2b-37-24-119-190.unitymedia.biz)
2021-03-05 08:07:53 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 260 seconds)
2021-03-05 08:08:24 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0.1)
2021-03-05 08:08:28 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-05 08:10:35 +0100waleee-cl(uid373333@gateway/web/irccloud.com/x-jksqnlfrjzjlkhlm) (Quit: Connection closed for inactivity)
2021-03-05 08:11:07 +0100malumore(~malumore@151.62.119.233)
2021-03-05 08:15:37 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-03-05 08:17:53 +0100shatriff(~vitaliish@protective.remission.volia.net) ()
2021-03-05 08:18:30 +0100pounce(~pounce@ns379743.ip-5-196-70.eu) (Ping timeout: 246 seconds)
2021-03-05 08:18:35 +0100darjeeling_(~darjeelin@122.245.208.86)
2021-03-05 08:19:56 +0100PoliticsII______(sid193551@gateway/web/irccloud.com/x-ssredrjhlcuuejnr) (Ping timeout: 240 seconds)
2021-03-05 08:20:49 +0100PoliticsII______(sid193551@gateway/web/irccloud.com/x-yldlxzypsmfoijoc)
2021-03-05 08:22:29 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-03-05 08:22:30 +0100kiweun(~kiweun@2607:fea8:2a62:9600:29e9:2902:ad9b:c01d)
2021-03-05 08:25:50 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds)
2021-03-05 08:26:18 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-05 08:27:02 +0100kiweun(~kiweun@2607:fea8:2a62:9600:29e9:2902:ad9b:c01d) (Ping timeout: 264 seconds)
2021-03-05 08:28:01 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-pzxcaoxvyukwyhjx) (Quit: Connection closed for inactivity)
2021-03-05 08:30:32 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-03-05 08:30:52 +0100michalz(~user@185.246.204.60)
2021-03-05 08:31:42 +0100bahamas(~lucian@unaffiliated/bahamas)
2021-03-05 08:35:45 +0100shatriff(~vitaliish@protective.remission.volia.net)
2021-03-05 08:37:46 +0100nineonine(~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2)
2021-03-05 08:37:49 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-03-05 08:38:11 +0100pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-03-05 08:39:33 +0100nineonine(~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) (Remote host closed the connection)
2021-03-05 08:40:17 +0100dexterlb_(~dexterlb@2a01:9e40:2:2::2) (Quit: Boing)
2021-03-05 08:40:32 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639)
2021-03-05 08:40:55 +0100dexterlb(~dexterlb@2a01:9e40:2:2::2)
2021-03-05 08:41:15 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-fmtgknnmutdddngm)
2021-03-05 08:41:55 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-03-05 08:43:09 +0100average(uid473595@gateway/web/irccloud.com/x-xflnwfcmhqvolkuk) (Quit: Connection closed for inactivity)
2021-03-05 08:45:02 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 264 seconds)
2021-03-05 08:48:15 +0100thonkpod_(~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (Ping timeout: 240 seconds)
2021-03-05 08:48:44 +0100thonkpod_(~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d)
2021-03-05 08:52:16 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-05 08:52:42 +0100viluon(uid453725@gateway/web/irccloud.com/x-jznxrcvykoijbcuj)
2021-03-05 08:55:00 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be)
2021-03-05 08:56:20 +0100jess(jess@freenode/staff/jess)
2021-03-05 08:57:33 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds)
2021-03-05 08:57:56 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de)
2021-03-05 08:58:48 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1)
2021-03-05 08:59:13 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-03-05 09:00:01 +0100meck(~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-05 09:02:00 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no)
2021-03-05 09:04:14 +0100Ferdiran1(~max@2001:4c78:2012:5000::2) (Ping timeout: 264 seconds)
2021-03-05 09:05:53 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 09:08:48 +0100meck(~meck@li1809-18.members.linode.com)
2021-03-05 09:08:59 +0100Varis(~Tadas@unaffiliated/varis)
2021-03-05 09:10:35 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Client Quit)
2021-03-05 09:10:55 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 09:13:45 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 264 seconds)
2021-03-05 09:15:20 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no)
2021-03-05 09:15:34 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-05 09:16:58 +0100rnons(~Thunderbi@i118-21-18-9.s41.a014.ap.plala.or.jp)
2021-03-05 09:19:51 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-03-05 09:20:03 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds)
2021-03-05 09:20:29 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b42a:6451:2211:3708) (Remote host closed the connection)
2021-03-05 09:20:35 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl)
2021-03-05 09:20:35 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-03-05 09:20:35 +0100mouseghost(~draco@wikipedia/desperek)
2021-03-05 09:23:48 +0100oleks_(~oleks@188.166.34.97) (Quit: leaving)
2021-03-05 09:24:04 +0100oleks(~oleks@188.166.34.97)
2021-03-05 09:31:06 +0100wz1000(~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 260 seconds)
2021-03-05 09:32:46 +0100o1lo01ol_(~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2021-03-05 09:33:59 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-03-05 09:34:49 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 260 seconds)
2021-03-05 09:36:10 +0100vgtw_(~vgtw@gateway/tor-sasl/vgtw)
2021-03-05 09:36:27 +0100Wolfy87(~Wolfy87@178.239.168.171) (Remote host closed the connection)
2021-03-05 09:37:23 +0100vgtw(~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 268 seconds)
2021-03-05 09:37:23 +0100vgtw_vgtw
2021-03-05 09:38:22 +0100shatriff(~vitaliish@protective.remission.volia.net) (Remote host closed the connection)
2021-03-05 09:38:58 +0100shatriff(~vitaliish@protective.remission.volia.net)
2021-03-05 09:39:37 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639)
2021-03-05 09:39:46 +0100ubert(~Thunderbi@p200300ecdf25d9bde6b318fffe838f33.dip0.t-ipconnect.de)
2021-03-05 09:42:02 +0100thunderrd(~thunderrd@183.182.112.145) (Ping timeout: 272 seconds)
2021-03-05 09:44:54 +0100ericsagnes(~ericsagne@2405:6580:0:5100:ce0d:4010:b248:c5be) (Ping timeout: 258 seconds)
2021-03-05 09:45:16 +0100drbean(~drbean@TC210-63-209-34.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-03-05 09:46:28 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 260 seconds)
2021-03-05 09:47:24 +0100hololeap(~hololeap@unaffiliated/hololeap) (Remote host closed the connection)
2021-03-05 09:50:14 +0100rnons(~Thunderbi@i118-21-18-9.s41.a014.ap.plala.or.jp) (Quit: rnons)
2021-03-05 09:51:17 +0100dyeplexer(~lol@unaffiliated/terpin) (Read error: Connection reset by peer)
2021-03-05 09:53:10 +0100cgadski(~textual@a95-95-106-208.cpe.netcabo.pt)
2021-03-05 09:53:21 +0100agander(~agander@193.46.28.55)
2021-03-05 09:55:31 +0100kritzefitz(~kritzefit@fw-front.credativ.com)
2021-03-05 09:56:07 +0100thunderrd(~thunderrd@183.182.115.72)
2021-03-05 09:57:26 +0100ericsagnes(~ericsagne@2405:6580:0:5100:28ac:b0b7:174e:3f67)
2021-03-05 09:59:54 +0100Yumasi(~guillaume@2a01:e0a:5cb:4430:fb20:8ab0:b390:4058)
2021-03-05 10:00:15 +0100Liyang[m](liyangmatr@gateway/shell/matrix.org/x-khhkarelngwsexgr) (Quit: Idle for 30+ days)
2021-03-05 10:00:24 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-05 10:00:26 +0100chenshen(~chenshen@2620:10d:c090:400::5:dc3c) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2021-03-05 10:04:54 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-03-05 10:16:10 +0100kam1(~kam1@37.129.37.106)
2021-03-05 10:19:16 +0100sheepfleece(~sheep@46.53.248.142)
2021-03-05 10:21:12 +0100heatsink(~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1)
2021-03-05 10:23:21 +0100kam1(~kam1@37.129.37.106) (Ping timeout: 264 seconds)
2021-03-05 10:25:18 +0100hrdl(~ef24a0e6@unaffiliated/hrdl)
2021-03-05 10:25:50 +0100heatsink(~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Ping timeout: 264 seconds)
2021-03-05 10:27:31 +0100 <CrabMan> https://wiki.haskell.org/Typeclassopedia#Functor gives an exercise "Implement Functor instances for `Either e` and `((->) e).`" How do I hide the default implementation for in `Data.Either` so that ghci doesn't complain about duplicate instance declaration?
2021-03-05 10:28:18 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net)
2021-03-05 10:28:42 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 246 seconds)
2021-03-05 10:30:49 +0100kunsttyv(~kunsttyv@195.93.234.11)
2021-03-05 10:31:41 +0100 <merijn> CrabMan: Well, for stuff like either you can always define your own version "data MyEither a b = MyLeft a | MyRight b", but that doesn't work for (->)
2021-03-05 10:32:06 +0100 <merijn> I don't really know a good solution for (->) tbh
2021-03-05 10:32:21 +0100 <opqdonut> the functor instance for (->) isn't in scope by default though, right?
2021-03-05 10:32:35 +0100 <opqdonut> oh, it is these days
2021-03-05 10:32:45 +0100 <opqdonut> I'm pretty sure it used to not be
2021-03-05 10:33:34 +0100 <merijn> opqdonut: Pretty sure it always was?
2021-03-05 10:33:58 +0100 <merijn> opqdonut: Unless you're suggesting it was an orphan instance at some point, but that seems unlikely
2021-03-05 10:34:45 +0100cgadski(~textual@a95-95-106-208.cpe.netcabo.pt) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-05 10:34:49 +0100 <opqdonut> yeah that's what I mean, but I'm probably mistaken
2021-03-05 10:35:33 +0100cgadski(~textual@a95-95-106-208.cpe.netcabo.pt)
2021-03-05 10:40:44 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 260 seconds)
2021-03-05 10:41:14 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-03-05 10:43:02 +0100cgadski(~textual@a95-95-106-208.cpe.netcabo.pt) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-05 10:43:54 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-03-05 10:44:09 +0100lambda(~xiretza@mail.xiretza.xyz) (Ping timeout: 272 seconds)
2021-03-05 10:44:34 +0100cgadski(~textual@a95-95-106-208.cpe.netcabo.pt)
2021-03-05 10:45:32 +0100cgadski(~textual@a95-95-106-208.cpe.netcabo.pt) (Client Quit)
2021-03-05 10:45:38 +0100kibo(~kibo@51-171-46-249-dynamic.agg2.ens.lmk-pgs.eircom.net)
2021-03-05 10:47:00 +0100lambda(~xiretza@mail.xiretza.xyz)
2021-03-05 10:48:10 +0100psutcliffe(~psutcliff@m83-185-90-134.cust.tele2.se) (Remote host closed the connection)
2021-03-05 10:48:32 +0100psutcliffe(~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519)
2021-03-05 10:49:46 +0100kuribas(~user@ptr-25vy0i8rv5mx3gpgnrc.18120a2.ip6.access.telenet.be)
2021-03-05 10:50:15 +0100cgadski(~textual@a95-95-106-208.cpe.netcabo.pt)
2021-03-05 10:52:24 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2021-03-05 10:53:31 +0100pjb(~t@2a01cb04063ec5007ce20f826557de89.ipv6.abo.wanadoo.fr) (Ping timeout: 258 seconds)
2021-03-05 10:55:33 +0100Amico(~Raul@host-79-36-96-189.retail.telecomitalia.it)
2021-03-05 10:55:39 +0100 <Amico> !request
2021-03-05 10:57:24 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-05 10:58:41 +0100geowiesnot_bis(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-03-05 11:04:28 +0100pfurla_(~pfurla@ool-3f8fc8f0.dyn.optonline.net)
2021-03-05 11:04:40 +0100zar(~zar@fw1.ciirc.cvut.cz)
2021-03-05 11:05:30 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-sggshpbcjtfntjhq) (Quit: Connection closed for inactivity)
2021-03-05 11:05:55 +0100Amico(~Raul@host-79-36-96-189.retail.telecomitalia.it) (Quit: over35 la mia scelta! http://chatover35.altervista.org/)
2021-03-05 11:06:26 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it)
2021-03-05 11:07:34 +0100pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 245 seconds)
2021-03-05 11:11:08 +0100Tops2(~Tobias@dyndsl-095-033-026-043.ewe-ip-backbone.de)
2021-03-05 11:11:14 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de)
2021-03-05 11:12:31 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-05 11:12:50 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (Client Quit)
2021-03-05 11:13:39 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de)
2021-03-05 11:15:44 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (Client Quit)
2021-03-05 11:19:25 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de)
2021-03-05 11:27:32 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-03-05 11:27:34 +0100pjb(~t@2a01cb04063ec5009532626e850365ce.ipv6.abo.wanadoo.fr)
2021-03-05 11:27:40 +0100 <CrabMan> Consider a kind data UnfunctorableType a. For any type a, it produces an empty type. Do I understand correctly that UnfunctorableType can't be made into a functor?
2021-03-05 11:30:36 +0100Ferdirand(~max@2001:4c78:2012:5000::2)
2021-03-05 11:30:36 +0100ixlun(~user@213.205.241.12)
2021-03-05 11:30:40 +0100 <CrabMan> * Consider the kind data UnfunctorableType a. For any type a, it produces an empty type. Do I understand correctly that UnfunctorableType can't be made into a functor?
2021-03-05 11:32:08 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-03-05 11:37:09 +0100 <Uniaika> does anyone know why Text has an offset field?
2021-03-05 11:41:02 +0100kibo(~kibo@51-171-46-249-dynamic.agg2.ens.lmk-pgs.eircom.net) ()
2021-03-05 11:41:18 +0100 <[exa]> Uniaika: so that popping/pushing from the beginning doesn't take O(n) ?
2021-03-05 11:43:18 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639)
2021-03-05 11:46:50 +0100qih(~pi@210-54-120-166.adsl.xtra.co.nz) (Quit: leaving)
2021-03-05 11:49:14 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 264 seconds)
2021-03-05 11:49:27 +0100thc202(~thc202@unaffiliated/thc202)
2021-03-05 11:49:37 +0100 <Uniaika> [exa]: ah, thanks :)
2021-03-05 11:53:27 +0100dcoutts_dcoutts
2021-03-05 11:53:33 +0100d1rges(~d1rges@2001-b011-8011-1df2-f7f3-676d-97d1-8a64.dynamic-ip6.hinet.net)
2021-03-05 11:55:09 +0100bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 264 seconds)
2021-03-05 11:59:56 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-05 12:00:27 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Client Quit)
2021-03-05 12:01:12 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-05 12:01:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds)
2021-03-05 12:03:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 12:05:55 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-03-05 12:06:21 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-03-05 12:07:22 +0100knupfer(~Thunderbi@200116b82c486300788a86fd57e0c237.dip.versatel-1u1.de)
2021-03-05 12:08:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds)
2021-03-05 12:09:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 12:10:09 +0100dexterlb(~dexterlb@2a01:9e40:2:2::2) (Quit: Boing)
2021-03-05 12:10:35 +0100dexterlb(~dexterlb@2a01:9e40:2:2::2)
2021-03-05 12:10:36 +0100Alleria(~textual@zrcout.mskcc.org)
2021-03-05 12:11:00 +0100AlleriaGuest84398
2021-03-05 12:11:57 +0100cgadski(~textual@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer)
2021-03-05 12:17:38 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-chfbleysvpyzerwt)
2021-03-05 12:19:19 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-05 12:19:43 +0100__monty__(~toonn@unaffiliated/toonn)
2021-03-05 12:20:29 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-03-05 12:20:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 12:22:38 +0100heatsink(~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1)
2021-03-05 12:24:15 +0100aarvar(~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) (Ping timeout: 240 seconds)
2021-03-05 12:26:19 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-05 12:26:39 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 12:26:51 +0100bahamas(~lucian@unaffiliated/bahamas)
2021-03-05 12:27:09 +0100{abby}(~{abby}@unaffiliated/demhydraz) (Quit: Bye!)
2021-03-05 12:27:09 +0100SquidDev(~SquidDev@autoclave.squiddev.cc) (Quit: Bye!)
2021-03-05 12:27:15 +0100ArsenArsen_(~Arsen@fsf/member/ArsenArsen) (Remote host closed the connection)
2021-03-05 12:27:19 +0100berberman_(~berberman@unaffiliated/berberman)
2021-03-05 12:27:36 +0100ArsenArsen(~Arsen@fsf/member/ArsenArsen)
2021-03-05 12:27:38 +0100heatsink(~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Ping timeout: 264 seconds)
2021-03-05 12:28:03 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2021-03-05 12:28:12 +0100berberman_(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2021-03-05 12:28:47 +0100berberman(~berberman@unaffiliated/berberman)
2021-03-05 12:31:55 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-05 12:32:10 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds)
2021-03-05 12:32:35 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 12:32:38 +0100bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2021-03-05 12:32:39 +0100{abby}(~{abby}@unaffiliated/demhydraz)
2021-03-05 12:32:40 +0100SquidDev(~SquidDev@autoclave.squiddev.cc)
2021-03-05 12:32:46 +0100wz1000(~wz1000@static.11.113.47.78.clients.your-server.de)
2021-03-05 12:33:19 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2021-03-05 12:34:41 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-03-05 12:36:50 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-03-05 12:37:33 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-05 12:37:37 +0100{abby}(~{abby}@unaffiliated/demhydraz) (Quit: Bye!)
2021-03-05 12:37:37 +0100SquidDev(~SquidDev@autoclave.squiddev.cc) (Quit: Bye!)
2021-03-05 12:38:00 +0100SquidDev(~SquidDev@autoclave.squiddev.cc)
2021-03-05 12:38:01 +0100{abby}(~{abby}@unaffiliated/demhydraz)
2021-03-05 12:38:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 12:43:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-05 12:43:56 +0100ech(~user@gateway/tor-sasl/ech)
2021-03-05 12:44:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 12:49:34 +0100d1rges(~d1rges@2001-b011-8011-1df2-f7f3-676d-97d1-8a64.dynamic-ip6.hinet.net) (Quit: Leaving)
2021-03-05 12:49:37 +0100Feuermagier(~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Remote host closed the connection)
2021-03-05 12:49:39 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-05 12:49:54 +0100Feuermagier(~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6)
2021-03-05 12:50:00 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 12:53:12 +0100Feuermagier(~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Remote host closed the connection)
2021-03-05 12:53:24 +0100Feuermagier(~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6)
2021-03-05 12:54:35 +0100kunsttyv(~kunsttyv@195.93.234.11) (Read error: Connection reset by peer)
2021-03-05 13:00:33 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-05 13:00:54 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2021-03-05 13:01:26 +0100bahamas(~lucian@unaffiliated/bahamas)
2021-03-05 13:01:34 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 13:01:48 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-03-05 13:02:10 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-05 13:02:45 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-05 13:04:14 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 245 seconds)
2021-03-05 13:04:36 +0100alx741(~alx741@186.178.108.237)
2021-03-05 13:04:40 +0100 <tromp> int-e: the current March Ponder This is the kind of puzzle i love
2021-03-05 13:04:48 +0100pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-03-05 13:05:09 +0100sm2n(~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Ping timeout: 256 seconds)
2021-03-05 13:05:39 +0100 <tromp> and love to solve in Haskell
2021-03-05 13:06:12 +0100bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 246 seconds)
2021-03-05 13:07:21 +0100pfurla_(~pfurla@ool-3f8fc8f0.dyn.optonline.net) (Ping timeout: 256 seconds)
2021-03-05 13:07:23 +0100 <int-e> Oh I haven't looked yet.
2021-03-05 13:07:43 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-03-05 13:07:55 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds)
2021-03-05 13:07:58 +0100psutcliffe(~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Quit: Leaving)
2021-03-05 13:08:03 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-05 13:08:43 +0100cheater(~user@unaffiliated/cheater)
2021-03-05 13:10:12 +0100plutoniix(~q@184.82.205.61) (Quit: Leaving)
2021-03-05 13:13:30 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2021-03-05 13:13:31 +0100cheater1(~user@unaffiliated/cheater)
2021-03-05 13:14:52 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-03-05 13:15:19 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 260 seconds)
2021-03-05 13:15:27 +0100cheater1cheater
2021-03-05 13:16:19 +0100lemmih(~lemmih@2406:3003:2072:44:d8ed:96e9:a19d:e53b) (Remote host closed the connection)
2021-03-05 13:16:40 +0100lemmih(~lemmih@2406:3003:2072:44:5504:1a40:9c9:89a5)
2021-03-05 13:16:46 +0100drbean(~drbean@TC210-63-209-31.static.apol.com.tw)
2021-03-05 13:19:18 +0100sm2n(~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca)
2021-03-05 13:19:32 +0100Wuzzy(~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de)
2021-03-05 13:21:13 +0100kunsttyv(~kunsttyv@195.93.234.11)
2021-03-05 13:21:52 +0100sm2n(~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Read error: Connection reset by peer)
2021-03-05 13:23:27 +0100sm2n(~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca)
2021-03-05 13:24:13 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-03-05 13:24:35 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-03-05 13:25:33 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:f550:dcf6:fda8:5a8e)
2021-03-05 13:34:41 +0100CodeAlways(uid272474@gateway/web/irccloud.com/x-wgpichfqkyzhegjl)
2021-03-05 13:35:56 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-05 13:36:21 +0100 <tromp> just submitted my solution
2021-03-05 13:40:20 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:f550:dcf6:fda8:5a8e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-05 13:43:00 +0100usr25(~usr25@unaffiliated/usr25)
2021-03-05 13:46:04 +0100astroanax(astroanax@gateway/shell/ircnow/x-tmpmjymczmbdbrbq)
2021-03-05 13:47:05 +0100gitgood(~gitgood@82-132-218-13.dab.02.net)
2021-03-05 13:50:18 +0100average(uid473595@gateway/web/irccloud.com/x-omskghvgbfvcepam)
2021-03-05 13:52:03 +0100ericsagnes(~ericsagne@2405:6580:0:5100:28ac:b0b7:174e:3f67) (Ping timeout: 260 seconds)
2021-03-05 13:53:15 +0100dunj3(~dunj3@2001:16b8:30a0:1e00:e916:763f:8b57:452f)
2021-03-05 13:55:49 +0100mayleesia(4db762ff@x4db762ff.dyn.telefonica.de)
2021-03-05 13:57:50 +0100__minoru__shirae(~shiraeesh@109.166.56.141)
2021-03-05 14:01:30 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-03-05 14:03:47 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-05 14:03:52 +0100ericsagnes(~ericsagne@2405:6580:0:5100:be08:ef83:7da5:b97a)
2021-03-05 14:06:13 +0100forgottenone(~forgotten@176.42.24.161)
2021-03-05 14:07:16 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-05 14:08:07 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com)
2021-03-05 14:08:31 +0100psutcliffe(~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519)
2021-03-05 14:08:58 +0100knupfer(~Thunderbi@200116b82c486300788a86fd57e0c237.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2021-03-05 14:10:04 +0100__minoru__shirae(~shiraeesh@109.166.56.141) (Ping timeout: 245 seconds)
2021-03-05 14:18:03 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:f550:dcf6:fda8:5a8e)
2021-03-05 14:19:29 +0100kunsttyv(~kunsttyv@195.93.234.11) (Read error: Connection reset by peer)
2021-03-05 14:19:31 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt)
2021-03-05 14:19:36 +0100jespada(~jespada@90.254.243.187) (Read error: Connection reset by peer)
2021-03-05 14:20:03 +0100jespada(~jespada@90.254.243.187)
2021-03-05 14:20:10 +0100crobbins(~crobbins@2601:2c1:200:ec50:bd85:de5e:f720:2e32)
2021-03-05 14:24:12 +0100heatsink(~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1)
2021-03-05 14:26:05 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-03-05 14:26:10 +0100gitgood(~gitgood@82-132-218-13.dab.02.net) (Read error: Connection reset by peer)
2021-03-05 14:26:44 +0100ukari(~ukari@unaffiliated/ukari)
2021-03-05 14:27:36 +0100cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0.1)
2021-03-05 14:28:35 +0100forgottenone(~forgotten@176.42.24.161) (Remote host closed the connection)
2021-03-05 14:28:50 +0100heatsink(~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Ping timeout: 264 seconds)
2021-03-05 14:29:59 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-05 14:30:38 +0100Tario(~Tario@201.192.165.173)
2021-03-05 14:33:15 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-03-05 14:33:49 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-05 14:34:45 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-03-05 14:36:17 +0100urodna(~urodna@unaffiliated/urodna)
2021-03-05 14:37:29 +0100forgottenone(~forgotten@176.42.24.161)
2021-03-05 14:38:34 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:f550:dcf6:fda8:5a8e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-05 14:39:21 +0100andreas303(~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2021-03-05 14:43:11 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:f550:dcf6:fda8:5a8e)
2021-03-05 14:45:53 +0100lokesh1197(dfb0619e@223.176.97.158)
2021-03-05 14:46:12 +0100Yumasi(~guillaume@2a01:e0a:5cb:4430:fb20:8ab0:b390:4058) (Ping timeout: 258 seconds)
2021-03-05 14:53:53 +0100drbean(~drbean@TC210-63-209-31.static.apol.com.tw) (Ping timeout: 256 seconds)
2021-03-05 14:54:25 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:f550:dcf6:fda8:5a8e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-05 14:56:47 +0100kunsttyv(~kunsttyv@195.93.234.11)
2021-03-05 14:57:09 +0100 <tomjaguarpaw> Does anyone have a recommendation for lens tutorial that I can give to experienced programmers with only a small amount of functional programming knowledge?
2021-03-05 14:59:23 +0100lokesh1197(dfb0619e@223.176.97.158) (Ping timeout: 240 seconds)
2021-03-05 14:59:33 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2021-03-05 14:59:42 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Read error: Connection reset by peer)
2021-03-05 15:00:04 +0100 <swarmcollective> tomjaguarpaw: I do not know of one directly, but Chiroptical did a video series going over the "Optics by Example" by Chris Penner ... Here's a list to the series: https://www.youtube.com/playlist?list=PLW_sOzxD_4gSyP92J-K4AwfR9Fvi6WCuV
2021-03-05 15:00:22 +0100hahalps(34e59cb0@52.229.156.176)
2021-03-05 15:00:24 +0100 <swarmcollective> (With permission and participation from the author)
2021-03-05 15:00:41 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-03-05 15:00:44 +0100 <SIben> tomjaguarpaw: I don't know if I can recommend that, but we have been building up to lenses in our Haskell seminar: https://nextjournal.com/uib-types/haskell-sessions/
2021-03-05 15:00:55 +0100 <SIben> I think it is digestible?
2021-03-05 15:00:59 +0100 <__monty__> Maybe the docs for one of the simpler lens libraries, like microlens or lens-simple?
2021-03-05 15:02:29 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-05 15:05:30 +0100hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-03-05 15:05:41 +0100hahalps(34e59cb0@52.229.156.176) (Quit: Connection closed)
2021-03-05 15:06:13 +0100Tops21(~Tobias@dyndsl-095-033-026-043.ewe-ip-backbone.de)
2021-03-05 15:08:07 +0100 <merijn> tomjaguarpaw: "none of them"? *ducks*
2021-03-05 15:09:33 +0100Tops2(~Tobias@dyndsl-095-033-026-043.ewe-ip-backbone.de) (Ping timeout: 264 seconds)
2021-03-05 15:09:42 +0100andreas303(~andreas@gateway/tor-sasl/andreas303)
2021-03-05 15:11:06 +0100 <tomjaguarpaw> I'm trying to find one based on the optics abstract interface rather than van-Laarhoven lenses
2021-03-05 15:11:21 +0100 <tomjaguarpaw> I will have a look around. Maybe I will write one :D
2021-03-05 15:12:08 +0100carlomagno(~cararell@148.87.23.13)
2021-03-05 15:13:14 +0100 <tomjaguarpaw> I guess the problem with VL based libraries is that the implementation leaks everywhere so every tutorial has to address the implementation from very early on
2021-03-05 15:13:24 +0100 <[exa]> tomjaguarpaw: I kindof suspect that non-functional programmers won't get much excitement from the goodies there, like "traverse is a traversal lol!"
2021-03-05 15:13:38 +0100 <swarmcollective> tomjaguarpaw: For those like me lacking sufficient understanding, what would you say the key differences are?
2021-03-05 15:13:53 +0100 <tomjaguarpaw> swarmcollective: Do you mean between optics and lens?
2021-03-05 15:13:57 +0100agander(~agander@193.46.28.55) (Ping timeout: 246 seconds)
2021-03-05 15:14:16 +0100 <tomjaguarpaw> [exa]: They don't need to have excitement, they just have to be able to understand what I wrote :D
2021-03-05 15:14:39 +0100 <[exa]> tomjaguarpaw: anyway if you don't want to overwhelm them by functors, it's best to go for many useful examples first, lenses are much more intuitive from that side
2021-03-05 15:14:52 +0100 <swarmcollective> Referring to your statement: "optics abstract interface rather than van-Laarhoven lenses", which I guess means "between optics and lens". :)
2021-03-05 15:15:47 +0100 <tomjaguarpaw> swarmcollective: In optics a lens is an abstract type rather than a function '(a -> f b) -> s -> f t' so the error messages are much better
2021-03-05 15:16:04 +0100mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 260 seconds)
2021-03-05 15:16:25 +0100 <tomjaguarpaw> The abstract type is a bit less flexible, but a lot more easy to use, in my opinion
2021-03-05 15:16:37 +0100 <swarmcollective> tomjaguarpaw: thank you. Optics are on my to-do / to-learn list for this year.
2021-03-05 15:18:24 +0100 <tomjaguarpaw> Cool. I recommend starting with optics rather than lens. There's a nice introduction (but not tutorial) at https://hackage.haskell.org/package/optics-0.4/docs/Optics.html
2021-03-05 15:19:38 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds)
2021-03-05 15:21:47 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-05 15:23:27 +0100 <swarmcollective> tomjaguarpaw: I've had the Subtype Hierarchy image from that page bookmarked for some time. :) Thanks for the link to the page itself! It is a good resource.
2021-03-05 15:24:38 +0100gitgood(~gitgood@82-132-218-13.dab.02.net)
2021-03-05 15:24:52 +0100kunsttyv(~kunsttyv@195.93.234.11) (Read error: Connection reset by peer)
2021-03-05 15:26:10 +0100nemesit|znc_(~nemesit@myriadvisuals.com) (Quit: ZNC 1.6.3+deb1ubuntu0.2 - http://znc.in)
2021-03-05 15:26:24 +0100nemesit|znc(~nemesit@myriadvisuals.com)
2021-03-05 15:30:02 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no)
2021-03-05 15:30:54 +0100mrchampion(~mrchampio@38.18.109.23)
2021-03-05 15:32:03 +0100 <merijn> [exa]: tbh, I don't get much excitement from that and I *am* a functional programmer ;)
2021-03-05 15:32:28 +0100 <merijn> I think I have like 5 lines of (micro)lens code and that's mostly view/set on existing APIs :p
2021-03-05 15:32:53 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-03-05 15:33:23 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-03-05 15:36:54 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-anorpmpasvncoxvb)
2021-03-05 15:41:31 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-05 15:43:59 +0100gitgood(~gitgood@82-132-218-13.dab.02.net) (Read error: Connection reset by peer)
2021-03-05 15:47:45 +0100ADG1089__(~aditya@106.214.235.119)
2021-03-05 15:47:46 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr)
2021-03-05 15:47:58 +0100jakalx(~jakalx@base.jakalx.net)
2021-03-05 15:48:09 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-03-05 15:48:14 +0100gitgood(~gitgood@82-132-218-13.dab.02.net)
2021-03-05 15:51:44 +0100 <ADG1089__> I am trying to find \{x\mid x\in\Pi_iX_i, x\le L\} given that AB=\{ab\mid a\in A,b\in B\} . Currently I am using recusive function that runs in 33 sec for L=10^12 and X1, X2, ... X543 for |Xi| = 2. I tried to profile it and it spends 35% time in GC
2021-03-05 15:52:05 +0100 <merijn> ADG1089__: Code? :p
2021-03-05 15:54:43 +0100bahamas(~lucian@unaffiliated/bahamas)
2021-03-05 15:55:44 +0100 <ADG1089__> https://paste.tomsmeding.com/58Gtzt5r
2021-03-05 15:58:13 +0100 <[exa]> ADG1089__: are you sure that you can filter it by factorizations when your integers are not a finite field?
2021-03-05 15:58:42 +0100 <[exa]> (or are they?)
2021-03-05 15:59:39 +0100 <[exa]> btw I guess this is euler problem 516 right?
2021-03-05 15:59:41 +0100ixlun(~user@213.205.241.12) (Ping timeout: 256 seconds)
2021-03-05 15:59:49 +0100bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2021-03-05 16:00:48 +0100 <ADG1089__> yeah
2021-03-05 16:01:04 +0100 <[exa]> (in that case the 2^32 is probably not needed directly in the code, but whatevs)
2021-03-05 16:02:00 +0100 <ADG1089__> i am guessing i can start by making fold strict
2021-03-05 16:03:38 +0100 <[exa]> I'm guessing that this might be more of a math task than a programming task
2021-03-05 16:04:21 +0100 <ADG1089__> yeah let me try binary search and prefix sums
2021-03-05 16:04:29 +0100 <ADG1089__> @t foldl1'
2021-03-05 16:04:29 +0100 <lambdabot> Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? .
2021-03-05 16:05:03 +0100 <swarmcollective> :t foldl1'
2021-03-05 16:05:04 +0100 <lambdabot> (a -> a -> a) -> [a] -> a
2021-03-05 16:06:49 +0100 <[exa]> ADG1089__: what about using the multiplicative formula for φ(n) (first one on wiki) and just summing that up straight up?
2021-03-05 16:06:50 +0100Pickchea(~private@unaffiliated/pickchea)
2021-03-05 16:07:23 +0100hiroaki_(~hiroaki@2a02:8108:8c40:2bb8:73f8:36f6:d6d6:24a) (Ping timeout: 260 seconds)
2021-03-05 16:11:26 +0100Deide(~Deide@217.155.19.23)
2021-03-05 16:15:01 +0100 <ADG1089__> [exa]: I'm not sure how infinite field creates a problem? I am actually doing phi inverse of elements in hamming
2021-03-05 16:15:27 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639)
2021-03-05 16:15:43 +0100pavonia(~user@unaffiliated/siracusa)
2021-03-05 16:16:24 +0100ixlun(~user@213.205.241.12)
2021-03-05 16:16:49 +0100 <[exa]> ADG1089__: I thought you were actually computing over integers modulo something, where the multiplications would kindof always overflow to become <10^12
2021-03-05 16:17:00 +0100 <[exa]> which is not valid, sorry :]
2021-03-05 16:17:16 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Remote host closed the connection)
2021-03-05 16:17:36 +0100totoro2021(~t@unaffiliated/totoro2021) (Ping timeout: 240 seconds)
2021-03-05 16:18:12 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639)
2021-03-05 16:18:23 +0100Benzi-Junior(~BenziJuni@88-149-67-143.du.xdsl.is) (Ping timeout: 256 seconds)
2021-03-05 16:18:56 +0100Jd007(~Jd007@162.156.11.151)
2021-03-05 16:19:04 +0100totoro2021(~t@unaffiliated/totoro2021)
2021-03-05 16:20:10 +0100hiroaki_(~hiroaki@2a02:8108:8c40:2bb8:303:be6a:2a48:3133)
2021-03-05 16:20:13 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 260 seconds)
2021-03-05 16:20:14 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354)
2021-03-05 16:20:40 +0100ozataman(~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net)
2021-03-05 16:21:39 +0100ClaudiusMaximus(~claude@191.123.199.146.dyn.plus.net)
2021-03-05 16:21:39 +0100ClaudiusMaximus(~claude@191.123.199.146.dyn.plus.net) (Changing host)
2021-03-05 16:21:39 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2021-03-05 16:22:08 +0100ozataman(~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Client Quit)
2021-03-05 16:22:24 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-05 16:22:43 +0100jrqc(~rofl@96.78.87.197)
2021-03-05 16:22:44 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr)
2021-03-05 16:23:08 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 260 seconds)
2021-03-05 16:23:29 +0100maier(~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 265 seconds)
2021-03-05 16:23:45 +0100Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2021-03-05 16:24:30 +0100Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de)
2021-03-05 16:26:07 +0100heatsink(~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1)
2021-03-05 16:27:48 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2021-03-05 16:28:53 +0100gitgoood(~gitgood@82-132-218-124.dab.02.net)
2021-03-05 16:29:56 +0100crobbins(~crobbins@2601:2c1:200:ec50:bd85:de5e:f720:2e32) (Remote host closed the connection)
2021-03-05 16:30:15 +0100heatsink(~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Ping timeout: 240 seconds)
2021-03-05 16:30:34 +0100crobbins(~crobbins@2601:2c1:200:ec50:f50e:8a4c:76f4:c2b8)
2021-03-05 16:31:00 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan)
2021-03-05 16:31:40 +0100gitgood(~gitgood@82-132-218-13.dab.02.net) (Read error: Connection reset by peer)
2021-03-05 16:32:12 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-05 16:33:24 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl)
2021-03-05 16:33:24 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-03-05 16:33:24 +0100mouseghost(~draco@wikipedia/desperek)
2021-03-05 16:33:37 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Client Quit)
2021-03-05 16:33:54 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-05 16:33:57 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Client Quit)
2021-03-05 16:35:22 +0100bahamas(~lucian@unaffiliated/bahamas)
2021-03-05 16:36:28 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-05 16:37:20 +0100sz0(uid110435@gateway/web/irccloud.com/x-gudvzeidxnskkkra) (Quit: Connection closed for inactivity)
2021-03-05 16:40:09 +0100bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 264 seconds)
2021-03-05 16:46:44 +0100Pressyware[m](pressyware@gateway/shell/matrix.org/x-cypbqfareuipwdxl)
2021-03-05 16:49:19 +0100 <ADG1089__> I'm only upset that there is a <0.06 sec version
2021-03-05 16:49:33 +0100 <ADG1089__> and I am still stuck at 32 sec
2021-03-05 16:49:42 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-03-05 16:50:04 +0100xff0x(~xff0x@2001:1a81:5278:3000:6caf:8f38:636e:aa55) (Remote host closed the connection)
2021-03-05 16:50:23 +0100xff0x(~xff0x@2001:1a81:5278:3000:57ba:9247:ce34:6483)
2021-03-05 16:50:54 +0100 <merijn> ADG1089__: I see you using foldl1
2021-03-05 16:51:00 +0100 <merijn> Pretty sure that isn't strict
2021-03-05 16:51:25 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639)
2021-03-05 16:52:08 +0100 <merijn> ADG1089__: What happens if you replace it with: https://hackage.haskell.org/package/base-4.14.1.0/docs/Data-List.html#v:foldl1-39- ?
2021-03-05 16:53:37 +0100 <maerwald> am I the only one constantly getting confused by the use of :: for kind signatures?
2021-03-05 16:54:11 +0100stree(~stree@68.36.8.116) (Quit: Caught exception)
2021-03-05 16:54:36 +0100stree(~stree@68.36.8.116)
2021-03-05 16:54:58 +0100 <ADG1089__> merijn: 1-2 sec improvement
2021-03-05 16:55:08 +0100ADG1089__(~aditya@106.214.235.119) (Remote host closed the connection)
2021-03-05 16:56:56 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 240 seconds)
2021-03-05 16:57:18 +0100bahamas(~lucian@unaffiliated/bahamas)
2021-03-05 16:57:30 +0100Waifod(~Waifod@91.106.123.186)
2021-03-05 16:57:50 +0100ADG1089(~adg1089@106.214.235.119)
2021-03-05 16:58:40 +0100jlamothe(~jlamothe@198.251.55.207) (Ping timeout: 276 seconds)
2021-03-05 17:00:54 +0100jlamothe(~jlamothe@198.251.55.207)
2021-03-05 17:02:09 +0100conal(~conal@64.71.133.70) (Ping timeout: 245 seconds)
2021-03-05 17:02:23 +0100jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-03-05 17:03:07 +0100conal_(~conal@192.145.118.163)
2021-03-05 17:03:22 +0100conal_(~conal@192.145.118.163) (Client Quit)
2021-03-05 17:03:36 +0100jakalx(~jakalx@base.jakalx.net)
2021-03-05 17:08:23 +0100Waifod(~Waifod@91.106.123.186) (Quit: leaving)
2021-03-05 17:08:38 +0100Waifod(~Waifod@91.106.123.186)
2021-03-05 17:09:31 +0100gitgoood(~gitgood@82-132-218-124.dab.02.net) (Read error: Connection reset by peer)
2021-03-05 17:09:38 +0100ixlun(~user@213.205.241.12) (Remote host closed the connection)
2021-03-05 17:10:54 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-05 17:11:01 +0100o1lo01ol_(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection)
2021-03-05 17:12:09 +0100tinhatcat(~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net)
2021-03-05 17:12:09 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-03-05 17:14:45 +0100loyon(loyonmatri@gateway/shell/matrix.org/x-pibcmanmmawjsdlg)
2021-03-05 17:16:24 +0100 <loyon> I'm looking for an auto-formatter, I see there is different one around, which one do you use and would recommend?
2021-03-05 17:17:07 +0100 <Uniaika> I use stylish-haskell, very satisfied with it
2021-03-05 17:17:13 +0100Waifod(~Waifod@91.106.123.186) (Quit: leaving)
2021-03-05 17:17:21 +0100 <maerwald> I don't like any of them... brittany looked most promising, but it has a habit of doing excessive newlining... ormolu is just awful
2021-03-05 17:17:29 +0100Waifod(~Waifod@91.106.123.186)
2021-03-05 17:17:58 +0100 <shapr> I like ormolu because it formats the most things in the most opinionated way
2021-03-05 17:18:12 +0100 <shapr> and I really just want a formatter
2021-03-05 17:18:38 +0100 <shapr> The formatters in other languages often don't handle spaces inside parens and all sorts of other picky details, I want *everything* formatted
2021-03-05 17:19:31 +0100ADG1089__(~aditya@106.214.235.119)
2021-03-05 17:20:21 +0100 <maerwald> I found formatters in other languages generally work better than in haskell
2021-03-05 17:20:32 +0100 <maerwald> haskell formatters can't even deal correctly with CPP
2021-03-05 17:20:36 +0100 <loyon> thanks everyone, I'm really looking for something that format everything so ormolu is what I will try first. If it's too much stylish-haskell seems to offer a reasonable middle ground.
2021-03-05 17:20:46 +0100 <lortabac> one thing I dislike about ormolu is that it doesn't add newlines if there isn't at least one already
2021-03-05 17:20:47 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr)
2021-03-05 17:21:40 +0100 <lortabac> sometimes I want to write a long expression on one line and let the formatter do everything, but with ormolu I have to add at least one random newline to trigger proper formatting
2021-03-05 17:21:53 +0100 <lortabac> otherwise it would leave everything on one line
2021-03-05 17:22:00 +0100frozenErebus(~frozenEre@94.128.219.166)
2021-03-05 17:23:07 +0100 <loyon> that is very good to know lortabac , because that's exactly what I was hoping for haha, to break my endless lines automagically.
2021-03-05 17:23:14 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-05 17:25:43 +0100berberman(~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-05 17:25:50 +0100vilpan(~0@212.117.1.172)
2021-03-05 17:26:06 +0100berberman(~berberman@unaffiliated/berberman)
2021-03-05 17:26:09 +0100 <lortabac> loyon: then brittany might be a better choice
2021-03-05 17:26:23 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 256 seconds)
2021-03-05 17:26:58 +0100heatsink(~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1)
2021-03-05 17:27:20 +0100_noblegas(uid91066@gateway/web/irccloud.com/x-jycqcvdxtuypsqup)
2021-03-05 17:28:08 +0100kunsttyv(~kunsttyv@195.93.234.11)
2021-03-05 17:28:39 +0100Waifod(~Waifod@91.106.123.186) (Quit: leaving)
2021-03-05 17:28:54 +0100Waifod(~Waifod@91.106.123.186)
2021-03-05 17:30:59 +0100ech(~user@gateway/tor-sasl/ech) (Ping timeout: 268 seconds)
2021-03-05 17:31:06 +0100ADG1089__(~aditya@106.214.235.119) (Remote host closed the connection)
2021-03-05 17:31:15 +0100heatsink(~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Ping timeout: 240 seconds)
2021-03-05 17:31:19 +0100ezrakilty(~ezrakilty@97-113-55-149.tukw.qwest.net)
2021-03-05 17:31:24 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354)
2021-03-05 17:31:31 +0100ADG1089__(~aditya@106.214.235.119)
2021-03-05 17:31:56 +0100ADG1089__(~aditya@106.214.235.119) (Remote host closed the connection)
2021-03-05 17:32:12 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639)
2021-03-05 17:33:33 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Remote host closed the connection)
2021-03-05 17:34:33 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639)
2021-03-05 17:35:20 +0100HaeB1(~HaeB@217.146.82.202)
2021-03-05 17:37:10 +0100agander(~agander@193.46.28.55)
2021-03-05 17:37:37 +0100ech(~user@gateway/tor-sasl/ech)
2021-03-05 17:38:24 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-05 17:38:35 +0100heatsink(~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1)
2021-03-05 17:38:35 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 240 seconds)
2021-03-05 17:39:52 +0100conal(~conal@64.71.133.70)
2021-03-05 17:41:06 +0100bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2021-03-05 17:42:42 +0100darjeeling_(~darjeelin@122.245.208.86) (Ping timeout: 246 seconds)
2021-03-05 17:43:47 +0100darjeeling_(~darjeelin@122.245.208.86)
2021-03-05 17:45:02 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 264 seconds)
2021-03-05 17:45:30 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-05 17:50:52 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-05 17:51:41 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-05 17:53:08 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-05 17:55:34 +0100ericsagnes(~ericsagne@2405:6580:0:5100:be08:ef83:7da5:b97a) (Ping timeout: 258 seconds)
2021-03-05 17:58:43 +0100conal(~conal@64.71.133.70)
2021-03-05 18:01:47 +0100ixlun(~user@213.205.241.12)
2021-03-05 18:02:26 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-05 18:04:45 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-hsfumururywifqcc)
2021-03-05 18:05:04 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-05 18:07:41 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 18:07:48 +0100ericsagnes(~ericsagne@2405:6580:0:5100:e26e:cf9:1dd6:9615)
2021-03-05 18:08:07 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-05 18:09:46 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-05 18:10:05 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639)
2021-03-05 18:10:30 +0100ADG1089(~adg1089@106.214.235.119) (Ping timeout: 260 seconds)
2021-03-05 18:11:03 +0100ubert(~Thunderbi@p200300ecdf25d9bde6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-03-05 18:11:24 +0100apoc(~apoc@bridge.mattzq.com) (Ping timeout: 272 seconds)
2021-03-05 18:12:02 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-05 18:12:48 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-05 18:13:10 +0100gitgood(~gitgood@82-132-218-124.dab.02.net)
2021-03-05 18:13:33 +0100mirrorb2rd(~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519)
2021-03-05 18:14:33 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 260 seconds)
2021-03-05 18:15:22 +0100Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 276 seconds)
2021-03-05 18:16:21 +0100psutcliffe(~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Ping timeout: 272 seconds)
2021-03-05 18:17:32 +0100kritzefitz(~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2021-03-05 18:19:14 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 245 seconds)
2021-03-05 18:19:30 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-05 18:20:02 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354)
2021-03-05 18:20:25 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-03-05 18:20:29 +0100ezrakilty(~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection)
2021-03-05 18:21:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 18:22:19 +0100jrqc(~rofl@96.78.87.197)
2021-03-05 18:23:49 +0100mniip(mniip@freenode/staff/mniip) (Remote host closed the connection)
2021-03-05 18:25:23 +0100apoc(~apoc@49.12.13.193)
2021-03-05 18:25:52 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639)
2021-03-05 18:26:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-05 18:27:01 +0100eacameron(uid256985@gateway/web/irccloud.com/x-xcgmvbdvyqnlqqik)
2021-03-05 18:29:32 +0100mniip(~mniip@freenode/staff/mniip)
2021-03-05 18:30:52 +0100CodeAlways(uid272474@gateway/web/irccloud.com/x-wgpichfqkyzhegjl) (Quit: Connection closed for inactivity)
2021-03-05 18:35:55 +0100Benzi-Junior(~BenziJuni@88-149-67-143.du.xdsl.is)
2021-03-05 18:38:01 +0100Pickchea(~private@unaffiliated/pickchea)
2021-03-05 18:38:17 +0100frozenErebus(~frozenEre@94.128.219.166) (Quit: leaving)
2021-03-05 18:38:57 +0100bitmagie(~Thunderbi@200116b8060f780050b2025f45241b20.dip.versatel-1u1.de)
2021-03-05 18:40:03 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-05 18:43:55 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-05 18:44:21 +0100alunduil(alunduil@gateway/web/irccloud.com/x-vzlleahqqgvhcqsg) (Ping timeout: 265 seconds)
2021-03-05 18:45:21 +0100alunduil(alunduil@gateway/web/irccloud.com/x-plfpkpelheyvdkct)
2021-03-05 18:46:03 +0100Benzi-Junior(~BenziJuni@88-149-67-143.du.xdsl.is) (Ping timeout: 246 seconds)
2021-03-05 18:46:59 +0100howdoi(uid224@gateway/web/irccloud.com/x-mcfwlfbkblxoiabx)
2021-03-05 18:47:38 +0100bitmagie(~Thunderbi@200116b8060f780050b2025f45241b20.dip.versatel-1u1.de) (Quit: bitmagie)
2021-03-05 18:48:47 +0100rajivr(uid269651@gateway/web/irccloud.com/x-zfdimwsiaqqzwwly) (Quit: Connection closed for inactivity)
2021-03-05 18:50:50 +0100vilpan(~0@212.117.1.172) (Quit: Leaving.)
2021-03-05 18:51:25 +0100veritas(~veritas@athedsl-333140.home.otenet.gr)
2021-03-05 18:51:29 +0100 <veritas> hi all
2021-03-05 18:51:30 +0100veritas(~veritas@athedsl-333140.home.otenet.gr) (Disconnected by services)
2021-03-05 18:51:56 +0100veritas(~veritas@athedsl-333140.home.otenet.gr)
2021-03-05 18:52:27 +0100waleee-cl(uid373333@gateway/web/irccloud.com/x-opxrpnhctmnngxjm)
2021-03-05 18:52:49 +0100veritasGuest7056
2021-03-05 18:54:06 +0100kunsttyv(~kunsttyv@195.93.234.11) (Read error: Connection reset by peer)
2021-03-05 18:54:37 +0100shatriff(~vitaliish@protective.remission.volia.net) (Remote host closed the connection)
2021-03-05 18:54:40 +0100Guest7056demon_in_a_jar
2021-03-05 18:54:50 +0100shatriff(~vitaliish@protective.remission.volia.net)
2021-03-05 18:54:52 +0100michalz(~user@185.246.204.60) (Remote host closed the connection)
2021-03-05 18:54:55 +0100 <demon_in_a_jar> hi all
2021-03-05 18:55:14 +0100 <demon_in_a_jar> is there any modern take to multirec ?
2021-03-05 18:57:40 +0100crobbins_(~crobbins@2601:2c1:200:ec50:bd85:de5e:f720:2e32)
2021-03-05 18:59:13 +0100jespada(~jespada@90.254.243.187) (Ping timeout: 245 seconds)
2021-03-05 18:59:52 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-05 18:59:56 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-05 19:00:12 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no)
2021-03-05 19:00:12 +0100nurupo(~nurupo.ga@unaffiliated/nurupo) (Quit: nurupo.ga)
2021-03-05 19:00:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 19:00:30 +0100nurupo(~nurupo.ga@unaffiliated/nurupo)
2021-03-05 19:00:35 +0100crobbins(~crobbins@2601:2c1:200:ec50:f50e:8a4c:76f4:c2b8) (Ping timeout: 240 seconds)
2021-03-05 19:02:07 +0100jespada(~jespada@90.254.243.187)
2021-03-05 19:02:34 +0100stree(~stree@68.36.8.116) (Ping timeout: 245 seconds)
2021-03-05 19:04:03 +0100Wezl(~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44)
2021-03-05 19:05:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-05 19:05:47 +0100 <Wezl> GHC segfaults whenever I use it, hugs is having build problems, what alternative compilers are there?
2021-03-05 19:07:01 +0100augnun(~augnun@2804:14c:658b:41bb:fb9d:9a6c:9f90:5e45)
2021-03-05 19:08:17 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2021-03-05 19:10:45 +0100 <monochrom> https://repl.it/languages/haskell
2021-03-05 19:10:52 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-05 19:10:56 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection)
2021-03-05 19:10:59 +0100 <yushyin> none of relevance
2021-03-05 19:11:09 +0100 <monochrom> https://repl.it/languages lists Haskell under "Practical". It's official now. \∩/
2021-03-05 19:11:22 +0100 <yushyin> yeah!
2021-03-05 19:12:21 +0100ADG1089(~adg1089@171.76.153.167)
2021-03-05 19:12:45 +0100 <Wezl> but it's not as "Popular" as scheme :)
2021-03-05 19:12:45 +0100ADG1089(~adg1089@171.76.153.167) (Read error: Connection reset by peer)
2021-03-05 19:13:22 +0100ADG1089(~adg1089@171.76.153.167)
2021-03-05 19:13:30 +0100 <swarmcollective> Wezl: You might want to consider running GHC from within a Docker container. If the container becomes corrupt for any reason, you just rebuild it. There is a solid base container with GHC and Cabal already installed.
2021-03-05 19:13:47 +0100x0oytF(~user@4-13-107-185.static.kviknet.dk)
2021-03-05 19:13:52 +0100 <swarmcollective> https://hub.docker.com/_/haskell/
2021-03-05 19:14:10 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-05 19:14:22 +0100redmp(~redmp@172.58.35.84)
2021-03-05 19:14:24 +0100 <monochrom> Hrm! I should maybe save that docker URL and let my students know next time I teach them.
2021-03-05 19:14:33 +0100 <Wezl> my package manager doesn't have docker and I'd rather build GHC than docker
2021-03-05 19:15:06 +0100stree(~stree@68.36.8.116)
2021-03-05 19:15:19 +0100 <monochrom> But what is the _ doing there? :)
2021-03-05 19:15:34 +0100 <c_wraith> Wezl: what platform are you on? It seems odd that none of the pre-compiled GHCs will work
2021-03-05 19:16:11 +0100 <Wezl> c_wraith: I'm on a chromebook with termux and GHC is in the unstable repo
2021-03-05 19:16:18 +0100 <c_wraith> ah, that's a tough one
2021-03-05 19:16:33 +0100 <swarmcollective> monochrom: I hope other editors provide the same capability soon, but the remote container plugin for vscode even allows you to keep your editor and code on your hard drive and run only the Haskell tools from within the container. That makes it very easy to use (and to switch between versions of GHC + Cabal).
2021-03-05 19:17:30 +0100 <monochrom> That's nice to know swarmcollective, thanks. My students may find it even more important. They like vscode.
2021-03-05 19:17:33 +0100 <swarmcollective> Wezl: I also use GHC on a Chromebook, but I am able to use Docker from the Debian instance provided by ChromeOS.
2021-03-05 19:19:02 +0100 <swarmcollective> monochrom: I didn't come up with this idea, only updated it to use "official" Haskell container, but here is a convenient .devcontainer configuration for use with vscode. https://github.com/calledtoconstruct/haskell-hls-devcontainer
2021-03-05 19:19:22 +0100x0oytF(~user@4-13-107-185.static.kviknet.dk) ("haskell")
2021-03-05 19:20:08 +0100swarmcollectivegoes to search "turmux" :D
2021-03-05 19:20:09 +0100myShoggoth(~myShoggot@75.164.81.55) (Remote host closed the connection)
2021-03-05 19:20:37 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-05 19:21:16 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-03-05 19:21:57 +0100dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-03-05 19:22:26 +0100ixlun(~user@213.205.241.12) (Remote host closed the connection)
2021-03-05 19:22:50 +0100swarmcollectiveis now wondering if it is possible to use Google Cloud Shell as the remote container. Hmmmm...
2021-03-05 19:23:20 +0100fendor(~fendor@77.119.128.153.wireless.dyn.drei.com)
2021-03-05 19:23:59 +0100forgottenone(~forgotten@176.42.24.161) (Ping timeout: 260 seconds)
2021-03-05 19:24:47 +0100usr25(~usr25@unaffiliated/usr25) (Read error: Connection reset by peer)
2021-03-05 19:25:59 +0100demon_in_a_jar(~veritas@athedsl-333140.home.otenet.gr) (Quit: Leaving)
2021-03-05 19:27:20 +0100Benzi-Junior(~BenziJuni@88-149-67-143.du.xdsl.is)
2021-03-05 19:30:16 +0100sheepfleece(~sheep@46.53.248.142) (Quit: Lost terminal)
2021-03-05 19:31:54 +0100chenshen(~chenshen@2620:10d:c090:400::5:58cb)
2021-03-05 19:32:09 +0100malumore(~malumore@151.62.119.233) (Ping timeout: 245 seconds)
2021-03-05 19:32:44 +0100crobbins_(~crobbins@2601:2c1:200:ec50:bd85:de5e:f720:2e32) (Ping timeout: 240 seconds)
2021-03-05 19:33:39 +0100regakakobigman(~regakakob@c-73-174-187-176.hsd1.pa.comcast.net)
2021-03-05 19:36:51 +0100 <bgamari> Wezl, GHC segfaults?
2021-03-05 19:37:00 +0100 <bgamari> Wezl, which platform are you on?
2021-03-05 19:37:18 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 260 seconds)
2021-03-05 19:37:31 +0100 <geekosaur> chromebook
2021-03-05 19:37:32 +0100 <monochrom> chromebook
2021-03-05 19:41:05 +0100curiousgay_(~quassel@178.217.208.8)
2021-03-05 19:41:05 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-05 19:41:44 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 245 seconds)
2021-03-05 19:41:49 +0100darjeeling_(~darjeelin@122.245.208.86) (Ping timeout: 276 seconds)
2021-03-05 19:42:01 +0100curiousgay_(~quassel@178.217.208.8) (Client Quit)
2021-03-05 19:42:05 +0100 <bgamari> oh dear
2021-03-05 19:42:55 +0100 <Wezl> https://0x0.st/-P2t.png
2021-03-05 19:42:57 +0100bgamarihas no idea constraints chromebooks place on user space
2021-03-05 19:43:09 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-05 19:43:12 +0100 <bgamari> Wezl, do you have gdb?
2021-03-05 19:43:16 +0100 <Wezl> is that maybe it?
2021-03-05 19:43:28 +0100 <Wezl> bgamari: no
2021-03-05 19:43:31 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving)
2021-03-05 19:43:35 +0100 <bgamari> hmm
2021-03-05 19:44:34 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-05 19:44:55 +0100 <geekosaur> oh dear
2021-03-05 19:45:02 +0100jrqc(~rofl@96.78.87.197)
2021-03-05 19:45:03 +0100 <Wezl> ok now I have gdb
2021-03-05 19:45:24 +0100geekosaurjust looked up termux, it looks painful to get a full environment for
2021-03-05 19:45:40 +0100regakakobigman(~regakakob@c-73-174-187-176.hsd1.pa.comcast.net) (Quit: regakakobigman)
2021-03-05 19:45:55 +0100 <bgamari> Wezl, what happens if you try running ghc under gdb?
2021-03-05 19:45:58 +0100Wezlthinks that's because the full environment takes way too much memory
2021-03-05 19:45:58 +0100 <bgamari> something like
2021-03-05 19:46:00 +0100crobbins(~crobbins@2601:2c1:200:ec50:ca9:f9fe:ff85:a356)
2021-03-05 19:46:36 +0100 <geekosaur> well no, termux isn't a full linux distribution so you'd be using the android stock libc instead of glibc or even musl
2021-03-05 19:47:49 +0100 <monochrom> You may be better off trouble-shooting building Hugs. GHC is going to be a resource hog even after you get it to run.
2021-03-05 19:48:40 +0100peasynt(~quassel@pool-173-76-103-124.bstnma.fios.verizon.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-03-05 19:48:52 +0100 <monochrom> Either that or repl.it
2021-03-05 19:49:05 +0100 <Wezl> I'll try Hugs again
2021-03-05 19:49:13 +0100 <bgamari> monochrom, do you know concretely what might be going wrong here?
2021-03-05 19:49:16 +0100rj(~x@gateway/tor-sasl/rj) (Client Quit)
2021-03-05 19:49:25 +0100 <Wezl> (cuz I have no idea how to use gdb)
2021-03-05 19:49:27 +0100 <bgamari> resource hog or not, I would have expected this to work
2021-03-05 19:49:47 +0100 <monochrom> No. But if you don't have space for glibc you don't have space for GHC.
2021-03-05 19:50:23 +0100 <monochrom> Well, you "have", but it will be able to do very little.
2021-03-05 19:51:01 +0100 <monochrom> The downside of Hugs is it's too old, both language-wise and library-wise, to be sure.
2021-03-05 19:51:06 +0100ADG1089(~adg1089@171.76.153.167) (Read error: Connection reset by peer)
2021-03-05 19:51:35 +0100 <Wezl> maybe I just shouldn't use haskell ::/
2021-03-05 19:52:52 +0100 <heck-to-the-gnom> chromebooks, lol
2021-03-05 19:53:34 +0100 <monochrom> I would think that along the spirit of chromebook you would be doing all programming on repl.it
2021-03-05 19:53:57 +0100 <monochrom> s/along/in/ # I hate English
2021-03-05 19:53:57 +0100darjeeling_(~darjeelin@122.245.217.47)
2021-03-05 19:54:09 +0100 <Rembane> monochrom: Use all prepositions just to be sure.
2021-03-05 19:54:30 +0100 <Wezl> no, I'm trying to *avoid* the limitations of the spirit of chromebook
2021-03-05 19:54:33 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-03-05 19:54:34 +0100Wezl(~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) ("you should try concurr, it's a new functional language still under development codeberg.org/Wezl/concurr")
2021-03-05 19:54:43 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-03-05 19:55:01 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-05 19:56:36 +0100 <bgamari> oh, there he goes
2021-03-05 19:57:02 +0100 <bgamari> I would have been happy to walk him through gdb
2021-03-05 19:57:17 +0100 <bgamari> I wonder if there's an aspace rlimit or some such sillyness
2021-03-05 19:58:20 +0100 <ephemient> I have a Chromebook. if you are able to use their Linux (beta) container, it is just like GHC in any other typical Debian distro
2021-03-05 19:58:52 +0100Wezl(~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44)
2021-03-05 19:58:59 +0100Waifod(~Waifod@91.106.123.186) (Ping timeout: 260 seconds)
2021-03-05 19:59:09 +0100 <Wezl> it's extremely amusing to see what people say when you leave
2021-03-05 19:59:28 +0100 <ephemient> I have a Chromebook. if you are able to use their Linux (beta) container, it is just like GHC in any other typical Debian distro
2021-03-05 19:59:28 +0100 <ephemient> Wezl was using Termux, though. that's an Android app that uses various LD_PRELOAD tricks to run a "Linux" distro.
2021-03-05 19:59:57 +0100 <ephemient> it is subject to a lot more restrictions than a Linux container
2021-03-05 20:00:20 +0100Waifod(Waifod@gateway/vpn/protonvpn/waifod)
2021-03-05 20:00:53 +0100uberj(~uberj@unaffiliated/uberj) (Remote host closed the connection)
2021-03-05 20:01:13 +0100uberj(~uberj@unaffiliated/uberj)
2021-03-05 20:01:43 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 245 seconds)
2021-03-05 20:02:04 +0100 <swarmcollective> Haskell development works well on Pixel Slate. That's what I used for the first 13 days of Advent of Code this year.
2021-03-05 20:02:35 +0100 <ephemient> I did my AoC on a HP Chromebook x360 last year and a Pixel Slate this year. no problems at all
2021-03-05 20:02:48 +0100 <monochrom> On the 14th day your love gifted you with a Ryzen PC? :)
2021-03-05 20:03:30 +0100berberman_(~berberman@unaffiliated/berberman)
2021-03-05 20:04:10 +0100 <swarmcollective> I'm interested to hear if you get GHC working via Termux, Wezl.
2021-03-05 20:04:38 +0100jrqc(~rofl@96.78.87.197)
2021-03-05 20:04:46 +0100 <swarmcollective> There are still a lot of chromebook machines that do not have the linux container support.
2021-03-05 20:04:50 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds)
2021-03-05 20:05:35 +0100 <swarmcollective> monochrom: lol, no. If I remember correctly, I started using the Pixel Slate for a web crawler.
2021-03-05 20:06:13 +0100 <ClaudiusMaximus> I think I got GHC working in Debian in UserLAnd from f-Droid on an Android tablet (without root)
2021-03-05 20:06:53 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-03-05 20:08:10 +0100andreas31(~andreas@gateway/tor-sasl/andreas303)
2021-03-05 20:09:21 +0100heatsink(~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Remote host closed the connection)
2021-03-05 20:09:28 +0100andreas303(~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 268 seconds)
2021-03-05 20:10:18 +0100 <swarmcollective> It might be possible to run the remote container on Cloud Shell, if I can get ssh listening on a port opened via the web-preview feature. I suspect they try to prevent that, though.
2021-03-05 20:10:21 +0100mirrorb2rd(~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Ping timeout: 272 seconds)
2021-03-05 20:10:29 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net)
2021-03-05 20:13:52 +0100crobbins(~crobbins@2601:2c1:200:ec50:ca9:f9fe:ff85:a356) (Remote host closed the connection)
2021-03-05 20:14:32 +0100crobbins(~crobbins@2601:2c1:200:ec50:4511:efcb:5dfa:3325)
2021-03-05 20:17:04 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-05 20:17:33 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-05 20:20:25 +0100DataComputist(~lumeng@50.43.26.251)
2021-03-05 20:20:56 +0100psutcliffe(~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519)
2021-03-05 20:21:31 +0100ADG1089(~adg1089@171.76.153.167)
2021-03-05 20:21:38 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-03-05 20:21:42 +0100ADG1089__(~aditya@171.79.107.148)
2021-03-05 20:22:12 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354)
2021-03-05 20:23:24 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-05 20:26:48 +0100ADG1089(~adg1089@171.76.153.167) (Read error: Connection reset by peer)
2021-03-05 20:26:53 +0100ADG1089_(~adg1089@171.79.107.148)
2021-03-05 20:27:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1)
2021-03-05 20:30:28 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds)
2021-03-05 20:32:02 +0100andreas31(~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2021-03-05 20:32:22 +0100andreas31(~andreas@gateway/tor-sasl/andreas303)
2021-03-05 20:32:36 +0100maier(~maier@i59F67B1A.versanet.de)
2021-03-05 20:35:20 +0100andrybak(~andrybak@2001:a61:245b:4401:6893:7a82:3e23:36db)
2021-03-05 20:36:54 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-05 20:37:35 +0100heatsink(~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Remote host closed the connection)
2021-03-05 20:40:24 +0100theelous3(~theelous3@unaffiliated/theelous3)
2021-03-05 20:41:07 +0100augnun_(~augnun@2804:14c:658b:41bb:b376:f7e5:9ada:8b5)
2021-03-05 20:43:04 +0100augnun(~augnun@2804:14c:658b:41bb:fb9d:9a6c:9f90:5e45) (Ping timeout: 240 seconds)
2021-03-05 20:45:31 +0100conal(~conal@64.71.133.70)
2021-03-05 20:50:47 +0100heatsink(~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1)
2021-03-05 20:51:00 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-05 20:54:18 +0100Tops21(~Tobias@dyndsl-095-033-026-043.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-03-05 20:59:23 +0100ADG1089_(~adg1089@171.79.107.148) (Ping timeout: 256 seconds)
2021-03-05 21:00:55 +0100ByronJohnson(~bairyn@unaffiliated/bob0) (Ping timeout: 240 seconds)
2021-03-05 21:01:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 21:01:24 +0100__minoru__shirae(~shiraeesh@109.166.58.196)
2021-03-05 21:01:45 +0100Tene(~tene@poipu/supporter/slacker/tene) (Ping timeout: 264 seconds)
2021-03-05 21:02:25 +0100maier(~maier@i59F67B1A.versanet.de) (Ping timeout: 276 seconds)
2021-03-05 21:02:37 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-05 21:02:49 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-03-05 21:03:14 +0100nf(~n@monade.li) (Quit: Fairfarren.)
2021-03-05 21:03:21 +0100ukari(~ukari@unaffiliated/ukari)
2021-03-05 21:04:32 +0100nf(~n@monade.li)
2021-03-05 21:05:27 +0100jakalx(~jakalx@base.jakalx.net) ()
2021-03-05 21:05:28 +0100petersen(~petersen@redhat/juhp) (Ping timeout: 260 seconds)
2021-03-05 21:05:42 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 246 seconds)
2021-03-05 21:06:01 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-03-05 21:06:47 +0100nineonine(~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Remote host closed the connection)
2021-03-05 21:07:12 +0100petersen(~petersen@redhat/juhp)
2021-03-05 21:07:23 +0100nineonine(~nineonine@50.216.62.2)
2021-03-05 21:07:57 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-03-05 21:09:39 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it) (Ping timeout: 245 seconds)
2021-03-05 21:09:55 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it)
2021-03-05 21:10:09 +0100theelous3(~theelous3@unaffiliated/theelous3) (Read error: Connection reset by peer)
2021-03-05 21:10:35 +0100theelous3(~theelous3@unaffiliated/theelous3)
2021-03-05 21:10:45 +0100Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 264 seconds)
2021-03-05 21:12:49 +0100ByronJohnson(~bairyn@unaffiliated/bob0)
2021-03-05 21:13:18 +0100Tene(~tene@poipu/supporter/slacker/tene)
2021-03-05 21:13:26 +0100hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Quit: Curry, you fools!)
2021-03-05 21:16:06 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-05 21:19:23 +0100 <Wezl> here are my errors for hugs https://0x0.st/-P_A.txt
2021-03-05 21:19:34 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-05 21:19:44 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-05 21:20:20 +0100 <Wezl> probably because it's writing to a /tmp file, which isn't writable and maybe not even existent
2021-03-05 21:20:34 +0100aarvar(~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008)
2021-03-05 21:20:42 +0100malumore(~malumore@151.62.119.233)
2021-03-05 21:20:59 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-05 21:21:28 +0100 <Wezl> (and I don't have enough experience with building to know how to change where it writes)
2021-03-05 21:21:44 +0100 <Wezl> but I'll try
2021-03-05 21:21:49 +0100ixlun(~user@213.205.241.12)
2021-03-05 21:21:54 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-05 21:23:34 +0100stree(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-03-05 21:23:50 +0100ixlun(~user@213.205.241.12) (Remote host closed the connection)
2021-03-05 21:24:21 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-03-05 21:24:33 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-03-05 21:24:38 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-05 21:25:41 +0100ixlun(~user@213.205.241.12)
2021-03-05 21:26:51 +0100Guest_24(dfbc579a@223.188.87.154)
2021-03-05 21:27:08 +0100malumore(~malumore@151.62.119.233) (Ping timeout: 245 seconds)
2021-03-05 21:27:14 +0100Feuermagier(~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Remote host closed the connection)
2021-03-05 21:27:27 +0100 <ADG1089__> did I do unboxing Int64 -> Int64# correctly here: https://paste.tomsmeding.com/avzjxQYC ? What am I missing? compiler is complaining.
2021-03-05 21:27:29 +0100 <Guest_24> hey guys, i use clojure with emacs and now getting started with haskell was wondering if someone has a working emacs setup
2021-03-05 21:27:58 +0100__minoru__shirae(~shiraeesh@109.166.58.196) (Ping timeout: 245 seconds)
2021-03-05 21:28:01 +0100 <tomsmeding> ADG1089__: what's the compiler error?
2021-03-05 21:28:35 +0100 <ADG1089__> (Operator applied to too few arguments: #)
2021-03-05 21:28:36 +0100 <tomsmeding> Wezl: you might try saying 'export TMPDIR=/some/writable/path'
2021-03-05 21:28:45 +0100 <tomsmeding> ADG1089__: {-# LANGUAGE MagicHash #-} ?
2021-03-05 21:29:23 +0100crobbins(~crobbins@2601:2c1:200:ec50:4511:efcb:5dfa:3325) (Ping timeout: 260 seconds)
2021-03-05 21:29:30 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-05 21:30:14 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-05 21:30:14 +0100Wezl(~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) (Read error: Connection reset by peer)
2021-03-05 21:30:29 +0100Wezl(~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44)
2021-03-05 21:30:31 +0100 <Wezl> tomsmeding: it's already set to one
2021-03-05 21:32:33 +0100mayleesia(4db762ff@x4db762ff.dyn.telefonica.de) (Quit: Connection closed)
2021-03-05 21:32:34 +0100 <tomsmeding> Wezl: might try setting TMP or TEMP instead, but if it doesn't pick those up either, I'm afraid you'd have to dive into the build system to change what it does
2021-03-05 21:32:58 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-05 21:33:07 +0100 <Wezl> hopefully there's a simple ./configure option
2021-03-05 21:33:11 +0100 <ADG1089__> tomsmeding: can't define [Int64#] . I think [] don't work with unlifted type, maybe I have to use UList
2021-03-05 21:33:40 +0100 <tomsmeding> ADG1089__: similarly you might have issues with Map on unlifted types, I think
2021-03-05 21:35:03 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 245 seconds)
2021-03-05 21:35:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-05 21:36:26 +0100 <ADG1089__> tomsmeding: what do you suggest? how can i unbox my Int64 usage?
2021-03-05 21:36:27 +0100stree(~stree@68.36.8.116)
2021-03-05 21:36:39 +0100 <tomsmeding> are you sure you need to?
2021-03-05 21:37:34 +0100 <tomsmeding> to ask the eternal question: what in the profiling report suggested that unboxing might be a good idea? :)
2021-03-05 21:37:48 +0100 <tomsmeding> (which implicitly asks: did you profile?)
2021-03-05 21:38:22 +0100 <mikoto-chan> Do cabal commands that support sandboxing still use the new-* prefix?
2021-03-05 21:39:17 +0100 <dcoutts> mikoto-chan: do you mean the new project style or the old sandboxing style?
2021-03-05 21:39:23 +0100Wezl(~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) (Read error: Connection reset by peer)
2021-03-05 21:39:42 +0100Wezl(~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44)
2021-03-05 21:40:45 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-03-05 21:41:28 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-05 21:41:32 +0100 <mikoto-chan> dcoutts: I'm merely a beginner that read in a book that cabal will be sandboxing and caching build dependencies in the future for projects to prevent version clashes :(
2021-03-05 21:41:56 +0100 <ADG1089__> tomsmeding: was going through steps as mentioned here: https://wiki.haskell.org/Performance/GHC
2021-03-05 21:42:02 +0100ixlun(~user@213.205.241.12) (Read error: Connection reset by peer)
2021-03-05 21:42:09 +0100 <dcoutts> mikoto-chan: then it probably means project support, and yes the future has arrived and that is the default now in cabal-install version 3+
2021-03-05 21:43:09 +0100 <tomsmeding> ADG1089__: ah I see
2021-03-05 21:43:11 +0100 <ADG1089__> tomsmeding: GC was negligible, it's only 2 modules, and the third things was unboxed types
2021-03-05 21:43:54 +0100 <tomsmeding> ADG1089__: how many things are in that Map? I think it's important to be aware that a Map will be a tree of boxes anyway
2021-03-05 21:44:17 +0100 <tomsmeding> so the leaves may very well be unboxed -- if that's even supported -- but that won't really matter if the rest of the tree is boxed :p
2021-03-05 21:44:18 +0100ixlun(~user@213.205.241.12)
2021-03-05 21:44:24 +0100 <ADG1089__> tomsmeding: 3429
2021-03-05 21:44:33 +0100andrybak(~andrybak@2001:a61:245b:4401:6893:7a82:3e23:36db) (Ping timeout: 260 seconds)
2021-03-05 21:44:37 +0100 <geekosaur> tbh if you're using lists that may itself be an issue, depending on what you're doing. in particular they are linked lists, not arrays/vectors, and indexing will be very slow
2021-03-05 21:45:00 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2021-03-05 21:45:06 +0100Guest_24(dfbc579a@223.188.87.154) (Quit: Connection closed)
2021-03-05 21:45:30 +0100 <tomsmeding> ADG1089__: you might want to replace that Map with a Data.Vector.Unboxed, sort that thing, and use explicit binary search on the vector instead of Map.lookupLE
2021-03-05 21:45:39 +0100__minoru__shirae(~shiraeesh@109.166.58.196)
2021-03-05 21:45:43 +0100 <ADG1089__> tomsmeding: let me try
2021-03-05 21:46:35 +0100 <tomsmeding> then you're not using an intermediate Map, which is like a big fat hammer among breadcrumbs if you're trying to shave off the last bits of runtime using unboxed types
2021-03-05 21:46:37 +0100crobbins(~crobbins@2600:1700:48eb:8490:a9f2:bb00:baa5:51b1)
2021-03-05 21:46:55 +0100 <tomsmeding> okay unboxing may have significant effects in some cases, true
2021-03-05 21:47:18 +0100 <tomsmeding> but if you go unboxed, you need to unbox everything for it to make sense
2021-03-05 21:48:04 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-05 21:49:30 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Client Quit)
2021-03-05 21:49:32 +0100 <monochrom> "go (x : xs) prod = go xs prod +? (if prod <= lim `div` x then go xs (prod * x) else 0)" is a space-expensive algorithm and it is not because some Int64s are boxed.
2021-03-05 21:49:40 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-05 21:50:06 +0100 <monochrom> You're looking at basically "f x = f (x-1) + f(x-2)"
2021-03-05 21:51:34 +0100 <monochrom> I wouldn't be surprised that it is an expoential-time algorithm, too.
2021-03-05 21:51:45 +0100 <monochrom> s/that/if/
2021-03-05 21:52:26 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-05 21:54:07 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-05 21:54:11 +0100 <ADG1089__> monochrom: maximum depth of recursion is 543. Yeah it's exponential, but I reversed hps so lot of values got filtered and practically it is really fast. Just reversing brought the time from 14 sec to 1.5 sec
2021-03-05 21:54:17 +0100 <ADG1089__> I'm trying to reach <1sec
2021-03-05 21:54:45 +0100 <monochrom> What is the current running time?
2021-03-05 21:54:53 +0100 <mikoto-chan> Hmmm ... when I install a package with 'cabal install foo' I don't see it appear in 'ghci' but when I do 'cabal new-install foo' and 'cabal v2-repl' everything is working fine ... is this normal with ghcup?
2021-03-05 21:55:11 +0100 <tomsmeding> mikoto-chan: what's your cabal version?
2021-03-05 21:55:59 +0100 <maerwald> mikoto-chan: ghci knows nothing about the cabal store
2021-03-05 21:56:03 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-05 21:56:26 +0100 <mikoto-chan> 3.2, latest and greates
2021-03-05 21:56:28 +0100 <mikoto-chan> t
2021-03-05 21:56:32 +0100 <monochrom> Also "cabal install foo" means exe only.
2021-03-05 21:56:39 +0100 <sclv> you shouldn't really be using `cabal install` in the new workflow
2021-03-05 21:56:50 +0100 <mikoto-chan> sclv: How do I undo the damage?
2021-03-05 21:56:55 +0100andrybak(~andrybak@2001:a61:245b:4401:6893:7a82:3e23:36db)
2021-03-05 21:57:08 +0100 <sclv> don't worry about it, just don't use it :-)
2021-03-05 21:57:15 +0100hiroaki_(~hiroaki@2a02:8108:8c40:2bb8:303:be6a:2a48:3133) (Ping timeout: 240 seconds)
2021-03-05 21:57:18 +0100 <mikoto-chan> But I already installed something
2021-03-05 21:57:22 +0100 <tomsmeding> it didn't do damage, it just took some extra disk space
2021-03-05 21:57:26 +0100 <monochrom> If foo has no exe, you didn't do any damage.
2021-03-05 21:57:29 +0100 <mikoto-chan> Ouch
2021-03-05 21:57:38 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:68e3:9c1f:887c:d5b3) (Ping timeout: 264 seconds)
2021-03-05 21:57:58 +0100Wezl(~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) (Ping timeout: 260 seconds)
2021-03-05 21:58:23 +0100 <tomsmeding> mikoto-chan: the idea with using new cabal is that you always work within a project, with a .cabal file that lists dependencies
2021-03-05 21:58:32 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-03-05 21:58:57 +0100 <mikoto-chan> tomsmeding: Is cabal.readthedocs.io up to date? There's a bunch of tutorials that still use the old commands
2021-03-05 21:59:05 +0100 <mikoto-chan> Thanks for the help by the way
2021-03-05 21:59:05 +0100 <monochrom> Yes.
2021-03-05 21:59:15 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:8dfa:c309:9698:bf3a)
2021-03-05 21:59:25 +0100 <monochrom> Also as of a week ago, the latest and greatest and recommended is 3.4.
2021-03-05 21:59:45 +0100 <monochrom> Although, 3.2 is not very far behind 3.4.
2021-03-05 22:00:10 +0100 <mikoto-chan> How do you go about updating ghcup?
2021-03-05 22:00:14 +0100jakalx(~jakalx@base.jakalx.net)
2021-03-05 22:00:23 +0100 <tomsmeding> mikoto-chan: also, by the way, if you really want to not work in a project, there are workarounds like described in https://mail.haskell.org/pipermail/haskell-cafe/2021-February/133425.html and other emails in the same thread (see related posts in the thread overview: https://mail.haskell.org/pipermail/haskell-cafe/2021-February/thread.html)
2021-03-05 22:00:34 +0100 <tomsmeding> but please work in a project :)
2021-03-05 22:00:53 +0100 <tomsmeding> mikoto-chan: ghcup upgrade; ghcup install cabal 3.4.0.0; ghcup rm cabal 3.2.0.0
2021-03-05 22:00:55 +0100hiroaki_(~hiroaki@2a02:8108:8c40:2bb8:303:be6a:2a48:3133)
2021-03-05 22:00:58 +0100 <tomsmeding> but note there is also 'ghcup tui'
2021-03-05 22:01:09 +0100 <mikoto-chan> tomsmeding: *I never made any projects I'm just learning Cabal :^)*
2021-03-05 22:01:18 +0100iomonad(~iomonad@unaffiliated/iomonad)
2021-03-05 22:01:35 +0100 <geekosaur> if you want to learn cabal you should learn working in projects
2021-03-05 22:02:17 +0100 <sclv> the point of cabal is to work with projects. on its own it doesn't do much
2021-03-05 22:03:13 +0100 <sclv> if you want to just pop open a repl with some libs in scope outside of a project, do sometihng like "cabal3 repl --build-depends=text"
2021-03-05 22:03:48 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-03-05 22:03:53 +0100 <ADG1089__> tomsmeding: The Vector thing actually made it more worse
2021-03-05 22:04:26 +0100 <tomsmeding> ADG1089__: what's the resulting code?
2021-03-05 22:04:34 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan)
2021-03-05 22:05:45 +0100hiroaki_(~hiroaki@2a02:8108:8c40:2bb8:303:be6a:2a48:3133) (Ping timeout: 246 seconds)
2021-03-05 22:08:26 +0100chenshen(~chenshen@2620:10d:c090:400::5:58cb) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2021-03-05 22:09:39 +0100ixlun(~user@213.205.241.12) (Ping timeout: 260 seconds)
2021-03-05 22:09:54 +0100agander(~agander@193.46.28.55) (Remote host closed the connection)
2021-03-05 22:10:33 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-03-05 22:12:06 +0100geowiesnot_bis(~user@87-89-181-157.abo.bbox.fr)
2021-03-05 22:13:32 +0100knupfer(~Thunderbi@200116b82c486300d04365fffe8e0efb.dip.versatel-1u1.de)
2021-03-05 22:13:48 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-03-05 22:14:25 +0100knupfer(~Thunderbi@200116b82c486300d04365fffe8e0efb.dip.versatel-1u1.de) (Remote host closed the connection)
2021-03-05 22:14:26 +0100ransom(~c4264035@97.118.87.0)
2021-03-05 22:14:31 +0100 <ADG1089__> tomsmeding: https://paste.tomsmeding.com/wYscnaVA
2021-03-05 22:15:00 +0100Wezl(~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44)
2021-03-05 22:15:02 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-anorpmpasvncoxvb) (Quit: Connection closed for inactivity)
2021-03-05 22:15:02 +0100ukari(~ukari@unaffiliated/ukari)
2021-03-05 22:16:01 +0100 <ADG1089__> ./bin/Problem516 1.37s user 0.03s system 100% cpu 1.397 total
2021-03-05 22:16:38 +0100 <ADG1089__> with Data.Map.Strict it's ./bin/Problem516 0.96s user 0.01s system 99% cpu 0.976 total
2021-03-05 22:17:28 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-05 22:17:37 +0100ozataman(~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net)
2021-03-05 22:18:03 +0100hiroaki_(~hiroaki@2a02:8108:8c40:2bb8:329:3cb3:710a:cc61)
2021-03-05 22:20:18 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-nvhxtqplyxeozrfs)
2021-03-05 22:21:12 +0100 <tomsmeding> ADG1089__: what if you give floorKeysVal an additional argument, the "default zero result", which you return instead of 0 in the 'lo > hi' case?
2021-03-05 22:21:42 +0100 <tomsmeding> you pass 0 to that argument in the call in 'go', and you pass midVal to that argument in the recursive call in floorKeysVal
2021-03-05 22:21:50 +0100conal(~conal@64.71.133.70)
2021-03-05 22:21:51 +0100jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-03-05 22:21:57 +0100 <tomsmeding> that should make floorKeysVal tail-recursive, which should help (don't know how much)
2021-03-05 22:22:21 +0100 <tomsmeding> (right now it's not because the conditional 'if rightval == 0' still needs to run after the recursive call completes)
2021-03-05 22:23:54 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-05 22:24:03 +0100chenshen(~chenshen@2620:10d:c090:400::5:58cb)
2021-03-05 22:24:41 +0100 <Wezl> I found the file with hardcoded /tmp was hugsdir/libraries/tools/make_buildsomething and edited it, here goes...
2021-03-05 22:25:27 +0100 <tomsmeding> Wezl: Godspeed!
2021-03-05 22:25:50 +0100 <Wezl> something was erroring in there, it might not be that simple...
2021-03-05 22:26:06 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-05 22:26:40 +0100matryoshka`(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-05 22:26:43 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Read error: Connection reset by peer)
2021-03-05 22:26:56 +0100 <ADG1089__> tomsmeding: ./bin/Problem516 1.37s user 0.02s system 99% cpu 1.387 total . nvm I'll try to find some other way myself too.
2021-03-05 22:27:02 +0100 <ADG1089__> thanks for the help tho
2021-03-05 22:27:27 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-05 22:27:27 +0100jakalx(~jakalx@base.jakalx.net)
2021-03-05 22:27:36 +0100 <tomsmeding> ADG1089__: lol bummer maybe ghc figured that out automatically already
2021-03-05 22:28:47 +0100 <tomsmeding> ADG1089__: random idea: Data.HashMap.Strict from unordered-containeres or Data.IntMap.Strict from containers
2021-03-05 22:28:55 +0100 <tomsmeding> *unordered-containers
2021-03-05 22:29:23 +0100 <tomsmeding> (oh the hashmap will obviously not work on a lookupLE, ignore that one)
2021-03-05 22:30:34 +0100carlomagno(~cararell@148.87.23.13) (Remote host closed the connection)
2021-03-05 22:32:28 +0100 <Wezl> looks like my errors were unrelated from what I did, here goes again...
2021-03-05 22:33:35 +0100 <ADG1089__> is -fllvm aleays helpful?
2021-03-05 22:33:56 +0100 <sclv> no
2021-03-05 22:34:00 +0100 <sclv> depends on the code
2021-03-05 22:35:21 +0100 <Wezl> there's an astonishing amount of errors from the cpp on haskell code
2021-03-05 22:36:17 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred)
2021-03-05 22:36:20 +0100Deide(~Deide@217.155.19.23) (Read error: Connection reset by peer)
2021-03-05 22:37:09 +0100Deide(~Deide@217.155.19.23)
2021-03-05 22:39:50 +0100Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-03-05 22:40:34 +0100ransom(~c4264035@97.118.87.0) (Quit: Textual IRC Client: www.textualapp.com)
2021-03-05 22:41:02 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-03-05 22:44:18 +0100carlomagno(~cararell@148.87.23.13)
2021-03-05 22:46:17 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net) (Ping timeout: 265 seconds)
2021-03-05 22:47:32 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-05 22:50:48 +0100chenshen(~chenshen@2620:10d:c090:400::5:58cb) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2021-03-05 22:52:37 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net)
2021-03-05 22:55:13 +0100son0p(~son0p@181.136.122.143)
2021-03-05 22:55:21 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-05 22:57:14 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-05 22:57:39 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-05 22:58:53 +0100gitgoood(~gitgood@82-132-219-92.dab.02.net)
2021-03-05 22:58:59 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-03-05 22:59:14 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-05 23:01:42 +0100gitgood(~gitgood@82-132-218-124.dab.02.net) (Read error: Connection reset by peer)
2021-03-05 23:03:34 +0100malumore(~malumore@151.62.119.233)
2021-03-05 23:05:11 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-05 23:06:36 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-05 23:07:28 +0100f-a(~f-a@151.34.134.235)
2021-03-05 23:08:35 +0100Rudd0(~Rudd0@185.189.115.103)
2021-03-05 23:09:32 +0100 <f-a> I am getting this «could not resolve dependencies» error while `cabal install`ing a package http://paste.debian.net/hidden/cd2a222a/ but when I `cabal get` and then `cabal build` it everything is ok
2021-03-05 23:09:36 +0100 <f-a> what is happening?
2021-03-05 23:10:04 +0100 <f-a> I see his selecting/rejecting ghcs but I do not understand why
2021-03-05 23:10:17 +0100 <f-a> s/his/caba is
2021-03-05 23:10:28 +0100curiousgay(~gay@178.217.208.8) (Ping timeout: 276 seconds)
2021-03-05 23:10:49 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-05 23:11:05 +0100 <f-a> ghc 8.8.3, cabal-install 3.0.0.0
2021-03-05 23:12:35 +0100andrybak(~andrybak@2001:a61:245b:4401:6893:7a82:3e23:36db) (Ping timeout: 258 seconds)
2021-03-05 23:13:23 +0100son0p(~son0p@181.136.122.143) (Ping timeout: 245 seconds)
2021-03-05 23:15:19 +0100son0p(~son0p@181.136.122.143)
2021-03-05 23:16:37 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2021-03-05 23:16:53 +0100_noblegas(uid91066@gateway/web/irccloud.com/x-jycqcvdxtuypsqup) (Quit: Connection closed for inactivity)
2021-03-05 23:17:01 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-05 23:20:36 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
2021-03-05 23:21:25 +0100ADG1089__(~aditya@171.79.107.148) (Remote host closed the connection)
2021-03-05 23:22:17 +0100ADG1089_(~adg1089@171.76.153.167)
2021-03-05 23:22:17 +0100ADG1089_(~adg1089@171.76.153.167) (Read error: Connection reset by peer)
2021-03-05 23:22:36 +0100ADG1089_(~adg1089@171.79.107.148)
2021-03-05 23:24:15 +0100danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 240 seconds)
2021-03-05 23:24:43 +0100andrybak(~andrybak@2001:a61:245b:4401:6893:7a82:3e23:36db)
2021-03-05 23:24:53 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Read error: Connection reset by peer)
2021-03-05 23:26:15 +0100matryoshka`(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 240 seconds)
2021-03-05 23:27:25 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-05 23:28:40 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 276 seconds)
2021-03-05 23:30:13 +0100danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009)
2021-03-05 23:31:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-05 23:32:27 +0100Feuermagier(~Feuermagi@213.178.26.41)
2021-03-05 23:32:32 +0100Feuermagier_(~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6)
2021-03-05 23:33:24 +0100Feuermagier_(~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Client Quit)
2021-03-05 23:39:08 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-05 23:44:15 +0100stree(~stree@68.36.8.116) (Ping timeout: 246 seconds)
2021-03-05 23:46:39 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2021-03-05 23:49:48 +0100kiweun(~kiweun@2607:fea8:2a62:9600:7046:f547:40a8:c4a8)
2021-03-05 23:49:59 +0100curiousgay(~gay@178.217.208.8)
2021-03-05 23:50:21 +0100geowiesnot_bis(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds)
2021-03-05 23:51:17 +0100conal(~conal@64.71.133.70)
2021-03-05 23:51:43 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-03-05 23:52:51 +0100fendor(~fendor@77.119.128.153.wireless.dyn.drei.com) (Remote host closed the connection)
2021-03-05 23:53:17 +0100hiroaki_(~hiroaki@2a02:8108:8c40:2bb8:329:3cb3:710a:cc61) (Ping timeout: 272 seconds)
2021-03-05 23:54:04 +0100shatriff(~vitaliish@protective.remission.volia.net) (Remote host closed the connection)
2021-03-05 23:54:39 +0100shatriff(~vitaliish@protective.remission.volia.net)
2021-03-05 23:57:46 +0100stree(~stree@68.36.8.116)
2021-03-05 23:58:14 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)