| 2023-08-28 00:00:05 +0000 | <c_wraith> | Just write a default instance. |
| 2023-08-28 00:00:27 +0000 | <c_wraith> | and all the types you want can opt in without doing anything other than saying they're opting in. |
| 2023-08-28 00:00:33 +0000 | <aaronv> | you can use deriving via to derive the boilerplate instances |
| 2023-08-28 00:00:51 +0000 | <c_wraith> | .... there are no boilerplate instance. why is everyone making this complicated? |
| 2023-08-28 00:00:58 +0000 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-08-28 00:01:19 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 00:01:26 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-28 00:01:47 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-08-28 00:01:48 +0000 | <Jeanne-Kamikaze> | By default instance, do you mean writing default implementations for the functions in the type class? |
| 2023-08-28 00:02:29 +0000 | <c_wraith> | yes. Use https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/default_signatures.html to put the constraint on the definition |
| 2023-08-28 00:02:31 +0000 | <aaronv> | probably means default signatures. but you can only have one default signature and may have multiple ways to derive a superclass |
| 2023-08-28 00:02:35 +0000 | <EvanR> | ok yeah, write the default implementation in the type class. Then every type you want to be an instance put instance MyOtherClass Bar |
| 2023-08-28 00:02:56 +0000 | <c_wraith> | aaronv: did you read the initial question? This is the correct solution to that. |
| 2023-08-28 00:02:56 +0000 | <Jeanne-Kamikaze> | I see... but what if they are not "the same" after all? |
| 2023-08-28 00:03:00 +0000 | <EvanR> | lol |
| 2023-08-28 00:03:08 +0000 | <int-e> | Whenever I hear this question... I wonder... are you trying to do OO in Haskell? |
| 2023-08-28 00:03:09 +0000 | <aaronv> | until you have another subclass |
| 2023-08-28 00:03:34 +0000 | <int-e> | (It can be done and it's usually not a great approach to anything.) |
| 2023-08-28 00:03:39 +0000 | <aaronv> | this is the general default superclass problem which has existed forever and for which there are a bunch of proposed extensions none of which have ever gone anywhere |
| 2023-08-28 00:04:14 +0000 | <c_wraith> | I mean, it's not a problem because attempting to do it magically is the problem. Being explicit is the solution. |
| 2023-08-28 00:04:33 +0000 | <EvanR> | Jeanne-Kamikaze, so what is it, if not actually the same |
| 2023-08-28 00:04:37 +0000 | <aaronv> | the real problem is the inability to abstract over construction of type class instances |
| 2023-08-28 00:04:38 +0000 | <int-e> | Though the AMP mess was a counterexample to that OO idea. |
| 2023-08-28 00:05:07 +0000 | <Jeanne-Kamikaze> | Trying to think of a minimal example. |
| 2023-08-28 00:05:16 +0000 | <int-e> | (After AMP, everything that was a single Monad instance suddenly had to be a Functor, an Applicative, and a Monad instance.) |
| 2023-08-28 00:05:45 +0000 | <int-e> | (All without any OO in sight.) |
| 2023-08-28 00:05:49 +0000 | mvk | (~mvk@2607:fea8:5c9a:a600::5235) |
| 2023-08-28 00:06:02 +0000 | <aaronv> | what is OO |
| 2023-08-28 00:06:11 +0000 | <int-e> | object-oriented programming |
| 2023-08-28 00:06:13 +0000 | <aaronv> | what is that |
| 2023-08-28 00:06:15 +0000 | <c_wraith> | int-e: all the types that were monads without also being instances of Applicative were terrible. I'm glad they were forced to be sane. |
| 2023-08-28 00:06:19 +0000 | <EvanR> | lol |
| 2023-08-28 00:06:23 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-08-28 00:06:25 +0000 | <int-e> | aaronv: I won't answer that |
| 2023-08-28 00:06:29 +0000 | <aaronv> | there is no answer |
| 2023-08-28 00:06:43 +0000 | <EvanR> | OO haskell is where you try to emulate classes, subclasses, and reimplementing the superclass functionality selectively |
| 2023-08-28 00:06:56 +0000 | <EvanR> | where classes are as in java |
| 2023-08-28 00:07:14 +0000 | <aaronv> | I thought OO haskell was the lens library |
| 2023-08-28 00:07:25 +0000 | <EvanR> | that's optics oriented programming |
| 2023-08-28 00:07:26 +0000 | <aaronv> | with all it's subtyping |
| 2023-08-28 00:07:30 +0000 | <int-e> | c_wraith: It wasn't exactly a complaint. But I did write code before Applicative was a thing. |
| 2023-08-28 00:07:32 +0000 | <aaronv> | *its |
| 2023-08-28 00:07:37 +0000 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-08-28 00:08:19 +0000 | <int-e> | c_wraith: And adapting that was tedious. |
| 2023-08-28 00:08:20 +0000 | <EvanR> | the lens stuff is an example of "OO" subtyping actually working right, unlike most of the time java |
| 2023-08-28 00:09:00 +0000 | <aaronv> | well, except the quantified types aren't first class, which can be annoying |
| 2023-08-28 00:09:15 +0000 | <EvanR> | first class types? |
| 2023-08-28 00:09:47 +0000 | <EvanR> | idris I can hear you in the trunk of that car screaming to get out |
| 2023-08-28 00:10:56 +0000 | <geekosaur> | `forall a ->` is banging on the door |
| 2023-08-28 00:10:56 +0000 | <aaronv> | maybe I should say they aren't even second class |
| 2023-08-28 00:11:23 +0000 | <aaronv> | `forall a ->` would give up the subtyping |
| 2023-08-28 00:13:56 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-08-28 00:14:01 +0000 | Inst | (~liamzy@2601:6c4:4085:6d50::7f5a) |
| 2023-08-28 00:14:51 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 2023-08-28 00:15:07 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-08-28 00:15:26 +0000 | ddellacosta | (~ddellacos@143.244.47.89) (Ping timeout: 245 seconds) |
| 2023-08-28 00:15:37 +0000 | falafel | (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 246 seconds) |
| 2023-08-28 00:17:00 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 2023-08-28 00:17:29 +0000 | ddellacosta | (~ddellacos@146.70.165.10) |
| 2023-08-28 00:17:33 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-08-28 00:18:24 +0000 | <Inst> | erm, question |
| 2023-08-28 00:18:40 +0000 | <Axman6> | No, statement |
| 2023-08-28 00:18:51 +0000 | <Inst> | more like a clause, or a sentence fragment? |
| 2023-08-28 00:18:54 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-08-28 00:19:03 +0000 | <Inst> | shoudn't tail calls be optimized to mutating code? |
| 2023-08-28 00:19:09 +0000 | <Inst> | copy, mutate, return |
| 2023-08-28 00:19:18 +0000 | <Inst> | *tail recursive calls |
| 2023-08-28 00:20:33 +0000 | <Inst> | i assumed they were, someone corrected me that they weren't |
| 2023-08-28 00:21:08 +0000 | <Inst> | i suppose state chains aren't, though, because they're not linear (yet), #1, #2, linear haskell makes no claim of enabling mutation |
| 2023-08-28 00:21:22 +0000 | <geekosaur> | everything is a tail call by the time you reach STG, so things are much more complicated than that |
| 2023-08-28 00:22:42 +0000 | <Jeanne-Kamikaze> | > EvanR> OO haskell is where you try to emulate classes, subclasses, and reimplementing the superclass functionality selectively; Yeah, I think that is what I was trying to do in a nutshell. |
| 2023-08-28 00:22:44 +0000 | <lambdabot> | <hint>:1:22: error: parse error on input ‘where’ |
| 2023-08-28 00:23:14 +0000 | <Jeanne-Kamikaze> | I need to go back to the drawing board. Part of the problem is figuring out what I really want :/ |
| 2023-08-28 00:23:34 +0000 | <EvanR> | Jeanne-Kamikaze, probably an unpleastant road to go down but you can read some papers on past attempts |
| 2023-08-28 00:24:25 +0000 | <EvanR> | instead of OO being a solution looking for a problem here, you should flesh out the problem |
| 2023-08-28 00:24:42 +0000 | <Inst> | the foolish person learns from their own mistakes, the wise person learns from others' mistakes. But the foolish person has more fun! |
| 2023-08-28 00:25:36 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-28 00:25:36 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-28 00:25:36 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-28 00:27:13 +0000 | <Inst> | geekosaur: it came up because someone wanted mutation, I thought TCO was already mutation in the sense that it evaluated to a jump with constant registers |
| 2023-08-28 00:27:43 +0000 | <Inst> | they left happily with unsafeFreeze, unsafeThaw, a warning, and a grin on their face from the likely inevitable explosion |
| 2023-08-28 00:28:22 +0000 | <EvanR> | TCO isn't mutation at all |
| 2023-08-28 00:28:49 +0000 | <EvanR> | it's lack of mutation (of the call stack, in some other setting which has a call stack) |
| 2023-08-28 00:29:04 +0000 | <Inst> | ah :( |
| 2023-08-28 00:29:21 +0000 | <EvanR> | which is why it's so cool, "zero cost call" |
| 2023-08-28 00:30:09 +0000 | <Inst> | so what happens to the function arguments? |
| 2023-08-28 00:30:20 +0000 | <Inst> | do they get shifted around, replaced with new pointers? |
| 2023-08-28 00:30:21 +0000 | <EvanR> | passed to the function being called |
| 2023-08-28 00:30:40 +0000 | <EvanR> | so I lied there |
| 2023-08-28 00:31:03 +0000 | <Inst> | strictly, but the new function call creates new memory addresses / uses new registers? :( |
| 2023-08-28 00:31:04 +0000 | <EvanR> | when you have no arguments, it's just a jump |
| 2023-08-28 00:31:37 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-28 00:31:56 +0000 | <EvanR> | haskell programs use registers too but I don't see the connection |
| 2023-08-28 00:32:04 +0000 | <dolio> | It's definitely true that some common uses of mutation can be replaced by tail recursion. |
| 2023-08-28 00:32:42 +0000 | <dolio> | That's because the only way to do tail recursion in many languages (without unnecessarily eating stack) is with loops and mutation. |
| 2023-08-28 00:33:04 +0000 | <Inst> | i actually like mutation and state, i just want it to be the compiler's problem, not mine, whenever possible |
| 2023-08-28 00:33:10 +0000 | <monochrom> | Jeanne-Kamikaze: In the standard library, "if T is a Num instance, then it is also a Monoid instance using addition" is realized by the newtype wrapper "Sum", i.e., instance Num a => instance Monoid (Sum a) |
| 2023-08-28 00:33:13 +0000 | <Axman6> | since there's no returning from a tail call, all a call to a haskell function is is putting the arguments in registers (many caveats here) and then jumping to that, and by definition anything that was in registers in the calling code can be overwritten, since it'll never be used. |
| 2023-08-28 00:34:10 +0000 | <Axman6> | so at some level here's always mutation going on, and a tail recursive function will repeatedly overwrite its arguments on each recursive call |
| 2023-08-28 00:34:12 +0000 | <Jeanne-Kamikaze> | monochrom, yeah, I think that's what I was trying to formulate. |
| 2023-08-28 00:34:46 +0000 | <Jeanne-Kamikaze> | Like there are different kinds of monoids, but those that are Num behave with mappend = (+) |
| 2023-08-28 00:35:13 +0000 | <Axman6> | no, they _can_ behave like thaty, or they can use mappend = (*) |
| 2023-08-28 00:35:14 +0000 | <Inst> | i'm not sure this is correct, but there's only one Monoid typeclass, but different types instanced into the typeclass |
| 2023-08-28 00:35:15 +0000 | <Axman6> | or const |
| 2023-08-28 00:35:18 +0000 | <monochrom> | There are other cases where there is uniqueness but you still need a newtype wrapper to intervene. |
| 2023-08-28 00:35:34 +0000 | ski | (~ski@w188040.eduroam.gu.se) (Ping timeout: 255 seconds) |
| 2023-08-28 00:35:41 +0000 | <Inst> | kinds is a bit of a dangerous word because it's a term of art in Haskell |
| 2023-08-28 00:35:43 +0000 | <Axman6> | or any number of other implementations, which is why we split those common implementations out into the newtypes |
| 2023-08-28 00:35:53 +0000 | <monochrom> | Fundamentally this is how Haskell type classes work (and not work). You need a wrapper, lest it's undecidable and overlapping. |
| 2023-08-28 00:36:15 +0000 | ski | (~ski@w188047.eduroam.gu.se) |
| 2023-08-28 00:36:49 +0000 | <EvanR> | typeclasses vs the world, for any given type there's zero or one instance of something |
| 2023-08-28 00:36:59 +0000 | <EvanR> | in typeclasses we trust |
| 2023-08-28 00:37:00 +0000 | <Inst> | you know what a newtype is, right? |
| 2023-08-28 00:37:20 +0000 | <Jeanne-Kamikaze> | Yeah |
| 2023-08-28 00:39:47 +0000 | <Inst> | also, no, Num doesn't behave with mappend = (+) because real numbers have both addition and multiplication as monoids, hence the Sum newtype wrapper for (+) vs Product (*) |
| 2023-08-28 00:39:52 +0000 | <Jeanne-Kamikaze> | Is understanding why the newtype is needed there / comment about undecidable/overlapping something one can read out? |
| 2023-08-28 00:40:22 +0000 | <Jeanne-Kamikaze> | I just don't really understand how the type inference and stuff generally works. |
| 2023-08-28 00:40:36 +0000 | <Jeanne-Kamikaze> | *read about |
| 2023-08-28 00:40:47 +0000 | <Axman6> | The problem comes when I write mappend 2.0 3.0, do I want the answer to be 5.0 or 6.0? |
| 2023-08-28 00:41:19 +0000 | <Axman6> | there's no way the compiler can know which implementation is expected if you can define mappend = (+) and mappend = (*) |
| 2023-08-28 00:41:36 +0000 | <EvanR> | you can write an instance that implements Monoid for all Nums. And that overlaps all the usual Num instances |
| 2023-08-28 00:41:37 +0000 | <Jeanne-Kamikaze> | Let's say that that Num only has (+) or (*), just one possible definition of monoid. Do you still need to wrap it in a newtype to avoid the overlapping/undecidable situation? |
| 2023-08-28 00:41:49 +0000 | <Inst> | you don't |
| 2023-08-28 00:41:59 +0000 | <Axman6> | yes |
| 2023-08-28 00:42:13 +0000 | <Inst> | instance Num a => Monoid a where; mappend = (+) |
| 2023-08-28 00:42:23 +0000 | <EvanR> | that overlaps and so is bad |
| 2023-08-28 00:42:23 +0000 | <Inst> | do you have ghci ready? |
| 2023-08-28 00:42:24 +0000 | <Axman6> | what if I want mappend 2.0 3.0 == 2.0? a.k.a, the First Monoid (sort of) |
| 2023-08-28 00:42:40 +0000 | <Jeanne-Kamikaze> | Yeah. I get an error that the thing overlaps when the 'a' is not a Num. |
| 2023-08-28 00:42:54 +0000 | <EvanR> | it also overlaps when it is a Num and has a Monoid instance too |
| 2023-08-28 00:42:59 +0000 | <Inst> | hmm, that doesn't compile :( |
| 2023-08-28 00:43:06 +0000 | <Axman6> | there's an infinite number of monoid instances that we could want, picking one arbitrarily makes all the others more painful to use |
| 2023-08-28 00:43:46 +0000 | <Jeanne-Kamikaze> | What does "overlap" here really mean? What's the problem? |
| 2023-08-28 00:43:54 +0000 | <EvanR> | a type has two instances of a class |
| 2023-08-28 00:43:58 +0000 | <monochrom> | I can only think of the Haskell Report plus Typing Haskell in Haskell. |
| 2023-08-28 00:44:08 +0000 | <Jeanne-Kamikaze> | How? You can either be or not be a Num? |
| 2023-08-28 00:44:09 +0000 | <Axman6> | Jeanne-Kamikaze: what does mappend 2.0 3.0 return? |
| 2023-08-28 00:44:17 +0000 | <EvanR> | you were talking about implementing Monoid |
| 2023-08-28 00:45:00 +0000 | <monochrom> | "instance C [a]" and "instance C (f Int)" overlap. Because [Int] matches both. |
| 2023-08-28 00:45:24 +0000 | <monochrom> | Clearly, "instance C a" and "instance C Int" also overlap, even more badly. |
| 2023-08-28 00:46:05 +0000 | <monochrom> | Oh, "instance ExtraCondition => C a" is not going to help. Instance matching goes backwards and optimistically. |
| 2023-08-28 00:46:11 +0000 | <Inst> | why is it complaining about undecidableinstances and the constraint Num a being no smaller than Monoid a? :( |
| 2023-08-28 00:46:27 +0000 | <Jeanne-Kamikaze> | monochrom, yeah, that ExtraCondition => C a is what I had. |
| 2023-08-28 00:46:35 +0000 | <Jeanne-Kamikaze> | I thought ExtraCondition would keep me honest. |
| 2023-08-28 00:46:48 +0000 | <monochrom> | Here is how "instance Ord a => Ord [a]" works, for example. |
| 2023-08-28 00:46:51 +0000 | <Jeanne-Kamikaze> | But it don't. |
| 2023-08-28 00:47:25 +0000 | <geekosaur> | Inst, the compiler does not reason about meaning, it does not know and can not tell that there are fewer Num instances than Monoid instances |
| 2023-08-28 00:47:25 +0000 | <Inst> | just curious, do you know what a mathematical monoid is? |
| 2023-08-28 00:47:32 +0000 | <Axman6> | What if we also have: instance (Show a, Read a) => Monoid a where mappend a b = read (show a ++ show b), that also overlaps with basically all types which are instances of Num |
| 2023-08-28 00:47:42 +0000 | <Jeanne-Kamikaze> | It's a single object category baby |
| 2023-08-28 00:47:44 +0000 | <geekosaur> | It knows only that they have the same shape and one is not defined in terms of the other |
| 2023-08-28 00:47:46 +0000 | <monochrom> | [MyType] matches [a] therefore Ord [MyType] is committed. Cut. (No backtracking in the future). |
| 2023-08-28 00:48:08 +0000 | <Jeanne-Kamikaze> | Yeah, I am roughly familiar with monoids, that's as far as I got into the category theory book. |
| 2023-08-28 00:48:14 +0000 | <monochrom> | Then "Ord MyType" is checked. If none found. error. There is no search for alternative solutions. |
| 2023-08-28 00:48:32 +0000 | <monochrom> | Apply the same logic to "instance Num a => C a". |
| 2023-08-28 00:48:56 +0000 | <monochrom> | Int matches "a", therefore C Mytype is committed. Cut. |
| 2023-08-28 00:48:58 +0000 | <Inst> | wait, am I wrong when I say the most accessible concept of monoid is from algebra, not category theory? |
| 2023-08-28 00:49:09 +0000 | <monochrom> | Then, if Num Mytype fails, error. THE END. |
| 2023-08-28 00:49:43 +0000 | <monochrom> | Conclusion: "instance Num a => C a" does not mean "if Num a, then C a". |
| 2023-08-28 00:50:19 +0000 | <Inst> | the way I understand the Haskeller fascination with abstract mathematics is that, in other languages, people want interfaces with contracts |
| 2023-08-28 00:50:27 +0000 | <Inst> | mathematics gives you free interfaces with contracts |
| 2023-08-28 00:50:44 +0000 | <Inst> | erm, gives you interfaces with free contracts |
| 2023-08-28 00:50:46 +0000 | <Jeanne-Kamikaze> | monochrom, that explains it, thank you. I was going backwards in that reasoning. |
| 2023-08-28 00:50:50 +0000 | <monochrom> | at least not with causal "if-then". |
| 2023-08-28 00:51:28 +0000 | <monochrom> | Haskell's type class system is a very simplified Prolog with implicit cuts almost everywhere. |
| 2023-08-28 00:53:06 +0000 | <Jeanne-Kamikaze> | Or rather, I was going forwards. |
| 2023-08-28 00:53:11 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 250 seconds) |
| 2023-08-28 00:53:44 +0000 | <Jeanne-Kamikaze> | "No backtracking" sounds like the opposite of SFINAE in C++ too. |
| 2023-08-28 00:54:21 +0000 | ski | (~ski@w188047.eduroam.gu.se) (Ping timeout: 260 seconds) |
| 2023-08-28 00:58:51 +0000 | <monochrom> | The most important deviation from Prolog (which justifies other deviations) is that Prolog has closed-world assumption, Haskell is a separate compilation language so it has open-world assumption. |
| 2023-08-28 00:59:54 +0000 | <monochrom> | backtracking and failre=negation require closed world |
| 2023-08-28 01:00:19 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-08-28 01:02:24 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-08-28 01:04:15 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 01:04:56 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-08-28 01:05:38 +0000 | yisef | (~yisef@202.81.231.204) |
| 2023-08-28 01:08:11 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 2023-08-28 01:08:51 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-08-28 01:10:55 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-28 01:11:05 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 2023-08-28 01:11:20 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-08-28 01:12:52 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-08-28 01:17:02 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-28 01:17:23 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-08-28 01:18:36 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 246 seconds) |
| 2023-08-28 01:20:47 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 2023-08-28 01:23:20 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-28 01:23:38 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-28 01:32:03 +0000 | Inst | (~liamzy@2601:6c4:4085:6d50::7f5a) (Ping timeout: 246 seconds) |
| 2023-08-28 01:37:28 +0000 | <Jeanne-Kamikaze> | Alright, welp, thanks for the lesson, I'm calling it a day. |
| 2023-08-28 01:37:52 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.237) (Quit: Leaving) |
| 2023-08-28 01:41:17 +0000 | mvk | (~mvk@2607:fea8:5c9a:a600::5235) (Ping timeout: 246 seconds) |
| 2023-08-28 01:41:30 +0000 | doyougnu | (~doyougnu@45.46.170.68) (Ping timeout: 246 seconds) |
| 2023-08-28 01:44:23 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 2023-08-28 01:44:38 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-08-28 01:44:57 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 2023-08-28 01:45:07 +0000 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2023-08-28 01:46:42 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 2023-08-28 01:48:23 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-08-28 01:50:04 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds) |
| 2023-08-28 01:57:52 +0000 | otto_s | (~user@p4ff27798.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-08-28 01:59:55 +0000 | otto_s | (~user@p5b044fa6.dip0.t-ipconnect.de) |
| 2023-08-28 02:05:42 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 246 seconds) |
| 2023-08-28 02:08:11 +0000 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) |
| 2023-08-28 02:13:17 +0000 | danza_ | (~francesco@151.43.231.136) |
| 2023-08-28 02:15:26 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-28 02:15:48 +0000 | danza | (~francesco@151.19.248.14) (Ping timeout: 246 seconds) |
| 2023-08-28 02:21:01 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-28 02:24:12 +0000 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2023-08-28 02:27:04 +0000 | Square | (~Square@user/square) |
| 2023-08-28 02:46:07 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-28 02:48:05 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-28 02:48:05 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-28 02:48:05 +0000 | finn_elija | FinnElija |
| 2023-08-28 02:48:41 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-08-28 02:50:23 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-28 02:50:24 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-28 02:50:24 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-28 02:52:29 +0000 | td_ | (~td@83.135.9.2) (Ping timeout: 248 seconds) |
| 2023-08-28 02:53:46 +0000 | yisef | (~yisef@202.81.231.204) (Remote host closed the connection) |
| 2023-08-28 02:54:10 +0000 | td_ | (~td@i5387090B.versanet.de) |
| 2023-08-28 02:54:36 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 2023-08-28 02:59:30 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-28 03:00:21 +0000 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-28 03:01:01 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-08-28 03:06:34 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-28 03:06:35 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-28 03:06:35 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-28 03:09:34 +0000 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-28 03:10:36 +0000 | remmie | (ianremsen@tilde.team) (Ping timeout: 246 seconds) |
| 2023-08-28 03:11:11 +0000 | dolio | (~dolio@130.44.134.54) |
| 2023-08-28 03:11:35 +0000 | vulpine | (xfnw@tilde.team) (Ping timeout: 246 seconds) |
| 2023-08-28 03:12:38 +0000 | vulpine | (xfnw@tilde.team) |
| 2023-08-28 03:12:44 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds) |
| 2023-08-28 03:14:21 +0000 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2023-08-28 03:16:49 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-28 03:16:49 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-28 03:16:49 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-28 03:17:55 +0000 | dolio | (~dolio@130.44.134.54) |
| 2023-08-28 03:18:42 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-28 03:21:36 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-08-28 03:27:14 +0000 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-08-28 03:29:10 +0000 | actioninja4 | (~actioninj@user/actioninja) |
| 2023-08-28 03:29:43 +0000 | aforemny | (~aforemny@2001:9e8:6cc3:b300:7be0:f3fb:8199:5ccd) |
| 2023-08-28 03:30:29 +0000 | actioninja | (~actioninj@user/actioninja) (Ping timeout: 250 seconds) |
| 2023-08-28 03:30:30 +0000 | actioninja4 | actioninja |
| 2023-08-28 03:30:32 +0000 | aforemny_ | (~aforemny@i59F516C9.versanet.de) (Ping timeout: 240 seconds) |
| 2023-08-28 03:35:07 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds) |
| 2023-08-28 03:36:24 +0000 | Sciencentistguy2 | (~sciencent@hacksoc/ordinary-member) |
| 2023-08-28 03:36:52 +0000 | remmie | (ianremsen@tilde.team) |
| 2023-08-28 03:38:07 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-08-28 03:38:25 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 245 seconds) |
| 2023-08-28 03:38:25 +0000 | Sciencentistguy2 | Sciencentistguy |
| 2023-08-28 03:38:43 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-28 03:38:43 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-28 03:38:43 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-28 03:45:04 +0000 | aaronv | (~aaronv@user/aaronv) (Quit: Leaving) |
| 2023-08-28 03:45:24 +0000 | aaronv | (~aaronv@user/aaronv) |
| 2023-08-28 03:45:55 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds) |
| 2023-08-28 03:48:00 +0000 | aaronv | (~aaronv@user/aaronv) (Client Quit) |
| 2023-08-28 03:48:20 +0000 | aaronv | (~aaronv@user/aaronv) |
| 2023-08-28 03:48:31 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-28 03:48:54 +0000 | <segfaultfizzbuzz> | hmm, people didn't respond in #haskell-offtopic so i thought i would try asking here, but feel free to tell me this is too offtopic: |
| 2023-08-28 03:49:23 +0000 | <segfaultfizzbuzz> | let's say someone writes a planetary motion simulator using newton's laws, and uses a type system for this so for instance, the type system prevents the implementor from adding time to position without multiplying by a velocity, for instance, and all is well with the universe |
| 2023-08-28 03:49:31 +0000 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2023-08-28 03:49:38 +0000 | <segfaultfizzbuzz> | and then einstein comes along and this shit wrong |
| 2023-08-28 03:49:49 +0000 | <segfaultfizzbuzz> | is the type system now wrong? |
| 2023-08-28 03:50:15 +0000 | <segfaultfizzbuzz> | put another way, when domain knowledge shifts, does the type system always survive, often survive, rarely survive...? |
| 2023-08-28 03:50:41 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-28 03:50:41 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-28 03:50:41 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-28 03:52:26 +0000 | Square | (~Square@user/square) |
| 2023-08-28 03:53:59 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-08-28 03:59:26 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-28 04:00:17 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-28 04:00:17 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-28 04:00:17 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-28 04:00:30 +0000 | actioninja | (~actioninj@user/actioninja) (Quit: see ya mane) |
| 2023-08-28 04:00:58 +0000 | actioninja | (~actioninj@user/actioninja) |
| 2023-08-28 04:04:25 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-08-28 04:06:49 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-28 04:07:23 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 2023-08-28 04:10:02 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-28 04:11:22 +0000 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-28 04:11:53 +0000 | <EvanR> | segfaultfizzbuzz, haskell is known for it's relative ease of refactoring existing code. So if you used newtypes everywhere on numbers to track units and conversions, and later changed your mind on the units, you are refactoring |
| 2023-08-28 04:12:16 +0000 | <EvanR> | but I imagine that example is pretty far fetched |
| 2023-08-28 04:12:55 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-08-28 04:15:33 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2023-08-28 04:16:04 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-28 04:18:45 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds) |
| 2023-08-28 04:22:14 +0000 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-28 04:22:14 +0000 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-28 04:22:14 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-28 04:22:19 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-28 04:22:26 +0000 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-28 04:23:00 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 246 seconds) |
| 2023-08-28 04:23:24 +0000 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-08-28 04:25:37 +0000 | ripspin | (~chatzilla@1.145.142.139) |
| 2023-08-28 04:29:05 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-08-28 04:29:26 +0000 | ripspin | (~chatzilla@1.145.142.139) (Remote host closed the connection) |
| 2023-08-28 04:31:53 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 2023-08-28 04:39:22 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-28 04:48:42 +0000 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 2023-08-28 04:49:21 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-08-28 04:52:28 +0000 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2023-08-28 04:53:23 +0000 | dibblego | (~dibblego@220-233-36-23.ip4.superloop.au) |
| 2023-08-28 04:53:23 +0000 | dibblego | (~dibblego@220-233-36-23.ip4.superloop.au) (Changing host) |
| 2023-08-28 04:53:23 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-28 04:58:35 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2023-08-28 05:09:02 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-08-28 05:12:35 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-28 05:14:42 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-28 05:14:42 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-28 05:14:42 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-28 05:15:53 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-28 05:19:32 +0000 | Guest3051 | (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 2023-08-28 05:19:56 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-28 05:21:10 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-08-28 05:21:35 +0000 | Guest3051 | (sid1055@id-1055.tinside.irccloud.com) |
| 2023-08-28 05:21:41 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 2023-08-28 05:22:14 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 05:24:54 +0000 | dibblego | (~dibblego@220.233.36.23) |
| 2023-08-28 05:24:54 +0000 | dibblego | (~dibblego@220.233.36.23) (Changing host) |
| 2023-08-28 05:24:54 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-28 05:25:15 +0000 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-08-28 05:26:31 +0000 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-08-28 05:26:43 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-08-28 05:31:33 +0000 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-08-28 05:32:17 +0000 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-08-28 05:33:01 +0000 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2023-08-28 05:36:22 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-28 05:49:38 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-28 05:50:47 +0000 | michalz | (~michalz@185.246.207.217) |
| 2023-08-28 05:51:46 +0000 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2023-08-28 05:52:22 +0000 | michalz | (~michalz@185.246.207.197) |
| 2023-08-28 05:52:39 +0000 | kenran | (~user@user/kenran) |
| 2023-08-28 05:55:32 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 05:58:36 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-08-28 05:59:16 +0000 | <kenran> | I'm trying out the optics library, and my project is using fourmolu to format things (on GHC 9.6). If anyone is doing something similar: can I get fourmolu to not heavily break lines in things like: s & registers % a .~ 0x3 & foo .~ "bar" |
| 2023-08-28 06:00:27 +0000 | <Axman6> | what even is going on there XD |
| 2023-08-28 06:00:45 +0000 | <Axman6> | oh, my terminal was playing up, looks more sensible now |
| 2023-08-28 06:00:54 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-08-28 06:00:57 +0000 | <kenran> | Ideally I'd like to have the (&) calls on separate lines (maybe even aligned; at work an older fourmolu does that, but using lens), but as soon as I break before the 2nd one or both, I get every operand on a new line |
| 2023-08-28 06:02:15 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 2023-08-28 06:02:59 +0000 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 2023-08-28 06:04:52 +0000 | <Axman6> | What's % do in optics? |
| 2023-08-28 06:05:42 +0000 | <kenran> | It's their (.) |
| 2023-08-28 06:06:16 +0000 | <kenran> | I've tried using (.) instead just to test the formatting, but no difference either |
| 2023-08-28 06:06:38 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-28 06:07:14 +0000 | <kenran> | right now I check using the older version of fourmolu from the work project (0.9) and it definitely formats it differently :/ |
| 2023-08-28 06:07:37 +0000 | <Axman6> | This is one of the (very uninformed) reasons I've stuck with stylish-haskell, it doesn't mess too much with the code itself, and I find I want to retain control of alignment in functions because it helps convey meaning or makes differences between similar looking lines far more obvious |
| 2023-08-28 06:09:07 +0000 | <kenran> | Yes exactly! fourmolu is so nice though if it works like you intended, as it's afaik the only formatter to look something like what I'd write without one :) but if it doesn't... oh boy |
| 2023-08-28 06:10:21 +0000 | <Axman6> | I feel like any one of these tools needs an insane number of configuration options so you can disable that one thing that annoys you. I really don't like the "opinionated" ones, because they are pretty much guaranteed to have the wrong opinion =) |
| 2023-08-28 06:11:01 +0000 | <kenran> | That's why I quickly moved away from ormolu :D |
| 2023-08-28 06:11:40 +0000 | <kenran> | I mean, I'd still use it at work, as Haskell seems to "provoke" lots of different, opinionated code styles, but for a personal project |
| 2023-08-28 06:12:22 +0000 | <kenran> | I wonder if I should bite the bullet and just not use one in this... stylish-haskell (iirc) does the annoying thing with the imports, i.e., aligning the module names, qualified or not, right? |
| 2023-08-28 06:13:46 +0000 | danza__ | (~francesco@151.57.253.143) |
| 2023-08-28 06:15:02 +0000 | acidjnk | (~acidjnk@p200300d6e7072f52f8062bd386216d20.dip0.t-ipconnect.de) |
| 2023-08-28 06:15:27 +0000 | <Axman6> | it has flags for that. |
| 2023-08-28 06:15:57 +0000 | <Axman6> | one of the reasons I like PostQualifiedImports or whatever it's called, makes for much nicer alignment |
| 2023-08-28 06:16:13 +0000 | danza_ | (~francesco@151.43.231.136) (Ping timeout: 255 seconds) |
| 2023-08-28 06:16:19 +0000 | <Axman6> | and you can just sort th line directly if you want |
| 2023-08-28 06:16:37 +0000 | <kenran> | I wanted to try it out just now, but alas the version in nixpkgs doesn't build yet with GHC 9.6 |
| 2023-08-28 06:16:54 +0000 | <Axman6> | Huh, what issues? |
| 2023-08-28 06:17:18 +0000 | <kenran> | constraint problems: ghc-lib-parser < 9.5 |
| 2023-08-28 06:17:21 +0000 | <kenran> | I'll check github |
| 2023-08-28 06:17:29 +0000 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) (Read error: Connection reset by peer) |
| 2023-08-28 06:18:35 +0000 | <kenran> | ah, recent commits have fixed this. I'll try with `main` then |
| 2023-08-28 06:24:41 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 06:28:09 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-08-28 06:28:10 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-08-28 06:28:34 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-08-28 06:28:44 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-08-28 06:30:32 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-28 06:31:43 +0000 | mmhat | (~mmh@p200300f1c70427faee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-28 06:32:47 +0000 | <kenran> | Axman6: ok, it works, and maybe I'll really give it a try, as it doesn't touch most of my code at all. I'll have to align my let/in myself, but I can live with that =) |
| 2023-08-28 06:32:59 +0000 | <kenran> | thanks for the suggestion, I'd have dismissed it otherwise! |
| 2023-08-28 06:33:13 +0000 | chele | (~chele@user/chele) |
| 2023-08-28 06:33:36 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-28 06:34:16 +0000 | aeroplane | (~user@user/aeroplane) |
| 2023-08-28 06:37:47 +0000 | mmhat | (~mmh@p200300f1c70427faee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.4) |
| 2023-08-28 06:38:02 +0000 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-08-28 06:38:14 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-08-28 06:41:25 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Ping timeout: 258 seconds) |
| 2023-08-28 06:41:26 +0000 | CiaoSen | (~Jura@5.83.185.51) |
| 2023-08-28 06:50:01 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 06:52:27 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-08-28 06:54:26 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-28 07:01:14 +0000 | k3ut0i | (~keutoi@122.169.217.14) (Quit: leaving) |
| 2023-08-28 07:08:55 +0000 | todi | (~todi@p4fd1a580.dip0.t-ipconnect.de) |
| 2023-08-28 07:12:03 +0000 | yisef | (~yisef@202.81.231.204) |
| 2023-08-28 07:14:20 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-28 07:17:18 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-28 07:17:38 +0000 | fendor | (~fendor@2a02:8388:1640:be00:29b8:807b:7fa6:1bcf) |
| 2023-08-28 07:18:21 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 07:21:23 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-28 07:29:22 +0000 | artem | (~artem@73.145.240.143) |
| 2023-08-28 07:32:47 +0000 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 258 seconds) |
| 2023-08-28 07:34:24 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-28 07:37:17 +0000 | danza__ | (~francesco@151.57.253.143) (Ping timeout: 246 seconds) |
| 2023-08-28 07:44:09 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-28 07:48:27 +0000 | danse-nr3 | (~francesco@151.57.253.143) |
| 2023-08-28 07:49:45 +0000 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-28 07:50:01 +0000 | connrs | (~connrs@user/connrs) |
| 2023-08-28 07:52:56 +0000 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2023-08-28 07:55:48 +0000 | connrs | (~connrs@user/connrs) |
| 2023-08-28 07:58:37 +0000 | <kenran> | I think I might have found out what the problem is: |
| 2023-08-28 07:59:34 +0000 | <kenran> | (&) is imported as a reexport from Optics, and it seems like (in newer versions) ormolu/fourmolu only get the correct fixity for operators that are not reexports. as soon as I import Data.Function ((&)) or specify the fixity manually, it formats correctly again! |
| 2023-08-28 08:03:13 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-28 08:03:23 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-28 08:05:06 +0000 | Rydwxz | (~rw@cpe-75-82-51-90.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 2023-08-28 08:12:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-28 08:21:04 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-08-28 08:21:32 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-08-28 08:23:35 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-28 08:28:06 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-28 08:28:41 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-28 08:31:59 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-28 08:33:56 +0000 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 246 seconds) |
| 2023-08-28 08:34:35 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-28 08:37:42 +0000 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (Quit: WeeChat 4.0.3) |
| 2023-08-28 08:40:52 +0000 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2023-08-28 08:42:12 +0000 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-08-28 08:43:19 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-28 08:50:29 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-08-28 08:58:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-28 08:59:12 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-28 09:03:14 +0000 | matijja | (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-28 09:05:07 +0000 | matijja | (~matijja@193.77.181.201) |
| 2023-08-28 09:07:07 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-08-28 09:09:39 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-28 09:13:50 +0000 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-08-28 09:14:41 +0000 | AlexNoo_ | AlexNoo |
| 2023-08-28 09:15:59 +0000 | acidjnk | (~acidjnk@p200300d6e7072f52f8062bd386216d20.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-08-28 09:18:00 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-08-28 09:20:13 +0000 | stefan-__ | stefan-_ |
| 2023-08-28 09:27:02 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-28 09:37:13 +0000 | ft | (~ft@p508db658.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-08-28 09:40:09 +0000 | yisef | (~yisef@202.81.231.204) (Remote host closed the connection) |
| 2023-08-28 09:41:55 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-08-28 09:45:22 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-28 09:47:34 +0000 | razetime | (~quassel@49.207.213.87) |
| 2023-08-28 09:52:14 +0000 | danse-nr3 | (~francesco@151.57.253.143) (Remote host closed the connection) |
| 2023-08-28 09:52:38 +0000 | danse-nr3 | (~francesco@151.57.253.143) |
| 2023-08-28 09:59:41 +0000 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2023-08-28 10:02:06 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
| 2023-08-28 10:06:11 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:6c62:6245:cbff:fe9f:48b1) |
| 2023-08-28 10:12:05 +0000 | Inst | (~liamzy@2601:6c4:4085:6d50::7f5a) |
| 2023-08-28 10:13:37 +0000 | danse-nr3_ | (~francesco@151.43.236.65) |
| 2023-08-28 10:13:41 +0000 | acidjnk | (~acidjnk@p200300d6e7072f52f8062bd386216d20.dip0.t-ipconnect.de) |
| 2023-08-28 10:14:04 +0000 | danse-nr3 | (~francesco@151.57.253.143) (Read error: Connection reset by peer) |
| 2023-08-28 10:17:01 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-28 10:18:46 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-08-28 10:19:32 +0000 | danse-nr3_ | (~francesco@151.43.236.65) (Ping timeout: 245 seconds) |
| 2023-08-28 10:21:35 +0000 | danse-nr3_ | (~francesco@151.43.236.65) |
| 2023-08-28 10:25:05 +0000 | danse-nr3_ | (~francesco@151.43.236.65) (Remote host closed the connection) |
| 2023-08-28 10:25:27 +0000 | danse-nr3_ | (~francesco@151.43.236.65) |
| 2023-08-28 10:29:34 +0000 | andrei_n | (~andrei.n@2a02:a03f:c0bc:8400:c96:3a2a:8b5f:e9ce) |
| 2023-08-28 10:31:40 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2023-08-28 10:35:10 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-08-28 10:36:21 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-28 10:36:49 +0000 | puke | (~puke@user/puke) |
| 2023-08-28 10:38:34 +0000 | danse-nr3_ | (~francesco@151.43.236.65) (Ping timeout: 255 seconds) |
| 2023-08-28 10:40:04 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-28 10:40:26 +0000 | Inst | (~liamzy@2601:6c4:4085:6d50::7f5a) (Ping timeout: 246 seconds) |
| 2023-08-28 10:40:44 +0000 | danza | (~francesco@151.43.236.65) |
| 2023-08-28 10:41:47 +0000 | danse-nr3_ | (~francesco@151.43.236.65) |
| 2023-08-28 10:43:30 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-28 10:44:28 +0000 | Inst | (~liamzy@2601:6c4:4085:6d50::85df) |
| 2023-08-28 10:45:26 +0000 | danza | (~francesco@151.43.236.65) (Ping timeout: 246 seconds) |
| 2023-08-28 10:48:10 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-08-28 10:57:26 +0000 | CiaoSen | (~Jura@5.83.185.51) (Ping timeout: 245 seconds) |
| 2023-08-28 10:58:26 +0000 | andrei_n | (~andrei.n@2a02:a03f:c0bc:8400:c96:3a2a:8b5f:e9ce) (Remote host closed the connection) |
| 2023-08-28 10:58:43 +0000 | andrei_n | (~andrei.n@2a02:a03f:c0bc:8400:c96:3a2a:8b5f:e9ce) |
| 2023-08-28 11:00:23 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-08-28 11:00:56 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-28 11:04:12 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-28 11:11:24 +0000 | razetime | (~quassel@49.207.213.87) (Ping timeout: 255 seconds) |
| 2023-08-28 11:12:44 +0000 | Inst | (~liamzy@2601:6c4:4085:6d50::85df) (Ping timeout: 248 seconds) |
| 2023-08-28 11:17:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-28 11:17:56 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-28 11:18:46 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-28 11:18:48 +0000 | Inst | (~liamzy@2601:6c4:4085:6d50::85df) |
| 2023-08-28 11:18:55 +0000 | Guest68 | (~Guest68@p200300e79f22800038d6aa3d99bb30f0.dip0.t-ipconnect.de) |
| 2023-08-28 11:22:53 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-08-28 11:26:00 +0000 | renegade | (~renegade@bcdcac82.skybroadband.com) (Ping timeout: 246 seconds) |
| 2023-08-28 11:26:18 +0000 | yosef` | (~yosef`@user/yosef/x-2947716) |
| 2023-08-28 11:26:27 +0000 | renegade | (~renegade@bcdcac82.skybroadband.com) |
| 2023-08-28 11:29:05 +0000 | [exa]_ | [exa] |
| 2023-08-28 11:29:14 +0000 | [exa] | (~exa@srv3n.blesmrt.net) (Changing host) |
| 2023-08-28 11:29:14 +0000 | [exa] | (~exa@user/exa/x-3587197) |
| 2023-08-28 11:30:51 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-28 11:32:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-28 11:35:21 +0000 | fserucas | (~fserucas@83.223.248.85) |
| 2023-08-28 11:40:02 +0000 | fserucas_ | (~fserucas@92.250.103.7) |
| 2023-08-28 11:40:09 +0000 | yosef` | (~yosef`@user/yosef/x-2947716) (Quit: Client closed) |
| 2023-08-28 11:42:27 +0000 | fserucas | (~fserucas@83.223.248.85) (Ping timeout: 246 seconds) |
| 2023-08-28 11:47:25 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2023-08-28 11:49:15 +0000 | yosef`84 | (~yosef`@user/yosef/x-2947716) |
| 2023-08-28 11:49:52 +0000 | yosef`97 | (~yosef`@user/yosef/x-2947716) |
| 2023-08-28 11:50:10 +0000 | yosef`84 | (~yosef`@user/yosef/x-2947716) (Write error: Broken pipe) |
| 2023-08-28 11:57:26 +0000 | yosef` | (~yosef`@user/yosef/x-2947716) |
| 2023-08-28 11:57:38 +0000 | Guest68 | (~Guest68@p200300e79f22800038d6aa3d99bb30f0.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2023-08-28 11:59:08 +0000 | Inst | (~liamzy@2601:6c4:4085:6d50::85df) (Ping timeout: 248 seconds) |
| 2023-08-28 12:02:30 +0000 | razetime | (~quassel@49.207.213.87) |
| 2023-08-28 12:04:35 +0000 | yosef`97 | (~yosef`@user/yosef/x-2947716) (Quit: Client closed) |
| 2023-08-28 12:04:53 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-28 12:04:54 +0000 | andrei_n | (~andrei.n@2a02:a03f:c0bc:8400:c96:3a2a:8b5f:e9ce) (Quit: Leaving) |
| 2023-08-28 12:08:48 +0000 | yosef` | (~yosef`@user/yosef/x-2947716) (Remote host closed the connection) |
| 2023-08-28 12:09:24 +0000 | yosef` | (~yosef`@user/yosef/x-2947716) |
| 2023-08-28 12:09:46 +0000 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-28 12:24:29 +0000 | myxokephale | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxokephale) |
| 2023-08-28 12:24:41 +0000 | CiaoSen | (~Jura@2a05:5800:29b:d00:664b:f0ff:fe37:9ef) |
| 2023-08-28 12:24:44 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-08-28 12:24:53 +0000 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-08-28 12:29:20 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-08-28 12:30:25 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-28 12:30:45 +0000 | ddellacosta | (~ddellacos@146.70.165.10) (Ping timeout: 246 seconds) |
| 2023-08-28 12:32:47 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-08-28 12:36:30 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-28 12:41:14 +0000 | <Axman6> | kenran: huh, interesting! Has a bug been filed? (/Have you filed one yet?) |
| 2023-08-28 12:43:06 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 260 seconds) |
| 2023-08-28 12:43:47 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-28 12:43:57 +0000 | actioninja | (~actioninj@user/actioninja) (Ping timeout: 248 seconds) |
| 2023-08-28 12:45:18 +0000 | ddellacosta | (~ddellacos@146.70.165.180) |
| 2023-08-28 12:45:30 +0000 | actioninja | (~actioninj@user/actioninja) |
| 2023-08-28 12:58:05 +0000 | razetime | (~quassel@49.207.213.87) (Ping timeout: 246 seconds) |
| 2023-08-28 13:06:12 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 245 seconds) |
| 2023-08-28 13:06:37 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-08-28 13:12:58 +0000 | yosef` | (~yosef`@user/yosef/x-2947716) (Remote host closed the connection) |
| 2023-08-28 13:16:16 +0000 | razetime | (~quassel@49.207.213.87) |
| 2023-08-28 13:19:16 +0000 | ddellacosta | (~ddellacos@146.70.165.180) (Ping timeout: 260 seconds) |
| 2023-08-28 13:21:08 +0000 | ddellacosta | (~ddellacos@143.244.47.76) |
| 2023-08-28 13:21:14 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-28 13:21:33 +0000 | yosef` | (~yosef`@user/yosef/x-2947716) |
| 2023-08-28 13:28:12 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-28 13:28:12 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-28 13:28:12 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-28 13:28:33 +0000 | fserucas__ | (~fserucas@89.214.146.18) |
| 2023-08-28 13:30:57 +0000 | fserucas_ | (~fserucas@92.250.103.7) (Ping timeout: 246 seconds) |
| 2023-08-28 13:37:40 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2023-08-28 13:38:14 +0000 | lzszt | (~lzszt@ip-037-024-119-190.um08.pools.vodafone-ip.de) |
| 2023-08-28 13:40:18 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-08-28 13:40:49 +0000 | ddellacosta | (~ddellacos@143.244.47.76) (Ping timeout: 255 seconds) |
| 2023-08-28 13:42:42 +0000 | ddellacosta | (~ddellacos@143.244.47.89) |
| 2023-08-28 13:42:53 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-28 13:55:36 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 2023-08-28 13:57:52 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-28 14:00:32 +0000 | lzszt | (~lzszt@ip-037-024-119-190.um08.pools.vodafone-ip.de) (Quit: Client closed) |
| 2023-08-28 14:01:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-28 14:03:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-28 14:03:51 +0000 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-28 14:04:07 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-28 14:05:54 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-28 14:10:33 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-28 14:12:12 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-08-28 14:13:24 +0000 | danse-nr3_ | (~francesco@151.43.236.65) (Read error: Connection reset by peer) |
| 2023-08-28 14:13:48 +0000 | danse-nr3_ | (~francesco@151.57.232.137) |
| 2023-08-28 14:20:41 +0000 | yosef` | (~yosef`@user/yosef/x-2947716) (Ping timeout: 246 seconds) |
| 2023-08-28 14:25:08 +0000 | thegeekinside | (~thegeekin@189.180.81.59) |
| 2023-08-28 14:27:06 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-08-28 14:31:39 +0000 | Square2 | (~Square4@user/square) |
| 2023-08-28 14:32:44 +0000 | CiaoSen | (~Jura@2a05:5800:29b:d00:664b:f0ff:fe37:9ef) (Ping timeout: 248 seconds) |
| 2023-08-28 14:33:05 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-28 14:40:01 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-08-28 14:40:25 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-08-28 14:49:50 +0000 | kimiamania600 | (~65804703@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2023-08-28 14:50:09 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-28 14:50:12 +0000 | kimiamania600 | (~65804703@user/kimiamania) |
| 2023-08-28 14:53:47 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-28 14:54:15 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-28 14:54:17 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-08-28 14:57:00 +0000 | gatekempt | (~gatekempt@user/gatekempt) (Remote host closed the connection) |
| 2023-08-28 14:59:56 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2023-08-28 15:01:34 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-28 15:02:45 +0000 | sm | (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 2023-08-28 15:03:25 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-28 15:04:16 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-08-28 15:08:07 +0000 | Square | (~Square@user/square) |
| 2023-08-28 15:08:17 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2023-08-28 15:08:34 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-08-28 15:11:41 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving) |
| 2023-08-28 15:13:17 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-28 15:14:01 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-28 15:16:59 +0000 | danza | (~francesco@151.57.232.137) |
| 2023-08-28 15:17:11 +0000 | tabemann | (~tabemann@128.92.110.163) (Quit: Leaving) |
| 2023-08-28 15:17:45 +0000 | danza | (~francesco@151.57.232.137) (Remote host closed the connection) |
| 2023-08-28 15:18:03 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-28 15:19:41 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-28 15:19:52 +0000 | danza | (~francesco@151.57.232.137) |
| 2023-08-28 15:23:45 +0000 | thegeekinside | (~thegeekin@189.180.81.59) (Ping timeout: 250 seconds) |
| 2023-08-28 15:24:23 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-28 15:24:50 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-28 15:32:14 +0000 | <kenran> | Axman6: I'll do so tomorrow, but I want to test it some more. I could only find a single somewhat related issue, but that seems to have been a user error. |
| 2023-08-28 15:33:03 +0000 | <kenran> | I also don't know how the fourmolu tests work yet, so I'll read those and see if I can reproduce the issue there to have a starting point for a fix |
| 2023-08-28 15:35:34 +0000 | danse-nr3_ | (~francesco@151.57.232.137) (Ping timeout: 255 seconds) |
| 2023-08-28 15:36:49 +0000 | <kenran> | hum, a colleague of mine upgraded our project to GHC 9.4, but now I see ==..== Simplifier statistics ==...== with "Total ticks: xyz" cluttering all the build output. any idea where that's coming from? |
| 2023-08-28 15:37:31 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 260 seconds) |
| 2023-08-28 15:38:43 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-08-28 15:39:06 +0000 | <geekosaur> | sounds like `-ddump-simpl-stats` got turned on somehow? |
| 2023-08-28 15:39:52 +0000 | ulysses4ever | (~artem@73.145.240.143) |
| 2023-08-28 15:39:53 +0000 | artem | (~artem@73.145.240.143) (Read error: Connection reset by peer) |
| 2023-08-28 15:40:18 +0000 | Rydwxz | (~rw@cpe-75-82-51-90.socal.res.rr.com) |
| 2023-08-28 15:40:56 +0000 | <geekosaur> | what point version? |
| 2023-08-28 15:41:19 +0000 | <geekosaur> | 9.4.7 just came out, maybe it has a messaging bug |
| 2023-08-28 15:41:25 +0000 | <kenran> | geekosaur: grepping for the option yields no results. 9.4.6 |
| 2023-08-28 15:43:11 +0000 | <kenran> | ah, one dependency has changed branches, and that uses GHC. this might be it, let me check |
| 2023-08-28 15:44:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-28 15:46:06 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-28 15:46:27 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-28 15:47:11 +0000 | aeroplane | (~user@user/aeroplane) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2023-08-28 15:49:41 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-28 15:59:58 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2023-08-28 16:03:41 +0000 | <kenran> | nothing there either. this is very strange |
| 2023-08-28 16:04:39 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-28 16:06:14 +0000 | g | (g@libera/staff/glguy) (Remote host closed the connection) |
| 2023-08-28 16:06:17 +0000 | g | (g@libera/staff/glguy) |
| 2023-08-28 16:08:05 +0000 | hiredman | (~hiredman@frontier1.downey.family) |
| 2023-08-28 16:09:53 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2023-08-28 16:12:16 +0000 | apteryx | (~maxim@dsl-10-132-204.b2b2c.ca) |
| 2023-08-28 16:12:54 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-08-28 16:15:08 +0000 | Rydwxz | (~rw@cpe-75-82-51-90.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 2023-08-28 16:17:04 +0000 | <haskellbridge> | <Artem> Just curious how the Matrix bridge works, don't mind me |
| 2023-08-28 16:17:11 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-28 16:17:19 +0000 | <ulysses4ever> | Oh, looks nice |
| 2023-08-28 16:17:48 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-28 16:17:52 +0000 | ulysses4ever | artem |
| 2023-08-28 16:18:57 +0000 | mrmr1 | (~mrmr@user/mrmr) (Read error: Connection reset by peer) |
| 2023-08-28 16:19:02 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 16:19:22 +0000 | <geekosaur> | I'm doing some builds with 9.4.6 and 9.4.7 and not seeing any such output with either |
| 2023-08-28 16:19:22 +0000 | mrmr1 | (~mrmr@user/mrmr) |
| 2023-08-28 16:19:28 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-28 16:22:19 +0000 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-28 16:23:27 +0000 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2023-08-28 16:23:53 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-28 16:28:02 +0000 | remmie | (ianremsen@tilde.team) (Read error: Connection reset by peer) |
| 2023-08-28 16:30:57 +0000 | aaronv | (~aaronv@user/aaronv) |
| 2023-08-28 16:31:00 +0000 | <kenran> | geekosaur: I've narrowed it down to a single package of ours, and that one uses the `concat` plugin. But the specific fork of the plugin doesn't seem to dump simplifier stats either, so I dunno |
| 2023-08-28 16:31:13 +0000 | <kenran> | but if it's just in that package, it's no big deal, as that's "stable" |
| 2023-08-28 16:32:27 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-28 16:34:02 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-28 16:44:21 +0000 | artem | (~artem@73.145.240.143) (Ping timeout: 250 seconds) |
| 2023-08-28 16:45:54 +0000 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 2023-08-28 16:45:56 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 258 seconds) |
| 2023-08-28 16:50:52 +0000 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) |
| 2023-08-28 16:51:23 +0000 | aaronv | (~aaronv@user/aaronv) |
| 2023-08-28 16:51:53 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 16:52:11 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2023-08-28 16:53:10 +0000 | cyphase | (~cyphase@user/cyphase) |
| 2023-08-28 16:53:58 +0000 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-08-28 16:55:13 +0000 | vulpine | (xfnw@tilde.team) (Quit: Connection reset by purr) |
| 2023-08-28 16:55:13 +0000 | nullsh | (nullsh@user/nexeq) (Quit: WeeChat 3.8) |
| 2023-08-28 16:56:36 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-28 17:00:30 +0000 | kenran | (~user@user/kenran) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 2023-08-28 17:06:51 +0000 | ulysses4ever | (~artem@2601:408:c408:3bbb:f474:e3f8:9806:671) |
| 2023-08-28 17:10:21 +0000 | artem | (~artem@73.145.240.96) |
| 2023-08-28 17:10:21 +0000 | ulysses4ever | (~artem@2601:408:c408:3bbb:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 2023-08-28 17:11:29 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 246 seconds) |
| 2023-08-28 17:12:11 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2023-08-28 17:12:32 +0000 | remmie | (ianremsen@tilde.team) |
| 2023-08-28 17:13:04 +0000 | drewjose | (~drewjose@223.178.82.141) |
| 2023-08-28 17:13:34 +0000 | artem | (~artem@73.145.240.96) (Read error: Connection reset by peer) |
| 2023-08-28 17:16:36 +0000 | ulysses4ever | (~artem@73.145.240.96) |
| 2023-08-28 17:18:43 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2023-08-28 17:20:17 +0000 | thegeekinside | (~thegeekin@189.180.81.59) |
| 2023-08-28 17:21:36 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-28 17:22:33 +0000 | razetime | (~quassel@49.207.213.87) (Remote host closed the connection) |
| 2023-08-28 17:23:32 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-08-28 17:23:37 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-28 17:25:56 +0000 | ulysses4ever | (~artem@73.145.240.96) (Read error: Connection reset by peer) |
| 2023-08-28 17:26:56 +0000 | ulysses4ever | (~artem@73.145.240.96) |
| 2023-08-28 17:27:20 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 17:28:44 +0000 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-28 17:28:59 +0000 | thegeekinside | (~thegeekin@189.180.81.59) (Ping timeout: 250 seconds) |
| 2023-08-28 17:31:05 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-28 17:32:14 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-28 17:38:22 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-08-28 17:38:41 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-08-28 17:42:27 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Client Quit) |
| 2023-08-28 17:42:45 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-08-28 17:43:30 +0000 | thegeekinside | (~thegeekin@189.180.81.59) |
| 2023-08-28 17:44:17 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Client Quit) |
| 2023-08-28 17:44:52 +0000 | thegeekinside | (~thegeekin@189.180.81.59) (Remote host closed the connection) |
| 2023-08-28 17:46:09 +0000 | thegeekinside | (~thegeekin@189.180.81.59) |
| 2023-08-28 17:47:34 +0000 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) (Remote host closed the connection) |
| 2023-08-28 17:47:39 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-08-28 17:47:58 +0000 | yahb2 | (~yahb2@static.56.27.47.78.clients.your-server.de) |
| 2023-08-28 17:50:42 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-08-28 17:51:21 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 246 seconds) |
| 2023-08-28 17:51:23 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-28 17:54:45 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Client Quit) |
| 2023-08-28 17:55:37 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-08-28 17:55:50 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-28 17:55:56 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 2023-08-28 17:57:15 +0000 | <apteryx> | this resource is offline: http://learnyouahaskell.com/, referenced from https://www.haskell.org/get-started/ |
| 2023-08-28 18:00:24 +0000 | <EvanR> | works for me |
| 2023-08-28 18:02:32 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-28 18:02:47 +0000 | <geekosaur> | working here as well |
| 2023-08-28 18:03:40 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 18:03:45 +0000 | <[exa]> | apteryx: there's an updated version thereof on github somewhere |
| 2023-08-28 18:04:02 +0000 | <[exa]> | apteryx: ah here https://learnyouahaskell.github.io/ |
| 2023-08-28 18:08:34 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-08-28 18:11:01 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2023-08-28 18:11:16 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 2023-08-28 18:14:03 +0000 | danza_ | (~francesco@151.19.236.144) |
| 2023-08-28 18:15:03 +0000 | danza | (~francesco@151.57.232.137) (Read error: Connection reset by peer) |
| 2023-08-28 18:16:22 +0000 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-28 18:17:29 +0000 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2023-08-28 18:18:39 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-08-28 18:19:57 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:8b40:1e1c:2812:6b15) |
| 2023-08-28 18:20:41 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 18:21:44 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-28 18:25:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-28 18:25:31 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-28 18:25:32 +0000 | extor | (~extor@ns3018124.ip-149-202-82.eu) (Leaving) |
| 2023-08-28 18:25:55 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-28 18:30:20 +0000 | ulysses4ever | (~artem@73.145.240.96) (Ping timeout: 246 seconds) |
| 2023-08-28 18:32:47 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2023-08-28 18:35:51 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-28 18:36:37 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-08-28 18:38:23 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-08-28 18:39:13 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-08-28 18:39:36 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-28 18:40:00 +0000 | ulysses4ever | (~artem@73.145.241.136) |
| 2023-08-28 18:41:23 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-08-28 18:41:26 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:95d9:c452:b765:5142) |
| 2023-08-28 18:44:35 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:95d9:c452:b765:5142) (Remote host closed the connection) |
| 2023-08-28 18:45:15 +0000 | artem | (~artem@73.145.241.136) |
| 2023-08-28 18:45:15 +0000 | ulysses4ever | (~artem@73.145.241.136) (Read error: Connection reset by peer) |
| 2023-08-28 18:46:39 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-28 18:46:49 +0000 | thegeekinside | (~thegeekin@189.180.81.59) (Ping timeout: 255 seconds) |
| 2023-08-28 18:47:33 +0000 | thegeekinside | (~thegeekin@189.180.81.59) |
| 2023-08-28 18:47:49 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving) |
| 2023-08-28 18:48:13 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-08-28 18:48:54 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-28 18:49:21 +0000 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-08-28 18:53:45 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 18:54:03 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving) |
| 2023-08-28 18:55:50 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-08-28 18:58:58 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-08-28 19:04:50 +0000 | chele | (~chele@user/chele) (Quit: Leaving) |
| 2023-08-28 19:05:16 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2023-08-28 19:07:18 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-08-28 19:07:39 +0000 | vulpine | (xfnw@tilde.team) |
| 2023-08-28 19:11:38 +0000 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 2023-08-28 19:12:27 +0000 | aaronv | (~aaronv@user/aaronv) |
| 2023-08-28 19:21:11 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-28 19:25:16 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) |
| 2023-08-28 19:26:12 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-08-28 19:27:36 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 19:30:02 +0000 | <ph88> | why is there an instance of Traversable List in base but not Foldable List ? |
| 2023-08-28 19:31:04 +0000 | <ncf> | there is a Foldable List |
| 2023-08-28 19:31:06 +0000 | <c_wraith> | :t sum |
| 2023-08-28 19:31:07 +0000 | <lambdabot> | (Foldable t, Num a) => t a -> a |
| 2023-08-28 19:31:12 +0000 | <c_wraith> | > sum [1,2,3] |
| 2023-08-28 19:31:13 +0000 | <ncf> | it might be printed as Foldable [] depending on the haddock version |
| 2023-08-28 19:31:13 +0000 | <lambdabot> | 6 |
| 2023-08-28 19:31:33 +0000 | <c_wraith> | what lead you to think that instance doesn't exist? |
| 2023-08-28 19:31:33 +0000 | <ncf> | (https://gitlab.haskell.org/ghc/ghc/-/issues/23368) |
| 2023-08-28 19:32:08 +0000 | <c_wraith> | for what it's worth, Foldable is a requirement for Traversable. You literally cannot have an instance of Traversable without an instance of Foldable for the same type |
| 2023-08-28 19:32:26 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-28 19:33:17 +0000 | <ph88> | c_wraith, when i search on this page https://hackage.haskell.org/package/base-4.16.3.0/docs/Data-Foldable.html#t:Foldable for "Foldable List" nothing comes up |
| 2023-08-28 19:33:40 +0000 | <ph88> | ok i see Foldable [] |
| 2023-08-28 19:34:29 +0000 | <mauke> | that's because there is no List in base |
| 2023-08-28 19:34:35 +0000 | <c_wraith> | apparently there is |
| 2023-08-28 19:35:06 +0000 | <c_wraith> | https://hackage.haskell.org/package/base-4.18.0.0/docs/GHC-List.html#t:List |
| 2023-08-28 19:35:11 +0000 | <ph88> | there is Traversable List so that's why i was looking for Foldable List too |
| 2023-08-28 19:35:41 +0000 | <c_wraith> | that's a weird thing. |
| 2023-08-28 19:35:43 +0000 | <mauke> | huh, interesting |
| 2023-08-28 19:35:48 +0000 | <ph88> | by the way where is the documentation for [] ? |
| 2023-08-28 19:35:52 +0000 | <ph88> | https://hoogle.haskell.org/?hoogle=%5B%5D |
| 2023-08-28 19:36:27 +0000 | <c_wraith> | [] is a special case. the name isn't available to normal definitions, so I'm not surprised hoogle doesn't find it |
| 2023-08-28 19:36:40 +0000 | <c_wraith> | Err, the name [] is a special case. Not the type itself. |
| 2023-08-28 19:36:46 +0000 | <ph88> | [a] then i guess |
| 2023-08-28 19:36:58 +0000 | <ph88> | https://hoogle.haskell.org/?hoogle=%5Ba%5D ?? |
| 2023-08-28 19:37:39 +0000 | <geekosaur> | that wouldn't be there either. the documentation is in the Haskell Report, not in function or type docs |
| 2023-08-28 19:39:03 +0000 | <mauke> | data () => Char |
| 2023-08-28 19:39:05 +0000 | <mauke> | uh ... |
| 2023-08-28 19:39:11 +0000 | <mauke> | https://hoogle.haskell.org/?scope=set%3Astackage&hoogle=Char |
| 2023-08-28 19:39:14 +0000 | <c_wraith> | I'm not quite sure what to make of GHC.List.List. I guess I have to count it as internal GHC weirdness |
| 2023-08-28 19:40:30 +0000 | <mauke> | now that's an operator: https://hackage.haskell.org/package/leancheck-1.0.0/docs/Test-LeanCheck-Utils-TypeBinding.html#v:-… |
| 2023-08-28 19:40:33 +0000 | <erisco> | every language needs a blessed data structure :) |
| 2023-08-28 19:40:37 +0000 | <mauke> | (I was looking for (->)) |
| 2023-08-28 19:42:51 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-28 19:45:06 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:95d9:c452:b765:5142) |
| 2023-08-28 19:49:26 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:95d9:c452:b765:5142) (Ping timeout: 246 seconds) |
| 2023-08-28 19:52:54 +0000 | son0p | (~ff@152.203.98.110) (Quit: Bye) |
| 2023-08-28 19:53:37 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-28 19:55:12 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 240 seconds) |
| 2023-08-28 19:56:14 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-28 20:00:01 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-28 20:01:59 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 20:03:09 +0000 | <ph88> | how can i debug this code ? instance Aeson.ToJSON Scheduling where toEncoding = Aeson.genericToEncoding Aeson.defaultOptions When i use ddump-deriv i only see Data.Aeson.Types.FromJSON.FromJSON [App.Scheduling]; Data.Aeson.Types.FromJSON.parseJSON = Data.Aeson.Types.FromJSON.$dmparseJSON @(App.Scheduling) |
| 2023-08-28 20:04:14 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) |
| 2023-08-28 20:05:36 +0000 | <mauke> | debug in what way? |
| 2023-08-28 20:06:55 +0000 | Guest|14 | (~Guest|14@104.223.98.183) |
| 2023-08-28 20:07:40 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 2023-08-28 20:07:50 +0000 | <ph88> | mauke, while decoding it can't find a field. but im pretty sure its in the right place in the json |
| 2023-08-28 20:08:48 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 244 seconds) |
| 2023-08-28 20:09:26 +0000 | <mauke> | I don't see how ToJSON is relevant for decoding |
| 2023-08-28 20:10:21 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-28 20:10:43 +0000 | Guest|14 | (~Guest|14@104.223.98.183) () |
| 2023-08-28 20:12:12 +0000 | <mauke> | I don't know a way to debug this other than staring very hard at the code/json data |
| 2023-08-28 20:12:56 +0000 | ddellacosta | (~ddellacos@143.244.47.89) (Ping timeout: 246 seconds) |
| 2023-08-28 20:13:09 +0000 | <ph88> | mauke, that was a copy paste mistake, should have been FromJSON which looks like the same Data.Aeson.Types.FromJSON.FromJSON [App.Scheduling]; Data.Aeson.Types.FromJSON.parseJSON = Data.Aeson.Types.FromJSON.$dmparseJSON @(App.Scheduling) |
| 2023-08-28 20:13:55 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-08-28 20:14:16 +0000 | ft | (~ft@p508db658.dip0.t-ipconnect.de) |
| 2023-08-28 20:14:49 +0000 | Skill-ton | (~Skill-ton@189.172.86.37) |
| 2023-08-28 20:15:15 +0000 | ddellacosta | (~ddellacos@146.70.165.180) |
| 2023-08-28 20:16:00 +0000 | <ph88> | here type and json side to side https://bpa.st/FFVQ |
| 2023-08-28 20:16:19 +0000 | <ph88> | perhaps it has to do with the order .. but thats pretty lame because they should be found by key name i guess |
| 2023-08-28 20:17:07 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-28 20:17:54 +0000 | <Skill-ton> | https://justpaste.it/Speedy_Gonzalez_Jerry_Blowjob Jerry gives Speedy Gonzalez a delicious blowjob and ends up with mouse cum on his face! |
| 2023-08-28 20:18:02 +0000 | ChanServ | +o geekosaur |
| 2023-08-28 20:18:08 +0000 | geekosaur | +b *!*@189.172.86.37 |
| 2023-08-28 20:18:08 +0000 | Skill-ton | geekosaur (Skill-ton) |
| 2023-08-28 20:18:14 +0000 | geekosaur | -o geekosaur |
| 2023-08-28 20:23:11 +0000 | <mauke> | ph88: what are Vector and Planning? |
| 2023-08-28 20:23:16 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) |
| 2023-08-28 20:25:14 +0000 | <ph88> | mauke, here a small reproducable example https://bpa.st/X4FA |
| 2023-08-28 20:27:35 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-28 20:27:50 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-28 20:29:20 +0000 | <mauke> | not quite self-contained: Not in scope: type constructor or class ‘Generic’; Couldn't match type ‘[Char]’ with ‘bytestring-0.11.4.0:Data.ByteString.Lazy.Internal.ByteString’ |
| 2023-08-28 20:29:39 +0000 | <ph88> | https://play.haskell.org/saved/y8bHMTyM |
| 2023-08-28 20:29:46 +0000 | <ph88> | mauke, ^ |
| 2023-08-28 20:30:40 +0000 | <mauke> | ph88: bs = "{\"tag\":\"Bla\",\"a\":true,\"b\":false}" works |
| 2023-08-28 20:32:40 +0000 | <ph88> | ok i will try to change client side encoder |
| 2023-08-28 20:35:56 +0000 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2023-08-28 20:37:03 +0000 | <mauke> | "contents" is only used if the constructor is not a record |
| 2023-08-28 20:37:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-28 20:39:10 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 20:39:38 +0000 | Qudit | (~user@user/Qudit) |
| 2023-08-28 20:40:49 +0000 | aaronv | (~aaronv@user/aaronv) |
| 2023-08-28 20:42:47 +0000 | fendor | (~fendor@2a02:8388:1640:be00:29b8:807b:7fa6:1bcf) (Remote host closed the connection) |
| 2023-08-28 20:43:33 +0000 | <int-e> | That is fun if you have data FooBar = Foo | Bar { tag :: Bool } |
| 2023-08-28 20:43:58 +0000 | <int-e> | encode $ Bar True --> {"tag":true}, oops. |
| 2023-08-28 20:44:07 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-28 20:44:45 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-28 20:45:32 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-28 20:45:32 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2023-08-28 20:48:29 +0000 | <mauke> | that's why tagFieldName exists |
| 2023-08-28 20:48:29 +0000 | ChanServ | +o litharge |
| 2023-08-28 20:48:29 +0000 | litharge | -bo *!*@189.172.86.37 litharge |
| 2023-08-28 20:49:55 +0000 | <ncf> | why unban? |
| 2023-08-28 20:51:15 +0000 | <darkling> | Bot, timer... |
| 2023-08-28 20:51:31 +0000 | <monochrom> | "All good bans come to an end." >:) |
| 2023-08-28 20:51:50 +0000 | <geekosaur> | yeh, I set a 30min unban, if they pop back in I'll make it permanent but they seem to use a different nick each time anyway |
| 2023-08-28 20:52:21 +0000 | <geekosaur> | (look for the "justpaste.it" url in the logs) |
| 2023-08-28 20:54:12 +0000 | pavonia | (~user@user/siracusa) |
| 2023-08-28 20:54:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-28 20:55:46 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-28 20:55:50 +0000 | Inst | (~liamzy@2601:6c4:4085:6d50::7f5a) |
| 2023-08-28 20:56:06 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:6c62:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-08-28 21:00:01 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-08-28 21:00:42 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 21:03:28 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-28 21:03:37 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 255 seconds) |
| 2023-08-28 21:05:25 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-08-28 21:08:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-28 21:20:48 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-28 21:22:27 +0000 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 245 seconds) |
| 2023-08-28 21:23:29 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-28 21:24:04 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-08-28 21:28:18 +0000 | <apteryx> | EvanR: ah, it must have been my "HTTPS everywhere" add-on for Firefox |
| 2023-08-28 21:28:25 +0000 | <apteryx> | the site must be HTTP only |
| 2023-08-28 21:28:32 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-28 21:33:20 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 21:33:25 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-28 21:34:59 +0000 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2023-08-28 21:35:19 +0000 | aaronv | (~aaronv@user/aaronv) |
| 2023-08-28 21:38:01 +0000 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Quit: IRCNow and Forever!) |
| 2023-08-28 21:38:36 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-28 21:39:04 +0000 | <Inst> | i checked re don stewart, seems to be working on Glean with Simon Marlow |
| 2023-08-28 21:39:33 +0000 | <Inst> | don't like making false claims, or at least leaving them uncorrected |
| 2023-08-28 21:42:00 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-28 21:42:41 +0000 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-28 21:43:03 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-08-28 21:45:38 +0000 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-28 21:46:20 +0000 | artem | (~artem@73.145.241.136) (Ping timeout: 248 seconds) |
| 2023-08-28 21:49:46 +0000 | ulysses4ever | (~artem@2601:408:c408:1a9d:f474:e3f8:9806:671) |
| 2023-08-28 21:50:47 +0000 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 245 seconds) |
| 2023-08-28 21:52:03 +0000 | finsternis | (~X@23.226.237.192) |
| 2023-08-28 21:53:37 +0000 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2023-08-28 21:58:36 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2023-08-28 22:00:41 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 22:02:14 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-28 22:03:18 +0000 | <justsomeguy> | I'm writing tests with hspec, and one of them runs in an infinite loop. Is there a way to write the test so it times out after a minute or two instead of crashing my computer? |
| 2023-08-28 22:04:06 +0000 | acidjnk | (~acidjnk@p200300d6e7072f52f8062bd386216d20.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-28 22:05:43 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-08-28 22:06:22 +0000 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2023-08-28 22:06:23 +0000 | <justsomeguy> | Here's a dumb example of what I mean... a Vingere cipher that works with infinite loops. https://gist.github.com/kingparra/60ef78d2bb70a9d33ff8daf298f9de17 |
| 2023-08-28 22:06:53 +0000 | son0p | (~ff@152.203.98.110) |
| 2023-08-28 22:07:10 +0000 | <justsomeguy> | (It's a broken implementation, I was halfway through an experiment with my homework when I ran into this.) |
| 2023-08-28 22:07:44 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-08-28 22:08:34 +0000 | <geekosaur> | maybe System.Timeout and `shouldNotThrow`? |
| 2023-08-28 22:13:51 +0000 | danza_ | (~francesco@151.19.236.144) (Read error: Connection reset by peer) |
| 2023-08-28 22:14:01 +0000 | danza_ | (~francesco@151.43.241.54) |
| 2023-08-28 22:16:01 +0000 | Inst | (~liamzy@2601:6c4:4085:6d50::7f5a) (Remote host closed the connection) |
| 2023-08-28 22:16:19 +0000 | Inst | (~liamzy@2601:6c4:4085:6d50::a469) |
| 2023-08-28 22:18:58 +0000 | kupi_ | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-08-28 22:19:10 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 22:19:38 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-28 22:21:07 +0000 | kupi_ | kupi |
| 2023-08-28 22:24:44 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2023-08-28 22:25:30 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-08-28 22:28:15 +0000 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-28 22:30:44 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 22:31:41 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 2023-08-28 22:33:48 +0000 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2023-08-28 22:34:43 +0000 | Square2 | (~Square4@user/square) |
| 2023-08-28 22:35:24 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 2023-08-28 22:37:50 +0000 | Square | (~Square@user/square) (Ping timeout: 258 seconds) |
| 2023-08-28 22:40:12 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2023-08-28 22:43:20 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-28 22:48:10 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 22:48:25 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-28 22:50:23 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
| 2023-08-28 22:51:24 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 248 seconds) |
| 2023-08-28 22:51:46 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-28 22:53:09 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-28 22:54:48 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-28 22:55:36 +0000 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-28 23:01:41 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-28 23:02:02 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-28 23:03:36 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-28 23:04:44 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 248 seconds) |
| 2023-08-28 23:08:01 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-28 23:09:03 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-28 23:09:03 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-28 23:09:03 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-28 23:09:56 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-28 23:18:50 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 23:21:12 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 245 seconds) |
| 2023-08-28 23:22:57 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-28 23:24:00 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-08-28 23:24:52 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 2023-08-28 23:28:13 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-08-28 23:29:27 +0000 | thegeekinside | (~thegeekin@189.180.81.59) (Ping timeout: 246 seconds) |
| 2023-08-28 23:30:51 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-28 23:30:57 +0000 | thegeekinside | (~thegeekin@189.180.81.59) |
| 2023-08-28 23:36:08 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 23:37:58 +0000 | foul_owl_ | (~kerry@174-21-66-189.tukw.qwest.net) (Ping timeout: 255 seconds) |
| 2023-08-28 23:40:47 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-28 23:42:08 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-28 23:42:11 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 244 seconds) |
| 2023-08-28 23:43:55 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-28 23:44:01 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-28 23:46:12 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2023-08-28 23:47:06 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-28 23:48:04 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-28 23:48:09 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-28 23:50:23 +0000 | foul_owl_ | (~kerry@185.219.141.160) |