| 2024-07-24 00:01:35 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-07-24 00:16:21 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-07-24 00:17:55 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-07-24 00:18:14 +0200 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 260 seconds) |
| 2024-07-24 00:19:47 +0200 | spacenautx | (~spacenaut@user/spacenautx) |
| 2024-07-24 00:27:30 +0200 | Guest84 | (~Guest84@p200300f0673d2b01fd5459966ec3c570.dip0.t-ipconnect.de) |
| 2024-07-24 00:27:33 +0200 | skyesoss1 | (~Thunderbi@128.135.204.35) (Ping timeout: 248 seconds) |
| 2024-07-24 00:30:45 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2024-07-24 00:39:33 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-24 00:43:08 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-07-24 00:47:31 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-07-24 00:47:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-24 00:50:47 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-24 00:50:50 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 255 seconds) |
| 2024-07-24 00:52:14 +0200 | dolio | (~dolio@130.44.140.168) |
| 2024-07-24 00:52:44 +0200 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2024-07-24 00:53:45 +0200 | dolio | (~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 +0200 | Guest84 | (~Guest84@p200300f0673d2b01fd5459966ec3c570.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-07-24 01:13:55 +0200 | peterbecich | (~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 +0200 | tedbjurlin | (tedbjurlin@user/tedbjurlin) |
| 2024-07-24 01:17:55 +0200 | acidjnk | (~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 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 260 seconds) |
| 2024-07-24 01:32:50 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-24 01:33:18 +0200 | <dibblego> | ncf: well that worked, why? |
| 2024-07-24 01:33:35 +0200 | tedbjurlin | (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 +0200 | tedbjurlin | (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 +0200 | Typedfern | (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2024-07-24 01:38:01 +0200 | typedfern_ | (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) |
| 2024-07-24 01:38:02 +0200 | tedbjurlin | (tedbjurlin@user/tedbjurlin) (Remote host closed the connection) |
| 2024-07-24 01:38:02 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2024-07-24 01:38:43 +0200 | cheater | (~Username@user/cheater) |
| 2024-07-24 01:56:31 +0200 | Lord_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 +0200 | tedbjurlin | (~tedbjurli@user/tedbjurlin) |
| 2024-07-24 02:06:12 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-24 02:08:00 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-24 02:12:43 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2024-07-24 02:17:17 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-24 02:21:00 +0200 | tedbjurlin | (~tedbjurli@user/tedbjurlin) (Remote host closed the connection) |
| 2024-07-24 02:24:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-24 02:49:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-07-24 02:52:04 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-07-24 02:52:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-24 03:00:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-24 03:03:34 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 252 seconds) |
| 2024-07-24 03:04:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-24 03:07:38 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-07-24 03:11:48 +0200 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) |
| 2024-07-24 03:17:30 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 260 seconds) |
| 2024-07-24 03:17:43 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-24 03:21:35 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-07-24 03:24:57 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-24 03:32:01 +0200 | rekahsoft | (~rekahsoft@184.148.6.200) |
| 2024-07-24 03:33:59 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-24 03:43:28 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-24 03:56:04 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-07-24 04:03:43 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) (Ping timeout: 264 seconds) |
| 2024-07-24 04:03:57 +0200 | rekahsoft | (~rekahsoft@184.148.6.200) (Ping timeout: 265 seconds) |
| 2024-07-24 04:07:07 +0200 | xff0x | (~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 +0200 | td_ | (~td@i53870927.versanet.de) (Ping timeout: 276 seconds) |
| 2024-07-24 04:17:47 +0200 | td_ | (~td@i53870916.versanet.de) |
| 2024-07-24 04:18:19 +0200 | <Unicorn_Princess> | working on minimal example |
| 2024-07-24 04:21:45 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-07-24 04:21:45 +0200 | acidsys | (~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 +0200 | acidjnk | (~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 +0200 | slack1256 | (~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 +0200 | puke | (~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 +0200 | puke | (~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 +0200 | puke | (~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 +0200 | xff0x | (~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 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-24 05:17:41 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 2024-07-24 05:19:48 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-24 05:30:00 +0200 | tram | (~tram@2a02:587:b43:7300:a89e:683a:2da1:a2ed) (Quit: Leaving.) |
| 2024-07-24 05:33:34 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-24 05:38:45 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-07-24 05:39:08 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-07-24 05:41:32 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 255 seconds) |
| 2024-07-24 05:41:32 +0200 | tcard | (~tcard@p3705237-ipxg22301hodogaya.kanagawa.ocn.ne.jp) |
| 2024-07-24 05:41:47 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-24 05:56:36 +0200 | aforemny | (~aforemny@2001:9e8:6cf8:db00:b657:96fb:9374:58f5) |
| 2024-07-24 05:57:55 +0200 | aforemny_ | (~aforemny@i59F516F9.versanet.de) (Ping timeout: 260 seconds) |
| 2024-07-24 06:12:38 +0200 | slack1256 | (~slack1256@2803:c600:5111:80cb:919d:c705:82c4:29e9) |
| 2024-07-24 06:23:00 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-07-24 06:37:14 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10f7:9cfe:8000::) |
| 2024-07-24 06:38:09 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10f7:9cfe:8000::) (Client Quit) |
| 2024-07-24 06:53:29 +0200 | skyesoss23 | (~skyesoss@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-24 06:53:45 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Quit: skyesoss) |
| 2024-07-24 06:54:11 +0200 | skyesoss23 | (~skyesoss@c-73-208-45-119.hsd1.il.comcast.net) (Client Quit) |
| 2024-07-24 06:54:22 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-24 06:55:39 +0200 | slack1256 | (~slack1256@2803:c600:5111:80cb:919d:c705:82c4:29e9) (Ping timeout: 252 seconds) |
| 2024-07-24 07:04:49 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 260 seconds) |
| 2024-07-24 07:17:41 +0200 | srk | (~sorki@user/srk) (Ping timeout: 248 seconds) |
| 2024-07-24 07:28:10 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-24 07:29:31 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-07-24 07:30:27 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-24 07:36:34 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2024-07-24 07:46:15 +0200 | michalz | (~michalz@185.246.207.193) |
| 2024-07-24 07:52:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-24 08:01:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-07-24 08:16:42 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-24 08:27:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-24 08:28:25 +0200 | euleritian | (~euleritia@dynamic-176-006-143-106.176.6.pool.telefonica.de) |
| 2024-07-24 08:30:50 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-07-24 09:04:34 +0200 | lortabac | (~lortabac@37.169.7.96) |
| 2024-07-24 09:09:53 +0200 | lortabac | (~lortabac@37.169.7.96) (Quit: WeeChat 4.2.2) |
| 2024-07-24 09:19:14 +0200 | lortabac | (~lortabac@37.169.7.96) |
| 2024-07-24 09:20:19 +0200 | rosco | (~rosco@14.191.221.176) |
| 2024-07-24 09:20:53 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-07-24 09:21:29 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-24 09:31:10 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-07-24 09:46:47 +0200 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) (Ping timeout: 255 seconds) |
| 2024-07-24 09:47:01 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-24 09:54:48 +0200 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 2024-07-24 09:55:01 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-24 09:58:50 +0200 | tabemann | (~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 +0200 | euleritian | (~euleritia@dynamic-176-006-143-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-24 10:05:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-24 10:06:25 +0200 | <mauke> | don't think so |
| 2024-07-24 10:06:30 +0200 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) |
| 2024-07-24 10:08:33 +0200 | paddymahoney | (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) |
| 2024-07-24 10:11:22 +0200 | tabemann | (~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 +0200 | skyesoss | (~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 +0200 | benjaminl | (~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 +0200 | rosco | (~rosco@14.191.221.176) (Remote host closed the connection) |
| 2024-07-24 10:20:14 +0200 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-07-24 10:20:41 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-24 10:22:23 +0200 | benjaminl | (~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 +0200 | motherfsck | (~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 +0200 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2024-07-24 10:34:27 +0200 | chele | (~chele@user/chele) |
| 2024-07-24 10:37:06 +0200 | danse-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 +0200 | motherfsck | (~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 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-24 10:49:00 +0200 | poscat | (~poscat@user/poscat) |
| 2024-07-24 10:50:14 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 255 seconds) |
| 2024-07-24 10:52:04 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-24 11:08:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-24 11:09:14 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-24 11:09:34 +0200 | CiaoSen | (~Jura@2a05:5800:2b1:8400:e6b9:7aff:fe80:3d03) |
| 2024-07-24 11:09:59 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-07-24 11:13:30 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 260 seconds) |
| 2024-07-24 11:15:58 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-07-24 11:29:15 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Ping timeout: 260 seconds) |
| 2024-07-24 11:29:41 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-24 11:30:48 +0200 | gehmehgeh | gmg |
| 2024-07-24 11:33:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2024-07-24 11:33:19 +0200 | euleritian | (~euleritia@dynamic-176-006-143-106.176.6.pool.telefonica.de) |
| 2024-07-24 11:34:42 +0200 | euleritian | (~euleritia@dynamic-176-006-143-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-24 11:34:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-24 11:42:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2024-07-24 11:42:21 +0200 | euleritian | (~euleritia@dynamic-176-006-143-106.176.6.pool.telefonica.de) |
| 2024-07-24 11:45:03 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-24 11:47:34 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-07-24 11:48:35 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-24 11:50:07 +0200 | euleritian | (~euleritia@dynamic-176-006-143-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-24 11:50:30 +0200 | euleritian | (~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 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2024-07-24 12:11:10 +0200 | nuno | (~nunof@bl17-183-43.dsl.telepac.pt) |
| 2024-07-24 12:25:21 +0200 | lortabac | (~lortabac@37.169.7.96) (Quit: WeeChat 4.2.2) |
| 2024-07-24 12:27:00 +0200 | CiaoSen | (~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 +0200 | cfricke | (~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 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-07-24 12:40:12 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-07-24 12:40:12 +0200 | Square2 | (~Square@user/square) |
| 2024-07-24 12:52:09 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-07-24 12:53:39 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-07-24 12:55:36 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Client Quit) |
| 2024-07-24 13:01:25 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 252 seconds) |
| 2024-07-24 13:01:26 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-07-24 13:01:48 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-24 13:08:20 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: battery over) |
| 2024-07-24 13:09:09 +0200 | srk | (~sorki@user/srk) |
| 2024-07-24 13:17:30 +0200 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) (Ping timeout: 272 seconds) |
| 2024-07-24 13:17:56 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8fcf:75e8:d4d3:15fa) |
| 2024-07-24 13:20:59 +0200 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 255 seconds) |
| 2024-07-24 13:28:32 +0200 | guy | (~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 +0200 | gmg | (~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 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-24 13:48:26 +0200 | CiaoSen | (~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 +0200 | guy | (~guy@31.94.68.127) (Quit: Connection closed) |
| 2024-07-24 14:11:08 +0200 | nshepperd23 | (~nshepperd@2a01:4f9:3b:4cc9::2) |
| 2024-07-24 14:11:10 +0200 | coldtom6 | (~coldtom@coldrick.cc) |
| 2024-07-24 14:12:07 +0200 | auri | (~auri@fsf/member/auri) (Remote host closed the connection) |
| 2024-07-24 14:12:16 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (Remote host closed the connection) |
| 2024-07-24 14:12:20 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2024-07-24 14:12:22 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2024-07-24 14:12:28 +0200 | dyniec | (~dyniec@dybiec.info) (Ping timeout: 265 seconds) |
| 2024-07-24 14:12:49 +0200 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) (Write error: Broken pipe) |
| 2024-07-24 14:12:57 +0200 | coldtom | (~coldtom@coldrick.cc) (Read error: Connection reset by peer) |
| 2024-07-24 14:12:57 +0200 | coldtom6 | coldtom |
| 2024-07-24 14:12:57 +0200 | eugenrh | (~eugenrh@user/eugenrh) (Ping timeout: 265 seconds) |
| 2024-07-24 14:13:03 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Read error: Connection reset by peer) |
| 2024-07-24 14:13:03 +0200 | nshepperd23 | nshepperd2 |
| 2024-07-24 14:13:15 +0200 | eugenrh | (~eugenrh@user/eugenrh) |
| 2024-07-24 14:13:17 +0200 | auri | (~auri@fsf/member/auri) |
| 2024-07-24 14:13:24 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) |
| 2024-07-24 14:13:27 +0200 | yushyin | (h88XgTom95@mail.karif.server-speed.net) (Ping timeout: 265 seconds) |
| 2024-07-24 14:13:37 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) |
| 2024-07-24 14:13:50 +0200 | yushyin | (AvGFjw6Xiu@mail.karif.server-speed.net) |
| 2024-07-24 14:14:00 +0200 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) |
| 2024-07-24 14:14:20 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2024-07-24 14:14:20 +0200 | ChanServ | +v lambdabot |
| 2024-07-24 14:14:28 +0200 | dyniec | (~dyniec@dybiec.info) |
| 2024-07-24 14:16:46 +0200 | lortabac | (~lortabac@37.169.7.96) |
| 2024-07-24 14:23:19 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-24 14:33:26 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-07-24 14:36:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-07-24 14:37:23 +0200 | euleritian | (~euleritia@dynamic-176-006-136-160.176.6.pool.telefonica.de) |
| 2024-07-24 14:39:12 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-07-24 14:39:32 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-07-24 14:44:21 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 276 seconds) |
| 2024-07-24 14:47:01 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-24 14:52:23 +0200 | tabemann_ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2024-07-24 14:53:49 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:7cbc:db42:7124:831c) (Ping timeout: 260 seconds) |
| 2024-07-24 14:54:35 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 255 seconds) |
| 2024-07-24 14:55:39 +0200 | slack1256 | (~slack1256@2803:c600:5111:80cb:380e:34f2:2727:e112) |
| 2024-07-24 14:57:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-07-24 14:59:22 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-24 15:05:40 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-07-24 15:08:01 +0200 | kuribas | (~user@ptr-17d51epajiqo5s57kyl.18120a2.ip6.access.telenet.be) |
| 2024-07-24 15:14:37 +0200 | ystael | (~ystael@user/ystael) |
| 2024-07-24 15:15:16 +0200 | ouroboros | (~ouroboros@user/ouroboros) (Quit: Bye.) |
| 2024-07-24 15:15:28 +0200 | tram | (~tram@94.71.169.14) |
| 2024-07-24 15:15:35 +0200 | ouroboros | (~ouroboros@user/ouroboros) |
| 2024-07-24 15:18:54 +0200 | CiaoSen | (~Jura@2a05:5800:2b1:8400:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-07-24 15:28:02 +0200 | euleritian | (~euleritia@dynamic-176-006-136-160.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-24 15:28:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-24 15:54:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-24 16:02:16 +0200 | lortabac | (~lortabac@37.169.7.96) (Quit: WeeChat 4.2.2) |
| 2024-07-24 16:19:21 +0200 | CiaoSen | (~Jura@2a05:5800:2b1:8400:e6b9:7aff:fe80:3d03) |
| 2024-07-24 16:23:09 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 276 seconds) |
| 2024-07-24 16:23:57 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) |
| 2024-07-24 16:29:19 +0200 | m1dnight | (~christoph@78-20-61-242.access.telenet.be) (Quit: WeeChat 4.2.2) |
| 2024-07-24 16:29:48 +0200 | m1dnight | (~christoph@78-20-61-242.access.telenet.be) |
| 2024-07-24 16:33:16 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-07-24 16:34:54 +0200 | m1dnight | (~christoph@78-20-61-242.access.telenet.be) (Quit: WeeChat 4.2.2) |
| 2024-07-24 16:35:13 +0200 | m1dnight | (~christoph@78-20-61-242.access.telenet.be) |
| 2024-07-24 16:36:40 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
| 2024-07-24 16:38:00 +0200 | liberalogica | (~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 +0200 | nuno | (~nunof@bl17-183-43.dsl.telepac.pt) (Leaving) |
| 2024-07-24 16:50:10 +0200 | puke | (~puke@user/puke) |
| 2024-07-24 16:58:17 +0200 | tabemann_ | tabemann |
| 2024-07-24 17:00:22 +0200 | liberalogica | (~francesco@151.37.173.253) (Ping timeout: 252 seconds) |
| 2024-07-24 17:00:59 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 260 seconds) |
| 2024-07-24 17:01:39 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-24 17:04:57 +0200 | hc | (~hc@2407:d200:d002:43:229:85:195:3) (Remote host closed the connection) |
| 2024-07-24 17:21:05 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-07-24 17:26:51 +0200 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) (Ping timeout: 276 seconds) |
| 2024-07-24 17:31:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-07-24 17:34:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-24 17:42:26 +0200 | Guest1889 | (~francesco@151.37.143.79) |
| 2024-07-24 17:44:58 +0200 | Guest1889 | (~francesco@151.37.143.79) (Remote host closed the connection) |
| 2024-07-24 17:53:29 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: life calls) |
| 2024-07-24 17:53:31 +0200 | CiaoSen | (~Jura@2a05:5800:2b1:8400:e6b9:7aff:fe80:3d03) (Ping timeout: 252 seconds) |
| 2024-07-24 17:56:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-24 18:16:38 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-24 18:21:49 +0200 | euphores | (~SASL_euph@user/euphores) (Read error: Connection reset by peer) |
| 2024-07-24 18:22:37 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Remote host closed the connection) |
| 2024-07-24 18:23:26 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-07-24 18:30:10 +0200 | nisstyre | (wes@user/nisstyre) (Ping timeout: 248 seconds) |
| 2024-07-24 18:31:49 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-24 18:32:53 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-07-24 18:40:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Remote host closed the connection) |
| 2024-07-24 18:41:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-24 18:42:51 +0200 | nisstyre | (wes@user/nisstyre) |
| 2024-07-24 18:46:45 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-07-24 18:48:35 +0200 | motherfsck | (~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 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-24 18:56:55 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-24 18:57:59 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-07-24 18:59:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-24 19:04:09 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-24 19:13:19 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-24 19:20:51 +0200 | mvk | (~mvk@2607:fea8:5c96:5800::2c48) |
| 2024-07-24 19:20:51 +0200 | mvk | (~mvk@2607:fea8:5c96:5800::2c48) (Client Quit) |
| 2024-07-24 19:22:18 +0200 | tedbjurlin | (~tedbjurli@user/tedbjurlin) |
| 2024-07-24 19:33:38 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-24 19:33:52 +0200 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2024-07-24 19:33:55 +0200 | pyooque | (~puke@user/puke) |
| 2024-07-24 19:33:55 +0200 | pyooque | puke |
| 2024-07-24 19:36:34 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-07-24 19:36:55 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-07-24 19:37:16 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: Leaving) |
| 2024-07-24 19:37:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-24 19:47:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-24 19:49:44 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-24 19:59:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-07-24 20:10:42 +0200 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) |
| 2024-07-24 20:11:37 +0200 | omegatron | (~some@user/omegatron) |
| 2024-07-24 20:19:58 +0200 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) |
| 2024-07-24 20:21:37 +0200 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2024-07-24 20:21:49 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-07-24 20:21:59 +0200 | puke | (~puke@user/puke) |
| 2024-07-24 20:22:33 +0200 | prolic_ | (~sasa@181.122.138.24) |
| 2024-07-24 20:22:59 +0200 | <prolic_> | mauke - hi my friend |
| 2024-07-24 20:23:02 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-24 20:25:24 +0200 | CrunchyFlakes | (~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 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-07-24 20:47:20 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-07-24 20:50:13 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-07-24 20:50:51 +0200 | rvalue- | rvalue |
| 2024-07-24 20:51:19 +0200 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: %quit%) |
| 2024-07-24 20:51:40 +0200 | zlqrvx | (~zlqrvx@user/zlqrvx) |
| 2024-07-24 20:52:28 +0200 | tram | (~tram@94.71.169.14) (Quit: Leaving.) |
| 2024-07-24 20:53:49 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-07-24 20:54:33 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-07-24 20:57:57 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Ping timeout: 248 seconds) |
| 2024-07-24 20:58:27 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: so long) |
| 2024-07-24 21:05:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-24 21:08:26 +0200 | pyooque | (~puke@user/puke) |
| 2024-07-24 21:08:26 +0200 | puke | (~puke@user/puke) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2024-07-24 21:08:26 +0200 | pyooque | puke |
| 2024-07-24 21:10:41 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-07-24 21:23:37 +0200 | eron | (~eron@143.0.15.20) |
| 2024-07-24 21:32:02 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2024-07-24 21:33:41 +0200 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) (Ping timeout: 248 seconds) |
| 2024-07-24 21:39:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-24 21:42:21 +0200 | orvokki | (~orvokki@telia-2e0f26-222.connect.netcom.no) |
| 2024-07-24 21:46:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-24 21:47:36 +0200 | orvokki | (~orvokki@telia-2e0f26-222.connect.netcom.no) (Quit: Client closed) |
| 2024-07-24 21:57:43 +0200 | eron | (~eron@143.0.15.20) (Quit: Client closed) |
| 2024-07-24 22:01:57 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb436d5a267264431f6c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-07-24 22:02:23 +0200 | tedbjurlin | (~tedbjurli@user/tedbjurlin) (Remote host closed the connection) |
| 2024-07-24 22:16:26 +0200 | pyooque | (~puke@user/puke) |
| 2024-07-24 22:16:26 +0200 | puke | (~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2024-07-24 22:16:26 +0200 | pyooque | puke |
| 2024-07-24 22:18:24 +0200 | pyooque | (~puke@user/puke) |
| 2024-07-24 22:18:24 +0200 | puke | Guest3201 |
| 2024-07-24 22:18:24 +0200 | pyooque | puke |
| 2024-07-24 22:21:12 +0200 | Guest3201 | (~puke@user/puke) (Ping timeout: 252 seconds) |
| 2024-07-24 22:26:46 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb366d2386d7abebf685.dip0.t-ipconnect.de) |
| 2024-07-24 22:31:08 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-24 22:42:54 +0200 | pyooque | (~puke@user/puke) |
| 2024-07-24 22:42:54 +0200 | puke | Guest8390 |
| 2024-07-24 22:42:54 +0200 | pyooque | puke |
| 2024-07-24 22:45:24 +0200 | Guest8390 | (~puke@user/puke) (Ping timeout: 252 seconds) |
| 2024-07-24 22:50:26 +0200 | pyooque | (~puke@user/puke) |
| 2024-07-24 22:50:26 +0200 | puke | Guest6464 |
| 2024-07-24 22:50:26 +0200 | pyooque | puke |
| 2024-07-24 22:51:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-24 22:52:14 +0200 | puke | (~puke@user/puke) (Client Quit) |
| 2024-07-24 22:52:44 +0200 | Guest6464 | (~puke@user/puke) (Ping timeout: 252 seconds) |
| 2024-07-24 22:55:39 +0200 | puke | (~puke@user/puke) |
| 2024-07-24 23:08:01 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-07-24 23:11:38 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-24 23:12:47 +0200 | pavonia | (~user@user/siracusa) |
| 2024-07-24 23:21:50 +0200 | darkstardevx | (~darkstard@50.53.3.2) |
| 2024-07-24 23:29:44 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-07-24 23:31:41 +0200 | michalz | (~michalz@185.246.207.193) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-07-24 23:33:07 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Remote host closed the connection) |
| 2024-07-24 23:36:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-24 23:37:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-24 23:39:58 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-07-24 23:40:46 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2024-07-24 23:42:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-07-24 23:42:58 +0200 | euleritian | (~euleritia@dynamic-176-006-134-017.176.6.pool.telefonica.de) |
| 2024-07-24 23:48:27 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-07-24 23:49:30 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-24 23:55:00 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-24 23:56:19 +0200 | 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 23:59:06 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-07-24 23:59:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |