IRCBrowse

2021/02/18

2021-02-18 00:03:02 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-02-18 00:03:24 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-18 00:06:51 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2021-02-18 00:07:09 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-02-18 00:08:12 +0100 <Tordek> swarmcollective: I'm just realizing what I want are probably continuations
2021-02-18 00:08:21 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-02-18 00:09:33 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-18 00:10:50 +0100benjamingr__(uid23465@gateway/web/irccloud.com/x-nerzixrwmblsiubf)
2021-02-18 00:11:47 +0100 <Axman6> slack1256: any reason not to just use distance = String.distance `on` toString?
2021-02-18 00:11:49 +0100troydm(~troydm@unaffiliated/troydm) (Ping timeout: 265 seconds)
2021-02-18 00:12:28 +0100 <Axman6> IIRC it's a lazy algorithm so that should be relatively efficient
2021-02-18 00:12:47 +0100Moyst(~moyst@212-149-213-144.bb.dnainternet.fi) (Ping timeout: 265 seconds)
2021-02-18 00:12:51 +0100 <slack1256> Let me read about `toString`.
2021-02-18 00:13:00 +0100xsperry(~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-02-18 00:13:14 +0100Moyst_(~moyst@212-149-213-144.bb.dnainternet.fi)
2021-02-18 00:13:19 +0100Lowl3v3l(~Lowl3v3l@dslb-002-203-233-121.002.203.pools.vodafone-ip.de) (Quit: Leaving.)
2021-02-18 00:13:20 +0100 <ephemient> :t T.toString
2021-02-18 00:13:21 +0100 <lambdabot> error: Not in scope: ‘T.toString’
2021-02-18 00:13:24 +0100 <Axman6> whatever the unpacking of Text to String is
2021-02-18 00:13:28 +0100 <ephemient> :t Data.Text.toString
2021-02-18 00:13:29 +0100 <lambdabot> error:
2021-02-18 00:13:29 +0100 <lambdabot> Not in scope: ‘Data.Text.toString’
2021-02-18 00:13:29 +0100 <lambdabot> Perhaps you meant ‘Data.Text.strip’ (imported from Data.Text)
2021-02-18 00:13:33 +0100 <Axman6> @hoogle Text -> String
2021-02-18 00:13:34 +0100 <lambdabot> Data.Text unpack :: Text -> String
2021-02-18 00:13:34 +0100 <lambdabot> Data.Text.Internal showText :: Text -> String
2021-02-18 00:13:34 +0100 <lambdabot> Data.Text.Internal.Lazy showStructure :: Text -> String
2021-02-18 00:13:55 +0100 <ephemient> hmm seems a little unfortunate that it's not named to match fromString
2021-02-18 00:14:08 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-18 00:14:09 +0100 <ephemient> but I guess it does match pack, so 🤷
2021-02-18 00:14:21 +0100 <Axman6> @hoogle String -> Text
2021-02-18 00:14:22 +0100 <lambdabot> Data.Text pack :: String -> Text
2021-02-18 00:14:22 +0100 <lambdabot> Data.Text.Lazy pack :: String -> Text
2021-02-18 00:14:22 +0100 <lambdabot> System.Console.CmdArgs.Text Line :: String -> Text
2021-02-18 00:14:34 +0100 <ephemient> % :i IsString
2021-02-18 00:14:35 +0100 <yahb> ephemient: type IsString :: * -> Constraint; class IsString a where; fromString :: String -> a; {-# MINIMAL fromString #-}; -- Defined in `Data.String'; instance IsString BSL.ByteString -- Defined in `Data.ByteString.Lazy.Internal'; instance IsString BS.ByteString -- Defined in `Data.ByteString.Internal'; instance forall a. (a ~ Char) => IsString [a] -- Defined in `Data.String'; instance forall a. IsString a
2021-02-18 00:14:57 +0100 <ephemient> ^ that fromString is what I had in mind
2021-02-18 00:15:52 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 00:15:57 +0100 <Axman6> well text predates IsString by quite a long time
2021-02-18 00:16:13 +0100 <slack1256> Oh, so `fromString` is the `toString` function you said?
2021-02-18 00:16:19 +0100 <ephemient> no, it's the opposite
2021-02-18 00:16:33 +0100 <Axman6> unpack is what I was after
2021-02-18 00:16:45 +0100 <Axman6> :t \f -> f `on` T.unpack
2021-02-18 00:16:46 +0100 <lambdabot> (String -> String -> c) -> T.Text -> T.Text -> c
2021-02-18 00:16:54 +0100 <slack1256> Yeah, as `text` doesn't ship `toString`.
2021-02-18 00:16:58 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-02-18 00:17:05 +0100 <Axman6> yes is has unpack
2021-02-18 00:17:21 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net) (Ping timeout: 246 seconds)
2021-02-18 00:17:44 +0100 <slack1256> Yeah, I think this will work out. Thanks Axman6.
2021-02-18 00:18:12 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-02-18 00:18:36 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-02-18 00:19:34 +0100ddellaco_(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 00:20:00 +0100 <Axman6> If you haven;t worked with Text before, you should spend 5 minutes reading the docs for it
2021-02-18 00:20:09 +0100st8less(~st8less@2603:a060:11fd:0:6f68:b6d0:815a:3e1f)
2021-02-18 00:20:10 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Quit: mputz)
2021-02-18 00:20:12 +0100Wamanuz(~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Remote host closed the connection)
2021-02-18 00:20:16 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-02-18 00:20:39 +0100Wamanuz(~wamanuz@78-70-34-81-no84.tbcn.telia.com)
2021-02-18 00:21:30 +0100 <slack1256> I know how to use Text, but I wanted to see if a "string distance package" existed that targeted `text` directly. But if this is subject to fusion it can work well.
2021-02-18 00:21:41 +0100 <ephemient> :t let ed [] ys = length ys; ed xs [] = length xs; ed (x:xs) (y:ys) | x == y = ed xs ys | otherwise = 1 + minimum [ed (x:xs) ys, ed xs ys, ed xs (y:ys)] in ed `on` T.unpack -- don't actually use this
2021-02-18 00:21:43 +0100 <lambdabot> T.Text -> T.Text -> Int
2021-02-18 00:23:45 +0100ddellaco_(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-02-18 00:24:33 +0100daytone(~daytona@90.200.185.163) (Ping timeout: 264 seconds)
2021-02-18 00:25:53 +0100neiluj(~jco@91-167-203-101.subs.proxad.net)
2021-02-18 00:26:11 +0100neiluj(~jco@91-167-203-101.subs.proxad.net) (Changing host)
2021-02-18 00:26:11 +0100neiluj(~jco@unaffiliated/neiluj)
2021-02-18 00:26:43 +0100 <slack1256> What is the community opinion on putting "bang patterns" on places you haven't profiled but you think could throw off the demand analyser?
2021-02-18 00:27:32 +0100 <monochrom> I don't think there is a community opinion.
2021-02-18 00:27:54 +0100 <slack1256> Mmm community wisdom?
2021-02-18 00:28:01 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2021-02-18 00:28:04 +0100 <monochrom> neither
2021-02-18 00:28:19 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-02-18 00:28:32 +0100 <monochrom> The community deeply respects your freedom.
2021-02-18 00:28:44 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-02-18 00:28:49 +0100 <slack1256> I don't want freedom ;_;
2021-02-18 00:29:44 +0100 <ephemient> you could try profiling
2021-02-18 00:29:54 +0100 <monochrom> OK, when freedom is irrelevant, I deeply respect empirical proof, I deeply disrespect opinions.
2021-02-18 00:30:51 +0100 <monochrom> I mean, add your bang pattern, then read the Core, then profile; and remove your bang pattern, then read the Core, then profile. Compare. Who needs opinion?
2021-02-18 00:32:12 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:c8eb:6c3:dd7a:7957) (Remote host closed the connection)
2021-02-18 00:32:39 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:c8eb:6c3:dd7a:7957)
2021-02-18 00:33:45 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-18 00:34:09 +0100m0rphism1(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 264 seconds)
2021-02-18 00:35:23 +0100DTZUZU(~DTZUZU@205.ip-149-56-132.net) (Read error: Connection reset by peer)
2021-02-18 00:36:09 +0100DTZUZU(~DTZUZU@205.ip-149-56-132.net)
2021-02-18 00:36:15 +0100hiroaki(~hiroaki@ip4d166d67.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2021-02-18 00:36:46 +0100alx741(~alx741@186.178.109.49)
2021-02-18 00:38:07 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-02-18 00:38:27 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
2021-02-18 00:39:09 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 00:39:10 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:c8eb:6c3:dd7a:7957) (Quit: Leaving...)
2021-02-18 00:39:24 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-02-18 00:43:25 +0100LKoen(~LKoen@136.169.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-02-18 00:44:29 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-18 00:45:57 +0100 <nshepperd> add bang patterns in the right places and not the wrong places
2021-02-18 00:50:38 +0100 <monochrom> :)
2021-02-18 00:50:45 +0100verement(~anonymous@cpe-76-167-229-223.san.res.rr.com) (Ping timeout: 240 seconds)
2021-02-18 00:51:04 +0100verement(~anonymous@cpe-76-167-229-223.san.res.rr.com)
2021-02-18 00:51:10 +0100 <Axman6> a.k.a everywhere, and then turn on Strict
2021-02-18 00:51:24 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-02-18 00:52:19 +0100 <monochrom> a bit of joking is nice, but overdoing it becomes mean.
2021-02-18 00:55:50 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-02-18 00:55:56 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 00:56:23 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-18 00:58:40 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-18 01:00:35 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-02-18 01:00:49 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 01:04:56 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-02-18 01:08:08 +0100usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-02-18 01:08:42 +0100iqubic`(~user@c-67-171-38-72.hsd1.wa.comcast.net) (Quit: ERC (IRC client for Emacs 28.0.50))
2021-02-18 01:09:14 +0100 <shapr> -XStrict
2021-02-18 01:13:29 +0100 <Axman6> thise whole channel just got way more fun. We're all going to have to work a lot harder
2021-02-18 01:21:03 +0100minoru_shiraeesh(~shiraeesh@109.166.59.203) (Ping timeout: 246 seconds)
2021-02-18 01:21:07 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 01:21:51 +0100xsperry(~as@unaffiliated/xsperry)
2021-02-18 01:22:46 +0100agrajag`1(~agrajag`@178.239.168.171) (Remote host closed the connection)
2021-02-18 01:23:05 +0100jedws(~jedws@101.184.202.248)
2021-02-18 01:25:04 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-18 01:25:54 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-02-18 01:29:40 +0100geyaeb_(~geyaeb@gateway/tor-sasl/geyaeb)
2021-02-18 01:30:13 +0100geyaeb(~geyaeb@gateway/tor-sasl/geyaeb) (Ping timeout: 268 seconds)
2021-02-18 01:31:12 +0100fl0_id(~fl0_id@2a01:4f8:171:4de::40:2) (Quit: ZNC)
2021-02-18 01:31:14 +0100PyroLagus(PyroLagus@i.have.ipv6.on.coding4coffee.org) (Remote host closed the connection)
2021-02-18 01:31:23 +0100 <monochrom> I don't want to work harder!
2021-02-18 01:31:29 +0100fl0_id(~fl0_id@claudia.s7t.de)
2021-02-18 01:31:33 +0100 <Axman6> Stop being lazy!
2021-02-18 01:31:35 +0100 <monochrom> As hard as necessary, but no harder.
2021-02-18 01:31:45 +0100 <monochrom> work-by-neeed
2021-02-18 01:31:46 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:b666:c4b7:6001:ca20:56eb)
2021-02-18 01:32:04 +0100hekkaidekapus](~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds)
2021-02-18 01:32:04 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-02-18 01:32:05 +0100falsifian(~falsifian@exoco.falsifian.org)
2021-02-18 01:32:41 +0100PyroLagus(PyroLagus@i.have.ipv6.on.coding4coffee.org)
2021-02-18 01:32:41 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:b666:c4b7:6001:ca20:56eb) (Client Quit)
2021-02-18 01:32:59 +0100heatsink(~heatsink@2600:1700:bef1:5e10:140a:f0bd:8004:4ab3) (Remote host closed the connection)
2021-02-18 01:33:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-02-18 01:33:02 +0100borne(~fritjof@200116b864893b0095eb740676c27273.dip.versatel-1u1.de) (Ping timeout: 264 seconds)
2021-02-18 01:33:33 +0100borne(~fritjof@200116b864893b0095eb740676c27273.dip.versatel-1u1.de)
2021-02-18 01:33:57 +0100hekkaidekapus](~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-18 01:34:33 +0100rj(~x@gateway/tor-sasl/rj)
2021-02-18 01:36:11 +0100 <monochrom> "how to work-by-need in a work-by-value society without being called lazy" would make a nice paper in social science :)
2021-02-18 01:37:27 +0100juri_(~juri@178.63.35.222) (Ping timeout: 260 seconds)
2021-02-18 01:39:06 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 01:39:24 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 01:39:25 +0100 <Axman6> HAskells saving the world, but only when they have to
2021-02-18 01:40:53 +0100 <koz_> How do I DerivingVia a Sieve instance over a newtype around Star f a b?
2021-02-18 01:40:58 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-02-18 01:41:01 +0100 <koz_> I'm not quite sure how one spells such a derivation.
2021-02-18 01:41:15 +0100tvn(~tvn@185.163.110.108)
2021-02-18 01:41:54 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-18 01:42:59 +0100 <Axman6> going to need to see more code than that to be able to help
2021-02-18 01:43:31 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:b666:c4b7:6001:ca20:56eb)
2021-02-18 01:43:55 +0100 <koz_> Axman6: I have 'newtype Foo a b = Foo (Star (Either SomeThing) a b)
2021-02-18 01:43:58 +0100 <koz_> '
2021-02-18 01:43:59 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-02-18 01:44:17 +0100 <koz_> I wanna derive 'Sieve Foo (Either SomeThing)'.
2021-02-18 01:44:38 +0100 <koz_> This is doable because you have 'instance (Functor f) => Sieve (Star f) f'
2021-02-18 01:44:43 +0100 <koz_> How do I spell the DerivingVia in this case?
2021-02-18 01:45:47 +0100 <Axman6> what have you tried?
2021-02-18 01:46:15 +0100 <koz_> I can't even get this off the ground, because if I try 'deriving (Sieve Foo (Either SomeThing)) via (Star (Either SomeThing))', I get a complaint that 'Sieve Foo (Either SomeThing)' is not a unary constraint.
2021-02-18 01:46:18 +0100 <Axman6> hmm, MPTCs and deriving via feels weird, but should be doable
2021-02-18 01:46:56 +0100borne(~fritjof@200116b864893b0095eb740676c27273.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2021-02-18 01:47:08 +0100 <koz_> I can hand-roll it of course, but it'd be nice if it can be DerivingVia'd.,
2021-02-18 01:50:19 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-18 01:50:38 +0100 <Axman6> Apparently this is valid STandaloneDeriving syntax: deriving via (a -> App m b) instance Monoid (Kleisli m a b)
2021-02-18 01:50:41 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-02-18 01:50:44 +0100 <Axman6> at the top level of the file
2021-02-18 01:50:50 +0100 <Axman6> deriving via (a -> App m b) instance Monoid (Kleisli m a b)
2021-02-18 01:51:06 +0100 <koz_> Ah, so I'd have to standalone that?
2021-02-18 01:51:14 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 01:51:20 +0100 <Axman6> not sure yif you _have_ to, but it may be easier
2021-02-18 01:51:35 +0100 <koz_> Now that you bring yiff into it, I must. :P
2021-02-18 01:51:46 +0100 <koz_> (sorry, I'm in a silly mood)
2021-02-18 01:53:53 +0100 <koz_> OK, I'm just gonna hand-roll for now. Maybe some derivation wizard might notice.
2021-02-18 01:53:59 +0100 <koz_> Or I can just tweet at Iceland_jack or something.
2021-02-18 01:54:56 +0100 <dolio> `Sieve` looks like the arguments are in the wrong order for deriving what you want.
2021-02-18 01:55:15 +0100jdt(~jdt@208.85.233.130) (Ping timeout: 265 seconds)
2021-02-18 01:55:17 +0100 <dolio> As part of a deriving clause, that is.
2021-02-18 01:55:29 +0100jdt(~jdt@143.131.2.19)
2021-02-18 01:55:42 +0100 <dolio> Standalone is less constrained, I think.
2021-02-18 01:55:46 +0100conal(~conal@66.115.157.88) (Quit: Computer has gone to sleep.)
2021-02-18 01:58:12 +0100howdoi(uid224@gateway/web/irccloud.com/x-xbqydevwwwcilrfn)
2021-02-18 02:00:33 +0100conal(~conal@64.71.133.70)
2021-02-18 02:02:12 +0100massma(~user@dyn-160-39-62-152.dyn.columbia.edu)
2021-02-18 02:07:44 +0100minoru_shiraeesh(~shiraeesh@109.166.59.203)
2021-02-18 02:09:39 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2021-02-18 02:11:20 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 02:12:23 +0100whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-02-18 02:13:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:140a:f0bd:8004:4ab3)
2021-02-18 02:13:30 +0100whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-02-18 02:13:39 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Read error: Connection reset by peer)
2021-02-18 02:14:05 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Ping timeout: 240 seconds)
2021-02-18 02:14:41 +0100 <Tordek> swarmcollective: https://dpaste.org/6t3V this would be a python version of what I'm thinking; effectively tick yields from the coroutine
2021-02-18 02:15:15 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-02-18 02:15:28 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 02:16:10 +0100 <koz_> monochrom: Weak Head Normal Work.
2021-02-18 02:17:39 +0100st8less(~st8less@2603:a060:11fd:0:6f68:b6d0:815a:3e1f) (Ping timeout: 272 seconds)
2021-02-18 02:18:03 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 02:19:04 +0100 <monochrom> WHNF = work hard no fortune = wealth has no fairness >:)
2021-02-18 02:19:21 +0100 <koz_> monochrom: *butterfly meme* Is this... interdisciplinary?
2021-02-18 02:19:34 +0100 <monochrom> hee hee
2021-02-18 02:20:51 +0100conal(~conal@64.71.133.70) (Ping timeout: 260 seconds)
2021-02-18 02:21:07 +0100 <monochrom> Did you know: The Japanese book he's holding is an encyclopedia? I.e., the words on the cover says "encyclopedia"
2021-02-18 02:21:18 +0100 <koz_> monochrom: I am aware, lol.
2021-02-18 02:22:20 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-18 02:22:22 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-18 02:22:47 +0100todda7(~torstein@5.181.234.164)
2021-02-18 02:23:08 +0100 <dolio> It's not the Japanese Haskell book with evil birds?
2021-02-18 02:23:51 +0100 <dolio> Maybe someone with some photoshop skills can fix it.
2021-02-18 02:23:56 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 02:24:44 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-18 02:25:02 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 02:25:21 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:b666:c4b7:6001:ca20:56eb) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-18 02:27:59 +0100mudkadoban_
2021-02-18 02:29:42 +0100troydm(~troydm@unaffiliated/troydm)
2021-02-18 02:32:12 +0100st8less(~st8less@2603:a060:11fd:0:234b:a57f:e8a1:52cc)
2021-02-18 02:33:45 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Ping timeout: 240 seconds)
2021-02-18 02:33:50 +0100conal(~conal@192.145.118.129)
2021-02-18 02:34:02 +0100juri_(~juri@178.63.35.222)
2021-02-18 02:35:51 +0100daytona(~daytona@90.200.185.163)
2021-02-18 02:38:08 +0100inkbottle(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-18 02:38:28 +0100inkbottle(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr)
2021-02-18 02:39:16 +0100jdt(~jdt@143.131.2.19) (Ping timeout: 240 seconds)
2021-02-18 02:39:33 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-02-18 02:39:54 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 02:41:47 +0100da39a3ee5e6b4b0d(~da39a3ee5@184.22.188.111)
2021-02-18 02:43:02 +0100 <monochrom> Wait, which book is the Japanese Haskell book with evil birds?
2021-02-18 02:44:33 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-02-18 02:44:42 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-02-18 02:45:04 +0100jdt(~jdt@208.85.233.130)
2021-02-18 02:45:36 +0100 <dolio> https://www.amazon.com/%E5%85%A5%E9%96%80Haskell_%E3%81%AF%E3%81%98%E3%82%81%E3%81%A6%E5%AD%A6%E3%…
2021-02-18 02:45:40 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-18 02:46:25 +0100dcoutts(~duncan@85.186.125.91.dyn.plus.net) (Ping timeout: 240 seconds)
2021-02-18 02:47:39 +0100 <swarmcollective> Tordek, these examples are of a single device, no? In this case the RAM device.
2021-02-18 02:48:22 +0100 <Tordek> yeah
2021-02-18 02:52:00 +0100johnw(~johnw@haskell/developer/johnw) (Ping timeout: 265 seconds)
2021-02-18 02:52:45 +0100 <swarmcollective> Tordek, the python version is simulating a preemptive multitasking via the yield return. Am I correct?
2021-02-18 02:53:02 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-02-18 02:53:45 +0100 <Tordek> cooperative, you mean?
2021-02-18 02:53:47 +0100 <swarmcollective> Maintaining state via the closure formed when calling the function (memory is in the closure)
2021-02-18 02:53:57 +0100 <Tordek> it's coroutines
2021-02-18 02:54:12 +0100johnw(~johnw@haskell/developer/johnw)
2021-02-18 02:54:57 +0100rajivr(uid269651@gateway/web/irccloud.com/x-phceacqwpvvdwwnf)
2021-02-18 03:03:24 +0100Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 265 seconds)
2021-02-18 03:04:18 +0100Tops2(~Tobias@dyndsl-095-033-018-103.ewe-ip-backbone.de) (Quit: Leaving.)
2021-02-18 03:05:11 +0100Cthalupa(~cthulhu@47.186.47.75)
2021-02-18 03:05:52 +0100 <Axman6> has there been any proposal for renaming definitions in imports? import Foo (bar as baz, quuz as q)?
2021-02-18 03:06:20 +0100 <Axman6> seems like a pretty trivial feature
2021-02-18 03:12:15 +0100 <swarmcollective> Tordek, I see what you mean: https://www.schoolofhaskell.com/user/DanBurton/coroutines-for-streaming/part-3-stacking-interfaces
2021-02-18 03:13:31 +0100 <swarmcollective> Axman6, I like that idea.
2021-02-18 03:14:10 +0100_d0t(void@gateway/vpn/mullvad/d0t/x-89419360)
2021-02-18 03:14:11 +0100 <Axman6> MAybe I'll write up a ghc proposal
2021-02-18 03:14:12 +0100xff0x(~xff0x@2001:1a81:53b4:e300:9b30:953c:3e9a:9639) (Ping timeout: 260 seconds)
2021-02-18 03:14:59 +0100poscat1(~poscat@123.116.67.131)
2021-02-18 03:15:07 +0100 <_d0t> hello! I'm looking for a tasks monitor for Haskell. It should fire up a few async threads, capture and log their exceptions, and restart them if needed. Is there any library implementing this?
2021-02-18 03:15:10 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-tuemgsodifhsovrd)
2021-02-18 03:15:25 +0100poscat(~poscat@123.116.67.131) (Ping timeout: 240 seconds)
2021-02-18 03:15:44 +0100xff0x(~xff0x@2001:1a81:5211:3400:bb19:a492:6c3d:fcba)
2021-02-18 03:16:04 +0100 <_d0t> Something like distributed-process-task from haskell-distributed would do, but I'm looking for something lighter and more up to date.
2021-02-18 03:18:30 +0100 <minoru_shiraeesh> _d0t: sounds like one could write it manually, if you really mean a light solution
2021-02-18 03:19:02 +0100 <_d0t> minoru_shiraeesh: true true. I had done that already in a project for one of my former employees. But it wasn't open sourced :(
2021-02-18 03:19:09 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-18 03:19:38 +0100 <minoru_shiraeesh> what did you use? I has channels in mind.
2021-02-18 03:20:01 +0100 <minoru_shiraeesh> * had
2021-02-18 03:20:03 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 03:20:41 +0100 <sm[m]> _d0t: https://hackage.haskell.org/package/angel
2021-02-18 03:20:56 +0100 <_d0t> minoru_shiraeesh: MonadBaseControl, Async, and some mvars for state control.
2021-02-18 03:21:37 +0100 <_d0t> sm[m]: i should've been more specific. I want a library, not a separate executable.
2021-02-18 03:22:14 +0100guest218(~user@49.5.6.87)
2021-02-18 03:24:08 +0100 <guest218> in do notation, return won't immediatly exit whole computation, it returns the last line as result, but in callCC $ \e -> do ..., this `e 42` could exit earlier, right?
2021-02-18 03:25:31 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-18 03:27:20 +0100 <ski> yes
2021-02-18 03:28:02 +0100 <guest218> ski: why people call it "non-local exit"?
2021-02-18 03:28:04 +0100 <ski> (ditto for `throwEither')
2021-02-18 03:28:13 +0100 <sm[m]> _dOt: that's at least something ready made you could start from
2021-02-18 03:28:35 +0100 <guest218> what "local exit" means?
2021-02-18 03:28:57 +0100 <ski> i dunno the context
2021-02-18 03:29:19 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 03:29:45 +0100 <ski> (er, sorry. `throwError')
2021-02-18 03:30:28 +0100 <ski> anyway, `callCC' could also be used to reentry the computation again
2021-02-18 03:32:50 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-02-18 03:33:25 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds)
2021-02-18 03:33:33 +0100lambdah-`(~user@200.175.79.29.static.gvt.net.br) (Ping timeout: 264 seconds)
2021-02-18 03:33:56 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-18 03:34:13 +0100Lord_of_Life_Lord_of_Life
2021-02-18 03:34:24 +0100lambdah-`(~user@189.6.240.228)
2021-02-18 03:34:51 +0100 <slack1256> On Core language, what are this `break`s I am seeing?
2021-02-18 03:35:01 +0100 <slack1256> Let me pastebin it.
2021-02-18 03:35:29 +0100 <slack1256> https://pastebin.com/WcL4bN0N
2021-02-18 03:35:52 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 03:36:29 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2021-02-18 03:38:07 +0100inkbottle(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr) (Read error: Connection reset by peer)
2021-02-18 03:38:15 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 03:38:27 +0100inkbottle(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr)
2021-02-18 03:38:59 +0100 <guest218> ski: how to reentry? like python's yield?
2021-02-18 03:39:05 +0100lambdah-`(~user@189.6.240.228) (Client Quit)
2021-02-18 03:39:12 +0100Rishi1302(dfedfde4@223.237.253.228)
2021-02-18 03:39:28 +0100 <Rishi1302> Hi
2021-02-18 03:40:45 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-02-18 03:41:28 +0100 <swarmcollective> guest218, something like this? https://www.schoolofhaskell.com/user/DanBurton/coroutines-for-streaming/part-3-stacking-interfaces
2021-02-18 03:45:26 +0100conal(~conal@192.145.118.129) (Quit: Computer has gone to sleep.)
2021-02-18 03:46:08 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 03:46:26 +0100 <ski> guest218 : just invoke a previously captured continuation
2021-02-18 03:46:35 +0100 <ski> hello Rishi1302
2021-02-18 03:47:11 +0100hololeap(~hololeap@unaffiliated/hololeap) (Ping timeout: 260 seconds)
2021-02-18 03:48:27 +0100hololeap(~hololeap@unaffiliated/hololeap)
2021-02-18 03:49:49 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-02-18 03:50:57 +0100thc202(~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds)
2021-02-18 03:51:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-18 03:51:36 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-18 03:51:51 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 03:52:07 +0100shailangsa(~shailangs@host86-186-191-40.range86-186.btcentralplus.com) ()
2021-02-18 03:53:39 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-18 03:54:24 +0100 <guest218> would ContT r (Reader b) a be useful?
2021-02-18 03:54:39 +0100Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-02-18 03:54:39 +0100 <koz_> @unmtl ContT r (Reader b) a
2021-02-18 03:54:39 +0100 <lambdabot> (a -> b -> r) -> b -> r
2021-02-18 03:55:18 +0100Kaiepi(~Kaiepi@47.54.252.148)
2021-02-18 03:55:18 +0100gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-02-18 03:55:25 +0100 <guest218> just like (a -> m b) -> m b; m ~ b->
2021-02-18 03:55:37 +0100bollu7(~bollu@139.59.46.74)
2021-02-18 03:55:37 +0100ralu8(~ralu@static.211.245.203.116.clients.your-server.de)
2021-02-18 03:55:40 +0100gentauro(~gentauro@unaffiliated/gentauro)
2021-02-18 03:55:54 +0100zyeri-(zyeri@tilde.team)
2021-02-18 03:56:02 +0100pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-47-67-70-101-46.dsl.bell.ca)
2021-02-18 03:56:03 +0100voidcont1xt(~pgee@178.62.100.221)
2021-02-18 03:56:05 +0100gawen_(~gawen@movzbl.root.sx)
2021-02-18 03:56:11 +0100carbolymer_(~carbolyme@dropacid.net)
2021-02-18 03:56:12 +0100nurupo_(~nurupo.ga@unaffiliated/nurupo)
2021-02-18 03:56:25 +0100da39a3ee5e6b4b0d(~da39a3ee5@184.22.188.111) (Ping timeout: 240 seconds)
2021-02-18 03:56:34 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-02-18 03:56:43 +0100filwisher_(~filwisher@78.141.201.45)
2021-02-18 03:57:14 +0100hexo|(~hexo@2a01:430:17:1::ffff:328)
2021-02-18 03:57:26 +0100jonathanx_(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-02-18 03:57:56 +0100jol_(~jol@jol.dev)
2021-02-18 03:58:37 +0100alexelcu_(~alexelcu@142.93.180.198)
2021-02-18 03:59:08 +0100chrisosa1rus(chris@segfault.net.nz)
2021-02-18 03:59:10 +0100FMJz_____(sid279245@gateway/web/irccloud.com/x-jttfqbvavruywndr)
2021-02-18 03:59:16 +0100haasn`(~nand@mpv/developer/haasn)
2021-02-18 03:59:18 +0100wlritchi(wlritchi@2600:3c03::f03c:91ff:fe60:8ddc)
2021-02-18 03:59:19 +0100mikolaj_(~mikon@duch.mimuw.edu.pl)
2021-02-18 03:59:20 +0100CitizenSnips(~CitizenSn@irc.refl.club)
2021-02-18 03:59:33 +0100xsarnik0(xsarnik@gateway/shell/fi.muni.cz/x-wnxdqkgdvvnfetic) (Quit: Ping timeout (120 seconds))
2021-02-18 03:59:33 +0100rcdilorenzo(~rcdiloren@cpe-76-182-83-26.nc.res.rr.com) (Remote host closed the connection)
2021-02-18 03:59:33 +0100nurupo(~nurupo.ga@unaffiliated/nurupo) (Ping timeout: 240 seconds)
2021-02-18 03:59:33 +0100ralu(~ralu@static.211.245.203.116.clients.your-server.de) (Quit: Ping timeout (120 seconds))
2021-02-18 03:59:33 +0100zyeri(zyeri@tilde.team/users/zyeri) (Quit: ZNC 1.8.1 - https://znc.in)
2021-02-18 03:59:33 +0100pieguy128_(~pieguy128@bras-base-mtrlpq5031w-grc-47-67-70-101-46.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in)
2021-02-18 03:59:33 +0100gawen(~gawen@movzbl.root.sx) (Read error: Connection reset by peer)
2021-02-18 03:59:33 +0100carbolymer(~carbolyme@dropacid.net) (Remote host closed the connection)
2021-02-18 03:59:33 +0100voidcontext(~pgee@178.62.100.221) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100vk3wtf(~doc@203.221.224.44) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100xsarnik0(xsarnik@gateway/shell/fi.muni.cz/session)
2021-02-18 03:59:34 +0100hexo-(~hexo@83.167.228.130) (Remote host closed the connection)
2021-02-18 03:59:34 +0100filwisher(~filwisher@78.141.201.45) (Quit: ZNC 1.7.1 - https://znc.in)
2021-02-18 03:59:34 +0100bollu(~bollu@139.59.46.74) (Read error: Connection reset by peer)
2021-02-18 03:59:34 +0100kiltzman(~k1ltzman@5.206.224.243) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100alexelcu(~alexelcu@142.93.180.198) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100deu(de@uio.re) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100Jajik(xchlup2@gateway/shell/fi.muni.cz/x-bsscdxcvqqdthevk) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100jol(~jol@jol.dev) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100ridcully(~ridcully@pd951f269.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100wlritchi_(~wlritchi@li1016-87.members.linode.com) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100chrisosaurus(chris@segfault.net.nz) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100_xor(~xor@74.215.46.133) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100betawaffle(sid2730@gateway/web/irccloud.com/x-bgkptvfjzqwocqqf) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100FMJz____(sid279245@gateway/web/irccloud.com/x-axodaybdswvrnrsq) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100pasukon(sid49097@gateway/web/irccloud.com/x-xcxetghfiuzsmonz) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100billstclair(sid77830@gateway/web/irccloud.com/x-horuiarjlflurngu) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100enemeth79(sid309041@gateway/web/irccloud.com/x-oqhrlsiaulnarpog) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100wayne(~wayne@unaffiliated/wayne) (Ping timeout: 240 seconds)
2021-02-18 03:59:34 +0100acro(~acro@unaffiliated/acro) (Ping timeout: 240 seconds)
2021-02-18 03:59:35 +0100Chousuke(oranenj@coffee.modeemi.fi) (Ping timeout: 240 seconds)
2021-02-18 03:59:35 +0100_xor(~xor@74.215.46.133)
2021-02-18 03:59:35 +0100xsarnik0(xsarnik@gateway/shell/fi.muni.cz/session) (Changing host)
2021-02-18 03:59:35 +0100xsarnik0(xsarnik@gateway/shell/fi.muni.cz/x-yqsmsmtsoqcjjvyt)
2021-02-18 03:59:35 +0100carbolymer_carbolymer
2021-02-18 03:59:35 +0100ralu8ralu
2021-02-18 03:59:35 +0100bollu7bollu
2021-02-18 03:59:36 +0100ridcully_(~ridcully@pd951f269.dip0.t-ipconnect.de)
2021-02-18 03:59:37 +0100nurupo_nurupo
2021-02-18 03:59:41 +0100int-e(~noone@int-e.eu) (Ping timeout: 244 seconds)
2021-02-18 03:59:41 +0100cstrahan(sid36118@gateway/web/irccloud.com/x-ygalbinvvcxosmxc) (Ping timeout: 244 seconds)
2021-02-18 03:59:41 +0100haasn(~nand@mpv/developer/haasn) (Ping timeout: 244 seconds)
2021-02-18 03:59:41 +0100CitizenS-(~CitizenSn@irc.refl.club) (Ping timeout: 244 seconds)
2021-02-18 03:59:41 +0100wagle(~wagle@quassel.wagle.io) (Remote host closed the connection)
2021-02-18 03:59:47 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 03:59:47 +0100Jajik(xchlup2@gateway/shell/fi.muni.cz/x-xdtdbazlcfsuwycu)
2021-02-18 03:59:52 +0100clynamen_(~clynamen@net-93-66-46-121.cust.vodafonedsl.it)
2021-02-18 04:00:01 +0100wayne(~wayne@consume.rocks)
2021-02-18 04:00:01 +0100wayne(~wayne@consume.rocks) (Changing host)
2021-02-18 04:00:01 +0100wayne(~wayne@unaffiliated/wayne)
2021-02-18 04:00:10 +0100ManofLetters(~mikon@duch.mimuw.edu.pl) (Remote host closed the connection)
2021-02-18 04:00:16 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 240 seconds)
2021-02-18 04:00:16 +0100bobbytables(~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-02-18 04:00:16 +0100Adluc(~Adluc@83.167.228.130) (Write error: Connection reset by peer)
2021-02-18 04:00:19 +0100pasukon(sid49097@gateway/web/irccloud.com/x-yhlwlkhlfvxhagju)
2021-02-18 04:00:23 +0100_Adluc_(~Adluc@2a01:430:17:1::ffff:328)
2021-02-18 04:00:23 +0100cstrahan(sid36118@gateway/web/irccloud.com/x-gzdrjleogbxikgck)
2021-02-18 04:00:30 +0100bobbytables(~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com)
2021-02-18 04:00:34 +0100kiltzman(~k1ltzman@195.189.99.96)
2021-02-18 04:00:41 +0100clynamen(~clynamen@net-93-66-46-121.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2021-02-18 04:00:45 +0100betawaffle(sid2730@gateway/web/irccloud.com/x-mhbnoekldrecskmd)
2021-02-18 04:01:03 +0100haasn`haasn
2021-02-18 04:01:20 +0100billstclair(sid77830@gateway/web/irccloud.com/x-oesooeymiowzuzns)
2021-02-18 04:01:24 +0100enemeth79(sid309041@gateway/web/irccloud.com/x-wdqlaorsnilmpjvl)
2021-02-18 04:01:37 +0100acro(~acro@188.166.31.185)
2021-02-18 04:01:37 +0100acro(~acro@188.166.31.185) (Changing host)
2021-02-18 04:01:37 +0100acro(~acro@unaffiliated/acro)
2021-02-18 04:01:42 +0100feepo(sid28508@gateway/web/irccloud.com/x-pdtrfecihbdlivyv) (Ping timeout: 242 seconds)
2021-02-18 04:01:47 +0100Kneiva_(kneiva@raah.fi)
2021-02-18 04:01:48 +0100wagle(~wagle@quassel.wagle.io)
2021-02-18 04:01:54 +0100Kneiva(kneiva@raah.fi) (Ping timeout: 240 seconds)
2021-02-18 04:01:54 +0100kiltzman(~k1ltzman@195.189.99.96) (Excess Flood)
2021-02-18 04:01:56 +0100k1ltzman(~k1ltzman@195.189.99.96)
2021-02-18 04:03:06 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds)
2021-02-18 04:03:37 +0100MidAutumnHotaru4(~MidAutumn@unaffiliated/midautumnhotaru)
2021-02-18 04:03:39 +0100feepo(sid28508@gateway/web/irccloud.com/x-wcewznnvlbknipja)
2021-02-18 04:04:03 +0100MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Ping timeout (120 seconds))
2021-02-18 04:04:03 +0100xsarnik03(xsarnik@gateway/shell/fi.muni.cz/session)
2021-02-18 04:04:04 +0100xsarnik03(xsarnik@gateway/shell/fi.muni.cz/session) (Changing host)
2021-02-18 04:04:04 +0100xsarnik03(xsarnik@gateway/shell/fi.muni.cz/x-yvaanjasasuignrs)
2021-02-18 04:04:04 +0100MidAutumnHotaru4MidAutumnHotaru
2021-02-18 04:04:12 +0100vk3wtf(~doc@203.221.224.44)
2021-02-18 04:04:30 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-18 04:04:36 +0100Jajik2(xchlup2@gateway/shell/fi.muni.cz/x-sibskqvbqdhvosvq)
2021-02-18 04:05:08 +0100cgfbee(~bot@oc1.itim-cj.ro) (Excess Flood)
2021-02-18 04:05:29 +0100int-e(~noone@int-e.eu)
2021-02-18 04:05:35 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 04:05:36 +0100Jajik(xchlup2@gateway/shell/fi.muni.cz/x-xdtdbazlcfsuwycu) (Ping timeout: 240 seconds)
2021-02-18 04:05:36 +0100xsarnik0(xsarnik@gateway/shell/fi.muni.cz/x-yqsmsmtsoqcjjvyt) (Ping timeout: 240 seconds)
2021-02-18 04:05:36 +0100Jajik2Jajik
2021-02-18 04:05:36 +0100xsarnik03xsarnik0
2021-02-18 04:05:40 +0100Chousuke(oranenj@130.230.72.140)
2021-02-18 04:05:58 +0100da39a3ee5e6b4b0d(~da39a3ee5@184.22.159.161)
2021-02-18 04:06:05 +0100Wuzzy(~Wuzzy@p5b0df671.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-02-18 04:06:17 +0100deu(de@uio.re)
2021-02-18 04:07:06 +0100cgfbee(~bot@oc1.itim-cj.ro)
2021-02-18 04:07:21 +0100benjamingr__(uid23465@gateway/web/irccloud.com/x-nerzixrwmblsiubf) (Quit: Connection closed for inactivity)
2021-02-18 04:07:48 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-02-18 04:11:42 +0100clog(~nef@bespin.org)
2021-02-18 04:12:23 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-zrcmjtwsmmlqlmrj) ()
2021-02-18 04:13:48 +0100daytona(~daytona@90.200.185.163) (Quit: Connection error?!)
2021-02-18 04:16:44 +0100lambdah-sadvipra(~user@189.6.240.228)
2021-02-18 04:19:17 +0100lambdah-sadvipra(~user@189.6.240.228) (Remote host closed the connection)
2021-02-18 04:21:43 +0100slack1256(~slack1256@45.4.2.52) (Remote host closed the connection)
2021-02-18 04:22:01 +0100remexre(~nathan@207-153-38-50.fttp.usinternet.com) (Remote host closed the connection)
2021-02-18 04:23:23 +0100remexre(~nathan@207-153-38-50.fttp.usinternet.com)
2021-02-18 04:23:45 +0100deviantfero(~deviantfe@190.150.27.58)
2021-02-18 04:24:53 +0100dorkside(~tdbgamer@208.190.197.222) (Quit: Ping timeout (120 seconds))
2021-02-18 04:25:01 +0100dorkside(~tdbgamer@208.190.197.222)
2021-02-18 04:25:05 +0100madnificent(~madnifice@static.210.74.63.178.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2021-02-18 04:25:15 +0100madnificent(~madnifice@static.210.74.63.178.clients.your-server.de)
2021-02-18 04:25:29 +0100dustinm-(~dustinm@static.38.6.217.95.clients.your-server.de)
2021-02-18 04:25:36 +0100vk3wtf(~doc@203.221.224.44) (Ping timeout: 240 seconds)
2021-02-18 04:25:36 +0100Tordek(tordek@gateway/shell/blinkenshell.org/x-pjwrhjxtnnhxkhtb) (Ping timeout: 240 seconds)
2021-02-18 04:25:43 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 3.0)
2021-02-18 04:25:56 +0100dustinm(~dustinm@static.38.6.217.95.clients.your-server.de) (Read error: Connection reset by peer)
2021-02-18 04:26:05 +0100vk3wtf(~doc@203.221.224.44)
2021-02-18 04:26:33 +0100FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-02-18 04:26:33 +0100finn_elijaGuest36733
2021-02-18 04:26:33 +0100FinnElijafinn_elija
2021-02-18 04:26:34 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-18 04:27:06 +0100tomboy64(~tomboy64@unaffiliated/tomboy64) (Ping timeout: 240 seconds)
2021-02-18 04:27:32 +0100howdoi(uid224@gateway/web/irccloud.com/x-xbqydevwwwcilrfn) (Quit: Connection closed for inactivity)
2021-02-18 04:27:51 +0100Tordek(tordek@gateway/shell/blinkenshell.org/x-vlalsbbinvvnpydl)
2021-02-18 04:28:36 +0100jlpeters(sid25606@gateway/web/irccloud.com/x-zpgsgjbfsrljtrrq) (Ping timeout: 240 seconds)
2021-02-18 04:29:47 +0100minoru_shiraeesh(~shiraeesh@109.166.59.203) (Quit: Konversation terminated!)
2021-02-18 04:29:56 +0100mmaruseacph2(~mihai@198.199.100.72) (Ping timeout: 240 seconds)
2021-02-18 04:30:08 +0100mmaruseacph2(~mihai@198.199.100.72)
2021-02-18 04:30:09 +0100jlpeters(sid25606@gateway/web/irccloud.com/x-pymiziykvlxmyvsk)
2021-02-18 04:30:09 +0100minoru_shiraeesh(~shiraeesh@109.166.59.203)
2021-02-18 04:30:54 +0100Guest36733(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-02-18 04:32:02 +0100Rishi1302(dfedfde4@223.237.253.228) (Ping timeout: 240 seconds)
2021-02-18 04:33:57 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 04:34:55 +0100massma(~user@dyn-160-39-62-152.dyn.columbia.edu) ("Killed buffer")
2021-02-18 04:35:52 +0100sw1nn(~sw1nn@2a00:23c6:2385:3a00:1cd1:f5cc:82b1:ebaa) (Ping timeout: 260 seconds)
2021-02-18 04:36:46 +0100inkbottle(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-18 04:37:08 +0100inkbottle(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr)
2021-02-18 04:38:05 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-02-18 04:39:51 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-18 04:42:05 +0100theDon(~td@94.134.91.226) (Ping timeout: 240 seconds)
2021-02-18 04:44:15 +0100theDon(~td@94.134.91.146)
2021-02-18 04:48:59 +0100sw1nn(~sw1nn@2a00:23c6:2385:3a00:5367:7819:3f66:284e)
2021-02-18 04:49:11 +0100 <guest218> in Haskell and Scheme, they both use last line as result to return, they don't have "return" like other languages like python to exit a function immediatly, but they have callCC to do something very like that "return", like yeild in python, right?
2021-02-18 04:50:44 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-02-18 04:51:44 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-02-18 04:51:51 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-18 04:51:54 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 04:52:07 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 04:52:17 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-18 04:54:16 +0100tomboy64(~tomboy64@unaffiliated/tomboy64)
2021-02-18 04:55:25 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-02-18 04:55:41 +0100 <ski> no
2021-02-18 04:56:38 +0100 <ski> i wouldn't say Haskell has `callCC'. it's not a feature of the language (unlike `call-with-current-continuation' in Scheme). it's just a library function
2021-02-18 04:56:43 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 04:57:29 +0100raym(~ray@45.64.220.142)
2021-02-18 04:57:30 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-18 04:57:31 +0100 <ski> (and the similarity to `return' in some other languages, and to `yield' in Python, is fleeting, superficial, or (for the former) at best incomplete)
2021-02-18 04:57:38 +0100 <swarmcollective> I was not previously aware that Haskell supported resumable exceptions. This reminds me, vaguely, of the Microsoft Enterprise Library which provided mechanisms to defer the decision to rethrow an exception from the catch block to an external configuration. Resumable Exceptions seems more powerful.
2021-02-18 04:57:47 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 04:58:09 +0100 <guest218> where is wrong?
2021-02-18 04:58:18 +0100plutoniix(~q@184.82.210.59)
2021-02-18 04:59:04 +0100guest218(~user@49.5.6.87) (Remote host closed the connection)
2021-02-18 04:59:09 +0100 <_d0t> swarmcollective: have you maybe looked at various effects implementations? Seems just what you describe here.
2021-02-18 04:59:17 +0100guest218(~user@49.5.6.87)
2021-02-18 04:59:37 +0100 <guest218> lag...
2021-02-18 05:01:25 +0100 <swarmcollective> I just watched: "Building Haskell Programs with Fused Effects" by Patrick Thomson and read the intro on the fused-effects hackage page.
2021-02-18 05:01:46 +0100mud(kadobanemp@gateway/shell/matrix.org/x-cfttkhuoougodpis)
2021-02-18 05:02:27 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 05:03:50 +0100giogiogio(5e89ad7c@94.137.173.124)
2021-02-18 05:04:28 +0100 <swarmcollective> I have not dared to look at the implementation though; still attempting to wrap my head around the usage of fused-effects.
2021-02-18 05:05:04 +0100 <guest218> feud-effects...
2021-02-18 05:06:46 +0100 <guest218> ski: where it's wrong?
2021-02-18 05:07:05 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-18 05:10:18 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 246 seconds)
2021-02-18 05:12:21 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 05:13:08 +0100 <ephemient> guest218: an expression doesn't have a "last line". a `do` block does, but the value of a do block is the whole block
2021-02-18 05:13:43 +0100 <swarmcollective> To clarify, Patrick Thomson used the example of the "fused effects" traversing a tree once, instead of each effect traversing the tree. The expressiveness comes from the effect monad providing functions and operators distinct to that effect? And the cost benefit is that GHC figures out the relevant monad so it is unnecessary to write code to dig through the monad stack to extract what you need?
2021-02-18 05:17:26 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds)
2021-02-18 05:18:20 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 05:19:30 +0100 <guest218> ephemient: what about change "last line" to
2021-02-18 05:19:35 +0100 <guest218> last expression?
2021-02-18 05:19:48 +0100 <ephemient> still no
2021-02-18 05:21:59 +0100 <ephemient> at least not in general
2021-02-18 05:22:40 +0100 <ephemient> with IO... it could be seen that way
2021-02-18 05:22:49 +0100 <monochrom> If "last expression" were a thing, what would be the "last expression" in 1+2?
2021-02-18 05:23:06 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-18 05:23:13 +0100 <monochrom> More broadly, the whole idea of equating Haskell with Scheme is flawed.
2021-02-18 05:24:58 +0100 <guest218> but do Haskell and Scheme have "return"?
2021-02-18 05:25:26 +0100 <ephemient> Haskell has a function named "return" but it does not return from a function
2021-02-18 05:25:27 +0100magnuscake(~magnuscak@87-121-92-61.dyn.launtel.net.au)
2021-02-18 05:26:42 +0100 <magnuscake> Hey peeps. Could someone help me understand this base case of a recursive function:
2021-02-18 05:26:52 +0100 <guest218> does haskell have a way to return from a function?
2021-02-18 05:27:06 +0100 <magnuscake> customFunc f (x:[]) = x
2021-02-18 05:27:43 +0100 <_d0t> guest218: no, not in the same sense as in C or related languages.
2021-02-18 05:27:43 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-18 05:27:45 +0100 <magnuscake> I imagine this means we return the final element in a list once we recursive to the end
2021-02-18 05:27:47 +0100 <ephemient> guest218: the evaluation of a function is the right-hand-side expression matching the first left-hand-side pattern that matches, period. there's nothing to return from
2021-02-18 05:27:52 +0100 <guest218> magnuscake: it equal to head
2021-02-18 05:28:33 +0100 <magnuscake> Yeah but I reckon it is not the same as
2021-02-18 05:28:34 +0100 <monochrom> magnuscake: That depends on the other cases. Also, guest218 is wrong. As usual.
2021-02-18 05:28:53 +0100 <magnuscake> customFunc f (x:_) = x
2021-02-18 05:28:55 +0100 <swarmcollective> magnuscake, that could also be written as: `customFunc f [x] = x` (I believe)
2021-02-18 05:29:03 +0100 <ephemient> guest218: no, `head` works on any non-empty list. that base case operates on lists of size 1 only
2021-02-18 05:29:06 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 05:29:29 +0100 <magnuscake> Maybe I'll just post the whole thing here?
2021-02-18 05:29:34 +0100 <ephemient> @where paste
2021-02-18 05:29:34 +0100 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2021-02-18 05:30:01 +0100 <ephemient> please avoid long multi-line dumps directly into IRC
2021-02-18 05:30:52 +0100 <magnuscake> Sure. https://paste.tomsmeding.com/aYuSpbc0
2021-02-18 05:31:14 +0100 <magnuscake> Basically I have diffculty understanding the difference between
2021-02-18 05:31:52 +0100 <magnuscake> myMaximumBy f (x:[]) and myMaximumBy f (x:_)
2021-02-18 05:32:08 +0100 <ephemient> [] is the empty list. _ is anything
2021-02-18 05:32:32 +0100 <monochrom> (x:_) is like (x:xs) but you don't plan to use xs so you don't bother giving it a name, you use the dont-care pattern instead.
2021-02-18 05:33:07 +0100 <ephemient> so [1] can be pattern matched by both (x:[]) and (x:_), but [1, 2, 3] can only be matched by (x:_), not (x:[])
2021-02-18 05:33:32 +0100 <magnuscake> Ok
2021-02-18 05:33:48 +0100 <magnuscake> So this case, once the list has been exhausted, right?
2021-02-18 05:34:03 +0100 <ephemient> well, almost exhausted - it still has one element
2021-02-18 05:34:37 +0100 <ephemient> like the standard `maximumBy` function, it's a partial function and fails on an empty list
2021-02-18 05:35:26 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-18 05:35:33 +0100 <ephemient> > maximumBy compare []
2021-02-18 05:35:34 +0100 <lambdabot> *Exception: Prelude.foldl1: empty list
2021-02-18 05:35:41 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 05:35:49 +0100 <magnuscake> Yeah that makes sense now. Thank ephemient
2021-02-18 05:35:50 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 05:35:52 +0100 <magnuscake> :)
2021-02-18 05:36:17 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 05:37:36 +0100magnuscake(~magnuscak@87-121-92-61.dyn.launtel.net.au) (Quit: Leaving)
2021-02-18 05:37:50 +0100Stanley|00(~stanley00@unaffiliated/stanley00)
2021-02-18 05:38:07 +0100inkbottle(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-18 05:38:16 +0100 <monochrom> I wonder if "once/until the list has one element left" makes any sense at all. Some people say that to mean "I imagine a mutable list variable, I keep changing it, it keeps getting shorter".
2021-02-18 05:38:29 +0100inkbottle(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr)
2021-02-18 05:38:49 +0100 <monochrom> But since this code has no mutable list variable, it is unwise to use that model. Especially for this example.
2021-02-18 05:39:19 +0100Stanley00_(~stanley00@unaffiliated/stanley00)
2021-02-18 05:39:25 +0100 <ephemient> well, magnuscake already left...
2021-02-18 05:39:43 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer)
2021-02-18 05:39:58 +0100 <monochrom> myMaximumBy cmp [1,2,3] works by comparing 1 with myMaximumBy [2,3]. There is no "the" "changing" list. There are two lists, [1,2,3] and [2,3].
2021-02-18 05:40:04 +0100 <monochrom> Darn.
2021-02-18 05:40:12 +0100 <ephemient> but yeah, after destructuring... the original structure is still there
2021-02-18 05:40:18 +0100inkbottle(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr) (Client Quit)
2021-02-18 05:40:19 +0100 <ephemient> dunno if they got that or not
2021-02-18 05:40:32 +0100 <ephemient> if they ever show up again we might find out
2021-02-18 05:40:40 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-18 05:41:14 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-02-18 05:41:40 +0100jchia1(~jchia@218.80.127.84)
2021-02-18 05:41:48 +0100jchia(~jchia@218.80.75.223) (Ping timeout: 256 seconds)
2021-02-18 05:41:55 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 3.0)
2021-02-18 05:42:01 +0100cocytus(~cocytus@cpe-76-95-48-109.socal.res.rr.com) (Read error: Connection reset by peer)
2021-02-18 05:42:25 +0100Stanley|00(~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds)
2021-02-18 05:42:34 +0100_d0t(void@gateway/vpn/mullvad/d0t/x-89419360) (Quit: Konversation terminated!)
2021-02-18 05:46:05 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-02-18 05:47:16 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-18 05:50:09 +0100deviantfero(~deviantfe@190.150.27.58) (Ping timeout: 265 seconds)
2021-02-18 05:51:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-18 05:52:08 +0100Svet_(~Svet_@90.200.185.163)
2021-02-18 05:52:11 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 05:52:30 +0100kenran(~kenran@i59F67BBD.versanet.de)
2021-02-18 05:55:00 +0100winny(~winny@fsf/member/winstonw) (Quit: rebooting =))
2021-02-18 05:55:51 +0100 <kenran> (Might be more fitting to #nixos, but I don't know yet): If I need to use GHC 8.8.4 instead of the current one in nixpkgs-unstable in a project, I set my haskellPackages to haskell.packages.ghc884. Now I that leads to dependency version conflicts, I usually could fix them by either jailbreaking packages or using newer versions. But now I'm ending up with a conflict on an exact base version. Do you know
2021-02-18 05:55:57 +0100 <kenran> what to do?
2021-02-18 05:56:30 +0100winny(~winny@fsf/member/winstonw)
2021-02-18 05:56:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-18 05:57:58 +0100 <monochrom> exact base version is tied to exact GHC version.
2021-02-18 05:58:52 +0100 <monochrom> I would jailbreak or modify other packages to convince them to accept the base I want because it means the GHC I want.
2021-02-18 05:59:29 +0100 <ephemient> I'm not familiar with Nix, but don't they effectively use Stackage curation? if there's some way to get it to use an older snapshot you wouldn't have to muck around with those versions
2021-02-18 05:59:34 +0100 <monochrom> But I don't use nix, I use cabal directly, that's why I have better access to that freedom.
2021-02-18 05:59:45 +0100giogiogio(5e89ad7c@94.137.173.124) (Quit: Connection closed)
2021-02-18 06:00:28 +0100 <kenran> monochrom: the build is currently running, so I can't check yet what exact package it was again (different machine), but I think it was singletons, and it failed to build with that base version. So I think a good next step would be to try and use a slight older singletons version more in line with GHC?
2021-02-18 06:01:41 +0100 <kenran> monochrom: I normally would use the newer cabal, too, but in this project we had to eventuell use nix due to lots of forks being used that were itself heavily reliant on nix, and lots of non-Haskell dependencies :( I love working with "just cabal
2021-02-18 06:02:13 +0100 <ephemient> https://www.stackage.org/lts-16.31 snapshot with GHC 8.8.4. there's things stackage isn't great at, but it is useful as a set of packages that all build together
2021-02-18 06:02:51 +0100 <kenran> ephemient: Yes they do, I think, but I'm not sure if that's true in the same way for when you change the GHC version. It's the first time I have to.
2021-02-18 06:02:55 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-18 06:03:04 +0100 <ephemient> different snapshots have different GHC versions
2021-02-18 06:03:22 +0100 <ephemient> change the snapshot to change the GHC version
2021-02-18 06:03:29 +0100 <ephemient> leaves you stuck with older libraries, for better or for worse
2021-02-18 06:03:46 +0100 <kenran> On stackage you mean, right? I mean it might not be the same with nixpkgs though in that regard.
2021-02-18 06:03:51 +0100 <ephemient> or, use Cabal directly and let it resolve everything
2021-02-18 06:04:07 +0100 <ephemient> https://github.com/input-output-hk/haskell.nix/blob/master/snapshots.nix looks like there is some way to use snapshots, although I really don't understand Nix
2021-02-18 06:04:31 +0100 <kenran> And I really have to move forward with nixpkgs (and thus the hackage versions) because of idiotic open source clearing restrictions from a customer...
2021-02-18 06:04:56 +0100deviantfero(~deviantfe@190.150.27.58)
2021-02-18 06:05:02 +0100 <kenran> ephemient: unfortunately haskell.nix is a whole different thing again :)
2021-02-18 06:05:12 +0100 <kenran> although the name suggests otherwise
2021-02-18 06:05:22 +0100Wuzzy(~Wuzzy@p57a2e1ca.dip0.t-ipconnect.de)
2021-02-18 06:05:41 +0100 <ephemient> sounds like you're constrained to specifying the versions yourself, then
2021-02-18 06:05:54 +0100 <kenran> ephemient: yes it sounds like it now
2021-02-18 06:05:56 +0100 <kenran> thanks you two!
2021-02-18 06:06:11 +0100 <ephemient> good luck and have "fun"
2021-02-18 06:06:34 +0100 <kenran> Normally upgrading GHC is no big deal, but we're using an experimental repo which in turn contains a GHC plugin which doesn't yet build with 8.10 ><
2021-02-18 06:06:54 +0100 <kenran> So there's restrictions on both "sides", which really sucks
2021-02-18 06:07:40 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-02-18 06:07:59 +0100ezrakilty(~ezrakilty@97-113-55-149.tukw.qwest.net)
2021-02-18 06:10:02 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 06:12:44 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 272 seconds)
2021-02-18 06:13:05 +0100frozenErebus(~frozenEre@94.128.219.166)
2021-02-18 06:14:40 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-18 06:16:34 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-02-18 06:16:39 +0100da39a3ee5e6b4b0d(~da39a3ee5@184.22.159.161) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-18 06:16:48 +0100ezrakilty(~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection)
2021-02-18 06:18:16 +0100pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-02-18 06:22:51 +0100ezrakilty(~ezrakilty@97-113-55-149.tukw.qwest.net)
2021-02-18 06:23:30 +0100deviantfero(~deviantfe@190.150.27.58) (Ping timeout: 272 seconds)
2021-02-18 06:24:27 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2021-02-18 06:26:39 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-02-18 06:27:58 +0100verement_(~anonymous@cpe-76-167-229-223.san.res.rr.com)
2021-02-18 06:28:18 +0100verement(~anonymous@cpe-76-167-229-223.san.res.rr.com) (Read error: Connection reset by peer)
2021-02-18 06:28:19 +0100verement_verement
2021-02-18 06:28:34 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 06:30:53 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:b8ec:d51f:19ab:810a:831a)
2021-02-18 06:32:48 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 256 seconds)
2021-02-18 06:33:19 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 06:33:59 +0100ixaxaar(~ixaxaar@49.207.197.94)
2021-02-18 06:34:14 +0100jrqc(~rofl@96.78.87.197)
2021-02-18 06:34:20 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 06:36:50 +0100Tario(~Tario@201.192.165.173)
2021-02-18 06:37:16 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-18 06:37:44 +0100jpds_(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-02-18 06:38:11 +0100jpds_(~jpds@gateway/tor-sasl/jpds)
2021-02-18 06:39:27 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-02-18 06:40:02 +0100acidjnk_new(~acidjnk@pd9e0bf4a.dip0.t-ipconnect.de)
2021-02-18 06:40:08 +0100forgottenone(~forgotten@176.42.30.133)
2021-02-18 06:40:33 +0100acidjnk_new2(~acidjnk@p200300d0c7390922695ee7c38f7fb1b4.dip0.t-ipconnect.de)
2021-02-18 06:42:26 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-02-18 06:43:20 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-02-18 06:44:06 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 06:44:12 +0100heatsink_(~heatsink@2600:1700:bef1:5e10:d9e:595:d1dd:8e5b)
2021-02-18 06:44:42 +0100acidjnk_new(~acidjnk@pd9e0bf4a.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2021-02-18 06:48:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:140a:f0bd:8004:4ab3) (Ping timeout: 264 seconds)
2021-02-18 06:48:29 +0100shailangsa(~shailangs@host86-186-191-40.range86-186.btcentralplus.com)
2021-02-18 06:49:14 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-18 06:51:03 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 265 seconds)
2021-02-18 06:52:55 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 06:57:24 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-18 07:01:10 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-02-18 07:09:38 +0100ezrakilty(~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection)
2021-02-18 07:10:34 +0100Wuzzy(~Wuzzy@p57a2e1ca.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-02-18 07:10:45 +0100minoru_shiraeesh(~shiraeesh@109.166.59.203) (Ping timeout: 240 seconds)
2021-02-18 07:10:53 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 07:13:09 +0100twoeggies(~twoeggies@47.196.90.245)
2021-02-18 07:13:55 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-02-18 07:16:11 +0100twoeggies(~twoeggies@47.196.90.245) (Read error: Connection reset by peer)
2021-02-18 07:16:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-18 07:21:00 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-02-18 07:23:10 +0100hexfive(~hexfive@50.35.83.177)
2021-02-18 07:24:50 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-tuemgsodifhsovrd) (Quit: Connection closed for inactivity)
2021-02-18 07:27:37 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-02-18 07:27:41 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 07:30:43 +0100unlink2(~unlink2@p200300ebcf241100fcf67590445edc70.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2021-02-18 07:31:26 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-davxfpvvzolgtafc)
2021-02-18 07:31:49 +0100Varis(~Tadas@unaffiliated/varis)
2021-02-18 07:32:01 +0100unlink2(~unlink2@p200300ebcf241100fcf67590445edc70.dip0.t-ipconnect.de)
2021-02-18 07:32:24 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-18 07:33:29 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2021-02-18 07:33:33 +0100tvn(~tvn@185.163.110.108) (Remote host closed the connection)
2021-02-18 07:33:53 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-02-18 07:35:46 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 07:37:10 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 07:37:34 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 07:37:48 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
2021-02-18 07:38:33 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2021-02-18 07:40:14 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds)
2021-02-18 07:42:40 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 272 seconds)
2021-02-18 07:49:51 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 07:50:02 +0100paultag1(~paultag@217.146.82.202)
2021-02-18 07:51:32 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-02-18 07:52:12 +0100myShoggoth(~myShoggot@75.164.81.55) (Remote host closed the connection)
2021-02-18 07:52:39 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-02-18 07:52:40 +0100myShoggoth(~myShoggot@75.164.81.55) (Read error: Connection reset by peer)
2021-02-18 07:59:07 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be)
2021-02-18 08:00:51 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 08:02:27 +0100frozenErebus(~frozenEre@94.128.219.166) (Ping timeout: 260 seconds)
2021-02-18 08:02:50 +0100cur8or(~cur8or@2c0f:fbe1:3:17:ddb4:fae:5aae:fc1)
2021-02-18 08:03:36 +0100jrm(~jrm@freebsd/developer/jrm) (Quit: ciao)
2021-02-18 08:03:53 +0100jrm(~jrm@freebsd/developer/jrm)
2021-02-18 08:04:01 +0100jchia(~jchia@45.32.62.73)
2021-02-18 08:05:00 +0100jchia1(~jchia@218.80.127.84) (Ping timeout: 265 seconds)
2021-02-18 08:05:36 +0100polyrain(~polyrain@2001:8003:e4d8:4101:f144:f7a2:6b0b:f7bf)
2021-02-18 08:05:58 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-02-18 08:07:11 +0100jchia(~jchia@45.32.62.73) (Remote host closed the connection)
2021-02-18 08:07:35 +0100_d0t(void@gateway/vpn/mullvad/d0t/x-89419360)
2021-02-18 08:08:17 +0100jchia(~jchia@218.80.79.195)
2021-02-18 08:08:31 +0100zaquest(~notzaques@5.128.210.178) (Remote host closed the connection)
2021-02-18 08:09:39 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 08:11:10 +0100zaquest(~notzaques@5.128.210.178)
2021-02-18 08:11:21 +0100bahamas(~lucian@188.27.48.99)
2021-02-18 08:11:21 +0100bahamas(~lucian@188.27.48.99) (Changing host)
2021-02-18 08:11:21 +0100bahamas(~lucian@unaffiliated/bahamas)
2021-02-18 08:13:55 +0100kenran(~kenran@i59F67BBD.versanet.de) (Quit: leaving)
2021-02-18 08:14:13 +0100gluegadget(sid22336@gateway/web/irccloud.com/x-ayfbpsyhsmxzvrrv) (Ping timeout: 272 seconds)
2021-02-18 08:14:13 +0100SrPx(sid108780@gateway/web/irccloud.com/x-zthkqwhpgrfjlwua) (Ping timeout: 272 seconds)
2021-02-18 08:14:19 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-02-18 08:14:35 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 08:15:47 +0100SrPx(sid108780@gateway/web/irccloud.com/x-xeyoppkmzthbgxfh)
2021-02-18 08:16:00 +0100gluegadget(sid22336@gateway/web/irccloud.com/x-nsgcjsqinyltxtco)
2021-02-18 08:17:23 +0100kozowu(uid44796@gateway/web/irccloud.com/x-mwxxuoghbagtiqvu) (Ping timeout: 272 seconds)
2021-02-18 08:18:42 +0100polyrain(~polyrain@2001:8003:e4d8:4101:f144:f7a2:6b0b:f7bf) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-18 08:18:45 +0100kozowu(uid44796@gateway/web/irccloud.com/x-azueqxpdfatmhbiq)
2021-02-18 08:21:52 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-18 08:22:18 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 08:22:31 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-18 08:24:00 +0100ephemera_(~E@122.34.1.187) (Quit: ephemera_)
2021-02-18 08:26:16 +0100ephemera_(~E@122.34.1.187)
2021-02-18 08:27:15 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 08:28:35 +0100tsaka__(~torstein@2a02:587:1b14:d00:5ec3:abec:812c:b3e2)
2021-02-18 08:29:03 +0100todda7(~torstein@5.181.234.164) (Ping timeout: 260 seconds)
2021-02-18 08:30:01 +0100shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:e4b5:89f2:f8c9:6ba7) (Ping timeout: 268 seconds)
2021-02-18 08:31:23 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 08:32:26 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-18 08:35:52 +0100kuribas(~user@ptr-25vy0i9b5wc7rnbhuzj.18120a2.ip6.access.telenet.be)
2021-02-18 08:36:25 +0100sigmundv_(~sigmundv@178.62.72.87) (Ping timeout: 240 seconds)
2021-02-18 08:38:32 +0100xff0x(~xff0x@2001:1a81:5211:3400:bb19:a492:6c3d:fcba) (Ping timeout: 260 seconds)
2021-02-18 08:38:58 +0100xff0x(~xff0x@2001:1a81:5211:3400:769f:2180:2df2:8d39)
2021-02-18 08:39:13 +0100LKoen(~LKoen@136.169.9.109.rev.sfr.net)
2021-02-18 08:39:14 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-02-18 08:39:48 +0100jchia(~jchia@218.80.79.195) (Ping timeout: 265 seconds)
2021-02-18 08:39:56 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-18 08:40:09 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 08:40:45 +0100oish(~charlie@228.25.169.217.in-addr.arpa)
2021-02-18 08:43:04 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 08:43:18 +0100puke(~vroom@217.138.252.197) (Quit: puke)
2021-02-18 08:43:21 +0100average(uid473595@gateway/web/irccloud.com/x-gyibtnnaloxfprfu) (Ping timeout: 272 seconds)
2021-02-18 08:44:52 +0100average(uid473595@gateway/web/irccloud.com/x-orjomfzptbyeuejj)
2021-02-18 08:45:12 +0100Varis(~Tadas@unaffiliated/varis)
2021-02-18 08:46:45 +0100shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:b54e:a99d:8dc7:f0b)
2021-02-18 08:48:11 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 08:48:45 +0100frozenErebus(~frozenEre@94.128.219.166)
2021-02-18 08:49:28 +0100puke(~vroom@217.138.252.206)
2021-02-18 08:53:06 +0100sigmundv(~sigmundv@178.62.72.87)
2021-02-18 08:53:47 +0100frozenErebus(~frozenEre@94.128.219.166) (Ping timeout: 260 seconds)
2021-02-18 08:55:22 +0100ephemera_(~E@122.34.1.187) (Quit: ephemera_)
2021-02-18 08:56:41 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-18 08:57:07 +0100ephemera_(~E@122.34.1.187)
2021-02-18 08:58:35 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-02-18 08:58:49 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 09:01:47 +0100_d0t(void@gateway/vpn/mullvad/d0t/x-89419360) (Ping timeout: 256 seconds)
2021-02-18 09:02:37 +0100_d0t(~void@unaffiliated/d0t/x-7286094)
2021-02-18 09:03:43 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-18 09:04:53 +0100heatsink_(~heatsink@2600:1700:bef1:5e10:d9e:595:d1dd:8e5b) (Remote host closed the connection)
2021-02-18 09:06:48 +0100frozenErebus(~frozenEre@94.128.219.166)
2021-02-18 09:07:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-18 09:09:19 +0100tsaka__(~torstein@2a02:587:1b14:d00:5ec3:abec:812c:b3e2) (Ping timeout: 272 seconds)
2021-02-18 09:09:27 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-18 09:11:20 +0100Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 272 seconds)
2021-02-18 09:12:11 +0100frozenErebus(~frozenEre@94.128.219.166) (Ping timeout: 265 seconds)
2021-02-18 09:12:37 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-02-18 09:12:52 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-02-18 09:13:24 +0100jchia(~jchia@45.32.62.73)
2021-02-18 09:14:25 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-18 09:14:29 +0100Jonno_FTW(~come@api.carswap.me) (Ping timeout: 272 seconds)
2021-02-18 09:14:33 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 09:14:56 +0100Jonno_FTW(~come@api.carswap.me)
2021-02-18 09:15:37 +0100tsaka__(~torstein@athedsl-258913.home.otenet.gr)
2021-02-18 09:16:03 +0100Hanma[m](hanmamatri@gateway/shell/matrix.org/x-tmzabyrwafnnfzkx)
2021-02-18 09:17:03 +0100jchia(~jchia@45.32.62.73) (Remote host closed the connection)
2021-02-18 09:17:26 +0100jchia(~jchia@58.41.31.60)
2021-02-18 09:19:14 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-02-18 09:19:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-18 09:21:47 +0100benjamingr__(uid23465@gateway/web/irccloud.com/x-afesmugpvwqppibh)
2021-02-18 09:22:35 +0100idhugo_(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-02-18 09:23:43 +0100 <gentauro> 05:59 < ephemient> I'm not familiar with Nix, but don't they effectively use Stackage curation? if there's some way to get it to use an older snapshot
2021-02-18 09:23:47 +0100ps-auxw(~arneb@p548d56ce.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2021-02-18 09:24:01 +0100ps-auxw(~arneb@p548d56ce.dip0.t-ipconnect.de)
2021-02-18 09:24:03 +0100 <gentauro> ephemient: I'm using this approach (just point to a commit tag on GH) -> https://old.reddit.com/r/haskell/comments/ljqbqc/help_compiling_x11_and_x11xtf_package_for_xmonad/…
2021-02-18 09:24:38 +0100frozenErebus(~frozenEre@94.128.219.166)
2021-02-18 09:25:01 +0100Yumasi(~guillaume@2a01:e0a:5cb:4430:dce3:23d8:e120:e16f)
2021-02-18 09:27:12 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-18 09:27:29 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 09:30:23 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 09:31:36 +0100jedws(~jedws@101.184.202.248) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-18 09:33:50 +0100ephemera_(~E@122.34.1.187) (Quit: ephemera_)
2021-02-18 09:34:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-18 09:35:28 +0100ephemera_(~E@122.34.1.187)
2021-02-18 09:36:20 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 09:38:03 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 09:39:53 +0100ubert(~Thunderbi@p200300ecdf25d949e6b318fffe838f33.dip0.t-ipconnect.de)
2021-02-18 09:41:32 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 09:42:02 +0100Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-02-18 09:43:07 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-02-18 09:47:54 +0100jedws(~jedws@101.184.202.248)
2021-02-18 09:50:01 +0100rajivr(uid269651@gateway/web/irccloud.com/x-phceacqwpvvdwwnf) (Quit: Connection closed for inactivity)
2021-02-18 09:52:08 +0100borne(~fritjof@200116b864cafb00a9b5d4f34e3c7d10.dip.versatel-1u1.de)
2021-02-18 09:52:10 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 09:54:34 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-18 09:57:07 +0100hekkaidekapus](~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds)
2021-02-18 10:05:17 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d9e:595:d1dd:8e5b)
2021-02-18 10:05:36 +0100Miroboru(~myrvoll@46.249.230.40) (Ping timeout: 240 seconds)
2021-02-18 10:06:23 +0100kritzefitz(~kritzefit@p548c9398.dip0.t-ipconnect.de)
2021-02-18 10:07:28 +0100LKoen(~LKoen@136.169.9.109.rev.sfr.net) (Read error: Connection reset by peer)
2021-02-18 10:08:04 +0100LKoen(~LKoen@136.169.9.109.rev.sfr.net)
2021-02-18 10:09:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d9e:595:d1dd:8e5b) (Ping timeout: 240 seconds)
2021-02-18 10:10:15 +0100hendursa1(~weechat@gateway/tor-sasl/hendursaga)
2021-02-18 10:10:41 +0100hendursaga(~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 268 seconds)
2021-02-18 10:11:13 +0100m0rphism1(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-02-18 10:11:29 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-18 10:12:49 +0100Miroboru(~myrvoll@78.91.103.181)
2021-02-18 10:15:42 +0100xff0x(~xff0x@2001:1a81:5211:3400:769f:2180:2df2:8d39) (Ping timeout: 265 seconds)
2021-02-18 10:16:11 +0100xff0x(~xff0x@2001:1a81:5211:3400:7fd2:b815:80e9:2d22)
2021-02-18 10:16:45 +0100fendor(~fendor@91.141.0.98.wireless.dyn.drei.com)
2021-02-18 10:17:32 +0100 <dminuoso> ephemient: Do you understand how cabal v2-build works?
2021-02-18 10:20:01 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-02-18 10:20:07 +0100kritzefitz(~kritzefit@p548c9398.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-02-18 10:20:25 +0100kritzefitz(~kritzefit@2003:5b:203b:200::10:49)
2021-02-18 10:21:07 +0100bitmagie(~Thunderbi@200116b8067175008904b8b906a08f1b.dip.versatel-1u1.de)
2021-02-18 10:22:01 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net) ()
2021-02-18 10:23:39 +0100Lowl3v3l(~Lowl3v3l@dslb-002-203-233-121.002.203.pools.vodafone-ip.de)
2021-02-18 10:23:44 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 10:26:06 +0100bitmagie(~Thunderbi@200116b8067175008904b8b906a08f1b.dip.versatel-1u1.de) (Quit: bitmagie)
2021-02-18 10:28:31 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 10:33:39 +0100son0p(~son0p@181.58.39.182)
2021-02-18 10:38:04 +0100danza(~francesco@151.74.103.107)
2021-02-18 10:38:11 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it)
2021-02-18 10:40:47 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 10:44:45 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-18 10:45:02 +0100Miroboru(~myrvoll@78.91.103.181) (Read error: Connection reset by peer)
2021-02-18 10:45:33 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-18 10:49:04 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-18 10:50:55 +0100_d0t(~void@unaffiliated/d0t/x-7286094) (Ping timeout: 260 seconds)
2021-02-18 10:51:13 +0100Miroboru(~myrvoll@46.249.230.40)
2021-02-18 10:51:18 +0100forgottenone(~forgotten@176.42.30.133) (Quit: Konversation terminated!)
2021-02-18 10:51:57 +0100_d0t(void@gateway/vpn/mullvad/d0t/x-89419360)
2021-02-18 10:55:00 +0100jchia1(~jchia@45.32.62.73)
2021-02-18 10:55:13 +0100bahamas(~lucian@unaffiliated/bahamas) (Quit: leaving)
2021-02-18 10:56:14 +0100jchia1(~jchia@45.32.62.73) (Remote host closed the connection)
2021-02-18 10:56:45 +0100jchia(~jchia@58.41.31.60) (Ping timeout: 240 seconds)
2021-02-18 10:56:48 +0100jchia1(~jchia@45.32.62.73)
2021-02-18 10:57:06 +0100jedws(~jedws@101.184.202.248) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-18 10:58:07 +0100jchia1(~jchia@45.32.62.73) (Remote host closed the connection)
2021-02-18 10:58:18 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 10:58:54 +0100jchia(~jchia@218.80.123.13)
2021-02-18 10:59:13 +0100mauro^(mauro@ip98-184-89-2.mc.at.cox.net)
2021-02-18 11:02:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-18 11:04:13 +0100Rudd0(~Rudd0@185.189.115.103)
2021-02-18 11:06:32 +0100heatsink(~heatsink@2600:1700:bef1:5e10:35b7:a56e:3faf:ceed)
2021-02-18 11:10:38 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-02-18 11:10:44 +0100heatsink(~heatsink@2600:1700:bef1:5e10:35b7:a56e:3faf:ceed) (Ping timeout: 240 seconds)
2021-02-18 11:14:22 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-ycsqvqpavvannwrp) (Quit: Connection closed for inactivity)
2021-02-18 11:14:54 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 11:15:10 +0100tchakka(~tchakkazu@static-47-180-28-65.lsan.ca.frontiernet.net)
2021-02-18 11:15:13 +0100oish(~charlie@228.25.169.217.in-addr.arpa) (Quit: leaving)
2021-02-18 11:16:06 +0100idhugo__(~idhugo@80-62-117-86-mobile.dk.customer.tdc.net)
2021-02-18 11:17:00 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Quit: leaving)
2021-02-18 11:18:55 +0100idhugo_(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds)
2021-02-18 11:19:51 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 11:20:43 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-02-18 11:21:48 +0100Stanley00_(~stanley00@unaffiliated/stanley00) (Ping timeout: 256 seconds)
2021-02-18 11:22:29 +0100usr25(~usr25@unaffiliated/usr25)
2021-02-18 11:25:18 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds)
2021-02-18 11:27:00 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-18 11:31:03 +0100NGravity(csp@gateway/shell/xshellz/x-shswcsdvnxabefik) (Remote host closed the connection)
2021-02-18 11:31:37 +0100thc202(~thc202@unaffiliated/thc202)
2021-02-18 11:32:54 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 11:37:24 +0100xff0x(~xff0x@2001:1a81:5211:3400:7fd2:b815:80e9:2d22) (Ping timeout: 240 seconds)
2021-02-18 11:38:03 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 11:38:20 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-02-18 11:38:24 +0100xff0x(~xff0x@2001:1a81:5211:3400:3e8d:444b:65d4:ef1a)
2021-02-18 11:38:55 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 11:40:43 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds)
2021-02-18 11:42:57 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-18 11:43:02 +0100forgottenone(~forgotten@176.42.30.133)
2021-02-18 11:43:40 +0100forgottenone(~forgotten@176.42.30.133) (Client Quit)
2021-02-18 11:43:57 +0100_d0t(void@gateway/vpn/mullvad/d0t/x-89419360) (Quit: Konversation terminated!)
2021-02-18 11:44:07 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-02-18 11:45:45 +0100frozenErebus(~frozenEre@94.128.219.166) (Ping timeout: 240 seconds)
2021-02-18 11:49:09 +0100guest218(~user@49.5.6.87) (Remote host closed the connection)
2021-02-18 11:49:34 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 11:49:50 +0100minoru_shiraeesh(~shiraeesh@109.166.59.203)
2021-02-18 11:50:05 +0100frozenErebus(~frozenEre@94.128.219.166)
2021-02-18 11:52:16 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:c8eb:6c3:dd7a:7957)
2021-02-18 11:52:32 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:c8eb:6c3:dd7a:7957) (Client Quit)
2021-02-18 11:54:12 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-18 11:54:51 +0100frozenErebus(~frozenEre@94.128.219.166) (Ping timeout: 260 seconds)
2021-02-18 11:56:23 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 11:57:05 +0100minoru_shiraeesh(~shiraeesh@109.166.59.203) (Ping timeout: 240 seconds)
2021-02-18 12:03:18 +0100berberman(~berberman@unaffiliated/berberman)
2021-02-18 12:03:52 +0100berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2021-02-18 12:04:05 +0100cur8or_(~cur8or@2c0f:fbe1:3:17:a17e:2f44:ebea:a8c2)
2021-02-18 12:05:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 12:07:17 +0100cur8or(~cur8or@2c0f:fbe1:3:17:ddb4:fae:5aae:fc1) (Ping timeout: 272 seconds)
2021-02-18 12:09:02 +0100boxscape(4ff0baf3@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.243)
2021-02-18 12:09:16 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:c8eb:6c3:dd7a:7957)
2021-02-18 12:09:57 +0100 <new_haskeller> % readFile "/proc/self/environ"
2021-02-18 12:10:32 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-18 12:11:01 +0100dunj3(~dunj3@p200300f61714a66854ef98154aeab501.dip0.t-ipconnect.de)
2021-02-18 12:14:19 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:c8eb:6c3:dd7a:7957) (Remote host closed the connection)
2021-02-18 12:14:44 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:c8eb:6c3:dd7a:7957)
2021-02-18 12:14:48 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net)
2021-02-18 12:16:11 +0100 <boxscape> % type F :: Bool -> *; type family F x where F True = String; F False = Maybe Int
2021-02-18 12:16:12 +0100 <yahb> boxscape:
2021-02-18 12:16:16 +0100 <boxscape> % let g :: String :~: F b -> Bool; g Refl = True
2021-02-18 12:16:17 +0100 <yahb> boxscape:
2021-02-18 12:16:25 +0100 <boxscape> % type G :: String :~: F b -> Bool; type family G p where G Refl = True
2021-02-18 12:16:25 +0100 <yahb> boxscape: ; <interactive>:7:59: error:; * Couldn't match kind: F b0; with: [Char]; Expected kind `String :~: F b0', but `Refl' has kind `String :~: String'; The type variable `b0' is ambiguous; * In the first argument of `G', namely `Refl'; In the type family declaration for `G'
2021-02-18 12:16:29 +0100 <boxscape> Interesting difference
2021-02-18 12:16:39 +0100 <boxscape> the term level function works, but the corresponding type family doesn't
2021-02-18 12:21:14 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 12:22:35 +0100whald(~trem@2a02:810a:8100:11a6:6add:8278:ed3e:652f)
2021-02-18 12:24:37 +0100 <boxscape> not really sure why...
2021-02-18 12:26:05 +0100hal9001(~user@zz2017405567D30FFCD9.userreverse.dion.ne.jp)
2021-02-18 12:26:07 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 12:28:29 +0100minoru_shiraeesh(~shiraeesh@109.166.59.203)
2021-02-18 12:37:26 +0100xff0x(~xff0x@2001:1a81:5211:3400:3e8d:444b:65d4:ef1a) (Ping timeout: 240 seconds)
2021-02-18 12:37:46 +0100pera(~pera@unaffiliated/pera)
2021-02-18 12:37:58 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2021-02-18 12:38:36 +0100xff0x(~xff0x@2001:1a81:5211:3400:6f06:3daa:f36f:96b7)
2021-02-18 12:39:07 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 12:39:28 +0100magicman(~tchakkazu@static-47-180-28-65.lsan.ca.frontiernet.net) (Quit: Lost terminal)
2021-02-18 12:40:37 +0100ericsagn1(~ericsagne@2405:6580:0:5100:39c8:7a81:4ef5:3dca) (Ping timeout: 260 seconds)
2021-02-18 12:40:47 +0100usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-02-18 12:41:25 +0100kmein(~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao)
2021-02-18 12:41:44 +0100kmein(~weechat@static.173.83.99.88.clients.your-server.de)
2021-02-18 12:43:56 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-18 12:44:50 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-davxfpvvzolgtafc) (Quit: Connection closed for inactivity)
2021-02-18 12:45:46 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-02-18 12:46:24 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-02-18 12:47:56 +0100minoru_shiraeesh(~shiraeesh@109.166.59.203) (Ping timeout: 256 seconds)
2021-02-18 12:48:51 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-02-18 12:49:14 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 12:49:39 +0100 <new_haskeller> Curiously I seem to have trouble using 'group' in the most basic way https://paste.tomsmeding.com/gaJzHolc
2021-02-18 12:50:34 +0100 <tomsmeding> new_haskeller: import Data.List
2021-02-18 12:51:04 +0100 <new_haskeller> thanks
2021-02-18 12:51:06 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 272 seconds)
2021-02-18 12:51:13 +0100 <tomsmeding> new_haskeller: was there something specific that made you suspect you could use 'group' without that import?
2021-02-18 12:51:59 +0100 <new_haskeller> I assumed 'group' would be included in Prelude
2021-02-18 12:52:32 +0100ericsagn1(~ericsagne@2405:6580:0:5100:5738:bc6a:4277:971e)
2021-02-18 12:52:48 +0100 <tomsmeding> it might have been in the past, but now, at least, it isn't :)
2021-02-18 12:52:53 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-02-18 12:53:58 +0100dardyfella[m](dardyfella@gateway/shell/matrix.org/x-fzqoamhhngpvzxic)
2021-02-18 12:54:07 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-02-18 12:56:54 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 12:58:15 +0100minoru_shiraeesh(~shiraeesh@109.166.59.203)
2021-02-18 13:01:35 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 13:01:58 +0100cur8or_(~cur8or@2c0f:fbe1:3:17:a17e:2f44:ebea:a8c2) (Ping timeout: 268 seconds)
2021-02-18 13:03:06 +0100bitmagie(~Thunderbi@200116b8067175008904b8b906a08f1b.dip.versatel-1u1.de)
2021-02-18 13:03:06 +0100cur8or(~cur8or@2c0f:fbe1:3:30:23:cff9:797f:3fa4)
2021-02-18 13:03:56 +0100dardyfella[m](dardyfella@gateway/shell/matrix.org/x-fzqoamhhngpvzxic) ("User left")
2021-02-18 13:08:35 +0100heatsink(~heatsink@2600:1700:bef1:5e10:35b7:a56e:3faf:ceed)
2021-02-18 13:13:14 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-nfuemwaruwwrcdyz)
2021-02-18 13:13:17 +0100heatsink(~heatsink@2600:1700:bef1:5e10:35b7:a56e:3faf:ceed) (Ping timeout: 260 seconds)
2021-02-18 13:14:56 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 13:19:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-18 13:21:02 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 13:22:12 +0100forgottenone(~forgotten@176.42.30.133)
2021-02-18 13:25:03 +0100 <ski> % type F :: Bool -> Type; type family F x = y | y -> x where F True = String; F False = Maybe Int
2021-02-18 13:25:04 +0100 <yahb> ski:
2021-02-18 13:25:06 +0100 <ski> % let g :: String :~: F b -> Bool; g Refl = True
2021-02-18 13:25:07 +0100 <yahb> ski:
2021-02-18 13:25:08 +0100 <ski> % type G :: String :~: F b -> Bool; type family G p where G Refl = True
2021-02-18 13:25:09 +0100 <yahb> ski:
2021-02-18 13:25:16 +0100 <ski> boxscape ^
2021-02-18 13:25:53 +0100dcoutts(~duncan@85.186.125.91.dyn.plus.net)
2021-02-18 13:25:54 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-02-18 13:26:10 +0100 <boxscape> ski: hmm why is injectivity not necessary for the term-level function?
2021-02-18 13:26:41 +0100 <boxscape> (injectivity of F, that is)
2021-02-18 13:27:46 +0100 <ski> i guess `g' might be accepted, due to `AllowAmbiguousTypes', which perhaps doesn't apply to `G' ?
2021-02-18 13:28:46 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Read error: Connection reset by peer)
2021-02-18 13:29:20 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2021-02-18 13:31:06 +0100 <boxscape> ski: Ah yes that might be it
2021-02-18 13:32:33 +0100minoru_shiraeesh(~shiraeesh@109.166.59.203) (Ping timeout: 246 seconds)
2021-02-18 13:32:35 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 13:33:18 +0100 <boxscape> % type G :: String :~: F b -> Bool; type family G p where G @True Refl = True -- ski: turns out the non-injective version of F works if you write this
2021-02-18 13:33:19 +0100 <yahb> boxscape:
2021-02-18 13:33:49 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 13:33:54 +0100 <ski> oh
2021-02-18 13:34:37 +0100 <ski> but that's not the same thing
2021-02-18 13:35:25 +0100dh(dh@bsd.ee) (Ping timeout: 240 seconds)
2021-02-18 13:35:57 +0100 <boxscape> ski: hm, but if the invisible parameter is False, then the Equality can never be true, right? So it could never be called with @False Refl
2021-02-18 13:36:30 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-02-18 13:36:46 +0100dh(dh@bsd.ee)
2021-02-18 13:36:54 +0100 <boxscape> s/can never be true/can never hold
2021-02-18 13:37:02 +0100 <ski> yes, but the point of GADT matching would be to *discover* that `b = True', after the match on `Refl'. not to allow that defining equation to match, only if you already know `b = True'
2021-02-18 13:37:18 +0100 <boxscape> ah, I see
2021-02-18 13:37:26 +0100 <ski> s/not to/rather than to/
2021-02-18 13:37:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-18 13:38:15 +0100 <ski> (or, at least to discover that `F b = String', i suppose)
2021-02-18 13:38:19 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds)
2021-02-18 13:42:03 +0100 <boxscape> ski if the ambiguous type is a problem, I suppose it should be fixable by adding a Proxy parameter? (That makes the term-level version work without AllowAmbiguousTypes) I can't make it work that way with the type family
2021-02-18 13:42:13 +0100 <boxscape> (for non-injective F)
2021-02-18 13:43:27 +0100p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in)
2021-02-18 13:44:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-18 13:45:50 +0100rajivr(uid269651@gateway/web/irccloud.com/x-mwramyxufkmsalyn)
2021-02-18 13:46:05 +0100p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2021-02-18 13:48:51 +0100PragCypher(~cypher@li1507-98.members.linode.com) (Quit: ZNC 1.7.5 - https://znc.in)
2021-02-18 13:50:43 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 13:50:47 +0100PragCypher(~cypher@li1507-98.members.linode.com)
2021-02-18 13:51:23 +0100kmein(~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao)
2021-02-18 13:51:39 +0100kmein(~weechat@static.173.83.99.88.clients.your-server.de)
2021-02-18 13:55:18 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-18 13:56:15 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 13:57:13 +0100todda7(~torstein@172.98.93.176)
2021-02-18 13:57:35 +0100tsaka__(~torstein@athedsl-258913.home.otenet.gr) (Ping timeout: 260 seconds)
2021-02-18 14:00:12 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-02-18 14:06:29 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 14:09:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:35b7:a56e:3faf:ceed)
2021-02-18 14:11:26 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-18 14:13:50 +0100heatsink(~heatsink@2600:1700:bef1:5e10:35b7:a56e:3faf:ceed) (Ping timeout: 264 seconds)
2021-02-18 14:18:39 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 14:20:13 +0100geekosaur(82650c7a@130.101.12.122)
2021-02-18 14:20:25 +0100LKoen(~LKoen@136.169.9.109.rev.sfr.net) (Remote host closed the connection)
2021-02-18 14:23:43 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 14:23:55 +0100 <geekosaur> deebo, it's the menu applet. right click it, keyboard shortcuts pane, main button, click the "Keyboard shortcut" button, press backspace
2021-02-18 14:24:15 +0100plutoniix(~q@184.82.210.59) (Quit: Leaving)
2021-02-18 14:24:45 +0100 <geekosaur> @tell deebo it's the menu applet. right click it, keyboard shortcuts pane, main button, click the "Keyboard shortcut" button, press backspace
2021-02-18 14:24:45 +0100 <lambdabot> Consider it noted.
2021-02-18 14:27:14 +0100 <geekosaur> missed a step there, sigh
2021-02-18 14:27:28 +0100 <geekosaur> should update the wiki except who knows how long it'll continue to exist
2021-02-18 14:28:31 +0100carlomagno1(~cararell@148.87.23.8) (Remote host closed the connection)
2021-02-18 14:30:26 +0100paultag1(~paultag@217.146.82.202) (Remote host closed the connection)
2021-02-18 14:32:54 +0100 <NieDzejkob> is it possible to create a singleton for a type-level integer such that it's like data Nat = Z | S Nat at the type level, but something relatively efficient at runtime?
2021-02-18 14:33:55 +0100 <geekosaur> siiiigh, wrong channel again
2021-02-18 14:34:00 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-02-18 14:34:22 +0100acidjnk_new2(~acidjnk@p200300d0c7390922695ee7c38f7fb1b4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-02-18 14:35:19 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 14:35:28 +0100ephemera_(~E@122.34.1.187) (Quit: ephemera_)
2021-02-18 14:35:39 +0100 <NieDzejkob> me?
2021-02-18 14:35:55 +0100 <geekosaur> no, me
2021-02-18 14:36:56 +0100Yumasi(~guillaume@2a01:e0a:5cb:4430:dce3:23d8:e120:e16f) (Ping timeout: 268 seconds)
2021-02-18 14:37:03 +0100ephemera_(~E@122.34.1.187)
2021-02-18 14:38:03 +0100 <merijn> NieDzejkob: Eh, your question is malformed :p
2021-02-18 14:38:03 +0100 <lortabac> NieDzejkob: you can convert it to a GHC.TypeNats.Nat before demoting and back to your Nat before promoting
2021-02-18 14:38:27 +0100 <merijn> NieDzejkob: GHC does type erasure, so at runtime your Nat type doesn't even exist at the type level
2021-02-18 14:39:39 +0100Yumasi(~guillaume@2a01:e0a:5cb:4430:1ab9:7436:46bc:ada6)
2021-02-18 14:40:03 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 14:40:18 +0100 <NieDzejkob> I need something like SNat n, though, where the value is available in both ways
2021-02-18 14:40:33 +0100Tario(~Tario@201.192.165.173)
2021-02-18 14:41:18 +0100 <lortabac> NieDzejkob: if you need to work with SNat all the time, then I don't think it is possible
2021-02-18 14:42:55 +0100LKoen(~LKoen@136.169.9.109.rev.sfr.net)
2021-02-18 14:45:17 +0100tylerni71(~tylerni7@185.163.110.108)
2021-02-18 14:46:01 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-18 14:46:19 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-02-18 14:46:40 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 14:48:24 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 14:50:02 +0100tomsmedingrebuilds the world to install HLS for a new ghc version 🎶
2021-02-18 14:50:15 +0100LKoen(~LKoen@136.169.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-02-18 14:50:35 +0100 <hpc> carl sagan would be proud
2021-02-18 14:50:52 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-02-18 14:51:06 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-02-18 14:51:08 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-18 14:52:03 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 272 seconds)
2021-02-18 14:52:31 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-02-18 14:52:48 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-18 14:53:07 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 14:53:46 +0100urodna(~urodna@unaffiliated/urodna)
2021-02-18 14:55:07 +0100raym(~ray@45.64.220.142) (Quit: leaving)
2021-02-18 14:55:15 +0100Tops2(~Tobias@dyndsl-095-033-088-065.ewe-ip-backbone.de)
2021-02-18 14:56:04 +0100 <tomsmeding> In Data.Proxy, is there a reason why KProxy exists? Is Proxy itself less flexible in certain cases? https://hackage.haskell.org/package/base-4.14.1.0/docs/Data-Proxy.html#t:KProxy
2021-02-18 14:58:04 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection)
2021-02-18 14:59:03 +0100dunj4(~dunj3@p200300f61714a6925c87873f9ac9c753.dip0.t-ipconnect.de)
2021-02-18 15:00:36 +0100dunj3(~dunj3@p200300f61714a66854ef98154aeab501.dip0.t-ipconnect.de) (Disconnected by services)
2021-02-18 15:00:42 +0100dunj4dunj3
2021-02-18 15:00:44 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1)
2021-02-18 15:01:14 +0100 <merijn> tomsmeding: DataKinds wasn't a thing in the past? :p
2021-02-18 15:01:30 +0100 <geekosaur> or TypeInType maybe
2021-02-18 15:01:40 +0100 <tomsmeding> merijn: sure, but KProxy is just a normal data type just like Proxy
2021-02-18 15:01:43 +0100 <boxscape> tomsmeding: from https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1000&context=compsci_pubs : We make use here of the typeKProxy, which when promoted,is a type-level proxy for a kind argument. Its definition restricts its type parameter a to be of kind?so that the type is promotable;GHC does not promote poly-kinded datatypes.
2021-02-18 15:01:52 +0100 <boxscape> the ? should be a *
2021-02-18 15:02:11 +0100 <tomsmeding> "GHC does not promote poly-kinded datatypes." -- I see
2021-02-18 15:02:17 +0100 <boxscape> (page 7)
2021-02-18 15:02:28 +0100 <boxscape> I'm not sure if that's true anymore though?
2021-02-18 15:02:44 +0100 <tomsmeding> I'm fairly sure it's not :p
2021-02-18 15:03:07 +0100acidjnk_new2(~acidjnk@p200300d0c73909228d1f962f50e6b749.dip0.t-ipconnect.de)
2021-02-18 15:03:14 +0100 <tomsmeding> but that explains its provenance, thanks :)
2021-02-18 15:04:34 +0100jedws(~jedws@101.184.202.248)
2021-02-18 15:05:47 +0100DataComputist(~lumeng@50.43.26.251)
2021-02-18 15:06:05 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-02-18 15:06:39 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 15:09:08 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-18 15:09:17 +0100 <boxscape> interestingly the corresponding class for which they used KProxy in the paper now uses neither Proxy nor KProxy in singletons https://hackage.haskell.org/package/singletons-2.7/docs/src/Data.Singletons.Prelude.Eq.html#PEq
2021-02-18 15:09:58 +0100heatsink(~heatsink@2600:1700:bef1:5e10:35b7:a56e:3faf:ceed)
2021-02-18 15:10:41 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 15:10:45 +0100poscat1(~poscat@123.116.67.131) (Ping timeout: 264 seconds)
2021-02-18 15:11:26 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-18 15:11:31 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-18 15:12:15 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2021-02-18 15:12:32 +0100poscat(~poscat@123.116.67.131)
2021-02-18 15:15:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:35b7:a56e:3faf:ceed) (Ping timeout: 264 seconds)
2021-02-18 15:15:50 +0100pavonia(~user@unaffiliated/siracusa)
2021-02-18 15:16:14 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-02-18 15:17:26 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 15:19:11 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 272 seconds)
2021-02-18 15:19:18 +0100deviantfero(~deviantfe@190.150.27.58)
2021-02-18 15:20:18 +0100 <tomsmeding> I guess TypeApplications became available afterwards?
2021-02-18 15:20:28 +0100zebrag(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr)
2021-02-18 15:20:35 +0100 <tomsmeding> and covered enough that the class didn't need a proxy anymore
2021-02-18 15:21:15 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-02-18 15:21:17 +0100hendursa1(~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursa1)
2021-02-18 15:21:39 +0100hendursaga(~weechat@gateway/tor-sasl/hendursaga)
2021-02-18 15:22:45 +0100Varis(~Tadas@unaffiliated/varis)
2021-02-18 15:23:38 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-18 15:23:56 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 15:24:17 +0100stefan-_(~cri@42dots.de) (Remote host closed the connection)
2021-02-18 15:25:19 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 15:26:14 +0100 <boxscape> that sounds like a reasonable guess
2021-02-18 15:26:16 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-18 15:26:23 +0100cur8or(~cur8or@2c0f:fbe1:3:30:23:cff9:797f:3fa4) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-18 15:28:42 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-02-18 15:28:56 +0100stefan-_(~cri@42dots.de)
2021-02-18 15:29:22 +0100frozenErebus(~frozenEre@94.128.219.166)
2021-02-18 15:29:43 +0100dunj3(~dunj3@p200300f61714a6925c87873f9ac9c753.dip0.t-ipconnect.de) (Quit: Leaving)
2021-02-18 15:30:27 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-18 15:31:39 +0100carlomagno(~cararell@148.87.23.5)
2021-02-18 15:33:30 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2021-02-18 15:40:06 +0100jedws(~jedws@101.184.202.248) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-18 15:40:44 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-02-18 15:41:07 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 15:41:13 +0100boxscape93(4ff0baf3@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.243)
2021-02-18 15:41:19 +0100boxscape93(4ff0baf3@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.243) (Client Quit)
2021-02-18 15:41:30 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-02-18 15:41:38 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-18 15:41:52 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 15:42:16 +0100cods(~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 240 seconds)
2021-02-18 15:45:22 +0100aggin(~ecm@103.88.87.77)
2021-02-18 15:45:49 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-18 15:45:56 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds)
2021-02-18 15:46:47 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-02-18 15:50:18 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-02-18 15:50:24 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 256 seconds)
2021-02-18 15:51:53 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:c8eb:6c3:dd7a:7957) (Quit: Leaving...)
2021-02-18 15:52:14 +0100aggin(~ecm@103.88.87.77) (Quit: WeeChat 3.0.1)
2021-02-18 15:53:04 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-02-18 15:53:20 +0100ephemera_(~E@122.34.1.187) (Quit: ephemera_)
2021-02-18 15:53:36 +0100ukari(~ukari@unaffiliated/ukari)
2021-02-18 15:55:04 +0100ephemera_(~E@122.34.1.187)
2021-02-18 15:55:21 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:1195:5c04:ec03:2d7b)
2021-02-18 15:56:45 +0100_xor(~xor@74.215.46.133) (Quit: WeeChat 3.0.1)
2021-02-18 15:57:17 +0100hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-02-18 15:57:47 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 15:57:50 +0100 <hyperisco> I have xs :: [IO ()] and I would like to run them concurrently, like runConcurrently :: [IO ()] -> IO ()
2021-02-18 15:57:57 +0100 <hyperisco> what is a convenient way to do that?
2021-02-18 15:58:34 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-02-18 15:58:55 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 15:58:57 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 16:00:29 +0100 <opqdonut> hyperisco: `mapM_ forkIO` if you're not interested in the results
2021-02-18 16:00:35 +0100kritzefitz(~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
2021-02-18 16:00:35 +0100 <opqdonut> :t mapM_ forkIO
2021-02-18 16:00:36 +0100cods(~fred@82-65-232-44.subs.proxad.net)
2021-02-18 16:00:37 +0100 <lambdabot> error:
2021-02-18 16:00:37 +0100 <lambdabot> Variable not in scope: forkIO :: a -> m b0
2021-02-18 16:00:48 +0100 <opqdonut> oh right I guess Control.Concurrent is hidden in lambdabot
2021-02-18 16:03:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-18 16:04:02 +0100 <hyperisco> oh okay, I thought I would need to do something special with that low level library
2021-02-18 16:04:03 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-02-18 16:04:21 +0100 <hyperisco> so the child threads are going to keep my program running until they terminate?
2021-02-18 16:05:08 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-18 16:06:23 +0100dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 260 seconds)
2021-02-18 16:08:24 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:1195:5c04:ec03:2d7b) (Remote host closed the connection)
2021-02-18 16:08:42 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-02-18 16:09:20 +0100Mathnerd314(uid442749@supertux/Mathnerd314)
2021-02-18 16:09:26 +0100acidjnk_new2(~acidjnk@p200300d0c73909228d1f962f50e6b749.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-02-18 16:11:18 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:1195:5c04:ec03:2d7b)
2021-02-18 16:12:06 +0100idhugo_(~idhugo@130.225.16.16)
2021-02-18 16:12:16 +0100ephemera_(~E@122.34.1.187) (Quit: ephemera_)
2021-02-18 16:12:40 +0100 <hyperisco> yeah, the child threads are killed, which is not what I want, and it requires extra work to fix that
2021-02-18 16:12:43 +0100 <hyperisco> is there anything simpler?
2021-02-18 16:12:47 +0100 <swarmcollective> hyperisco, you may want to use Semaphore or something similar, to allow your child threads to let the main thread know when they have completed.
2021-02-18 16:13:16 +0100 <swarmcollective> The main thread can wait for the Semaphore before ending.
2021-02-18 16:14:32 +0100 <tomsmeding> hyperisco: this one? https://hackage.haskell.org/package/async-2.2.3/docs/Control-Concurrent-Async.html#v:mapConcurrently
2021-02-18 16:14:36 +0100ephemera_(~E@122.34.1.187)
2021-02-18 16:15:02 +0100idhugo__(~idhugo@80-62-117-86-mobile.dk.customer.tdc.net) (Ping timeout: 272 seconds)
2021-02-18 16:15:26 +0100 <tomsmeding> it's not too hard to write something similar without additional dependencies, but in case you explicitly want a ready-made solution
2021-02-18 16:15:43 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-02-18 16:16:07 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 16:16:27 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:1195:5c04:ec03:2d7b) (Ping timeout: 260 seconds)
2021-02-18 16:18:22 +0100 <hyperisco> guess I just copy the code in the docs
2021-02-18 16:19:09 +0100LKoen(~LKoen@136.169.9.109.rev.sfr.net)
2021-02-18 16:19:35 +0100 <tomsmeding> it seems that the version from 'async' does have some robustness built-in in the face of exceptions and such
2021-02-18 16:19:54 +0100 <tomsmeding> depends on whether you need that :)
2021-02-18 16:21:00 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-18 16:22:17 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-02-18 16:22:53 +0100 <swarmcollective> Control.Concurrent.Async looks great. tomsmeding, thank you.
2021-02-18 16:23:35 +0100mnrmnaughawk
2021-02-18 16:25:29 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-18 16:26:23 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 16:28:00 +0100 <hyperisco> I am using the Haskell plugin for VSCode. Any idea how I can disable the "avoid lambda" blue underlines?
2021-02-18 16:28:06 +0100awkfind
2021-02-18 16:28:36 +0100frozenErebus(~frozenEre@94.128.219.166) (Ping timeout: 246 seconds)
2021-02-18 16:28:48 +0100findmnrmnaugh
2021-02-18 16:29:01 +0100frozenErebus(~frozenEre@94.128.219.166)
2021-02-18 16:29:03 +0100 <sm[m]> hyperisco: maybe they come from hlint ? So a hlint config file ?
2021-02-18 16:29:51 +0100 <sm[m]> (I don't remember a blue underline, but maybe that's just our themes)
2021-02-18 16:30:41 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 16:31:01 +0100Jd007(~Jd007@162.156.11.151)
2021-02-18 16:32:16 +0100idhugo(~idhugo@80-62-117-86-mobile.dk.customer.tdc.net)
2021-02-18 16:32:21 +0100 <hyperisco> doesn't say where to put the file https://hackage.haskell.org/package/hlint-1.7/src/hlint.htm#customization
2021-02-18 16:32:23 +0100 <hyperisco> any ideas?
2021-02-18 16:32:26 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 16:32:37 +0100 <hyperisco> the pragmas seem to be causing compiler errors
2021-02-18 16:33:55 +0100idhugo_(~idhugo@130.225.16.16) (Ping timeout: 260 seconds)
2021-02-18 16:34:12 +0100ddellaco_(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 16:35:19 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-02-18 16:37:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-18 16:38:06 +0100zebrag(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-18 16:38:25 +0100zebrag(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr)
2021-02-18 16:38:57 +0100frozenErebus(~frozenEre@94.128.219.166) (Ping timeout: 264 seconds)
2021-02-18 16:39:12 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:1195:5c04:ec03:2d7b)
2021-02-18 16:39:27 +0100idhugo_(~idhugo@130.225.16.16)
2021-02-18 16:41:53 +0100ericsagn1(~ericsagne@2405:6580:0:5100:5738:bc6a:4277:971e) (Ping timeout: 265 seconds)
2021-02-18 16:42:02 +0100idhugo(~idhugo@80-62-117-86-mobile.dk.customer.tdc.net) (Ping timeout: 264 seconds)
2021-02-18 16:43:18 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-02-18 16:43:32 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-02-18 16:43:39 +0100Tario(~Tario@201.192.165.173)
2021-02-18 16:44:02 +0100hseg(~gesh@IGLD-84-228-239-97.inter.net.il)
2021-02-18 16:44:20 +0100 <hseg> why is canonSign not in scope in the view pattern here http://ix.io/2PRD ?
2021-02-18 16:45:51 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 16:48:38 +0100 <dolio> hseg: LHS pattern scoping is prior to where.
2021-02-18 16:48:57 +0100 <hseg> :( so i need to move it out to global scope?
2021-02-18 16:49:02 +0100 <hseg> oh well
2021-02-18 16:49:20 +0100 <dolio> You could move it into the guard, which is after where.
2021-02-18 16:49:28 +0100 <dolio> Move the match, that is.
2021-02-18 16:49:56 +0100 <tomsmeding> you can use LHS-bound names in a 'where' block, so being able to use 'where'-bound things in a view pattern would create a circular dependency
2021-02-18 16:50:05 +0100 <hseg> fair
2021-02-18 16:50:17 +0100 <dolio> Yeah, if it were somehow interleaved that'd be very hard to figure out.
2021-02-18 16:50:21 +0100 <hseg> iirc you can have differing where blocks per match, no?
2021-02-18 16:50:36 +0100 <dolio> Yeah.
2021-02-18 16:51:30 +0100 <hseg> so that's a further reason to disallow what i wanted -- no way of knowing which wheres are in scope a prior
2021-02-18 16:51:34 +0100 <hseg> *priori
2021-02-18 16:52:07 +0100 <hseg> ofc, you could have a function-global where, but that's a bit silly for such a niche usecase
2021-02-18 16:52:14 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-18 16:53:01 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Client Quit)
2021-02-18 16:53:21 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-02-18 16:53:52 +0100vicfred(~vicfred@unaffiliated/vicfred) (Remote host closed the connection)
2021-02-18 16:54:28 +0100ericsagn1(~ericsagne@2405:6580:0:5100:2bc8:4fa9:77f0:c682)
2021-02-18 16:54:31 +0100ephemera_(~E@122.34.1.187) (Quit: ephemera_)
2021-02-18 16:55:02 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-02-18 16:55:36 +0100 <dolio> hseg: Yeah, in that situation I'd probably try to see if it could be written nicely with pattern guards.
2021-02-18 16:55:45 +0100 <dolio> So that a where could scope over them all.
2021-02-18 16:56:51 +0100 <dolio> Although a top level function is also not really a problem unless you don't have an export list.
2021-02-18 16:57:31 +0100 <hseg> fair
2021-02-18 16:57:50 +0100 <hseg> in any case, the function posted is mostly for testing purposes, no reason to get fancy
2021-02-18 16:57:58 +0100 <hseg> note, too, the partial matches
2021-02-18 16:59:42 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 17:00:52 +0100bergey(~user@107.181.19.30)
2021-02-18 17:02:18 +0100ephemera_(~E@122.34.1.187)
2021-02-18 17:02:29 +0100frozenErebus(~frozenEre@94.128.219.166)
2021-02-18 17:03:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-02-18 17:04:35 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-02-18 17:05:03 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-18 17:07:00 +0100ephemera_(~E@122.34.1.187) (Client Quit)
2021-02-18 17:09:17 +0100ephemera_(~E@122.34.1.187)
2021-02-18 17:10:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-18 17:10:12 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-02-18 17:10:22 +0100Deide(~Deide@217.155.19.23)
2021-02-18 17:10:53 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-18 17:11:13 +0100heatsink(~heatsink@2600:1700:bef1:5e10:35b7:a56e:3faf:ceed)
2021-02-18 17:13:00 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:b8ec:d51f:19ab:810a:831a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-18 17:13:05 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:1195:5c04:ec03:2d7b) (Remote host closed the connection)
2021-02-18 17:13:40 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:1195:5c04:ec03:2d7b)
2021-02-18 17:15:34 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 268 seconds)
2021-02-18 17:16:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:35b7:a56e:3faf:ceed) (Ping timeout: 264 seconds)
2021-02-18 17:16:29 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-02-18 17:17:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-18 17:17:09 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-02-18 17:18:04 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:1195:5c04:ec03:2d7b) (Ping timeout: 240 seconds)
2021-02-18 17:19:59 +0100 <raehik> O
2021-02-18 17:20:11 +0100hseg_(~gesh@IGLD-84-228-239-97.inter.net.il)
2021-02-18 17:20:30 +0100maier(~maier@i59F67BBD.versanet.de)
2021-02-18 17:20:31 +0100 <raehik> whoops - I'm trying to understand rank N types in Haskell and have a question
2021-02-18 17:20:46 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving)
2021-02-18 17:21:14 +0100 <raehik> my understanding is that Haskell does "full type erasure", meaning no types at runtime (likely a simplification, if even true, but)
2021-02-18 17:21:48 +0100 <dolio> It's not a simplification.
2021-02-18 17:22:35 +0100 <raehik> in something like `f :: (forall a. a -> Bool) -> (Bool, Bool)`, f takes a polymorphic function
2021-02-18 17:22:48 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-02-18 17:22:48 +0100 <raehik> how does that look at runtime?
2021-02-18 17:23:12 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-18 17:23:20 +0100hseg(~gesh@IGLD-84-228-239-97.inter.net.il) (Ping timeout: 256 seconds)
2021-02-18 17:24:04 +0100 <kuribas> The compiler could pass a void pointer
2021-02-18 17:24:35 +0100 <kuribas> it's an implementation detail, it depends on how values are represented internally.
2021-02-18 17:25:02 +0100 <dolio> How does which part look?
2021-02-18 17:26:05 +0100 <raehik> what does that function do at runtime, perhaps
2021-02-18 17:26:21 +0100 <dolio> Well, you haven't told us the implementation of `f`. :)
2021-02-18 17:27:11 +0100 <raehik> % f :: (forall a. a -> Bool) -> (Bool, Bool)
2021-02-18 17:27:12 +0100 <yahb> raehik: ; <interactive>:21:1: error: Variable not in scope: f
2021-02-18 17:27:33 +0100 <raehik> ah, I do not know the syntax I need. oh well
2021-02-18 17:27:58 +0100 <raehik> say `f g = (g 1, g 'a')` (taken from a blog post)
2021-02-18 17:28:25 +0100hseg_hseg
2021-02-18 17:28:34 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-02-18 17:28:49 +0100 <dolio> Okay, well, at runtime, it does pretty much exactly what that says. `f` takes a function `g` and calls it with `1` and `'a'`, collecting them in a tuple.
2021-02-18 17:29:08 +0100mupf(~micha@v22017094964653601.ultrasrv.de) (Ping timeout: 272 seconds)
2021-02-18 17:29:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-18 17:29:39 +0100epicte7us(~epictetus@45.86.67.84)
2021-02-18 17:30:33 +0100 <kuribas> g also cannot inspect its first value, so it doesn't need to know the type.
2021-02-18 17:30:45 +0100heatsink(~heatsink@2600:1700:bef1:5e10:35b7:a56e:3faf:ceed)
2021-02-18 17:31:12 +0100 <raehik> oh yeah, maybe I was confusing myself
2021-02-18 17:31:21 +0100 <kuribas> if g takes a typeclass constraint however, then it can inspect it. That's implemented by passing a typeclass dictionary.
2021-02-18 17:32:33 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection)
2021-02-18 17:32:36 +0100 <raehik> dolio, kuribas thanks, bit clearer on that now
2021-02-18 17:32:56 +0100 <hseg> so unfortunate that the semigroup-valued foldable functions don't return Maybe instead of erroring out
2021-02-18 17:33:29 +0100seneca(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 256 seconds)
2021-02-18 17:33:39 +0100 <kuribas> hseg: you can turn any semigroup into a monoid by wrapping in Maybe
2021-02-18 17:33:42 +0100juri_(~juri@178.63.35.222) (Ping timeout: 246 seconds)
2021-02-18 17:33:52 +0100 <kuribas> (thanks to merijn for pointing that out)
2021-02-18 17:34:08 +0100epicte7us(~epictetus@45.86.67.84) (Ping timeout: 260 seconds)
2021-02-18 17:34:21 +0100 <hseg> sure. but it's annoying to have to do it, and it is a surprising semantic inaccuracy
2021-02-18 17:34:31 +0100 <kuribas> hseg: what would you want then?
2021-02-18 17:34:34 +0100 <hseg> e.g. would've expected maximum :: f a -> Maybe a
2021-02-18 17:34:40 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-18 17:34:50 +0100 <kuribas> :t maximum
2021-02-18 17:34:51 +0100 <lambdabot> (Foldable t, Ord a) => t a -> a
2021-02-18 17:35:02 +0100 <hseg> with possibly a FoldableNE for known-nonempty structures
2021-02-18 17:35:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-18 17:35:19 +0100 <hseg> which would have maximum :: t a - >a
2021-02-18 17:35:21 +0100 <kuribas> or (Foldable t, Bounded a, Ord a) => t a -> a
2021-02-18 17:35:41 +0100juri_(~juri@178.63.35.222)
2021-02-18 17:35:53 +0100 <kuribas> maximum = foldl' max maxBound
2021-02-18 17:36:01 +0100Wuzzy(~Wuzzy@p5790ee53.dip0.t-ipconnect.de)
2021-02-18 17:36:08 +0100 <hseg> sure, but that's a blunt way of assuming monoids
2021-02-18 17:36:44 +0100 <kuribas> I can only guess maximum was there before total functions where considered important.
2021-02-18 17:36:56 +0100 <hseg> yup. historical reasons, as usual
2021-02-18 17:37:44 +0100 <hseg> though afaict it's more that semigroups were introduced late in haskell's history
2021-02-18 17:39:02 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds)
2021-02-18 17:40:51 +0100 <hseg> hrm. golfing exercise, is it possible to pull out sumTruncs from the case branches in http://ix.io/2PSe ?
2021-02-18 17:41:10 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-02-18 17:41:17 +0100 <hseg> i guess i *could* explicitly define sumTruncs [] = 1
2021-02-18 17:41:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-18 17:41:23 +0100 <hseg> but that's pretty ugly
2021-02-18 17:41:31 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-02-18 17:42:11 +0100cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0.1)
2021-02-18 17:42:22 +0100 <hseg> dammit, gtg. sorry
2021-02-18 17:44:52 +0100Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 256 seconds)
2021-02-18 17:46:11 +0100Cthalupa(~cthulhu@47.186.47.75)
2021-02-18 17:46:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-02-18 17:47:20 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-18 17:47:53 +0100conal(~conal@64.71.133.70)
2021-02-18 17:47:56 +0100maier(~maier@i59F67BBD.versanet.de) (Quit: leaving)
2021-02-18 17:51:56 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-18 17:53:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-02-18 17:53:17 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-02-18 17:53:21 +0100 <tomsmeding> hseg: to be able to pull sumTruncs out, you probably first have to know what happens for length >= 4 :p
2021-02-18 17:55:23 +0100geekosaur(82650c7a@130.101.12.122)
2021-02-18 17:55:53 +0100mupf(~micha@v22017094964653601.ultrasrv.de)
2021-02-18 17:58:09 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-02-18 17:58:43 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 18:00:39 +0100ddellaco_(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-02-18 18:03:51 +0100Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 265 seconds)
2021-02-18 18:07:57 +0100boxscape(4ff0baf3@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.243) (Quit: Connection closed)
2021-02-18 18:08:52 +0100idhugo_(~idhugo@130.225.16.16) (Read error: Connection reset by peer)
2021-02-18 18:10:27 +0100idhugo_(~idhugo@80-62-117-86-mobile.dk.customer.tdc.net)
2021-02-18 18:16:48 +0100minoru_shiraeesh(~shiraeesh@109.166.59.203)
2021-02-18 18:22:57 +0100idhugo_(~idhugo@80-62-117-86-mobile.dk.customer.tdc.net) (Ping timeout: 272 seconds)
2021-02-18 18:27:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-18 18:29:42 +0100ClaudiusMaximus(~claude@191.123.199.146.dyn.plus.net)
2021-02-18 18:29:47 +0100ClaudiusMaximus(~claude@191.123.199.146.dyn.plus.net) (Changing host)
2021-02-18 18:29:47 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2021-02-18 18:30:26 +0100tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 265 seconds)
2021-02-18 18:31:53 +0100tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com)
2021-02-18 18:32:45 +0100kritzefitz(~kritzefit@212.86.56.80)
2021-02-18 18:32:51 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-02-18 18:33:34 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-18 18:33:39 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-02-18 18:34:01 +0100kritzefitz(~kritzefit@212.86.56.80) (Client Quit)
2021-02-18 18:36:33 +0100frozenErebus(~frozenEre@94.128.219.166) (Ping timeout: 264 seconds)
2021-02-18 18:38:05 +0100zebrag(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-18 18:38:25 +0100zebrag(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr)
2021-02-18 18:40:22 +0100 <ephemient> gentauro dminuoso: yes and not relevant to me. it was only to help kenran who was forced to use some specific Nix build setup
2021-02-18 18:40:24 +0100whald(~trem@2a02:810a:8100:11a6:6add:8278:ed3e:652f) (Remote host closed the connection)
2021-02-18 18:42:36 +0100mupf(~micha@v22017094964653601.ultrasrv.de) (Ping timeout: 272 seconds)
2021-02-18 18:44:40 +0100 <shapr> I still haven't really tried haskell.nix
2021-02-18 18:45:13 +0100 <shapr> so far this handles everything I need https://github.com/utdemir/hs-nix-template/
2021-02-18 18:45:31 +0100rajivr(uid269651@gateway/web/irccloud.com/x-mwramyxufkmsalyn) (Quit: Connection closed for inactivity)
2021-02-18 18:46:02 +0100tremon(~aschuring@217-63-61-89.cable.dynamic.v4.ziggo.nl)
2021-02-18 18:46:11 +0100frozenErebus(~frozenEre@94.128.219.166)
2021-02-18 18:46:14 +0100xff0x(~xff0x@2001:1a81:5211:3400:6f06:3daa:f36f:96b7) (Ping timeout: 264 seconds)
2021-02-18 18:46:52 +0100xff0x(~xff0x@2001:1a81:5211:3400:b3d2:3c55:a1fe:204b)
2021-02-18 18:49:26 +0100kuribas(~user@ptr-25vy0i9b5wc7rnbhuzj.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-02-18 18:49:32 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-18 18:50:18 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 18:54:09 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-02-18 18:56:50 +0100dcoutts(~duncan@85.186.125.91.dyn.plus.net) (Ping timeout: 256 seconds)
2021-02-18 18:56:57 +0100heatsink(~heatsink@2600:1700:bef1:5e10:35b7:a56e:3faf:ceed) (Remote host closed the connection)
2021-02-18 18:57:03 +0100todda7(~torstein@172.98.93.176) (Read error: Connection reset by peer)
2021-02-18 18:59:43 +0100todda7(~torstein@2a02:587:1b14:d00:5ec3:abec:812c:b3e2)
2021-02-18 19:01:43 +0100davros_(~davros@host86-185-61-33.range86-185.btcentralplus.com)
2021-02-18 19:02:20 +0100robotmay(~beepboop@80.172.187.81.in-addr.arpa) (Remote host closed the connection)
2021-02-18 19:02:32 +0100borne(~fritjof@200116b864cafb00a9b5d4f34e3c7d10.dip.versatel-1u1.de) (Ping timeout: 265 seconds)
2021-02-18 19:03:16 +0100davros(~davros@host86-185-99-39.range86-185.btcentralplus.com) (Ping timeout: 260 seconds)
2021-02-18 19:03:41 +0100robotmay(~beepboop@81.187.172.80)
2021-02-18 19:05:23 +0100pgib(~textual@lmms/pgib) (Ping timeout: 272 seconds)
2021-02-18 19:09:04 +0100mupf(~micha@v22017094964653601.ultrasrv.de)
2021-02-18 19:12:01 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 19:12:50 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-18 19:16:16 +0100hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Disconnected by services)
2021-02-18 19:16:16 +0100noecho(~noecho@2a01:4f8:1c0c:80ee::4223) (Quit: ZNC - http://znc.in)
2021-02-18 19:16:19 +0100hyperisco_(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-02-18 19:16:26 +0100thc202(~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds)
2021-02-18 19:16:47 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 272 seconds)
2021-02-18 19:16:49 +0100noecho(~noecho@2a01:4f8:1c0c:80ee::4223)
2021-02-18 19:18:32 +0100hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-02-18 19:19:51 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-18 19:20:47 +0100dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-02-18 19:22:20 +0100hyperisco_(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 256 seconds)
2021-02-18 19:23:42 +0100ubert(~Thunderbi@p200300ecdf25d949e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-02-18 19:34:02 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-02-18 19:35:29 +0100hiroaki(~hiroaki@ip4d166d67.dynamic.kabel-deutschland.de)
2021-02-18 19:39:31 +0100finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-02-18 19:40:06 +0100finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-02-18 19:41:30 +0100ixaxaar(~ixaxaar@49.207.197.94) (Ping timeout: 272 seconds)
2021-02-18 19:43:01 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-02-18 19:43:09 +0100Copperis(~Tadas@unaffiliated/varis)
2021-02-18 19:43:35 +0100Copperis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-02-18 19:43:39 +0100Varis(~Tadas@unaffiliated/varis)
2021-02-18 19:45:22 +0100geekosaur(82650c7a@130.101.12.122)
2021-02-18 19:49:50 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-18 19:51:06 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 19:52:24 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-02-18 19:54:53 +0100mauro^(mauro@ip98-184-89-2.mc.at.cox.net) ()
2021-02-18 19:55:27 +0100ddellaco_(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 19:56:03 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 272 seconds)
2021-02-18 19:56:12 +0100heatsink(~heatsink@2600:1700:bef1:5e10:3898:afc8:9032:fc52)
2021-02-18 19:57:09 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-02-18 19:59:08 +0100Varis(~Tadas@unaffiliated/varis)
2021-02-18 19:59:39 +0100mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 246 seconds)
2021-02-18 19:59:42 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-02-18 20:02:36 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-nfuemwaruwwrcdyz) (Quit: Connection closed for inactivity)
2021-02-18 20:03:18 +0100berberman_(~berberman@unaffiliated/berberman)
2021-02-18 20:03:56 +0100frozenErebus(~frozenEre@94.128.219.166) (Ping timeout: 260 seconds)
2021-02-18 20:04:11 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-18 20:04:23 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 268 seconds)
2021-02-18 20:05:07 +0100ddellaco_(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-02-18 20:07:01 +0100mrchampion(~mrchampio@38.18.109.23)
2021-02-18 20:12:28 +0100howdoi(uid224@gateway/web/irccloud.com/x-uylrwcqhbpwwjwcj)
2021-02-18 20:15:07 +0100ryjm(sid383513@gateway/web/irccloud.com/x-nwcdeqfygfvvwnek) (Remote host closed the connection)
2021-02-18 20:15:07 +0100saitamaplus(uid272474@gateway/web/irccloud.com/x-smrbtdsrshobzxqj) (Remote host closed the connection)
2021-02-18 20:15:07 +0100SrPx(sid108780@gateway/web/irccloud.com/x-xeyoppkmzthbgxfh) (Remote host closed the connection)
2021-02-18 20:15:07 +0100benwr____(sid372383@gateway/web/irccloud.com/x-obfqyyfjkqcxzisl) (Remote host closed the connection)
2021-02-18 20:15:07 +0100joshmeredith(sid387798@gateway/web/irccloud.com/x-lldrrdcotjmdutbt) (Remote host closed the connection)
2021-02-18 20:15:07 +0100banjiewen__(sid115913@gateway/web/irccloud.com/x-rxizbwtjjnuzayjr) (Remote host closed the connection)
2021-02-18 20:15:07 +0100totbwf(sid402332@gateway/web/irccloud.com/x-efmvgwltwrmkihlo) (Remote host closed the connection)
2021-02-18 20:15:07 +0100benjamingr__(uid23465@gateway/web/irccloud.com/x-afesmugpvwqppibh) (Remote host closed the connection)
2021-02-18 20:15:07 +0100sz0(uid110435@gateway/web/irccloud.com/x-ihvnvkqpmcfzhlan) (Remote host closed the connection)
2021-02-18 20:15:07 +0100Kronic(sid480486@gateway/web/irccloud.com/x-eptmlncvrvheldhb) (Remote host closed the connection)
2021-02-18 20:15:07 +0100jared-w(uid405292@gateway/web/irccloud.com/x-ktponzsrqsrqqshk) (Remote host closed the connection)
2021-02-18 20:15:07 +0100systemfault(sid267009@gateway/web/irccloud.com/x-sycokhlnrqfymetl) (Remote host closed the connection)
2021-02-18 20:15:07 +0100davetapley(sid666@gateway/web/irccloud.com/x-xoidpzjqcwmtizrx) (Remote host closed the connection)
2021-02-18 20:15:07 +0100cemerick(sid54985@gateway/web/irccloud.com/x-jglravvsvdfxjbnh) (Remote host closed the connection)
2021-02-18 20:15:07 +0100wpcarro_(sid397589@gateway/web/irccloud.com/x-oubwxlousntqgwyh) (Remote host closed the connection)
2021-02-18 20:15:07 +0100ebutleriv(sid217783@gateway/web/irccloud.com/x-wyllfvukwzxhrpoj) (Remote host closed the connection)
2021-02-18 20:15:07 +0100d0liver(sid363046@gateway/web/irccloud.com/x-jlmsgmfxnaiohbto) (Remote host closed the connection)
2021-02-18 20:15:07 +0100bradparker(sid262931@gateway/web/irccloud.com/x-aoftfgwjjjtthnkw) (Remote host closed the connection)
2021-02-18 20:15:07 +0100liquorice(sid267884@gateway/web/irccloud.com/x-ezdijuanrzsjyhqd) (Remote host closed the connection)
2021-02-18 20:15:07 +0100eruditass(uid248673@gateway/web/irccloud.com/x-hyzngzzwawmxanqs) (Remote host closed the connection)
2021-02-18 20:15:07 +0100gOOgler(uid125351@gateway/web/irccloud.com/x-sfsvhlxqubpwlcwh) (Remote host closed the connection)
2021-02-18 20:15:07 +0100benkolera(sid285671@gateway/web/irccloud.com/x-gmncvsiyaolgodyc) (Remote host closed the connection)
2021-02-18 20:15:07 +0100AndreasK(uid320732@gateway/web/irccloud.com/x-hnvqnywdvovvyrlx) (Remote host closed the connection)
2021-02-18 20:15:07 +0100lally(sid388228@gateway/web/irccloud.com/x-atokysbqldyuqfqn) (Remote host closed the connection)
2021-02-18 20:15:07 +0100aristid(sid1599@gateway/web/irccloud.com/x-jybplvicyqjmurtr) (Remote host closed the connection)
2021-02-18 20:15:07 +0100natim87(sid286962@gateway/web/irccloud.com/x-hegvxwwmkdvahvbd) (Remote host closed the connection)
2021-02-18 20:15:07 +0100ReinH__(sid179972@gateway/web/irccloud.com/x-gcxzwqnydfiwmasa) (Remote host closed the connection)
2021-02-18 20:15:07 +0100alanz_(sid110616@gateway/web/irccloud.com/x-jhotivqlnsrcfxyh) (Remote host closed the connection)
2021-02-18 20:17:26 +0100geekosaur(82650c7a@130.101.12.122)
2021-02-18 20:17:57 +0100Jd007(~Jd007@162.156.11.151) (Ping timeout: 264 seconds)
2021-02-18 20:19:52 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-02-18 20:23:42 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred)
2021-02-18 20:24:28 +0100son0p(~son0p@181.58.39.182) (Ping timeout: 260 seconds)
2021-02-18 20:26:48 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 20:30:56 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection)
2021-02-18 20:32:23 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-18 20:34:07 +0100hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Disconnected by services)
2021-02-18 20:34:08 +0100hyperisco_(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-02-18 20:34:18 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-18 20:34:55 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2021-02-18 20:35:13 +0100deviantfero(~deviantfe@190.150.27.58) (Ping timeout: 272 seconds)
2021-02-18 20:36:45 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Quit: Leaving.)
2021-02-18 20:38:05 +0100zebrag(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-18 20:38:16 +0100darjeeling_(~darjeelin@122.245.216.187) (Ping timeout: 256 seconds)
2021-02-18 20:38:25 +0100zebrag(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr)
2021-02-18 20:39:02 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-02-18 20:39:31 +0100deviantfero(~deviantfe@190.150.27.58)
2021-02-18 20:41:13 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-02-18 20:41:16 +0100augnun(~augnun@2804:14c:658b:41bb:1e55:4af5:c260:747d)
2021-02-18 20:43:00 +0100dcoutts(~duncan@85.186.125.91.dyn.plus.net)
2021-02-18 20:45:35 +0100charukiewicz(~quassel@irouteince04.i.subnet.rcn.com) (Ping timeout: 256 seconds)
2021-02-18 20:45:50 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone)
2021-02-18 20:46:56 +0100charukiewicz(~quassel@irouteince04.i.subnet.rcn.com)
2021-02-18 20:47:33 +0100Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-02-18 20:48:20 +0100davetapley(sid666@gateway/web/irccloud.com/x-wedgolpvdcnafkhj)
2021-02-18 20:48:34 +0100aristid(sid1599@gateway/web/irccloud.com/x-evwyvcbruuoysmaw)
2021-02-18 20:48:52 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-18 20:49:01 +0100cemerick(sid54985@gateway/web/irccloud.com/x-cyjmhavwawqlmvhy)
2021-02-18 20:49:25 +0100alanz_(sid110616@gateway/web/irccloud.com/x-uhcivuwttoegdzkq)
2021-02-18 20:49:37 +0100banjiewen__(sid115913@gateway/web/irccloud.com/x-gjwuelshmqccaosk)
2021-02-18 20:49:41 +0100SrPx(sid108780@gateway/web/irccloud.com/x-obncespiasianhpw)
2021-02-18 20:51:34 +0100ReinH__(sid179972@gateway/web/irccloud.com/x-dtmsidrvobakalwl)
2021-02-18 20:51:57 +0100ebutleriv(sid217783@gateway/web/irccloud.com/x-rlwgghcxoocdgsrb)
2021-02-18 20:52:08 +0100bradparker(sid262931@gateway/web/irccloud.com/x-mlcwlxeychtkqwnh)
2021-02-18 20:52:09 +0100liquorice(sid267884@gateway/web/irccloud.com/x-gubtshrwqngglvqm)
2021-02-18 20:52:10 +0100systemfault(sid267009@gateway/web/irccloud.com/x-utqoaimrxszipruf)
2021-02-18 20:52:52 +0100d0liver(sid363046@gateway/web/irccloud.com/x-mowergtrtkquyyqw)
2021-02-18 20:53:11 +0100frozenErebus(~frozenEre@94.128.219.166)
2021-02-18 20:53:12 +0100darjeeling_(~darjeelin@122.245.216.187)
2021-02-18 20:53:18 +0100joshmeredith(sid387798@gateway/web/irccloud.com/x-dozlolkmvgdbflde)
2021-02-18 20:53:18 +0100lally(sid388228@gateway/web/irccloud.com/x-xvklboeubojhbnmy)
2021-02-18 20:53:26 +0100chisui(588298de@88.130.152.222)
2021-02-18 20:53:41 +0100totbwf(sid402332@gateway/web/irccloud.com/x-wiqsnxkkdnvwjlxf)
2021-02-18 20:53:41 +0100wpcarro_(sid397589@gateway/web/irccloud.com/x-pfgsnhwguszkmlqc)
2021-02-18 20:54:44 +0100Kronic(sid480486@gateway/web/irccloud.com/x-vauhtllgejegspxj)
2021-02-18 20:55:07 +0100benjamingr__(uid23465@gateway/web/irccloud.com/x-zvcxbqgzfqrtqtlp)
2021-02-18 20:55:50 +0100 <tomjaguarpaw> GHC 8.10 has -fmax-pmcheck-models where < 8.10 had -fmax-pmcheck-iterations. If I have -Werror set then the latter triggers a build failure on 8.10. -Wwarn=deprecations doesn't seem to avert that. Is there anyway of having -Werror set and using -fmax-pmcheck-iterations in a way that works on 8.6 and 8.10?
2021-02-18 20:55:55 +0100gOOgler(uid125351@gateway/web/irccloud.com/x-oxgdnvjbidnirylx)
2021-02-18 20:56:02 +0100sz0(uid110435@gateway/web/irccloud.com/x-amlbigknjrufidgi)
2021-02-18 20:56:11 +0100acidjnk_new2(~acidjnk@p200300d0c7390922a05b4912fb2bf4b2.dip0.t-ipconnect.de)
2021-02-18 20:57:36 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-02-18 20:57:54 +0100saitamaplus(uid272474@gateway/web/irccloud.com/x-swenpcfmrvvcytfx)
2021-02-18 20:57:59 +0100benkolera(sid285671@gateway/web/irccloud.com/x-lifhusbybvejcfkc)
2021-02-18 20:58:02 +0100natim87(sid286962@gateway/web/irccloud.com/x-ffjbakcdhgnjnzoe)
2021-02-18 20:58:15 +0100AndreasK(sid320732@gateway/web/irccloud.com/x-dybdnamfkvyrhslv)
2021-02-18 20:58:22 +0100eruditass(uid248673@gateway/web/irccloud.com/x-syoqotdgzpgjvecp)
2021-02-18 20:58:37 +0100Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 256 seconds)
2021-02-18 20:58:41 +0100benwr____(sid372383@gateway/web/irccloud.com/x-lfskjrhdvdnzdhmn)
2021-02-18 20:59:02 +0100ryjm(sid383513@gateway/web/irccloud.com/x-uwvroghwmagqppfc)
2021-02-18 20:59:26 +0100 <chisui> @tomjaguarpaw what build system are you using?
2021-02-18 20:59:26 +0100 <lambdabot> Unknown command, try @list
2021-02-18 20:59:31 +0100 <tomjaguarpaw> cabal
2021-02-18 20:59:53 +0100jared-w(uid405292@gateway/web/irccloud.com/x-rzcecxfpuvgmvizi)
2021-02-18 21:01:00 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-02-18 21:01:17 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2021-02-18 21:01:47 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-18 21:02:40 +0100 <chisui> tomjaguarpaw: you can use CPP macros inside of cabal project files if I'm not mistaken
2021-02-18 21:03:38 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-02-18 21:03:47 +0100 <geekosaur> this wouldn't be a cpp macro, it'd be a conditional
2021-02-18 21:04:01 +0100 <geekosaur> if impl(ghc < 8.10)
2021-02-18 21:04:06 +0100 <geekosaur> or similar
2021-02-18 21:04:14 +0100 <tomsmeding> (docs: https://cabal.readthedocs.io/en/latest/cabal-package.html#conditions )
2021-02-18 21:05:35 +0100petersen(~petersen@redhat/juhp) (Ping timeout: 265 seconds)
2021-02-18 21:05:35 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds)
2021-02-18 21:07:21 +0100petersen(~petersen@redhat/juhp)
2021-02-18 21:07:23 +0100__minoru__shirae(~shiraeesh@46.34.206.35)
2021-02-18 21:07:40 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-18 21:08:19 +0100 <tomjaguarpaw> Aha, that could be useful, thanks!
2021-02-18 21:08:20 +0100minoru_shiraeesh(~shiraeesh@109.166.59.203) (Ping timeout: 260 seconds)
2021-02-18 21:08:51 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-18 21:09:01 +0100Cthalupa(~cthulhu@47.186.47.75)
2021-02-18 21:09:16 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-18 21:10:54 +0100charukiewicz(~quassel@irouteince04.i.subnet.rcn.com) (Ping timeout: 265 seconds)
2021-02-18 21:11:05 +0100charukiewicz(~quassel@irouteinc255.i.subnet.rcn.com)
2021-02-18 21:11:37 +0100 <tomsmeding> tomjaguarpaw: are you using -Werror for CI? Just curious, asking as a person who hates -Werror with a passion for non-CI purposes :p
2021-02-18 21:12:05 +0100 <tomjaguarpaw> Yes, and as a fellow Tom, I am with you on that!
2021-02-18 21:12:36 +0100average(uid473595@gateway/web/irccloud.com/x-orjomfzptbyeuejj) (Quit: Connection closed for inactivity)
2021-02-18 21:12:43 +0100 <tomsmeding> :D
2021-02-18 21:13:19 +0100tomsmedingremembers GoogleTest
2021-02-18 21:13:25 +0100Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 240 seconds)
2021-02-18 21:13:43 +0100tomjaguarpawdoesn't
2021-02-18 21:14:23 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-18 21:14:23 +0100mananamenos(~mananamen@37.red-88-27-26.staticip.rima-tde.net)
2021-02-18 21:14:37 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-18 21:15:10 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-18 21:15:25 +0100 <tomsmeding> GoogleTest is a C++ library that stubbornly turns on -Werror in release versions, ensuring that everyone who tries to use almost the latest version of the library on an up-to-date system will run into non-buildable stuff
2021-02-18 21:15:29 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-18 21:15:57 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-18 21:16:12 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-18 21:16:45 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-18 21:17:02 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-18 21:17:04 +0100 <monochrom> Nice, if it doesn't build, there is no further CPU or RAM or disk I/O to spend on further testing. This cuts costs. >:)
2021-02-18 21:17:33 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-18 21:17:48 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-18 21:17:52 +0100 <tomjaguarpaw> If it is a Haskell program then it is pure, so you can just repeat the result each time without running anything!
2021-02-18 21:18:21 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-18 21:18:29 +0100 <mananamenos> hi, I can't find any function similar to `permutations` from Data.List, but without taking into account the order [1,2] would be the same as [2,1].
2021-02-18 21:19:02 +0100 <tomsmeding> mananamenos: can you give an example of what that function would return on a simple input?
2021-02-18 21:19:19 +0100slack1256(~slack1256@45.4.2.52)
2021-02-18 21:19:27 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-rkuvlqfgcztposvb)
2021-02-18 21:19:57 +0100jonathanx_(~jonathan@h-176-109.A357.priv.bahnhof.se) (Quit: Leaving)
2021-02-18 21:22:03 +0100alx741(~alx741@186.178.109.49) (Quit: alx741)
2021-02-18 21:22:12 +0100 <tomjaguarpaw> I guess it's this combinations n = \case { [] -> if n == 0 then [[]] else []; x:xs -> fmap (x:) (combinations (n-1) xs) ++ combinations n xs }
2021-02-18 21:22:35 +0100 <mananamenos> tomsmeding, it's n!/(k!(n-k)!) formula
2021-02-18 21:22:44 +0100Cthalupa(~cthulhu@47.186.47.75)
2021-02-18 21:22:44 +0100conal(~conal@64.71.133.70)
2021-02-18 21:22:47 +0100 <tomjaguarpaw> combinations 3 [1..4] = [[1,2,3],[1,2,4],[1,3,4],[2,3,4]]
2021-02-18 21:23:16 +0100frozenErebus(~frozenEre@94.128.219.166) (Ping timeout: 260 seconds)
2021-02-18 21:23:18 +0100 <tomsmeding> then, yes what tomjaguarpaw gave :p
2021-02-18 21:23:43 +0100 <mananamenos> so there's nothing built then, i see
2021-02-18 21:23:49 +0100 <mananamenos> thank you
2021-02-18 21:23:57 +0100 <mananamenos> *built in
2021-02-18 21:24:32 +0100 <tomjaguarpaw> I haven't seen one built in. Arguably there should be.
2021-02-18 21:24:52 +0100 <tomjaguarpaw> It's actually easier to write than permutations.
2021-02-18 21:25:03 +0100theodorc(theodorc@cassarossa.samfundet.no)
2021-02-18 21:26:22 +0100 <ski> > (`evalStateT` "abcd") (replicateM 3 (StateT (\xs0 -> [(x,xs) | x:xs <- tails xs0])))
2021-02-18 21:26:23 +0100 <lambdabot> ["abc","abd","acd","bcd"]
2021-02-18 21:26:57 +0100 <tomjaguarpaw> Oooh
2021-02-18 21:27:09 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2021-02-18 21:27:48 +0100 <monochrom> subsequences
2021-02-18 21:28:18 +0100Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 265 seconds)
2021-02-18 21:28:22 +0100 <tomsmeding> if you don't care about complexity, that is
2021-02-18 21:28:39 +0100 <tomsmeding> > filter ((== 3) . length) (subsequences [1..4])
2021-02-18 21:28:40 +0100 <lambdabot> [[1,2,3],[1,2,4],[1,3,4],[2,3,4]]
2021-02-18 21:29:41 +0100heatsink(~heatsink@2600:1700:bef1:5e10:3898:afc8:9032:fc52) (Remote host closed the connection)
2021-02-18 21:29:44 +0100 <mananamenos> nice and simple :)
2021-02-18 21:30:17 +0100forgottenone(~forgotten@176.42.30.133) (Quit: Konversation terminated!)
2021-02-18 21:30:46 +0100Cthalupa(~cthulhu@47.186.47.75)
2021-02-18 21:31:08 +0100new_haskeller(~new_haske@2607:fea8:be1f:ddc0:8d66:e007:d61a:1c5c)
2021-02-18 21:31:36 +0100skionce wrote it in C, as a `for'-loop, with one `goto' out from the body, and one `goto' back inside it
2021-02-18 21:33:02 +0100chisui(588298de@88.130.152.222) (Ping timeout: 240 seconds)
2021-02-18 21:33:19 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 21:38:07 +0100zebrag(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr) (Read error: Connection reset by peer)
2021-02-18 21:38:26 +0100zebrag(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr)
2021-02-18 21:38:29 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.0)
2021-02-18 21:40:49 +0100 <tomsmeding> tomjaguarpaw's version is terribly inefficient though, almost as slow as the version with 'subsequences' :p
2021-02-18 21:41:31 +0100 <tomsmeding> faster version that actually completes in O(length ^ n):
2021-02-18 21:41:33 +0100 <tomsmeding> combinations 0 _ = [[]] ; combinations _ [] = [] ; combinations n (x:xs) = map (x:) (combinations (n-1) xs) ++ combinations n xs
2021-02-18 21:41:44 +0100Miroboru(~myrvoll@46.249.230.40) (Ping timeout: 256 seconds)
2021-02-18 21:41:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-18 21:42:00 +0100Miroboru(~myrvoll@78.91.103.181)
2021-02-18 21:42:04 +0100 <tomsmeding> the 'subsequences' one takes O(2 ^ length) time :p
2021-02-18 21:42:18 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-02-18 21:42:51 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-02-18 21:42:57 +0100 <tomsmeding> exercise to the reader: find out why my version of 'combinations' is quite a bit faster than tomjaguarpaw's version if n < length
2021-02-18 21:43:35 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-18 21:45:40 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-18 21:46:09 +0100 <monochrom> That's very strange. It's the same logic, especially the same early abort.
2021-02-18 21:46:48 +0100 <tomsmeding> what happens if you call 'combinations 0 [1,2,3]'?
2021-02-18 21:47:18 +0100 <monochrom> OK I see.
2021-02-18 21:47:39 +0100 <tomsmeding> :)
2021-02-18 21:47:45 +0100 <tomsmeding> it took me quite a while :p
2021-02-18 21:48:13 +0100 <mananamenos> :)
2021-02-18 21:49:09 +0100 <dolio> Or `combinations 0 (1:undefined)`
2021-02-18 21:49:12 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-02-18 21:49:50 +0100 <tomsmeding> or add a check that asserts n is never negative, and observe it to fail :p
2021-02-18 21:51:08 +0100cur8or(~cur8or@196.41.98.130)
2021-02-18 21:51:45 +0100troydm(~troydm@unaffiliated/troydm) (Ping timeout: 240 seconds)
2021-02-18 21:53:11 +0100pera(~pera@unaffiliated/pera) (Quit: leaving)
2021-02-18 21:53:52 +0100alx741(~alx741@186.178.109.49)
2021-02-18 21:53:58 +0100Miroboru(~myrvoll@78.91.103.181) (Quit: Lost terminal)
2021-02-18 21:54:55 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds)
2021-02-18 21:56:22 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-02-18 21:56:26 +0100cur8or_(~cur8or@72canterbury.cybersmart.co.za)
2021-02-18 21:56:28 +0100cur8or(~cur8or@196.41.98.130) (Ping timeout: 256 seconds)
2021-02-18 21:56:39 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-18 21:59:20 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-02-18 22:00:02 +0100texasmynsted_(~texasmyns@99.96.221.112)
2021-02-18 22:00:32 +0100hiroaki(~hiroaki@ip4d166d67.dynamic.kabel-deutschland.de) (Killed (Sigyn (Spam is off topic on freenode.)))
2021-02-18 22:01:45 +0100texasmynsted(~texasmyns@99.96.221.112) (Ping timeout: 240 seconds)
2021-02-18 22:01:45 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-18 22:01:54 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-18 22:02:03 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 22:03:34 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-02-18 22:03:43 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 22:03:47 +0100augnun_(~augnun@2804:14c:658b:41bb:75dd:811:d3d0:aa5d)
2021-02-18 22:04:50 +0100augnun(~augnun@2804:14c:658b:41bb:1e55:4af5:c260:747d) (Ping timeout: 264 seconds)
2021-02-18 22:04:54 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-02-18 22:05:05 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 22:05:42 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-02-18 22:05:53 +0100ebutleriv(sid217783@gateway/web/irccloud.com/x-rlwgghcxoocdgsrb) (Remote host closed the connection)
2021-02-18 22:05:53 +0100benkolera(sid285671@gateway/web/irccloud.com/x-lifhusbybvejcfkc) (Remote host closed the connection)
2021-02-18 22:05:53 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 22:05:53 +0100saitamaplus(uid272474@gateway/web/irccloud.com/x-swenpcfmrvvcytfx) (Remote host closed the connection)
2021-02-18 22:05:53 +0100Kronic(sid480486@gateway/web/irccloud.com/x-vauhtllgejegspxj) (Remote host closed the connection)
2021-02-18 22:05:53 +0100eruditass(uid248673@gateway/web/irccloud.com/x-syoqotdgzpgjvecp) (Remote host closed the connection)
2021-02-18 22:05:53 +0100davetapley(sid666@gateway/web/irccloud.com/x-wedgolpvdcnafkhj) (Remote host closed the connection)
2021-02-18 22:05:53 +0100banjiewen__(sid115913@gateway/web/irccloud.com/x-gjwuelshmqccaosk) (Remote host closed the connection)
2021-02-18 22:05:53 +0100cemerick(sid54985@gateway/web/irccloud.com/x-cyjmhavwawqlmvhy) (Remote host closed the connection)
2021-02-18 22:05:53 +0100bradparker(sid262931@gateway/web/irccloud.com/x-mlcwlxeychtkqwnh) (Remote host closed the connection)
2021-02-18 22:05:53 +0100systemfault(sid267009@gateway/web/irccloud.com/x-utqoaimrxszipruf) (Remote host closed the connection)
2021-02-18 22:05:53 +0100liquorice(sid267884@gateway/web/irccloud.com/x-gubtshrwqngglvqm) (Remote host closed the connection)
2021-02-18 22:05:53 +0100SrPx(sid108780@gateway/web/irccloud.com/x-obncespiasianhpw) (Remote host closed the connection)
2021-02-18 22:05:53 +0100totbwf(sid402332@gateway/web/irccloud.com/x-wiqsnxkkdnvwjlxf) (Remote host closed the connection)
2021-02-18 22:05:53 +0100sz0(uid110435@gateway/web/irccloud.com/x-amlbigknjrufidgi) (Remote host closed the connection)
2021-02-18 22:05:53 +0100joshmeredith(sid387798@gateway/web/irccloud.com/x-dozlolkmvgdbflde) (Remote host closed the connection)
2021-02-18 22:05:53 +0100d0liver(sid363046@gateway/web/irccloud.com/x-mowergtrtkquyyqw) (Remote host closed the connection)
2021-02-18 22:05:53 +0100aristid(sid1599@gateway/web/irccloud.com/x-evwyvcbruuoysmaw) (Remote host closed the connection)
2021-02-18 22:05:53 +0100benjamingr__(uid23465@gateway/web/irccloud.com/x-zvcxbqgzfqrtqtlp) (Remote host closed the connection)
2021-02-18 22:05:54 +0100alanz_(sid110616@gateway/web/irccloud.com/x-uhcivuwttoegdzkq) (Remote host closed the connection)
2021-02-18 22:05:54 +0100natim87(sid286962@gateway/web/irccloud.com/x-ffjbakcdhgnjnzoe) (Remote host closed the connection)
2021-02-18 22:05:54 +0100benwr____(sid372383@gateway/web/irccloud.com/x-lfskjrhdvdnzdhmn) (Remote host closed the connection)
2021-02-18 22:05:54 +0100AndreasK(sid320732@gateway/web/irccloud.com/x-dybdnamfkvyrhslv) (Remote host closed the connection)
2021-02-18 22:05:54 +0100ReinH__(sid179972@gateway/web/irccloud.com/x-dtmsidrvobakalwl) (Remote host closed the connection)
2021-02-18 22:05:54 +0100ryjm(sid383513@gateway/web/irccloud.com/x-uwvroghwmagqppfc) (Remote host closed the connection)
2021-02-18 22:05:54 +0100jared-w(uid405292@gateway/web/irccloud.com/x-rzcecxfpuvgmvizi) (Remote host closed the connection)
2021-02-18 22:05:54 +0100lally(sid388228@gateway/web/irccloud.com/x-xvklboeubojhbnmy) (Remote host closed the connection)
2021-02-18 22:05:54 +0100wpcarro_(sid397589@gateway/web/irccloud.com/x-pfgsnhwguszkmlqc) (Remote host closed the connection)
2021-02-18 22:05:54 +0100gOOgler(uid125351@gateway/web/irccloud.com/x-oxgdnvjbidnirylx) (Remote host closed the connection)
2021-02-18 22:06:29 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-02-18 22:07:10 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-02-18 22:08:21 +0100gareth__(~gareth__@104.236.161.134) (Ping timeout: 264 seconds)
2021-02-18 22:08:22 +0100geekosaur(82650c7a@130.101.12.122)
2021-02-18 22:08:29 +0100gareth__(~gareth__@104.236.161.134)
2021-02-18 22:08:57 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Ping timeout: 264 seconds)
2021-02-18 22:09:07 +0100cur8or_(~cur8or@72canterbury.cybersmart.co.za) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-18 22:09:27 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 22:10:08 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-18 22:11:04 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 22:11:57 +0100zebraginkbottle
2021-02-18 22:12:21 +0100davetapley(sid666@gateway/web/irccloud.com/x-cpzjhqxzqcwqwcbd)
2021-02-18 22:12:34 +0100aristid(sid1599@gateway/web/irccloud.com/x-tfggnzdfoigqmljv)
2021-02-18 22:12:54 +0100hiroaki(~hiroaki@ip4d166d67.dynamic.kabel-deutschland.de)
2021-02-18 22:13:08 +0100cemerick(sid54985@gateway/web/irccloud.com/x-cqtrrebknjbsbeil)
2021-02-18 22:13:47 +0100alanz_(sid110616@gateway/web/irccloud.com/x-lduezzrbwnigpcym)
2021-02-18 22:14:01 +0100SrPx(sid108780@gateway/web/irccloud.com/x-cigqtgbnlsjmzvjr)
2021-02-18 22:14:01 +0100banjiewen__(sid115913@gateway/web/irccloud.com/x-bqfoahykstlyajcs)
2021-02-18 22:14:13 +0100conal(~conal@64.71.133.70) (Ping timeout: 265 seconds)
2021-02-18 22:15:06 +0100andreas303(~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2021-02-18 22:15:26 +0100andreas303(~andreas@gateway/tor-sasl/andreas303)
2021-02-18 22:16:29 +0100ReinH__(sid179972@gateway/web/irccloud.com/x-meqpexydldcilwkm)
2021-02-18 22:17:02 +0100ebutleriv(sid217783@gateway/web/irccloud.com/x-mippiqwsoolalnxn)
2021-02-18 22:17:19 +0100bradparker(sid262931@gateway/web/irccloud.com/x-rrdpchaymdoskjrk)
2021-02-18 22:17:19 +0100liquorice(sid267884@gateway/web/irccloud.com/x-oqviufsxxsemhgoy)
2021-02-18 22:17:20 +0100conal(~conal@192.145.118.159)
2021-02-18 22:17:24 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-02-18 22:17:26 +0100systemfault(sid267009@gateway/web/irccloud.com/x-selkcmqqrqcqlnyr)
2021-02-18 22:18:37 +0100d0liver(sid363046@gateway/web/irccloud.com/x-tsgihvrszvfqyrqz)
2021-02-18 22:19:18 +0100joshmeredith(sid387798@gateway/web/irccloud.com/x-dezbyhmunjmqgqyo)
2021-02-18 22:19:20 +0100lally(sid388228@gateway/web/irccloud.com/x-wbgxlvraedqmtqcc)
2021-02-18 22:19:42 +0100carlomagno1(~cararell@148.87.23.5)
2021-02-18 22:19:50 +0100wpcarro_(sid397589@gateway/web/irccloud.com/x-cuzogimzlccgtoqb)
2021-02-18 22:19:52 +0100totbwf(sid402332@gateway/web/irccloud.com/x-zjkfuwgfajmvzezn)
2021-02-18 22:20:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:3898:afc8:9032:fc52)
2021-02-18 22:20:21 +0100carlomagno(~cararell@148.87.23.5) (Ping timeout: 264 seconds)
2021-02-18 22:21:44 +0100Kronic(sid480486@gateway/web/irccloud.com/x-knjyfewynidrnlpb)
2021-02-18 22:22:21 +0100benjamingr__(uid23465@gateway/web/irccloud.com/x-jtcssqlgtowhekak)
2021-02-18 22:22:31 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-02-18 22:23:40 +0100sz0(uid110435@gateway/web/irccloud.com/x-ybsyrtlqvchdhgkr)
2021-02-18 22:24:05 +0100tylerni71(~tylerni7@185.163.110.108) (Remote host closed the connection)
2021-02-18 22:24:24 +0100gOOgler(uid125351@gateway/web/irccloud.com/x-rrpkpkuuapidsyfn)
2021-02-18 22:25:17 +0100fendor(~fendor@91.141.0.98.wireless.dyn.drei.com) (Remote host closed the connection)
2021-02-18 22:26:23 +0100fendor(~fendor@91.141.0.98.wireless.dyn.drei.com)
2021-02-18 22:27:04 +0100saitamaplus(uid272474@gateway/web/irccloud.com/x-dlczsdzruwnanpaj)
2021-02-18 22:27:12 +0100slack1256(~slack1256@45.4.2.52) (Ping timeout: 260 seconds)
2021-02-18 22:27:15 +0100benkolera(sid285671@gateway/web/irccloud.com/x-twzfcwapzvlcxrpj)
2021-02-18 22:27:18 +0100natim87(sid286962@gateway/web/irccloud.com/x-jegncjceengbhvmr)
2021-02-18 22:27:35 +0100AndreasK(sid320732@gateway/web/irccloud.com/x-dkyhwfkqsbmunfbl)
2021-02-18 22:27:35 +0100eruditass(uid248673@gateway/web/irccloud.com/x-ofybaseesnempcyy)
2021-02-18 22:28:05 +0100benwr____(sid372383@gateway/web/irccloud.com/x-wbetztxmwtfyzapm)
2021-02-18 22:28:20 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 22:28:29 +0100ryjm(sid383513@gateway/web/irccloud.com/x-alpbngknwzxmptcz)
2021-02-18 22:29:27 +0100jared-w(uid405292@gateway/web/irccloud.com/x-nwbhkmbdnnaxykxk)
2021-02-18 22:32:00 +0100ubert(~Thunderbi@p200300ecdf25d949e6b318fffe838f33.dip0.t-ipconnect.de)
2021-02-18 22:32:29 +0100ddellaco_(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-02-18 22:33:17 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-02-18 22:34:54 +0100ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-02-18 22:35:51 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-02-18 22:36:11 +0100usr25(~J@91.red-83-58-113.dynamicip.rima-tde.net)
2021-02-18 22:36:21 +0100p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2021-02-18 22:37:56 +0100ddellaco_(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-02-18 22:38:00 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-02-18 22:38:05 +0100inkbottle(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-18 22:38:25 +0100inkbottle(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr)
2021-02-18 22:38:33 +0100borne(~fritjof@200116b864cafb00a9b5d4f34e3c7d10.dip.versatel-1u1.de)
2021-02-18 22:39:05 +0100ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-02-18 22:40:04 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-02-18 22:40:26 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 22:42:28 +0100chisui(588298de@88.130.152.222)
2021-02-18 22:43:14 +0100Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 264 seconds)
2021-02-18 22:44:53 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-02-18 22:45:24 +0100alx741(~alx741@186.178.109.49) (Ping timeout: 260 seconds)
2021-02-18 22:46:15 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2021-02-18 22:46:37 +0100bitmagie(~Thunderbi@200116b8067175008904b8b906a08f1b.dip.versatel-1u1.de) (Quit: bitmagie)
2021-02-18 22:47:39 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Quit: Lost terminal)
2021-02-18 22:52:55 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-18 22:54:53 +0100jonge(jonge@kofferbomber.org) (Ping timeout: 260 seconds)
2021-02-18 22:55:54 +0100fendor(~fendor@91.141.0.98.wireless.dyn.drei.com) (Quit: Leaving)
2021-02-18 22:57:01 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Quit: leaving)
2021-02-18 22:59:31 +0100alx741(~alx741@181.196.68.69)
2021-02-18 23:04:56 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds)
2021-02-18 23:05:44 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0)
2021-02-18 23:10:15 +0100kam1(~kam1@83.123.64.17)
2021-02-18 23:13:10 +0100mud(kadobanemp@gateway/shell/matrix.org/x-cfttkhuoougodpis) ("User left")
2021-02-18 23:13:47 +0100tremon(~aschuring@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2021-02-18 23:14:03 +0100dsrt^(james@ip98-184-89-2.mc.at.cox.net)
2021-02-18 23:14:52 +0100ddellacosta(~ddellacos@86.106.143.33)
2021-02-18 23:15:33 +0100slack1256(~slack1256@45.4.2.52)
2021-02-18 23:17:02 +0100chisui(588298de@88.130.152.222) (Ping timeout: 240 seconds)
2021-02-18 23:18:01 +0100is_null(~jpic@pdpc/supporter/professional/is-null) (Remote host closed the connection)
2021-02-18 23:19:43 +0100ddellacosta(~ddellacos@86.106.143.33) (Ping timeout: 256 seconds)
2021-02-18 23:20:51 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-02-18 23:25:47 +0100ubert(~Thunderbi@p200300ecdf25d949e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-02-18 23:25:59 +0100Yumasi(~guillaume@2a01:e0a:5cb:4430:1ab9:7436:46bc:ada6) (Ping timeout: 246 seconds)
2021-02-18 23:26:04 +0100son0p(~son0p@181.136.122.143)
2021-02-18 23:27:04 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-02-18 23:29:29 +0100DataComputist(~lumeng@50.43.26.251) (Ping timeout: 272 seconds)
2021-02-18 23:31:24 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net) (Ping timeout: 246 seconds)
2021-02-18 23:33:00 +0100charukiewicz(~quassel@irouteinc255.i.subnet.rcn.com) (Ping timeout: 260 seconds)
2021-02-18 23:33:14 +0100charukiewicz(~quassel@irouteince04.i.subnet.rcn.com)
2021-02-18 23:34:04 +0100DataComputist(~lumeng@50.43.26.251)
2021-02-18 23:36:09 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-02-18 23:36:30 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 23:36:59 +0100conal(~conal@192.145.118.159) (Ping timeout: 272 seconds)
2021-02-18 23:37:28 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-02-18 23:38:05 +0100inkbottle(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-18 23:38:26 +0100inkbottle(~inkbottle@aaubervilliers-654-1-4-36.w83-200.abo.wanadoo.fr)
2021-02-18 23:39:43 +0100SRV_DW20(~SRV_DW20@185.163.110.108)
2021-02-18 23:40:15 +0100conal(~conal@64.71.133.70)
2021-02-18 23:40:34 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-02-18 23:40:43 +0100is_null(~jpic@pdpc/supporter/professional/is-null)
2021-02-18 23:41:24 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-02-18 23:41:37 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-18 23:41:51 +0100sheepfleece(~sheep@46.53.253.85)
2021-02-18 23:42:16 +0100sheepfleece(~sheep@46.53.253.85) (Client Quit)
2021-02-18 23:42:51 +0100_bin(~bin@2600:1700:10a1:38d0:f84e:9c96:6836:7dee)
2021-02-18 23:43:18 +0100troydm(~troydm@unaffiliated/troydm)
2021-02-18 23:43:20 +0100sheepfleece(~sheep@46.53.253.85)
2021-02-18 23:44:50 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-18 23:44:56 +0100hseg(~gesh@IGLD-84-228-239-97.inter.net.il) (Quit: WeeChat 3.0)
2021-02-18 23:45:53 +0100neiluj(~jco@unaffiliated/neiluj) (Quit: leaving)
2021-02-18 23:47:09 +0100mananamenos(~mananamen@37.red-88-27-26.staticip.rima-tde.net) (Ping timeout: 246 seconds)
2021-02-18 23:49:22 +0100CMCDragonkai1(~Thunderbi@120.17.231.163)
2021-02-18 23:51:53 +0100Narinas(~Narinas@189.223.179.61.dsl.dyn.telnor.net)
2021-02-18 23:52:11 +0100p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Quit: p-core)
2021-02-18 23:52:40 +0100p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2021-02-18 23:52:45 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 264 seconds)
2021-02-18 23:56:05 +0100CMCDragonkai1(~Thunderbi@120.17.231.163) (Ping timeout: 240 seconds)
2021-02-18 23:56:12 +0100s00pcan(~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 265 seconds)
2021-02-18 23:57:22 +0100lawid(~quassel@dslb-002-202-157-179.002.202.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2021-02-18 23:57:32 +0100lawid(~quassel@dslb-002-202-157-179.002.202.pools.vodafone-ip.de)
2021-02-18 23:58:01 +0100s00pcan(~chris@107.181.165.217)
2021-02-18 23:59:17 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0)
2021-02-18 23:59:52 +0100justan0theruser(~justanoth@unaffiliated/justanotheruser)