IRCBrowse

2022/03/20

2022-03-20 00:02:35 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-03-20 00:03:26 +0100__xor_xor
2022-03-20 00:03:51 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-20 00:04:10 +0100DNH(~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-20 00:04:35 +0100michalz(~michalz@185.246.204.37) (Remote host closed the connection)
2022-03-20 00:04:39 +0100 <dsal> yuvi: Is it erroring with a loop, or just not returning?
2022-03-20 00:04:47 +0100 <dsal> And is it failing in the test or in shrinking?
2022-03-20 00:05:09 +0100 <dsal> You can time out the test, but I've found bad shrinks often cause things to take a while. You can test that by just disabling shrinking real quick.
2022-03-20 00:08:35 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-03-20 00:09:02 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net)
2022-03-20 00:09:16 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2022-03-20 00:11:45 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-20 00:12:47 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 00:13:18 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2022-03-20 00:13:54 +0100DNH(~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810)
2022-03-20 00:19:19 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-20 00:22:37 +0100segfaultfizzbuzz(~segfaultf@2602:306:cd3c:9350:698a:c772:fe08:7b1d) (Ping timeout: 240 seconds)
2022-03-20 00:27:10 +0100Major_Biscuit(~MajorBisc@c-001-024-004.client.tudelft.eduvpn.nl) (Ping timeout: 260 seconds)
2022-03-20 00:31:11 +0100foul_owl(~kerry@174-21-69-110.tukw.qwest.net) (Ping timeout: 256 seconds)
2022-03-20 00:32:11 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-20 00:32:34 +0100x_kuru(~xkuru@user/xkuru)
2022-03-20 00:34:21 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2022-03-20 00:34:48 +0100weekOldRoadkill(~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net) (Quit: Leaving)
2022-03-20 00:35:05 +0100weekOldRoadkill(~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net)
2022-03-20 00:35:07 +0100weekOldRoadkill(~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net) (Remote host closed the connection)
2022-03-20 00:35:32 +0100xkuru(~xkuru@user/xkuru) (Ping timeout: 240 seconds)
2022-03-20 00:37:43 +0100 <dsal> Where do I need to look to understand why my code doesn't compile under ghc 9.0?
2022-03-20 00:37:55 +0100`2jt(~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Remote host closed the connection)
2022-03-20 00:38:25 +0100 <geekosaur> release notes?
2022-03-20 00:38:34 +0100 <monochrom> and it did under 8.10? Then probably in the release notes about changes to rank-n polymorphism.
2022-03-20 00:38:45 +0100 <geekosaur> if there isn't an obvious syntactic cause, the likely culprit is simplified subsumption
2022-03-20 00:38:56 +0100 <monochrom> Yeah, that.
2022-03-20 00:39:40 +0100 <dsal> Couldn't match type: (MonadMask m, Monad m) => String -> m () with String -> m () -- I've heard of some stuff around this, but I don't understand it well enough to know how to proceed.
2022-03-20 00:39:43 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-03-20 00:41:35 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-03-20 00:44:06 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 250 seconds)
2022-03-20 00:46:52 +0100 <dsal> OK, how do I convince ghc that these ms are the same? I've got a `data Env m = { logAction :: (MonadMask m, Monad m) => String -> m () }` and I'm trying to `gets` that `logAction` and log to it, but it's mad at me.
2022-03-20 00:46:52 +0100foul_owl(~kerry@23.82.193.89)
2022-03-20 00:47:32 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 240 seconds)
2022-03-20 00:47:41 +0100 <dsal> The line it's angry at is: `when (rsIterNumber r > 0) $ gets logAction >>= \f -> lift (f (retryMsg (rsIterNumber r)))`
2022-03-20 00:49:25 +0100 <geekosaur> that data decl looks suspect to me. doesn't it need to be a GADT for the constraint to be provable?
2022-03-20 00:49:48 +0100 <dsal> Maybe that's new? It was fine before. I guess I can try that.
2022-03-20 00:50:33 +0100 <geekosaur> some canges did occur in which constraints that were silently permitted but were broken are now rejected, per the 9.0.1 release notes
2022-03-20 00:50:55 +0100 <geekosaur> actually I'm not sure how you prove the constraint
2022-03-20 00:51:19 +0100 <geekosaur> the "obvious" way doesn't work (ahoy "stupid theta")
2022-03-20 00:51:56 +0100vorpuni(~pvorp@2001:861:3881:c690:1ee8:abee:55c7:d30) (Remote host closed the connection)
2022-03-20 00:52:03 +0100 <geekosaur> but applying the constraint inside the def of logAction seems wrong as well
2022-03-20 00:52:05 +0100x_kuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-03-20 00:52:23 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-20 00:53:24 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-20 00:53:37 +0100chenqisu1(~chenqisu1@183.217.201.47)
2022-03-20 00:55:25 +0100 <dsal> Hmm... It seems obvious to *me* how this should work, but I have no idea where this confusion is coming from.
2022-03-20 00:57:13 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-03-20 00:57:40 +0100DNH(~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-20 00:58:15 +0100 <dsal> Is there a better approach to pushing a monadic logging function into my state here?
2022-03-20 00:58:32 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-03-20 00:58:57 +0100 <dsal> I guess I could shove in a `String -> IO ()` since that's mostly what's going to actually happen.
2022-03-20 00:59:22 +0100 <corisco[m]> generally constraints are in functions declarations, it's not so common to use constraint on data declaration... https://stackoverflow.com/a/40825913
2022-03-20 01:00:28 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-105.cust.tzulo.com)
2022-03-20 01:00:36 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-20 01:00:36 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-20 01:00:36 +0100wroathe(~wroathe@user/wroathe)
2022-03-20 01:01:05 +0100 <dsal> GADTs seems weird here since this is mostly just a record to hold some state.
2022-03-20 01:01:28 +0100 <dsal> Making it `String -> IO ()` allows it to compile. I wonder if I can actually *use* this.
2022-03-20 01:02:48 +0100 <corisco[m]> you could make it existential (skolem) with forrall.... https://stackoverflow.com/a/40106335
2022-03-20 01:03:54 +0100 <dsal> Hmm... The parameter for the data was specifically for this one thing. I might try that, though.
2022-03-20 01:04:35 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
2022-03-20 01:04:40 +0100faAsade(~faAsade@047-227-183-103.res.spectrum.com) (Quit: Client closed)
2022-03-20 01:06:58 +0100 <corisco[m]> i'm not sure what you are trying to achieve here.... but ther's a lib called RIO that deals with what you are trying to do using a ReadT and a class for the log functionality... (https://www.fpcomplete.com/blog/2017/07/the-rio-monad/)
2022-03-20 01:07:03 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2022-03-20 01:07:08 +0100 <Artem[m]> does anyone know: if my package got < 0 on Stackage nightly because of dependency bound, will it suffice to revise metadata on Hackage to have it back? I vaguely remember that Stackage infrastructure is not keen of revisions.
2022-03-20 01:09:06 +0100 <corisco[m]> * with what seems you are, * and a type class for
2022-03-20 01:09:46 +0100weekOldRoadkill(~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net)
2022-03-20 01:10:17 +0100 <corisco[m]> * with what seems you are, * and a type class for, * functionality... (https://www.fpcomplete.com/blog/2017/06/readert-design-pattern/) or (https://www.fpcomplete.com/blog/2017/07/the-rio-monad/)
2022-03-20 01:10:40 +0100alp(~alp@user/alp)
2022-03-20 01:10:44 +0100 <dsal> Yeah, I'm using MonadLogger in a few places. I just want a user of this library to be able to pass in one little thing that can be used to emit a log on the other side.
2022-03-20 01:11:34 +0100 <dsal> The annoying thing is that this is just one invocation that needs to be done one time when doing retries and stuff.
2022-03-20 01:16:01 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-105.cust.tzulo.com) (Quit: Leaving)
2022-03-20 01:17:06 +0100 <dsal> Yeah, doing this as an existential, I don't see how I can convince the compiler that `m` is related to the current `m`.
2022-03-20 01:17:11 +0100 <corisco[m]> if u have a data type `data Env m = { logAction :: (MonadMask m, Monad m) => String -> m () }`... either u pass this around everywhere, or you implicit pass the Env with an ReaderT.... in my opnion having a HasLog class that it's members have the MonadMask constraint seem the better approach here.... this is described on the articles i posted above.... otherwise you will have to pass that around.
2022-03-20 01:17:38 +0100 <dsal> I'm using StateT here.
2022-03-20 01:18:08 +0100 <corisco[m]> indeed you can´t do that... because existential would mean your data type would have to be `data Env = { logAction :: (MonadMask m, Monad m) => String -> m () }`
2022-03-20 01:18:25 +0100 <corisco[m]> its an existential because m doesn't exists outside that context.....
2022-03-20 01:19:00 +0100nexus(~nexus@178-164-235-232.pool.digikabel.hu) (Ping timeout: 240 seconds)
2022-03-20 01:19:16 +0100 <corisco[m]> https://en.wikipedia.org/wiki/Existential_quantification
2022-03-20 01:20:17 +0100 <dsal> Heh. I'm familiar with these things. I'm just not very familiar with GHC 9.0 or how I can make code I've been using for a while happy under it.
2022-03-20 01:20:49 +0100 <dsal> I have a program that's using MonadLogger to log and I have a library that's *not* using MonadLogger that… I guess should use MonadLogger just for this one thing..
2022-03-20 01:21:00 +0100nexus(~nexus@217-197-189-23.pool.digikabel.hu)
2022-03-20 01:21:55 +0100 <corisco[m]> * logAction :: forall m. (MonadMask m,
2022-03-20 01:23:23 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-03-20 01:23:41 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 01:24:13 +0100 <corisco[m]> and why can't you use MonadMask constraint on the function declaration of that library?... wouldn't that be esier?
2022-03-20 01:25:10 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-20 01:25:18 +0100machinedgod(~machinedg@24.105.81.50)
2022-03-20 01:25:22 +0100 <corisco[m]> s/esier/easier/
2022-03-20 01:25:35 +0100 <dsal> Yes, it's been easier for the last couple of years. And now I'm trying to get it working with 9.0
2022-03-20 01:26:44 +0100 <geekosaur> I still think trying to put the constraint on just the field accessor but not the constrained type itself has something fundamentally wrong with it
2022-03-20 01:26:57 +0100ph88(~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) (Ping timeout: 240 seconds)
2022-03-20 01:27:21 +0100 <geekosaur> I'm imagining some headaches if you file this as a bug :)
2022-03-20 01:28:54 +0100 <corisco[m]> but that still works XD....... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/c91920c96c350676f183e2417292d2549354…)
2022-03-20 01:29:55 +0100 <dsal> It sounds like you're describing my existing code.
2022-03-20 01:29:59 +0100 <corisco[m]> you are trying to use the constraint inside the record, like geek said that is unusuall and can only be done with GADT´s as far as i know....
2022-03-20 01:31:22 +0100 <dsal> Oh, you mean push the definition of the logging function outside?
2022-03-20 01:32:04 +0100 <dsal> I think just requiring MonadLogger works OK here. I got to move on to a different error anyway.
2022-03-20 01:34:05 +0100 <corisco[m]> yes, i meant as a standalone function not inside the environment.... or you could mimic the env on the RIO lib, the articles i posted describe how it could be done... welll i hope i could help, sry for the confusion... im not very experienced in haskell
2022-03-20 01:34:56 +0100 <dsal> Just using MonadLogger effectively means I get to delete a bit of code, so I guess that's not bad. It's just pushing a constraint around a bit more.
2022-03-20 01:35:14 +0100 <[itchyjunk]> :( i forgot everything. i want to divide 2 integers and get a float as a return. i know i need to somehow to some conversion from into to float but how..
2022-03-20 01:36:11 +0100 <dsal> @hoogle Int -> Float
2022-03-20 01:36:12 +0100 <lambdabot> GHC.Float int2Float :: Int -> Float
2022-03-20 01:36:12 +0100 <lambdabot> GHC.Float.RealFracMethods int2Float :: Int -> Float
2022-03-20 01:36:12 +0100 <lambdabot> Extra intToFloat :: Int -> Float
2022-03-20 01:36:23 +0100 <dsal> I wouldn't use one of those.
2022-03-20 01:36:26 +0100 <dsal> @hoogle Int -> Double
2022-03-20 01:36:27 +0100 <lambdabot> GHC.Float int2Double :: Int -> Double
2022-03-20 01:36:27 +0100 <lambdabot> GHC.Float.RealFracMethods int2Double :: Int -> Double
2022-03-20 01:36:27 +0100 <lambdabot> Extra intToDouble :: Int -> Double
2022-03-20 01:36:51 +0100 <dsal> I'm just demonstrating how unhelpful @hoogle is, I guess.
2022-03-20 01:37:04 +0100 <[itchyjunk]> https://bpa.st/I7KA
2022-03-20 01:37:09 +0100 <dsal> :t fromIntegral
2022-03-20 01:37:10 +0100 <lambdabot> (Integral a, Num b) => a -> b
2022-03-20 01:37:11 +0100 <[itchyjunk]> I wanted to take a list and compute it's mean :x
2022-03-20 01:37:26 +0100 <dsal> What language is this?
2022-03-20 01:37:46 +0100 <[itchyjunk]> oh ohh, its supposed to be haskell lol
2022-03-20 01:37:58 +0100 <geekosaur> the naïve way to do that has a space leak, btw
2022-03-20 01:38:21 +0100 <dsal> I'd use foldMap
2022-03-20 01:38:31 +0100 <dsal> Or, I guess, foldMap'
2022-03-20 01:39:27 +0100 <dsal> Oh, you're creating functions specifically for the bits. Both of your total and sum are simple catamorphisms that are part of Data.Foldable, but I'd still consider not writing them twice.
2022-03-20 01:41:06 +0100 <[itchyjunk]> I haven't coded in a while so i forgot everything and this was what i remembered :<
2022-03-20 01:43:01 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1))
2022-03-20 01:43:52 +0100sonny(~sonny@bras-base-london1483w-grc-39-65-95-42-231.dsl.bell.ca)
2022-03-20 01:56:01 +0100 <[itchyjunk]> This is what i ended up with
2022-03-20 01:56:01 +0100 <[itchyjunk]> https://bpa.st/BHFA
2022-03-20 01:56:11 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds)
2022-03-20 02:00:35 +0100 <dsal> [itchyjunk]: You don't need `:: Float` there.
2022-03-20 02:01:00 +0100 <dsal> But at least use (or implement) foldr. :)
2022-03-20 02:02:11 +0100 <[itchyjunk]> yeah i need to refresh on functions again :x
2022-03-20 02:03:15 +0100 <dsal> :t sum
2022-03-20 02:03:16 +0100 <lambdabot> (Foldable t, Num a) => t a -> a
2022-03-20 02:03:19 +0100 <[itchyjunk]> What is the :: Float supposed to do there?
2022-03-20 02:03:25 +0100vglfr(~vglfr@88.155.114.173) (Ping timeout: 240 seconds)
2022-03-20 02:03:26 +0100 <[itchyjunk]> https://stackoverflow.com/questions/10303251/haskell-converting-int-to-float
2022-03-20 02:03:33 +0100 <[itchyjunk]> I was mimicking this
2022-03-20 02:04:04 +0100 <dsal> It says "this is a Float" which you already know because that's the only thing that can work there.
2022-03-20 02:04:38 +0100Codaraxis(~Codaraxis@user/codaraxis)
2022-03-20 02:06:32 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-20 02:10:21 +0100sonny(~sonny@bras-base-london1483w-grc-39-65-95-42-231.dsl.bell.ca) (Ping timeout: 256 seconds)
2022-03-20 02:11:11 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-03-20 02:17:18 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-03-20 02:18:19 +0100Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.)
2022-03-20 02:19:34 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-03-20 02:24:51 +0100Midjak(~Midjak@82.66.147.146) (Quit: Leaving)
2022-03-20 02:26:07 +0100mmhat(~mmh@55d478bb.access.ecotel.net) (Quit: WeeChat 3.4.1)
2022-03-20 02:26:12 +0100weekOldRoadkill(~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net) (Quit: Leaving)
2022-03-20 02:29:54 +0100 <[itchyjunk]> myFunctions (x:xs) = someOtherFunctions (x:xs)
2022-03-20 02:30:01 +0100 <[itchyjunk]> This would work to pass the original list right?
2022-03-20 02:30:21 +0100 <[itchyjunk]> I know there is some way to name the list so you can refer to it but i couldnt' remember that. but i think this should work :x
2022-03-20 02:31:46 +0100jinsun(~jinsun@user/jinsun)
2022-03-20 02:33:38 +0100razetime(~quassel@117.254.35.224)
2022-03-20 02:34:15 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-03-20 02:34:39 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4.1)
2022-03-20 02:35:02 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 250 seconds)
2022-03-20 02:35:02 +0100jinsun__(~jinsun@user/jinsun) (Ping timeout: 250 seconds)
2022-03-20 02:35:28 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-03-20 02:47:06 +0100sonny(~sonny@bras-base-london1483w-grc-39-65-95-42-231.dsl.bell.ca)
2022-03-20 02:47:33 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4.1)
2022-03-20 02:47:35 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-03-20 02:48:37 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2022-03-20 02:48:49 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-03-20 02:49:32 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-20 02:49:37 +0100chenqisu1(~chenqisu1@183.217.201.47) (Ping timeout: 240 seconds)
2022-03-20 02:49:53 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-20 02:53:17 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-20 02:55:35 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-03-20 02:56:57 +0100sonny(~sonny@bras-base-london1483w-grc-39-65-95-42-231.dsl.bell.ca) ()
2022-03-20 02:59:39 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-20 02:59:51 +0100K4rMa(~K4rMa@h158.80.130.40.static.ip.windstream.net)
2022-03-20 03:00:52 +0100 <dsal> [itchyjunk]: a@(x:xs)
2022-03-20 03:01:03 +0100 <[itchyjunk]> Ah
2022-03-20 03:01:17 +0100 <[itchyjunk]> would fun (x:xs) = fun2 (x:xs) also work?
2022-03-20 03:01:46 +0100 <dsal> Yeah, you're just building the list again. I'm sure it's the same.
2022-03-20 03:02:11 +0100 <dsal> But if `fun (x:xs) = fun2 (x:xs)` then `fun = fun2`
2022-03-20 03:03:11 +0100 <[itchyjunk]> Right
2022-03-20 03:03:26 +0100 <[itchyjunk]> my code has turned into a mess..
2022-03-20 03:03:26 +0100 <[itchyjunk]> https://bpa.st/R5CA
2022-03-20 03:03:34 +0100 <[itchyjunk]> https://bpa.st/MW5A
2022-03-20 03:03:41 +0100 <[itchyjunk]> first link is the error and the second the code
2022-03-20 03:05:06 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-03-20 03:10:23 +0100vysn(~vysn@user/vysn)
2022-03-20 03:16:02 +0100razetime(~quassel@117.254.35.224) (Ping timeout: 240 seconds)
2022-03-20 03:16:58 +0100koz(~koz@121.99.240.58)
2022-03-20 03:18:42 +0100Codaraxis(~Codaraxis@user/codaraxis) (Quit: Leaving)
2022-03-20 03:19:54 +0100Everything(~Everythin@37.115.210.35) (Quit: leaving)
2022-03-20 03:22:59 +0100koz(~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-20 03:23:57 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-20 03:25:39 +0100little_mac(~little_ma@2601:410:4300:3ce0::8b2c) (Remote host closed the connection)
2022-03-20 03:25:54 +0100razetime(~quassel@117.254.35.224)
2022-03-20 03:26:01 +0100little_mac(~little_ma@2601:410:4300:3ce0::8b2c)
2022-03-20 03:26:41 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-03-20 03:27:43 +0100 <dsal> [itchyjunk]: I didn't bother reading the error, but I see you're trying to subtract a Float from an Int
2022-03-20 03:28:07 +0100 <dsal> It might be easier if you just used the types you need instead of trying to deal with two different things.
2022-03-20 03:30:15 +0100nexus(~nexus@217-197-189-23.pool.digikabel.hu) (Ping timeout: 256 seconds)
2022-03-20 03:31:32 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2022-03-20 03:32:06 +0100nexus(~nexus@78-131-74-115.pool.digikabel.hu)
2022-03-20 03:32:40 +0100aeka(~aeka@user/hiruji) (Ping timeout: 250 seconds)
2022-03-20 03:34:40 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-20 03:35:31 +0100aeka(~aeka@2606:6080:1001:11:60bc:461c:1305:bb4b)
2022-03-20 03:36:04 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Max SendQ exceeded)
2022-03-20 03:36:22 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-20 03:40:26 +0100koz(~koz@121.99.240.58)
2022-03-20 03:46:55 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-03-20 03:47:50 +0100yuvi(~uv125@user/yuvi) (Ping timeout: 250 seconds)
2022-03-20 03:48:15 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-20 03:48:32 +0100sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 240 seconds)
2022-03-20 03:49:02 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2022-03-20 03:53:54 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 03:57:50 +0100koz(~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-20 03:58:51 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2022-03-20 04:00:37 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net)
2022-03-20 04:04:51 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2022-03-20 04:06:02 +0100aeka(~aeka@2606:6080:1001:11:60bc:461c:1305:bb4b) (Ping timeout: 250 seconds)
2022-03-20 04:06:31 +0100aeka(~aeka@user/hiruji)
2022-03-20 04:07:46 +0100razetime(~quassel@117.254.35.224) (Ping timeout: 250 seconds)
2022-03-20 04:09:48 +0100alp(~alp@user/alp) (Ping timeout: 252 seconds)
2022-03-20 04:14:09 +0100koz(~koz@121.99.240.58)
2022-03-20 04:17:39 +0100sebastiandb(~sebastian@pool-173-79-64-34.washdc.fios.verizon.net)
2022-03-20 04:17:57 +0100koz(~koz@121.99.240.58) (Client Quit)
2022-03-20 04:19:19 +0100koz(~koz@121.99.240.58)
2022-03-20 04:20:08 +0100 <sebastiandb> This is a super beginner question, but I'm having trouble understanding why two expressions are not equivalent in this context for a simple block of code I wrote
2022-03-20 04:20:34 +0100 <sebastiandb> Basically, there's a variable in a do block, where args <- getArgs
2022-03-20 04:20:55 +0100 <sebastiandb> let a = read . head $ args -- This is fine
2022-03-20 04:21:01 +0100koz(~koz@121.99.240.58) (Client Quit)
2022-03-20 04:21:19 +0100 <sebastiandb> let a = read (head args) -- this is ambiguous for type inference
2022-03-20 04:21:23 +0100 <sebastiandb> Why is this the case?
2022-03-20 04:22:30 +0100koz(~koz@121.99.240.58)
2022-03-20 04:24:55 +0100lumberjack123(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-03-20 04:27:10 +0100lumberjack123(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-20 04:28:48 +0100koz(~koz@121.99.240.58) (Leave.)
2022-03-20 04:29:33 +0100 <sebastiandb> This is a link to the paste, btw: https://paste.tomsmeding.com/0xgoa6mO
2022-03-20 04:30:59 +0100 <sebastiandb> However, it doesn't seem to work for "let c = (read . head) args", either
2022-03-20 04:31:34 +0100koz(~koz@121.99.240.58)
2022-03-20 04:34:09 +0100razetime(~quassel@117.254.35.224)
2022-03-20 04:36:12 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds)
2022-03-20 04:44:52 +0100 <boxscape_> sebastiandb I'm noticing that your comment says "a =", but the error says "c =". Could it be that you assigned it to the variable c without using that variable, thus ghc doesn't know what the type of c will have to be?
2022-03-20 04:46:06 +0100 <boxscape_> (in most cases ghc will be able to figure out the type of unused variable, but not for functions like `read` with polymorphic return type)
2022-03-20 04:46:51 +0100 <zzz> :t read
2022-03-20 04:46:52 +0100 <lambdabot> Read a => String -> a
2022-03-20 04:47:08 +0100 <zzz> ghc doesn't know what the type of a is
2022-03-20 04:48:14 +0100 <sebastiandb> boxscape_ That is exactly it. It actually works fine if I don't bind it to an unused variable. Thanks for answering that really basic question.
2022-03-20 04:48:29 +0100 <boxscape_> no problem
2022-03-20 04:53:00 +0100mzan(~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-03-20 04:55:21 +0100Unicorn_Princess(~Unicorn_P@46-54-248-191.static.kate-wing.si) (Remote host closed the connection)
2022-03-20 05:00:33 +0100derelict_(~derelict@user/derelict)
2022-03-20 05:00:57 +0100derelict(derelict@user/derelict) (Ping timeout: 240 seconds)
2022-03-20 05:03:46 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 05:04:02 +0100derelict_derelict
2022-03-20 05:20:34 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-20 05:24:09 +0100aeka(~aeka@user/hiruji) (Ping timeout: 256 seconds)
2022-03-20 05:25:34 +0100aeka(~aeka@user/hiruji)
2022-03-20 05:27:36 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Quit: Connection closed)
2022-03-20 05:30:39 +0100sebastiandb(~sebastian@pool-173-79-64-34.washdc.fios.verizon.net) (Quit: Leaving)
2022-03-20 05:34:02 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds)
2022-03-20 05:34:44 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-03-20 05:35:04 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-20 05:46:34 +0100nexus(~nexus@78-131-74-115.pool.digikabel.hu) (Ping timeout: 250 seconds)
2022-03-20 05:48:16 +0100nexus(~nexus@fibhost-66-208-144.fibernet.hu)
2022-03-20 05:50:42 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net)
2022-03-20 05:54:45 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-03-20 06:03:28 +0100travv0(sid293381@user/travv0)
2022-03-20 06:05:00 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds)
2022-03-20 06:07:04 +0100komikat(~komikat@183.82.152.122)
2022-03-20 06:11:49 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds)
2022-03-20 06:18:57 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds)
2022-03-20 06:19:18 +0100vorpuni(~pvorp@2001:861:3881:c690:8ea1:f667:9c2c:b7bc)
2022-03-20 06:29:37 +0100K4rMa(~K4rMa@h158.80.130.40.static.ip.windstream.net) (Remote host closed the connection)
2022-03-20 06:37:42 +0100pooryorick(~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 250 seconds)
2022-03-20 06:38:48 +0100pooryorick(~pooryoric@87-119-174-173.tll.elisa.ee)
2022-03-20 07:02:41 +0100dyeplexer(~dyeplexer@user/dyeplexer)
2022-03-20 07:06:10 +0100little_mac(~little_ma@2601:410:4300:3ce0::8b2c) (Quit: Leaving)
2022-03-20 07:12:32 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2022-03-20 07:13:31 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds)
2022-03-20 07:13:38 +0100zmt00(~zmt00@user/zmt00) (Read error: Connection reset by peer)
2022-03-20 07:14:41 +0100rkrishnan(~user@2402:e280:215c:2cd:eac:8d9b:8e98:f1c5)
2022-03-20 07:14:55 +0100zmt00(~zmt00@user/zmt00)
2022-03-20 07:22:35 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-03-20 07:25:25 +0100chenqisu1(~chenqisu1@183.217.201.47)
2022-03-20 07:28:12 +0100rkrishnan(~user@2402:e280:215c:2cd:eac:8d9b:8e98:f1c5) (Ping timeout: 240 seconds)
2022-03-20 07:31:50 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 07:32:55 +0100Pickchea(~private@user/pickchea)
2022-03-20 07:35:02 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2022-03-20 07:37:19 +0100nexus(~nexus@fibhost-66-208-144.fibernet.hu) (Ping timeout: 256 seconds)
2022-03-20 07:37:21 +0100neurocyte0917090(~neurocyte@IP-045014190236.dynamic.medianet-world.de)
2022-03-20 07:37:21 +0100neurocyte0917090(~neurocyte@IP-045014190236.dynamic.medianet-world.de) (Changing host)
2022-03-20 07:37:21 +0100neurocyte0917090(~neurocyte@user/neurocyte)
2022-03-20 07:38:54 +0100nexus(~nexus@94-21-174-73.pool.digikabel.hu)
2022-03-20 07:45:17 +0100komikat(~komikat@183.82.152.122) (Remote host closed the connection)
2022-03-20 07:45:32 +0100nicbk(~nicbk@user/nicbk)
2022-03-20 07:50:54 +0100lagash(lagash@lagash.shelltalk.net) (Ping timeout: 252 seconds)
2022-03-20 07:51:01 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-20 07:56:11 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-03-20 07:56:55 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-03-20 07:58:03 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-20 08:02:08 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Excess Flood)
2022-03-20 08:02:39 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-03-20 08:03:42 +0100coot(~coot@213.134.190.95)
2022-03-20 08:04:31 +0100nexus(~nexus@94-21-174-73.pool.digikabel.hu) (Ping timeout: 256 seconds)
2022-03-20 08:06:11 +0100nexus(~nexus@87-97-82-188.pool.digikabel.hu)
2022-03-20 08:06:52 +0100 <tomsmeding> dsal: if you haven't solved it yet, 99% sure the fix is to eta-expand logAction, i.e. `gets (\x -> logAction x)`
2022-03-20 08:07:41 +0100 <tomsmeding> In the vast majority of cases, code that stopped compiling with simplified subsumption is fixed by eta-expansion, because that's basically what ghc did for you earlier
2022-03-20 08:08:53 +0100 <tomsmeding> iirc in the paper relevant to this stuff the authors write that they checked all of hackage and could fix almost all problems with eta-expansion, the ones they couldn't fix being precisely the ones where they didn't understand the code to begin with anyway
2022-03-20 08:10:09 +0100razetime(~quassel@117.254.35.224) (Ping timeout: 252 seconds)
2022-03-20 08:14:20 +0100metaverse(~metaverse@94.13.111.159) (Ping timeout: 250 seconds)
2022-03-20 08:14:59 +0100zmt01(~zmt00@user/zmt00)
2022-03-20 08:15:12 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 250 seconds)
2022-03-20 08:15:59 +0100gehmehgeh(~user@user/gehmehgeh)
2022-03-20 08:17:48 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2022-03-20 08:18:34 +0100metaversum(~metaverse@94.13.111.159)
2022-03-20 08:20:34 +0100acidjnk(~acidjnk@p200300d0c7049f09bdae9d6b2b815eae.dip0.t-ipconnect.de)
2022-03-20 08:20:38 +0100razetime(~quassel@117.254.35.109)
2022-03-20 08:23:13 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-03-20 08:24:31 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-03-20 08:25:03 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-20 08:25:03 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-20 08:25:03 +0100wroathe(~wroathe@user/wroathe)
2022-03-20 08:25:33 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2022-03-20 08:35:25 +0100lagash(lagash@lagash.shelltalk.net)
2022-03-20 08:40:13 +0100Pickchea(~private@user/pickchea) (Ping timeout: 256 seconds)
2022-03-20 08:43:05 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 08:43:24 +0100jakalx(~jakalx@base.jakalx.net)
2022-03-20 08:44:16 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-03-20 08:47:32 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Read error: Connection reset by peer)
2022-03-20 08:47:33 +0100awschnap(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 08:49:04 +0100vglfr(~vglfr@88.155.114.173)
2022-03-20 08:50:45 +0100 <phma> lambdabot: (7::Word32)^((6-7)::Word32)
2022-03-20 08:51:04 +0100kmein(~weechat@user/kmein) (Quit: ciao kakao)
2022-03-20 08:51:41 +0100kmein(~weechat@user/kmein)
2022-03-20 08:51:53 +0100 <phma> > (7::Word32)^((6-7)::Word32)
2022-03-20 08:51:55 +0100 <lambdabot> 3067833783
2022-03-20 08:52:50 +0100 <phma> can anyone explain this strange number? it's 136011104550 in base 7
2022-03-20 08:52:52 +0100Guest9170(~Guest91@198.13.48.162)
2022-03-20 08:52:55 +0100nicbk(~nicbk@user/nicbk) (Ping timeout: 240 seconds)
2022-03-20 08:55:54 +0100 <Guest9170> hi, I scratch my head on this function's syntax:
2022-03-20 08:55:54 +0100 <Guest9170> partition p = foldr f ([],[]) where
2022-03-20 08:55:55 +0100 <Guest9170>   f x ~(ys,ns) | p x = (x:ys,ns)
2022-03-20 08:55:55 +0100 <Guest9170>   f x ~(ys,ns) = (ys, x:ns)
2022-03-20 08:59:33 +0100dudek(~dudek@185.150.236.127)
2022-03-20 09:03:39 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-20 09:05:15 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-03-20 09:07:31 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net)
2022-03-20 09:07:34 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-20 09:12:31 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-20 09:12:33 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-03-20 09:14:36 +0100awschnap(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds)
2022-03-20 09:16:17 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-03-20 09:20:58 +0100 <koz> Guest9170: Is it because of the ~s?
2022-03-20 09:23:19 +0100 <Guest9170> no, I know ~ is use for lazy eval after google. But can't understand ‘|’
2022-03-20 09:24:56 +0100 <koz> Guest9170: That's a guard.
2022-03-20 09:26:09 +0100 <koz> https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-460003.13 <-- details
2022-03-20 09:26:41 +0100bahamas(~lucian@84.232.140.158)
2022-03-20 09:32:33 +0100 <Guest9170> Thanks, but I think in 'partition' fiunction, there are guards not case. To my understanding, each guards compose by:  left-hand, = right-hand .
2022-03-20 09:35:29 +0100hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d)
2022-03-20 09:35:41 +0100nishant(~Nishant@49.37.242.151)
2022-03-20 09:35:47 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-03-20 09:42:01 +0100 <koz> Yeah, but guards are not case-statements.
2022-03-20 09:42:29 +0100 <koz> Specifically, what you have there is a boolean guard.
2022-03-20 09:46:02 +0100jakalx(~jakalx@base.jakalx.net)
2022-03-20 09:55:03 +0100Midjak(~Midjak@82.66.147.146)
2022-03-20 09:56:30 +0100MajorBiscuit(~MajorBisc@c-001-023-015.client.tudelft.eduvpn.nl)
2022-03-20 10:03:36 +0100ntfls^(~ntfls@50-243-220-243-static.hfc.comcastbusiness.net)
2022-03-20 10:03:59 +0100chenqisu1(~chenqisu1@183.217.201.47) (Quit: Leaving)
2022-03-20 10:06:03 +0100chenqisu1(~chenqisu1@183.217.201.47)
2022-03-20 10:07:14 +0100komikat(~komikat@183.82.152.122)
2022-03-20 10:09:42 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8)
2022-03-20 10:11:10 +0100ksqsf[m](~ksqsfmatr@2001:470:69fc:105::1:d8fa)
2022-03-20 10:11:38 +0100zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-03-20 10:12:19 +0100mmhat(~mmh@55d4a453.access.ecotel.net)
2022-03-20 10:13:26 +0100thyriaen(~thyriaen@ip5f5af2d7.dynamic.kabel-deutschland.de)
2022-03-20 10:14:05 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net)
2022-03-20 10:14:09 +0100zaquest(~notzaques@5.130.79.72)
2022-03-20 10:14:15 +0100Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi)
2022-03-20 10:14:31 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net)
2022-03-20 10:15:32 +0100bahamas(~lucian@84.232.140.158) (Ping timeout: 240 seconds)
2022-03-20 10:15:55 +0100lumberjack123(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-03-20 10:16:56 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-20 10:18:38 +0100namkeleser(~namkelese@101.175.155.55)
2022-03-20 10:21:01 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-03-20 10:21:37 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-20 10:25:02 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds)
2022-03-20 10:25:56 +0100jushur(~human@user/jushur)
2022-03-20 10:26:57 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-03-20 10:28:02 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 240 seconds)
2022-03-20 10:28:32 +0100ntfls^(~ntfls@50-243-220-243-static.hfc.comcastbusiness.net) (Remote host closed the connection)
2022-03-20 10:28:55 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-03-20 10:29:35 +0100nexus(~nexus@87-97-82-188.pool.digikabel.hu) (Ping timeout: 256 seconds)
2022-03-20 10:29:48 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-20 10:30:49 +0100komikat(~komikat@183.82.152.122) (Remote host closed the connection)
2022-03-20 10:31:26 +0100nexus(~nexus@87-97-88-232.pool.digikabel.hu)
2022-03-20 10:31:56 +0100alp(~alp@user/alp)
2022-03-20 10:32:19 +0100vglfr(~vglfr@88.155.114.173) (Read error: Connection reset by peer)
2022-03-20 10:32:30 +0100komikat(~komikat@183.82.152.122)
2022-03-20 10:32:32 +0100vglfr(~vglfr@88.155.114.173)
2022-03-20 10:34:34 +0100komikat(~komikat@183.82.152.122) (Remote host closed the connection)
2022-03-20 10:39:54 +0100alp(~alp@user/alp) (Ping timeout: 268 seconds)
2022-03-20 10:45:08 +0100biberu\(~biberu@user/biberu)
2022-03-20 10:45:08 +0100biberu(~biberu@user/biberu) (Ping timeout: 250 seconds)
2022-03-20 10:46:06 +0100biberu\biberu
2022-03-20 10:47:46 +0100Guest9170(~Guest91@198.13.48.162) (Quit: Client closed)
2022-03-20 10:49:39 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-03-20 10:51:37 +0100mixfix41(~sdenynine@user/mixfix41) (Ping timeout: 240 seconds)
2022-03-20 10:55:59 +0100thyriaen(~thyriaen@ip5f5af2d7.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2022-03-20 10:58:02 +0100acidjnk(~acidjnk@p200300d0c7049f09bdae9d6b2b815eae.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-20 11:03:05 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-03-20 11:04:16 +0100fendor(~fendor@178.165.202.146.wireless.dyn.drei.com)
2022-03-20 11:07:40 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 250 seconds)
2022-03-20 11:07:55 +0100fef(~thedawn@user/thedawn)
2022-03-20 11:10:16 +0100ph88(~ph88@2001:1c05:2402:c600:599:4834:fca5:fb5a)
2022-03-20 11:12:29 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 11:14:42 +0100zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection)
2022-03-20 11:15:02 +0100ph88(~ph88@2001:1c05:2402:c600:599:4834:fca5:fb5a) (Ping timeout: 240 seconds)
2022-03-20 11:19:01 +0100komikat(~komikat@183.82.152.122)
2022-03-20 11:22:48 +0100komikat(~komikat@183.82.152.122) (Remote host closed the connection)
2022-03-20 11:25:07 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 256 seconds)
2022-03-20 11:26:30 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 252 seconds)
2022-03-20 11:27:36 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4.1)
2022-03-20 11:28:44 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-03-20 11:29:13 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit)
2022-03-20 11:30:09 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-03-20 11:32:19 +0100namkeleser(~namkelese@101.175.155.55) (Quit: Client closed)
2022-03-20 11:33:32 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-20 11:33:48 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-20 11:38:57 +0100komikat(~komikat@183.82.152.122)
2022-03-20 11:46:07 +0100cosimone(~user@93-44-187-176.ip98.fastwebnet.it)
2022-03-20 11:46:37 +0100Enrico63(~Enrico63@81.109.143.226)
2022-03-20 11:47:14 +0100 <Enrico63> Hello there
2022-03-20 11:47:16 +0100coot(~coot@213.134.190.95)
2022-03-20 11:47:45 +0100 <Enrico63> I've found a bug in how the HLS refactors monadic code
2022-03-20 11:47:59 +0100 <Enrico63> Not sure _where_ I have to post a bug report :/
2022-03-20 11:48:33 +0100m1dnight(~christoph@78-22-9-5.access.telenet.be) (Quit: WeeChat 3.4.1)
2022-03-20 11:49:14 +0100 <Enrico63> I guess here? https://github.com/haskell/haskell-language-server
2022-03-20 11:52:37 +0100razetime(~quassel@117.254.35.109) (Ping timeout: 240 seconds)
2022-03-20 11:53:13 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds)
2022-03-20 11:59:02 +0100 <[exa]> I'd start there, in the worst case you'll get redirected. :D
2022-03-20 12:00:12 +0100m1dnight(~christoph@78-22-9-5.access.telenet.be)
2022-03-20 12:01:00 +0100DNH(~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810)
2022-03-20 12:01:49 +0100frost(~frost@user/frost)
2022-03-20 12:02:05 +0100razetime(~quassel@117.254.35.224)
2022-03-20 12:02:44 +0100acidjnk(~acidjnk@p200300d0c7049f0980df1267d4100519.dip0.t-ipconnect.de)
2022-03-20 12:03:00 +0100komikat(~komikat@183.82.152.122) (Remote host closed the connection)
2022-03-20 12:03:46 +0100vglfr(~vglfr@88.155.114.173) (Ping timeout: 268 seconds)
2022-03-20 12:08:14 +0100komikat(~komikat@183.82.152.122)
2022-03-20 12:11:02 +0100cheater(~Username@user/cheater) (Quit: (BitchX) We drink more beers than Norm on Cheers!)
2022-03-20 12:11:46 +0100cheater(~Username@user/cheater)
2022-03-20 12:12:36 +0100komikat(~komikat@183.82.152.122) (Ping timeout: 240 seconds)
2022-03-20 12:13:35 +0100fef(~thedawn@user/thedawn) (Remote host closed the connection)
2022-03-20 12:14:02 +0100fef(~thedawn@user/thedawn)
2022-03-20 12:16:52 +0100komikat(~komikat@183.82.152.122)
2022-03-20 12:17:47 +0100komikat(~komikat@183.82.152.122) (Remote host closed the connection)
2022-03-20 12:18:42 +0100vglfr(~vglfr@88.155.114.173)
2022-03-20 12:20:00 +0100ubert(~Thunderbi@p548c8d44.dip0.t-ipconnect.de) (Quit: ubert)
2022-03-20 12:20:51 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 12:21:23 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-20 12:27:09 +0100komikat(~komikat@183.82.152.122)
2022-03-20 12:29:40 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Quit: mikoto-chan)
2022-03-20 12:29:58 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-03-20 12:33:23 +0100komikat(~komikat@183.82.152.122) (Read error: Connection reset by peer)
2022-03-20 12:37:10 +0100komikat(~komikat@183.82.152.122)
2022-03-20 12:40:28 +0100komikat(~komikat@183.82.152.122) (Remote host closed the connection)
2022-03-20 12:42:20 +0100namkeleser(~namkelese@101.175.155.55)
2022-03-20 12:42:59 +0100vorpuni(~pvorp@2001:861:3881:c690:8ea1:f667:9c2c:b7bc) (Read error: Connection reset by peer)
2022-03-20 12:43:27 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-20 12:43:36 +0100komikat(~komikat@183.82.152.122)
2022-03-20 12:45:31 +0100vorpuni(~pvorp@2001:861:3881:c690:1ebd:f5b8:59a1:8690)
2022-03-20 12:46:52 +0100notzmv(~zmv@user/notzmv)
2022-03-20 12:47:04 +0100komikat(~komikat@183.82.152.122) (Remote host closed the connection)
2022-03-20 12:48:12 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-20 12:49:00 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 252 seconds)
2022-03-20 12:50:14 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-03-20 12:51:02 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-03-20 12:52:02 +0100cyphase(~cyphase@user/cyphase) (Ping timeout: 240 seconds)
2022-03-20 12:52:18 +0100Enrico63(~Enrico63@81.109.143.226) (Quit: Client closed)
2022-03-20 12:53:01 +0100komikat(~komikat@183.82.152.122)
2022-03-20 12:54:05 +0100komikat(~komikat@183.82.152.122) (Remote host closed the connection)
2022-03-20 12:54:17 +0100komikat(~komikat@183.82.152.122)
2022-03-20 12:56:35 +0100vorpuni(~pvorp@2001:861:3881:c690:1ebd:f5b8:59a1:8690) (Read error: Connection reset by peer)
2022-03-20 12:56:44 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Quit: mikoto-chan)
2022-03-20 12:56:48 +0100rkrishnan(~user@2402:e280:215c:2cd:bf22:45ac:82e5:4577)
2022-03-20 12:56:59 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-03-20 12:57:20 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4.1)
2022-03-20 12:58:04 +0100vorpuni(~pvorp@2001:861:3881:c690:9ad1:5e5f:92a0:762c)
2022-03-20 12:58:49 +0100cyphase(~cyphase@user/cyphase)
2022-03-20 12:59:53 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-03-20 13:02:23 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt)
2022-03-20 13:03:23 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-03-20 13:03:41 +0100rkrishnan(~user@2402:e280:215c:2cd:bf22:45ac:82e5:4577) (Ping timeout: 245 seconds)
2022-03-20 13:04:12 +0100Vajb(~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813)
2022-03-20 13:04:23 +0100nexus(~nexus@87-97-88-232.pool.digikabel.hu) (Ping timeout: 252 seconds)
2022-03-20 13:05:35 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-03-20 13:05:51 +0100nexus(~nexus@77-234-80-249.pool.digikabel.hu)
2022-03-20 13:06:01 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2022-03-20 13:08:59 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net)
2022-03-20 13:11:00 +0100vglfr(~vglfr@88.155.114.173) (Ping timeout: 240 seconds)
2022-03-20 13:11:24 +0100alp(~alp@user/alp)
2022-03-20 13:14:36 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-20 13:15:19 +0100frost(~frost@user/frost) (Quit: Client closed)
2022-03-20 13:17:29 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-03-20 13:18:01 +0100komikat(~komikat@183.82.152.122) (Remote host closed the connection)
2022-03-20 13:18:26 +0100raym(~raym@user/raym)
2022-03-20 13:22:16 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-20 13:23:17 +0100komikat(~komikat@183.82.152.122)
2022-03-20 13:23:49 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-03-20 13:23:53 +0100komikat(~komikat@183.82.152.122) (Remote host closed the connection)
2022-03-20 13:24:05 +0100komikat(~komikat@183.82.152.122)
2022-03-20 13:24:44 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-20 13:25:20 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net)
2022-03-20 13:26:36 +0100rkrishnan(~user@2402:e280:215c:2cd:653d:647b:daf8:2b2b)
2022-03-20 13:27:54 +0100machinedgod(~machinedg@24.105.81.50)
2022-03-20 13:29:10 +0100gehmehgeh(~user@user/gehmehgeh)
2022-03-20 13:30:12 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-20 13:31:12 +0100Vajb(~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer)
2022-03-20 13:31:47 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-03-20 13:34:02 +0100acidjnk(~acidjnk@p200300d0c7049f0980df1267d4100519.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-20 13:34:24 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-03-20 13:34:27 +0100ccntrq(~Thunderbi@2a01:c22:8dca:b800:627:fcfe:e945:4945)
2022-03-20 13:34:34 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-20 13:36:20 +0100ccntrq(~Thunderbi@2a01:c22:8dca:b800:627:fcfe:e945:4945) (Remote host closed the connection)
2022-03-20 13:37:57 +0100ubert(~Thunderbi@p200300ecdf158818c4a19710929e5265.dip0.t-ipconnect.de)
2022-03-20 13:42:34 +0100DNH(~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810) (Quit: Textual IRC Client: www.textualapp.com)
2022-03-20 13:43:39 +0100jakalx(~jakalx@base.jakalx.net)
2022-03-20 13:51:35 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-03-20 13:56:30 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-20 14:00:23 +0100dudek(~dudek@185.150.236.127) (Quit: Leaving)
2022-03-20 14:02:33 +0100chenqisu1(~chenqisu1@183.217.201.47) (Quit: Leaving)
2022-03-20 14:03:10 +0100 <absence> i'm trying to get an Eq1 instance for a type, using generic-data and DerivingVia. first attempt "data List a = Nil | Cons a (List a) deriving stock Generic1 deriving Eq1 via Generically1 List" gives me a long error "No instance for (Eq1 (GHC.Generics.D1 ......" with a suggestion to use a standalone "deriving instance".
2022-03-20 14:03:15 +0100vysn(~vysn@user/vysn) (Ping timeout: 252 seconds)
2022-03-20 14:03:16 +0100 <absence> so i try "deriving instance Eq1 List via Generically1 List" on a separate line, and get "Expected kind ‘k0 -> ((* -> *) -> * -> *) -> (* -> *) -> Constraint’, but ‘Eq1 List’ has kind ‘Constraint’"
2022-03-20 14:03:36 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2022-03-20 14:03:59 +0100namkeleser(~namkelese@101.175.155.55) (Quit: Client closed)
2022-03-20 14:04:05 +0100 <absence> what am i doing wrong?
2022-03-20 14:06:36 +0100rkrishnan(~user@2402:e280:215c:2cd:653d:647b:daf8:2b2b) (Ping timeout: 240 seconds)
2022-03-20 14:14:10 +0100ubert(~Thunderbi@p200300ecdf158818c4a19710929e5265.dip0.t-ipconnect.de) (Quit: ubert)
2022-03-20 14:15:39 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2022-03-20 14:16:35 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de)
2022-03-20 14:16:37 +0100alp(~alp@user/alp) (Ping timeout: 240 seconds)
2022-03-20 14:16:41 +0100__monty__(~toonn@user/toonn)
2022-03-20 14:17:33 +0100 <absence> oh, the syntax for standalong deriving via is completely different. with "deriving via Generically1 List instance Eq1 List" i get the same "No instance for (Eq1 (GHC.Generics.D1 ......" error as before
2022-03-20 14:17:43 +0100 <absence> standalone*
2022-03-20 14:20:33 +0100Pickchea(~private@user/pickchea)
2022-03-20 14:20:35 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-20 14:23:48 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-20 14:23:51 +0100komikat(~komikat@183.82.152.122) (Read error: Connection reset by peer)
2022-03-20 14:25:19 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-03-20 14:25:37 +0100vysn(~vysn@user/vysn)
2022-03-20 14:25:45 +0100komikat(~komikat@183.82.152.122)
2022-03-20 14:27:05 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net)
2022-03-20 14:30:32 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt) (Ping timeout: 240 seconds)
2022-03-20 14:30:57 +0100komikat(~komikat@183.82.152.122) (Ping timeout: 240 seconds)
2022-03-20 14:31:22 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2022-03-20 14:31:37 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt)
2022-03-20 14:37:03 +0100 <int-e> absence: Well the error is absolutely correct. There are no Eq1 instances at the Rep1 level that support that (Generic1 f, Eq1 (Rep1 f)) => Eq1 (Generically1 f) instance.
2022-03-20 14:37:14 +0100 <int-e> (Same story for Ord1)
2022-03-20 14:39:11 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-20 14:39:44 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net)
2022-03-20 14:40:38 +0100 <int-e> https://gitlab.haskell.org/ghc/ghc/-/commit/a4ca6caaa2f61d1ef62db824dd2116b753cf24ee ...Marge Bot committed this, shouldn't there be a corresponding PR then?
2022-03-20 14:41:11 +0100komikat(~komikat@183.82.152.122)
2022-03-20 14:42:02 +0100 <int-e> Ah. Here, https://gitlab.haskell.org/ghc/ghc/-/merge_requests/5726 ...I wonder whether this was missed in the (well, rather light, it seems) review process...
2022-03-20 14:43:48 +0100vysn(~vysn@user/vysn) (Ping timeout: 240 seconds)
2022-03-20 14:43:58 +0100 <geekosaur> "Project has too many branches to search" lol
2022-03-20 14:44:30 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2022-03-20 14:45:20 +0100 <int-e> gitlab does feel rather clunky and inefficient
2022-03-20 14:46:39 +0100 <absence> int-e: i'm sure the error is correct, but what is the right way to do this?
2022-03-20 14:46:42 +0100euandreh(~euandreh@2804:14c:33:9fe5:e51b:ac6b:af96:5d6c) (Ping timeout: 252 seconds)
2022-03-20 14:46:45 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 14:47:20 +0100 <int-e> absence: write a manual instance I suppose
2022-03-20 14:48:05 +0100int-eisn't an expert on generics. (I've used them, but I have to wrap my head around the details every time I need them)
2022-03-20 14:49:24 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2022-03-20 14:49:28 +0100 <int-e> And I'm not in the mood for warping my brain right now to figure out whether you can even have the supporting Eq1 instances for M1, etc, all the ray to Rec1 (since your list type is recursive)
2022-03-20 14:50:16 +0100 <int-e> But I know that they aren't there. That's something I can figure out from the documentation :P
2022-03-20 14:53:33 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-20 14:55:04 +0100 <absence> int-e: hm, i get the same error without a recursive type. i even get the same error if i copy the example from the documentation, so i guess there's a bug somewhere
2022-03-20 14:56:09 +0100 <int-e> absence: ...yeah, of course. There's *none* of those instances. (D1 = M1 D, so you need one for M1 to even start)
2022-03-20 14:59:03 +0100euandreh(~euandreh@2804:14c:33:9fe5:156d:4cd3:81cf:f50c)
2022-03-20 14:59:39 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 256 seconds)
2022-03-20 15:00:52 +0100 <absence> doh, import Generic.Data.Orphans solves the problem.....
2022-03-20 15:04:13 +0100 <int-e> from some third party package, brilliant.
2022-03-20 15:04:28 +0100Topsi(~Tobias@dyndsl-095-033-027-010.ewe-ip-backbone.de)
2022-03-20 15:05:11 +0100 <int-e> liftEq (==.) (Rec1 r1) (Rec1 r2) = liftEq (==.) r1 r2 <-- apparently Rec1 doesn't cause any trouble
2022-03-20 15:05:50 +0100Guest9121(~Guest91@198.13.48.162)
2022-03-20 15:07:11 +0100rond_(~rond_@90.254.208.190)
2022-03-20 15:11:32 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt) (Ping timeout: 240 seconds)
2022-03-20 15:15:47 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt)
2022-03-20 15:17:41 +0100rkrishnan(~user@2402:e280:215c:2cd:3eab:c926:d07c:224d)
2022-03-20 15:17:44 +0100coot(~coot@213.134.190.95)
2022-03-20 15:18:27 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-20 15:22:04 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-20 15:24:12 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt) (Ping timeout: 250 seconds)
2022-03-20 15:25:15 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-03-20 15:25:58 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt)
2022-03-20 15:26:58 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net)
2022-03-20 15:27:05 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds)
2022-03-20 15:27:50 +0100Unicorn_Princess(~Unicorn_P@46-54-248-191.static.kate-wing.si)
2022-03-20 15:29:52 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-20 15:30:29 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt) (Ping timeout: 256 seconds)
2022-03-20 15:31:37 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-20 15:32:37 +0100dcoutts__(~duncan@host86-167-206-34.range86-167.btcentralplus.com) (Ping timeout: 240 seconds)
2022-03-20 15:43:48 +0100MajorBiscuit(~MajorBisc@c-001-023-015.client.tudelft.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-20 15:46:47 +0100geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca)
2022-03-20 15:48:17 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-03-20 15:50:30 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-20 15:50:30 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-20 15:50:30 +0100wroathe(~wroathe@user/wroathe)
2022-03-20 15:52:16 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt)
2022-03-20 15:54:05 +0100brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-03-20 15:57:36 +0100Sgeo(~Sgeo@user/sgeo)
2022-03-20 16:00:15 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-20 16:01:00 +0100lumberjack123(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-20 16:01:27 +0100ph88(~ph88@2001:1c05:2402:c600:599:4834:fca5:fb5a)
2022-03-20 16:02:44 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt) (Quit: WeeChat 3.4)
2022-03-20 16:04:19 +0100Guest394(~Guest3@122.161.52.55)
2022-03-20 16:04:19 +0100 <Guest394> hi
2022-03-20 16:04:30 +0100 <Guest394> hi
2022-03-20 16:04:36 +0100 <geekosaur> hi
2022-03-20 16:04:43 +0100 <Guest394> new to haskell
2022-03-20 16:04:46 +0100 <Guest394> and also irc
2022-03-20 16:04:55 +0100 <Guest394> are you a bot?
2022-03-20 16:04:56 +0100nexus(~nexus@77-234-80-249.pool.digikabel.hu) (Ping timeout: 245 seconds)
2022-03-20 16:05:08 +0100 <Guest394> i was tkinking of using haskell for animation
2022-03-20 16:05:19 +0100mzan(~quassel@mail.asterisell.com)
2022-03-20 16:05:21 +0100 <Guest394> will that be better ? or will python or java do?
2022-03-20 16:05:36 +0100 <Guest394> animations for math videos
2022-03-20 16:05:48 +0100tnahsin(~Nishant@49.37.242.151)
2022-03-20 16:06:07 +0100 <geekosaur> depends on what you're doing, and what you're familiar with
2022-03-20 16:06:19 +0100tnahsin(~Nishant@49.37.242.151) (Read error: Connection reset by peer)
2022-03-20 16:06:27 +0100 <Guest394> i am familiar with python and java
2022-03-20 16:06:40 +0100 <Guest394>  but just for the thrill i want to use haskill for animation...
2022-03-20 16:06:41 +0100nexus(~nexus@92-249-179-42.pool.digikabel.hu)
2022-03-20 16:07:00 +0100 <Guest394> will it be more effective?
2022-03-20 16:07:22 +0100urtie(~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0)
2022-03-20 16:07:34 +0100nishant(~Nishant@49.37.242.151) (Read error: Connection reset by peer)
2022-03-20 16:07:34 +0100ph88(~ph88@2001:1c05:2402:c600:599:4834:fca5:fb5a) (Ping timeout: 240 seconds)
2022-03-20 16:07:51 +0100srk-(~sorki@user/srk)
2022-03-20 16:08:07 +0100Alex_test_(~al_test@94.233.240.162)
2022-03-20 16:08:09 +0100FragByte_(~christian@user/fragbyte)
2022-03-20 16:08:20 +0100jushurr(~human@user/jushur)
2022-03-20 16:08:29 +0100 <geekosaur> there are some libraries for animation, but I'd say you'd do better going through some courses before trying to take on a project like that
2022-03-20 16:08:54 +0100 <Guest394> courses for what?
2022-03-20 16:08:57 +0100 <Guest394> haskell?
2022-03-20 16:09:02 +0100dfordivam1(~dfordivam@tk2-219-19469.vs.sakura.ne.jp)
2022-03-20 16:09:11 +0100Tuplanolla1(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi)
2022-03-20 16:09:12 +0100 <geekosaur> @where cis194
2022-03-20 16:09:12 +0100 <lambdabot> https://www.seas.upenn.edu/~cis194/spring13/lectures.html
2022-03-20 16:09:16 +0100hughjfchen[m]1(~hughjfche@2001:470:69fc:105::c29d)
2022-03-20 16:09:21 +0100cocreatu1(~moritz@2a03:b0c0:3:d0::c8:f001)
2022-03-20 16:09:33 +0100 <geekosaur> haskell is very different from python and java
2022-03-20 16:09:33 +0100sus6(zero@user/zeromomentum)
2022-03-20 16:09:41 +0100Clint_(~Clint@user/clint)
2022-03-20 16:09:52 +0100acidsys_(~LSD@2a03:4000:55:d20::3)
2022-03-20 16:10:08 +0100dobblego(~dibblego@122-199-1-30.ip4.superloop.com)
2022-03-20 16:10:08 +0100dobblego(~dibblego@122-199-1-30.ip4.superloop.com) (Changing host)
2022-03-20 16:10:08 +0100dobblego(~dibblego@haskell/developer/dibblego)
2022-03-20 16:10:15 +0100 <geekosaur> both in syntax and in behavior (purity and laziness)
2022-03-20 16:10:17 +0100farn_(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505)
2022-03-20 16:10:19 +0100machined1od(~machinedg@24.105.81.50)
2022-03-20 16:10:23 +0100piele_(~piele@tbonesteak.creativeserver.net)
2022-03-20 16:10:23 +0100p_____(~dyeplexer@user/dyeplexer)
2022-03-20 16:10:32 +0100w1gz_(~do@159.89.11.133)
2022-03-20 16:10:48 +0100 <Guest394> ok , how long have you been using haskell?
2022-03-20 16:10:59 +0100 <geekosaur> and no, I'm not a bot;I'm a channel op and unofficial greeter of sorts
2022-03-20 16:11:05 +0100 <geekosaur> since 2006
2022-03-20 16:11:09 +0100 <Guest394> @lambdabot  what s that link for?
2022-03-20 16:11:09 +0100 <lambdabot> Unknown command, try @list
2022-03-20 16:11:24 +0100 <geekosaur> that's an online Haskell course
2022-03-20 16:11:32 +0100ladyfriday(~robert@what.i.hope.is.not.a.tabernaevagant.es)
2022-03-20 16:11:42 +0100 <Guest394> oh oh i see , is it free?
2022-03-20 16:11:51 +0100p_____(~dyeplexer@user/dyeplexer) (Client Quit)
2022-03-20 16:11:55 +0100 <Guest394> oh wow since 2006 ... thats a long time
2022-03-20 16:12:04 +0100jushur(~human@user/jushur) (Ping timeout: 240 seconds)
2022-03-20 16:12:04 +0100Alex_test(~al_test@94.233.240.162) (Ping timeout: 240 seconds)
2022-03-20 16:12:04 +0100earthy(~arthurvl@deban2.xs4all.space) (Ping timeout: 240 seconds)
2022-03-20 16:12:04 +0100FragByte(~christian@user/fragbyte) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100dyeplexer(~dyeplexer@user/dyeplexer) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100srk(~sorki@user/srk) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100dfordvm(~dfordivam@tk2-219-19469.vs.sakura.ne.jp) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100w1gz(~do@159.89.11.133) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100nulluint(uid547282@user/nulluint) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100sus(zero@user/zeromomentum) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100RSBach(~guygastin@137.184.131.156) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100cocreature(~moritz@2a03:b0c0:3:d0::c8:f001) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100AlexZenon(~alzenon@94.233.240.162) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100piele(~piele@tbonesteak.creativeserver.net) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100Clint(~Clint@user/clint) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100farn(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100dibblego(~dibblego@haskell/developer/dibblego) (Excess Flood)
2022-03-20 16:12:05 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100metaversum(~metaverse@94.13.111.159) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100iphy(sid67735@id-67735.lymington.irccloud.com) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100PHO`(~pho@akari.cielonegro.org) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100tadyshev(uid547048@id-547048.hampstead.irccloud.com) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100sabx_(~sabbas@user/sabbas) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100carbolymer(~carbolyme@dropacid.net) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100exarkun(~exarkun@user/exarkun) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100eagleflo(~aku@163.172.137.34) (Ping timeout: 240 seconds)
2022-03-20 16:12:05 +0100srk-srk
2022-03-20 16:12:05 +0100sus6sus
2022-03-20 16:12:06 +0100FragByte_FragByte
2022-03-20 16:12:09 +0100nulluint_(uid547282@id-547282.uxbridge.irccloud.com)
2022-03-20 16:12:13 +0100carbolymer_(~carbolyme@dropacid.net)
2022-03-20 16:12:19 +0100iphy(sid67735@id-67735.lymington.irccloud.com)
2022-03-20 16:12:22 +0100PHO`(~pho@akari.cielonegro.org)
2022-03-20 16:12:25 +0100dobblegodibblego
2022-03-20 16:12:25 +0100mud(~mud@user/kadoban) (Remote host closed the connection)
2022-03-20 16:12:33 +0100TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667) (Remote host closed the connection)
2022-03-20 16:12:33 +0100sabx(~sabbas@user/sabbas)
2022-03-20 16:12:37 +0100RMSBach(~guygastin@137.184.131.156)
2022-03-20 16:12:43 +0100TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667)
2022-03-20 16:12:52 +0100mud(~mud@user/kadoban)
2022-03-20 16:12:53 +0100metaversum(~metaverse@94.13.111.159)
2022-03-20 16:13:01 +0100exarkun(~exarkun@user/exarkun)
2022-03-20 16:13:08 +0100fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com)
2022-03-20 16:13:13 +0100eagleflo(~aku@163.172.137.34)
2022-03-20 16:13:23 +0100tadyshev(uid547048@id-547048.hampstead.irccloud.com)
2022-03-20 16:13:49 +0100 <geekosaur> it's free, yes
2022-03-20 16:14:40 +0100 <geekosaur> and one of the better courses. there are also some free-online books you could go with, but that particular CIS194 works well for many people
2022-03-20 16:15:00 +0100 <Guest394> ok thanks
2022-03-20 16:15:21 +0100 <geekosaur> @where books
2022-03-20 16:15:21 +0100 <lambdabot> https://www.extrema.is/articles/haskell-books, see also @where LYAH, RWH, YAHT, SOE, HR, PIH, TFwH, wikibook, PCPH, HPFFP, HTAC, TwT, FoP, PFAD, WYAH, non-haskell-books
2022-03-20 16:15:30 +0100rond_(~rond_@90.254.208.190) (Quit: Client closed)
2022-03-20 16:15:34 +0100metaverse_(~metaverse@94.13.111.159)
2022-03-20 16:16:06 +0100AlexZenon(~alzenon@94.233.240.162)
2022-03-20 16:16:24 +0100TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667) (Excess Flood)
2022-03-20 16:16:34 +0100TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667)
2022-03-20 16:16:42 +0100nulluint_(uid547282@id-547282.uxbridge.irccloud.com) (Client Quit)
2022-03-20 16:16:43 +0100piele_piele
2022-03-20 16:17:05 +0100Clint_Clint
2022-03-20 16:17:28 +0100 <Guest394> thanks alot i have booked marked them
2022-03-20 16:18:19 +0100metaversum(~metaverse@94.13.111.159) (Ping timeout: 240 seconds)
2022-03-20 16:24:05 +0100tcard__(~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp)
2022-03-20 16:24:08 +0100metaversum(~metaverse@94.13.111.159)
2022-03-20 16:24:25 +0100theproffesor_(~theproffe@2601:282:847f:8010::7f59)
2022-03-20 16:24:27 +0100mncheckm(~mncheck@193.224.205.254)
2022-03-20 16:24:31 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-03-20 16:24:31 +0100the_proffesor(~theproffe@2601:282:847f:8010::7f59) (Read error: Connection reset by peer)
2022-03-20 16:24:31 +0100tcard_(~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) (Read error: Connection reset by peer)
2022-03-20 16:24:31 +0100Kaiepi(~Kaiepi@156.34.47.253) (Read error: Connection reset by peer)
2022-03-20 16:24:33 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-03-20 16:24:34 +0100mncheck(~mncheck@193.224.205.254) (Read error: Connection reset by peer)
2022-03-20 16:24:36 +0100Kaipi(~Kaiepi@156.34.47.253)
2022-03-20 16:24:44 +0100EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2022-03-20 16:24:50 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-03-20 16:25:03 +0100EvanR(~EvanR@user/evanr)
2022-03-20 16:26:01 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-03-20 16:26:32 +0100jinsun__(~jinsun@user/jinsun)
2022-03-20 16:26:41 +0100incertia(~incertia@207.98.163.88) (Ping timeout: 250 seconds)
2022-03-20 16:26:43 +0100metaverse_(~metaverse@94.13.111.159) (Ping timeout: 250 seconds)
2022-03-20 16:26:43 +0100sabx(~sabbas@user/sabbas) (Ping timeout: 250 seconds)
2022-03-20 16:26:43 +0100cheater(~Username@user/cheater) (Ping timeout: 250 seconds)
2022-03-20 16:26:52 +0100cheater(~Username@user/cheater)
2022-03-20 16:26:52 +0100ystael_(~ystael@user/ystael)
2022-03-20 16:27:01 +0100YoungFrawg(~youngfrog@2a02:a03f:c21b:f900:d813:4914:1c90:9409)
2022-03-20 16:27:28 +0100incertia(~incertia@207.98.163.88)
2022-03-20 16:27:32 +0100sus7(zero@user/zeromomentum)
2022-03-20 16:27:33 +0100drewolson0(~drewolson@user/drewolson)
2022-03-20 16:27:37 +0100YoungFrog(~youngfrog@2a02:a03f:c21b:f900:1dce:7a96:eac5:305b) (Ping timeout: 250 seconds)
2022-03-20 16:27:37 +0100ystael(~ystael@user/ystael) (Ping timeout: 250 seconds)
2022-03-20 16:27:37 +0100riatre(~quassel@2001:310:6000:f::5198:1) (Ping timeout: 250 seconds)
2022-03-20 16:27:38 +0100jinsun(~jinsun@user/jinsun) (Ping timeout: 250 seconds)
2022-03-20 16:27:38 +0100nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 250 seconds)
2022-03-20 16:27:46 +0100drewolson(~drewolson@user/drewolson) (Ping timeout: 250 seconds)
2022-03-20 16:27:46 +0100drewolson0drewolson
2022-03-20 16:27:54 +0100shailangsa(~shailangs@host165-120-169-51.range165-120.btcentralplus.com) (Ping timeout: 250 seconds)
2022-03-20 16:28:15 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-03-20 16:28:19 +0100YoungFrawgYoungFrog
2022-03-20 16:28:20 +0100yahb(xsbot@user/mniip/bot/yahb) (Ping timeout: 250 seconds)
2022-03-20 16:28:21 +0100riatre(~quassel@2001:310:6000:f::5198:1)
2022-03-20 16:28:34 +0100Taneb0(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
2022-03-20 16:28:35 +0100jrm2(~jrm@156.34.173.250)
2022-03-20 16:28:40 +0100sabx(~sabbas@user/sabbas)
2022-03-20 16:28:42 +0100defanor_(~defanor@tart.uberspace.net)
2022-03-20 16:28:55 +0100ajb_(~ajb@cupid.whatbox.ca)
2022-03-20 16:28:58 +0100bcoppens_(~bartcopp@vpn2.bartcoppens.be)
2022-03-20 16:29:26 +0100meinside_(uid24933@id-24933.helmsley.irccloud.com)
2022-03-20 16:29:34 +0100asivitz_(uid178348@id-178348.tinside.irccloud.com)
2022-03-20 16:29:34 +0100arkeet`(~arkeet@moriya.ca)
2022-03-20 16:29:35 +0100kraftwerk28_(~kraftwerk@178.62.210.83)
2022-03-20 16:29:36 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de)
2022-03-20 16:29:40 +0100martin02_(~silas@141.84.69.76)
2022-03-20 16:29:42 +0100dobblego(~dibblego@122-199-1-30.ip4.superloop.com)
2022-03-20 16:29:42 +0100dobblego(~dibblego@122-199-1-30.ip4.superloop.com) (Changing host)
2022-03-20 16:29:42 +0100dobblego(~dibblego@haskell/developer/dibblego)
2022-03-20 16:29:50 +0100cosimone`(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-03-20 16:29:55 +0100|beo|(1000@gabilgathol.bandrate.org)
2022-03-20 16:30:09 +0100takuan_dozo(~takuan@178-116-218-225.access.telenet.be)
2022-03-20 16:30:19 +0100bcoppens(~bartcopp@vpn2.bartcoppens.be) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100edr(~edr@user/edr) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100krjst(~krjst@2604:a880:800:c1::16b:8001) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100kraftwerk28(~kraftwerk@178.62.210.83) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100cosimone(~user@93-44-187-176.ip98.fastwebnet.it) (Remote host closed the connection)
2022-03-20 16:30:19 +0100sus(zero@user/zeromomentum) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100asivitz(uid178348@id-178348.tinside.irccloud.com) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100martin02(~silas@141.84.69.76) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100jrm(~jrm@156.34.173.250) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100ajb(~ajb@cupid.whatbox.ca) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100meinside(uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100arkeet(arkeet@moriya.ca) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100systemfault(sid267009@id-267009.uxbridge.irccloud.com) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100defanor(~defanor@tart.uberspace.net) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100|beowulf|(1000@sourcemage/mage/beowulf) (Ping timeout: 250 seconds)
2022-03-20 16:30:19 +0100dibblego(~dibblego@haskell/developer/dibblego) (Excess Flood)
2022-03-20 16:30:19 +0100obfusk(~quassel@a82-161-150-56.adsl.xs4all.nl) (Remote host closed the connection)
2022-03-20 16:30:19 +0100robertm(robertm@lattice.rojoma.com) (Ping timeout: 250 seconds)
2022-03-20 16:30:20 +0100texasmynsted(~texasmyns@99.96.221.112) (Ping timeout: 250 seconds)
2022-03-20 16:30:20 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Ping timeout: 250 seconds)
2022-03-20 16:30:20 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-20 16:30:20 +0100arkeet`arkeet
2022-03-20 16:30:21 +0100sus7sus
2022-03-20 16:30:21 +0100asivitz_asivitz
2022-03-20 16:30:21 +0100meinside_meinside
2022-03-20 16:30:22 +0100jrm2jrm
2022-03-20 16:30:24 +0100edro(~edr@enlo.co)
2022-03-20 16:30:24 +0100edro(~edr@enlo.co) (Changing host)
2022-03-20 16:30:24 +0100edro(~edr@user/edr)
2022-03-20 16:30:27 +0100notzmv-(~zmv@user/notzmv)
2022-03-20 16:30:27 +0100systemfault_(sid267009@id-267009.uxbridge.irccloud.com)
2022-03-20 16:30:36 +0100kst(~krjst@2604:a880:800:c1::16b:8001)
2022-03-20 16:30:39 +0100obfusk(~quassel@a82-161-150-56.adsl.xs4all.nl)
2022-03-20 16:30:46 +0100dobblegodibblego
2022-03-20 16:31:12 +0100robertm(robertm@lattice.rojoma.com)
2022-03-20 16:31:40 +0100texasmynsted(~texasmyns@99.96.221.112)
2022-03-20 16:32:23 +0100yahb(xsbot@user/mniip/bot/yahb)
2022-03-20 16:33:15 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt)
2022-03-20 16:33:54 +0100Guest394(~Guest3@122.161.52.55) (Quit: Client closed)
2022-03-20 16:34:35 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2022-03-20 16:36:10 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-20 16:37:50 +0100 <janus> @where non-haskell-books
2022-03-20 16:37:50 +0100 <lambdabot> `SICP',`CTM',`TaPL',`AtTaPL',`APLD',`PLAI',`TAOCP',`SF',`CPDT',`TTFP',`PFPL',`SICM',`TTT',`EOPL',`AIMA',`PAIP',`AoP',`PLFA',`CTfP',`book-acronyms'
2022-03-20 16:38:08 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-03-20 16:40:48 +0100Guest9121(~Guest91@198.13.48.162) (Quit: Client closed)
2022-03-20 16:41:01 +0100Pickchea(~private@user/pickchea) (Ping timeout: 240 seconds)
2022-03-20 16:43:04 +0100img(~img@user/img)
2022-03-20 16:45:24 +0100 <hpc> is there a way to list the keys in the where db?
2022-03-20 16:46:09 +0100tafa(~tafa@user/tafa) (Quit: ZNC - https://znc.in)
2022-03-20 16:46:59 +0100tafa(~tafa@user/tafa)
2022-03-20 16:47:32 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-20 16:52:10 +0100 <janus> oops i made it forgot SICP.. sorry. i didn't know that @where+ deletes
2022-03-20 16:52:31 +0100 <janus> i thought it would be like a verbose version of 'where'
2022-03-20 16:53:31 +0100dcoutts__(~duncan@host86-167-206-34.range86-167.btcentralplus.com)
2022-03-20 16:58:55 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-03-20 17:00:15 +0100mahene[m](~mahenemat@2001:470:69fc:105::1:6a93) (Quit: You have been kicked for being idle)
2022-03-20 17:01:34 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-20 17:02:44 +0100brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh)
2022-03-20 17:03:43 +0100brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-03-20 17:05:19 +0100_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-03-20 17:08:31 +0100razetime(~quassel@117.254.35.224) (Ping timeout: 256 seconds)
2022-03-20 17:09:41 +0100brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh)
2022-03-20 17:10:32 +0100brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-03-20 17:11:06 +0100boborygmy__(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-20 17:11:49 +0100Alex_test_Alex_test
2022-03-20 17:13:17 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds)
2022-03-20 17:14:52 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection)
2022-03-20 17:15:12 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Quit: alx741)
2022-03-20 17:17:31 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao)
2022-03-20 17:19:26 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection)
2022-03-20 17:19:27 +0100gdd(~gdd@129.199.146.230)
2022-03-20 17:21:41 +0100deadmarshal_(~deadmarsh@5.116.250.131)
2022-03-20 17:22:24 +0100mmaruseacph2(~mihai@198.199.100.72) (Quit: The past is dead and buried.)
2022-03-20 17:22:28 +0100shailangsa(~shailangs@host165-120-169-51.range165-120.btcentralplus.com)
2022-03-20 17:22:37 +0100rkrishnan(~user@2402:e280:215c:2cd:3eab:c926:d07c:224d) (Ping timeout: 240 seconds)
2022-03-20 17:24:02 +0100mmaruseacph2(~mihai@198.199.100.72)
2022-03-20 17:24:35 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 17:27:31 +0100deadmarshal_(~deadmarsh@5.116.250.131) (Ping timeout: 268 seconds)
2022-03-20 17:33:44 +0100Hemmo(~Hemmo@85-76-66-96-nat.elisa-mobile.fi)
2022-03-20 17:38:35 +0100lumberjack123(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-03-20 17:43:34 +0100mohy(~mohy@85-207-122-4.static.bluetone.cz)
2022-03-20 17:44:34 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt) (Ping timeout: 260 seconds)
2022-03-20 17:44:56 +0100ubert(~Thunderbi@p200300ecdf158818b8e18cff0ef2784d.dip0.t-ipconnect.de)
2022-03-20 17:45:19 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-03-20 17:45:20 +0100mohy(~mohy@85-207-122-4.static.bluetone.cz) (Client Quit)
2022-03-20 17:46:36 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2022-03-20 17:46:57 +0100bahamas(~lucian@84.232.140.158)
2022-03-20 17:47:30 +0100agrosant(~agrosant@79.103.63.74.dsl.dyn.forthnet.gr) ()
2022-03-20 17:47:30 +0100agrosant(~agrosant@79.103.63.74.dsl.dyn.forthnet.gr)
2022-03-20 17:47:57 +0100haritz(~hrtz@user/haritz) (Remote host closed the connection)
2022-03-20 17:48:40 +0100raehik(~raehik@82.21.176.157)
2022-03-20 17:49:56 +0100 <Hemmo> Hello! I can't figure out how to check if X*Y is already in the list in list comprehension. Can it be done??
2022-03-20 17:49:56 +0100 <Hemmo> multiplyAdjacent xs = [x*y | x <- xs, y <- drop 1 xs, x /= y]
2022-03-20 17:50:18 +0100 <Hemmo> Also I figure there's a way better way to multiply adjacent elements, but this is what I've come up with lol.
2022-03-20 17:51:04 +0100 <Hemmo> So is there a way to do something like; X*Y `notElem` (the list I am constructing with list comprehension)
2022-03-20 17:51:06 +0100 <int-e> > let adjacents xs = zip xs (tail xs) in adjacents [1,4,2,5]
2022-03-20 17:51:07 +0100 <lambdabot> [(1,4),(4,2),(2,5)]
2022-03-20 17:51:49 +0100 <Hemmo> Oh my bad I actually didn't mean adjacents!
2022-03-20 17:51:51 +0100 <Hemmo> I mean
2022-03-20 17:51:58 +0100 <int-e> > let pairs xs = [(x, y) | x:ys <- tails xs, y <- ys] in pairs [1,4,2,5]
2022-03-20 17:52:00 +0100 <lambdabot> [(1,4),(1,2),(1,5),(4,2),(4,5),(2,5)]
2022-03-20 17:52:09 +0100 <Hemmo> If I have [2,3,4] I need to do 2*3 and 2*4 and then 3*4
2022-03-20 17:52:21 +0100 <Hemmo> So not adjacents, but a product of each two numbers in the list
2022-03-20 17:52:23 +0100 <int-e> one of those is likely what you want... the drop 1 thing isn't natural
2022-03-20 17:52:52 +0100agrosant(~agrosant@79.103.63.74.dsl.dyn.forthnet.gr) ()
2022-03-20 17:52:52 +0100agrosant(~agrosant@79.103.63.74.dsl.dyn.forthnet.gr)
2022-03-20 17:52:53 +0100 <Hemmo> So the end list would be (6, 8 and 12)
2022-03-20 17:53:41 +0100dextaa_(~dextaa@user/dextaa)
2022-03-20 17:54:36 +0100 <Hemmo> So my drop 1 xs is an attempt to always drop the first one of the second list as I have iterated through the first, but I suppose it doesn't work that way.
2022-03-20 17:55:11 +0100 <Hemmo> Hence I would like to check if X*Y is already in the list so I won't add it again.
2022-03-20 17:55:16 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net)
2022-03-20 17:55:31 +0100agrosant(~agrosant@79.103.63.74.dsl.dyn.forthnet.gr) (K-Lined)
2022-03-20 17:59:49 +0100machined1od(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2022-03-20 17:59:58 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2022-03-20 18:00:47 +0100 <mmaruseacph2> but 3*8 and 4*6 give the same answer
2022-03-20 18:01:02 +0100 <mmaruseacph2> so if you'd check that you'd give wrong answer for [1,2,3,4,5,6,7,8]
2022-03-20 18:01:40 +0100 <Hemmo> Uh good point.
2022-03-20 18:01:47 +0100 <int-e> Do you care about the order of the answers?
2022-03-20 18:01:47 +0100 <dsal> tomsmeding: Ah. I should'e tried that. I'd heard of some bits of this, but my brain does automatic eta-reduction so they seem to be the equivalent to me.
2022-03-20 18:02:23 +0100 <Hemmo> Order is not important for me. I'm trying to think of a recursive function now if that's possible.
2022-03-20 18:02:31 +0100 <int-e> > S.fromList . S.toList $ [a*b | a:bs <- tails [3,4,6,8], b <- bs]
2022-03-20 18:02:33 +0100 <lambdabot> error:
2022-03-20 18:02:33 +0100 <lambdabot> • Couldn't match expected type ‘S.Set a’ with actual type ‘[a0]’
2022-03-20 18:02:33 +0100 <lambdabot> • In the second argument of ‘($)’, namely
2022-03-20 18:02:43 +0100 <int-e> ... from, then to.
2022-03-20 18:02:49 +0100 <int-e> > S.toList . S.fromList $ [a*b | a:bs <- tails [3,4,6,8], b <- bs]
2022-03-20 18:02:51 +0100 <lambdabot> [12,18,24,32,48]
2022-03-20 18:03:35 +0100 <int-e> (There's `nub` but that's less efficient. There's also map head . group . sort which may actually be faster unless there are many duplicates)
2022-03-20 18:04:41 +0100 <Hemmo> Oh I can only use Prelude as well
2022-03-20 18:04:43 +0100 <int-e> Hemmo: Anyway, there's many variations here... you need to come up with a precise specification of what you need.
2022-03-20 18:05:10 +0100 <int-e> ...yuck.
2022-03-20 18:05:14 +0100brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Ping timeout: 252 seconds)
2022-03-20 18:05:17 +0100 <Hemmo> ;D
2022-03-20 18:05:38 +0100 <Hemmo> A course I am running to get a grip on Haskell ;p
2022-03-20 18:05:57 +0100 <Hemmo> I'm actually trying to solve another problem with this
2022-03-20 18:06:03 +0100 <Hemmo> A function charsProductOf :: [Int] -> [Char] that, given a list of numbers ns, returns all the characters that have a number that is a product of any two numbers in ns.
2022-03-20 18:06:21 +0100 <Hemmo> And my code so far is: charsProductOf xs = [a | (a,b) <- zip ['a'..'z'] [1..26], b `elem` LIST]
2022-03-20 18:06:23 +0100 <int-e> > foldr (\x xs -> x : filter (/= x) xs) [] [1,2,5,1,4,3]
2022-03-20 18:06:25 +0100 <lambdabot> [1,2,5,4,3]
2022-03-20 18:06:28 +0100 <int-e> @src nub
2022-03-20 18:06:28 +0100 <lambdabot> nub = nubBy (==)
2022-03-20 18:06:28 +0100 <lambdabot> --OR
2022-03-20 18:06:28 +0100 <lambdabot> nub l = go l []
2022-03-20 18:06:28 +0100 <lambdabot> where go [] _ = []
2022-03-20 18:06:28 +0100 <lambdabot> go (x:xs) ls
2022-03-20 18:06:30 +0100 <lambdabot> | x `elem` ls = go xs ls
2022-03-20 18:06:32 +0100 <lambdabot> | otherwise = x : go xs (x:ls)
2022-03-20 18:06:58 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds)
2022-03-20 18:08:07 +0100 <Hemmo> And yeah each character corresponds to a number so a == 1, b == 2 etc.
2022-03-20 18:08:31 +0100 <int-e> Hemmo: well if that's your code, then duplicates in LIST won't hurt
2022-03-20 18:08:41 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 245 seconds)
2022-03-20 18:09:03 +0100 <int-e> (except maybe for performance... but eliminating duplicates won't be free either)
2022-03-20 18:09:10 +0100brandonh(~brandonh@93-34-129-43.ip49.fastwebnet.it)
2022-03-20 18:09:59 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-03-20 18:10:25 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt)
2022-03-20 18:13:46 +0100boborygmy__(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 268 seconds)
2022-03-20 18:15:06 +0100 <Hemmo> int-e: thank you! I didn't realise that and my code works now =)
2022-03-20 18:15:14 +0100 <Hemmo> charsProductOf xs = [a | (a,b) <- zip ['a'..'z'] [1..26], b `elem` l]
2022-03-20 18:15:14 +0100 <Hemmo> where l = multiplyAll xs
2022-03-20 18:15:43 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt) (Ping timeout: 256 seconds)
2022-03-20 18:17:07 +0100 <Hemmo> I still have a question about this, though. (x <- xs, y <- drop 1 xs) Does this work as such; takes the first element of XS and compares it to all the elements in drop 1 XS? and when done comparing it takes the second element of XS and compares that to drop 2 xs?
2022-03-20 18:17:16 +0100 <Hemmo> Or does drop 1 xs only do it once for the whole list?
2022-03-20 18:17:57 +0100komikat(~komikat@183.82.152.122) (Remote host closed the connection)
2022-03-20 18:18:11 +0100komikat(~komikat@183.82.152.122)
2022-03-20 18:18:23 +0100komikat(~komikat@183.82.152.122) (Remote host closed the connection)
2022-03-20 18:19:03 +0100 <int-e> Hemmo: it only does the drop 1 once
2022-03-20 18:19:31 +0100mohy(~mohy@85-207-122-4.static.bluetone.cz)
2022-03-20 18:19:56 +0100komikat(~komikat@183.82.152.122)
2022-03-20 18:20:23 +0100komikat(~komikat@183.82.152.122) (Remote host closed the connection)
2022-03-20 18:20:55 +0100komikat(~komikat@183.82.152.122)
2022-03-20 18:21:20 +0100 <int-e> (Variables don't change value in Haskell once they've been bound.)
2022-03-20 18:23:08 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-03-20 18:23:31 +0100 <Hemmo> Thanks
2022-03-20 18:24:06 +0100Hemmo(~Hemmo@85-76-66-96-nat.elisa-mobile.fi) (Remote host closed the connection)
2022-03-20 18:24:27 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 18:24:38 +0100wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-03-20 18:25:34 +0100cosimone`(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection)
2022-03-20 18:25:35 +0100komikat(~komikat@183.82.152.122) (Ping timeout: 252 seconds)
2022-03-20 18:25:50 +0100slaydr(~slaydr@193.19.109.229) (Quit: leaving)
2022-03-20 18:26:16 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-03-20 18:28:17 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-20 18:28:31 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 18:28:39 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-20 18:28:56 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 18:29:03 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-20 18:29:14 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-20 18:29:14 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-20 18:29:14 +0100wroathe(~wroathe@user/wroathe)
2022-03-20 18:29:18 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 18:29:25 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-20 18:29:39 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 18:29:43 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de)
2022-03-20 18:29:47 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-20 18:29:52 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2022-03-20 18:30:00 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 18:30:08 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-20 18:30:23 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 18:30:31 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-20 18:30:49 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 18:30:57 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-20 18:31:11 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 18:31:18 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-20 18:31:35 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 18:31:43 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-20 18:31:45 +0100 <mohy> Hello, I ask about writing a proposal for "google summer of code" but the recommended channel for asking is on freenode which is apparently dead and there is no #haskell-gsoc channel, what should I do?
2022-03-20 18:31:56 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 18:32:04 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-20 18:32:52 +0100Pickchea(~private@user/pickchea)
2022-03-20 18:33:19 +0100finley(~finley@129.72.2.108)
2022-03-20 18:35:31 +0100 <maerwald> is there a way to tell cpphs not to expand some #ifdefs?
2022-03-20 18:35:47 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-20 18:37:54 +0100 <jneira[m]> <mohy> "Hello, I ask about writing a..." <- maybe https://github.com/haskell-org/summer-of-haskell/?
2022-03-20 18:38:00 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt)
2022-03-20 18:38:09 +0100mohy_(~mohy@85-207-122-4.static.bluetone.cz)
2022-03-20 18:38:12 +0100 <jneira[m]> there are issues with proposals
2022-03-20 18:38:50 +0100 <mohy> <jneira> Thanks
2022-03-20 18:42:39 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt) (Ping timeout: 250 seconds)
2022-03-20 18:42:42 +0100mohy_(~mohy@85-207-122-4.static.bluetone.cz) (Client Quit)
2022-03-20 18:43:05 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt)
2022-03-20 18:45:06 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-03-20 18:47:52 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-89.cust.tzulo.com)
2022-03-20 18:48:18 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt) (Ping timeout: 268 seconds)
2022-03-20 18:50:53 +0100bahamas(~lucian@84.232.140.158) (Ping timeout: 252 seconds)
2022-03-20 18:51:02 +0100unit73e(~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291)
2022-03-20 18:54:45 +0100brandonh(~brandonh@93-34-129-43.ip49.fastwebnet.it) (Quit: brandonh)
2022-03-20 18:56:06 +0100GuerrillaMonkey(~Jeanne-Ka@static-198-54-134-136.cust.tzulo.com)
2022-03-20 18:58:41 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-89.cust.tzulo.com) (Ping timeout: 250 seconds)
2022-03-20 18:59:16 +0100Nahra(~user@static.161.95.99.88.clients.your-server.de)
2022-03-20 18:59:29 +0100GuerrillaMonkey(~Jeanne-Ka@static-198-54-134-136.cust.tzulo.com) (Client Quit)
2022-03-20 18:59:39 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-136.cust.tzulo.com)
2022-03-20 19:00:29 +0100mohy(~mohy@85-207-122-4.static.bluetone.cz) (Ping timeout: 256 seconds)
2022-03-20 19:02:22 +0100nicbk(~nicbk@user/nicbk)
2022-03-20 19:02:42 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt)
2022-03-20 19:02:47 +0100pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-224.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-20 19:03:05 +0100pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-224.dsl.bell.ca)
2022-03-20 19:03:29 +0100Akiva(~Akiva@user/Akiva)
2022-03-20 19:04:45 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2022-03-20 19:07:38 +0100brandonh(~brandonh@93-34-129-43.ip49.fastwebnet.it)
2022-03-20 19:09:33 +0100zebrag(~chris@user/zebrag)
2022-03-20 19:14:00 +0100lumberjack123(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-20 19:14:45 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-20 19:15:31 +0100boborygmy__(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-20 19:17:25 +0100brandonh(~brandonh@93-34-129-43.ip49.fastwebnet.it) (Quit: brandonh)
2022-03-20 19:18:44 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net)
2022-03-20 19:19:49 +0100nexus(~nexus@92-249-179-42.pool.digikabel.hu) (Ping timeout: 240 seconds)
2022-03-20 19:21:45 +0100nexus(~nexus@84-236-55-39.pool.digikabel.hu)
2022-03-20 19:21:46 +0100cocreatu1cocreature
2022-03-20 19:23:43 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-20 19:24:06 +0100unit73e(~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Quit: Leaving)
2022-03-20 19:24:20 +0100brandonh(~brandonh@93-34-129-43.ip49.fastwebnet.it)
2022-03-20 19:24:21 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-03-20 19:24:30 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-03-20 19:26:36 +0100notzmv-(~zmv@user/notzmv) (Ping timeout: 245 seconds)
2022-03-20 19:27:02 +0100Topsi(~Tobias@dyndsl-095-033-027-010.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
2022-03-20 19:27:54 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-03-20 19:29:38 +0100farn_farn
2022-03-20 19:30:02 +0100econo(uid147250@user/econo)
2022-03-20 19:30:27 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 19:30:58 +0100zmt01zmt00
2022-03-20 19:31:23 +0100zmt00(~zmt00@user/zmt00) (Quit: Leaving)
2022-03-20 19:32:04 +0100systemfault_systemfault
2022-03-20 19:33:14 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt) (Ping timeout: 252 seconds)
2022-03-20 19:33:16 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4.1)
2022-03-20 19:34:20 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-03-20 19:34:42 +0100jushurr(~human@user/jushur) (Quit: ¯\_(ツ)_/¯)
2022-03-20 19:36:51 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 19:40:13 +0100haritz(~hrtz@62.3.70.206)
2022-03-20 19:40:13 +0100haritz(~hrtz@62.3.70.206) (Changing host)
2022-03-20 19:40:13 +0100haritz(~hrtz@user/haritz)
2022-03-20 19:41:30 +0100mohy(~mohy@85-207-122-4.static.bluetone.cz)
2022-03-20 19:43:09 +0100alp(~alp@user/alp)
2022-03-20 19:46:10 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-20 19:48:42 +0100img(~img@user/img)
2022-03-20 19:49:00 +0100justAstache(~justache@user/justache) (Remote host closed the connection)
2022-03-20 19:49:21 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 268 seconds)
2022-03-20 19:49:58 +0100justAstache(~justache@user/justache)
2022-03-20 19:51:46 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 19:53:35 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net)
2022-03-20 19:56:57 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 250 seconds)
2022-03-20 19:58:34 +0100coot(~coot@213.134.190.95)
2022-03-20 19:59:44 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 20:00:28 +0100haritz(~hrtz@user/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2022-03-20 20:01:31 +0100alp(~alp@user/alp) (Ping timeout: 250 seconds)
2022-03-20 20:04:34 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 260 seconds)
2022-03-20 20:05:37 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-20 20:06:44 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 20:06:48 +0100haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2022-03-20 20:06:48 +0100haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
2022-03-20 20:06:48 +0100haritz(~hrtz@user/haritz)
2022-03-20 20:07:20 +0100raehik(~raehik@82.21.176.157) (Ping timeout: 252 seconds)
2022-03-20 20:10:11 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-20 20:10:23 +0100brandonh(~brandonh@93-34-129-43.ip49.fastwebnet.it) (Quit: brandonh)
2022-03-20 20:10:52 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2022-03-20 20:12:17 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 252 seconds)
2022-03-20 20:13:19 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-03-20 20:14:38 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 268 seconds)
2022-03-20 20:14:40 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 20:20:01 +0100bahamas(~lucian@84.232.140.158)
2022-03-20 20:22:32 +0100mohy(~mohy@85-207-122-4.static.bluetone.cz) (Quit: Leaving)
2022-03-20 20:23:36 +0100 <[itchyjunk]> dsal, yes i thought that was my issue too
2022-03-20 20:23:53 +0100 <[itchyjunk]> but i went to ghci and tried `1 - 0.5` and got no error so i thought maybe that wasn't the issue
2022-03-20 20:24:30 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 268 seconds)
2022-03-20 20:25:48 +0100 <geekosaur> note that numeric literals (and only literals) can be any numeric type
2022-03-20 20:25:50 +0100 <geekosaur> :t 1
2022-03-20 20:25:51 +0100 <lambdabot> Num p => p
2022-03-20 20:26:02 +0100 <geekosaur> > 1 - 0.5
2022-03-20 20:26:04 +0100 <lambdabot> 0.5
2022-03-20 20:26:21 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 20:26:23 +0100 <geekosaur> > (1 :: Integer) - 0.5
2022-03-20 20:26:24 +0100 <lambdabot> error:
2022-03-20 20:26:24 +0100 <lambdabot> • No instance for (Fractional Integer)
2022-03-20 20:26:24 +0100 <lambdabot> arising from the literal ‘0.5’
2022-03-20 20:27:32 +0100machinedgod(~machinedg@24.105.81.50)
2022-03-20 20:28:56 +0100 <[itchyjunk]> oh it was because 1 was a Num but i can't do that with int? /o\
2022-03-20 20:29:24 +0100 <geekosaur> Num is not a type
2022-03-20 20:29:32 +0100 <geekosaur> all numeric types have Num instances
2022-03-20 20:30:13 +0100 <geekosaur> :t (-)
2022-03-20 20:30:13 +0100 <lambdabot> Num a => a -> a -> a
2022-03-20 20:30:32 +0100 <geekosaur> has to be the same a throughout, you can't have one of them be Int and the other a Double
2022-03-20 20:31:38 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 260 seconds)
2022-03-20 20:34:33 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 20:37:37 +0100 <[itchyjunk]> ah
2022-03-20 20:38:12 +0100nahcetan(~nate@98.45.167.61) (Quit: WeeChat 2.9)
2022-03-20 20:38:29 +0100 <geekosaur> there are a few operators that allow them to be different but most are the same way
2022-03-20 20:38:34 +0100 <geekosaur> :t (^)
2022-03-20 20:38:35 +0100 <lambdabot> (Integral b, Num a) => a -> b -> a
2022-03-20 20:38:37 +0100 <geekosaur> but
2022-03-20 20:38:41 +0100 <geekosaur> :t (/)
2022-03-20 20:38:42 +0100 <lambdabot> Fractional a => a -> a -> a
2022-03-20 20:39:04 +0100 <geekosaur> noteit requires Fractional instead of simply Num, but it still has to be the same a throughout
2022-03-20 20:39:48 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 252 seconds)
2022-03-20 20:41:44 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 20:42:33 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds)
2022-03-20 20:42:44 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 20:44:31 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-20 20:44:42 +0100alp(~alp@user/alp)
2022-03-20 20:45:39 +0100vglfr(~vglfr@88.155.11.162)
2022-03-20 20:46:02 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-03-20 20:46:44 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-03-20 20:48:05 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 250 seconds)
2022-03-20 20:49:47 +0100ph88(~ph88@2001:1c05:2402:c600:599:4834:fca5:fb5a)
2022-03-20 20:50:42 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 20:50:44 +0100 <[itchyjunk]> I managed to fix my code. I realized i can just work with Float everywhere. Not sure why i want converting from Int to Float to begin with
2022-03-20 20:51:07 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds)
2022-03-20 20:54:34 +0100jakalx(~jakalx@base.jakalx.net)
2022-03-20 20:55:51 +0100yuvi(~uv125@pool-71-244-139-81.bltmmd.fios.verizon.net)
2022-03-20 20:56:13 +0100 <geekosaur> you do realize that Float has limited precision, right? usually you want Double instead
2022-03-20 20:56:17 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 252 seconds)
2022-03-20 20:56:47 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-03-20 20:57:46 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection)
2022-03-20 20:58:40 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 20:59:54 +0100 <monochrom> The curse of meaningful names hence "I need a floating-point type, ah Float".
2022-03-20 21:00:26 +0100 <monochrom> Made sense 60 years ago when single precision was really faster than double precision.
2022-03-20 21:00:41 +0100yuvi(~uv125@pool-71-244-139-81.bltmmd.fios.verizon.net) (Client Quit)
2022-03-20 21:00:58 +0100 <geekosaur> yeh
2022-03-20 21:01:06 +0100 <geekosaur> you beat me to the observation)
2022-03-20 21:01:24 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-20 21:01:27 +0100natto(~natto@140.238.230.155)
2022-03-20 21:03:15 +0100ubert(~Thunderbi@p200300ecdf158818b8e18cff0ef2784d.dip0.t-ipconnect.de) (Quit: ubert)
2022-03-20 21:03:27 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 252 seconds)
2022-03-20 21:03:27 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2022-03-20 21:03:49 +0100geekosaurwonders how far a proposal to rename them Double->Float and Float->HalFloat would get
2022-03-20 21:04:30 +0100 <monochrom> That would then cause friction with people coming from other languages.
2022-03-20 21:04:30 +0100 <geekosaur> or Float->Half
2022-03-20 21:04:35 +0100alp(~alp@user/alp) (Ping timeout: 256 seconds)
2022-03-20 21:04:50 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-20 21:04:56 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-20 21:05:26 +0100 <geekosaur> like the rest of Haskell doesn't?
2022-03-20 21:05:31 +0100 <monochrom> haha
2022-03-20 21:05:39 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 21:05:39 +0100 <natto> Double->Sink
2022-03-20 21:06:11 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds)
2022-03-20 21:06:15 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-03-20 21:06:20 +0100 <monochrom> HALFloat is when you do 1.0/10.0 and you get "Dave, I can't let you do that" :)
2022-03-20 21:07:31 +0100Lord_of_Life_Lord_of_Life
2022-03-20 21:07:50 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds)
2022-03-20 21:08:16 +0100bahamas(~lucian@84.232.140.158) (Ping timeout: 245 seconds)
2022-03-20 21:10:03 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2022-03-20 21:10:05 +0100 <[itchyjunk]> ah double..
2022-03-20 21:10:30 +0100 <[itchyjunk]> apparently the variance of [1..10] should be something other than 1.725. Maybe this is due to floats
2022-03-20 21:10:36 +0100[itchyjunk]replaces float with Double
2022-03-20 21:11:22 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 268 seconds)
2022-03-20 21:11:32 +0100 <[itchyjunk]> ah nope, seems like i have logical error somewhere that i can't find yet
2022-03-20 21:11:35 +0100 <monochrom> You can also use Rational.
2022-03-20 21:13:21 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 21:14:27 +0100 <[itchyjunk]> hmm
2022-03-20 21:14:45 +0100 <[exa]> 1.725 is way off even for quarter-floats
2022-03-20 21:16:38 +0100vglfr(~vglfr@88.155.11.162) (Ping timeout: 252 seconds)
2022-03-20 21:17:49 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds)
2022-03-20 21:18:21 +0100brandonh(~brandonh@93-34-129-43.ip49.fastwebnet.it)
2022-03-20 21:18:23 +0100 <[exa]> monochrom: re "made sense 60 yrs ago"... on intrinsics guide I still read CPI throughput of doubles to be half of floats (per value), 2x required memory bandwidth doesn't help either, and I didn't even look at GPUs
2022-03-20 21:18:46 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 260 seconds)
2022-03-20 21:19:50 +0100 <[exa]> (...so kinda wondering what I'm missing :D )
2022-03-20 21:19:58 +0100 <geekosaur> the interesting thing there is that these days a machine word is the size of a double, so I'd actually expect a bit of optimization there
2022-03-20 21:20:25 +0100 <c_wraith> memory bandwidth is an important consideration when you are processing large numbers of them
2022-03-20 21:20:35 +0100 <[exa]> machine word "of which part of the machine"
2022-03-20 21:20:56 +0100 <c_wraith> But if you're just using one as an accumulator, memory bandwidth is pretty unimportant
2022-03-20 21:21:25 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 21:21:26 +0100 <geekosaur> 60 years ago you were looking at 8/16/maybe 32 biut on the high end for machine words, so double precision floats were really expensive. and you didn't have GPUs, nor fancy caches
2022-03-20 21:21:45 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-20 21:24:15 +0100 <[itchyjunk]> i did one of my functions wrong :D
2022-03-20 21:24:22 +0100 <[itchyjunk]> i broke everything fixing it
2022-03-20 21:24:27 +0100[itchyjunk]debug hat on
2022-03-20 21:24:39 +0100 <[exa]> yeah like, 60y ago use of doubles was totally nuts given the hardware tbh (AFAIK everyone sensible was using fixed precision then)... but monochrom kinda implied that the difference doesn't exist now, while I think it does, so I want to get corrected :D
2022-03-20 21:24:56 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 268 seconds)
2022-03-20 21:25:31 +0100 <geekosaur> the difference is significantly lesser (note "really faster" — they cost a *lot* more than you'd expect back then)
2022-03-20 21:26:36 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 245 seconds)
2022-03-20 21:26:46 +0100fef(~thedawn@user/thedawn) (Quit: Leaving)
2022-03-20 21:26:51 +0100Tuplanolla1Tuplanolla
2022-03-20 21:29:19 +0100 <geekosaur> in fact I don't see any implication about how expensive they are today, just that it's less expensive than it used to be
2022-03-20 21:29:23 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 21:29:59 +0100rond_(~rond_@90.254.208.190)
2022-03-20 21:30:43 +0100 <[exa]> okay, I guess I misunderstood then
2022-03-20 21:32:45 +0100 <geekosaur> and in some ways things haven't changed: who else (aside from monochrom who I'm pretty sure has mentioned them before) remembers Transputers, the GPUs of their day?
2022-03-20 21:34:34 +0100 <[exa]> wow eyebrow raiseth
2022-03-20 21:35:19 +0100ph88(~ph88@2001:1c05:2402:c600:599:4834:fca5:fb5a) (Ping timeout: 250 seconds)
2022-03-20 21:35:33 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2022-03-20 21:35:53 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 252 seconds)
2022-03-20 21:37:36 +0100 <c_wraith> Like... Transmeta?
2022-03-20 21:38:29 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 21:38:55 +0100notzmv(~zmv@user/notzmv)
2022-03-20 21:40:02 +0100 <monochrom> GPU and/or having a million numbers in memory/transit, yes you're right.
2022-03-20 21:40:42 +0100 <monochrom> But "I have 10 variables" the saving is negligible.
2022-03-20 21:41:30 +0100 <monochrom> Since 80387 or even earlier, the FPU upcasts single precision to double precision internally.
2022-03-20 21:41:51 +0100 <monochrom> I.e., it is not like a FLOP takes fewer cycles for single precision.
2022-03-20 21:42:32 +0100 <monochrom> Hell, even upcasts both single and double to an internal 80-bit or 128-bit ultra precision internally.
2022-03-20 21:43:41 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 256 seconds)
2022-03-20 21:43:47 +0100 <[exa]> yeah for "I have 10 variables" it doesn't change anything
2022-03-20 21:44:29 +0100 <[exa]> btw do the compilers even use FPU-style math nowadays? I thought it just gets thrown to mmx/sse registers
2022-03-20 21:45:11 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-20 21:45:36 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-20 21:46:41 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 21:47:03 +0100 <monochrom> I don't know. Perhaps I'm outdated on that front too.
2022-03-20 21:47:11 +0100rond_(~rond_@90.254.208.190) (Quit: Client closed)
2022-03-20 21:48:48 +0100 <hpc> they do something screwy with floating point numbers
2022-03-20 21:48:54 +0100 <geekosaur> trying to remember, but I think Debian 32-bit still mandates x87 support? but almost all 64-bit CPUs support at least SSE2
2022-03-20 21:49:00 +0100 <hpc> i remember reading a few months ago that floating point math isn't even deterministic on gpus
2022-03-20 21:49:07 +0100 <geekosaur> they may still upcast internally though
2022-03-20 21:49:57 +0100 <geekosaur> (1st gen Atom and maybe Celeron CPUs don't have SSE2 iirc)
2022-03-20 21:50:32 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 240 seconds)
2022-03-20 21:52:21 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net)
2022-03-20 21:52:22 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 260 seconds)
2022-03-20 21:52:41 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4)
2022-03-20 21:53:30 +0100 <monochrom> P.S. 60 years ago, floating-point hardware was a scarce luxury item. Most of us were stuck with bloody software emulations!
2022-03-20 21:54:12 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net)
2022-03-20 21:54:30 +0100 <geekosaur> heck, even in the 90s linux kernels shipped with software fp emulation for all the folks who didn't have 387 chips
2022-03-20 21:54:50 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 21:55:51 +0100bahamas(~lucian@84.232.140.158)
2022-03-20 21:56:19 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-03-20 21:56:25 +0100acidjnk(~acidjnk@p200300d0c7049f09e82162933d024002.dip0.t-ipconnect.de)
2022-03-20 21:57:17 +0100tfeb(~tfb@88.98.95.237)
2022-03-20 21:57:57 +0100 <geekosaur> (or had the low end 486s with patched-out fp)
2022-03-20 21:58:04 +0100 <monochrom> Floating-point ubiquity began at 486 when Intel got transistor density high enough to be feasible to have both CPU and FPU on the same chip.
2022-03-20 21:59:24 +0100 <monochrom> Hence previously FPU had to be a 2nd chip, incentivizing bean counters not buying it because who wants to buy more chips :)
2022-03-20 22:00:01 +0100 <geekosaur> intel still sold 487s as add-ons for aforementioned low end 486es though :)
2022-03-20 22:00:39 +0100nexus(~nexus@84-236-55-39.pool.digikabel.hu) (Ping timeout: 252 seconds)
2022-03-20 22:00:41 +0100 <geekosaur> (low end 486 = they were selling 486es whose FPUs failed test; 487 was selling 486es whose CPUs failed test)
2022-03-20 22:00:42 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 268 seconds)
2022-03-20 22:00:56 +0100 <monochrom> Yeah, about that. Then Intel really taught us the most fundamental lesson of economics (price is determined by demand only, not even manufacturing cost) and its logical conclusion.
2022-03-20 22:01:36 +0100 <monochrom> 486DX has a FPU. 486SX is the cheaper model that does "not" have a FPU.
2022-03-20 22:01:54 +0100 <geekosaur> yeh, that
2022-03-20 22:02:15 +0100 <monochrom> But the diff of their masks are maybe just a few wires. 486SX has its FPU disabled. Not removed.
2022-03-20 22:02:16 +0100nexus(~nexus@178-164-188-66.pool.digikabel.hu)
2022-03-20 22:02:32 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 22:02:38 +0100bahamas(~lucian@84.232.140.158) (Ping timeout: 260 seconds)
2022-03-20 22:03:23 +0100tfeb(~tfb@88.98.95.237) (Quit: died)
2022-03-20 22:05:37 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 240 seconds)
2022-03-20 22:08:03 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 256 seconds)
2022-03-20 22:09:06 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-03-20 22:10:34 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 22:12:58 +0100kilolympus(~kilolympu@31.205.200.235) (Quit: Quitting IRC :()
2022-03-20 22:15:59 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 256 seconds)
2022-03-20 22:18:41 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 22:18:58 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds)
2022-03-20 22:20:46 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2022-03-20 22:23:11 +0100pavonia(~user@user/siracusa)
2022-03-20 22:24:43 +0100zincy_(~zincy@2a00:23c8:970c:4801:a9ba:a14e:e332:b83f)
2022-03-20 22:25:21 +0100_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-03-20 22:26:08 +0100mvk(~mvk@2607:fea8:5cc3:7e00::7980)
2022-03-20 22:26:45 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
2022-03-20 22:27:53 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2022-03-20 22:28:06 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Quit: Connection closed)
2022-03-20 22:29:07 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-20 22:29:13 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de)
2022-03-20 22:32:09 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 268 seconds)
2022-03-20 22:34:01 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 22:39:09 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 252 seconds)
2022-03-20 22:42:07 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 22:42:35 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds)
2022-03-20 22:42:37 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-03-20 22:44:02 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-20 22:44:19 +0100hyiltiz(~quassel@31.220.5.250) (Ping timeout: 256 seconds)
2022-03-20 22:45:06 +0100zincy_(~zincy@2a00:23c8:970c:4801:a9ba:a14e:e332:b83f) (Ping timeout: 268 seconds)
2022-03-20 22:45:55 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-03-20 22:47:20 +0100hyiltiz(~quassel@31.220.5.250)
2022-03-20 22:48:09 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2022-03-20 22:49:35 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 252 seconds)
2022-03-20 22:49:44 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd)
2022-03-20 22:50:36 +0100sagax(~sagax_nb@user/sagax)
2022-03-20 22:52:47 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-03-20 22:53:11 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2022-03-20 22:54:17 +0100alp(~alp@user/alp)
2022-03-20 22:54:58 +0100favonia(~favonia@user/favonia)
2022-03-20 22:57:16 +0100favonia(~favonia@user/favonia) (Client Quit)
2022-03-20 22:58:56 +0100wolfshappen(~waff@irc.furworks.de) (Quit: later)
2022-03-20 22:59:47 +0100wolfshappen(~waff@irc.furworks.de)
2022-03-20 23:01:45 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 268 seconds)
2022-03-20 23:02:22 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 23:04:02 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.4.1)
2022-03-20 23:04:48 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2022-03-20 23:05:17 +0100ph88(~ph88@2001:1c05:2402:c600:599:4834:fca5:fb5a)
2022-03-20 23:06:39 +0100sagax(~sagax_nb@user/sagax) (Ping timeout: 256 seconds)
2022-03-20 23:06:45 +0100wolfshappen(~waff@irc.furworks.de) (Ping timeout: 250 seconds)
2022-03-20 23:07:33 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 256 seconds)
2022-03-20 23:07:41 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-03-20 23:10:25 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 23:11:48 +0100justAstachejustOkay
2022-03-20 23:12:46 +0100ph88(~ph88@2001:1c05:2402:c600:599:4834:fca5:fb5a) (Quit: Leaving)
2022-03-20 23:15:26 +0100Everything(~Everythin@37.115.210.35)
2022-03-20 23:16:03 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 256 seconds)
2022-03-20 23:16:17 +0100Topsi(~Tobias@dyndsl-095-033-027-010.ewe-ip-backbone.de)
2022-03-20 23:18:37 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 23:19:52 +0100zincy_(~zincy@2a00:23c8:970c:4801:a9ba:a14e:e332:b83f)
2022-03-20 23:22:45 +0100takuan_dozo(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-03-20 23:23:59 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 256 seconds)
2022-03-20 23:28:31 +0100wolfshappen(~waff@irc.furworks.de)
2022-03-20 23:30:23 +0100 <maerwald> I forgot whether we have a community maintained Haskell playground project?
2022-03-20 23:31:20 +0100 <sm> the one on https://www.haskell.org must be I guess ?
2022-03-20 23:31:32 +0100 <maerwald> I mean... with a little more features please
2022-03-20 23:31:41 +0100 <maerwald> like https://play.rust-lang.org/
2022-03-20 23:32:11 +0100polykernel[m](~polykerne@user/polykernel)
2022-03-20 23:32:29 +0100 <sm> is code world FOSS ?
2022-03-20 23:32:50 +0100dsrt^(~dsrt@96-67-120-105-static.hfc.comcastbusiness.net)
2022-03-20 23:33:01 +0100 <sm> seems so: https://github.com/google/codeworld (Google FOSS, at that)
2022-03-20 23:33:30 +0100machinedgod(~machinedg@24.105.81.50)
2022-03-20 23:34:12 +0100 <sm> that is a pretty powerful playground (the haskell variant)
2022-03-20 23:34:15 +0100 <maerwald> afair this isn't really Haskell
2022-03-20 23:34:38 +0100 <sm> https://code.world/haskell is
2022-03-20 23:35:26 +0100 <maerwald> nice
2022-03-20 23:35:39 +0100 <maerwald> seems heavily underadvertised?
2022-03-20 23:35:40 +0100zincy_(~zincy@2a00:23c8:970c:4801:a9ba:a14e:e332:b83f) (Ping timeout: 268 seconds)
2022-03-20 23:36:26 +0100 <sm> yes, or underappreciated perhaps, Chris Smith has been writing about if for a long time, I've heard podcast episodes on it etc. (one anyway)
2022-03-20 23:36:47 +0100 <maerwald> or maybe can be salvaged into a version for haskell.org and adjusted a bit more to be a proper playground for sharing code snippets and running them
2022-03-20 23:37:02 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 23:37:07 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-20 23:37:11 +0100 <sm> either way I think you're right, it probably deserves a much higher profile
2022-03-20 23:38:02 +0100 <sm> the podcast talked about some of the pragmatic implementation choices, which were interesting. I think a lot of it is in js, or something
2022-03-20 23:38:49 +0100 <sm> maybe the hosting isn't easy enough for haskell.org. Worth checking
2022-03-20 23:39:50 +0100Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.)
2022-03-20 23:42:30 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 260 seconds)
2022-03-20 23:43:13 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-20 23:43:25 +0100alp(~alp@user/alp) (Ping timeout: 240 seconds)
2022-03-20 23:43:51 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net)
2022-03-20 23:45:14 +0100alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-20 23:46:43 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-136.cust.tzulo.com) (Quit: Leaving)
2022-03-20 23:48:35 +0100yauhsien(~yauhsien@61-231-22-192.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-20 23:53:24 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-03-20 23:58:17 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-03-20 23:58:22 +0100alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 260 seconds)