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