IRCBrowse

2022/02/23

2022-02-23 00:00:21 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 272 seconds)
2022-02-23 00:02:53 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 00:03:23 +0100 <ski> well, there is some
2022-02-23 00:03:25 +0100 <ski> @hoogle concatMapM
2022-02-23 00:03:26 +0100 <lambdabot> Data.Vector.Fusion.Bundle.Monadic concatMapM :: Monad m => (a -> m (Bundle m v b)) -> Bundle m v a -> Bundle m v b
2022-02-23 00:03:26 +0100 <lambdabot> Data.Vector.Fusion.Stream.Monadic concatMapM :: Monad m => (a -> m (Stream m b)) -> Stream m a -> Stream m b
2022-02-23 00:03:26 +0100 <lambdabot> Data.Conduit.Combinators concatMapM :: (Monad m, MonoFoldable mono) => (a -> m mono) -> ConduitT a (Element mono) m ()
2022-02-23 00:03:31 +0100 <ski> @hoogle+
2022-02-23 00:03:31 +0100 <lambdabot> Data.Conduit.List concatMapM :: Monad m => (a -> m [b]) -> ConduitT a b m ()
2022-02-23 00:03:32 +0100 <lambdabot> Control.Monad.Extra concatMapM :: Monad m => (a -> m [b]) -> [a] -> m [b]
2022-02-23 00:03:32 +0100 <lambdabot> Extra concatMapM :: Monad m => (a -> m [b]) -> [a] -> m [b]
2022-02-23 00:03:46 +0100 <ski> (apparently also `GHC.Utils.Monad')
2022-02-23 00:04:30 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2022-02-23 00:06:01 +0100 <ski> (and apparently the one in `Control.Monad.Extra' is not simply `(liftM concat .) . mapM', but is a `foldr' that checks if the current list (to prepend) is empty, avoiding the `liftM' in that case)
2022-02-23 00:06:17 +0100 <ski> but i was wondering if you could fuse the other `concat' with `mergeValues', possibly
2022-02-23 00:14:45 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 00:15:07 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-02-23 00:16:49 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:106a:7188:c314:3535)
2022-02-23 00:17:34 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 00:17:42 +0100dons(~dons@user/dons)
2022-02-23 00:19:14 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-02-23 00:20:44 +0100alx741(~alx741@181.199.42.143)
2022-02-23 00:27:28 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 00:28:13 +0100alx741(~alx741@157.100.197.240)
2022-02-23 00:28:16 +0100acidjnk(~acidjnk@p200300d0c71f74276499fb418a282b02.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2022-02-23 00:30:41 +0100 <dons> moin moin
2022-02-23 00:30:51 +0100CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-02-23 00:31:10 +0100 <Zemyla> I wish IntSet had a complement command.
2022-02-23 00:33:02 +0100 <byorgey> hey dons
2022-02-23 00:33:18 +0100 <dsal> Zemyla: You want a set of all integers?
2022-02-23 00:33:25 +0100 <byorgey> Zemyla: you mean e.g. if it stored a Bool saying whether it was complemented or not?
2022-02-23 00:33:42 +0100 <byorgey> I assume you would not want to literally store an IntSet of all Int values not in the original set
2022-02-23 00:33:46 +0100 <Zemyla> No, I was thinking about storing the members of the set as a list of intervals.
2022-02-23 00:34:03 +0100 <byorgey> Oh, a list of intervals, I see
2022-02-23 00:34:46 +0100 <byorgey> That would be nifty. Getting the details right re: union, intersection, etc. would be the tricky part I assume. But you should write it. =)
2022-02-23 00:35:46 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 00:35:46 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 245 seconds)
2022-02-23 00:36:31 +0100cynomys(~cynomys@user/cynomys) (Ping timeout: 256 seconds)
2022-02-23 00:37:09 +0100 <Zemyla> Also, I should make Text.Parser.Permutation.Permutation an Applicative.
2022-02-23 00:38:57 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:106a:7188:c314:3535) (Remote host closed the connection)
2022-02-23 00:39:00 +0100Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Ping timeout: 240 seconds)
2022-02-23 00:39:42 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-02-23 00:42:20 +0100juhp(~juhp@128.106.188.82) (Quit: juhp)
2022-02-23 00:42:34 +0100juhp(~juhp@128.106.188.82)
2022-02-23 00:43:01 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-23 00:43:51 +0100spacenautx(~spacenaut@user/spacenautx) (Quit: WeeChat 3.4)
2022-02-23 00:44:22 +0100jgeerds(~jgeerds@55d4b9df.access.ecotel.net) (Ping timeout: 260 seconds)
2022-02-23 00:45:36 +0100jgeerds(~jgeerds@d53600c5.access.ecotel.net)
2022-02-23 00:47:51 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds)
2022-02-23 00:48:42 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt)
2022-02-23 00:49:20 +0100cosimone(~user@93-34-132-33.ip49.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1))
2022-02-23 00:53:16 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-02-23 00:53:44 +0100alx741(~alx741@157.100.197.240)
2022-02-23 00:57:26 +0100zeenk(~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!)
2022-02-23 00:58:17 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds)
2022-02-23 00:58:38 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 01:00:45 +0100 <Axman6> oh nice, I didn't realise that was in the parsers package. More parsers should use that, I hate that I can write a parser for Aeson that can't tell the parser what keys are allowable ahead of time. IIRC Waargonaut has this (after I pestered Sean several times about it)
2022-02-23 01:03:07 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:106a:7188:c314:3535)
2022-02-23 01:05:36 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 01:05:59 +0100 <Axman6> dons: so are you back in Aus? Saw your tweet from the sydney ~bus~ boat
2022-02-23 01:09:57 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 01:12:54 +0100max22-(~maxime@2a01cb088335980027fe609829d061d7.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2022-02-23 01:15:43 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4)
2022-02-23 01:16:15 +0100alx741(~alx741@157.100.197.240)
2022-02-23 01:17:39 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-02-23 01:20:41 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 01:29:57 +0100lavaman(~lavaman@98.38.249.169)
2022-02-23 01:30:11 +0100Topsi(~Tobias@dyndsl-095-033-025-181.ewe-ip-backbone.de)
2022-02-23 01:30:59 +0100vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2022-02-23 01:31:30 +0100jgeerds(~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 260 seconds)
2022-02-23 01:33:34 +0100cynomys(~cynomys@user/cynomys)
2022-02-23 01:34:59 +0100dvdrw(~dvdrw@user/dvdrw) (Quit: leaving)
2022-02-23 01:37:25 +0100alx741(~alx741@157.100.197.240)
2022-02-23 01:38:10 +0100gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2022-02-23 01:40:46 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 01:41:01 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-23 01:42:04 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-23 01:42:04 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-02-23 01:42:04 +0100wroathe(~wroathe@user/wroathe)
2022-02-23 01:43:37 +0100gentauro(~gentauro@user/gentauro)
2022-02-23 01:44:54 +0100ravella(~ravella@user/ryanavella) (Remote host closed the connection)
2022-02-23 01:45:37 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds)
2022-02-23 01:49:23 +0100mvk(~mvk@2607:fea8:5cdc:bf00::99e7)
2022-02-23 01:56:03 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-23 01:57:40 +0100alx741(~alx741@181.199.42.143)
2022-02-23 01:57:55 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2022-02-23 02:01:36 +0100califax(~califax@user/califx) (Remote host closed the connection)
2022-02-23 02:02:07 +0100lavaman(~lavaman@98.38.249.169)
2022-02-23 02:02:32 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 02:03:10 +0100alx741(~alx741@181.199.42.143)
2022-02-23 02:06:08 +0100 <hololeap_> I'm getting an error when trying to compile mustache-2.4.0 on ghc-8.10.6, but it compiles fine on ghc-9.0.2. the error seems related to parsec, but both systems have the same version
2022-02-23 02:06:22 +0100 <hololeap_> so I'm confused as to what could be the underlying error http://sprunge.us/RmBexL
2022-02-23 02:06:50 +0100hololeap_hololeap
2022-02-23 02:06:56 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
2022-02-23 02:07:19 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 02:08:17 +0100cynomys(~cynomys@user/cynomys) (Ping timeout: 272 seconds)
2022-02-23 02:09:09 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-02-23 02:09:30 +0100 <hololeap> the instance it's complaining about is defined in the version of parsec they both have installed: https://hackage.haskell.org/package/parsec-3.1.14.0/docs/Text-Parsec.html#t:Stream
2022-02-23 02:10:38 +0100Ranhir(~Ranhir@157.97.53.139)
2022-02-23 02:10:46 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-02-23 02:11:53 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:106a:7188:c314:3535) (Remote host closed the connection)
2022-02-23 02:13:06 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-23 02:13:19 +0100lavaman(~lavaman@98.38.249.169)
2022-02-23 02:13:27 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-23 02:13:43 +0100lavaman(~lavaman@98.38.249.169)
2022-02-23 02:13:50 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-23 02:14:07 +0100lavaman(~lavaman@98.38.249.169)
2022-02-23 02:14:14 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-23 02:14:21 +0100 <hololeap> here is the source code for the module: https://github.com/JustusAdam/mustache/blob/master/src/Text/Mustache/Parser.hs
2022-02-23 02:14:28 +0100lavaman(~lavaman@98.38.249.169)
2022-02-23 02:14:37 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-23 02:14:42 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net)
2022-02-23 02:16:14 +0100 <ski> hm, i guess it may not be picking up `Monad Data.Functor.Identity', for whatever reason ?
2022-02-23 02:16:26 +0100 <ski> (considering how there's an instance `Monad m => Stream Text m Char')
2022-02-23 02:16:52 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-02-23 02:18:31 +0100komikat(~komikat@183.82.154.239) (Ping timeout: 256 seconds)
2022-02-23 02:20:10 +0100ravella(~ravella@user/ryanavella)
2022-02-23 02:20:12 +0100 <hololeap> I added `import Data.Functor.Monad` to the module, and now it's saying: No instance for (Stream Text Identity Char)
2022-02-23 02:20:43 +0100 <hololeap> it could be my environment or something like that
2022-02-23 02:20:46 +0100komikat(~komikat@183.82.154.239)
2022-02-23 02:20:55 +0100cynomys(~cynomys@user/cynomys)
2022-02-23 02:24:32 +0100alx741(~alx741@181.199.42.143)
2022-02-23 02:25:55 +0100 <hololeap> this did the trick. I have no idea why it is needed, though: http://sprunge.us/JDw9pW
2022-02-23 02:26:01 +0100hyiltiz(~quassel@31.220.5.250) (Ping timeout: 272 seconds)
2022-02-23 02:27:51 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 02:28:04 +0100 <hololeap> when I apply that patch to my 9.0.2 system, it gives an overlapping instance error
2022-02-23 02:29:37 +0100lavaman(~lavaman@98.38.249.169)
2022-02-23 02:29:40 +0100hyiltiz(~quassel@31.220.5.250)
2022-02-23 02:31:20 +0100 <pareto-optimal-d> Is "always write the most polymorphic version of your function first" a hot take?
2022-02-23 02:31:21 +0100ravella(~ravella@user/ryanavella) (Remote host closed the connection)
2022-02-23 02:32:09 +0100 <Axman6> the more polymorphic the function is, the harder it is to get wrong generally
2022-02-23 02:33:08 +0100 <dolio> The answer is, "yes."
2022-02-23 02:34:33 +0100 <pareto-optimal-d> dolio: Okay, that was my suspicion after telling a coworker I created a note in zettlekasten with that today 😅
2022-02-23 02:35:24 +0100emf(~emf@c-73-97-137-43.hsd1.wa.comcast.net) (Quit: emf)
2022-02-23 02:35:30 +0100 <hololeap> ok, this is weird, if I unpack mustache on the 8.10.6 system and then run `cabal build` it says "parsec-3.1.14.0 (lib) (requires download & build)"
2022-02-23 02:35:43 +0100 <hololeap> but `ghc-pkg field parsec version` says: "version: 3.1.14.0"
2022-02-23 02:35:48 +0100 <pareto-optimal-d> Axman6: that's essentially what led me to write about it today and then others reaction made me want to ask here.
2022-02-23 02:36:39 +0100 <dolio> Don't give, "always X," advice.
2022-02-23 02:36:56 +0100 <hololeap> so it almost seems like the system-installed parsec is visible to ghc-pkg but not to cabal
2022-02-23 02:37:17 +0100 <monochrom> My answer is no. I don't do it. Sometimes I think I did it, but turns out no, my version is not the most polymorphic possible. Overall, it sounds like dangerously close to perfection OCD and the joke about "what happens if you ask a software dev to make a toaster".
2022-02-23 02:38:41 +0100Pickchea(~private@user/pickchea) (Ping timeout: 272 seconds)
2022-02-23 02:39:14 +0100 <Axman6> My advice is always don't give "always X" advice
2022-02-23 02:39:42 +0100 <pareto-optimal-d> The disagreement made me think there is a useful question along the lines of "are free theorems and their benefits enough to be worth more than monomorphic functions that have better errors and are easier for beginners to reason about".
2022-02-23 02:40:17 +0100 <pareto-optimal-d> and "is having a policy preventing or limiting premature monomorphizing to get more theorems for free additive? Additive multiplicatively?"
2022-02-23 02:41:06 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:106a:7188:c314:3535)
2022-02-23 02:41:19 +0100 <monochrom> My policy is against premature generalizations. Premature polymorphization is a special case.
2022-02-23 02:43:47 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 02:44:36 +0100Guest68(~Guest68@134.101.5.46) (Ping timeout: 256 seconds)
2022-02-23 02:44:46 +0100alx741(~alx741@157.100.197.240)
2022-02-23 02:46:12 +0100 <pareto-optimal-d> monochrom: mine used to be, but after some years working in a codebase that takes a strong stance against premature generalization I see some downsides.
2022-02-23 02:46:12 +0100 <pareto-optimal-d> What are your thoughts of the example at 14:00 in this video:
2022-02-23 02:46:12 +0100 <pareto-optimal-d> https://youtu.be/BHjIl81HgfE
2022-02-23 02:48:02 +0100 <pareto-optimal-d> <Axman6> "My advice is always don't give..." <- I like to create "always do X" and "always do Y" in my notes because they motivate writing "why 'always do X' was a dumb idea"
2022-02-23 02:48:04 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-02-23 02:48:33 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-02-23 02:48:43 +0100 <dons> Axman6, yep back in Syd
2022-02-23 02:48:50 +0100 <pareto-optimal-d> I'll look at one and be outraged
2022-02-23 02:49:01 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 02:50:22 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-02-23 02:52:35 +0100 <justsomeguy> Is there some way to write types like Map, Set, and Sequence as literals?
2022-02-23 02:54:33 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 02:54:34 +0100 <jackdk> -XOverloadedLists
2022-02-23 02:56:14 +0100 <justsomeguy> I had something in mind like Sets: { "one":1, "two":2 }, Maps: {"one","two"}, Vectors: (1,3) [1,2,3]. It seems like OverloadedLists can do a lot, though.
2022-02-23 02:57:37 +0100alp(~alp@user/alp) (Ping timeout: 240 seconds)
2022-02-23 02:58:59 +0100 <monochrom> fromList [(key0, val0), (key1, val1)]; fromList [member0, member1]; [item0, item1].
2022-02-23 02:59:17 +0100turlando(~turlando@user/turlando) (Ping timeout: 240 seconds)
2022-02-23 03:00:55 +0100 <justsomeguy> I don't really understand templateHaskell, but can it do things like this?
2022-02-23 03:01:32 +0100justsomeguyis just curious about what options are available, regardless of how impractical they are to use.
2022-02-23 03:05:08 +0100 <justsomeguy> I'll definitely be using OverloadedLists for personal stuff, I think.
2022-02-23 03:06:12 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 250 seconds)
2022-02-23 03:07:54 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:106a:7188:c314:3535) (Remote host closed the connection)
2022-02-23 03:09:00 +0100jao(~jao@68.235.43.174) (Ping timeout: 240 seconds)
2022-02-23 03:09:19 +0100 <justsomeguy> Do fromList and toList get evaulated at compile time, if the values are used elsewhere in the program?
2022-02-23 03:10:31 +0100 <monochrom> No.
2022-02-23 03:10:35 +0100 <Cale> Never. The best you'll manage is that if you define a constant, they'll get evaluated at most once during the execution of the program.
2022-02-23 03:10:55 +0100deadmarshal(~deadmarsh@95.38.112.124)
2022-02-23 03:10:57 +0100alx741(~alx741@181.199.42.143)
2022-02-23 03:11:32 +0100 <Cale> It would be nice to be able to force that kind of thing to happen statically when you want it, but there's really not much of a way to express it.
2022-02-23 03:11:39 +0100 <Cale> (at present)
2022-02-23 03:12:30 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:106a:7188:c314:3535)
2022-02-23 03:13:05 +0100jonathanx__(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2022-02-23 03:13:12 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 03:13:22 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-23 03:13:26 +0100jonathanx__(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-02-23 03:15:45 +0100deadmarshal(~deadmarsh@95.38.112.124) (Ping timeout: 256 seconds)
2022-02-23 03:19:06 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-02-23 03:20:42 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
2022-02-23 03:20:57 +0100derelict(derelict@user/derelict) (Quit: bye)
2022-02-23 03:21:59 +0100derelict(derelict@user/derelict)
2022-02-23 03:22:09 +0100little_mac(~little_ma@2601:410:4300:3ce0:283e:efa7:e0c6:e848) (Remote host closed the connection)
2022-02-23 03:24:35 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-02-23 03:30:17 +0100alx741(~alx741@157.100.197.240)
2022-02-23 03:35:07 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 03:36:39 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 03:36:40 +0100justAstache(~justache@user/justache) (Read error: Connection reset by peer)
2022-02-23 03:37:38 +0100justAstache(~justache@user/justache)
2022-02-23 03:40:57 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 03:41:10 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-23 03:42:40 +0100juhp(~juhp@128.106.188.82) (Quit: juhp)
2022-02-23 03:42:53 +0100juhp(~juhp@128.106.188.82)
2022-02-23 03:45:02 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2022-02-23 03:45:40 +0100bontaq`bontaq
2022-02-23 03:46:02 +0100xff0x(~xff0x@2001:1a81:5372:9200:4da8:4717:4e75:17ef) (Ping timeout: 240 seconds)
2022-02-23 03:47:46 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-02-23 03:47:56 +0100xff0x(~xff0x@2001:1a81:53ab:2800:b38f:e60b:4875:f7ef)
2022-02-23 03:51:43 +0100 <Axman6> dons: welcome home
2022-02-23 03:52:50 +0100alx741(~alx741@181.199.42.143)
2022-02-23 03:57:21 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 03:58:29 +0100neurocyte0917090(~neurocyte@user/neurocyte) (Ping timeout: 272 seconds)
2022-02-23 04:02:03 +0100mbuf(~Shakthi@171.61.250.50)
2022-02-23 04:05:40 +0100ravella(~ravella@user/ryanavella)
2022-02-23 04:06:31 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 04:06:49 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-02-23 04:07:18 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds)
2022-02-23 04:07:38 +0100hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2022-02-23 04:08:22 +0100lavaman(~lavaman@98.38.249.169)
2022-02-23 04:08:26 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-02-23 04:08:58 +0100lavaman(~lavaman@98.38.249.169)
2022-02-23 04:09:52 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-02-23 04:09:53 +0100notzmv(~zmv@user/notzmv)
2022-02-23 04:11:03 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 04:13:16 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2022-02-23 04:13:37 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-02-23 04:14:12 +0100alx741(~alx741@157.100.197.240)
2022-02-23 04:15:59 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-23 04:15:59 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-02-23 04:15:59 +0100wroathe(~wroathe@user/wroathe)
2022-02-23 04:20:36 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-02-23 04:21:43 +0100hololeap(~hololeap@user/hololeap)
2022-02-23 04:22:54 +0100td_(~td@muedsl-82-207-238-240.citykom.de) (Ping timeout: 256 seconds)
2022-02-23 04:23:54 +0100Ranhir(~Ranhir@157.97.53.139) (Remote host closed the connection)
2022-02-23 04:24:24 +0100td_(~td@94.134.91.238)
2022-02-23 04:24:35 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 04:26:24 +0100Ranhir(~Ranhir@157.97.53.139)
2022-02-23 04:29:17 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 04:30:24 +0100zachel(~zachel@user/zachel) (Quit: Quit: Leaving!)
2022-02-23 04:33:08 +0100zachel(~zachel@user/zachel)
2022-02-23 04:33:09 +0100CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2022-02-23 04:35:13 +0100komikat(~komikat@183.82.154.239) (Ping timeout: 272 seconds)
2022-02-23 04:36:48 +0100komikat(~komikat@183.82.154.239)
2022-02-23 04:39:52 +0100 <Sqaure> Is there some goto library for simple text replacement, like say "blabla ${var}blabla"
2022-02-23 04:40:15 +0100little_mac(~little_ma@2601:410:4300:3ce0:25e4:decc:c8da:26b5)
2022-02-23 04:41:04 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
2022-02-23 04:41:17 +0100alx741(~alx741@157.100.197.240)
2022-02-23 04:41:58 +0100 <jackdk> Sqaure: several. interpolation, neat-interpolation, string-interpolate, ... They use -XQuasiQuotes so you write something like `[i|blabla #{var}blabla]`
2022-02-23 04:42:00 +0100terrorjack(~terrorjac@static.3.200.12.49.clients.your-server.de)
2022-02-23 04:42:25 +0100 <jackdk> I am not aware of a clear winner
2022-02-23 04:44:55 +0100vysn(~vysn@user/vysn) (Quit: WeeChat 3.4)
2022-02-23 04:45:49 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 04:46:53 +0100deadmarshal(~deadmarsh@95.38.112.124)
2022-02-23 04:48:07 +0100 <Sqaure> jackdk, ah thanks
2022-02-23 04:53:20 +0100xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-02-23 04:57:02 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-02-23 05:00:52 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-02-23 05:01:34 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 05:01:54 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-02-23 05:02:34 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-02-23 05:03:49 +0100alx741(~alx741@157.100.197.240)
2022-02-23 05:06:09 +0100Guest|39(~Guest|39@190.195.205.199)
2022-02-23 05:06:15 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-02-23 05:06:42 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 05:07:46 +0100 <Guest|39> how to install haskell on windows
2022-02-23 05:11:36 +0100 <Sqaure> Guest|39, im not running windows myself but i believe it should be detailed here https://www.haskell.org/downloads/
2022-02-23 05:12:25 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-23 05:12:25 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-02-23 05:12:25 +0100wroathe(~wroathe@user/wroathe)
2022-02-23 05:12:25 +0100Guest|39(~Guest|39@190.195.205.199) (Remote host closed the connection)
2022-02-23 05:15:44 +0100 <janus> Sqaure: i like https://github.com/yesodweb/shakespeare
2022-02-23 05:18:42 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 05:19:22 +0100 <Sqaure> janus, thanks. Looks like i might have more than i need. Just dealing with simple texts here.
2022-02-23 05:20:15 +0100 <Sqaure> it*
2022-02-23 05:20:50 +0100alp(~alp@user/alp)
2022-02-23 05:22:55 +0100alx741(~alx741@181.199.42.143)
2022-02-23 05:23:25 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 05:23:45 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-02-23 05:24:06 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 256 seconds)
2022-02-23 05:24:28 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 05:31:19 +0100benin(~benin@59.92.239.104) (Quit: Ping timeout (120 seconds))
2022-02-23 05:31:40 +0100benin(~benin@59.92.239.104)
2022-02-23 05:31:42 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 05:31:47 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-02-23 05:32:24 +0100alx741(~alx741@157.100.197.240)
2022-02-23 05:32:49 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 05:35:00 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 05:38:33 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-02-23 05:41:17 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 05:44:06 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-23 05:45:05 +0100alp(~alp@user/alp) (Remote host closed the connection)
2022-02-23 05:45:25 +0100alp(~alp@user/alp)
2022-02-23 05:45:54 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-02-23 05:48:57 +0100deadmarshal(~deadmarsh@95.38.112.124) (Ping timeout: 240 seconds)
2022-02-23 05:49:25 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-02-23 05:51:09 +0100alp(~alp@user/alp) (Remote host closed the connection)
2022-02-23 05:51:28 +0100alp(~alp@user/alp)
2022-02-23 05:54:10 +0100Erutuon(~Erutuon@user/erutuon)
2022-02-23 05:54:48 +0100komikat(~komikat@183.82.154.239) (Remote host closed the connection)
2022-02-23 05:55:00 +0100komikat(~komikat@183.82.154.239)
2022-02-23 05:57:31 +0100alx741(~alx741@157.100.197.240)
2022-02-23 06:01:41 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 06:02:37 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2022-02-23 06:03:37 +0100mvk(~mvk@2607:fea8:5cdc:bf00::99e7) (Ping timeout: 240 seconds)
2022-02-23 06:04:23 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-02-23 06:05:24 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-02-23 06:06:17 +0100alp(~alp@user/alp) (Ping timeout: 240 seconds)
2022-02-23 06:08:57 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 272 seconds)
2022-02-23 06:11:34 +0100Erutuon(~Erutuon@user/erutuon)
2022-02-23 06:12:17 +0100pokhu(~rishi@103.206.114.88)
2022-02-23 06:13:22 +0100little_mac(~little_ma@2601:410:4300:3ce0:25e4:decc:c8da:26b5) (Quit: Leaving)
2022-02-23 06:13:39 +0100little_mac(~little_ma@2601:410:4300:3ce0:25e4:decc:c8da:26b5)
2022-02-23 06:19:04 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-02-23 06:20:01 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 06:20:02 +0100alx741(~alx741@157.100.197.240)
2022-02-23 06:21:40 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 06:22:45 +0100Topsi(~Tobias@dyndsl-095-033-025-181.ewe-ip-backbone.de) (Ping timeout: 256 seconds)
2022-02-23 06:22:58 +0100Topsi(~Tobias@dyndsl-095-033-018-046.ewe-ip-backbone.de)
2022-02-23 06:24:37 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 06:24:37 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 06:24:41 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2022-02-23 06:24:43 +0100 <jackdk> Sqaure: if that's your use case, I like the `formatting` library. it's more of a FP-ish take on printf I guess
2022-02-23 06:25:58 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-02-23 06:26:00 +0100 <Sqaure> jackdk, okok. Ill check that out. I realize i down want quasi quotes. Atm i just want runtime interpolation (with risk of breaking)
2022-02-23 06:26:10 +0100 <Sqaure> I don't*
2022-02-23 06:26:12 +0100cynomys(~cynomys@user/cynomys) (Ping timeout: 240 seconds)
2022-02-23 06:27:07 +0100 <jackdk> Sqaure: `format ("Person's name is " % t % ", age is " % int) "Dave" 54` is an example inspired by the docs
2022-02-23 06:28:20 +0100 <Sqaure> downloading it now
2022-02-23 06:31:23 +0100little_mac(~little_ma@2601:410:4300:3ce0:25e4:decc:c8da:26b5) (Quit: Leaving)
2022-02-23 06:31:39 +0100little_mac(~little_ma@2601:410:4300:3ce0:25e4:decc:c8da:26b5)
2022-02-23 06:31:59 +0100mbuf(~Shakthi@171.61.250.50) (Quit: Leaving)
2022-02-23 06:35:26 +0100 <Sqaure> jackdk, you don't happen to know if it have functions to parse plain text into these text functions?
2022-02-23 06:35:47 +0100 <jackdk> Sqaure: can you please rephrase your question? I don't understand
2022-02-23 06:38:43 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 272 seconds)
2022-02-23 06:40:40 +0100 <Sqaure> jackdk, my texts (that should be able to contain replacement expressions) are loaded from a yaml file. In "Formatting", the uninterpolated texts in the examples are all haskell expressions. So I was wondering if there was an easy way to turn the plain text from yaml into these functions Formatting works with?
2022-02-23 06:41:18 +0100 <jackdk> Sqaure: ah, I see. No, formatting won't help you there. I would go looking for a templating library
2022-02-23 06:41:29 +0100 <Sqaure> gotcha. Thanks
2022-02-23 06:42:25 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 06:43:07 +0100alx741(~alx741@157.100.197.240)
2022-02-23 06:47:41 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-02-23 06:51:49 +0100little_mac(~little_ma@2601:410:4300:3ce0:25e4:decc:c8da:26b5) (Quit: Leaving)
2022-02-23 06:52:07 +0100little_mac(~little_ma@2601:410:4300:3ce0:25e4:decc:c8da:26b5)
2022-02-23 06:52:48 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 06:53:56 +0100 <Sqaure> The library "template" seems to do what i want.
2022-02-23 06:55:38 +0100little_mac(~little_ma@2601:410:4300:3ce0:25e4:decc:c8da:26b5) (Client Quit)
2022-02-23 06:55:54 +0100little_mac(~little_ma@2601:410:4300:3ce0:25e4:decc:c8da:26b5)
2022-02-23 06:58:20 +0100cynomys(~cynomys@user/cynomys)
2022-02-23 07:00:26 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 07:00:26 +0100Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving)
2022-02-23 07:00:31 +0100coot(~coot@213.134.190.95)
2022-02-23 07:04:32 +0100modnar(~modnar@shell.sonic.net) (Ping timeout: 250 seconds)
2022-02-23 07:05:55 +0100Giovanni(~Giovanni@176.67.166.45) (Read error: Connection reset by peer)
2022-02-23 07:05:57 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-02-23 07:06:04 +0100modnar(~modnar@shell.sonic.net)
2022-02-23 07:07:31 +0100bahamas(~lucian@84.232.140.52)
2022-02-23 07:09:13 +0100alx741(~alx741@181.199.42.143)
2022-02-23 07:11:18 +0100Giovanni(~Giovanni@176.67.166.45)
2022-02-23 07:12:59 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 07:13:06 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 07:13:25 +0100nattiestnate(~nate@182.2.41.240)
2022-02-23 07:13:41 +0100alx741(~alx741@157.100.197.240)
2022-02-23 07:17:31 +0100iqubic(~user@2601:602:9502:c70:f02e:17f5:f781:f107)
2022-02-23 07:18:24 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 07:18:46 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 07:19:04 +0100iqubic(~user@2601:602:9502:c70:f02e:17f5:f781:f107) ()
2022-02-23 07:22:07 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-02-23 07:23:01 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 07:26:56 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-02-23 07:27:10 +0100pokhu(~rishi@103.206.114.88) ()
2022-02-23 07:28:02 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 07:28:12 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-02-23 07:28:18 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2022-02-23 07:28:29 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 256 seconds)
2022-02-23 07:30:11 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer)
2022-02-23 07:30:53 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2022-02-23 07:32:27 +0100cynomys(~cynomys@user/cynomys) (Ping timeout: 256 seconds)
2022-02-23 07:34:00 +0100shriekingnoise(~shrieking@201.231.16.156) (Quit: Quit)
2022-02-23 07:34:41 +0100alx741(~alx741@181.199.42.143)
2022-02-23 07:35:20 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-02-23 07:39:33 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 07:40:10 +0100alx741(~alx741@181.199.42.143)
2022-02-23 07:45:02 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 07:45:39 +0100alx741(~alx741@157.100.197.240)
2022-02-23 07:46:45 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-02-23 07:47:02 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-02-23 07:49:08 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 07:55:26 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 07:55:39 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 07:56:18 +0100gdown(~gavin@h69-11-150-165.kndrid.broadband.dynamic.tds.net)
2022-02-23 07:57:16 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 08:01:48 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 08:03:22 +0100sander(~sander@user/sander)
2022-02-23 08:03:50 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-02-23 08:06:03 +0100bliminse(~bliminse@host86-158-241-239.range86-158.btcentralplus.com) (Ping timeout: 252 seconds)
2022-02-23 08:06:50 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 08:07:13 +0100alx741(~alx741@157.100.197.240)
2022-02-23 08:07:16 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 08:08:01 +0100bliminse(~bliminse@host109-152-150-162.range109-152.btcentralplus.com)
2022-02-23 08:10:51 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 08:12:01 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 245 seconds)
2022-02-23 08:14:07 +0100monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2022-02-23 08:14:36 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-23 08:14:58 +0100ccntrq(~Thunderbi@2a01:e34:eccb:b060:ea23:2b79:a0de:4996)
2022-02-23 08:15:11 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 08:22:01 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 08:22:26 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 08:25:50 +0100Pickchea(~private@user/pickchea)
2022-02-23 08:28:01 +0100monochrom(trebla@216.138.220.146)
2022-02-23 08:28:37 +0100alx741(~alx741@157.100.197.240)
2022-02-23 08:28:55 +0100gehmehgeh(~user@user/gehmehgeh)
2022-02-23 08:31:23 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 08:31:48 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 08:33:05 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 08:33:16 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao) (Ping timeout: 240 seconds)
2022-02-23 08:33:24 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 08:33:47 +0100dextaa_(~dextaa@user/dextaa)
2022-02-23 08:33:56 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao)
2022-02-23 08:35:50 +0100cynomys(~cynomys@user/cynomys)
2022-02-23 08:38:25 +0100yrlnry(~mjd@pool-74-109-20-19.phlapa.fios.verizon.net) (Ping timeout: 272 seconds)
2022-02-23 08:39:19 +0100yrlnry(~mjd@pool-74-109-20-19.phlapa.fios.verizon.net)
2022-02-23 08:39:21 +0100alp(~alp@user/alp)
2022-02-23 08:41:36 +0100vorpuni(~pvorp@2001:861:3881:c690:d322:f659:136d:eef6) (Ping timeout: 250 seconds)
2022-02-23 08:45:21 +0100benin7(~benin@117.202.69.195)
2022-02-23 08:46:44 +0100dextaa_(~dextaa@user/dextaa) (Remote host closed the connection)
2022-02-23 08:47:15 +0100benin(~benin@59.92.239.104) (Ping timeout: 256 seconds)
2022-02-23 08:47:15 +0100benin7benin
2022-02-23 08:47:56 +0100MajorBiscuit(~MajorBisc@c-001-017-039.client.tudelft.eduvpn.nl)
2022-02-23 08:49:10 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-02-23 08:49:46 +0100alx741(~alx741@157.100.197.240)
2022-02-23 08:50:01 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 08:50:08 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 08:51:49 +0100deadmarshal(~deadmarsh@95.38.230.132)
2022-02-23 08:52:19 +0100nattiestnate(~nate@182.2.41.240) (Quit: WeeChat 3.4)
2022-02-23 08:52:35 +0100 <dminuoso> Cale: You said never, what about TH splices?
2022-02-23 08:54:14 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:65ac:9e8f:4b5e:2c6b)
2022-02-23 08:54:15 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 08:54:50 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 08:56:36 +0100deadmarshal(~deadmarsh@95.38.230.132) (Ping timeout: 256 seconds)
2022-02-23 08:57:11 +0100Ariakenom(~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se)
2022-02-23 08:59:22 +0100mc47(~mc47@xmonad/TheMC47)
2022-02-23 08:59:41 +0100jstolarek(~jstolarek@staticline-31-183-182-85.toya.net.pl)
2022-02-23 09:03:23 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-02-23 09:03:24 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 09:04:07 +0100zeenk(~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5)
2022-02-23 09:04:17 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 09:04:25 +0100yauhsien(~Yau-Hsien@61-231-19-150.dynamic-ip.hinet.net) (Read error: Connection reset by peer)
2022-02-23 09:05:45 +0100kuribas(~user@ptr-25vy0ial5agu2xq2mv8.18120a2.ip6.access.telenet.be)
2022-02-23 09:07:57 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 09:09:17 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2022-02-23 09:09:24 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2022-02-23 09:10:42 +0100alx741(~alx741@157.100.197.240)
2022-02-23 09:15:32 +0100cfricke(~cfricke@user/cfricke)
2022-02-23 09:17:42 +0100jstolarek(~jstolarek@staticline-31-183-182-85.toya.net.pl) (Quit: leaving)
2022-02-23 09:19:17 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 09:19:17 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 09:19:32 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 09:20:01 +0100vickyHaskell(~textual@49.37.169.2)
2022-02-23 09:21:26 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-23 09:22:36 +0100Pickchea(~private@user/pickchea) (Ping timeout: 240 seconds)
2022-02-23 09:25:33 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds)
2022-02-23 09:25:41 +0100acidjnk(~acidjnk@dynamic-089-204-137-076.89.204.137.pool.telefonica.de)
2022-02-23 09:28:37 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 09:29:13 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 09:33:49 +0100yauhsien(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 09:34:18 +0100cosimone(~user@93-34-132-33.ip49.fastwebnet.it)
2022-02-23 09:34:44 +0100jgeerds(~jgeerds@d53600c5.access.ecotel.net)
2022-02-23 09:35:44 +0100alx741(~alx741@157.100.197.240)
2022-02-23 09:36:33 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-02-23 09:37:06 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-02-23 09:37:25 +0100mbuf(~Shakthi@122.178.120.57)
2022-02-23 09:38:22 +0100fendor(~fendor@178.165.167.221.wireless.dyn.drei.com)
2022-02-23 09:39:21 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 09:39:34 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 09:39:47 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 09:40:43 +0100komikat(~komikat@183.82.154.239) (Remote host closed the connection)
2022-02-23 09:43:09 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-02-23 09:44:14 +0100vysn(~vysn@user/vysn)
2022-02-23 09:44:17 +0100cynomys(~cynomys@user/cynomys) (Ping timeout: 272 seconds)
2022-02-23 09:44:35 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-02-23 09:45:58 +0100komikat(~komikat@183.82.154.239)
2022-02-23 09:45:58 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 09:47:14 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 09:49:53 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 09:50:34 +0100machinedgod(~machinedg@24.105.81.50)
2022-02-23 09:50:43 +0100komikat(~komikat@183.82.154.239) (Ping timeout: 256 seconds)
2022-02-23 09:51:15 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 09:51:18 +0100chele(~chele@user/chele)
2022-02-23 09:53:00 +0100juhp(~juhp@128.106.188.82) (Quit: juhp)
2022-02-23 09:53:13 +0100juhp(~juhp@128.106.188.82)
2022-02-23 09:53:51 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 09:54:03 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 09:54:31 +0100komikat(~komikat@183.82.154.239)
2022-02-23 09:55:39 +0100jespada(~jespada@85.255.234.190)
2022-02-23 09:57:08 +0100alx741(~alx741@157.100.197.240)
2022-02-23 09:59:09 +0100abhixec(~abhinav@c-67-169-139-16.hsd1.ca.comcast.net)
2022-02-23 10:00:55 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 10:01:27 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 10:01:34 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 10:02:52 +0100cynomys(~cynomys@user/cynomys)
2022-02-23 10:03:00 +0100max22-(~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr)
2022-02-23 10:03:49 +0100jgeerds(~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 240 seconds)
2022-02-23 10:04:52 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-23 10:05:18 +0100chege(~chege@197.237.199.183)
2022-02-23 10:09:17 +0100chege(~chege@197.237.199.183) (Quit: Client closed)
2022-02-23 10:11:10 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 10:12:36 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2022-02-23 10:12:36 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 10:13:36 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 10:19:22 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:106a:7188:c314:3535) (Remote host closed the connection)
2022-02-23 10:19:39 +0100alx741(~alx741@157.100.197.240)
2022-02-23 10:20:25 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-02-23 10:23:37 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 240 seconds)
2022-02-23 10:24:09 +0100analognoise(~analognoi@185.202.221.26) (Read error: Connection reset by peer)
2022-02-23 10:26:41 +0100gdown(~gavin@h69-11-150-165.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
2022-02-23 10:28:01 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-02-23 10:28:12 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 10:28:50 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 10:29:05 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 10:29:24 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 10:29:48 +0100little_mac(~little_ma@2601:410:4300:3ce0:25e4:decc:c8da:26b5) (Ping timeout: 240 seconds)
2022-02-23 10:29:51 +0100bahamas(~lucian@84.232.140.52)
2022-02-23 10:30:00 +0100dvdrw(~dvdrw@user/dvdrw)
2022-02-23 10:45:25 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 10:46:04 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 10:46:35 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-02-23 10:46:55 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-02-23 10:47:11 +0100alx741(~alx741@157.100.197.240)
2022-02-23 10:48:15 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 10:48:29 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 10:50:30 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 10:50:54 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 10:51:03 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 10:51:45 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-02-23 10:57:43 +0100 <Unhammer> is there something special about filter (< someDay) that makes it strict?
2022-02-23 10:58:36 +0100 <Unhammer> λ> filter (< 10) $ take 10 (iterate (+1 ) 1)
2022-02-23 10:58:39 +0100 <Unhammer> [ 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 ]
2022-02-23 10:58:41 +0100 <Unhammer> λ> take 10 $ filter (< 10) (iterate (+1 ) 1)
2022-02-23 10:58:43 +0100 <Unhammer> Interrupted.
2022-02-23 10:59:05 +0100 <Unhammer> hangs
2022-02-23 10:59:50 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-23 11:00:36 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 240 seconds)
2022-02-23 11:00:41 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-02-23 11:00:55 +0100 <Unhammer> seeing this in both compiled and ghci, 8.10.7
2022-02-23 11:00:57 +0100 <dminuoso> % filter (< 10) $ take 10 (iterate (+1 ) 1)
2022-02-23 11:00:57 +0100 <yahb> dminuoso: [1,2,3,4,5,6,7,8,9]
2022-02-23 11:01:01 +0100 <dminuoso> Works for me?
2022-02-23 11:01:33 +0100 <Ferdirand> you're off by one
2022-02-23 11:01:58 +0100fef(~thedawn@user/thedawn)
2022-02-23 11:02:09 +0100 <dminuoso> Ah
2022-02-23 11:02:29 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 11:02:57 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 11:04:34 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 260 seconds)
2022-02-23 11:04:43 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-02-23 11:05:22 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 11:06:00 +0100ubert1(~Thunderbi@2a02:8109:9880:303c:34eb:c52f:ccd4:3473)
2022-02-23 11:06:32 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 11:07:27 +0100alx741(~alx741@157.100.197.240)
2022-02-23 11:08:20 +0100coot(~coot@213.134.190.95)
2022-02-23 11:11:20 +0100acidjnk_new(~acidjnk@p200300d0c714a49878af4a2b338b7680.dip0.t-ipconnect.de)
2022-02-23 11:12:08 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 11:12:09 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 11:12:21 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 11:13:16 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
2022-02-23 11:14:05 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-02-23 11:14:05 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 11:15:02 +0100acidjnk(~acidjnk@dynamic-089-204-137-076.89.204.137.pool.telefonica.de) (Ping timeout: 240 seconds)
2022-02-23 11:15:13 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 11:17:25 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 11:17:26 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 11:17:58 +0100vysn(~vysn@user/vysn) (Remote host closed the connection)
2022-02-23 11:18:12 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 11:19:47 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:d024:453c:94af:7479)
2022-02-23 11:20:14 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 11:20:26 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 11:20:42 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 11:20:51 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 11:21:03 +0100 <kuribas> > take 9 $ take 10 $ filter (< 10) (iterate (+1 ) 1)
2022-02-23 11:21:06 +0100 <lambdabot> [1,2,3,4,5,6,7,8,9]
2022-02-23 11:21:15 +0100 <kuribas> it's lazy :)
2022-02-23 11:23:20 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-02-23 11:23:31 +0100 <kuribas> > take 10 $ filter (< 10) (iterate (+1 ) 1)
2022-02-23 11:23:37 +0100 <lambdabot> mueval-core: Time limit exceeded
2022-02-23 11:23:42 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 11:23:53 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 11:23:56 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-02-23 11:24:31 +0100 <kuribas> but "drop 9 $ filter (< 10) (iterate (+1 ) 1)" is _|_
2022-02-23 11:25:00 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:d024:453c:94af:7479) (Ping timeout: 240 seconds)
2022-02-23 11:25:19 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-23 11:25:50 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-02-23 11:25:55 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 256 seconds)
2022-02-23 11:28:08 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-02-23 11:28:08 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 11:28:08 +0100komikat(~komikat@183.82.154.239) (Read error: Connection reset by peer)
2022-02-23 11:28:19 +0100komikat(~komikat@183.82.154.239)
2022-02-23 11:28:23 +0100alx741(~alx741@157.100.197.240)
2022-02-23 11:28:53 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 11:28:56 +0100shailangsa(~shailangs@host86-186-127-164.range86-186.btcentralplus.com) (Remote host closed the connection)
2022-02-23 11:31:02 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 11:31:15 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 11:31:39 +0100 <tomsmeding> in my ghci it nicely evaluates the first 9 elements for the 'take 10 (filter (<10) [1..])' variant, showing precisely what happens
2022-02-23 11:31:39 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 11:31:40 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 11:31:47 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 11:33:49 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 11:35:14 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 11:35:24 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 11:35:49 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-02-23 11:36:15 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-23 11:38:42 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-02-23 11:41:49 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-02-23 11:42:48 +0100Pickchea(~private@user/pickchea)
2022-02-23 11:44:56 +0100deadmarshal(~deadmarsh@95.38.230.132)
2022-02-23 11:44:57 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 11:45:57 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-02-23 11:46:12 +0100ishutin(~ishutin@92-249-150-129.static.digikabel.hu) (Read error: Connection reset by peer)
2022-02-23 11:46:12 +0100yauhsien(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-02-23 11:46:15 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 11:48:24 +0100alx741(~alx741@157.100.197.240)
2022-02-23 11:50:21 +0100ishutin(~ishutin@fibhost-66-208-172.fibernet.hu)
2022-02-23 11:51:57 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 11:53:46 +0100drdo(~drdo@roach0.drdo.eu) (Quit: Ping timeout (120 seconds))
2022-02-23 11:54:05 +0100drdo(~drdo@roach0.drdo.eu)
2022-02-23 11:54:18 +0100yauhsien(~Yau-Hsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 12:01:40 +0100glguy(x@libera/staff/glguy) (Read error: Connection reset by peer)
2022-02-23 12:02:02 +0100glguy(x@libera/staff/glguy)
2022-02-23 12:02:18 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-02-23 12:02:33 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-02-23 12:02:35 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-02-23 12:08:41 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 12:09:36 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 12:09:49 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-02-23 12:10:00 +0100alx741(~alx741@157.100.197.240)
2022-02-23 12:13:15 +0100jakalx(~jakalx@base.jakalx.net)
2022-02-23 12:13:19 +0100zaquest(~notzaques@5.130.79.72) (Quit: Leaving)
2022-02-23 12:14:08 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 12:17:32 +0100fendor_(~fendor@91.141.59.141.wireless.dyn.drei.com)
2022-02-23 12:17:45 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 12:17:56 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 12:19:30 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-02-23 12:20:05 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 12:20:40 +0100Vajb(~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314)
2022-02-23 12:20:42 +0100fendor(~fendor@178.165.167.221.wireless.dyn.drei.com) (Ping timeout: 272 seconds)
2022-02-23 12:26:51 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 12:27:29 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 12:30:41 +0100Benzi-Junior(~BenziJuni@dsl-149-64-179.hive.is)
2022-02-23 12:32:33 +0100alx741(~alx741@157.100.197.240)
2022-02-23 12:34:13 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 12:34:24 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 12:35:37 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 12:36:36 +0100__monty__(~toonn@user/toonn)
2022-02-23 12:37:23 +0100nil(~user@134.209.106.31)
2022-02-23 12:37:24 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 12:37:33 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 12:38:17 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 12:38:29 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 12:38:38 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 12:38:46 +0100coot(~coot@213.134.190.95)
2022-02-23 12:40:48 +0100komikat(~komikat@183.82.154.239) (Remote host closed the connection)
2022-02-23 12:43:20 +0100juhp(~juhp@128.106.188.82) (Quit: juhp)
2022-02-23 12:43:34 +0100juhp(~juhp@128.106.188.82)
2022-02-23 12:44:27 +0100komikat(~komikat@183.82.154.239)
2022-02-23 12:48:41 +0100juhp(~juhp@128.106.188.82) (Quit: juhp)
2022-02-23 12:48:56 +0100juhp(~juhp@128.106.188.82)
2022-02-23 12:52:23 +0100nil(~user@134.209.106.31) (Ping timeout: 272 seconds)
2022-02-23 12:53:57 +0100alx741(~alx741@181.199.42.143)
2022-02-23 12:54:02 +0100juhp(~juhp@128.106.188.82) (Quit: juhp)
2022-02-23 12:54:15 +0100juhp(~juhp@128.106.188.82)
2022-02-23 12:55:44 +0100Akiva(~Akiva@user/Akiva) (Ping timeout: 256 seconds)
2022-02-23 12:56:40 +0100yrlnry(~mjd@pool-74-109-20-19.phlapa.fios.verizon.net) (Remote host closed the connection)
2022-02-23 12:57:26 +0100benin(~benin@117.202.69.195) (Ping timeout: 256 seconds)
2022-02-23 13:00:29 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-23 13:03:02 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 13:03:10 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-02-23 13:03:21 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 13:06:27 +0100zaquest(~notzaques@5.130.79.72)
2022-02-23 13:11:29 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 13:12:10 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Ping timeout: 256 seconds)
2022-02-23 13:13:26 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 13:13:27 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 13:13:50 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 13:15:12 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 13:19:42 +0100dvdrw(~dvdrw@user/dvdrw) (Quit: leaving)
2022-02-23 13:19:55 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-02-23 13:21:41 +0100vickyHaskell(~textual@49.37.169.2) (Quit: Textual IRC Client: www.textualapp.com)
2022-02-23 13:22:04 +0100 <Unhammer> yeah it's only when the filter is on the inside it hangs
2022-02-23 13:22:12 +0100xff0x(~xff0x@2001:1a81:53ab:2800:b38f:e60b:4875:f7ef) (Ping timeout: 240 seconds)
2022-02-23 13:22:24 +0100 <Unhammer> filter . take -- fine
2022-02-23 13:22:27 +0100 <Unhammer> take . filter -- hangs
2022-02-23 13:22:47 +0100 <merijn> Which makes sense
2022-02-23 13:23:45 +0100 <Unhammer> I don't understand
2022-02-23 13:24:06 +0100 <merijn> Unhammer: take *always* returns a finite list
2022-02-23 13:24:13 +0100 <merijn> filter on a finite list always terminates
2022-02-23 13:24:17 +0100 <Unhammer> that part i get
2022-02-23 13:24:26 +0100 <Unhammer> what I don't get is why it hangs when it's backwards
2022-02-23 13:24:31 +0100 <merijn> filter on an infinite list will infinitely keep chasing that list to see if something else matches
2022-02-23 13:24:36 +0100cynomys(~cynomys@user/cynomys) (Ping timeout: 240 seconds)
2022-02-23 13:24:45 +0100 <Unhammer> but it can't give the matches to take and then be lazily cut off?
2022-02-23 13:24:49 +0100 <merijn> Unhammer: Filter doesn't know your list is monotonically increasing
2022-02-23 13:24:53 +0100 <merijn> Unhammer: It does
2022-02-23 13:24:59 +0100 <merijn> Unhammer: But take tries to match 1 more
2022-02-23 13:25:10 +0100 <merijn> So, filter keeps chasing for the "next" unfiltered element
2022-02-23 13:25:14 +0100 <merijn> Which it will never find
2022-02-23 13:25:32 +0100 <merijn> Unhammer: Classic case of confusing "filter" with 'takeWhile"
2022-02-23 13:25:48 +0100 <Unhammer> oooh
2022-02-23 13:25:51 +0100 <Unhammer> doh
2022-02-23 13:26:32 +0100 <Unhammer> thank you for clearing that up, will help me sleep tonight :)
2022-02-23 13:26:35 +0100 <merijn> Like, it's obvious to *us* that in an ever increasing list there will never be another elements (<10), but GHC and filter don't know that
2022-02-23 13:26:37 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 13:26:41 +0100xff0x(~xff0x@2001:1a81:53ab:2800:b38f:e60b:4875:f7ef)
2022-02-23 13:27:09 +0100 <merijn> filter can only check every individual element of a list and see if it matches. It's just, you know, taking infinitely long to check all elements of an infinite list :)
2022-02-23 13:27:09 +0100 <hpc> if it helps, just think, filter = grep
2022-02-23 13:27:40 +0100 <merijn> takeWhile, on the other hand, aborts at the first failure and stops
2022-02-23 13:27:48 +0100 <merijn> > takeWhile (<10) [1..]
2022-02-23 13:27:50 +0100 <lambdabot> [1,2,3,4,5,6,7,8,9]
2022-02-23 13:27:58 +0100 <merijn> > take 10 [1..]
2022-02-23 13:28:00 +0100 <lambdabot> [1,2,3,4,5,6,7,8,9,10]
2022-02-23 13:28:01 +0100 <merijn> as does take
2022-02-23 13:28:10 +0100 <Unhammer> $ yes|head|grep no
2022-02-23 13:28:13 +0100 <Unhammer> $ yes|grep no|head
2022-02-23 13:28:15 +0100 <Unhammer> ^C
2022-02-23 13:28:17 +0100 <Unhammer> ok
2022-02-23 13:28:17 +0100 <merijn> > filter (<1) [1..]
2022-02-23 13:28:20 +0100 <Unhammer> :)
2022-02-23 13:28:20 +0100 <hpc> (added bonus, if you're like me and think "filter stuff out", you can keep track of if you need to negate your predicate)
2022-02-23 13:28:24 +0100 <lambdabot> mueval-core: Time limit exceeded
2022-02-23 13:28:29 +0100 <merijn> > filter (<2) [1..]
2022-02-23 13:28:36 +0100 <lambdabot> mueval-core: Time limit exceeded
2022-02-23 13:28:37 +0100 <merijn> aww
2022-02-23 13:28:41 +0100 <merijn> not lazy enough :p
2022-02-23 13:29:04 +0100 <hpc> > filter (<3) [1..]
2022-02-23 13:29:10 +0100 <lambdabot> mueval-core: Time limit exceeded
2022-02-23 13:29:17 +0100 <merijn> hpc: I don't think I ever used filter without having to check in ghci using "filter even [1..10]" to remember how it works :p
2022-02-23 13:29:31 +0100 <hpc> hmm, i guess it's only exceptions that give partial output
2022-02-23 13:29:43 +0100 <hpc> merijn: now you can uses the grep trick too then :D
2022-02-23 13:30:07 +0100alx741(~alx741@181.199.42.143)
2022-02-23 13:30:12 +0100 <hpc> fun fact: in perl filter is a keyword and it's actually called grep
2022-02-23 13:31:24 +0100 <tomsmeding> doesn't lambdabot give partial output only when its output buffer is filled before the time limit?
2022-02-23 13:31:25 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 13:31:31 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 13:31:31 +0100jespada(~jespada@85.255.234.190) (Read error: Connection reset by peer)
2022-02-23 13:32:10 +0100ph88(~ph88@ip5f5af71f.dynamic.kabel-deutschland.de)
2022-02-23 13:32:22 +0100komikat(~komikat@183.82.154.239) (Remote host closed the connection)
2022-02-23 13:32:53 +0100 <tomsmeding> let f n | n < 2 = 1 | True = f (n-1) + f (n`div`2) in map f [1..]
2022-02-23 13:32:53 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 13:32:55 +0100 <tomsmeding> > let f n | n < 2 = 1 | True = f (n-1) + f (n`div`2) in map f [1..]
2022-02-23 13:33:01 +0100 <lambdabot> mueval-core: Time limit exceeded
2022-02-23 13:33:05 +0100 <tomsmeding> > [1..]
2022-02-23 13:33:07 +0100 <lambdabot> [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,...
2022-02-23 13:33:46 +0100 <hpc> > [1, 2, error "also this"]
2022-02-23 13:33:46 +0100 <tomsmeding> hm, apparently not, that prefix of the f thing should finish _very_ quickly
2022-02-23 13:33:48 +0100 <lambdabot> [1,2,*Exception: also this
2022-02-23 13:34:10 +0100 <tomsmeding> > take 30 $ let f n | n < 2 = 1 | True = f (n-1) + f (n`div`2) in map f [1..]
2022-02-23 13:34:12 +0100 <lambdabot> [1,2,3,5,7,10,13,18,23,30,37,47,57,70,83,101,119,142,165,195,225,262,299,346...
2022-02-23 13:34:14 +0100 <tomsmeding> longer prefix
2022-02-23 13:34:22 +0100juhp(~juhp@128.106.188.82) (Quit: juhp)
2022-02-23 13:34:35 +0100juhp(~juhp@128.106.188.82)
2022-02-23 13:35:15 +0100komikat(~komikat@183.82.154.239)
2022-02-23 13:38:38 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 13:40:37 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 13:41:35 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 13:43:48 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-02-23 13:44:02 +0100juhp(~juhp@128.106.188.82) (Good Bye)
2022-02-23 13:44:04 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-02-23 13:45:47 +0100acidjnk(~acidjnk@p200300d0c718c027c4e2756bf84aaa21.dip0.t-ipconnect.de)
2022-02-23 13:46:30 +0100acidjnk_new(~acidjnk@p200300d0c714a49878af4a2b338b7680.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-02-23 13:46:51 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 13:47:43 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 13:49:06 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk)
2022-02-23 13:49:32 +0100zeenk(~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!)
2022-02-23 13:50:25 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection)
2022-02-23 13:50:51 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk)
2022-02-23 13:53:23 +0100bliminse(~bliminse@host109-152-150-162.range109-152.btcentralplus.com) (Quit: leaving)
2022-02-23 13:55:21 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 245 seconds)
2022-02-23 13:55:23 +0100alx741(~alx741@157.100.197.240)
2022-02-23 13:57:16 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-02-23 13:57:37 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Ping timeout: 272 seconds)
2022-02-23 14:01:57 +0100komikat(~komikat@183.82.154.239) (Remote host closed the connection)
2022-02-23 14:02:28 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-02-23 14:02:53 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 14:04:41 +0100bliminse(~bliminse@host109-152-150-162.range109-152.btcentralplus.com)
2022-02-23 14:06:02 +0100komikat(~komikat@183.82.154.239)
2022-02-23 14:08:00 +0100komikat(~komikat@183.82.154.239) (Remote host closed the connection)
2022-02-23 14:15:34 +0100 <dminuoso> Is there some convenience thing that lets me generate all possible unary constructors for a data type?
2022-02-23 14:16:08 +0100 <dminuoso> Originally I thought Enum was that, but that lacks Bounded as a superclass
2022-02-23 14:16:55 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-23 14:18:55 +0100 <dminuoso> The least painful way seems to cook up something with Data like `gen :: Data a => [a]`
2022-02-23 14:19:13 +0100 <dminuoso> Sorry. I meant *nullary* constructors of course.
2022-02-23 14:19:26 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-02-23 14:19:34 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 14:19:39 +0100 <tomsmeding> are there also non-nullary constructors that you want to skip?
2022-02-23 14:20:10 +0100 <dminuoso> No, or rather I dont care either way
2022-02-23 14:20:26 +0100komikat(~komikat@183.82.154.239)
2022-02-23 14:20:32 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-02-23 14:20:35 +0100 <tomsmeding> type Enum' a = (Enum a, Bounded a)
2022-02-23 14:20:40 +0100 <tomsmeding> does that help? :p
2022-02-23 14:20:51 +0100 <dminuoso> tomsmeding: Is Bounded deriveable?
2022-02-23 14:20:58 +0100 <dminuoso> % data Foo = Foo | Bar deriving Bounded
2022-02-23 14:20:58 +0100 <yahb> dminuoso:
2022-02-23 14:21:00 +0100 <dminuoso> Oh wow.
2022-02-23 14:21:02 +0100 <dminuoso> I did not expect that
2022-02-23 14:21:06 +0100alx741(~alx741@157.100.197.240)
2022-02-23 14:21:13 +0100 <dminuoso> % minBound :: Foo
2022-02-23 14:21:13 +0100 <yahb> dminuoso: ; <interactive>:19:1: error:; * No instance for (Show Foo) arising from a use of `print'; * In a stmt of an interactive GHCi command: print it
2022-02-23 14:21:19 +0100 <dminuoso> % data Foo = Foo | Bar deriving (Bounded, Show)
2022-02-23 14:21:19 +0100 <yahb> dminuoso:
2022-02-23 14:21:19 +0100 <tomsmeding> heh
2022-02-23 14:21:24 +0100 <dminuoso> % minBound :: Foo
2022-02-23 14:21:24 +0100 <yahb> dminuoso: Foo
2022-02-23 14:21:28 +0100 <dminuoso> % maxBound :: Foo
2022-02-23 14:21:28 +0100 <yahb> dminuoso: Bar
2022-02-23 14:21:33 +0100 <dminuoso> tomsmeding: Alright, yes. That will work!
2022-02-23 14:21:35 +0100 <tomsmeding> :D
2022-02-23 14:22:39 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:d024:453c:94af:7479)
2022-02-23 14:22:53 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk)
2022-02-23 14:23:50 +0100acidjnk(~acidjnk@p200300d0c718c027c4e2756bf84aaa21.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-02-23 14:25:29 +0100 <tomsmeding> :t [minBound..maxBound]
2022-02-23 14:25:29 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 14:25:30 +0100 <lambdabot> (Bounded a, Enum a) => [a]
2022-02-23 14:26:12 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-02-23 14:26:12 +0100dimsuz(~dimsuz@185.17.131.184)
2022-02-23 14:26:22 +0100 <dminuoso> tomsmeding: I did not even conceive to try whether Bounded was deriveable until you mentioned it
2022-02-23 14:26:27 +0100 <dminuoso> :)
2022-02-23 14:26:42 +0100ccntrq(~Thunderbi@2a01:e34:eccb:b060:ea23:2b79:a0de:4996) (Remote host closed the connection)
2022-02-23 14:27:02 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:d024:453c:94af:7479) (Ping timeout: 240 seconds)
2022-02-23 14:27:23 +0100 <tomsmeding> I guess it kind of makes sense given that Enum is derivable, and deriving Enum basically requires having at least a lower bound
2022-02-23 14:27:47 +0100 <dimsuz> Hi! If I have a list of Maybes and from each of them I want to perform an IO action in a do block if it's a Just, how to proceed? I want something like "whenMaybe val $ do ..."
2022-02-23 14:28:37 +0100 <dimsuz> I could write "case", but its Nothing block would always be "return ()"
2022-02-23 14:28:46 +0100 <dminuoso> tomsmeding: Honestly, Enum very deeply flawed though.
2022-02-23 14:29:08 +0100 <dminuoso> `toEnum :: Int -> a`
2022-02-23 14:29:11 +0100 <dminuoso> That thing shouldn't exist
2022-02-23 14:29:42 +0100ccntrq(~Thunderbi@2a01:e34:eccb:b060:801:2c01:d0ac:b063)
2022-02-23 14:29:46 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-02-23 14:30:26 +0100 <dminuoso> And Im also not entirely happy about `fromEnum :: a -> Int` either
2022-02-23 14:30:48 +0100 <dminuoso> They are very awkward and are sometimes abused for typical enum/integer mappings in protocol settings
2022-02-23 14:31:21 +0100 <lortabac> dimsuz: you can use 'for_'
2022-02-23 14:31:49 +0100 <tomsmeding> dminuoso: not vouching for quality of the design of Enum :p
2022-02-23 14:31:58 +0100zeenk(~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5)
2022-02-23 14:32:05 +0100jippiedoe(~david@2a02-a44c-e14e-1-e90c-8e2f-189d-dd38.fixed6.kpn.net)
2022-02-23 14:32:14 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 260 seconds)
2022-02-23 14:32:42 +0100 <merijn> dimsuz: See also "maybe (return ()) f"
2022-02-23 14:32:53 +0100 <merijn> although for_/forM_ may look cleaner
2022-02-23 14:33:09 +0100 <lortabac> dimsuz: or alternatively you can use 'catMaybes' on the list and 'sequenceA' to perform the actions
2022-02-23 14:33:44 +0100 <dminuoso> Also, `wither` is a very functional thing
2022-02-23 14:33:58 +0100 <dminuoso> % wither f t = catMaybes <$> traverse f t
2022-02-23 14:33:58 +0100 <yahb> dminuoso:
2022-02-23 14:34:02 +0100 <dminuoso> % :t wither
2022-02-23 14:34:02 +0100 <yahb> dminuoso: Applicative f => (a1 -> f (Maybe a2)) -> [a1] -> f [a2]
2022-02-23 14:34:04 +0100 <merijn> dimsuz: How did you get the list of maybes?
2022-02-23 14:34:10 +0100 <dminuoso> Is something I very frequently define in my projects. :)
2022-02-23 14:34:24 +0100 <merijn> 'cause maybe you just want mapMaybe instead
2022-02-23 14:34:26 +0100 <merijn> :t mapMaybe
2022-02-23 14:34:27 +0100 <lambdabot> (a -> Maybe b) -> [a] -> [b]
2022-02-23 14:34:43 +0100 <lortabac> merijn: +1
2022-02-23 14:35:03 +0100 <dimsuz> merijn, lortabac I wrongly said "I have a list of Maybe's". I meant I have four distinct maybe's on which I need to act separately :) So  I guess it's either mapMaybe or maybe
2022-02-23 14:35:38 +0100 <dimsuz> Initially I hoped to do with a list of Maybe's, but that's not going to work and it's another question, I guess I'll ask it separately (one moment)
2022-02-23 14:35:56 +0100 <dminuoso> dimsuz: Also, do-notation with Maybe can be very elegant.
2022-02-23 14:36:22 +0100 <dminuoso> Just throwing in additional bits that might help *shrugs*
2022-02-23 14:36:44 +0100 <lortabac> dimsuz: if you have a single value of type Maybe, you can use either 'for_' or 'maybe (pure ())'
2022-02-23 14:42:15 +0100alx741(~alx741@157.100.197.240)
2022-02-23 14:42:59 +0100acidjnk(~acidjnk@dynamic-089-204-137-076.89.204.137.pool.telefonica.de)
2022-02-23 14:43:08 +0100 <dimsuz> I was trying to build an Sqlite.Simple update query where a set of update parameters comes from user. He can decide to update 1 up to 4 params. I wanted to create a named query
2022-02-23 14:43:08 +0100 <dimsuz> let params = ["param1 = :param1", "param2 = :param2", ...]
2022-02-23 14:43:09 +0100 <dimsuz>      args = [":param1" := param1, ":param2" := param2, ...]
2022-02-23 14:43:10 +0100 <dimsuz> in (executeNamed ("UPDATE table SET " <> params) args)
2022-02-23 14:43:10 +0100 <dimsuz> where params and args are build from list of Maybe's coming from user input but Sqlite.Simple doesn't allow me to build Query from non-literal strings (understandably though).
2022-02-23 14:43:11 +0100 <dimsuz> I have resorted to doing 1-4 separate updates instead of dynamically building from list. Is it OK?
2022-02-23 14:43:29 +0100 <dimsuz> sorry for multiline. I have just recalled I should've used hpaste :(
2022-02-23 14:45:49 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 14:45:59 +0100 <geekosaur> hpaste is gone, sadly
2022-02-23 14:46:07 +0100 <geekosaur> @where paste
2022-02-23 14:46:07 +0100 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2022-02-23 14:47:41 +0100 <dimsuz> thanks! will use it next time! also I have realzed this may be offtopic, as it's some DB-library specific question
2022-02-23 14:47:42 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection)
2022-02-23 14:47:58 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 14:49:20 +0100 <geekosaur> it's still a Haskell question. and I am not sure your list idea would even work since a list hasto have items allof the same type
2022-02-23 14:49:37 +0100 <geekosaur> you can't stuff aMaybe Int and a Maybe Text into the same list
2022-02-23 14:51:26 +0100 <dimsuz> I was converting them to Sqlite.Simple's NamedParam types so it worked type-wise right up until I stubled on this "newtype Query = Text" which only has IsString and is not possible to build other than from literal strings (for protection from injection)
2022-02-23 14:51:39 +0100acidjnk_new(~acidjnk@dynamic-089-204-137-076.89.204.137.pool.telefonica.de)
2022-02-23 14:52:00 +0100Ash[m](~signal-wa@2001:470:69fc:105::1:2318)
2022-02-23 14:52:08 +0100 <tomsmeding> (you can use Data.String.fromString, but that's explicitly working around the protection, so think hard before you do that)
2022-02-23 14:52:43 +0100max22-(~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) (Ping timeout: 250 seconds)
2022-02-23 14:53:45 +0100 <tomsmeding> dimsuz: how are you doing the separate updates? If the column name is coming from user input, how does that even work in the first place?
2022-02-23 14:53:47 +0100 <dimsuz> Oh, nice. thanks! Yes, I understand this is risky. And 4 distinct updates instead of 1 do not sound bad actually, it's just that they are a bit uglier in code. But I doubt I'll ever have more
2022-02-23 14:54:17 +0100acidjnk(~acidjnk@dynamic-089-204-137-076.89.204.137.pool.telefonica.de) (Ping timeout: 240 seconds)
2022-02-23 14:54:58 +0100 <dimsuz> tomsmeding users sends in a PUT containing json with either full set of fields to update or some of them. From this json I derive a list of table columns to update
2022-02-23 15:01:07 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2022-02-23 15:02:17 +0100alx741(~alx741@181.199.42.143)
2022-02-23 15:02:26 +0100 <tomsmeding> dimsuz: I guess my question is, how are you getting a user-specified column name into the query in the first place. If you can do that, why can't you do four of them?
2022-02-23 15:04:33 +0100jespada(~jespada@85.255.234.190)
2022-02-23 15:04:57 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 15:06:07 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 15:06:07 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 15:06:46 +0100alx741(~alx741@181.199.42.143)
2022-02-23 15:06:56 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 15:08:41 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-02-23 15:08:41 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 15:09:49 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 15:10:19 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 15:10:29 +0100CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-02-23 15:11:41 +0100komikat(~komikat@183.82.154.239) (Remote host closed the connection)
2022-02-23 15:13:59 +0100komikat(~komikat@183.82.154.239)
2022-02-23 15:14:43 +0100jippiedoe(~david@2a02-a44c-e14e-1-e90c-8e2f-189d-dd38.fixed6.kpn.net) (Quit: Leaving)
2022-02-23 15:15:40 +0100lavaman(~lavaman@98.38.249.169)
2022-02-23 15:16:02 +0100max22-(~maxime@2a01cb08833598005699785cb4ec772c.ipv6.abo.wanadoo.fr)
2022-02-23 15:17:02 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 15:17:26 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 15:17:35 +0100 <dimsuz> tomsmeding it's not strictly user defined, it's mapped into my record type by aeson. All json fields are Maybe's. User can fill either all or some. Then I thought I could pair up each of record fields with it's db column name, put them in a list and construct an update query using catMaybe's. But restriction on having literal string queries
2022-02-23 15:17:36 +0100 <dimsuz> prevents this. So I'm currently going with 4 distinct `for_`'s as suggested above. Would be troublesome if I had 100 of those, but nowhere near this :)
2022-02-23 15:18:11 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-23 15:18:11 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-02-23 15:18:11 +0100wroathe(~wroathe@user/wroathe)
2022-02-23 15:18:12 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 15:19:01 +0100jkaye(~jkaye@2601:281:8300:7530:1f3b:3a8f:f843:9a79)
2022-02-23 15:19:16 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk)
2022-02-23 15:20:07 +0100jao(~jao@static-68-235-44-77.cust.tzulo.com)
2022-02-23 15:21:27 +0100cosimone(~user@93-34-132-33.ip49.fastwebnet.it) (Remote host closed the connection)
2022-02-23 15:22:03 +0100komikat(~komikat@183.82.154.239) (Remote host closed the connection)
2022-02-23 15:22:17 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-02-23 15:26:19 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-02-23 15:27:06 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 15:27:06 +0100alx741(~alx741@181.199.42.143)
2022-02-23 15:27:29 +0100zer0bitz(~zer0bitz@2001:2003:f74d:b800:b4a7:dec3:a543:4b87)
2022-02-23 15:30:05 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 272 seconds)
2022-02-23 15:30:05 +0100Vajb(~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) (Read error: Connection reset by peer)
2022-02-23 15:30:34 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 15:31:08 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-02-23 15:31:48 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-02-23 15:32:23 +0100mvk(~mvk@2607:fea8:5cdc:bf00::99e7)
2022-02-23 15:32:43 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection)
2022-02-23 15:33:00 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-02-23 15:34:11 +0100komikat(~komikat@183.82.154.239)
2022-02-23 15:34:11 +0100shriekingnoise(~shrieking@201.231.16.156)
2022-02-23 15:35:50 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 15:36:44 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 250 seconds)
2022-02-23 15:36:55 +0100doyougnu(~doyougnu@cpe-67-249-83-190.twcny.res.rr.com)
2022-02-23 15:38:41 +0100dalek_caan(~Thunderbi@109.252.124.86)
2022-02-23 15:43:23 +0100Sgeo(~Sgeo@user/sgeo)
2022-02-23 15:46:57 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-02-23 15:47:21 +0100alx741(~alx741@181.199.42.143)
2022-02-23 15:47:50 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 15:48:51 +0100dimsuz(~dimsuz@185.17.131.184) (Ping timeout: 256 seconds)
2022-02-23 15:48:52 +0100jespada(~jespada@85.255.234.190) (Read error: Connection reset by peer)
2022-02-23 15:49:08 +0100yauhsien(~Yau-Hsien@61-231-19-150.dynamic-ip.hinet.net) (Quit: Leaving)
2022-02-23 15:49:16 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk)
2022-02-23 15:50:32 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 15:54:17 +0100bahamas(~lucian@84.232.140.52)
2022-02-23 15:56:13 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-02-23 15:57:00 +0100xff0x(~xff0x@2001:1a81:53ab:2800:b38f:e60b:4875:f7ef) (Ping timeout: 240 seconds)
2022-02-23 15:58:20 +0100vysn(~vysn@user/vysn)
2022-02-23 15:58:59 +0100xff0x(~xff0x@2001:1a81:53c8:8500:d186:ea73:d14c:679b)
2022-02-23 15:59:27 +0100acidjnk_new(~acidjnk@dynamic-089-204-137-076.89.204.137.pool.telefonica.de) (Read error: Connection reset by peer)
2022-02-23 16:00:27 +0100acidjnk(~acidjnk@dynamic-089-204-137-076.89.204.137.pool.telefonica.de)
2022-02-23 16:00:32 +0100ec(~ec@gateway/tor-sasl/ec)
2022-02-23 16:02:04 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-23 16:02:05 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-02-23 16:02:05 +0100wroathe(~wroathe@user/wroathe)
2022-02-23 16:05:36 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2022-02-23 16:05:41 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 16:07:35 +0100alx741(~alx741@157.100.197.240)
2022-02-23 16:07:36 +0100ec(~ec@gateway/tor-sasl/ec)
2022-02-23 16:09:21 +0100Pickchea(~private@user/pickchea) (Ping timeout: 272 seconds)
2022-02-23 16:10:06 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-02-23 16:10:17 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 16:10:44 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 16:11:48 +0100Megant(megant@user/megant) (Ping timeout: 256 seconds)
2022-02-23 16:12:30 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2022-02-23 16:12:45 +0100AlexNoo(~AlexNoo@178.34.160.252) (Quit: Leaving)
2022-02-23 16:13:27 +0100Megant(megant@user/megant)
2022-02-23 16:14:07 +0100AlexZenon(~alzenon@178.34.160.252) (Quit: ;-)
2022-02-23 16:14:27 +0100Alex_test(~al_test@178.34.160.252) (Quit: ;-)
2022-02-23 16:20:52 +0100acidjnk(~acidjnk@dynamic-089-204-137-076.89.204.137.pool.telefonica.de) (Ping timeout: 256 seconds)
2022-02-23 16:20:55 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-02-23 16:21:22 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:65ac:9e8f:4b5e:2c6b) (Quit: WeeChat 2.8)
2022-02-23 16:23:33 +0100kadobanana(~mud@user/kadoban)
2022-02-23 16:23:59 +0100mud(~mud@user/kadoban) (Ping timeout: 256 seconds)
2022-02-23 16:24:21 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:d024:453c:94af:7479)
2022-02-23 16:25:32 +0100arjun`(~user@103.57.87.142)
2022-02-23 16:25:40 +0100 <arjun`> hi
2022-02-23 16:25:56 +0100 <geekosaur> hi
2022-02-23 16:25:57 +0100 <arjun`> is there a way to see what AST haskell generates for a file ?
2022-02-23 16:26:06 +0100komikat(~komikat@183.82.154.239) (Remote host closed the connection)
2022-02-23 16:26:13 +0100 <arjun`> geekosaur \o
2022-02-23 16:26:33 +0100 <arjun`> how've ya been
2022-02-23 16:26:56 +0100 <Franciman> arjun`: i think you can use ghc as a library https://wiki.haskell.org/GHC/As_a_library
2022-02-23 16:27:08 +0100 <Franciman> not sure if this is what you are looking for, though
2022-02-23 16:27:29 +0100 <geekosaur> you generally can't see the AST itself directly, but -ddump-ds shows what it transforms your program into before applying optimizations and such
2022-02-23 16:27:43 +0100 <geekosaur> ("ghc core")
2022-02-23 16:28:01 +0100 <arjun`> i've been reading up on template haskell lately, and am curious
2022-02-23 16:28:36 +0100 <arjun`> as to how does the entire process of it happens, start to end, what compiles where and what do we end up with
2022-02-23 16:28:36 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:d024:453c:94af:7479) (Ping timeout: 240 seconds)
2022-02-23 16:29:13 +0100alx741(~alx741@181.199.42.143)
2022-02-23 16:29:40 +0100 <arjun`> the haskell AST isn't the same as the one we get with `runQ` is it? InfixE (LitE (Just (IntegerE 1))) or something like that
2022-02-23 16:29:55 +0100 <geekosaur> ah. this has a complication: the AST TH works with isn't actually the AST GHC works with internally
2022-02-23 16:30:13 +0100 <geekosaur> but I don't know the details there
2022-02-23 16:31:16 +0100 <arjun`> when ghc parses stuff, and comes across template haskell, it has to then parse that AST and add it to the FILE's AST so that it can treat it as regular code of a function or a type declaration right
2022-02-23 16:32:10 +0100 <arjun`> then there's this curious flag -fexternal-interpreter
2022-02-23 16:33:22 +0100 <geekosaur> what's curious about it?
2022-02-23 16:33:23 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 16:35:36 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2022-02-23 16:36:50 +0100 <merijn> arjun`: -fexternal-interpreter is related to cross-compilation
2022-02-23 16:36:58 +0100 <merijn> arjun`: Because TH has some nasty edges
2022-02-23 16:37:32 +0100 <merijn> arjun`: Like "what if TH generates code based on the size of an Int, but the GHC on *this* CPU has size 8, while the GHC on the cross-compilation target uses size 4?"
2022-02-23 16:38:13 +0100ec(~ec@gateway/tor-sasl/ec)
2022-02-23 16:38:17 +0100vysn(~vysn@user/vysn) (Remote host closed the connection)
2022-02-23 16:38:38 +0100komikat(~komikat@183.82.154.239)
2022-02-23 16:39:28 +0100bjourne(~bjourne@2001:6b0:1:1140:42bf:ff4:f8fa:50e5)
2022-02-23 16:39:49 +0100 <arjun`> merijn: i see
2022-02-23 16:39:51 +0100 <merijn> arjun`: There is actually a definition of what (conceptually!) is evaluated when. Specifically, TH can see/refer to all code *above* it, but not below it. So if you have a file consisting of 5 code segments "1 A 2 B 3" where A and B are TH splice, the *generated* A code can refer to 1, but not 2, B, or 3.
2022-02-23 16:40:32 +0100vysn(~vysn@user/vysn)
2022-02-23 16:40:38 +0100 <arjun`> sure, those are the declarations groups
2022-02-23 16:40:50 +0100 <arjun`> if i understood correctly
2022-02-23 16:41:27 +0100 <arjun`> but i was curious, why does TH need separate GHC process to run itself, if it was just an AST insertion
2022-02-23 16:41:36 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-02-23 16:41:37 +0100 <arjun`> i think i had the wrong idea
2022-02-23 16:41:50 +0100 <geekosaur> as merijn said, -fexternal-interpreter is for cross compilation
2022-02-23 16:41:56 +0100 <geekosaur> normally you wouldn't use it
2022-02-23 16:42:13 +0100 <geekosaur> but if you're cross-compiling, the TH needs to run on the target
2022-02-23 16:42:17 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds)
2022-02-23 16:42:34 +0100 <arjun`> i've been interested in the "lets create a js backend for GHC issue"
2022-02-23 16:42:50 +0100 <geekosaur> it's also sometimes useful on limited memory machines like arduinos
2022-02-23 16:43:14 +0100 <arjun`> and the author asked me to look into TH and GHC and ghcjs
2022-02-23 16:43:46 +0100 <arjun`> and i think node is used with -fexternal-interpreter there ?
2022-02-23 16:44:02 +0100 <geekosaur> I couldn't tell you about ghcjs
2022-02-23 16:44:37 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-02-23 16:44:37 +0100 <arjun`> nah, that's fine, i was wondering how it worked in GHC first
2022-02-23 16:45:02 +0100 <arjun`> seems TH isn't a ast to ast splice and TH code must be compiled separately?
2022-02-23 16:45:48 +0100abhixec(~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2022-02-23 16:46:31 +0100 <geekosaur> well, TH is code that generates an AST, not simply an AST
2022-02-23 16:46:47 +0100komikat(~komikat@183.82.154.239) (Remote host closed the connection)
2022-02-23 16:47:06 +0100 <geekosaur> which is where most of its power lies
2022-02-23 16:47:21 +0100 <arjun`> so, it must first run somewhere right?
2022-02-23 16:47:23 +0100dalek_caan(~Thunderbi@109.252.124.86) ()
2022-02-23 16:47:27 +0100komikat(~komikat@183.82.154.239)
2022-02-23 16:48:04 +0100 <arjun`> and to run it must be interpreted or compiled if i have the right idea?
2022-02-23 16:49:01 +0100 <geekosaur> yes. so typically it is compiled by the bytecode compiler (think ghci) and immediately interpreted. with -fexternal-interpreter the compilation is done locally but the interpretation is done by an external process which may be running on a different machine, as with cross-compilation
2022-02-23 16:49:31 +0100ShalokShalom(~ShalokSha@2a02:1748:dd5e:7f60:c55f:bc58:d177:838)
2022-02-23 16:49:35 +0100 <ShalokShalom> Hi there
2022-02-23 16:49:47 +0100yauhsien_(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-02-23 16:50:16 +0100 <arjun`> geekosaur: that makes so much sense to me rn
2022-02-23 16:50:19 +0100 <ShalokShalom> I try to build stack on my phone, in Termux and I always get a straight 'Bus error' out of a 'stack setup'
2022-02-23 16:50:19 +0100 <geekosaur> and it's intepreted because it's simpler and it's assumed that the overhead of compilation to object code would be more expensive than interpreting it (this tends to be false with some of the fancier uses of TH these days)
2022-02-23 16:50:37 +0100alx741(~alx741@181.199.42.143)
2022-02-23 16:50:44 +0100 <ShalokShalom> Hi all
2022-02-23 16:50:53 +0100 <arjun`> hi !
2022-02-23 16:51:51 +0100 <ShalokShalom> Also running just 'stack' gives me Bus error
2022-02-23 16:51:53 +0100 <geekosaur> I am noyt sure how well stack or indeed any haskell program would work with termux; it plays too many games to pretend android is a full OS
2022-02-23 16:52:42 +0100 <ShalokShalom> Doesnt nessecerily pile up to be a helpful error message.
2022-02-23 16:52:52 +0100 <ShalokShalom> Yeah, probably
2022-02-23 16:53:02 +0100 <ShalokShalom> I just want to compile one package with it
2022-02-23 16:53:15 +0100 <ShalokShalom> Its prebuild binaries are sadly not for arm64
2022-02-23 16:54:35 +0100 <geekosaur> haskell does not produce that error message; the shell does
2022-02-23 16:55:17 +0100 <geekosaur> it indicates that stack crashed on an OS signal
2022-02-23 16:55:18 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 16:55:31 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-02-23 16:55:35 +0100 <arjun`> geekosaur: so now hypothetically suppose if, we have a working JS backend for GHC, in theory, TH code would be compiled to JS (instead of bytecode)? and then run on node (instead of the ghc interpreter)? and then the result then somehow used in the (still on going) compilation process?
2022-02-23 16:55:55 +0100 <ShalokShalom> Ah, it seems there is something
2022-02-23 16:55:57 +0100 <ShalokShalom> https://www.reddit.com/r/haskell/comments/55p0jb/stackghc_on_termux/
2022-02-23 16:56:09 +0100Pickchea(~private@user/pickchea)
2022-02-23 16:56:09 +0100 <geekosaur> arjun`, I believe that's what ghcjs does now, yes
2022-02-23 16:57:32 +0100yauhsien(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 16:58:25 +0100 <arjun`> thanks a ton for helping me wrap my head around this geekosaur
2022-02-23 16:59:58 +0100 <geekosaur> I wouldn't be too surprised if stack runs out of memory trying to download the list of resolvers. For that matter I'm amazed ghc didn't run out of memory
2022-02-23 17:02:01 +0100yauhsien(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2022-02-23 17:03:40 +0100ShalokShalom(~ShalokSha@2a02:1748:dd5e:7f60:c55f:bc58:d177:838) (Ping timeout: 256 seconds)
2022-02-23 17:05:04 +0100cfricke(~cfricke@user/cfricke) (Ping timeout: 256 seconds)
2022-02-23 17:10:23 +0100mbuf(~Shakthi@122.178.120.57) (Quit: Leaving)
2022-02-23 17:11:59 +0100alx741(~alx741@157.100.197.240)
2022-02-23 17:12:43 +0100 <bjourne> has anyone of you heard the term "skeleton programming" when referring to parallel execution of higher order functions?
2022-02-23 17:15:04 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 17:15:11 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909)
2022-02-23 17:16:41 +0100zebrag(~chris@user/zebrag)
2022-02-23 17:17:43 +0100little_mac(~little_ma@2601:410:4300:3ce0:25e4:decc:c8da:26b5)
2022-02-23 17:17:55 +0100jespada(~jespada@85.255.234.190)
2022-02-23 17:25:23 +0100Pickchea(~private@user/pickchea) (Ping timeout: 252 seconds)
2022-02-23 17:25:55 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-02-23 17:26:01 +0100komikat(~komikat@183.82.154.239) (Remote host closed the connection)
2022-02-23 17:31:19 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 250 seconds)
2022-02-23 17:31:19 +0100Null_A(~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds)
2022-02-23 17:31:58 +0100xkuru(~xkuru@user/xkuru)
2022-02-23 17:32:01 +0100alx741(~alx741@181.199.42.143)
2022-02-23 17:35:50 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 17:36:06 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-02-23 17:36:30 +0100alx741(~alx741@181.199.42.143)
2022-02-23 17:38:41 +0100vysn(~vysn@user/vysn) (Ping timeout: 250 seconds)
2022-02-23 17:40:52 +0100vickyHaskell(~textual@49.37.169.2)
2022-02-23 17:43:04 +0100arjun(~arjun@user/arjun)
2022-02-23 17:43:25 +0100arjun`(~user@103.57.87.142) (ERC 5.4.1 (IRC client for GNU Emacs 29.0.50))
2022-02-23 17:45:14 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 17:46:36 +0100Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net)
2022-02-23 17:50:45 +0100komikat(~komikat@183.82.154.239)
2022-02-23 17:51:31 +0100phma_(phma@2001:5b0:2172:8c78:5f9d:f266:1ca1:f0c)
2022-02-23 17:51:32 +0100alp(~alp@user/alp) (Ping timeout: 240 seconds)
2022-02-23 17:52:07 +0100analognoise(~analognoi@ip98-176-154-48.sd.sd.cox.net)
2022-02-23 17:54:19 +0100analognoise1(~analognoi@192.145.80.4)
2022-02-23 17:54:37 +0100phma(~phma@host-67-44-208-227.hnremote.net) (Ping timeout: 240 seconds)
2022-02-23 17:54:56 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-02-23 17:55:15 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-02-23 17:57:14 +0100vickyHaskell(~textual@49.37.169.2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-02-23 17:57:37 +0100analognoise(~analognoi@ip98-176-154-48.sd.sd.cox.net) (Ping timeout: 240 seconds)
2022-02-23 17:59:53 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 18:01:49 +0100alx741(~alx741@157.100.197.240)
2022-02-23 18:02:18 +0100MajorBiscuit(~MajorBisc@c-001-017-039.client.tudelft.eduvpn.nl) (Ping timeout: 256 seconds)
2022-02-23 18:03:39 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-02-23 18:04:12 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 18:04:30 +0100Natch(~natch@c-4db8e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection)
2022-02-23 18:05:09 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2022-02-23 18:05:22 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 18:07:41 +0100Akiva(~Akiva@user/Akiva)
2022-02-23 18:10:35 +0100lavaman(~lavaman@98.38.249.169)
2022-02-23 18:15:31 +0100sprout(~quassel@2a02:a467:ccd6:1:3d23:94e0:3c0f:8df3) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-02-23 18:15:53 +0100sprout(~quassel@2a02:a467:ccd6:1:940d:dbf8:92f5:3d86)
2022-02-23 18:16:21 +0100AlexZenon(~alzenon@178.34.160.252)
2022-02-23 18:16:32 +0100 <maerwald> anyone has an example with servants custom monads, but not with Handler, but with wai's Application?
2022-02-23 18:16:34 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 18:16:44 +0100AlexNoo(~AlexNoo@178.34.160.252)
2022-02-23 18:17:53 +0100jao(~jao@static-68-235-44-77.cust.tzulo.com) (Ping timeout: 256 seconds)
2022-02-23 18:18:53 +0100Alex_test(~al_test@178.34.160.252)
2022-02-23 18:19:01 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2022-02-23 18:20:07 +0100jao(~jao@66.63.167.125)
2022-02-23 18:20:51 +0100vicfred(~vicfred@user/vicfred)
2022-02-23 18:21:36 +0100ec(~ec@gateway/tor-sasl/ec) (Quit: ec)
2022-02-23 18:21:51 +0100alx741(~alx741@157.100.197.240)
2022-02-23 18:24:32 +0100coot(~coot@213.134.190.95)
2022-02-23 18:25:54 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:d024:453c:94af:7479)
2022-02-23 18:29:42 +0100ShalokShalom(~ShalokSha@2a02:1748:dd5e:7f60:f56a:2bb4:a975:dd85)
2022-02-23 18:30:12 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:d024:453c:94af:7479) (Ping timeout: 240 seconds)
2022-02-23 18:30:17 +0100 <ShalokShalom> ./stack-2.7.1-linux-aarch64.bin setup
2022-02-23 18:30:17 +0100 <ShalokShalom> Could not parse '/root/.stack/config.yaml':
2022-02-23 18:30:18 +0100 <ShalokShalom> Aeson exception:
2022-02-23 18:30:18 +0100 <ShalokShalom> Error in $: parsing ConfigMonoid failed, expected Object, but encountered Null
2022-02-23 18:30:19 +0100 <ShalokShalom> See http://docs.haskellstack.org/en/stable/yaml_configuration/
2022-02-23 18:30:40 +0100 <ShalokShalom> So, I downloaded just the binary, is it complaining now, that I lack a yaml?
2022-02-23 18:32:16 +0100Natch(~natch@c-4db8e255.014-297-73746f25.bbcust.telenor.se)
2022-02-23 18:32:36 +0100 <ShalokShalom> Why dont they create one, or put one to the download?
2022-02-23 18:32:49 +0100 <c_wraith> ... far more important, why is it looking in /root ?
2022-02-23 18:33:01 +0100dons(~dons@user/dons) (Quit: Lost terminal)
2022-02-23 18:33:22 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 18:34:05 +0100 <ShalokShalom> I did it in home, same
2022-02-23 18:34:36 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 18:35:37 +0100 <c_wraith> I'd be super wary of file ownership issues breaking all sorts of things at this point.
2022-02-23 18:35:53 +0100 <c_wraith> since you clearly ran some commands as root
2022-02-23 18:36:29 +0100ShalokShalom(~ShalokSha@2a02:1748:dd5e:7f60:f56a:2bb4:a975:dd85) (Quit: Ping timeout (120 seconds))
2022-02-23 18:37:10 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-02-23 18:37:52 +0100jkaye(~jkaye@2601:281:8300:7530:1f3b:3a8f:f843:9a79) (Remote host closed the connection)
2022-02-23 18:38:13 +0100jkaye(~jkaye@2601:281:8300:7530:1f3b:3a8f:f843:9a79)
2022-02-23 18:38:14 +0100ubert1(~Thunderbi@2a02:8109:9880:303c:34eb:c52f:ccd4:3473) (Remote host closed the connection)
2022-02-23 18:40:29 +0100akegalj(~akegalj@93-139-180-172.adsl.net.t-com.hr)
2022-02-23 18:42:46 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-02-23 18:42:46 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-02-23 18:42:46 +0100wroathe(~wroathe@user/wroathe)
2022-02-23 18:44:59 +0100zincy_(~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9)
2022-02-23 18:47:53 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2022-02-23 18:49:29 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-02-23 18:50:32 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-02-23 18:50:47 +0100Guest60(~Guest60@134.101.5.46)
2022-02-23 18:51:26 +0100alx741(~alx741@157.100.197.240)
2022-02-23 18:53:38 +0100 <Guest60> is it possible to change a last element in a list of strings? for example list of names, ["Arnold, "1000 more names", "NameToChange"]?  Or even if I want to add a specific element, is it possible?
2022-02-23 18:53:55 +0100 <Guest60> not add, but change a specific element of the list let's say at the index 10
2022-02-23 18:53:56 +0100 <dminuoso> Yes, but not comfortably
2022-02-23 18:54:14 +0100 <dminuoso> What I would do is write `map1 :: (a -> a) -> [a] -> [a]` that maps over the first element
2022-02-23 18:54:17 +0100kuribas(~user@ptr-25vy0ial5agu2xq2mv8.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2022-02-23 18:54:25 +0100 <dminuoso> And then write `reverse . map1 f . reverse`
2022-02-23 18:55:08 +0100 <dminuoso> But really, random manipulation lists is not convenient due to how lists are made. At the end lists are more like control structure rather than data structure
2022-02-23 18:55:24 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 18:55:46 +0100 <Guest60> I was thinking about a similar solution with reverse, the idea is that I have a list of names and I want to separate them with semicolons, and I want to get rid of the last semicolon, I though about reversing a list and taking all chars except the last without a semicolon and reversing it back..any better solution?
2022-02-23 18:56:23 +0100 <Guest60> so I want to populate a list with ["A";"B"; ...; "Z";] and get rid of the last semicolon
2022-02-23 18:56:29 +0100ccntrq(~Thunderbi@2a01:e34:eccb:b060:801:2c01:d0ac:b063) (Remote host closed the connection)
2022-02-23 18:56:35 +0100 <dminuoso> Guest60: You might be interested in the following primitives
2022-02-23 18:56:37 +0100 <dminuoso> % :t intercalate
2022-02-23 18:56:37 +0100 <yahb> dminuoso: [a] -> [[a]] -> [a]
2022-02-23 18:56:51 +0100 <dminuoso> % :t intersperse
2022-02-23 18:56:51 +0100 <yahb> dminuoso: a -> [a] -> [a]
2022-02-23 18:57:02 +0100 <dminuoso> Are these, by any chance, helpful to you?
2022-02-23 18:57:18 +0100 <dminuoso> % intercalate ";" ["foo", "bar", "quux"]
2022-02-23 18:57:18 +0100 <yahb> dminuoso: "foo;bar;quux"
2022-02-23 18:59:08 +0100 <Guest60> I wll check this out, ty.
2022-02-23 19:00:51 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:d024:453c:94af:7479)
2022-02-23 19:00:55 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection)
2022-02-23 19:01:04 +0100zincy_(~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection)
2022-02-23 19:01:30 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2022-02-23 19:03:02 +0100douglaswinship(~douglaswi@78.40.148.180) (Remote host closed the connection)
2022-02-23 19:05:50 +0100eriol(~eriol@user/eriol)
2022-02-23 19:06:48 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Remote host closed the connection)
2022-02-23 19:07:24 +0100pooryorick(~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 240 seconds)
2022-02-23 19:07:31 +0100sproutegelbot
2022-02-23 19:07:33 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 19:08:17 +0100zincy_(~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9)
2022-02-23 19:08:22 +0100pooryorick(~pooryoric@87-119-174-173.tll.elisa.ee)
2022-02-23 19:09:54 +0100econo(uid147250@user/econo)
2022-02-23 19:09:58 +0100vickyHaskell(~textual@49.37.169.2)
2022-02-23 19:12:00 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 256 seconds)
2022-02-23 19:13:38 +0100ProfSimm(~ProfSimm@118.125.246.35.bc.googleusercontent.com)
2022-02-23 19:13:58 +0100alx741(~alx741@181.199.42.143)
2022-02-23 19:14:33 +0100 <EvanR> Guest60, to edit the last element of a list (to write a helper that applies a function to the last element of a list), I'd probably define it directly as two equations.
2022-02-23 19:14:36 +0100doyougnu(~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 240 seconds)
2022-02-23 19:14:50 +0100zincy_(~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection)
2022-02-23 19:14:56 +0100 <EvanR> note that such a function needs special treatment for []
2022-02-23 19:15:07 +0100egelbotsprout
2022-02-23 19:15:23 +0100 <EvanR> do you crash or react to [] with another []
2022-02-23 19:15:36 +0100zincy_(~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9)
2022-02-23 19:16:08 +0100cfricke(~cfricke@user/cfricke)
2022-02-23 19:16:12 +0100 <EvanR> if you're dealing with non-empty lists, Data.List.NonEmpty can allow you to avoid the question
2022-02-23 19:16:45 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 19:17:18 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-02-23 19:17:26 +0100alx741(~alx741@157.100.197.240)
2022-02-23 19:17:35 +0100zincy_(~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection)
2022-02-23 19:18:36 +0100fef(~thedawn@user/thedawn) (Ping timeout: 240 seconds)
2022-02-23 19:20:35 +0100chele(~chele@user/chele) (Remote host closed the connection)
2022-02-23 19:20:36 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 19:22:03 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2022-02-23 19:24:50 +0100jgeerds(~jgeerds@d53600c5.access.ecotel.net)
2022-02-23 19:24:53 +0100sproutegelbot
2022-02-23 19:25:01 +0100ph88(~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Quit: Leaving)
2022-02-23 19:25:53 +0100egelbotsprout
2022-02-23 19:27:26 +0100zincy_(~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9)
2022-02-23 19:27:26 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 19:28:09 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 19:28:29 +0100wonko(~wjc@user/wonko)
2022-02-23 19:34:31 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk)
2022-02-23 19:38:46 +0100emf(~emf@c-73-97-137-43.hsd1.wa.comcast.net)
2022-02-23 19:38:46 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 19:39:00 +0100alx741(~alx741@181.199.42.143)
2022-02-23 19:39:12 +0100zincy_(~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection)
2022-02-23 19:40:07 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 19:40:15 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 272 seconds)
2022-02-23 19:40:21 +0100turlando(~turlando@93-42-250-112.ip89.fastwebnet.it)
2022-02-23 19:40:21 +0100turlando(~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host)
2022-02-23 19:40:22 +0100turlando(~turlando@user/turlando)
2022-02-23 19:41:48 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 19:41:58 +0100zincy_(~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9)
2022-02-23 19:42:28 +0100alx741(~alx741@181.199.42.143)
2022-02-23 19:42:42 +0100 <sm> can you publish a haskell app in the microsoft app store, does anyone know ?
2022-02-23 19:44:14 +0100 <maerwald> sm: tell me if you figure it out
2022-02-23 19:44:21 +0100 <maerwald> I'm also interested
2022-02-23 19:44:51 +0100 <dminuoso> The microsoft store policies dont seem to give a reason against it
2022-02-23 19:44:59 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 19:45:05 +0100 <dminuoso> https://docs.microsoft.com/en-us/windows/uwp/publish/store-policies#102-security
2022-02-23 19:45:05 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 19:45:10 +0100 <sm> https://docs.microsoft.com/en-us/windows/uwp/publish/
2022-02-23 19:45:28 +0100 <dminuoso> Appears to be the only section that somewhat relates to what's inside. So as long as you conform to that
2022-02-23 19:45:39 +0100ProfSimm(~ProfSimm@118.125.246.35.bc.googleusercontent.com) (Remote host closed the connection)
2022-02-23 19:45:50 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 19:46:24 +0100emf_(~emf@2620:10d:c090:400::5:e9f1)
2022-02-23 19:46:38 +0100 <sm> https://docs.microsoft.com/en-us/windows/uwp/publish/msiexe/overview is useful
2022-02-23 19:46:57 +0100 <sm> but it seems quite hard to be certain without going through it. Or finding an existing app.. can't think of one offhand
2022-02-23 19:47:28 +0100 <sm> dminuoso: thanks
2022-02-23 19:47:54 +0100 <dminuoso> sm: the policies are very short.
2022-02-23 19:48:12 +0100 <dminuoso> If you go through it thoroughly, it seems like a 15 minute read
2022-02-23 19:48:33 +0100 <dminuoso> 30 if you're being extra careful I guess
2022-02-23 19:48:57 +0100emf(~emf@c-73-97-137-43.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2022-02-23 19:49:07 +0100 <sm> I still won't be certain
2022-02-23 19:49:50 +0100 <dminuoso> You never will be. At the end you're at the mercy of some random store algorithm's whim.
2022-02-23 19:49:53 +0100 <sm> for my particular app at least, which is slightly harder than "any haskell app in principle"
2022-02-23 19:49:54 +0100 <dminuoso> Or some admins whim.
2022-02-23 19:51:30 +0100zincy_(~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection)
2022-02-23 19:51:30 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 19:51:54 +0100zincy_(~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9)
2022-02-23 19:52:37 +0100zincy_(~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection)
2022-02-23 19:52:45 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 19:52:50 +0100 <sm> I'll be certain if I do it and succeed
2022-02-23 19:53:53 +0100 <sm> but if anyone thinks of an existing windows app store haskell app, do let us know
2022-02-23 19:54:11 +0100cfricke(~cfricke@user/cfricke) (Ping timeout: 272 seconds)
2022-02-23 19:55:52 +0100Pickchea(~private@user/pickchea)
2022-02-23 19:56:16 +0100sprout(~quassel@2a02:a467:ccd6:1:940d:dbf8:92f5:3d86) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-02-23 19:56:38 +0100sprout(~quassel@2a02:a467:ccd6:1:940d:dbf8:92f5:3d86)
2022-02-23 19:59:21 +0100vickyHaskell(~textual@49.37.169.2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-02-23 19:59:26 +0100slack1256(~slack1256@45.4.2.52)
2022-02-23 19:59:29 +0100Batzy(~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-02-23 19:59:57 +0100 <slack1256> Has anyone seen this error before launching a binary inside docker? "a.out: internal error: Itimer: Failed to spawn thread: Operation not permitted"
2022-02-23 20:00:14 +0100komikat(~komikat@183.82.154.239) (Remote host closed the connection)
2022-02-23 20:01:32 +0100komikat(~komikat@183.82.154.239)
2022-02-23 20:01:45 +0100alx741(~alx741@181.199.42.143)
2022-02-23 20:01:54 +0100Batzy(~quassel@user/batzy)
2022-02-23 20:02:15 +0100jespada(~jespada@85.255.234.190) (Read error: Connection reset by peer)
2022-02-23 20:02:28 +0100Guest60(~Guest60@134.101.5.46) (Quit: Client closed)
2022-02-23 20:04:03 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
2022-02-23 20:05:36 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-02-23 20:06:20 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 20:07:19 +0100Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-02-23 20:08:21 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-02-23 20:09:31 +0100MajorBiscuit(~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e)
2022-02-23 20:10:09 +0100ProfSimm(~ProfSimm@118.125.246.35.bc.googleusercontent.com)
2022-02-23 20:12:44 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-23 20:12:54 +0100benin(~benin@223.182.225.201)
2022-02-23 20:13:00 +0100deadmarshal(~deadmarsh@95.38.230.132) (Ping timeout: 240 seconds)
2022-02-23 20:15:23 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-02-23 20:19:53 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:d024:453c:94af:7479) (Remote host closed the connection)
2022-02-23 20:20:08 +0100arjun(~arjun@user/arjun) (Ping timeout: 250 seconds)
2022-02-23 20:22:37 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 20:22:49 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 20:23:09 +0100alx741(~alx741@157.100.197.240)
2022-02-23 20:29:30 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 20:29:33 +0100Topsi(~Tobias@dyndsl-095-033-018-046.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2022-02-23 20:30:00 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 20:30:08 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 20:32:45 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2022-02-23 20:42:06 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-02-23 20:45:13 +0100ProfSimm(~ProfSimm@118.125.246.35.bc.googleusercontent.com) (Ping timeout: 256 seconds)
2022-02-23 20:46:15 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-02-23 20:46:22 +0100alx741(~alx741@181.199.42.143)
2022-02-23 20:46:49 +0100vglfr(~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
2022-02-23 20:46:58 +0100vglfr(~vglfr@coupling.penchant.volia.net)
2022-02-23 20:47:23 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
2022-02-23 20:47:48 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-02-23 20:48:59 +0100Lord_of_Life_Lord_of_Life
2022-02-23 20:49:45 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 20:49:48 +0100MajorBiscuit(~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Ping timeout: 240 seconds)
2022-02-23 20:52:52 +0100coot(~coot@213.134.190.95) (Ping timeout: 256 seconds)
2022-02-23 21:00:45 +0100coot(~coot@213.134.190.95)
2022-02-23 21:01:17 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:d024:453c:94af:7479)
2022-02-23 21:02:10 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-02-23 21:03:28 +0100 <Cale> dminuoso: TH splices will somehow give you an expression, but that expression will generally need to be evaluated. In cases where you have access to the data constructors for the type you're constructing, that can be helpful, but for stuff like Map/Set, it's quite inconvenient at the very least, and for ByteString/Text, you're still out of luck, since we can't have ByteString literals.
2022-02-23 21:04:15 +0100Erutuon(~Erutuon@user/erutuon)
2022-02-23 21:04:29 +0100slack1256(~slack1256@45.4.2.52) (Ping timeout: 272 seconds)
2022-02-23 21:06:33 +0100jgeerds(~jgeerds@d53600c5.access.ecotel.net) (Read error: Connection reset by peer)
2022-02-23 21:06:35 +0100alx741(~alx741@181.199.42.143)
2022-02-23 21:07:01 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2022-02-23 21:09:26 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 21:10:05 +0100alx741(~alx741@181.199.42.143)
2022-02-23 21:10:37 +0100_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-02-23 21:14:02 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-02-23 21:16:24 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 21:16:54 +0100wroathe(~wroathe@user/wroathe)
2022-02-23 21:17:32 +0100zero(~z@user/zero)
2022-02-23 21:17:36 +0100wennefer0(~wennefer0@192.160.51.50)
2022-02-23 21:18:51 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4)
2022-02-23 21:19:49 +0100zzz(~z@user/zero) (Ping timeout: 240 seconds)
2022-02-23 21:20:02 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 21:20:50 +0100wennefer0(~wennefer0@192.160.51.50) (Client Quit)
2022-02-23 21:22:49 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:d024:453c:94af:7479) (Remote host closed the connection)
2022-02-23 21:22:54 +0100wonko(~wjc@user/wonko) (Ping timeout: 260 seconds)
2022-02-23 21:23:00 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-02-23 21:23:50 +0100python476(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7)
2022-02-23 21:24:45 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 272 seconds)
2022-02-23 21:25:23 +0100doyougnu(~doyougnu@cpe-67-249-83-190.twcny.res.rr.com)
2022-02-23 21:26:17 +0100cynomys(~cynomys@user/cynomys)
2022-02-23 21:27:22 +0100slack1256(~slack1256@45.4.2.52)
2022-02-23 21:28:16 +0100fendor_(~fendor@91.141.59.141.wireless.dyn.drei.com) (Remote host closed the connection)
2022-02-23 21:31:07 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2022-02-23 21:32:50 +0100theproffesor(~theproffe@user/theproffesor) (Remote host closed the connection)
2022-02-23 21:32:56 +0100python476(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (ERC 5.4.1 (IRC client for GNU Emacs 29.0.50))
2022-02-23 21:33:27 +0100alx741(~alx741@181.199.42.143)
2022-02-23 21:34:43 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-02-23 21:37:16 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 21:37:55 +0100alx741(~alx741@157.100.197.240)
2022-02-23 21:38:23 +0100 <ehammarstrom> Does anyone know of a good visualisation of function cardinality? |a -> b| = |b| ^ |a|
2022-02-23 21:40:28 +0100bahamas(~lucian@84.232.140.52)
2022-02-23 21:40:38 +0100 <slack1256> You mean diagrams? There are some blog post that I can search if that is what you want.
2022-02-23 21:41:00 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 21:41:40 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 21:43:07 +0100doyougnu(~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 272 seconds)
2022-02-23 21:43:11 +0100 <ehammarstrom> slack1256: Yes. I would appreciate that.
2022-02-23 21:43:20 +0100 <ehammarstrom> My google-fu is not getting me anywhere
2022-02-23 21:45:18 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk)
2022-02-23 21:45:39 +0100Katarushisu(~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Ping timeout: 272 seconds)
2022-02-23 21:46:18 +0100dextaa_(~dextaa@user/dextaa)
2022-02-23 21:46:33 +0100 <slack1256> ehammarstrom: https://www.youtube.com/watch?v=YScIPA8RbVE That is the "pretties" exposition on the subject in terms of style. You can get it summaried on the blogpost linked.
2022-02-23 21:46:52 +0100 <slack1256> But yeah, the function cardinality is the hardest one and you already got it.
2022-02-23 21:48:36 +0100 <slack1256> s_pretties_prettiest_
2022-02-23 21:50:42 +0100 <ehammarstrom> slack1256: Looks like a great talk. What blogpost are you referring to?
2022-02-23 21:52:05 +0100slac23112(~slack1256@45.4.2.52)
2022-02-23 21:52:15 +0100_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-02-23 21:53:09 +0100 <slac23112> ehammarstrom: Oh, I swear I saw it on the video description. https://gist.github.com/gregberns/5e9da0c95a9a8d2b6338afe69310b945
2022-02-23 21:53:48 +0100 <slac23112> The author had it formatted differently on various sites, but the general idea is the same and it is well exposed on that gist.
2022-02-23 21:54:13 +0100mrkajetanp(~mrkajetan@88.98.245.28) (Read error: Connection reset by peer)
2022-02-23 21:55:00 +0100bahamas(~lucian@84.232.140.52) (Ping timeout: 240 seconds)
2022-02-23 21:55:03 +0100 <[exa]> ehammarstrom: a good intuition is to use `b` as coordinates in an |a|-dimensional space and just draw it as a flimsy 3D-ish vector space. It kinda breaks if the magnitudes get real, but at that point most people will see it.
2022-02-23 21:55:13 +0100slack1256(~slack1256@45.4.2.52) (Ping timeout: 250 seconds)
2022-02-23 21:55:54 +0100bendo(~bendo@ip5f5bebbb.dynamic.kabel-deutschland.de)
2022-02-23 21:56:15 +0100 <ehammarstrom> So I guess my question is, what happens when |a| < |b|? When enumerating functions which would map elements of a to elements of b I feel like I get functions that are not total (?)
2022-02-23 21:56:15 +0100mrkajetanp(~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88)
2022-02-23 21:56:20 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds)
2022-02-23 21:56:36 +0100 <ehammarstrom> I am not sure total is the correct wording
2022-02-23 21:57:08 +0100pavonia(~user@user/siracusa)
2022-02-23 21:57:25 +0100 <ehammarstrom> E.g. `Bool -> Quad` where `data Quad = A | B | C | D`
2022-02-23 21:57:37 +0100 <[exa]> if the set sizes differ, the function may become surjective or bijective, totality is a different problem
2022-02-23 21:57:41 +0100vorpuni(~pvorp@2001:861:3881:c690:d322:f659:136d:eef6)
2022-02-23 21:57:50 +0100 <[exa]> s/bijective/injective/ whoops
2022-02-23 21:59:23 +0100alx741(~alx741@181.199.42.143)
2022-02-23 21:59:39 +0100 <ehammarstrom> [exa]: I see, it seem that |a -> b| becomes injective if |a| < |b|. But thanks for pointing the terms out, I'll have to do some more digging
2022-02-23 22:00:14 +0100alp(~alp@user/alp)
2022-02-23 22:01:58 +0100 <[exa]> otoh I'm totally unaware of a cardinality theory (where you usually only consider well-behaved proper function that are total) that would work with partial functions, other than perhaps trivially adding the bottom as a part of `b`
2022-02-23 22:02:35 +0100benin(~benin@223.182.225.201) (Read error: Connection reset by peer)
2022-02-23 22:02:59 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 22:07:04 +0100Ariakenom(~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: Leaving)
2022-02-23 22:08:13 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:d024:453c:94af:7479)
2022-02-23 22:08:19 +0100zeenk(~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!)
2022-02-23 22:08:34 +0100yauhsien(~yauhsien@61-231-19-150.dynamic-ip.hinet.net)
2022-02-23 22:08:40 +0100vorpuni(~pvorp@2001:861:3881:c690:d322:f659:136d:eef6) (Quit: bye)
2022-02-23 22:09:25 +0100acidjnk(~acidjnk@p5487dbd8.dip0.t-ipconnect.de)
2022-02-23 22:10:23 +0100 <dolio> ehammarstrom: Functions a -> b with |a| < |b| are not necessarily injective.
2022-02-23 22:10:44 +0100 <dolio> If |a| > |b| then they are necessarily not injective, though.
2022-02-23 22:13:03 +0100yauhsien(~yauhsien@61-231-19-150.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-02-23 22:16:20 +0100lavaman(~lavaman@98.38.249.169)
2022-02-23 22:19:39 +0100alx741(~alx741@157.100.197.240)
2022-02-23 22:20:45 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2022-02-23 22:22:07 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 22:24:55 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2022-02-23 22:25:25 +0100machinedgod(~machinedg@24.105.81.50)
2022-02-23 22:25:30 +0100komikat(~komikat@183.82.154.239) (Remote host closed the connection)
2022-02-23 22:29:46 +0100Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2022-02-23 22:34:34 +0100komikat(~komikat@183.82.154.239)
2022-02-23 22:37:01 +0100xff0x(~xff0x@2001:1a81:53c8:8500:d186:ea73:d14c:679b) (Ping timeout: 245 seconds)
2022-02-23 22:38:14 +0100xff0x(~xff0x@2001:1a81:53c8:8500:acc6:628c:c348:430)
2022-02-23 22:38:45 +0100alx741(~alx741@157.100.197.240)
2022-02-23 22:38:48 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl)
2022-02-23 22:39:24 +0100komikat(~komikat@183.82.154.239) (Ping timeout: 256 seconds)
2022-02-23 22:41:25 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 22:44:07 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2022-02-23 22:47:39 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-02-23 22:49:44 +0100 <dibblego> @src (>>=) []
2022-02-23 22:49:44 +0100 <lambdabot> Source not found. You untyped fool!
2022-02-23 22:49:48 +0100 <dibblego> @src [] (>>=)
2022-02-23 22:49:48 +0100 <lambdabot> xs >>= f = concatMap f xs
2022-02-23 22:49:50 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-02-23 22:51:04 +0100kenran(~kenran@200116b82bed0b0071c8f52489bfb401.dip.versatel-1u1.de)
2022-02-23 22:51:31 +0100 <dibblego> @src concatMap
2022-02-23 22:51:32 +0100 <lambdabot> concatMap f = foldr ((++) . f) []
2022-02-23 22:54:11 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2022-02-23 22:57:52 +0100euandreh(~euandreh@2804:14c:33:9fe5:fb55:f4b:9349:d06d) (Ping timeout: 250 seconds)
2022-02-23 22:59:12 +0100kenran(~kenran@200116b82bed0b0071c8f52489bfb401.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-02-23 22:59:17 +0100alx741(~alx741@157.100.197.240)
2022-02-23 23:00:32 +0100gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2022-02-23 23:01:04 +0100slac23112slack1256
2022-02-23 23:01:17 +0100gehmehgeh(~user@user/gehmehgeh)
2022-02-23 23:03:55 +0100alx741(~alx741@157.100.197.240) (Read error: Connection reset by peer)
2022-02-23 23:04:10 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-02-23 23:04:56 +0100zer0bitz(~zer0bitz@2001:2003:f74d:b800:b4a7:dec3:a543:4b87) (Ping timeout: 245 seconds)
2022-02-23 23:05:35 +0100ec(~ec@gateway/tor-sasl/ec)
2022-02-23 23:06:20 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:d024:453c:94af:7479) (Remote host closed the connection)
2022-02-23 23:06:32 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2022-02-23 23:07:16 +0100once_upon_a_pota(~once_upon@117.55.252.24)
2022-02-23 23:13:02 +0100merijn(~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-02-23 23:13:48 +0100 <sm> nice, joeyh's recent arduino/copilot talk got published: https://www.youtube.com/watch?v=l-luyVRgWVU
2022-02-23 23:15:40 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-02-23 23:15:50 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-02-23 23:15:58 +0100zincy_(~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9)
2022-02-23 23:17:13 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729)
2022-02-23 23:20:02 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-02-23 23:20:25 +0100alx741(~alx741@181.199.42.143)
2022-02-23 23:22:45 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 23:24:40 +0100jgeerds(~jgeerds@d53600c5.access.ecotel.net)
2022-02-23 23:28:08 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-02-23 23:28:20 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-02-23 23:33:17 +0100Null_A(~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds)
2022-02-23 23:35:36 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-02-23 23:35:50 +0100abhixec(~abhinav@c-67-169-139-16.hsd1.ca.comcast.net)
2022-02-23 23:35:57 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-02-23 23:36:38 +0100machinedgod(~machinedg@24.105.81.50)
2022-02-23 23:39:44 +0100alx741(~alx741@181.199.42.143)
2022-02-23 23:40:59 +0100zincy_(~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection)
2022-02-23 23:41:44 +0100once_upon_a_pota(~once_upon@117.55.252.24) (Quit: Client closed)
2022-02-23 23:42:26 +0100alx741(~alx741@181.199.42.143) (Read error: Connection reset by peer)
2022-02-23 23:43:59 +0100CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-02-23 23:51:33 +0100deadmarshal(~deadmarsh@95.38.230.238)
2022-02-23 23:56:11 +0100deadmarshal(~deadmarsh@95.38.230.238) (Ping timeout: 256 seconds)
2022-02-23 23:58:37 +0100emf_(~emf@2620:10d:c090:400::5:e9f1) (Ping timeout: 240 seconds)
2022-02-23 23:59:06 +0100alx741(~alx741@157.100.197.240)