IRCBrowse

2023/09/01

2023-09-01 00:04:04 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-09-01 00:05:25 +0200ursa-major(~ursa-majo@37.19.210.10) (Ping timeout: 244 seconds)
2023-09-01 00:07:35 +0200ursa-major(~ursa-majo@136.29.34.240)
2023-09-01 00:12:03 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz)
2023-09-01 00:13:22 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds)
2023-09-01 00:16:13 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Remote host closed the connection)
2023-09-01 00:16:31 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8)
2023-09-01 00:17:40 +0200zmt01(~zmt00@user/zmt00)
2023-09-01 00:21:32 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 248 seconds)
2023-09-01 00:22:00 +0200qqq(~qqq@92.43.167.61)
2023-09-01 00:28:06 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-09-01 00:34:25 +0200caryhartline(~caryhartl@168.182.58.169) (Quit: caryhartline)
2023-09-01 00:35:14 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Quit: Leaving)
2023-09-01 00:36:46 +0200wroathe(~wroathe@user/wroathe)
2023-09-01 00:37:40 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 255 seconds)
2023-09-01 00:39:09 +0200aaronv(~aaronv@user/aaronv)
2023-09-01 00:40:34 +0200xmachina(~xmachina@modemcable048.127-56-74.mc.videotron.ca)
2023-09-01 00:43:25 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-09-01 00:43:45 +0200son0p(~ff@152.203.98.110) (Remote host closed the connection)
2023-09-01 00:44:42 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 246 seconds)
2023-09-01 00:44:54 +0200 <wroathe> Odd question, but is it possible to model a list of constrained types as a phantom parameter? And then traverse that list?
2023-09-01 00:45:22 +0200 <chromoblob> "How am I supposed to run Haskell on an Apple II ???!!!!" hahaha
2023-09-01 00:45:45 +0200 <wroathe> Something like Foo b => data Foo a [b] = Foo a (I know this isn't valid syntax)
2023-09-01 00:46:01 +0200 <int-e> hugs might work?
2023-09-01 00:46:53 +0200 <int-e> (a small haskell interpreter for small systems that died before systems grew really big)
2023-09-01 00:46:55 +0200 <wroathe> Where I could do something then like Foo () :: Foo () [TypeA, TypeB, TypeC, ...]
2023-09-01 00:47:36 +0200hyvoid(~hyenavoid@222-0-178-69.static.gci.net) (Ping timeout: 260 seconds)
2023-09-01 00:49:25 +0200 <wroathe> Sorry, FooClass b
2023-09-01 00:50:14 +0200chromoblob(~user@37.113.172.116) ()
2023-09-01 00:52:59 +0200 <wroathe> Maybe I should be more specific. I'm tinkering with creating a sort of mini-Beam, and I was wondering if it's possible to do something like data Shipment = Shipment { order :: Constrained Int [References Order, NotNull] } where Constrained is a kind of type synonym for Int at the term level
2023-09-01 00:53:33 +0200 <wroathe> But where I can model constraints as types, and then generate DDL based on this type
2023-09-01 00:54:44 +0200 <wroathe> Constrained Int ... is a type synonym for Int *
2023-09-01 00:55:00 +0200 <g> wroathe: you can process a type-level-list using a type-class. Constrained wouldn't be a type synonym, though, it'd have to be at least a newtype
2023-09-01 00:55:37 +0200 <wroathe> g: Good to know. I figured making it a synonym was a long shot
2023-09-01 00:56:24 +0200 <g> You can make it a type synonym: type Constrained x y = x -- but then you'll immediately lose the constraints y as the type synonym will immediately "evaluate" away
2023-09-01 00:57:24 +0200 <wroathe> You mean when evaluating it in instances, right?
2023-09-01 00:57:35 +0200 <g> It's like how if you wrote the expression: const 42 [X,Y,Z], there's no way to pattern match to get that list out, it just evaluates away
2023-09-01 00:58:05 +0200 <wroathe> I've noticed that with GHC.Generics I don't get the synonym. I get the type it evaluates to
2023-09-01 00:58:15 +0200 <wroathe> So I think that must be one of the areas you're talking about
2023-09-01 00:59:53 +0200sh1n(~sh1n@181.229.244.247) (Quit: sh1n)
2023-09-01 01:00:12 +0200 <geekosaur> the synonym only exists in the typechecker
2023-09-01 01:00:47 +0200 <wroathe> geekosaur: How does that relate to instance evaluation though. I thought that was also done by the typechecker?
2023-09-01 01:01:10 +0200 <wroathe> Obviously type synonyms with instances just fully evaluate before being matched
2023-09-01 01:01:15 +0200 <geekosaur> that was a response to the comment about Generics; it can't know about synonyms
2023-09-01 01:01:33 +0200 <wroathe> Ah
2023-09-01 01:01:54 +0200 <g> wroathe: Type synonyms don't introduce "new" types, they're just aliases for existing types, they don't introduce anything new to match on
2023-09-01 01:02:08 +0200 <wroathe> How about type families? I'm still trying to wrap my head around them. Is there possibility for a synonym-like API here using those?
2023-09-01 01:02:13 +0200 <geekosaur> as to your Constrained, you can't make something which is an Int in all ways at value level but has extra type tags; the type tags necessarily affect the type of the term-level value, making it not an Int any more
2023-09-01 01:02:17 +0200 <wroathe> Or is the best I can do is at least newtypes around each field
2023-09-01 01:02:35 +0200aaronv(~aaronv@user/aaronv) (Ping timeout: 246 seconds)
2023-09-01 01:02:44 +0200 <wroathe> geekosaur: that makes sense
2023-09-01 01:03:01 +0200 <g> type families don't introduce new types, they're generalizations of type synonyms. data/newtype families do introduce new types, however
2023-09-01 01:03:02 +0200 <wroathe> Or GADTs for that matter. I'm just looking for tips on the path to pursue
2023-09-01 01:03:52 +0200 <geekosaur> and a phantom type affects values the same way (consider that `Nothing` has type `Maybe a` for some `a`; the `a` does not go away)
2023-09-01 01:04:41 +0200 <wroathe> Right, yeah. That makes sense.
2023-09-01 01:05:47 +0200 <geekosaur> > let foo :: Maybe Int -> Maybe Double; foo x@Nothing = x; foo (Just x) = Just (fromIntegral x) in foo (Just 3) -- wrong Nothing
2023-09-01 01:05:48 +0200 <lambdabot> error:
2023-09-01 01:05:48 +0200 <lambdabot> • Couldn't match type ‘Int’ with ‘Double’
2023-09-01 01:05:48 +0200 <lambdabot> Expected type: Maybe Double
2023-09-01 01:07:16 +0200 <wroathe> Yeah with a newtype I'd have to unwrap the value to make use of it
2023-09-01 01:07:18 +0200 <int-e> . o O ( `Nothing` really matters... )
2023-09-01 01:08:02 +0200 <g> wroathe, in the case of something like constraints, you definitely want a newtype where you have to wrap/unwrap it
2023-09-01 01:08:04 +0200 <wroathe> I was hoping I could get synonym-like behavior here, but at least now that I know that I can't that narrows down the possible approaches I can take
2023-09-01 01:08:13 +0200 <g> because that wrapping point is when you assert that you've checked the constraints
2023-09-01 01:08:26 +0200 <g> and the unwrap is when you throw the assertion away and get the int back
2023-09-01 01:09:05 +0200 <g> otherwise every Int someone has laying around would have the type Constrained Int [This,That,Theother] and the constraint would be useless
2023-09-01 01:09:52 +0200falafel(~falafel@62.175.113.194.dyn.user.ono.com)
2023-09-01 01:10:04 +0200 <wroathe> Well technically with this approach I'm thinking every Int would have Constrained Int [This, That Other], Constrained Int [Foo, Bar], Constrained Int [Baz] laying around
2023-09-01 01:10:09 +0200 <wroathe> But point taken
2023-09-01 01:10:23 +0200 <wroathe> Meaning there would be potentially lots of "aliases" for Int
2023-09-01 01:10:41 +0200 <wroathe> The point there just being to convey the constraint information to my code generator, and not really to create distinct types
2023-09-01 01:11:05 +0200 <wroathe> I.e. if it were possible to get those constraints back out with ScopedTypeVariables and Proxy
2023-09-01 01:11:06 +0200 <int-e> the point was, if those are all aliases of one another, the tags serve no purpose except possible being a cosmetic source code annotation
2023-09-01 01:11:23 +0200 <int-e> which the `Const` type alias *does* allow.
2023-09-01 01:11:26 +0200 <wroathe> int-e: That was actually the goal. I was just trying to use this as annotations for my field's type
2023-09-01 01:11:39 +0200 <int-e> emphasis on *cosmetic*
2023-09-01 01:11:57 +0200 <int-e> you'll see it, others can admire it, and the compiler will throw it away at the first opportunity.
2023-09-01 01:11:57 +0200 <wroathe> So that then I could traverse the type using something like Generic to generate code based on those annotations
2023-09-01 01:12:07 +0200 <wroathe> But it sounds like that's not possible
2023-09-01 01:13:02 +0200 <g> if it's for the compiler, then you can use newtypes and just tell the compiler to unwrap them
2023-09-01 01:13:15 +0200 <wroathe> Oh, you can auto-unwrap newtypes?
2023-09-01 01:13:20 +0200 <wroathe> How does that work?
2023-09-01 01:13:24 +0200 <g> It's your compiler, make it unwrap them
2023-09-01 01:13:29 +0200 <int-e> :t coerce
2023-09-01 01:13:30 +0200 <lambdabot> error:
2023-09-01 01:13:30 +0200 <lambdabot> • Variable not in scope: coerce
2023-09-01 01:13:30 +0200 <lambdabot> • Perhaps you meant ‘coerced’ (imported from Control.Lens)
2023-09-01 01:13:36 +0200 <int-e> :t Data.Coerce.coerce
2023-09-01 01:13:37 +0200 <lambdabot> Coercible a b => a -> b
2023-09-01 01:13:54 +0200caryhartline(~caryhartl@168.182.58.169)
2023-09-01 01:14:09 +0200 <g> coerce wouldn't add much here but some ambiguity and an extra typeclass resolution
2023-09-01 01:14:14 +0200 <int-e> (related because you can coerce a newtype to its contents if the constructor is in scope)
2023-09-01 01:14:24 +0200 <wroathe> g: To be clear you mean it would auto-coerce these newtypes into just regular old Int, so that I don't need to write unX order everywhere?
2023-09-01 01:14:33 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-09-01 01:14:38 +0200 <g> You don't need to write unX, you're making a compiler, just have it emit that
2023-09-01 01:14:57 +0200 <wroathe> Well it's compiling to SQL
2023-09-01 01:14:58 +0200 <int-e> also related: instance deriving via a newtype.
2023-09-01 01:15:10 +0200 <wroathe> So the code I write for this Haskell types -> SQL compiler would need to unwrap the newtypes
2023-09-01 01:15:50 +0200 <wroathe> Actually it woudln't really need to unX
2023-09-01 01:15:59 +0200 <wroathe> It would just need to (X a) everywhere
2023-09-01 01:16:06 +0200 <wroathe> In my instances
2023-09-01 01:16:25 +0200 <wroathe> But then when I use the Shipment value above at runtime to query the database I would need to unX order everywhere
2023-09-01 01:16:38 +0200 <int-e> hmm haven't people even come up with a type class for that (it would be class Unwrap a where type Base a; unwrap :: a -> Base a )
2023-09-01 01:16:39 +0200 <wroathe> when querying*
2023-09-01 01:16:47 +0200xmachina(~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4)
2023-09-01 01:16:59 +0200int-evaguely remembers seeing that somewhere, no clue where though
2023-09-01 01:17:00 +0200 <g> int-e: this? https://hackage.haskell.org/package/newtype-0.2.2.0/docs/Control-Newtype.html
2023-09-01 01:17:24 +0200 <int-e> g: close enough
2023-09-01 01:17:38 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-09-01 01:17:52 +0200 <int-e> (fundeps rather than associated type, that's okay)
2023-09-01 01:18:59 +0200 <jackdk> there's coerce, as well as the instances in lens
2023-09-01 01:19:28 +0200 <int-e> jackdk: no, the point here is tying a newtype to its base type; `coerce` doesn't do that for you
2023-09-01 01:19:31 +0200 <wroathe> Well thanks guys. Time to hit the gym and think about what I've learned here
2023-09-01 01:20:13 +0200 <int-e> jackdk: err, never mind. I misread `there's` as `that's`
2023-09-01 01:20:13 +0200 <jackdk> Ah, there's also https://hackage.haskell.org/package/generic-data-1.1.0.0/docs/Generic-Data-Internal-Newtype.html#t…
2023-09-01 01:22:22 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-09-01 01:22:31 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds)
2023-09-01 01:26:04 +0200ursa-major(~ursa-majo@136.29.34.240) (Ping timeout: 248 seconds)
2023-09-01 01:28:23 +0200ursa-major(~ursa-majo@37.19.210.36)
2023-09-01 01:29:11 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2023-09-01 01:29:32 +0200crazazy(~user@130.89.171.133) (Ping timeout: 246 seconds)
2023-09-01 01:32:34 +0200lbseale(~quassel@user/ep1ctetus) (Ping timeout: 255 seconds)
2023-09-01 01:33:31 +0200lbseale(~quassel@user/ep1ctetus)
2023-09-01 01:48:32 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2023-09-01 01:49:48 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-09-01 01:51:06 +0200artem(~artem@2601:249:4380:8950:f474:e3f8:9806:671)
2023-09-01 01:51:06 +0200ulysses4ever(~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer)
2023-09-01 01:53:39 +0200johnw(~johnw@69.62.242.138)
2023-09-01 01:57:46 +0200ursa-major(~ursa-majo@37.19.210.36) (Ping timeout: 255 seconds)
2023-09-01 01:58:35 +0200xmachina(~xmachina@modemcable048.127-56-74.mc.videotron.ca)
2023-09-01 01:58:58 +0200mima(~mmh@net-93-148-95-167.cust.vodafonedsl.it)
2023-09-01 01:59:43 +0200ursa-major(~ursa-majo@136.29.34.240)
2023-09-01 01:59:51 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-09-01 02:00:47 +0200son0p(~ff@152.203.98.110)
2023-09-01 02:04:07 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-09-01 02:04:29 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds)
2023-09-01 02:06:04 +0200ursa-major(~ursa-majo@136.29.34.240) (Ping timeout: 248 seconds)
2023-09-01 02:06:51 +0200Lycurgus(~juan@user/Lycurgus)
2023-09-01 02:07:03 +0200ursa-major(~ursa-majo@static-198-44-128-214.cust.tzulo.com)
2023-09-01 02:14:47 +0200pavonia(~user@user/siracusa)
2023-09-01 02:20:05 +0200Me-me(~Me-me@user/me-me)
2023-09-01 02:23:35 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-09-01 02:28:41 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds)
2023-09-01 02:29:05 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-09-01 02:34:42 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-09-01 02:37:39 +0200xmachina(~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4)
2023-09-01 02:45:36 +0200danza__(~francesco@151.47.225.3)
2023-09-01 02:48:10 +0200danza_(~francesco@151.43.252.134) (Ping timeout: 255 seconds)
2023-09-01 02:48:30 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-09-01 02:52:09 +0200wroathe(~wroathe@user/wroathe)
2023-09-01 02:53:07 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds)
2023-09-01 02:55:32 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Tschüss)
2023-09-01 02:59:46 +0200tom_(~tom@2a00:23c8:970c:4801:a861:cd59:2e4c:1efa)
2023-09-01 03:00:20 +0200powderhorn(~powderhor@207-153-12-54.static.fttp.usinternet.com)
2023-09-01 03:02:07 +0200zincy(~tom@2a00:23c8:970c:4801:457a:3a02:3800:f74e) (Ping timeout: 246 seconds)
2023-09-01 03:08:16 +0200falafel(~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 245 seconds)
2023-09-01 03:09:21 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2023-09-01 03:11:02 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-09-01 03:11:04 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-09-01 03:17:10 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-09-01 03:19:41 +0200malte(~malte@mal.tc) (Ping timeout: 244 seconds)
2023-09-01 03:22:29 +0200malte(~malte@mal.tc)
2023-09-01 03:24:13 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-01 03:25:54 +0200jero98772(~jero98772@2800:484:1d84:300::4)
2023-09-01 03:25:54 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-09-01 03:28:48 +0200 <hololeap> I have a function: showEBuild :: TC.UTCTime -> EBuild -> String
2023-09-01 03:29:32 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-09-01 03:29:45 +0200 <hololeap> I'm trying to reimplement it with something that uses Text internally, and I'm wondering if it's worth it to change the return type here, since it's just getting written to a file immediatley afterward
2023-09-01 03:30:25 +0200 <glguy> not making the String and writing the Text straight to a file is probably better
2023-09-01 03:30:35 +0200 <geekosaur> ^
2023-09-01 03:30:53 +0200 <geekosaur> unloess there's some chance that creating the String can stream with consumption/writing
2023-09-01 03:30:59 +0200 <hololeap> ok, I want to take your word for it, but why:
2023-09-01 03:31:01 +0200 <hololeap> ?
2023-09-01 03:31:03 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-09-01 03:31:09 +0200 <geekosaur> because String is really slow
2023-09-01 03:31:15 +0200 <geekosaur> and wasteful
2023-09-01 03:33:04 +0200 <hololeap> so, if the Text is getting converted to [Char], and the [Char] is only being enumerated in order to write to a file, wouldn't laziness make this a pretty negligable cost?
2023-09-01 03:34:14 +0200 <glguy> unless the file is big it probably won't matter
2023-09-01 03:34:16 +0200 <geekosaur> conversion to [Char] is still relatively expensive because each character is expanded to word size only to be truncated again by the output routines (assuming the majority of its content is in the ASCII range)
2023-09-01 03:34:27 +0200 <glguy> but it's a bunch of extra allocations using String
2023-09-01 03:34:53 +0200 <geekosaur> and String is remarkably wasteful, it's like 48 bytes per character
2023-09-01 03:35:08 +0200 <hololeap> hm, ok. just checking
2023-09-01 03:35:25 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds)
2023-09-01 03:36:04 +0200 <geekosaur> especially with text 2.x and (default) utf-8 output, the Text can be output pretty much directly as is
2023-09-01 03:37:40 +0200 <hololeap> fair enough. these files are maybe 5000 bytes so it probably won't change much in this case, but it sounds like Text is much better
2023-09-01 03:38:19 +0200grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net)
2023-09-01 03:46:21 +0200mima(~mmh@net-93-148-95-167.cust.vodafonedsl.it) (Ping timeout: 248 seconds)
2023-09-01 03:47:24 +0200Feuermagier(~Feuermagi@user/feuermagier)
2023-09-01 03:51:02 +0200 <EvanR> imagine how many conlang scripts you can support with 48 bytes per char though
2023-09-01 03:51:51 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-09-01 03:53:06 +0200shailangsa(~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Ping timeout: 260 seconds)
2023-09-01 03:53:17 +0200otto_s(~user@p5de2fd75.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2023-09-01 03:53:17 +0200 <int-e> Isn't it 40 though; two tags, two pointers, one word for the actual character, as long as the characters aren't shared...
2023-09-01 03:53:38 +0200 <EvanR> which I heard they can be
2023-09-01 03:53:52 +0200 <int-e> sometimes they are shared
2023-09-01 03:54:00 +0200 <int-e> it's hard to predict :)
2023-09-01 03:54:56 +0200 <int-e> EvanR: I mentioned some of the dirty details last week, no need to go into that again :)
2023-09-01 03:55:03 +0200otto_s(~user@p5b044a56.dip0.t-ipconnect.de)
2023-09-01 03:56:07 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds)
2023-09-01 04:00:30 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c431:f4c7:e475:d84d) (Remote host closed the connection)
2023-09-01 04:00:45 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5)
2023-09-01 04:02:15 +0200Jeanne-Kamikaze(~Jeanne-Ka@142.147.89.222)
2023-09-01 04:03:58 +0200 <monochrom> Char is 2 words when unshared. It is a boxed type, too.
2023-09-01 04:04:31 +0200 <EvanR> 2 words: Boxed. Type.
2023-09-01 04:04:32 +0200hdggxin(~hdggxin@122.175.41.19) (Ping timeout: 245 seconds)
2023-09-01 04:04:35 +0200 <monochrom> Haha
2023-09-01 04:04:51 +0200jero98772(~jero98772@2800:484:1d84:300::4) (Remote host closed the connection)
2023-09-01 04:04:59 +0200 <monochrom> And don't forget that copying GC means double buffering so there is one extra 2x factor.
2023-09-01 04:13:16 +0200 <monochrom> LInked lists and binary trees are expensive in any language. 50-70% of space is for storing infrastructures such as pointers and local sizes.
2023-09-01 04:15:54 +0200Square2(~Square4@user/square)
2023-09-01 04:16:17 +0200hdggxin(~hdggxin@122.175.41.19)
2023-09-01 04:17:38 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-01 04:18:16 +0200Square(~Square@user/square) (Ping timeout: 245 seconds)
2023-09-01 04:19:17 +0200 <wroathe> Hey guys, so FlexibleInstances implies TypeSynonymInstances, but when I use them I get this: https://gist.github.com/JustinChristensen/5f2e64a1cc4bd689f21eee95555b9290 . Why does this happen?
2023-09-01 04:21:19 +0200td_(~td@i53870906.versanet.de) (Ping timeout: 255 seconds)
2023-09-01 04:23:05 +0200td_(~td@i5387091C.versanet.de)
2023-09-01 04:25:33 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-09-01 04:26:15 +0200 <probie> wroathe: It's letting you use a type synonym in the instance head, but once it unfolds that synonym it's getting `instance KnownSymbol b => FooClass a`
2023-09-01 04:26:42 +0200AlexNoo_(~AlexNoo@178.34.160.172)
2023-09-01 04:27:01 +0200 <wroathe> Why doesn't the first one work?
2023-09-01 04:27:31 +0200 <wroathe> i.e. why is it demanding that I specify b should be an instance of KnownSymbol when I've already declared that type variable to have kind Symbol?
2023-09-01 04:28:24 +0200Alex_test(~al_test@178.34.160.174) (Ping timeout: 244 seconds)
2023-09-01 04:29:53 +0200 <probie> Firstly, not all `Symbol`s are instance of `KnownSymbol`, secondly I don't think that the `b` in the body of the definition is in any way related to the `b` in `FooType a b`
2023-09-01 04:29:57 +0200AlexZenon(~alzenon@178.34.160.174) (Ping timeout: 244 seconds)
2023-09-01 04:30:05 +0200AlexNoo(~AlexNoo@178.34.160.174) (Ping timeout: 245 seconds)
2023-09-01 04:30:08 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-09-01 04:30:19 +0200 <wroathe> I thought that latter part was enabled by ScopedTypeVariables
2023-09-01 04:31:09 +0200 <probie> `TypeSynonymInstances` is not magic, it just means that it doesn't reject instances written using type synonyms. So you can do something like `type Point a = (a, a); instance Foo (Point a) where` and it will know you mean `instance Foo (a, a) where` instead of rejecting it
2023-09-01 04:32:09 +0200 <probie> So as far as GHC is concerned, you're trying to define `instance FooClass a where foo = symbolVal (Proxy :: Proxy b)`
2023-09-01 04:32:10 +0200 <wroathe> So essentially you're saying that TypeSynonymInstances doesn't work with ScopedTypeVariables
2023-09-01 04:32:28 +0200 <wroathe> In this case, anyway
2023-09-01 04:32:57 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-09-01 04:32:57 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-09-01 04:32:57 +0200finn_elijaFinnElija
2023-09-01 04:32:59 +0200caryhartline(~caryhartl@168.182.58.169) (Quit: caryhartline)
2023-09-01 04:33:51 +0200Alex_test(~al_test@178.34.160.172)
2023-09-01 04:34:42 +0200 <wroathe> I suppose with phantom type parameters on the type synonyms
2023-09-01 04:35:02 +0200xff0x(~xff0x@2405:6580:b080:900:eead:bb9a:e028:3953) (Ping timeout: 246 seconds)
2023-09-01 04:35:28 +0200Lears(~Leary]@user/Leary/x-0910699)
2023-09-01 04:36:02 +0200AlexZenon(~alzenon@178.34.160.172)
2023-09-01 04:36:38 +0200 <probie> It works if the parameters are still there once the type synonym is unfolded
2023-09-01 04:36:57 +0200 <probie> e.g. https://play.haskell.org/saved/Bd5dPSsP
2023-09-01 04:37:00 +0200 <wroathe> Ah, I see
2023-09-01 04:37:32 +0200[Leary](~Leary]@user/Leary/x-0910699) (Ping timeout: 248 seconds)
2023-09-01 04:39:36 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds)
2023-09-01 04:39:55 +0200shailangsa(~shailangs@host86-186-196-224.range86-186.btcentralplus.com)
2023-09-01 04:42:37 +0200Jeanne-Kamikaze(~Jeanne-Ka@142.147.89.222) (Quit: Leaving)
2023-09-01 04:51:08 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 244 seconds)
2023-09-01 04:52:09 +0200hyvoid(~hyenavoid@222-0-178-69.static.gci.net)
2023-09-01 04:59:48 +0200sm(~sm@plaintextaccounting/sm)
2023-09-01 05:00:07 +0200sm(~sm@plaintextaccounting/sm) (Client Quit)
2023-09-01 05:06:25 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-09-01 05:17:23 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2023-09-01 05:18:55 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-09-01 05:19:05 +0200arahael(~arahael@1.145.73.40)
2023-09-01 05:20:47 +0200razetime(~quassel@49.207.192.55)
2023-09-01 05:21:55 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-09-01 05:22:02 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-09-01 05:23:11 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-09-01 05:24:55 +0200aforemny(~aforemny@i59F516DB.versanet.de)
2023-09-01 05:25:05 +0200aforemny_(~aforemny@i59F516DD.versanet.de) (Ping timeout: 246 seconds)
2023-09-01 05:28:56 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds)
2023-09-01 05:30:10 +0200ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds)
2023-09-01 05:30:21 +0200puke(~puke@user/puke) (Read error: Connection reset by peer)
2023-09-01 05:31:11 +0200arahael(~arahael@1.145.73.40) (Ping timeout: 246 seconds)
2023-09-01 05:31:13 +0200puke(~puke@user/puke)
2023-09-01 05:31:19 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-09-01 05:31:59 +0200ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net)
2023-09-01 05:33:29 +0200grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 246 seconds)
2023-09-01 05:48:50 +0200aaronv(~aaronv@user/aaronv)
2023-09-01 06:13:58 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-09-01 06:17:48 +0200aaronv(~aaronv@user/aaronv) (Ping timeout: 248 seconds)
2023-09-01 06:20:03 +0200aaronv(~aaronv@user/aaronv)
2023-09-01 06:23:58 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2023-09-01 06:24:43 +0200ec(~ec@gateway/tor-sasl/ec)
2023-09-01 06:25:51 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-09-01 06:26:28 +0200califax(~califax@user/califx) (Remote host closed the connection)
2023-09-01 06:26:52 +0200shapr(~user@2600:1700:c640:3100:3675:4cc6:3e07:2d29) (Ping timeout: 248 seconds)
2023-09-01 06:27:29 +0200califax(~califax@user/califx)
2023-09-01 06:38:01 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-09-01 06:38:17 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds)
2023-09-01 06:38:31 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-09-01 06:45:26 +0200danza__(~francesco@151.47.225.3) (Read error: Connection reset by peer)
2023-09-01 06:45:34 +0200danza__(~francesco@151.47.253.201)
2023-09-01 06:47:03 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds)
2023-09-01 06:53:32 +0200acidjnk(~acidjnk@p200300d6e7072f6224e9f62f062fe3b9.dip0.t-ipconnect.de)
2023-09-01 07:00:14 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
2023-09-01 07:07:17 +0200razetime(~quassel@49.207.192.55) (Ping timeout: 246 seconds)
2023-09-01 07:15:41 +0200razetime(~quassel@49.207.192.55)
2023-09-01 07:15:44 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-01 07:15:47 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-09-01 07:20:26 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-09-01 07:30:24 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-09-01 07:33:28 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-09-01 07:42:19 +0200Square(~Square@user/square)
2023-09-01 07:45:29 +0200 <Square> When in GHCI, can one, when issuing ":load file.hs" get rid of the error: "These modules are needed for compilation but not listed in your .cabal file's other-modules:"
2023-09-01 07:46:06 +0200 <Square> ...They are specified in .cabal file.
2023-09-01 07:46:31 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-09-01 07:48:35 +0200michalz(~michalz@185.246.207.221)
2023-09-01 07:48:46 +0200hdggxin(~hdggxin@122.175.41.19) (Ping timeout: 255 seconds)
2023-09-01 07:50:20 +0200razetime(~quassel@49.207.192.55) (Ping timeout: 246 seconds)
2023-09-01 07:50:41 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds)
2023-09-01 07:54:52 +0200hdggxin(~hdggxin@122.175.41.19)
2023-09-01 07:55:22 +0200sm(~sm@plaintextaccounting/sm)
2023-09-01 08:00:45 +0200 <jackdk> Try `cabal repl` instead of invoking `ghci` directly?
2023-09-01 08:00:55 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds)
2023-09-01 08:01:17 +0200jinsun_(~jinsun@user/jinsun)
2023-09-01 08:01:17 +0200jinsun(~jinsun@user/jinsun) (Killed (iridium.libera.chat (Nickname regained by services)))
2023-09-01 08:01:17 +0200jinsun_jinsun
2023-09-01 08:01:18 +0200eggplant_(~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5)
2023-09-01 08:01:26 +0200Sgeo_(~Sgeo@user/sgeo)
2023-09-01 08:01:36 +0200Feuermagier_(~Feuermagi@user/feuermagier)
2023-09-01 08:01:37 +0200Feuermagier(~Feuermagi@user/feuermagier) (Killed (tungsten.libera.chat (Nickname regained by services)))
2023-09-01 08:01:37 +0200Feuermagier_Feuermagier
2023-09-01 08:01:37 +0200hgolden(~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection)
2023-09-01 08:01:42 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-09-01 08:01:43 +0200pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2023-09-01 08:01:44 +0200tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
2023-09-01 08:01:53 +0200pavonia(~user@user/siracusa)
2023-09-01 08:01:56 +0200fserucas__(~fserucas@89.214.155.193)
2023-09-01 08:01:59 +0200tom_(~tom@2a00:23c8:970c:4801:a861:cd59:2e4c:1efa) (Remote host closed the connection)
2023-09-01 08:02:06 +0200myxokephale(~myxos@cpe-65-28-251-121.cinci.res.rr.com)
2023-09-01 08:02:07 +0200tom_(~tom@2a00:23c8:970c:4801:a861:cd59:2e4c:1efa)
2023-09-01 08:02:10 +0200tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2023-09-01 08:02:59 +0200hgolden(~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com)
2023-09-01 08:03:38 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) (Ping timeout: 246 seconds)
2023-09-01 08:03:38 +0200myxos(~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Ping timeout: 246 seconds)
2023-09-01 08:03:59 +0200fserucas_(~fserucas@89.214.155.193) (Ping timeout: 246 seconds)
2023-09-01 08:04:27 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-09-01 08:11:32 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-09-01 08:15:58 +0200johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2023-09-01 08:17:10 +0200tcard__(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2023-09-01 08:17:27 +0200hgolden_(~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com)
2023-09-01 08:17:39 +0200fserucas_(~fserucas@89.214.155.193)
2023-09-01 08:18:08 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-09-01 08:18:11 +0200fr33domlover8(~fr33domlo@towards.vision)
2023-09-01 08:18:24 +0200hdggxin_(~hdggxin@122.175.41.19)
2023-09-01 08:19:24 +0200Simikando_(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-09-01 08:19:37 +0200gawen_(~gawen@user/gawen)
2023-09-01 08:21:24 +0200dove_(~irc@2600:3c00:e000:287::1)
2023-09-01 08:21:26 +0200ezzieygu1wuf(~Unknown@user/ezzieyguywuf)
2023-09-01 08:21:28 +0200kjak_(~kjak@pool-108-28-157-148.washdc.fios.verizon.net)
2023-09-01 08:21:33 +0200hrberg_(~quassel@171.79-160-161.customer.lyse.net)
2023-09-01 08:21:37 +0200masterbu1lder(~masterbui@user/masterbuilder)
2023-09-01 08:22:59 +0200hyvoid1(~hyenavoid@222-0-178-69.static.gci.net)
2023-09-01 08:23:11 +0200kitzman_(~kitzman@user/dekenevs)
2023-09-01 08:23:14 +0200manwithluck(manwithluc@2406:da14:5ea:e400:7863:dbc1:6a84:3050)
2023-09-01 08:24:15 +0200Alex_test_(~al_test@178.34.160.172)
2023-09-01 08:24:59 +0200briandaed(~briandaed@185.234.210.211.r.toneticgroup.pl)
2023-09-01 08:25:54 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (*.net *.split)
2023-09-01 08:25:54 +0200hgolden(~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (*.net *.split)
2023-09-01 08:25:54 +0200tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split)
2023-09-01 08:25:54 +0200fserucas__(~fserucas@89.214.155.193) (*.net *.split)
2023-09-01 08:25:54 +0200hdggxin(~hdggxin@122.175.41.19) (*.net *.split)
2023-09-01 08:25:54 +0200hyvoid(~hyenavoid@222-0-178-69.static.gci.net) (*.net *.split)
2023-09-01 08:25:54 +0200Alex_test(~al_test@178.34.160.172) (*.net *.split)
2023-09-01 08:25:54 +0200shailangsa(~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (*.net *.split)
2023-09-01 08:25:54 +0200artem(~artem@2601:249:4380:8950:f474:e3f8:9806:671) (*.net *.split)
2023-09-01 08:25:54 +0200qqq(~qqq@92.43.167.61) (*.net *.split)
2023-09-01 08:25:54 +0200masterbuilder(~masterbui@user/masterbuilder) (*.net *.split)
2023-09-01 08:25:54 +0200kjak(~kjak@pool-108-28-157-148.washdc.fios.verizon.net) (*.net *.split)
2023-09-01 08:25:54 +0200hrberg(~quassel@171.79-160-161.customer.lyse.net) (*.net *.split)
2023-09-01 08:25:54 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (*.net *.split)
2023-09-01 08:25:54 +0200fr33domlover(~fr33domlo@towards.vision) (*.net *.split)
2023-09-01 08:25:54 +0200hpc(~juzz@ip98-169-35-163.dc.dc.cox.net) (*.net *.split)
2023-09-01 08:25:54 +0200kitzman(~kitzman@user/dekenevs) (*.net *.split)
2023-09-01 08:25:54 +0200manwithl-(manwithluc@ec2-52-197-234-151.ap-northeast-1.compute.amazonaws.com) (*.net *.split)
2023-09-01 08:25:54 +0200dove(~irc@2600:3c00:e000:287::1) (*.net *.split)
2023-09-01 08:25:54 +0200gawen(~gawen@user/gawen) (*.net *.split)
2023-09-01 08:25:54 +0200fr33domlover8fr33domlover
2023-09-01 08:26:35 +0200hpc(~juzz@ip98-169-35-163.dc.dc.cox.net)
2023-09-01 08:27:46 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: updating)
2023-09-01 08:28:13 +0200qqq(~qqq@92.43.167.61)
2023-09-01 08:37:31 +0200tcard__(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2023-09-01 08:38:48 +0200ulysses4ever(~artem@2601:249:4380:8950:f474:e3f8:9806:671)
2023-09-01 08:39:31 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2023-09-01 08:40:49 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-01 08:45:02 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-09-01 08:50:27 +0200 <Square> Man, I love Free monads. They're powerful with GADTs.
2023-09-01 08:58:48 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:6317:fe5f:2291:c931)
2023-09-01 09:00:42 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-09-01 09:01:04 +0200shailangsa_(~shailangs@host86-186-196-224.range86-186.btcentralplus.com)
2023-09-01 09:02:47 +0200eggplant_(~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) (Remote host closed the connection)
2023-09-01 09:04:17 +0200apteryx(~maxim@dsl-10-128-23.b2b2c.ca) (Ping timeout: 246 seconds)
2023-09-01 09:06:35 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 250 seconds)
2023-09-01 09:06:50 +0200 <Square> Iirc, there is some file haskell like file type (with its own file suffix) that can contain code woven into documentation, but after compilation code parts get cleaned up and gets compiled
2023-09-01 09:10:57 +0200 <mauke> literate haskell?
2023-09-01 09:11:50 +0200 <Square> mauke, thats it. ".lhs"
2023-09-01 09:11:53 +0200 <Square> thanks
2023-09-01 09:14:05 +0200Simikando_(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 246 seconds)
2023-09-01 09:15:30 +0200kenran(~user@user/kenran)
2023-09-01 09:17:02 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-09-01 09:17:24 +0200 <kenran> our client is obsessed with "freeing unused memory" when they're deploying their apps, and of course our Haskell app uses as much as it can get its hands on :) a colleague mentioned he found an option (a newer one, I think he said from GHC 9 on) that controls the runtime to more aggressively reduce the used heap size, but I just cannot find it
2023-09-01 09:17:31 +0200apteryx(~maxim@dsl-154-228.b2b2c.ca)
2023-09-01 09:17:37 +0200 <kenran> do you know what rts option could be meant?
2023-09-01 09:19:26 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-09-01 09:19:26 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-09-01 09:19:26 +0200wroathe(~wroathe@user/wroathe)
2023-09-01 09:19:30 +0200gmg(~user@user/gehmehgeh)
2023-09-01 09:20:52 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-09-01 09:21:51 +0200ubert(~Thunderbi@91.141.56.232.wireless.dyn.drei.com)
2023-09-01 09:22:34 +0200crazazy(~user@130.89.171.133)
2023-09-01 09:23:25 +0200 <lortabac> kenran: maybe --disable-delayed-os-memory-return
2023-09-01 09:23:33 +0200 <lortabac> https://downloads.haskell.org/ghc/latest/docs/users_guide/runtime_control.html#rts-flag---disable-…
2023-09-01 09:25:20 +0200 <kenran> lortabac: thank you! this might be it. I was looking under the gc options so did not see this
2023-09-01 09:25:36 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds)
2023-09-01 09:26:22 +0200 <lortabac> kenran: it doesn't reduce memory usage, but there may have been a misunderstanding with your colleague
2023-09-01 09:27:06 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-09-01 09:28:12 +0200 <kenran> lortabac: yeah, there well might have been
2023-09-01 09:29:01 +0200 <kenran> I'm also not sure what the client really wants... they have the expectation that after some costly operations are "done", the memory usage they see (through a couple of layers, like docker) goes down quickly
2023-09-01 09:29:39 +0200 <lortabac> then I think this is the right option
2023-09-01 09:29:41 +0200 <kenran> yeah
2023-09-01 09:30:05 +0200 <lortabac> we use it at work to make monitoring more accurate
2023-09-01 09:30:37 +0200 <kenran> ahh, then it really is exactly what they/we want
2023-09-01 09:30:40 +0200 <kenran> thanks again :)
2023-09-01 09:31:10 +0200fendor(~fendor@2a02:8388:1640:be00:29b8:807b:7fa6:1bcf)
2023-09-01 09:31:31 +0200 <kenran> I haven't experimented with any RTS options so far, except for -N and (due to their tiny machines) -M
2023-09-01 09:31:46 +0200 <lortabac> the doc says it makes the program slower, but we didn't see any significant difference in performance
2023-09-01 09:32:19 +0200 <kenran> so if I wish to have this option be the default, I have to "bake" it into my programs at compile time with -with-rtsopts instead of setting it on every executable, right?
2023-09-01 09:32:23 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-09-01 09:32:31 +0200 <lortabac> yes
2023-09-01 09:32:32 +0200Simikando_(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-09-01 09:32:53 +0200powderhorn(~powderhor@207-153-12-54.static.fttp.usinternet.com) (Ping timeout: 246 seconds)
2023-09-01 09:33:08 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2023-09-01 09:34:25 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-09-01 09:35:03 +0200 <kenran> how do I know I set it correctly? :D is the only way by inspecting cabal logs, or is there some sort of test I can perform?
2023-09-01 09:35:18 +0200Simikando_(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Client Quit)
2023-09-01 09:35:42 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-09-01 09:36:46 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds)
2023-09-01 09:39:06 +0200 <lortabac> kenran: I don't think there is a way to test it
2023-09-01 09:39:42 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5)
2023-09-01 09:40:42 +0200mima(~mmh@net-93-148-95-167.cust.vodafonedsl.it)
2023-09-01 09:40:49 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 255 seconds)
2023-09-01 09:40:58 +0200Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-09-01 09:42:30 +0200Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch)
2023-09-01 09:43:37 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-09-01 09:46:32 +0200cfricke(~cfricke@user/cfricke)
2023-09-01 09:47:19 +0200mima(~mmh@net-93-148-95-167.cust.vodafonedsl.it) (Ping timeout: 250 seconds)
2023-09-01 09:49:24 +0200mima(~mmh@net-93-148-110-45.cust.dsl.teletu.it)
2023-09-01 09:49:28 +0200 <kenran> ah, it might be a candidate to put in $GHCRTS. if I read it correctly, I would assume they are merged with whatever I set on the command line, with the command line "winning"
2023-09-01 09:49:46 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds)
2023-09-01 09:54:28 +0200hgolden__(~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com)
2023-09-01 09:54:36 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-09-01 09:55:05 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff)
2023-09-01 09:56:08 +0200manwithl-(~manwithlu@2406:da14:5ea:e400:7863:dbc1:6a84:3050)
2023-09-01 09:56:31 +0200hgolden_(~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Read error: Connection reset by peer)
2023-09-01 09:57:08 +0200manwithluck(manwithluc@2406:da14:5ea:e400:7863:dbc1:6a84:3050) (Ping timeout: 246 seconds)
2023-09-01 09:58:49 +0200mrmr1(~mrmr@user/mrmr) (Ping timeout: 255 seconds)
2023-09-01 09:59:03 +0200razetime(~quassel@49.207.192.55)
2023-09-01 10:02:32 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 240 seconds)
2023-09-01 10:02:34 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-09-01 10:05:33 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer)
2023-09-01 10:06:12 +0200razetime(~quassel@49.207.192.55) (Ping timeout: 240 seconds)
2023-09-01 10:06:33 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff)
2023-09-01 10:06:42 +0200CiaoSen(~Jura@2a05:5800:28f:2400:664b:f0ff:fe37:9ef)
2023-09-01 10:07:22 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer)
2023-09-01 10:07:34 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 10:10:14 +0200zer0bitz(~zer0bitz@user/zer0bitz)
2023-09-01 10:15:14 +0200 <danza__> kvpy
2023-09-01 10:17:03 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-09-01 10:17:09 +0200sm(~sm@plaintextaccounting/sm)
2023-09-01 10:17:24 +0200 <danza__> ops sorry, something fell on the keyboard :P
2023-09-01 10:20:15 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-09-01 10:20:21 +0200ft(~ft@p508db658.dip0.t-ipconnect.de) (Quit: leaving)
2023-09-01 10:21:10 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff)
2023-09-01 10:21:39 +0200Melon(~Melon@2a0a-a547-158e-1-665e-17dd-7fc8-2789.ipv6dyn.netcologne.de)
2023-09-01 10:21:49 +0200 <tomsmeding> how do you get kvpy with something falling on the keyboard
2023-09-01 10:22:03 +0200MelonGuest4684
2023-09-01 10:22:05 +0200 <tomsmeding> kvpy<enter>, no less
2023-09-01 10:22:39 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer)
2023-09-01 10:22:48 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 10:22:50 +0200Guest4684MelonScent
2023-09-01 10:23:48 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2023-09-01 10:23:56 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-09-01 10:24:35 +0200danza__(~francesco@151.47.253.201) (Ping timeout: 250 seconds)
2023-09-01 10:28:33 +0200cfricke(~cfricke@user/cfricke)
2023-09-01 10:29:37 +0200MelonScent(~Melon@2a0a-a547-158e-1-665e-17dd-7fc8-2789.ipv6dyn.netcologne.de) (Quit: Client closed)
2023-09-01 10:31:31 +0200crazazy(~user@130.89.171.133) (Ping timeout: 260 seconds)
2023-09-01 10:32:07 +0200Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-09-01 10:33:04 +0200danse-nr3__(~francesco@151.47.253.201)
2023-09-01 10:34:03 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-09-01 10:35:27 +0200sm(~sm@plaintextaccounting/sm)
2023-09-01 10:39:05 +0200justachereddit-bot
2023-09-01 10:39:12 +0200reddit-botjustache
2023-09-01 10:39:31 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds)
2023-09-01 10:41:17 +0200zer0bitz(~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer)
2023-09-01 10:43:50 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
2023-09-01 10:44:01 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving)
2023-09-01 10:45:00 +0200danse-nr3__(~francesco@151.47.253.201) (Read error: Connection reset by peer)
2023-09-01 10:45:19 +0200danse-nr3__(~francesco@151.47.255.90)
2023-09-01 10:46:44 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 258 seconds)
2023-09-01 10:48:38 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com)
2023-09-01 10:55:43 +0200razetime(~quassel@49.207.192.55)
2023-09-01 10:58:09 +0200mrmr1(~mrmr@user/mrmr)
2023-09-01 10:58:21 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-09-01 11:08:45 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-09-01 11:09:48 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-09-01 11:10:29 +0200zer0bitz(~zer0bitz@user/zer0bitz)
2023-09-01 11:12:55 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-09-01 11:13:41 +0200vglfr(~vglfr@145.224.100.231) (Ping timeout: 245 seconds)
2023-09-01 11:15:31 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 11:17:33 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-01 11:18:01 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2023-09-01 11:22:13 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-09-01 11:24:08 +0200patrl(~patrl@user/patrl)
2023-09-01 11:26:52 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2023-09-01 11:28:02 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-09-01 11:28:29 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-09-01 11:30:42 +0200patrl(~patrl@user/patrl) (Quit: WeeChat 3.8)
2023-09-01 11:31:12 +0200son0p(~ff@152.203.98.110) (Ping timeout: 240 seconds)
2023-09-01 11:37:06 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2023-09-01 11:48:52 +0200mima(~mmh@net-93-148-110-45.cust.dsl.teletu.it) (Ping timeout: 240 seconds)
2023-09-01 11:49:58 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-09-01 11:50:57 +0200mima(~mmh@net-2-38-141-119.cust.vodafonedsl.it)
2023-09-01 11:54:31 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-09-01 11:55:13 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Client Quit)
2023-09-01 11:55:35 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-09-01 11:55:56 +0200fendor(~fendor@2a02:8388:1640:be00:29b8:807b:7fa6:1bcf) (Ping timeout: 248 seconds)
2023-09-01 11:56:47 +0200mmhat(~mmh@p200300f1c70419dcee086bfffe095315.dip0.t-ipconnect.de)
2023-09-01 11:56:58 +0200mmhat(~mmh@p200300f1c70419dcee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
2023-09-01 11:58:33 +0200 <danse-nr3__> i recall reading about a class that was somewhat the opposite of a functor, but i don't think it was a contrafunctor ... which other options are there?
2023-09-01 11:59:13 +0200driib(~driib@176.57.184.141) (Quit: The Lounge - https://thelounge.chat)
2023-09-01 11:59:55 +0200driib(~driib@vmi931078.contaboserver.net)
2023-09-01 12:01:08 +0200 <ncf> not sure there are any others
2023-09-01 12:02:42 +0200 <danse-nr3__> right i cannot find anything else...
2023-09-01 12:04:05 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 246 seconds)
2023-09-01 12:04:49 +0200vglfr(~vglfr@145.224.100.231) (Ping timeout: 255 seconds)
2023-09-01 12:05:26 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds)
2023-09-01 12:07:17 +0200 <danse-nr3__> oh yes, that was it, found the link. Cheers
2023-09-01 12:07:37 +0200_________(~nobody@user/noodly) (Quit: leaving)
2023-09-01 12:07:57 +0200patrl(~patrl@user/patrl)
2023-09-01 12:09:18 +0200_________(~nobody@user/noodly)
2023-09-01 12:13:14 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-09-01 12:17:44 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 246 seconds)
2023-09-01 12:20:51 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 12:21:27 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-09-01 12:21:45 +0200robosexual(~spaceoyst@5.165.11.54)
2023-09-01 12:22:05 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 12:22:05 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-09-01 12:22:20 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 12:22:57 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-09-01 12:23:07 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 12:23:31 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2023-09-01 12:24:22 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-09-01 12:25:05 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff)
2023-09-01 12:27:10 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-09-01 12:27:46 +0200mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be)
2023-09-01 12:28:46 +0200mima(~mmh@net-2-38-141-119.cust.vodafonedsl.it) (Ping timeout: 260 seconds)
2023-09-01 12:29:15 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer)
2023-09-01 12:29:27 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 12:33:50 +0200vglfr(~vglfr@145.224.100.231) (Ping timeout: 245 seconds)
2023-09-01 12:35:24 +0200robosexual(~spaceoyst@5.165.11.54) (Quit: Konversation terminated!)
2023-09-01 12:35:24 +0200aaronv(~aaronv@user/aaronv) (Ping timeout: 248 seconds)
2023-09-01 12:36:29 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-09-01 12:38:13 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 12:41:16 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2023-09-01 12:42:37 +0200vglfr(~vglfr@145.224.100.231) (Ping timeout: 255 seconds)
2023-09-01 12:42:51 +0200lena64t(~lena64t@gateway/tor-sasl/hck)
2023-09-01 12:43:28 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff)
2023-09-01 12:45:31 +0200Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2023-09-01 12:46:47 +0200_________(~nobody@user/noodly) (Quit: leaving)
2023-09-01 12:47:48 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Ping timeout: 246 seconds)
2023-09-01 12:48:12 +0200_________(~nobody@user/noodly)
2023-09-01 12:48:42 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff)
2023-09-01 12:49:22 +0200Feuermagier(~Feuermagi@user/feuermagier)
2023-09-01 12:50:01 +0200mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Quit: WeeChat 3.8)
2023-09-01 12:50:49 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer)
2023-09-01 12:51:24 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 12:52:28 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-09-01 12:53:36 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff)
2023-09-01 12:53:42 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer)
2023-09-01 12:53:54 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 12:58:19 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-09-01 12:58:31 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 13:01:26 +0200CiaoSen(~Jura@2a05:5800:28f:2400:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds)
2023-09-01 13:02:24 +0200qqq(~qqq@92.43.167.61) (Remote host closed the connection)
2023-09-01 13:02:32 +0200vglfr(~vglfr@145.224.100.231) (Ping timeout: 246 seconds)
2023-09-01 13:02:52 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 13:09:11 +0200vglfr(~vglfr@145.224.100.231) (Ping timeout: 246 seconds)
2023-09-01 13:12:00 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 13:15:43 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-09-01 13:17:13 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff)
2023-09-01 13:20:01 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer)
2023-09-01 13:20:21 +0200mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be)
2023-09-01 13:20:55 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff)
2023-09-01 13:21:35 +0200patrl(~patrl@user/patrl) (Quit: WeeChat 3.8)
2023-09-01 13:22:52 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer)
2023-09-01 13:23:12 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 13:23:38 +0200sm(~sm@plaintextaccounting/sm)
2023-09-01 13:25:49 +0200danse-nr3__(~francesco@151.47.255.90) (Ping timeout: 255 seconds)
2023-09-01 13:30:48 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-09-01 13:31:03 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 13:32:17 +0200infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2023-09-01 13:34:00 +0200infinity0(~infinity0@pwned.gg)
2023-09-01 13:39:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-01 13:40:55 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-09-01 13:41:17 +0200son0p(~ff@186.121.39.74)
2023-09-01 13:41:32 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-09-01 13:43:08 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-09-01 13:47:31 +0200shapr(~user@2600:1700:c640:3100:aa8c:7c0f:a0b4:ce7c)
2023-09-01 13:55:54 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-09-01 13:57:54 +0200mmarusea1ph2(~mihai@mihai.page) (Quit: So long and thanks for all the lambdas)
2023-09-01 13:58:10 +0200mmaruseacph2(~mihai@mihai.page)
2023-09-01 13:58:36 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds)
2023-09-01 14:04:12 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-01 14:05:01 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-09-01 14:10:13 +0200accord(uid568320@id-568320.hampstead.irccloud.com)
2023-09-01 14:12:08 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-09-01 14:12:37 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds)
2023-09-01 14:13:34 +0200danse-nr3__(~francesco@151.47.255.90)
2023-09-01 14:21:01 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-09-01 14:24:45 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-09-01 14:24:57 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 14:25:25 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-09-01 14:30:53 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving)
2023-09-01 14:31:09 +0200xff0x(~xff0x@2405:6580:b080:900:f9db:5513:e0b6:cbdd)
2023-09-01 14:32:45 +0200razetime(~quassel@49.207.192.55) (Ping timeout: 248 seconds)
2023-09-01 14:37:32 +0200danse-nr3__(~francesco@151.47.255.90) (Ping timeout: 248 seconds)
2023-09-01 14:37:56 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-09-01 14:38:03 +0200Square2(~Square4@user/square) (Ping timeout: 246 seconds)
2023-09-01 14:40:45 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-09-01 14:43:33 +0200danse-nr3(~francesco@151.47.116.153)
2023-09-01 14:43:44 +0200ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net) (Quit: WeeChat 4.0.3)
2023-09-01 14:45:16 +0200ubert(~Thunderbi@91.141.56.232.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2023-09-01 14:49:02 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2023-09-01 14:49:31 +0200Square(~Square@user/square) (Ping timeout: 255 seconds)
2023-09-01 14:49:46 +0200ezzieygu1wuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 258 seconds)
2023-09-01 14:50:33 +0200ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net)
2023-09-01 14:51:16 +0200AlexNoo_AlexNoo
2023-09-01 14:52:09 +0200Alex_test_Alex_test
2023-09-01 14:53:50 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 246 seconds)
2023-09-01 14:54:01 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds)
2023-09-01 14:54:52 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2023-09-01 14:59:39 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-09-01 15:03:52 +0200vglfr(~vglfr@145.224.100.231) (Ping timeout: 240 seconds)
2023-09-01 15:08:09 +0200razetime(~quassel@49.207.192.55)
2023-09-01 15:10:16 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-09-01 15:15:08 +0200grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net)
2023-09-01 15:15:28 +0200ubert(~Thunderbi@91.141.56.232.wireless.dyn.drei.com)
2023-09-01 15:15:36 +0200constexpr(~constexpr@211.204.97.171)
2023-09-01 15:18:06 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds)
2023-09-01 15:18:51 +0200danse-nr3(~francesco@151.47.116.153) (Remote host closed the connection)
2023-09-01 15:19:13 +0200danse-nr3(~francesco@151.47.116.153)
2023-09-01 15:19:17 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-01 15:20:15 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-09-01 15:22:55 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-09-01 15:22:55 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-09-01 15:22:55 +0200wroathe(~wroathe@user/wroathe)
2023-09-01 15:24:01 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-09-01 15:24:43 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-09-01 15:36:32 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-09-01 15:38:32 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net)
2023-09-01 15:44:05 +0200yosef`(~yosef`@user/yosef/x-2947716)
2023-09-01 15:52:10 +0200fserucas__(~fserucas@89.214.154.211)
2023-09-01 15:52:31 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds)
2023-09-01 15:54:56 +0200fserucas_(~fserucas@89.214.155.193) (Ping timeout: 258 seconds)
2023-09-01 15:54:58 +0200yosef`(~yosef`@user/yosef/x-2947716) (Quit: Client closed)
2023-09-01 15:56:02 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-09-01 15:56:07 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 255 seconds)
2023-09-01 16:01:44 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-09-01 16:06:04 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 248 seconds)
2023-09-01 16:07:58 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 244 seconds)
2023-09-01 16:08:50 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-09-01 16:11:08 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-09-01 16:12:29 +0200constexpr(~constexpr@211.204.97.171) (Quit: Client closed)
2023-09-01 16:12:56 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds)
2023-09-01 16:19:49 +0200mima(~mmh@net-2-38-141-119.cust.vodafonedsl.it)
2023-09-01 16:21:27 +0200califax(~califax@user/califx) (Ping timeout: 246 seconds)
2023-09-01 16:22:27 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan)
2023-09-01 16:22:30 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 246 seconds)
2023-09-01 16:22:32 +0200califax(~califax@user/califx)
2023-09-01 16:22:51 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 246 seconds)
2023-09-01 16:23:12 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds)
2023-09-01 16:23:12 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 246 seconds)
2023-09-01 16:23:33 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 246 seconds)
2023-09-01 16:23:33 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 246 seconds)
2023-09-01 16:23:34 +0200Me-me(~Me-me@user/me-me) (Ping timeout: 255 seconds)
2023-09-01 16:23:48 +0200Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au)
2023-09-01 16:24:00 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2023-09-01 16:25:16 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-09-01 16:25:24 +0200gmg(~user@user/gehmehgeh)
2023-09-01 16:27:38 +0200kenran(~user@user/kenran) (ERC 5.6-git (IRC client for GNU Emacs 30.0.50))
2023-09-01 16:27:40 +0200hdggxin_(~hdggxin@122.175.41.19) (Remote host closed the connection)
2023-09-01 16:28:25 +0200hdggxin(~hdggxin@122.175.41.19)
2023-09-01 16:33:35 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-09-01 16:35:12 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-09-01 16:35:28 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2023-09-01 16:36:41 +0200Sgeo(~Sgeo@user/sgeo)
2023-09-01 16:42:04 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
2023-09-01 16:43:10 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-01 16:46:36 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds)
2023-09-01 16:46:51 +0200sm(~sm@plaintextaccounting/sm)
2023-09-01 16:48:16 +0200ft(~ft@p508db658.dip0.t-ipconnect.de)
2023-09-01 16:49:57 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-09-01 16:51:05 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds)
2023-09-01 16:54:39 +0200fserucas_(~fserucas@89.214.146.18)
2023-09-01 16:57:00 +0200fserucas__(~fserucas@89.214.154.211) (Ping timeout: 246 seconds)
2023-09-01 16:58:18 +0200sm(~sm@plaintextaccounting/sm)
2023-09-01 17:03:45 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.0.4)
2023-09-01 17:04:09 +0200libertyprime(~libertypr@203.96.203.44) (Quit: leaving)
2023-09-01 17:04:21 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-09-01 17:05:50 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:6317:fe5f:2291:c931) (Ping timeout: 244 seconds)
2023-09-01 17:09:12 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 17:09:50 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-09-01 17:13:29 +0200mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 246 seconds)
2023-09-01 17:13:31 +0200vglfr(~vglfr@145.224.100.231) (Ping timeout: 255 seconds)
2023-09-01 17:13:50 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 17:15:16 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-01 17:26:30 +0200lena64t1(~lena64t@gateway/tor-sasl/hck)
2023-09-01 17:27:01 +0200Lears(~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2023-09-01 17:27:15 +0200[Leary](~Leary]@user/Leary/x-0910699)
2023-09-01 17:29:00 +0200lena64t(~lena64t@gateway/tor-sasl/hck) (Ping timeout: 246 seconds)
2023-09-01 17:32:02 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 246 seconds)
2023-09-01 17:32:09 +0200lena64t1(~lena64t@gateway/tor-sasl/hck) (Ping timeout: 246 seconds)
2023-09-01 17:34:04 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2023-09-01 17:38:31 +0200Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 246 seconds)
2023-09-01 17:39:57 +0200Feuermagier(~Feuermagi@user/feuermagier)
2023-09-01 17:42:04 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2023-09-01 17:42:31 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) (Remote host closed the connection)
2023-09-01 17:42:46 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5)
2023-09-01 17:45:33 +0200caryhartline(~caryhartl@168.182.58.169)
2023-09-01 17:49:07 +0200lena64t(~lena64t@gateway/tor-sasl/hck)
2023-09-01 17:53:50 +0200ursa-major(~ursa-majo@static-198-44-128-214.cust.tzulo.com) (Quit: WeeChat 4.0.4)
2023-09-01 17:56:40 +0200fserucas__(~fserucas@89.214.152.95)
2023-09-01 17:58:06 +0200accord(uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-09-01 17:58:59 +0200fserucas_(~fserucas@89.214.146.18) (Ping timeout: 246 seconds)
2023-09-01 17:59:22 +0200__monty__(~toonn@user/toonn)
2023-09-01 17:59:52 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-09-01 18:00:07 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-09-01 18:07:06 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) (Remote host closed the connection)
2023-09-01 18:07:58 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-09-01 18:15:00 +0200 <albet70> getValue :: m a -> a, this can be existed?
2023-09-01 18:15:48 +0200mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be)
2023-09-01 18:15:51 +0200 <geekosaur> not in general unless you're talking about Comonad
2023-09-01 18:15:53 +0200 <erisco> albet70, sounds like extract from Comonad
2023-09-01 18:17:08 +0200 <geekosaur> (and ignoring unsafePerformIO which is "unsafe" for good reason)
2023-09-01 18:17:41 +0200 <albet70> https://twitter.com/iceland_jack/status/1697561616198341066
2023-09-01 18:17:47 +0200 <int-e> :t runIdentity
2023-09-01 18:17:48 +0200 <lambdabot> Identity a -> a
2023-09-01 18:18:46 +0200 <ncf> (that tweet is a joke, i'm fairly certain)
2023-09-01 18:18:51 +0200 <int-e> :t fst . runWriter
2023-09-01 18:18:52 +0200 <lambdabot> Writer b c -> c
2023-09-01 18:18:53 +0200 <erisco> that is intended comedy right? lol
2023-09-01 18:19:46 +0200 <dolio> What if m = Const ()?
2023-09-01 18:19:54 +0200 <dolio> getValue :: () -> a
2023-09-01 18:20:10 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-09-01 18:20:16 +0200 <int-e> ncf: but was the parent tweet a joke as well?
2023-09-01 18:20:40 +0200 <erisco> Iceland Jack is definitely joking but I'm hoping Dillion Mulroy is too lol
2023-09-01 18:20:46 +0200 <ncf> who knows
2023-09-01 18:21:01 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds)
2023-09-01 18:21:04 +0200 <EvanR> albet70, wasn't even asking about monads! jokes on you!
2023-09-01 18:21:35 +0200 <EvanR> except for dolio who "gets it"
2023-09-01 18:21:45 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-09-01 18:22:30 +0200ncf. o O ( "be existed"... i guess existing is the most passive thing you can do )
2023-09-01 18:23:19 +0200 <int-e> . o O ( Maybe alluding to BeOS )
2023-09-01 18:23:27 +0200 <EvanR> merely exists - classical logic
2023-09-01 18:23:32 +0200 <EvanR> be existed - constructive logic
2023-09-01 18:23:54 +0200 <dolio> Const () happens to be a monad, but I did notice that it wasn't specified.
2023-09-01 18:24:15 +0200 <ncf> is it?
2023-09-01 18:24:17 +0200 <ncf> oh yeah
2023-09-01 18:24:23 +0200 <int-e> monads are useless
2023-09-01 18:24:36 +0200 <dolio> Someone was asking about it the other night. It's the monad that 'interprets every other monad'.
2023-09-01 18:25:04 +0200 <erisco> thought that was Cont
2023-09-01 18:25:25 +0200 <dolio> Well, that just goes to show you that people that say that don't know what they're talking about. :)
2023-09-01 18:25:27 +0200 <int-e> type HotelCalifornia a = Const () a
2023-09-01 18:25:28 +0200 <ncf> "interpret" in the sense of "monad homomorphism from"?
2023-09-01 18:25:42 +0200 <dolio> Yeah.
2023-09-01 18:25:46 +0200 <ncf> terminal monad, i guess
2023-09-01 18:25:55 +0200 <int-e> where values go to die
2023-09-01 18:26:18 +0200 <ncf> at least they have a pure death
2023-09-01 18:26:44 +0200 <int-e> death without side effects?
2023-09-01 18:26:52 +0200 <int-e> interesting concept :)
2023-09-01 18:27:06 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2023-09-01 18:28:18 +0200 <dolio> 'Merely exists' is still constructive in homotopy type theory, incidentally.
2023-09-01 18:28:44 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-09-01 18:28:55 +0200susul(~susul@user/susul)
2023-09-01 18:29:36 +0200grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 245 seconds)
2023-09-01 18:30:11 +0200qqq(~qqq@92.43.167.61)
2023-09-01 18:31:29 +0200 <EvanR> i also heard Cont is "the mother of all monads"
2023-09-01 18:31:43 +0200 <EvanR> dunno if that's a different standard
2023-09-01 18:31:55 +0200 <dolio> Yeah, I think that's pretty misleading when you actually think about it.
2023-09-01 18:33:24 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 246 seconds)
2023-09-01 18:34:05 +0200 <dolio> You can say the same thing about free monads and be similarly correct.
2023-09-01 18:36:52 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5)
2023-09-01 18:37:28 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-09-01 18:37:42 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 18:39:14 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-09-01 18:40:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-01 18:40:32 +0200grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net)
2023-09-01 18:40:32 +0200lena64t(~lena64t@gateway/tor-sasl/hck) (Remote host closed the connection)
2023-09-01 18:41:05 +0200lena64t(~lena64t@gateway/tor-sasl/hck)
2023-09-01 18:42:14 +0200danse-nr3_(~francesco@151.35.106.7)
2023-09-01 18:42:32 +0200danse-nr3(~francesco@151.47.116.153) (Read error: Connection reset by peer)
2023-09-01 18:45:32 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds)
2023-09-01 18:45:46 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2023-09-01 18:53:49 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-09-01 18:55:55 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-09-01 18:58:20 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds)
2023-09-01 19:07:38 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net)
2023-09-01 19:10:59 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds)
2023-09-01 19:11:34 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-09-01 19:11:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-01 19:12:57 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-09-01 19:19:45 +0200powderhorn(~powderhor@207-153-12-54.static.fttp.usinternet.com)
2023-09-01 19:21:03 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-01 19:23:16 +0200razetime(~quassel@49.207.192.55) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-09-01 19:23:25 +0200vglfr(~vglfr@145.224.100.231) (Ping timeout: 245 seconds)
2023-09-01 19:23:34 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds)
2023-09-01 19:25:16 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2023-09-01 19:26:22 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds)
2023-09-01 19:27:36 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 19:30:40 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-09-01 19:31:35 +0200hyvoid1hyvoid
2023-09-01 19:33:01 +0200Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-69.cust.tzulo.com)
2023-09-01 19:34:51 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds)
2023-09-01 19:37:22 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-09-01 19:41:04 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 19:43:49 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-09-01 19:44:41 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff)
2023-09-01 19:46:41 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer)
2023-09-01 19:47:43 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff)
2023-09-01 19:49:39 +0200danse-nr3_(~francesco@151.35.106.7) (Ping timeout: 250 seconds)
2023-09-01 19:50:17 +0200danse-nr3_(~francesco@151.35.106.7)
2023-09-01 19:54:32 +0200danse-nr3_(~francesco@151.35.106.7) (Remote host closed the connection)
2023-09-01 19:54:42 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-09-01 19:54:55 +0200danse-nr3_(~francesco@151.35.106.7)
2023-09-01 19:59:12 +0200johnw(~johnw@69.62.242.138)
2023-09-01 19:59:37 +0200danse-nr3_(~francesco@151.35.106.7) (Ping timeout: 250 seconds)
2023-09-01 20:00:09 +0200nurupo(~nurupo.ga@user/nurupo) (Quit: nurupo.ga)
2023-09-01 20:00:24 +0200nurupo(~nurupo.ga@user/nurupo)
2023-09-01 20:00:49 +0200danza(~francesco@151.35.106.7)
2023-09-01 20:02:41 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:766e:7733:2fcb:45a0)
2023-09-01 20:03:00 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:766e:7733:2fcb:45a0) (Client Quit)
2023-09-01 20:05:02 +0200nshepperd2(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Server closed connection)
2023-09-01 20:05:16 +0200nshepperd2(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2023-09-01 20:07:41 +0200immae(~immae@2a01:4f8:141:53e7::) (Server closed connection)
2023-09-01 20:07:59 +0200immae(~immae@2a01:4f8:141:53e7::)
2023-09-01 20:09:05 +0200mysl(~mysl@user/mysl) (Remote host closed the connection)
2023-09-01 20:09:28 +0200mysl(~mysl@user/mysl)
2023-09-01 20:09:35 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds)
2023-09-01 20:10:45 +0200myslmysl_
2023-09-01 20:10:50 +0200mysl_mysl
2023-09-01 20:10:50 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Ping timeout: 246 seconds)
2023-09-01 20:11:54 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2023-09-01 20:11:55 +0200vglfr(~vglfr@cli-188-239-233-89.bbn.slav.dn.ua)
2023-09-01 20:13:21 +0200ulysses4ever(~artem@2601:249:4380:8950:f474:e3f8:9806:671) (Ping timeout: 246 seconds)
2023-09-01 20:14:53 +0200powderhorn(~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed)
2023-09-01 20:21:41 +0200hpc(~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 245 seconds)
2023-09-01 20:22:36 +0200hpc(~juzz@ip98-169-35-163.dc.dc.cox.net)
2023-09-01 20:24:31 +0200Lycurgus(~juan@user/Lycurgus)
2023-09-01 20:26:17 +0200landonf(landonf@mac68k.info) (Server closed connection)
2023-09-01 20:26:32 +0200landonf(landonf@mac68k.info)
2023-09-01 20:27:42 +0200tolt(~weechat-h@173.255.209.154) (Server closed connection)
2023-09-01 20:27:59 +0200Guest2(~Guest54@p200300ef970060dda42db098689300dd.dip0.t-ipconnect.de)
2023-09-01 20:28:10 +0200tolt(~weechat-h@li219-154.members.linode.com)
2023-09-01 20:28:39 +0200 <Guest2> Can I short circuit a foldr where the accumulator is not a Bool but contains a Bool?
2023-09-01 20:30:53 +0200vglfr(~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Ping timeout: 246 seconds)
2023-09-01 20:31:06 +0200 <Guest2> e.g. in "foldr f (complexValue, False) [1..10]"
2023-09-01 20:31:32 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff)
2023-09-01 20:31:38 +0200 <davean> I mean you can litterly insert an if statement based on the bool?
2023-09-01 20:32:00 +0200 <davean> I think I'm confused as to the question
2023-09-01 20:33:09 +0200 <Guest2> Maybe I made it more complicated than I needed.
2023-09-01 20:33:35 +0200 <geekosaur> "short circuiting"is not evaluating the `y` in `\x y ->` (that is, the second parameter to `f`)
2023-09-01 20:34:57 +0200 <Guest2> davean: It still traverses the whole list.
2023-09-01 20:37:16 +0200 <glguy> foldr doesn't have an accumulator
2023-09-01 20:37:38 +0200 <glguy> but if you want a short-circuit foldl you can make one with foldr and continuation passing style
2023-09-01 20:38:16 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 255 seconds)
2023-09-01 20:39:02 +0200jocke-l(jocke-l@a.x0.is) (Server closed connection)
2023-09-01 20:39:07 +0200 <Guest2> In JavaScript I have a function with a mutable variable (i.e. the accumulator) and a for loop. If a certain condition is met I will break out of the loop and stop traversing. In Haskell if my f (in foldr f ...) starts with an if that checks the Bool it will still traverse the whole thing.
2023-09-01 20:39:15 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-01 20:39:27 +0200jocke-l(jocke-l@a.x0.is)
2023-09-01 20:39:57 +0200 <glguy> > foldr (\x go acc -> if acc < 0 then acc else go (x+acc)) id [1,2,3,4] 0
2023-09-01 20:39:58 +0200 <lambdabot> 10
2023-09-01 20:40:03 +0200 <glguy> > foldr (\x go acc -> if acc < 0 then acc else go (x+acc)) id [1,2,-4,-5] 0
2023-09-01 20:40:04 +0200 <lambdabot> -1
2023-09-01 20:40:15 +0200 <glguy> that bails out as soon as the prefix-sum is negative
2023-09-01 20:40:22 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-09-01 20:40:49 +0200 <glguy> or you can use foldM with Either if you want an early exit case
2023-09-01 20:41:43 +0200 <EvanR> it took me a long time to internalize that what Guest2 is trying to do is foldl
2023-09-01 20:42:34 +0200 <monochrom> Yeah the first response should be "show what actual code you have got" not try to guess the question.
2023-09-01 20:44:06 +0200 <glguy> int-e: I think we had to use this back in 2020 https://hackage.haskell.org/package/integer-gmp-1.1/docs/GHC-Integer-GMP-Internals.html#v:gcdExtIn…
2023-09-01 20:44:43 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds)
2023-09-01 20:45:14 +0200mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 246 seconds)
2023-09-01 20:46:28 +0200 <Guest2> monochrom: I reduced the problem to a containsDuplicate function https://paste.tomsmeding.com/vrrAb4h5
2023-09-01 20:46:31 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-09-01 20:46:40 +0200 <EvanR> > foldr (\x answer -> if x < 0 then 'a' else answer) 'b' ([1,2,3,-4] ++ [5..])
2023-09-01 20:46:41 +0200 <lambdabot> 'a'
2023-09-01 20:47:11 +0200 <EvanR> this foldr which simply uses an if in there probably isn't going through the whole list because I made it infinite
2023-09-01 20:47:19 +0200 <int-e> glguy: Right, that's where it was then. But the loop was simpler regardless :)
2023-09-01 20:49:26 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer)
2023-09-01 20:49:36 +0200 <haskellbridge> <j​ean-paul.> That foldr... how does it not go through the whole list?
2023-09-01 20:50:13 +0200 <EvanR> personally I have to look at lambdabot's code for foldr!
2023-09-01 20:50:16 +0200 <EvanR> @src foldr
2023-09-01 20:50:16 +0200 <lambdabot> foldr f z [] = z
2023-09-01 20:50:16 +0200 <lambdabot> foldr f z (x:xs) = f x (foldr f z xs)
2023-09-01 20:50:24 +0200scholablade(~scholabla@160.176.37.140)
2023-09-01 20:50:51 +0200 <haskellbridge> <j​ean-paul.> ah
2023-09-01 20:51:32 +0200 <haskellbridge> <j​ean-paul.> as soon as `answer` is not part of the return value of f, the result of the recursive call is not needed so not evaluated
2023-09-01 20:51:45 +0200scholablade(~scholabla@160.176.37.140) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1))
2023-09-01 20:51:47 +0200tuxillo(~tuxillo@217.138.218.104)
2023-09-01 20:52:14 +0200ubert(~Thunderbi@91.141.56.232.wireless.dyn.drei.com) (Ping timeout: 246 seconds)
2023-09-01 20:52:15 +0200 <EvanR> the variable answer, yeah. The actual answer, is what is returned
2023-09-01 20:52:44 +0200 <tuxillo> hi
2023-09-01 20:52:44 +0200 <monochrom> > foldr (&&) undefined (False : repeat True)
2023-09-01 20:52:46 +0200 <lambdabot> False
2023-09-01 20:53:27 +0200 <tuxillo> I'm the packager of ghc for DragonFly BSD. where can I discuss bootstrapping issues?
2023-09-01 20:53:52 +0200Guest2(~Guest54@p200300ef970060dda42db098689300dd.dip0.t-ipconnect.de) (Quit: Client closed)
2023-09-01 20:54:01 +0200 <[exa]> tuxillo: partially here (higher traffic) and partially in #ghc (actual ghc devs are there)
2023-09-01 20:54:10 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2023-09-01 20:54:17 +0200 <geekosaur> what kind of bootstrapping issues?
2023-09-01 20:54:20 +0200Guest26(~Guest54@p200300ef970060dda42db098689300dd.dip0.t-ipconnect.de)
2023-09-01 20:54:32 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:607b:f078:c328:abff) (Read error: Connection reset by peer)
2023-09-01 20:54:50 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 20:54:50 +0200 <tuxillo> ok, i'll join #ghc, thanks!
2023-09-01 20:55:14 +0200vglfr(~vglfr@145.224.100.231) (Read error: Connection reset by peer)
2023-09-01 20:55:24 +0200vglfr(~vglfr@145.224.100.231)
2023-09-01 20:55:33 +0200 <tuxillo> geekosaur: apparently the include search paths are not being passed during bootstrap (for ncurses headers) and I'm ending up with " fatal error: term.h: No such file or directory"
2023-09-01 20:56:04 +0200 <geekosaur> that sounds like a #ghc question, yes
2023-09-01 20:57:16 +0200ProofTechnique_(sid79547@id-79547.ilkley.irccloud.com) (Server closed connection)
2023-09-01 20:57:31 +0200ProofTechnique_(sid79547@id-79547.ilkley.irccloud.com)
2023-09-01 20:58:52 +0200cjay(cjay@nerdbox.nerd2nerd.org) (Server closed connection)
2023-09-01 20:59:01 +0200cjay(cjay@nerdbox.nerd2nerd.org)
2023-09-01 20:59:16 +0200susul(~susul@user/susul) (Quit: WeeChat 3.0)
2023-09-01 21:00:39 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-01 21:01:31 +0200integral(sid296274@user/integral) (Server closed connection)
2023-09-01 21:01:42 +0200integral(sid296274@user/integral)
2023-09-01 21:02:11 +0200ulysses4ever(~artem@2601:249:4380:8950:f474:e3f8:9806:671)
2023-09-01 21:03:06 +0200scholablade(~user@160.176.37.140)
2023-09-01 21:03:16 +0200scholabl`(~user@160.176.37.140)
2023-09-01 21:05:41 +0200scholabl`(~user@160.176.37.140) (Client Quit)
2023-09-01 21:05:50 +0200scholabl`(~scholabla@160.176.37.140)
2023-09-01 21:05:59 +0200scholabl`(~scholabla@160.176.37.140) (Remote host closed the connection)
2023-09-01 21:07:25 +0200scholabl`(~user@160.176.37.140)
2023-09-01 21:07:29 +0200scholabl`(~user@160.176.37.140) (Remote host closed the connection)
2023-09-01 21:07:52 +0200Jackneill_(~Jackneill@20014C4E1E04F90056592DA5D2139949.dsl.pool.telekom.hu) (Ping timeout: 245 seconds)
2023-09-01 21:08:16 +0200scholabl`(~user@160.176.37.140)
2023-09-01 21:08:30 +0200scholabl`(~user@160.176.37.140) (Remote host closed the connection)
2023-09-01 21:10:01 +0200glowcoil(sid3405@id-3405.tinside.irccloud.com) (Server closed connection)
2023-09-01 21:10:08 +0200glowcoil(sid3405@id-3405.tinside.irccloud.com)
2023-09-01 21:10:14 +0200scholabl`(~scholabla@160.176.37.140)
2023-09-01 21:10:14 +0200scholabl`(~scholabla@160.176.37.140) (Remote host closed the connection)
2023-09-01 21:10:26 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving)
2023-09-01 21:11:26 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-01 21:12:58 +0200scholabl`(~user@160.176.37.140)
2023-09-01 21:19:07 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) (Remote host closed the connection)
2023-09-01 21:25:32 +0200jero98772(~jero98772@2800:484:1d84:300::2)
2023-09-01 21:25:45 +0200briandaed(~briandaed@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection)
2023-09-01 21:27:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-01 21:31:18 +0200 <[Leary]> Guest26: Consider using `scanl`, `zipWith` and `or` rather than `foldr`.
2023-09-01 21:32:39 +0200tremon(~tremon@83.80.159.219)
2023-09-01 21:34:22 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5)
2023-09-01 21:35:52 +0200vglfr(~vglfr@145.224.100.231) (Ping timeout: 255 seconds)
2023-09-01 21:37:32 +0200vglfr(~vglfr@cli-188-239-233-89.bbn.slav.dn.ua)
2023-09-01 21:43:10 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-01 21:49:59 +0200Guest26(~Guest54@p200300ef970060dda42db098689300dd.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-09-01 21:50:00 +0200aaronv(~aaronv@user/aaronv)
2023-09-01 21:50:13 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-09-01 21:58:28 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-09-01 21:58:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-01 21:58:57 +0200tom_(~tom@2a00:23c8:970c:4801:a861:cd59:2e4c:1efa) (Remote host closed the connection)
2023-09-01 21:59:45 +0200tom_(~tom@2a00:23c8:970c:4801:a861:cd59:2e4c:1efa)
2023-09-01 22:01:18 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds)
2023-09-01 22:03:56 +0200jero98772(~jero98772@2800:484:1d84:300::2) (Ping timeout: 260 seconds)
2023-09-01 22:05:40 +0200anselmschueler(~anselmsch@user/schuelermine)
2023-09-01 22:05:48 +0200anselmschueler(~anselmsch@user/schuelermine) ()
2023-09-01 22:08:29 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel)
2023-09-01 22:09:14 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
2023-09-01 22:09:44 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-09-01 22:11:05 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Tschüss)
2023-09-01 22:13:35 +0200Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-69.cust.tzulo.com) (Quit: Leaving)
2023-09-01 22:14:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-01 22:15:17 +0200jero98772(~jero98772@2800:484:1d84:300::2)
2023-09-01 22:16:36 +0200tritlo_(sid58727@id-58727.hampstead.irccloud.com) (Server closed connection)
2023-09-01 22:16:50 +0200tritlo_(sid58727@id-58727.hampstead.irccloud.com)
2023-09-01 22:17:38 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds)
2023-09-01 22:26:20 +0200grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 245 seconds)
2023-09-01 22:26:21 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-09-01 22:29:07 +0200caryhartline(~caryhartl@168.182.58.169) (Ping timeout: 250 seconds)
2023-09-01 22:30:46 +0200b20n(sid115913@id-115913.uxbridge.irccloud.com) (Server closed connection)
2023-09-01 22:30:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-01 22:30:55 +0200b20n(sid115913@id-115913.uxbridge.irccloud.com)
2023-09-01 22:33:36 +0200dsal(sid13060@id-13060.lymington.irccloud.com) (Server closed connection)
2023-09-01 22:33:45 +0200dsal(sid13060@id-13060.lymington.irccloud.com)
2023-09-01 22:39:22 +0200caryhartline(~caryhartl@168.182.58.169)
2023-09-01 22:41:59 +0200Lycurgus(~juan@user/Lycurgus)
2023-09-01 22:42:36 +0200danza_(~francesco@151.57.124.123)
2023-09-01 22:42:46 +0200danza(~francesco@151.35.106.7) (Read error: Connection reset by peer)
2023-09-01 22:44:54 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-01 22:45:10 +0200sm(~sm@plaintextaccounting/sm)
2023-09-01 22:46:08 +0200sm(~sm@plaintextaccounting/sm) (Client Quit)
2023-09-01 22:54:55 +0200michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2023-09-01 22:55:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-01 22:56:01 +0200falafel(~falafel@62.175.113.194.dyn.user.ono.com)
2023-09-01 23:01:13 +0200tuxillo(~tuxillo@217.138.218.104) (Quit: Client closed)
2023-09-01 23:01:31 +0200kimiamania(~65804703@user/kimiamania) (Quit: PegeLinux)
2023-09-01 23:01:57 +0200kimiamania(~67afdc47@user/kimiamania)
2023-09-01 23:04:11 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds)
2023-09-01 23:11:51 +0200idnar(sid12240@debian/mithrandi) (Server closed connection)
2023-09-01 23:11:59 +0200idnar(sid12240@debian/mithrandi)
2023-09-01 23:13:03 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-01 23:13:45 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:b0f5:9dfd:241c:83c5) (Remote host closed the connection)
2023-09-01 23:13:48 +0200jero98772(~jero98772@2800:484:1d84:300::2) (Ping timeout: 248 seconds)
2023-09-01 23:19:47 +0200Square(~Square@user/square)
2023-09-01 23:21:12 +0200acidjnk(~acidjnk@p200300d6e7072f6224e9f62f062fe3b9.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2023-09-01 23:21:31 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-09-01 23:22:32 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-01 23:26:01 +0200mzg(mzg@lazy.unconscious.biz) (Server closed connection)
2023-09-01 23:26:08 +0200mzg(mzg@lazy.unconscious.biz)
2023-09-01 23:26:30 +0200jero98772(~jero98772@2800:484:1d84:300::2)
2023-09-01 23:27:08 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds)
2023-09-01 23:27:55 +0200sm(~sm@plaintextaccounting/sm)
2023-09-01 23:29:23 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-09-01 23:29:41 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-09-01 23:30:26 +0200hdggxin(~hdggxin@122.175.41.19) (Ping timeout: 246 seconds)
2023-09-01 23:32:32 +0200aaronv(~aaronv@user/aaronv) (Ping timeout: 246 seconds)
2023-09-01 23:32:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-01 23:36:23 +0200mima(~mmh@net-2-38-141-119.cust.vodafonedsl.it) (Ping timeout: 246 seconds)
2023-09-01 23:39:45 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-09-01 23:44:34 +0200tv(~tv@user/tv) (Ping timeout: 255 seconds)
2023-09-01 23:51:22 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:e816:d59f:5dd6:1363)
2023-09-01 23:55:56 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:e816:d59f:5dd6:1363) (Ping timeout: 248 seconds)