2024/07/24

2024-07-24 00:01:35 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2024-07-24 00:16:21 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-07-24 00:17:55 +0200dysthesis(~dysthesis@user/dysthesis)
2024-07-24 00:18:14 +0200spacenautx(~spacenaut@user/spacenautx) (Ping timeout: 260 seconds)
2024-07-24 00:19:47 +0200spacenautx(~spacenaut@user/spacenautx)
2024-07-24 00:27:30 +0200Guest84(~Guest84@p200300f0673d2b01fd5459966ec3c570.dip0.t-ipconnect.de)
2024-07-24 00:27:33 +0200skyesoss1(~Thunderbi@128.135.204.35) (Ping timeout: 248 seconds)
2024-07-24 00:30:45 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 248 seconds)
2024-07-24 00:39:33 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-07-24 00:43:08 +0200Sgeo(~Sgeo@user/sgeo)
2024-07-24 00:47:31 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-07-24 00:47:42 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-24 00:50:47 +0200dolio(~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in)
2024-07-24 00:50:50 +0200ystael(~ystael@user/ystael) (Ping timeout: 255 seconds)
2024-07-24 00:52:14 +0200dolio(~dolio@130.44.140.168)
2024-07-24 00:52:44 +0200dolio(~dolio@130.44.140.168) (Client Quit)
2024-07-24 00:53:45 +0200dolio(~dolio@130.44.140.168)
2024-07-24 01:06:08 +0200 <dibblego> why does this produce two difference pandoc syntax trees? https://gist.github.com/tonymorris/c2fd03e175e8da5493f1b4dbec29508c
2024-07-24 01:13:35 +0200Guest84(~Guest84@p200300f0673d2b01fd5459966ec3c570.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2024-07-24 01:13:55 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-07-24 01:17:14 +0200 <ncf> dibblego: try def { readerExtensions = pandocExtensions }
2024-07-24 01:17:37 +0200tedbjurlin(tedbjurlin@user/tedbjurlin)
2024-07-24 01:17:55 +0200acidjnk(~acidjnk@p200300d6e72cfb436d5a267264431f6c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-07-24 01:24:41 +0200 <dibblego> ncf: wilco, thanks
2024-07-24 01:31:55 +0200oo_miguel(~Thunderbi@78.10.207.46) (Ping timeout: 260 seconds)
2024-07-24 01:32:50 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-07-24 01:33:18 +0200 <dibblego> ncf: well that worked, why?
2024-07-24 01:33:35 +0200tedbjurlin(tedbjurlin@user/tedbjurlin) (Remote host closed the connection)
2024-07-24 01:33:58 +0200 <ncf> do you mean why in the philosophical sense or
2024-07-24 01:34:23 +0200tedbjurlin(tedbjurlin@user/tedbjurlin)
2024-07-24 01:34:48 +0200 <dibblego> well, why, but I will find out why myself
2024-07-24 01:38:01 +0200 <ncf> i mean other than "tables are a pandoc extension" there isn't much more to add
2024-07-24 01:38:01 +0200Typedfern(~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
2024-07-24 01:38:01 +0200typedfern_(~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net)
2024-07-24 01:38:02 +0200tedbjurlin(tedbjurlin@user/tedbjurlin) (Remote host closed the connection)
2024-07-24 01:38:02 +0200cheater(~Username@user/cheater) (Ping timeout: 264 seconds)
2024-07-24 01:38:43 +0200cheater(~Username@user/cheater)
2024-07-24 01:56:31 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2024-07-24 01:57:34 +0200 <dibblego> yeah
2024-07-24 02:02:46 +0200tedbjurlin(~tedbjurli@user/tedbjurlin)
2024-07-24 02:06:12 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-07-24 02:08:00 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-07-24 02:12:43 +0200dysthesis(~dysthesis@user/dysthesis) (Remote host closed the connection)
2024-07-24 02:17:17 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-07-24 02:21:00 +0200tedbjurlin(~tedbjurli@user/tedbjurlin) (Remote host closed the connection)
2024-07-24 02:24:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-24 02:49:20 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-07-24 02:52:04 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2024-07-24 02:52:19 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-24 03:00:25 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-24 03:03:34 +0200pointlessslippe1(~pointless@212.82.82.3) (Ping timeout: 252 seconds)
2024-07-24 03:04:44 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-07-24 03:07:38 +0200pointlessslippe1(~pointless@212.82.82.3)
2024-07-24 03:11:48 +0200tram(~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed)
2024-07-24 03:17:30 +0200tomku(~tomku@user/tomku) (Ping timeout: 260 seconds)
2024-07-24 03:17:43 +0200tomku(~tomku@user/tomku)
2024-07-24 03:21:35 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds)
2024-07-24 03:24:57 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-07-24 03:32:01 +0200rekahsoft(~rekahsoft@184.148.6.200)
2024-07-24 03:33:59 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-07-24 03:43:28 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-07-24 03:56:04 +0200Square2(~Square@user/square) (Ping timeout: 252 seconds)
2024-07-24 04:03:43 +0200acidsys(~crameleon@openSUSE/member/crameleon) (Ping timeout: 264 seconds)
2024-07-24 04:03:57 +0200rekahsoft(~rekahsoft@184.148.6.200) (Ping timeout: 265 seconds)
2024-07-24 04:07:07 +0200xff0x(~xff0x@2405:6580:b080:900:29eb:497:a6f9:c34d) (Ping timeout: 244 seconds)
2024-07-24 04:07:18 +0200 <Unicorn_Princess> is there any way to assign priority to resolve functional dependencies? e.g. if two instance declarations match, to resolve the conflict by picking a preferred one
2024-07-24 04:09:30 +0200 <davean> There is some stuff for that, but if you've got that its quite possible you have a serious issue. Can you give some more details about when you run into this?
2024-07-24 04:12:40 +0200 <Unicorn_Princess> oh there might be a cleaner way. i just have to specify that two types must differ, then there should be no conflict
2024-07-24 04:13:02 +0200 <geekosaur> "just"
2024-07-24 04:13:20 +0200 <Unicorn_Princess> such a simple thing should be, well, simple, right? ; ;
2024-07-24 04:13:24 +0200 <geekosaur> ("must be the same" can be done in the typechecker; "must be different" requires a runtime witness)
2024-07-24 04:13:53 +0200 <geekosaur> the typechecker can handle "can be different", though)
2024-07-24 04:14:37 +0200 <Unicorn_Princess> 'can be different' is just the default, innit? e.g. data Foo a b
2024-07-24 04:14:45 +0200 <geekosaur> yes
2024-07-24 04:15:08 +0200 <geekosaur> but if you want to express that "b" cannot be equal to "a", you have a problem
2024-07-24 04:15:30 +0200 <davean> The thing about a functional dependency is its *functional* it points to *exactly one*
2024-07-24 04:15:44 +0200 <davean> If it didn't, it wouldn't be a functional dependency.
2024-07-24 04:15:51 +0200 <davean> it woudl just be a dependency
2024-07-24 04:16:05 +0200 <davean> So more details would really help
2024-07-24 04:16:27 +0200td_(~td@i53870927.versanet.de) (Ping timeout: 276 seconds)
2024-07-24 04:17:47 +0200td_(~td@i53870916.versanet.de)
2024-07-24 04:18:19 +0200 <Unicorn_Princess> working on minimal example
2024-07-24 04:21:45 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-07-24 04:21:45 +0200acidsys(~crameleon@openSUSE/member/crameleon)
2024-07-24 04:23:22 +0200 <Unicorn_Princess> here we go: https://play.haskell.org/saved/PfBTmjQp
2024-07-24 04:25:06 +0200 <davean> c determines a b in your example. What you have there *is not a fucntioanl dependency in any way*
2024-07-24 04:25:14 +0200 <davean> I explicitely exactly violates the "functional" part
2024-07-24 04:25:57 +0200 <Unicorn_Princess> in which part does it do that?
2024-07-24 04:27:12 +0200 <davean> "(Frac a b) (Frac b a)" could be equal to "(Frac a x) (Frac x d)" but you claim that it resolves to both Float and Frac a d
2024-07-24 04:27:38 +0200 <Unicorn_Princess> ah yes, that's exactly my question
2024-07-24 04:27:39 +0200 <davean> You can't *functionally* depend to more than one thing, *functional* means exactly one
2024-07-24 04:27:50 +0200 <davean> So this is in no way a functional dependency
2024-07-24 04:28:00 +0200 <Unicorn_Princess> that much i understand
2024-07-24 04:28:02 +0200 <davean> It is specificly a *non*-functional dependency
2024-07-24 04:28:34 +0200 <davean> So you can do multiprarameter type class with preference.
2024-07-24 04:28:57 +0200 <davean> But a b *can not tell you what c is*
2024-07-24 04:29:06 +0200 <Unicorn_Princess> but if i can say in the type signature that a!=d in the "(Frac a x) (Frac x d)" case, then the result type is uniquely determined by the two inputs, i.e. functional
2024-07-24 04:29:34 +0200 <Unicorn_Princess> since it will no longer match the "(Frac a b) (Frac b a)" case
2024-07-24 04:29:37 +0200 <davean> You can prove something is the same
2024-07-24 04:29:59 +0200 <davean> Its a bit hard to prove, and I don't mean like "thats a lot of work" but in general to prove something is different.
2024-07-24 04:30:19 +0200 <Unicorn_Princess> how do i do the preference thing then?
2024-07-24 04:30:53 +0200acidjnk(~acidjnk@p200300d6e72cfb436d5a267264431f6c.dip0.t-ipconnect.de)
2024-07-24 04:30:55 +0200 <davean> https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/instances.html#instance-overlap
2024-07-24 04:31:27 +0200 <davean> Are you sure tehre isn't a good c -> a b chain that you might use?
2024-07-24 04:31:58 +0200 <davean> You are determining things by the result type here, NOT by the left hand types
2024-07-24 04:32:17 +0200slack1256(~slack1256@2803:c600:5111:80cb:37bc:e58a:82fe:bd1a) (Remote host closed the connection)
2024-07-24 04:32:56 +0200 <Unicorn_Princess> if i understand you correctly, you're saying that "class Mult a b c | a b -> c where" means "determine the types of a and b from c"?
2024-07-24 04:33:26 +0200 <davean> I believe you mgiht have typed something wrong.
2024-07-24 04:33:50 +0200 <davean> That says "Given a and b, we ALWAYS KNOW EXACTLY WHAT C IS"
2024-07-24 04:34:33 +0200 <Unicorn_Princess> that's what i thought, yes
2024-07-24 04:34:49 +0200 <davean> Something along the lines of "c -> a b" is more what you have
2024-07-24 04:35:09 +0200 <Unicorn_Princess> and your suggestion, "c -> a b", means "given c, we know exactly what a and b are"?
2024-07-24 04:35:20 +0200 <davean> Note here that a type might not be specific *until runtime*
2024-07-24 04:35:27 +0200 <davean> Unicorn_Princess: yes
2024-07-24 04:35:51 +0200 <davean> Thats what makes proving inequality problematic on a fundimental level
2024-07-24 04:36:16 +0200 <Unicorn_Princess> the overlappinginstances stuff is deprecated, i assume using it will cause more trouble than it's worth?
2024-07-24 04:36:30 +0200 <geekosaur> the extension is deprecated
2024-07-24 04:36:45 +0200 <geekosaur> there are pragmas these days instead, which give you more fine-grained control
2024-07-24 04:37:12 +0200 <Unicorn_Princess> ah i see
2024-07-24 04:37:18 +0200 <davean> Unicorn_Princess: your actual information has to blow from c to a & b given your example.
2024-07-24 04:37:24 +0200 <davean> *flow
2024-07-24 04:37:37 +0200 <davean> Not that your example might be your entire thing
2024-07-24 04:38:26 +0200 <Unicorn_Princess> this is because haskell determines types 'backwards', i.e. from a desired result type, it figures out the input types?
2024-07-24 04:38:38 +0200 <davean> No haskell does not have a direction
2024-07-24 04:38:43 +0200 <davean> Your *example* has a direction
2024-07-24 04:39:04 +0200 <davean> Because its where the determinant information is
2024-07-24 04:39:15 +0200 <davean> Haskell works from all directions simultaniously.
2024-07-24 04:39:49 +0200 <davean> But, the only place in your example the information can exist in, is in c, thus the only way to work out the types is *from* c
2024-07-24 04:40:05 +0200 <davean> anything else would lead to contradictions
2024-07-24 04:40:20 +0200 <Unicorn_Princess> ah, you mean because they overlap?
2024-07-24 04:40:35 +0200 <davean> yes, and more how they overlap
2024-07-24 04:40:52 +0200 <davean> Some overlaps are more problematic than others
2024-07-24 04:42:08 +0200 <davean> Some overlaps won't lead to cascading problems where the issue could be anywhere. Yours does
2024-07-24 04:42:24 +0200 <davean> Unless you resolve it from C
2024-07-24 04:42:37 +0200 <davean> If you resolve it from c you'll get consistent results
2024-07-24 04:42:56 +0200 <davean> (with that example)
2024-07-24 04:46:30 +0200puke(~puke@user/puke) (Remote host closed the connection)
2024-07-24 04:46:49 +0200 <Unicorn_Princess> hmm i see. since the compiler has trouble determining if two types differ at compile time, it doesn't consider the signature "Mult (Frac a b) (Frac b a)" as more specific than "Mult (Frac a x) (Frac x d)", and so it needs the third element too to disambiguate?
2024-07-24 04:46:55 +0200puke(~puke@user/puke)
2024-07-24 04:47:08 +0200 <davean> It doesn't have "trouble" you can't either in general, its not generally possible
2024-07-24 04:47:33 +0200 <Unicorn_Princess> well, that's just a specific kind of 'trouble' >_>
2024-07-24 04:47:33 +0200 <davean> There is, infact, nothing "more specific" about that
2024-07-24 04:47:57 +0200 <davean> If you had something concrete and actually provable, you could prefer it by preference
2024-07-24 04:49:25 +0200 <davean> so you can actually do some preference here with a type equality witness
2024-07-24 04:50:38 +0200 <davean> you could have like "instance (a :~: d) => Mult (Frac a x) (Frac x d)" and "instance Mult (Frac a x) (Frac x d)" for example, with an order
2024-07-24 04:50:45 +0200 <davean> but that won't give you a functional dependency
2024-07-24 04:50:56 +0200 <davean> it could give you an associated type maybe?
2024-07-24 04:51:23 +0200 <davean> but then you'll have other issues because you'll only be forward chaining and never backward chaining
2024-07-24 04:51:50 +0200 <davean> So you'll lose about half of your type inference
2024-07-24 04:55:27 +0200puke(~puke@user/puke) (Ping timeout: 276 seconds)
2024-07-24 04:56:00 +0200 <Unicorn_Princess> well i am way out of my type-depth, so what i'm getting from this is it's more trouble than it's worth, even if i could get it to work
2024-07-24 04:57:58 +0200 <davean> I really expect yo uwant something "c -> a b"ish
2024-07-24 04:59:14 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-07-24 05:01:49 +0200 <Unicorn_Princess> blindly replacing the "a b -> c" with "c -> a b" gets me even more red squigglies. i think i've been pressing my hand against this particular hot stove long enough
2024-07-24 05:03:17 +0200 <glguy> You could toss out the instance that generates a Float result and be explicit when you think you're done and provide a: Frac a a -> Float accessor
2024-07-24 05:03:55 +0200 <Unicorn_Princess> that's the plan, i think
2024-07-24 05:06:33 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-07-24 05:17:41 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds)
2024-07-24 05:19:48 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-07-24 05:30:00 +0200tram(~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) (Quit: Leaving.)
2024-07-24 05:33:34 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-07-24 05:38:45 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-07-24 05:39:08 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-07-24 05:41:32 +0200tomku(~tomku@user/tomku) (Ping timeout: 255 seconds)
2024-07-24 05:41:32 +0200tcard(~tcard@p3705237-ipxg22301hodogaya.kanagawa.ocn.ne.jp)
2024-07-24 05:41:47 +0200tomku(~tomku@user/tomku)
2024-07-24 05:56:36 +0200aforemny(~aforemny@2001:9e8:6cf8:db00:b657:96fb:9374:58f5)
2024-07-24 05:57:55 +0200aforemny_(~aforemny@i59F516F9.versanet.de) (Ping timeout: 260 seconds)
2024-07-24 06:12:38 +0200slack1256(~slack1256@2803:c600:5111:80cb:919d:c705:82c4:29e9)
2024-07-24 06:23:00 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2024-07-24 06:37:14 +0200madhavanmiui(~madhavanm@2409:40f4:10f7:9cfe:8000::)
2024-07-24 06:38:09 +0200madhavanmiui(~madhavanm@2409:40f4:10f7:9cfe:8000::) (Client Quit)
2024-07-24 06:53:29 +0200skyesoss23(~skyesoss@c-73-208-45-119.hsd1.il.comcast.net)
2024-07-24 06:53:45 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Quit: skyesoss)
2024-07-24 06:54:11 +0200skyesoss23(~skyesoss@c-73-208-45-119.hsd1.il.comcast.net) (Client Quit)
2024-07-24 06:54:22 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)
2024-07-24 06:55:39 +0200slack1256(~slack1256@2803:c600:5111:80cb:919d:c705:82c4:29e9) (Ping timeout: 252 seconds)
2024-07-24 07:04:49 +0200tomku(~tomku@user/tomku) (Ping timeout: 260 seconds)
2024-07-24 07:17:41 +0200srk(~sorki@user/srk) (Ping timeout: 248 seconds)
2024-07-24 07:28:10 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-07-24 07:29:31 +0200bliminse(~bliminse@user/bliminse) (Quit: leaving)
2024-07-24 07:30:27 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-07-24 07:36:34 +0200bliminse(~bliminse@user/bliminse)
2024-07-24 07:46:15 +0200michalz(~michalz@185.246.207.193)
2024-07-24 07:52:52 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-24 08:01:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2024-07-24 08:16:42 +0200tomku(~tomku@user/tomku)
2024-07-24 08:27:24 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-07-24 08:28:25 +0200euleritian(~euleritia@dynamic-176-006-143-106.176.6.pool.telefonica.de)
2024-07-24 08:30:50 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-07-24 09:04:34 +0200lortabac(~lortabac@37.169.7.96)
2024-07-24 09:09:53 +0200lortabac(~lortabac@37.169.7.96) (Quit: WeeChat 4.2.2)
2024-07-24 09:19:14 +0200lortabac(~lortabac@37.169.7.96)
2024-07-24 09:20:19 +0200rosco(~rosco@14.191.221.176)
2024-07-24 09:20:53 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-07-24 09:21:29 +0200oo_miguel(~Thunderbi@78.10.207.46)
2024-07-24 09:31:10 +0200__monty__(~toonn@user/toonn)
2024-07-24 09:46:47 +0200rachelambda(~rachelamb@cust-95-80-25-71.csbnet.se) (Ping timeout: 255 seconds)
2024-07-24 09:47:01 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-07-24 09:54:48 +0200rachelambda(~rachelamb@cust-95-80-25-71.csbnet.se)
2024-07-24 09:55:01 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-24 09:58:50 +0200tabemann(~tabemann@2600:1700:7990:24e0:857c:42f1:b76d:8309) (Ping timeout: 260 seconds)
2024-07-24 10:01:38 +0200 <Unicorn_Princess> is there a way in haskell to specify the type of a numeric literal, other than (2 :: Float)? something like 2.f32 perhaps
2024-07-24 10:05:14 +0200euleritian(~euleritia@dynamic-176-006-143-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-24 10:05:32 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-24 10:06:25 +0200 <mauke> don't think so
2024-07-24 10:06:30 +0200simendsjo(~user@2001:2044:1413:800:c4c9:16db:19ee:b47c)
2024-07-24 10:08:33 +0200paddymahoney(~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com)
2024-07-24 10:11:22 +0200tabemann(~tabemann@2600:1700:7990:24e0:7cbc:db42:7124:831c)
2024-07-24 10:11:56 +0200 <Unicorn_Princess> this specifically is my problem: https://play.haskell.org/saved/sliTftDP
2024-07-24 10:12:34 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 272 seconds)
2024-07-24 10:12:40 +0200 <Unicorn_Princess> i've realized i can simplify my units system a lot, since i have so few units i'll actually use, i can simply define what multiplying each pair should produce
2024-07-24 10:13:25 +0200 <Unicorn_Princess> and it seems to work, except now haskell is being picky about the first argument
2024-07-24 10:13:40 +0200 <Unicorn_Princess> (in the case it's a numeric literal)
2024-07-24 10:14:41 +0200benjaminl(~benjaminl@user/benjaminl) (Ping timeout: 255 seconds)
2024-07-24 10:17:00 +0200 <Lears> Unicorn_Princess: You might get away with `instance float ~ Float => QMul float ...` depending on what other instances you want, otherwise you just have to annotate the literals.
2024-07-24 10:17:53 +0200 <Unicorn_Princess> what does that syntax mean?
2024-07-24 10:18:25 +0200 <Unicorn_Princess> a ~ in a type signature, scary...
2024-07-24 10:18:48 +0200 <Lears> It's an equality constraint. It means the instances matches /before/ restricting the variable to Float.
2024-07-24 10:19:52 +0200rosco(~rosco@14.191.221.176) (Remote host closed the connection)
2024-07-24 10:20:14 +0200ft(~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Quit: leaving)
2024-07-24 10:20:41 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-24 10:22:23 +0200benjaminl(~benjaminl@user/benjaminl)
2024-07-24 10:22:31 +0200 <Unicorn_Princess> well i don't understand that, but ghc gets angry after i add in the other instances. hmm.
2024-07-24 10:23:58 +0200 <Lears> OVERLAPPING/OVERLAPS may also help, but again, it depends on the instances.
2024-07-24 10:27:14 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 265 seconds)
2024-07-24 10:30:31 +0200 <Unicorn_Princess> hm, they really shouldn't be overlapping tho. anyway, here's what happens: https://play.haskell.org/saved/RJi0C7Co
2024-07-24 10:30:53 +0200 <Unicorn_Princess> and i really don't understand how those instances conflict
2024-07-24 10:33:04 +0200vgtw(~vgtw@user/vgtw) (Quit: ZNC - https://znc.in)
2024-07-24 10:34:27 +0200chele(~chele@user/chele)
2024-07-24 10:37:06 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: on the move)
2024-07-24 10:38:57 +0200 <Lears> Yeah, that's not the instance heads overlapping, it's the fundeps conflicting again. To be consistent with the first instance (`float, Qty a -> Qty a`) the second (`Qty DMass, Qty DMassFrac -> Qty DMass`) would need `Qty DMassFrac` on the RHS.
2024-07-24 10:39:11 +0200 <Lears> Anyway, just rollback to before the equality constraint and get used to annotating.
2024-07-24 10:39:29 +0200 <Unicorn_Princess> yeah i think i'll go with that, thanks for trying :)
2024-07-24 10:39:51 +0200motherfsck(~motherfsc@user/motherfsck)
2024-07-24 10:40:20 +0200 <Unicorn_Princess> i'll just make an "as_grams :: Float -> Mass" function to make it ergonomic
2024-07-24 10:40:54 +0200 <Unicorn_Princess> so "as_grams 12" instead of "12 .* g"
2024-07-24 10:41:16 +0200 <Unicorn_Princess> or rather "(12 :: Float) .* g"
2024-07-24 10:42:55 +0200 <Lears> Another option would be: `grams :: Float -> Mass`, then: (12 `grams`)
2024-07-24 10:44:42 +0200cfricke(~cfricke@user/cfricke)
2024-07-24 10:49:00 +0200poscat(~poscat@user/poscat)
2024-07-24 10:50:14 +0200poscat0x04(~poscat@user/poscat) (Ping timeout: 255 seconds)
2024-07-24 10:52:04 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-24 11:08:48 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-07-24 11:09:14 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)
2024-07-24 11:09:34 +0200CiaoSen(~Jura@2a05:5800:2b1:8400:e6b9:7aff:fe80:3d03)
2024-07-24 11:09:59 +0200gehmehgeh(~user@user/gehmehgeh)
2024-07-24 11:13:30 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 260 seconds)
2024-07-24 11:15:58 +0200sawilagar(~sawilagar@user/sawilagar)
2024-07-24 11:29:15 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128) (Ping timeout: 260 seconds)
2024-07-24 11:29:41 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-24 11:30:48 +0200gehmehgehgmg
2024-07-24 11:33:00 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds)
2024-07-24 11:33:19 +0200euleritian(~euleritia@dynamic-176-006-143-106.176.6.pool.telefonica.de)
2024-07-24 11:34:42 +0200euleritian(~euleritia@dynamic-176-006-143-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-24 11:34:59 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-24 11:42:09 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds)
2024-07-24 11:42:21 +0200euleritian(~euleritia@dynamic-176-006-143-106.176.6.pool.telefonica.de)
2024-07-24 11:45:03 +0200misterfish(~misterfis@84.53.85.146)
2024-07-24 11:47:34 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2024-07-24 11:48:35 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-24 11:50:07 +0200euleritian(~euleritia@dynamic-176-006-143-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-24 11:50:30 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-24 12:01:25 +0200 <danse-nr3> i find haddock's module descriptions slightly awkward. They begin with {-|, but there is nothing to be written straight after the |
2024-07-24 12:04:14 +0200 <danse-nr3> | is visually leading attention towards what follows it on the same line. It's catchy to the point that i always start with uppercase afterwards (in function docstrings) because it looks better
2024-07-24 12:10:48 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds)
2024-07-24 12:11:10 +0200nuno(~nunof@bl17-183-43.dsl.telepac.pt)
2024-07-24 12:25:21 +0200lortabac(~lortabac@37.169.7.96) (Quit: WeeChat 4.2.2)
2024-07-24 12:27:00 +0200CiaoSen(~Jura@2a05:5800:2b1:8400:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds)
2024-07-24 12:33:07 +0200 <haskellbridge> <sm> danse-nr3: are you talking about needing at least one space after the | ?
2024-07-24 12:33:42 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 276 seconds)
2024-07-24 12:33:42 +0200 <danse-nr3> no i mean that in haddock examples (and in my common usecase) there is nothing to be written in the | line
2024-07-24 12:34:15 +0200 <haskellbridge> <sm> I'm still mystified, sorry :)
2024-07-24 12:34:39 +0200 <danse-nr3> maybe because the metadata come before the plain text https://haskell-haddock.readthedocs.io/latest/markup.html#the-module-description
2024-07-24 12:35:11 +0200 <danse-nr3> but i guess that if i don't add metadata i can start right after the |
2024-07-24 12:35:15 +0200 <danse-nr3> could work for a while
2024-07-24 12:39:46 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com)
2024-07-24 12:40:12 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-07-24 12:40:12 +0200Square2(~Square@user/square)
2024-07-24 12:52:09 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com)
2024-07-24 12:53:39 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-07-24 12:55:36 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Client Quit)
2024-07-24 13:01:25 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Ping timeout: 252 seconds)
2024-07-24 13:01:26 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-07-24 13:01:48 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-24 13:08:20 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: battery over)
2024-07-24 13:09:09 +0200srk(~sorki@user/srk)
2024-07-24 13:17:30 +0200simendsjo(~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) (Ping timeout: 272 seconds)
2024-07-24 13:17:56 +0200xff0x(~xff0x@2405:6580:b080:900:8fcf:75e8:d4d3:15fa)
2024-07-24 13:20:59 +0200spacenautx(~spacenaut@user/spacenautx) (Ping timeout: 255 seconds)
2024-07-24 13:28:32 +0200guy(~guy@31.94.68.127)
2024-07-24 13:28:37 +0200 <guy> hi
2024-07-24 13:28:44 +0200 <guy> im trying to find a replacement for a library
2024-07-24 13:28:52 +0200 <guy> i was using a version with HMatrix
2024-07-24 13:28:55 +0200 <guy> but it uses blas
2024-07-24 13:28:59 +0200 <guy> (lapack)
2024-07-24 13:29:16 +0200 <guy> which id ont want to have to install each time, as i forget how, and its not platform independent
2024-07-24 13:29:38 +0200 <guy> anytime i use the import with the HMatrix dependency i get stuck searching around online, and its killing my productivity at critical times
2024-07-24 13:29:40 +0200 <guy> gaussianSample
2024-07-24 13:29:46 +0200 <guy> is the function i wish to replace
2024-07-24 13:30:02 +0200 <guy> https://hackage.haskell.org/package/hmatrix-0.16.1.5/docs/src/Numeric-LinearAlgebra-Random.html#ga…
2024-07-24 13:30:34 +0200 <guy> https://hackage.haskell.org/package/hmatrix-0.16.1.5/docs/Numeric-LinearAlgebra-HMatrix.html#v:gau…
2024-07-24 13:30:40 +0200 <guy> (snd link is better)
2024-07-24 13:31:03 +0200 <guy> it takes a list of means and a covariance matrix
2024-07-24 13:31:21 +0200 <guy> does anyone know of a package that offers an alternative to this function that does not rely on Clibs?
2024-07-24 13:31:35 +0200 <guy> or alternatively would anyone be willing to help me rewrite it?
2024-07-24 13:31:54 +0200 <guy> its quite complicated to do properly and relies on some cholitsky factorisations and stuff i dont want to have to do this
2024-07-24 13:32:40 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-07-24 13:32:57 +0200 <guy> i can find plenty of libraries with the gausin distribution on a line, but not many (any?) that do it in nd
2024-07-24 13:43:58 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-07-24 13:48:26 +0200CiaoSen(~Jura@2a05:5800:2b1:8400:e6b9:7aff:fe80:3d03)
2024-07-24 13:54:14 +0200 <guy> ok i found a good how to here
2024-07-24 13:54:15 +0200 <guy> http://5.178.65.204/topic/details/how-to-correctly-build-cabal-project-using-hmatrix-under-windows…
2024-07-24 13:54:51 +0200 <guy> basically;
2024-07-24 13:54:52 +0200 <guy> pacman -S mingw-w64-x86_64-blas mingw-w64-x86_64-lapack
2024-07-24 13:55:01 +0200 <guy> C:\msys64\mingw64\bin
2024-07-24 13:55:06 +0200 <guy> (on path)
2024-07-24 13:55:19 +0200 <guy> (using msys2)
2024-07-24 13:55:25 +0200 <guy> derp
2024-07-24 13:55:27 +0200 <guy> ciao
2024-07-24 13:55:30 +0200guy(~guy@31.94.68.127) (Quit: Connection closed)
2024-07-24 14:11:08 +0200nshepperd23(~nshepperd@2a01:4f9:3b:4cc9::2)
2024-07-24 14:11:10 +0200coldtom6(~coldtom@coldrick.cc)
2024-07-24 14:12:07 +0200auri(~auri@fsf/member/auri) (Remote host closed the connection)
2024-07-24 14:12:16 +0200nadja(~dequbed@banana-new.kilobyte22.de) (Remote host closed the connection)
2024-07-24 14:12:20 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection)
2024-07-24 14:12:22 +0200V(~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
2024-07-24 14:12:28 +0200dyniec(~dyniec@dybiec.info) (Ping timeout: 265 seconds)
2024-07-24 14:12:49 +0200rncwnd(~quassel@2a01:4f8:221:27c6::1) (Write error: Broken pipe)
2024-07-24 14:12:57 +0200coldtom(~coldtom@coldrick.cc) (Read error: Connection reset by peer)
2024-07-24 14:12:57 +0200coldtom6coldtom
2024-07-24 14:12:57 +0200eugenrh(~eugenrh@user/eugenrh) (Ping timeout: 265 seconds)
2024-07-24 14:13:03 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) (Read error: Connection reset by peer)
2024-07-24 14:13:03 +0200nshepperd23nshepperd2
2024-07-24 14:13:15 +0200eugenrh(~eugenrh@user/eugenrh)
2024-07-24 14:13:17 +0200auri(~auri@fsf/member/auri)
2024-07-24 14:13:24 +0200nadja(~dequbed@banana-new.kilobyte22.de)
2024-07-24 14:13:27 +0200yushyin(h88XgTom95@mail.karif.server-speed.net) (Ping timeout: 265 seconds)
2024-07-24 14:13:37 +0200V(~v@ircpuzzles/2022/april/winner/V)
2024-07-24 14:13:50 +0200yushyin(AvGFjw6Xiu@mail.karif.server-speed.net)
2024-07-24 14:14:00 +0200rncwnd(~quassel@2a01:4f8:221:27c6::1)
2024-07-24 14:14:20 +0200lambdabot(~lambdabot@haskell/bot/lambdabot)
2024-07-24 14:14:20 +0200ChanServ+v lambdabot
2024-07-24 14:14:28 +0200dyniec(~dyniec@dybiec.info)
2024-07-24 14:16:46 +0200lortabac(~lortabac@37.169.7.96)
2024-07-24 14:23:19 +0200cfricke(~cfricke@user/cfricke)
2024-07-24 14:33:26 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 255 seconds)
2024-07-24 14:36:19 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-07-24 14:37:23 +0200euleritian(~euleritia@dynamic-176-006-136-160.176.6.pool.telefonica.de)
2024-07-24 14:39:12 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-07-24 14:39:32 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-07-24 14:44:21 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 276 seconds)
2024-07-24 14:47:01 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-24 14:52:23 +0200tabemann_(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2024-07-24 14:53:49 +0200tabemann(~tabemann@2600:1700:7990:24e0:7cbc:db42:7124:831c) (Ping timeout: 260 seconds)
2024-07-24 14:54:35 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 255 seconds)
2024-07-24 14:55:39 +0200slack1256(~slack1256@2803:c600:5111:80cb:380e:34f2:2727:e112)
2024-07-24 14:57:29 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-07-24 14:59:22 +0200cfricke(~cfricke@user/cfricke)
2024-07-24 15:05:40 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds)
2024-07-24 15:08:01 +0200kuribas(~user@ptr-17d51epajiqo5s57kyl.18120a2.ip6.access.telenet.be)
2024-07-24 15:14:37 +0200ystael(~ystael@user/ystael)
2024-07-24 15:15:16 +0200ouroboros(~ouroboros@user/ouroboros) (Quit: Bye.)
2024-07-24 15:15:28 +0200tram(~tram@94.71.169.14)
2024-07-24 15:15:35 +0200ouroboros(~ouroboros@user/ouroboros)
2024-07-24 15:18:54 +0200CiaoSen(~Jura@2a05:5800:2b1:8400:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds)
2024-07-24 15:28:02 +0200euleritian(~euleritia@dynamic-176-006-136-160.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-24 15:28:20 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-24 15:54:21 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-24 16:02:16 +0200lortabac(~lortabac@37.169.7.96) (Quit: WeeChat 4.2.2)
2024-07-24 16:19:21 +0200CiaoSen(~Jura@2a05:5800:2b1:8400:e6b9:7aff:fe80:3d03)
2024-07-24 16:23:09 +0200drdo(~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 276 seconds)
2024-07-24 16:23:57 +0200drdo(~drdo@bl5-29-74.dsl.telepac.pt)
2024-07-24 16:29:19 +0200m1dnight(~christoph@78-20-61-242.access.telenet.be) (Quit: WeeChat 4.2.2)
2024-07-24 16:29:48 +0200m1dnight(~christoph@78-20-61-242.access.telenet.be)
2024-07-24 16:33:16 +0200Midjak(~MarciZ@82.66.147.146)
2024-07-24 16:34:54 +0200m1dnight(~christoph@78-20-61-242.access.telenet.be) (Quit: WeeChat 4.2.2)
2024-07-24 16:35:13 +0200m1dnight(~christoph@78-20-61-242.access.telenet.be)
2024-07-24 16:36:40 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 260 seconds)
2024-07-24 16:38:00 +0200liberalogica(~francesco@151.37.173.253)
2024-07-24 16:38:29 +0200 <liberalogica> i am trying glirc
2024-07-24 16:40:07 +0200 <EvanR> nice
2024-07-24 16:41:17 +0200 <liberalogica> terminal management looks neat, although it's not obvious how to interact with the app (through a prefix or some key combination?)
2024-07-24 16:41:46 +0200 <liberalogica> i'll move to offtopic i guess
2024-07-24 16:45:45 +0200 <EvanR> there's a channel for it?
2024-07-24 16:45:48 +0200 <EvanR> #glirc ?
2024-07-24 16:46:24 +0200 <liberalogica> seems so, thanks
2024-07-24 16:47:47 +0200nuno(~nunof@bl17-183-43.dsl.telepac.pt) (Leaving)
2024-07-24 16:50:10 +0200puke(~puke@user/puke)
2024-07-24 16:58:17 +0200tabemann_tabemann
2024-07-24 17:00:22 +0200liberalogica(~francesco@151.37.173.253) (Ping timeout: 252 seconds)
2024-07-24 17:00:59 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Ping timeout: 260 seconds)
2024-07-24 17:01:39 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-24 17:04:57 +0200hc(~hc@2407:d200:d002:43:229:85:195:3) (Remote host closed the connection)
2024-07-24 17:21:05 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-07-24 17:26:51 +0200rachelambda(~rachelamb@cust-95-80-25-71.csbnet.se) (Ping timeout: 276 seconds)
2024-07-24 17:31:54 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-07-24 17:34:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-24 17:42:26 +0200Guest1889(~francesco@151.37.143.79)
2024-07-24 17:44:58 +0200Guest1889(~francesco@151.37.143.79) (Remote host closed the connection)
2024-07-24 17:53:29 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: life calls)
2024-07-24 17:53:31 +0200CiaoSen(~Jura@2a05:5800:2b1:8400:e6b9:7aff:fe80:3d03) (Ping timeout: 252 seconds)
2024-07-24 17:56:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-24 18:16:38 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-24 18:21:49 +0200euphores(~SASL_euph@user/euphores) (Read error: Connection reset by peer)
2024-07-24 18:22:37 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Remote host closed the connection)
2024-07-24 18:23:26 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-07-24 18:30:10 +0200nisstyre(wes@user/nisstyre) (Ping timeout: 248 seconds)
2024-07-24 18:31:49 +0200euphores(~SASL_euph@user/euphores)
2024-07-24 18:32:53 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-07-24 18:40:13 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Remote host closed the connection)
2024-07-24 18:41:17 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-24 18:42:51 +0200nisstyre(wes@user/nisstyre)
2024-07-24 18:46:45 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: on the move)
2024-07-24 18:48:35 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 255 seconds)
2024-07-24 18:49:13 +0200 <cheater> what the hell is that url?
2024-07-24 18:50:40 +0200 <cheater> apparently, it's everyerror.com
2024-07-24 18:50:46 +0200 <cheater> how did he end up with an IP?
2024-07-24 18:50:52 +0200 <cheater> so weird
2024-07-24 18:52:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-24 18:56:55 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)
2024-07-24 18:57:59 +0200motherfsck(~motherfsc@user/motherfsck)
2024-07-24 18:59:28 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-24 19:04:09 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-07-24 19:13:19 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-07-24 19:20:51 +0200mvk(~mvk@2607:fea8:5c96:5800::2c48)
2024-07-24 19:20:51 +0200mvk(~mvk@2607:fea8:5c96:5800::2c48) (Client Quit)
2024-07-24 19:22:18 +0200tedbjurlin(~tedbjurli@user/tedbjurlin)
2024-07-24 19:33:38 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-07-24 19:33:52 +0200puke(~puke@user/puke) (Read error: Connection reset by peer)
2024-07-24 19:33:55 +0200pyooque(~puke@user/puke)
2024-07-24 19:33:55 +0200pyooquepuke
2024-07-24 19:36:34 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-07-24 19:36:55 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds)
2024-07-24 19:37:16 +0200Midjak(~MarciZ@82.66.147.146) (Quit: Leaving)
2024-07-24 19:37:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-24 19:47:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-24 19:49:44 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-07-24 19:59:01 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2024-07-24 20:10:42 +0200ft(~ft@p3e9bc4e7.dip0.t-ipconnect.de)
2024-07-24 20:11:37 +0200omegatron(~some@user/omegatron)
2024-07-24 20:19:58 +0200simendsjo(~user@2001:2044:1413:800:c4c9:16db:19ee:b47c)
2024-07-24 20:21:37 +0200puke(~puke@user/puke) (Read error: Connection reset by peer)
2024-07-24 20:21:49 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net)
2024-07-24 20:21:59 +0200puke(~puke@user/puke)
2024-07-24 20:22:33 +0200prolic_(~sasa@181.122.138.24)
2024-07-24 20:22:59 +0200 <prolic_> mauke - hi my friend
2024-07-24 20:23:02 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-24 20:25:24 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-24 20:25:57 +0200 <prolic_> FYI: I was working on reviving the outdated and unmaintained HsQML library for Haskell, which adds Qt5 support with Qt Quick QML. Yesterday I made it work and run for the first time.
2024-07-24 20:26:00 +0200 <prolic_> https://github.com/prolic/HsQML
2024-07-24 20:29:36 +0200 <EvanR> admirable
2024-07-24 20:33:58 +0200 <juri_> yay. :)
2024-07-24 20:37:22 +0200 <prolic_> I'm trying to get some demos running right now
2024-07-24 20:38:18 +0200 <geekosaur> 👍
2024-07-24 20:42:08 +0200 <prolic_> https://github.com/prolic/hsqml-demo-morris/
2024-07-24 20:42:30 +0200 <prolic_> HsQML-based implementation of Nine Men's Morris (written in Haskell)
2024-07-24 20:46:46 +0200rvalue-(~rvalue@user/rvalue)
2024-07-24 20:47:20 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2024-07-24 20:50:13 +0200target_i(~target_i@user/target-i/x-6023099)
2024-07-24 20:50:51 +0200rvalue-rvalue
2024-07-24 20:51:19 +0200zlqrvx(~zlqrvx@user/zlqrvx) (Quit: %quit%)
2024-07-24 20:51:40 +0200zlqrvx(~zlqrvx@user/zlqrvx)
2024-07-24 20:52:28 +0200tram(~tram@94.71.169.14) (Quit: Leaving.)
2024-07-24 20:53:49 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-07-24 20:54:33 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2024-07-24 20:57:57 +0200RedFlamingos(~RedFlamin@user/RedFlamingos) (Ping timeout: 248 seconds)
2024-07-24 20:58:27 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: so long)
2024-07-24 21:05:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-24 21:08:26 +0200pyooque(~puke@user/puke)
2024-07-24 21:08:26 +0200puke(~puke@user/puke) (Killed (osmium.libera.chat (Nickname regained by services)))
2024-07-24 21:08:26 +0200pyooquepuke
2024-07-24 21:10:41 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-07-24 21:23:37 +0200eron(~eron@143.0.15.20)
2024-07-24 21:32:02 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds)
2024-07-24 21:33:41 +0200simendsjo(~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) (Ping timeout: 248 seconds)
2024-07-24 21:39:02 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-07-24 21:42:21 +0200orvokki(~orvokki@telia-2e0f26-222.connect.netcom.no)
2024-07-24 21:46:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-24 21:47:36 +0200orvokki(~orvokki@telia-2e0f26-222.connect.netcom.no) (Quit: Client closed)
2024-07-24 21:57:43 +0200eron(~eron@143.0.15.20) (Quit: Client closed)
2024-07-24 22:01:57 +0200acidjnk(~acidjnk@p200300d6e72cfb436d5a267264431f6c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2024-07-24 22:02:23 +0200tedbjurlin(~tedbjurli@user/tedbjurlin) (Remote host closed the connection)
2024-07-24 22:16:26 +0200pyooque(~puke@user/puke)
2024-07-24 22:16:26 +0200puke(~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services)))
2024-07-24 22:16:26 +0200pyooquepuke
2024-07-24 22:18:24 +0200pyooque(~puke@user/puke)
2024-07-24 22:18:24 +0200pukeGuest3201
2024-07-24 22:18:24 +0200pyooquepuke
2024-07-24 22:21:12 +0200Guest3201(~puke@user/puke) (Ping timeout: 252 seconds)
2024-07-24 22:26:46 +0200acidjnk(~acidjnk@p200300d6e72cfb366d2386d7abebf685.dip0.t-ipconnect.de)
2024-07-24 22:31:08 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-07-24 22:42:54 +0200pyooque(~puke@user/puke)
2024-07-24 22:42:54 +0200pukeGuest8390
2024-07-24 22:42:54 +0200pyooquepuke
2024-07-24 22:45:24 +0200Guest8390(~puke@user/puke) (Ping timeout: 252 seconds)
2024-07-24 22:50:26 +0200pyooque(~puke@user/puke)
2024-07-24 22:50:26 +0200pukeGuest6464
2024-07-24 22:50:26 +0200pyooquepuke
2024-07-24 22:51:16 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-24 22:52:14 +0200puke(~puke@user/puke) (Client Quit)
2024-07-24 22:52:44 +0200Guest6464(~puke@user/puke) (Ping timeout: 252 seconds)
2024-07-24 22:55:39 +0200puke(~puke@user/puke)
2024-07-24 23:08:01 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-07-24 23:11:38 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-07-24 23:12:47 +0200pavonia(~user@user/siracusa)
2024-07-24 23:21:50 +0200darkstardevx(~darkstard@50.53.3.2)
2024-07-24 23:29:44 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-07-24 23:31:41 +0200michalz(~michalz@185.246.207.193) (Quit: ZNC 1.9.0 - https://znc.in)
2024-07-24 23:33:07 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Remote host closed the connection)
2024-07-24 23:36:51 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-24 23:37:48 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-24 23:39:58 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-07-24 23:40:46 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2024-07-24 23:42:30 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-07-24 23:42:58 +0200euleritian(~euleritia@dynamic-176-006-134-017.176.6.pool.telefonica.de)
2024-07-24 23:48:27 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net)
2024-07-24 23:49:30 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-07-24 23:55:00 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-24 23:56:19 +0200omegatron(~some@user/omegatron) (Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.)
2024-07-24 23:59:06 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-07-24 23:59:07 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)