2022/08/30

2022-08-30 00:00:37 +0200acidjnk(~acidjnk@p54ad5adb.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-08-30 00:00:52 +0200echoone(~echoone@188.74.37.39) (Quit: Client closed)
2022-08-30 00:01:10 +0200 <qrpnxz> [Leary]: well consider this https://hackage.haskell.org/package/fmlist-0.9.4/docs/Data-FMList.html
2022-08-30 00:01:18 +0200wonko_(~wjc@2a0e:1c80:2::130)
2022-08-30 00:01:58 +0200cheater(~Username@user/cheater) (Ping timeout: 244 seconds)
2022-08-30 00:02:14 +0200cheater(~Username@user/cheater)
2022-08-30 00:02:23 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-08-30 00:03:24 +0200jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff)
2022-08-30 00:03:25 +0200 <qrpnxz> that's a non-typical instance
2022-08-30 00:03:48 +0200 <qrpnxz> there's no container there. Just a function.
2022-08-30 00:03:51 +0200 <[Leary]> Not really. Encode them by foldr or foldMap, lists are lists.
2022-08-30 00:04:32 +0200 <[Leary]> All algebraic data types are functions in my head.
2022-08-30 00:04:37 +0200 <qrpnxz> the function could have come from flip foldMap list, or just writ by hand
2022-08-30 00:04:43 +0200 <monochrom> Unpopular opinion: Every representable functor is a container. >:)
2022-08-30 00:05:29 +0200monochromducks. That's half joking, half trolling, half nerd-sniping.
2022-08-30 00:06:32 +0200oxide(~lambda@user/oxide)
2022-08-30 00:07:18 +0200 <hpc> heh, that reminds me of one time, a coworker was installing pandoc and he had never used haskell
2022-08-30 00:07:29 +0200 <qrpnxz> i mean, there really is not much of a point in trying to draw a line between container and not-container wrt Traversable. It just is what it is. As it is, it's really useful. If you need something else, that's not Traversables problem
2022-08-30 00:07:30 +0200 <hpc> so he saw it was installing containers and he asked me why a document converter needed docker
2022-08-30 00:07:50 +0200 <qrpnxz> lmao
2022-08-30 00:07:53 +0200 <monochrom> hahahha
2022-08-30 00:08:41 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2022-08-30 00:08:48 +0200 <qrpnxz> i ask that myself every day except for flatpak
2022-08-30 00:09:36 +0200cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2022-08-30 00:09:52 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-30 00:10:04 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 00:11:07 +0200geekosaurreally doesn't see what the problem is. instead of being a structure, it preserves whatever structure it is given
2022-08-30 00:11:19 +0200 <geekosaur> surely we can generalize like that?
2022-08-30 00:12:41 +0200cheater(~Username@user/cheater)
2022-08-30 00:13:10 +0200 <monochrom> Oh, today's smbc applies. "Why does everything have to be a noun with you?" >:)
2022-08-30 00:13:11 +0200 <hpc> it's just nixos without any package sharing :P
2022-08-30 00:14:23 +0200 <qrpnxz> monochrom: lol seriously. Good comic!
2022-08-30 00:14:33 +0200euandreh(~euandreh@179.214.113.107) (Ping timeout: 252 seconds)
2022-08-30 00:14:35 +0200 <geekosaur> everything has to be a verb with me 😈
2022-08-30 00:14:48 +0200 <qrpnxz> verb centrism actually based
2022-08-30 00:14:58 +0200 <monochrom> Hehe right? Consider "God, do containers exist? Are they real?"
2022-08-30 00:15:22 +0200 <monochrom> And generalize that to all of OOP aka noun-driven programming.
2022-08-30 00:16:20 +0200 <hpc> i am going to make an adverb-based language and call it "hemingway"
2022-08-30 00:16:21 +0200zerozzz
2022-08-30 00:16:40 +0200 <monochrom> haha
2022-08-30 00:16:40 +0200euandreh(~euandreh@179.214.113.107)
2022-08-30 00:16:50 +0200 <qrpnxz> "Does the RealWorld exist?" "idk, IO is an implicit effect for me"
2022-08-30 00:16:56 +0200 <monochrom> You can start with STM's "atomically" :)
2022-08-30 00:17:07 +0200oxide(~lambda@user/oxide) (Quit: oxide)
2022-08-30 00:17:15 +0200 <monochrom> Arguably System.IO.withFile is also an adverb.
2022-08-30 00:17:35 +0200 <hpc> fileishly
2022-08-30 00:17:36 +0200 <monochrom> An adverb phrase, I bet.
2022-08-30 00:18:03 +0200 <qrpnxz> sequence: bad. sequentially: 😎
2022-08-30 00:18:10 +0200 <hpc> and of course, the website for the language will be hemingway.ly
2022-08-30 00:18:19 +0200 <qrpnxz> lol
2022-08-30 00:18:28 +0200 <monochrom> heh
2022-08-30 00:19:10 +0200 <monochrom> Is adverb-based programming the same as CPS?
2022-08-30 00:20:07 +0200 <hpc> hmm yeah, it kind of is
2022-08-30 00:20:11 +0200 <qrpnxz> considering any effect can be reflected into ContT, makes sense
2022-08-30 00:20:27 +0200 <hpc> the async keyword can be spelled out completelly, "asynchronously"
2022-08-30 00:20:42 +0200td_(~td@94.134.91.130) (Ping timeout: 268 seconds)
2022-08-30 00:20:57 +0200 <hpc> forkIO is "simultaneously"
2022-08-30 00:21:09 +0200 <hpc> all the good functions are adverbs
2022-08-30 00:21:11 +0200 <qrpnxz> in async that's concurrently
2022-08-30 00:21:13 +0200 <hpc> i think we're onto something
2022-08-30 00:22:06 +0200td_(~td@94.134.91.224)
2022-08-30 00:22:09 +0200 <dsal> I don't think considering `forkIO` as "simultaneous" is necessarily good. Not all schedulers will guarantee two processes get run in lockstep.
2022-08-30 00:23:02 +0200 <monochrom> Actually correction: Is adverb-based programming the same as RAII? Because withFile certainly is, and atomically in a sense.
2022-08-30 00:23:37 +0200 <dsal> adverbs compose with a verb into a statement
2022-08-30 00:23:47 +0200mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 268 seconds)
2022-08-30 00:23:49 +0200 <qrpnxz> idk what RAII would have to do with adverbs. Certainly withFile and RAII are somewhat related in that both acquire resources but that's it
2022-08-30 00:24:04 +0200 <hpc> i can't think of how async acquires a resource
2022-08-30 00:24:13 +0200 <dsal> async acquires a thread
2022-08-30 00:24:14 +0200 <qrpnxz> async acquires a thread
2022-08-30 00:24:15 +0200 <hpc> unless you count the promise
2022-08-30 00:24:17 +0200 <qrpnxz> lol
2022-08-30 00:24:21 +0200 <geekosaur> it acquires a thread of control
2022-08-30 00:24:26 +0200 <monochrom> Oh you're misled by the poor name RAII. I was too.
2022-08-30 00:24:31 +0200 <geekosaur> don't mind me being later than everyone else
2022-08-30 00:24:55 +0200 <dsal> It's important not to expect timeliness when dealing with async.
2022-08-30 00:25:04 +0200 <monochrom> Turns out the emphasis is on releasing the resource upon exiting the lexical scope.
2022-08-30 00:25:15 +0200 <monochrom> So yeah, nothing to do with A, I, or I.
2022-08-30 00:25:26 +0200 <qrpnxz> monochrom: you have that in C++ even without RAII though
2022-08-30 00:25:48 +0200 <dolio> Oh yeah. I never really thought about it, but the name is completely wrong for what people care about.
2022-08-30 00:26:17 +0200 <hpc> strictly speaking, openFile is RAII too, if you follow the actual meaning of the words
2022-08-30 00:26:21 +0200 <monochrom> No, because normally "open-use-close" can skip the "close" if the "use" throws and exception. Or you have an early "return".
2022-08-30 00:26:29 +0200 <hpc> you're acquiring the file resource, and initializing a Handle with no in between
2022-08-30 00:26:39 +0200td_(~td@94.134.91.224) (Ping timeout: 252 seconds)
2022-08-30 00:27:31 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-08-30 00:27:35 +0200 <hpc> "bracketing" is a better word for RAII
2022-08-30 00:27:42 +0200 <monochrom> Yeha.
2022-08-30 00:27:49 +0200 <johnw> maybe even... scoping? :)
2022-08-30 00:27:56 +0200 <qrpnxz> let's say resource acquisition is not initialization. Move semantics didn't go away? Seems like a totally different system. They work together, but aren't thesame.
2022-08-30 00:28:07 +0200 <monochrom> "with scope" is an adverb phrase to me :)
2022-08-30 00:28:22 +0200 <monochrom> or generally "<preposition> scope"
2022-08-30 00:30:52 +0200 <qrpnxz> i suppose "RAII" as a pattern in a general sense, is indeed basically the `with` pattern. I rather they used another word to talk about in that sense. tbf i can't think of a better term. But having no term feels better than a bad one to me sometimes.
2022-08-30 00:31:19 +0200 <monochrom> "resource release upon exit" is the correct name but I guess "RRUE" isn't a cool acronym.
2022-08-30 00:32:44 +0200 <qrpnxz> RAIIARRIDP: Resource acquisition is initialization and resource release is destruction pattern.
2022-08-30 00:32:48 +0200 <qrpnxz> spread the word
2022-08-30 00:33:15 +0200cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2022-08-30 00:33:32 +0200cheater(~Username@user/cheater)
2022-08-30 00:33:44 +0200 <johnw> now let's debate what SFINAE should be called
2022-08-30 00:34:22 +0200 <dolio> Not sure I even know what that one is.
2022-08-30 00:34:31 +0200Sgeo(~Sgeo@user/sgeo)
2022-08-30 00:34:36 +0200 <johnw> (Template) Specialization Failure is Not An Error
2022-08-30 00:34:56 +0200 <johnw> it basically is what enabled heavy duty template meta programming
2022-08-30 00:34:57 +0200 <dolio> It's not?
2022-08-30 00:35:14 +0200 <johnw> https://en.cppreference.com/w/cpp/language/sfinae
2022-08-30 00:36:03 +0200ph88(~ph88@2a02:8109:9e00:71d0:347f:662b:ca0c:3408)
2022-08-30 00:36:45 +0200 <monochrom> SFID = substitution failure increases determinism :)
2022-08-30 00:37:04 +0200 <monochrom> "think positive!"
2022-08-30 00:38:37 +0200xff0x(~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 268 seconds)
2022-08-30 00:39:47 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-08-30 00:40:00 +0200 <monochrom> TOSIJTLMWYP = template overload resolution is just the list monad what's your problem >:)
2022-08-30 00:40:07 +0200 <johnw> hahaha, love it
2022-08-30 00:40:21 +0200mikoto-chan(~mikoto-ch@164.5.249.78)
2022-08-30 00:40:27 +0200 <johnw> it really rolls off the tongue
2022-08-30 00:40:38 +0200 <dolio> This reference page doesn't seem to explain things very well.
2022-08-30 00:41:05 +0200wonko_(~wjc@2a0e:1c80:2::130) (Ping timeout: 268 seconds)
2022-08-30 00:41:07 +0200 <hpc> i am okay with c++ taking forever to compile if it rate-limits that sort of thing
2022-08-30 00:42:30 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-30 00:43:20 +0200slack4605(~slack1256@191.126.227.80)
2022-08-30 00:45:17 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-30 00:45:21 +0200slack1256(~slack1256@186.11.99.53) (Ping timeout: 252 seconds)
2022-08-30 00:45:54 +0200MoC(~moc@user/moc) (Quit: Konversation terminated!)
2022-08-30 00:45:56 +0200 <johnw> maybe https://en.wikipedia.org/wiki/Substitution_failure_is_not_an_error?
2022-08-30 00:46:05 +0200coot(~coot@213.134.176.158)
2022-08-30 00:48:20 +0200coot(~coot@213.134.176.158) (Client Quit)
2022-08-30 00:50:56 +0200slack4605(~slack1256@191.126.227.80) (Read error: Connection reset by peer)
2022-08-30 00:51:00 +0200slack1256(~slack1256@186.11.99.53)
2022-08-30 00:51:10 +0200xff0x(~xff0x@ai071162.d.east.v6connect.net)
2022-08-30 00:52:09 +0200mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 268 seconds)
2022-08-30 00:53:33 +0200talismanick(~talismani@campus-017-130.ucdavis.edu)
2022-08-30 00:53:44 +0200mikoto-chan(~mikoto-ch@164.5.249.78)
2022-08-30 00:54:36 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-08-30 00:56:21 +0200cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2022-08-30 00:56:43 +0200cheater(~Username@user/cheater)
2022-08-30 00:57:43 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-08-30 00:58:40 +0200slac98487(~slack1256@191.126.227.80)
2022-08-30 01:02:03 +0200slack1256(~slack1256@186.11.99.53) (Ping timeout: 268 seconds)
2022-08-30 01:03:17 +0200ph88(~ph88@2a02:8109:9e00:71d0:347f:662b:ca0c:3408) (Ping timeout: 268 seconds)
2022-08-30 01:06:22 +0200ph88(~ph88@2a02:8109:9e00:71d0:347f:662b:ca0c:3408)
2022-08-30 01:14:58 +0200eikke(~NicolasT@user/NicolasT) (Ping timeout: 268 seconds)
2022-08-30 01:16:42 +0200sagax(~sagax_nb@user/sagax) (Quit: Konversation terminated!)
2022-08-30 01:18:56 +0200luffy(~chenqisu1@183.217.201.192)
2022-08-30 01:26:43 +0200ph88(~ph88@2a02:8109:9e00:71d0:347f:662b:ca0c:3408) (Ping timeout: 268 seconds)
2022-08-30 01:28:57 +0200ph88(~ph88@2a02:8109:9e00:71d0:347f:662b:ca0c:3408)
2022-08-30 01:30:08 +0200finsternis(~X@23.226.237.192) (Read error: Connection reset by peer)
2022-08-30 01:30:09 +0200slac98487(~slack1256@191.126.227.80) (Read error: Connection reset by peer)
2022-08-30 01:30:14 +0200beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt)
2022-08-30 01:31:21 +0200slack1256(~slack1256@186.11.99.53)
2022-08-30 01:32:53 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-08-30 01:33:22 +0200 <segfaultfizzbuzz> so i have a vague idea of what a data structure is, but is there such thing as a formalization of the concept of a data structure?
2022-08-30 01:33:32 +0200 <segfaultfizzbuzz> like, what is the type signature of a data structure
2022-08-30 01:34:44 +0200beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 268 seconds)
2022-08-30 01:36:26 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-30 01:36:38 +0200 <geekosaur> that sounds like your conception may be reversed
2022-08-30 01:36:55 +0200 <geekosaur> a data structure, to my mind, is characterized by its type signature
2022-08-30 01:38:07 +0200 <segfaultfizzbuzz> a bad example here is we say a Tree is an example of a DataStructure and it has Insert, Delete, Search (with such-and-such performance characteristics)
2022-08-30 01:38:49 +0200 <segfaultfizzbuzz> i could do those things just as well with a Graph or a List, etc
2022-08-30 01:39:05 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-08-30 01:39:21 +0200mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 260 seconds)
2022-08-30 01:39:40 +0200 <qrpnxz> perhaps you are think of an abstract data type
2022-08-30 01:41:44 +0200 <segfaultfizzbuzz> https://en.wikipedia.org/wiki/Abstract_data_type "Each of these ADTs may be defined in many ways and variants, not necessarily equivalent. For example, an abstract stack may or may not have a count operation that tells how many items have been pushed and not yet popped."
2022-08-30 01:41:51 +0200 <segfaultfizzbuzz> in reference to List, Set, Tree, Map, etc
2022-08-30 01:42:10 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2022-08-30 01:44:10 +0200 <geekosaur> you may also be confusing a data type with the operations you can perform on it. the choice of data type will determine among other things the behavior and efficiency of various operations
2022-08-30 01:44:35 +0200 <apache2> that kind of Tree or Map doesn't tell us anything about the data structure backing it
2022-08-30 01:45:01 +0200 <geekosaur> which is why it's abstract, no?
2022-08-30 01:45:18 +0200 <apache2> yes, the abstract part being pretty crucial
2022-08-30 01:46:01 +0200 <segfaultfizzbuzz> if something is a Data Structure then i may make the following assumptions about it: X, Y, Z,... and optionally the following may occur: A, B, C...
2022-08-30 01:46:50 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Ping timeout: 258 seconds)
2022-08-30 01:49:19 +0200 <qrpnxz> wikipedia says: In computer science, a data structure is a data organization, management, and storage format that is usually chosen for efficient access to data.[1][2][3] More precisely, a data structure is a collection of data values, the relationships among them, and the functions or operations that can be applied to the data,[4] i.e., it is an algebraic structure about data.
2022-08-30 01:49:22 +0200 <qrpnxz> sounds good to me
2022-08-30 01:49:43 +0200 <apache2> segfaultfizzbuzz: yeah, those assumptions (how does this scale for memory/processing time, what are the probabilities that you get the desired answers to your queries) are usually kind of disconnected from the specific programming interface
2022-08-30 01:50:46 +0200 <qrpnxz> it's like trying to define a chair. You are looking to closely at it I think. You just know it when you see it.
2022-08-30 01:51:05 +0200 <geekosaur> or not closely enough, depending
2022-08-30 01:51:07 +0200 <apache2> ie you can provide a programmer with something that looks like a "List" but is actually backed by a `set`, and they will be none the wiser until they run it and it scales differently than expected
2022-08-30 01:51:13 +0200 <segfaultfizzbuzz> well a chair has mass, a center of gravity location,.... probably a bounding box
2022-08-30 01:51:34 +0200 <geekosaur> you could talk about the formalization of abstract data types, or the formalization of algebraic data types
2022-08-30 01:51:43 +0200 <geekosaur> which do you want?
2022-08-30 01:51:45 +0200 <apache2> or a Set that is backed by a bloom filter, so the results aren't always correct, but it's pretty fast
2022-08-30 01:51:46 +0200 <qrpnxz> okay "a chair exists" fair enough. But is that helpful? Are you enriched having said that?
2022-08-30 01:52:17 +0200 <segfaultfizzbuzz> well it was useful here to recognize that Data Structure is indeed not a formal notion
2022-08-30 01:52:28 +0200 <geekosaur> huh?
2022-08-30 01:52:43 +0200 <segfaultfizzbuzz> like, a mathematical Group is a formal notion, a Data Structure is not
2022-08-30 01:52:49 +0200 <qrpnxz> a data structure is like a list, array, a map, the pattern here is a way of storing and managing data. I can't really put it better than the wikipedia quote. That's just the idea of it
2022-08-30 01:53:17 +0200 <geekosaur> "algebraic structure about data" sounds pretty formal to me
2022-08-30 01:53:32 +0200 <segfaultfizzbuzz> ok then what is an algebraic structure?
2022-08-30 01:53:35 +0200 <geekosaur> but you still haven't said whether you are talking about abstract or algebraic data types
2022-08-30 01:53:56 +0200 <geekosaur> one that is constructed using algebraic principles. look up sum and product types, for starters
2022-08-30 01:54:03 +0200 <segfaultfizzbuzz> yes i am familiar with those
2022-08-30 01:54:06 +0200 <geekosaur> Haskell data types are algebraic in nature
2022-08-30 01:54:18 +0200 <qrpnxz> i think the algebraic in that sentence is more about it has operations rather than it's made up of products and sums
2022-08-30 01:56:35 +0200 <segfaultfizzbuzz> so i have seen magmas and semigroups and all of that
2022-08-30 01:56:53 +0200 <qrpnxz> that's even another kind of "algebra" lol
2022-08-30 01:56:59 +0200 <qrpnxz> what a mess
2022-08-30 01:57:04 +0200 <segfaultfizzbuzz> is it?
2022-08-30 01:57:10 +0200 <qrpnxz> yeah, that's abstract algebra
2022-08-30 01:57:25 +0200 <apache2> qrpnxz: well you can use church encoding to turn them the operations into products and sums, and thne you can perform algebra on them using the resulting lambda calculus representation
2022-08-30 01:57:28 +0200 <segfaultfizzbuzz> oh wow so they didn't mean the same thing? i was cringing to try to understand what the relationship was
2022-08-30 01:58:43 +0200mikoto-chan(~mikoto-ch@164.5.249.78)
2022-08-30 02:00:04 +0200oxide(~lambda@user/oxide)
2022-08-30 02:00:19 +0200 <qrpnxz> apache2: that sounds like the opposite of church encoding.
2022-08-30 02:00:26 +0200nate4(~nate@98.45.169.16)
2022-08-30 02:02:41 +0200 <apache2> qrpnxz: indeed, it should have been operations -> products and sums -> church encoding
2022-08-30 02:04:59 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
2022-08-30 02:08:31 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
2022-08-30 02:12:57 +0200talismanick(~talismani@campus-017-130.ucdavis.edu) (Ping timeout: 268 seconds)
2022-08-30 02:15:06 +0200pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2022-08-30 02:15:30 +0200Polo(~Gambino@user/polo)
2022-08-30 02:20:23 +0200pavonia(~user@user/siracusa)
2022-08-30 02:20:28 +0200shapr`shapr
2022-08-30 02:23:41 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-08-30 02:25:27 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds)
2022-08-30 02:29:14 +0200nattiestnate(~nate@202.138.250.6)
2022-08-30 02:36:57 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-30 02:37:14 +0200ddellacosta(~ddellacos@86.106.143.183)
2022-08-30 02:37:38 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-30 02:39:29 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2022-08-30 02:41:55 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-08-30 02:42:20 +0200PoloGuest5011
2022-08-30 02:43:32 +0200nattiestnate(~nate@202.138.250.6) (Quit: WeeChat 3.6)
2022-08-30 02:46:51 +0200ph88(~ph88@2a02:8109:9e00:71d0:347f:662b:ca0c:3408) (Quit: Leaving)
2022-08-30 02:48:18 +0200td_(~td@94.134.91.100)
2022-08-30 02:48:22 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-30 02:50:01 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
2022-08-30 02:50:02 +0200talismanick(~talismani@2601:200:c100:3850::dd64)
2022-08-30 03:00:02 +0200Guest5011(~Gambino@user/polo) (Quit: out)
2022-08-30 03:03:19 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-08-30 03:03:56 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-08-30 03:04:09 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-30 03:04:09 +0200nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-08-30 03:04:26 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-30 03:06:03 +0200slack1963(~slack1256@191.126.227.80)
2022-08-30 03:07:37 +0200xff0x(~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 252 seconds)
2022-08-30 03:08:27 +0200slack1256(~slack1256@186.11.99.53) (Ping timeout: 268 seconds)
2022-08-30 03:11:10 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2022-08-30 03:12:35 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-08-30 03:17:06 +0200oxide(~lambda@user/oxide) (Quit: oxide)
2022-08-30 03:18:59 +0200Guest|88(~Guest|88@75-164-219-66.ptld.qwest.net)
2022-08-30 03:19:34 +0200Guest|88(~Guest|88@75-164-219-66.ptld.qwest.net) (Client Quit)
2022-08-30 03:20:38 +0200dcoutts_(~duncan@host86-184-242-102.range86-184.btcentralplus.com)
2022-08-30 03:23:11 +0200dcoutts(~duncan@host86-175-248-103.range86-175.btcentralplus.com) (Ping timeout: 260 seconds)
2022-08-30 03:26:21 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-08-30 03:26:30 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2022-08-30 03:28:39 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-08-30 03:33:53 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-30 03:34:21 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-30 03:36:16 +0200razetime(~quassel@117.254.34.228)
2022-08-30 03:37:23 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 255 seconds)
2022-08-30 03:37:23 +0200foul_owl(~kerry@23.82.194.108) (Ping timeout: 255 seconds)
2022-08-30 03:41:44 +0200nate4(~nate@98.45.169.16)
2022-08-30 03:42:21 +0200slack1963(~slack1256@191.126.227.80) (Ping timeout: 268 seconds)
2022-08-30 03:43:06 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-30 03:44:21 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 03:45:40 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2022-08-30 03:49:10 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-08-30 03:52:15 +0200foul_owl(~kerry@23.82.194.107)
2022-08-30 03:52:30 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-30 03:54:17 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 03:58:30 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2022-08-30 04:01:52 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Quit: xff0x)
2022-08-30 04:02:37 +0200Guest9264(~Gambino@user/polo)
2022-08-30 04:03:28 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2022-08-30 04:04:08 +0200razetime_(~quassel@117.254.34.228)
2022-08-30 04:04:08 +0200razetime_(~quassel@117.254.34.228) (Client Quit)
2022-08-30 04:04:27 +0200Guest9264(~Gambino@user/polo) (Read error: Connection reset by peer)
2022-08-30 04:10:07 +0200frost(~frost@user/frost)
2022-08-30 04:14:25 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds)
2022-08-30 04:20:49 +0200nilradical(~nilradica@user/naso)
2022-08-30 04:24:17 +0200bontaq`(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds)
2022-08-30 04:25:41 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-08-30 04:35:34 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
2022-08-30 04:36:39 +0200mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 268 seconds)
2022-08-30 04:38:37 +0200Guest66(~Guest66@49.140.190.80)
2022-08-30 04:40:12 +0200Guest66(~Guest66@49.140.190.80) (Client Quit)
2022-08-30 04:43:17 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-08-30 04:43:29 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net)
2022-08-30 04:47:43 +0200td_(~td@94.134.91.100) (Ping timeout: 252 seconds)
2022-08-30 04:49:03 +0200king_gs(~Thunderbi@2806:103e:29:2e9e:24b:435a:141c:132f)
2022-08-30 04:49:09 +0200king_gs(~Thunderbi@2806:103e:29:2e9e:24b:435a:141c:132f) (Client Quit)
2022-08-30 04:49:25 +0200td_(~td@94.134.91.35)
2022-08-30 04:52:59 +0200frost(~frost@user/frost) (Quit: Ping timeout (120 seconds))
2022-08-30 04:56:20 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-08-30 04:56:20 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-08-30 04:56:20 +0200finn_elijaFinnElija
2022-08-30 04:58:12 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex)
2022-08-30 04:58:53 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2022-08-30 05:00:51 +0200frost(~frost@user/frost)
2022-08-30 05:05:32 +0200jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection)
2022-08-30 05:09:55 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2022-08-30 05:10:53 +0200vglfr(~vglfr@145.224.94.75) (Remote host closed the connection)
2022-08-30 05:11:40 +0200vglfr(~vglfr@145.224.94.75)
2022-08-30 05:12:08 +0200vglfr(~vglfr@145.224.94.75) (Remote host closed the connection)
2022-08-30 05:14:25 +0200vglfr(~vglfr@145.224.94.75)
2022-08-30 05:16:21 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2022-08-30 05:21:26 +0200 <nilradical> what's the best option to display simplicial complexes / directed hypergraphs in the browser with mouseover popup information and click-to-drag nodes to rearrange the graph functionality
2022-08-30 05:26:34 +0200nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-08-30 05:26:35 +0200Vajb(~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer)
2022-08-30 05:26:50 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
2022-08-30 05:34:47 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-08-30 05:34:59 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-08-30 05:35:12 +0200ddellacosta(~ddellacos@86.106.143.183) (Ping timeout: 268 seconds)
2022-08-30 05:36:52 +0200ec(~ec@gateway/tor-sasl/ec)
2022-08-30 05:39:46 +0200chronon(~chronon@user/chronon) (Quit: leaving)
2022-08-30 05:40:36 +0200chronon(~chronon@user/chronon)
2022-08-30 05:41:29 +0200chronon(~chronon@user/chronon) (Client Quit)
2022-08-30 05:41:52 +0200chronon(~chronon@user/chronon)
2022-08-30 05:48:31 +0200phma(~phma@host-67-44-208-66.hnremote.net) (Read error: Connection reset by peer)
2022-08-30 05:49:19 +0200Kaiepi(~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds)
2022-08-30 05:49:56 +0200phma(phma@2001:5b0:210b:e1a8:238a:6544:b808:4f6c)
2022-08-30 05:50:03 +0200nate4(~nate@98.45.169.16)
2022-08-30 05:56:53 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-30 05:57:19 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz)
2022-08-30 06:00:41 +0200nate4(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-08-30 06:05:14 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-08-30 06:06:19 +0200ec(~ec@gateway/tor-sasl/ec)
2022-08-30 06:10:40 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-30 06:13:36 +0200eL_Bart0(eL_Bart0@dietunichtguten.org) (Read error: Connection reset by peer)
2022-08-30 06:16:15 +0200eL_Bart0(eL_Bart0@dietunichtguten.org)
2022-08-30 06:18:06 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-08-30 06:19:06 +0200Vajb(~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8)
2022-08-30 06:23:47 +0200nilradical(~nilradica@user/naso) ()
2022-08-30 06:25:41 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds)
2022-08-30 06:31:39 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-08-30 06:37:29 +0200mrmr(~mrmr@user/mrmr) (Ping timeout: 268 seconds)
2022-08-30 06:39:56 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-08-30 06:40:24 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-08-30 06:46:00 +0200Kaiepi(~Kaiepi@142.68.249.28)
2022-08-30 07:00:20 +0200euandreh(~euandreh@179.214.113.107) (Ping timeout: 268 seconds)
2022-08-30 07:01:22 +0200mbuf(~Shakthi@122.165.55.71)
2022-08-30 07:02:56 +0200euandreh(~euandreh@179.214.113.107)
2022-08-30 07:06:07 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
2022-08-30 07:07:07 +0200razetime(~quassel@117.254.34.228) (Ping timeout: 268 seconds)
2022-08-30 07:10:19 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-08-30 07:16:03 +0200mrmr(~mrmr@user/mrmr)
2022-08-30 07:23:22 +0200coot(~coot@213.134.176.158)
2022-08-30 07:28:54 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-08-30 07:29:28 +0200razetime(~quassel@117.254.34.228)
2022-08-30 07:37:29 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-08-30 07:40:23 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2022-08-30 07:44:15 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2022-08-30 07:45:37 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 07:49:15 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-08-30 07:49:57 +0200Kaiepi(~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds)
2022-08-30 07:50:23 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-08-30 07:50:41 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-08-30 07:51:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-30 07:56:57 +0200nate4(~nate@98.45.169.16)
2022-08-30 07:57:14 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 08:01:19 +0200nate4(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-08-30 08:01:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-30 08:02:50 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
2022-08-30 08:03:13 +0200kimjetwav(~user@2607:fea8:235e:b600:7f98:c4a:d2f0:b9bf)
2022-08-30 08:05:57 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2022-08-30 08:06:15 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-08-30 08:07:16 +0200mbuf(~Shakthi@122.165.55.71) (Quit: Leaving)
2022-08-30 08:07:23 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2022-08-30 08:09:42 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds)
2022-08-30 08:10:38 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-08-30 08:17:10 +0200michalz(~michalz@185.246.204.72)
2022-08-30 08:19:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-30 08:20:57 +0200[exa](exa@srv3.blesmrt.net) (Changing host)
2022-08-30 08:20:57 +0200[exa](exa@user/exa/x-3587197)
2022-08-30 08:22:23 +0200trillp(~trillp@69.233.98.238)
2022-08-30 08:27:17 +0200luffy(~chenqisu1@183.217.201.192) (Ping timeout: 268 seconds)
2022-08-30 08:27:33 +0200yvan-sraka(~yvan-srak@2a02:2788:224:71c:fb22:f951:6798:386)
2022-08-30 08:28:16 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
2022-08-30 08:28:38 +0200acidjnk(~acidjnk@p200300d6e7137a5221adc74ea987981a.dip0.t-ipconnect.de)
2022-08-30 08:35:05 +0200yvan-sraka(~yvan-srak@2a02:2788:224:71c:fb22:f951:6798:386) (Remote host closed the connection)
2022-08-30 08:35:15 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl)
2022-08-30 08:35:16 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-08-30 08:35:52 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex)
2022-08-30 08:40:10 +0200 <Clinton[m]> Lets say if I have two cabal packages `A` and `B`. Both have a flag `myflag`. `B` depends on `A`. If I do `cabal build all -f myflag`, does `B:myflag` depend on `A:myflag` or `A` by default? I thought it would depend on `A:myflag` but I'm starting to suspect it actually depends on `A`, because I'm getting weird conflicts.
2022-08-30 08:44:39 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net)
2022-08-30 08:44:43 +0200 <[exa]> Clinton[m]: you may specify flags for dependencies using cabal.project, and use the conditionals from cabal.project to "carry" the flag to the dependency only if it is present
2022-08-30 08:45:18 +0200 <[exa]> roughly, this https://stackoverflow.com/a/70244631/1043097 + this https://cabal.readthedocs.io/en/latest/cabal-package.html#conditions
2022-08-30 08:46:04 +0200 <[exa]> (there might be an easier way but I'm not aware of it)
2022-08-30 08:46:18 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
2022-08-30 08:47:00 +0200Kaiepi(~Kaiepi@142.68.249.28)
2022-08-30 08:47:10 +0200radhika(uid560836@id-560836.helmsley.irccloud.com)
2022-08-30 08:47:11 +0200 <[exa]> (also https://cabal.readthedocs.io/en/latest/cabal-project.html#conditionals-and-imports )
2022-08-30 08:47:25 +0200 <sclv> conditions in projects can’t depend on flags. depending on cabal install version top level flags apply to deps or not — lots of fixes to that happened in the latest release
2022-08-30 08:47:40 +0200 <radhika> Need some clarification on higher order function explained in lyah chap 6
2022-08-30 08:47:43 +0200 <Clinton[m]> Can I trigger the flags only when a command line argument is passed? Or do I need to separate project files?
2022-08-30 08:48:39 +0200 <radhika> applyTwice :: (a -> a) -> a ->. a
2022-08-30 08:49:03 +0200 <[exa]> sclv: oh noes :(
2022-08-30 08:49:12 +0200 <radhika> applyTwice f x = f (f x)
2022-08-30 08:49:23 +0200 <sclv> you might want two project files — one that sets the flag true for both and one false for both. includes can simplify that. that said, having one project depend on a flag setting of another is Highly Discouraged
2022-08-30 08:49:44 +0200 <sclv> flags should twiddle deps or implementation details not api surface
2022-08-30 08:50:13 +0200yvan-sraka(~yvan-srak@2a02:2788:224:71c:b050:c993:addd:ae40)
2022-08-30 08:50:28 +0200 <radhika> applyTwice takes a function and an element of any type and gives an output of the same type
2022-08-30 08:50:29 +0200nate4(~nate@98.45.169.16)
2022-08-30 08:51:25 +0200 <radhika> If f refers to (a->a) and x is a then why is the output f (f x)?
2022-08-30 08:51:58 +0200 <radhika> Is there a simple example?
2022-08-30 08:52:08 +0200 <sclv> radhika: consider the type of (f x).
2022-08-30 08:52:14 +0200 <sclv> what is it?
2022-08-30 08:52:29 +0200 <radhika> Function applied on an element?
2022-08-30 08:52:40 +0200 <sclv> what is the type
2022-08-30 08:52:53 +0200 <sclv> x is type a. what type is f x
2022-08-30 08:53:40 +0200 <radhika> Any type?
2022-08-30 08:53:50 +0200 <sclv> no
2022-08-30 08:54:05 +0200 <sclv> f is a function that takes a and returns a
2022-08-30 08:54:15 +0200 <radhika> Yes
2022-08-30 08:54:19 +0200 <sclv> so what is the type of applying it to x of type a
2022-08-30 08:54:47 +0200 <radhika> It will take x and return x?
2022-08-30 08:55:02 +0200 <sclv> x is the name of a value, not a type
2022-08-30 08:55:13 +0200nate4(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-08-30 08:55:26 +0200 <sclv> i think you need to review earlier parts of the book if you’re stuck on this.
2022-08-30 08:55:31 +0200 <radhika> Ok it will take type a and return the same
2022-08-30 08:55:45 +0200 <sclv> good. so “f x” is type a.
2022-08-30 08:55:50 +0200 <radhika> Ya
2022-08-30 08:56:02 +0200 <sclv> so what type is “f (f x)”
2022-08-30 08:56:16 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 260 seconds)
2022-08-30 08:56:16 +0200merijn(~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2022-08-30 08:56:19 +0200 <radhika> Same type a
2022-08-30 08:56:25 +0200gmg(~user@user/gehmehgeh)
2022-08-30 08:56:33 +0200 <sclv> so does that answer your question?
2022-08-30 08:56:46 +0200 <radhika> No
2022-08-30 08:57:01 +0200Inoperable(~PLAYER_1@fancydata.science) (Excess Flood)
2022-08-30 08:57:04 +0200 <radhika> I know that return type will be of type a
2022-08-30 08:57:31 +0200 <sclv> ok, say you pass to applyTwice \x -> x + 1
2022-08-30 08:57:35 +0200 <sclv> what happens
2022-08-30 08:57:40 +0200 <radhika> My question is f refers to a -> a function
2022-08-30 08:57:45 +0200 <sclv> yes
2022-08-30 08:57:55 +0200 <radhika> Return type is a
2022-08-30 08:57:58 +0200 <sclv> yes
2022-08-30 08:58:09 +0200vglfr(~vglfr@145.224.94.75) (Ping timeout: 252 seconds)
2022-08-30 08:58:16 +0200kimjetwav(~user@2607:fea8:235e:b600:7f98:c4a:d2f0:b9bf) (Ping timeout: 244 seconds)
2022-08-30 08:58:17 +0200yvan-sraka(~yvan-srak@2a02:2788:224:71c:b050:c993:addd:ae40) (Remote host closed the connection)
2022-08-30 08:58:23 +0200mima(~mmh@aftr-62-216-207-250.dynamic.mnet-online.de)
2022-08-30 08:58:25 +0200 <radhika> So they have used f (f x) because it’s defined in an abstractly?
2022-08-30 08:58:35 +0200yvan-sraka(~yvan-srak@2a02:2788:224:71c:ce15:f415:1eec:de15)
2022-08-30 08:58:41 +0200 <sclv> no
2022-08-30 08:58:49 +0200 <radhika> If I put values it should solve and return output of type a?
2022-08-30 08:58:50 +0200 <[exa]> radhika: what would you use instead? (the code is literally the easiest way to apply `f` twice)
2022-08-30 08:58:53 +0200 <sclv> f x is the application of f to x
2022-08-30 08:59:03 +0200 <radhika> ya
2022-08-30 08:59:11 +0200 <sclv> f (f x) is the application of f to the value (f x)
2022-08-30 08:59:36 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:2601:5a48:41a4:5314)
2022-08-30 08:59:38 +0200 <sclv> so that applies f twice. first to the initial value, then to the result of applying f once.
2022-08-30 08:59:49 +0200 <radhika> Got it
2022-08-30 08:59:52 +0200 <radhika> Thanks
2022-08-30 09:00:12 +0200 <sclv> there are many functions with that type. you could also apply once or apply three times.
2022-08-30 09:00:41 +0200 <radhika> I had an issue with the way I understood what f stands for
2022-08-30 09:00:43 +0200 <radhika> Thanks
2022-08-30 09:01:30 +0200sagax(~sagax_nb@user/sagax)
2022-08-30 09:01:54 +0200Inoperable(~PLAYER_1@fancydata.science)
2022-08-30 09:09:27 +0200jonathanx(~jonathan@h-98-128-168-222.NA.cust.bahnhof.se)
2022-08-30 09:12:22 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-30 09:13:56 +0200 <zzz> if i want some Num with only let's say 9 possible values, can I do anything better than Word performance wise?
2022-08-30 09:14:44 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-08-30 09:15:20 +0200yvan-sraka(~yvan-srak@2a02:2788:224:71c:ce15:f415:1eec:de15) (Remote host closed the connection)
2022-08-30 09:15:39 +0200yvan-sraka(~yvan-srak@2a02:2788:224:71c:226f:a33e:f3d:96b3)
2022-08-30 09:17:08 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-30 09:21:15 +0200 <Axman6> radhika: you could write it as applyTwice f x = let once = f x; twice = f once in twice - you shouldn't but if that helps understand, go nuts
2022-08-30 09:21:36 +0200 <Axman6> an alternative way to write it would applyTwice f = f . f
2022-08-30 09:22:01 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net)
2022-08-30 09:24:16 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 09:25:51 +0200yvan-sraka(~yvan-srak@2a02:2788:224:71c:226f:a33e:f3d:96b3) (Remote host closed the connection)
2022-08-30 09:25:54 +0200 <Axman6> zzz: yeah I'd be surprised if using a data declaration would be any faster
2022-08-30 09:26:09 +0200yvan-sraka(~yvan-srak@2a02:2788:224:71c:43c6:b67a:6fd8:b468)
2022-08-30 09:26:10 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
2022-08-30 09:26:43 +0200yvan-sraka(~yvan-srak@2a02:2788:224:71c:43c6:b67a:6fd8:b468) (Remote host closed the connection)
2022-08-30 09:29:15 +0200benin0(~benin@183.82.205.66)
2022-08-30 09:29:37 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-30 09:32:44 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-30 09:37:16 +0200vglfr(~vglfr@145.224.94.221)
2022-08-30 09:42:23 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-08-30 09:45:02 +0200jonathanx(~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) (Ping timeout: 255 seconds)
2022-08-30 09:45:02 +0200titibandit(~titibandi@xdsl-87-78-66-58.nc.de)
2022-08-30 09:46:53 +0200kilolympus(~kilolympu@90.203.82.22)
2022-08-30 09:49:16 +0200vglfr(~vglfr@145.224.94.221) (Ping timeout: 268 seconds)
2022-08-30 09:50:35 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-08-30 09:51:06 +0200Kaiepi(~Kaiepi@142.68.249.28) (Ping timeout: 260 seconds)
2022-08-30 09:52:26 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 09:52:56 +0200Inoperable(~PLAYER_1@fancydata.science) (Excess Flood)
2022-08-30 09:56:06 +0200jinsun__(~jinsun@user/jinsun)
2022-08-30 09:56:06 +0200jinsun(~jinsun@user/jinsun) (Killed (silver.libera.chat (Nickname regained by services)))
2022-08-30 09:56:06 +0200jinsun__jinsun
2022-08-30 09:57:14 +0200Inoperable(~PLAYER_1@fancydata.science)
2022-08-30 09:57:33 +0200Ailrk(~Ailrk@2604:3d08:9578:cd70:642:1aff:fe0a:2504)
2022-08-30 09:57:58 +0200chele(~chele@user/chele)
2022-08-30 10:01:14 +0200jonathanx(~jonathan@h-98-128-168-222.NA.cust.bahnhof.se)
2022-08-30 10:01:45 +0200titibandit(~titibandi@xdsl-87-78-66-58.nc.de) (Remote host closed the connection)
2022-08-30 10:06:43 +0200kilolympus(~kilolympu@90.203.82.22) (Ping timeout: 252 seconds)
2022-08-30 10:06:53 +0200kilolympus(~kilolympu@90.203.82.22)
2022-08-30 10:07:31 +0200 <jackdk> Axman6: unboxed sum of nine units?
2022-08-30 10:08:57 +0200vglfr(~vglfr@145.224.94.248)
2022-08-30 10:09:18 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-08-30 10:20:24 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-08-30 10:23:13 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-30 10:23:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-30 10:23:50 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-08-30 10:26:53 +0200CiaoSen(~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-08-30 10:27:39 +0200talismanick(~talismani@2601:200:c100:3850::dd64) (Ping timeout: 244 seconds)
2022-08-30 10:27:47 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds)
2022-08-30 10:29:36 +0200shriekingnoise(~shrieking@186.137.167.202) (Quit: Quit)
2022-08-30 10:31:18 +0200hrberg_(~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-08-30 10:31:43 +0200hrberg(~quassel@171.79-160-161.customer.lyse.net)
2022-08-30 10:32:49 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-30 10:41:41 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-08-30 10:42:54 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-08-30 10:45:27 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-30 10:45:56 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-08-30 10:47:32 +0200toeffel(~toeffel@user/toeffel)
2022-08-30 10:48:00 +0200Kaiepi(~Kaiepi@142.68.249.28)
2022-08-30 10:52:09 +0200B-JBenzi-Junior
2022-08-30 10:56:35 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-08-30 11:02:39 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 11:04:04 +0200eikke(~NicolasT@user/NicolasT)
2022-08-30 11:05:23 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-30 11:05:29 +0200jonathanx(~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) (Remote host closed the connection)
2022-08-30 11:05:46 +0200jonathanx(~jonathan@h-98-128-168-222.NA.cust.bahnhof.se)
2022-08-30 11:07:57 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-08-30 11:08:28 +0200mikoto-chan(~mikoto-ch@164.5.249.78)
2022-08-30 11:09:55 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2022-08-30 11:13:56 +0200luffy(~chenqisu1@183.217.201.192)
2022-08-30 11:14:04 +0200wonko_(~wjc@2a0e:1c80:2::130)
2022-08-30 11:14:49 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-08-30 11:14:57 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 11:16:13 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-08-30 11:24:49 +0200luffy(~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds)
2022-08-30 11:26:44 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2022-08-30 11:28:51 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-08-30 11:29:07 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-08-30 11:33:50 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 11:33:57 +0200luffy(~chenqisu1@183.217.201.192)
2022-08-30 11:34:35 +0200Ailrk(~Ailrk@2604:3d08:9578:cd70:642:1aff:fe0a:2504) (Quit: Client closed)
2022-08-30 11:39:36 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 260 seconds)
2022-08-30 11:43:36 +0200vglfr(~vglfr@145.224.94.248) (Ping timeout: 244 seconds)
2022-08-30 11:47:53 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 11:58:33 +0200frost(~frost@user/frost)
2022-08-30 12:07:49 +0200beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt)
2022-08-30 12:11:25 +0200__monty__(~toonn@user/toonn)
2022-08-30 12:11:30 +0200kuribas(~user@silversquare.silversquare.eu)
2022-08-30 12:12:46 +0200beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Quit: beteigeuze)
2022-08-30 12:13:00 +0200beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt)
2022-08-30 12:15:30 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-08-30 12:16:53 +0200radhika(uid560836@id-560836.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-08-30 12:17:15 +0200beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 252 seconds)
2022-08-30 12:17:55 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds)
2022-08-30 12:23:58 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-08-30 12:25:46 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-08-30 12:28:42 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-08-30 12:28:49 +0200img(~img@user/img)
2022-08-30 12:29:00 +0200img(~img@user/img) (Remote host closed the connection)
2022-08-30 12:30:59 +0200eikke(~NicolasT@user/NicolasT) (Ping timeout: 248 seconds)
2022-08-30 12:31:53 +0200img(~img@user/img)
2022-08-30 12:34:49 +0200vglfr(~vglfr@145.224.94.248)
2022-08-30 12:42:11 +0200toeffel(~toeffel@user/toeffel) (Ping timeout: 248 seconds)
2022-08-30 12:43:37 +0200benin0(~benin@183.82.205.66) (Quit: Ping timeout (120 seconds))
2022-08-30 12:43:57 +0200benin0(~benin@183.82.205.66)
2022-08-30 12:46:01 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-08-30 12:47:32 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-08-30 12:47:35 +0200fserucas(~fserucas@89.214.116.132)
2022-08-30 12:49:22 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-30 12:52:00 +0200nate4(~nate@98.45.169.16)
2022-08-30 12:54:16 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-08-30 12:54:40 +0200z0k(~z0k@206.84.142.45)
2022-08-30 12:54:51 +0200 <brprice> Is there a good way to mark a MonadState action (say, a utility function for logging execution of a state machine) as only needing read-only access to the state?
2022-08-30 12:55:23 +0200Alex_test(~al_test@178.34.163.186) (Ping timeout: 252 seconds)
2022-08-30 12:56:03 +0200frost(~frost@user/frost)
2022-08-30 12:56:51 +0200nate4(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-08-30 12:57:23 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-08-30 12:59:30 +0200z0k(~z0k@206.84.142.45) (Client Quit)
2022-08-30 13:00:15 +0200Alex_test(~al_test@178.34.163.186)
2022-08-30 13:04:55 +0200xff0x(~xff0x@2405:6580:b080:900:e0cc:5d40:3d2b:1c07)
2022-08-30 13:08:56 +0200 <opqdonut> brprice: if you're using mtl, drop down to the MonadReader class
2022-08-30 13:09:16 +0200 <opqdonut> no wait that's not quite how it works
2022-08-30 13:09:51 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 13:09:52 +0200 <opqdonut> you'd need to write your own wrapper type that implements MonadReader by accessing the state
2022-08-30 13:09:56 +0200radhika(uid560836@id-560836.helmsley.irccloud.com)
2022-08-30 13:10:35 +0200 <[exa]> brprice: you can transform it to Reader
2022-08-30 13:11:05 +0200 <opqdonut> here's one example: https://stackoverflow.com/questions/7292766/monads-tf-monadreader-instance-for-monadstate
2022-08-30 13:12:04 +0200 <brprice> opqdonut: thanks, but would that not have fundeps issues if I have something like MonadReader
2022-08-30 13:12:25 +0200 <brprice> opqdonut: *thanks, but would that not have fundeps issues if I have something like (MonadReader env m, MonadReadOnlyState s m) => ...
2022-08-30 13:12:55 +0200 <brprice> I should play around with that idea though -- maybe I'm missing something
2022-08-30 13:14:21 +0200eikke(~NicolasT@user/NicolasT)
2022-08-30 13:17:55 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection)
2022-08-30 13:19:53 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl)
2022-08-30 13:20:37 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-08-30 13:22:25 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net)
2022-08-30 13:23:31 +0200img(~img@user/img)
2022-08-30 13:24:46 +0200merijn(~merijn@eduroam.wifi.infracom.nl)
2022-08-30 13:25:27 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
2022-08-30 13:26:03 +0200bontaq`(~user@ool-45779fe5.dyn.optonline.net)
2022-08-30 13:26:56 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2022-08-30 13:30:22 +0200 <opqdonut> brprice: see the accepted solution, which uses a wrapper newtype
2022-08-30 13:30:58 +0200 <opqdonut> brprice: but yeah, if you're using MonadReader for some other purpose already, then you can't really do this that easily
2022-08-30 13:36:16 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 260 seconds)
2022-08-30 13:36:53 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-08-30 13:38:19 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 13:41:19 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-08-30 13:42:56 +0200causal(~user@50.35.83.177) (Quit: WeeChat 3.6)
2022-08-30 13:44:10 +0200toeffel(~toeffel@user/toeffel)
2022-08-30 13:47:29 +0200Luj(~Luj@2a01:e0a:5f9:9681:193b:902c:4a27:b473) (Quit: The Lounge - https://thelounge.chat)
2022-08-30 13:50:34 +0200coot(~coot@213.134.176.158)
2022-08-30 13:51:04 +0200Luj(~Luj@2a01:e0a:5f9:9681:aeac:b908:3592:7c4d)
2022-08-30 13:51:50 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-30 13:52:28 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-30 13:54:00 +0200kjak(~kjak@pool-108-31-68-111.washdc.fios.verizon.net)
2022-08-30 13:54:15 +0200Guest|59(~Guest|59@sb1-0111-08.studat.chalmers.se)
2022-08-30 13:54:21 +0200 <Guest|59> hey
2022-08-30 13:54:44 +0200 <Guest|59> im trying to install hasekll on my uni pc but i get an error
2022-08-30 13:55:57 +0200Guest|59(~Guest|59@sb1-0111-08.studat.chalmers.se) (Client Quit)
2022-08-30 13:56:41 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-08-30 13:57:02 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-30 13:59:49 +0200 <geekosaur> be nice if they stuck around a bit
2022-08-30 14:01:46 +0200 <hpc> you mean you don't know about... the error? :P
2022-08-30 14:02:06 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-08-30 14:02:06 +0200 <int-e> Elsewhere somebody suggested the proper reply would be "Next time try to install it without any error."
2022-08-30 14:02:33 +0200frost(~frost@user/frost)
2022-08-30 14:07:39 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-30 14:09:07 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-30 14:11:15 +0200_________(~nobody@user/noodly) (Ping timeout: 248 seconds)
2022-08-30 14:11:35 +0200_________(~nobody@user/noodly)
2022-08-30 14:11:47 +0200Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Ping timeout: 248 seconds)
2022-08-30 14:12:34 +0200king_gs(~Thunderbi@2806:103e:29:a4eb:877e:1dc7:bfe8:2955)
2022-08-30 14:13:26 +0200tomboy64(~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
2022-08-30 14:14:31 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-08-30 14:15:58 +0200 <tdammers> they weren't looking for solutions or any of that, they just came to accuse
2022-08-30 14:17:02 +0200 <kuribas> vent their frustration on having to use this weird hasekll language.
2022-08-30 14:17:09 +0200 <geekosaur> J'accuse!
2022-08-30 14:21:48 +0200 <int-e> But do they realize that programmers deal with errors all day long?
2022-08-30 14:22:31 +0200 <int-e> It's really not much of a complaint. Just needs more information :P
2022-08-30 14:24:35 +0200Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com)
2022-08-30 14:24:53 +0200 <tdammers> "I'm trying to install hasekll on my uni pc, but i get an error. This is unacceptable! Unacceptableeeeeeeee!!!"
2022-08-30 14:25:40 +0200 <int-e> It could be worse... imagine they had succeeded and actually tried the language.
2022-08-30 14:25:59 +0200sagax(~sagax_nb@user/sagax) (Quit: Konversation terminated!)
2022-08-30 14:26:24 +0200 <int-e> > how does this work
2022-08-30 14:26:25 +0200 <lambdabot> error:
2022-08-30 14:26:26 +0200 <lambdabot> • Variable not in scope: how :: t0 -> t1 -> t2 -> t
2022-08-30 14:26:26 +0200 <lambdabot> • Perhaps you meant ‘show’ (imported from Prelude)error: Variable not in...
2022-08-30 14:26:37 +0200 <int-e> inscrutable! unacceptable!
2022-08-30 14:27:02 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-08-30 14:29:51 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection)
2022-08-30 14:30:14 +0200nilradical(~nilradica@user/naso)
2022-08-30 14:30:35 +0200tomboy64(~tomboy64@user/tomboy64)
2022-08-30 14:32:37 +0200jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff)
2022-08-30 14:33:03 +0200frost(~frost@user/frost)
2022-08-30 14:33:37 +0200king_gs(~Thunderbi@2806:103e:29:a4eb:877e:1dc7:bfe8:2955) (Remote host closed the connection)
2022-08-30 14:33:56 +0200king_gs(~Thunderbi@2806:103e:29:a4eb:877e:1dc7:bfe8:2955)
2022-08-30 14:37:26 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-08-30 14:37:43 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2022-08-30 14:39:27 +0200Guest68(~Guest68@host-193-58-37-158.ip.spadhausen.it)
2022-08-30 14:39:51 +0200CiaoSen(~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-08-30 14:40:53 +0200Guest68(~Guest68@host-193-58-37-158.ip.spadhausen.it) (Client Quit)
2022-08-30 14:41:35 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 255 seconds)
2022-08-30 14:44:03 +0200foul_owl(~kerry@23.82.194.107) (Read error: Connection reset by peer)
2022-08-30 14:49:41 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 14:54:13 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-30 14:54:24 +0200toeffel(~toeffel@user/toeffel) (Quit: quit)
2022-08-30 14:55:36 +0200luffy(~chenqisu1@183.217.201.192) (Ping timeout: 260 seconds)
2022-08-30 14:57:51 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2022-08-30 14:58:26 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-30 14:58:33 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-30 14:58:50 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-08-30 14:59:29 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-08-30 14:59:50 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-08-30 15:00:40 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 15:04:16 +0200foul_owl(~kerry@23.82.194.109)
2022-08-30 15:05:33 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-08-30 15:08:28 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 15:08:29 +0200king_gs(~Thunderbi@2806:103e:29:a4eb:877e:1dc7:bfe8:2955) (Quit: king_gs)
2022-08-30 15:13:37 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-08-30 15:15:26 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-30 15:16:53 +0200radhika(uid560836@id-560836.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-08-30 15:19:55 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-30 15:22:44 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2022-08-30 15:23:55 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2022-08-30 15:27:23 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 15:30:20 +0200toeffel(~toeffel@user/toeffel)
2022-08-30 15:32:19 +0200jonathanx(~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
2022-08-30 15:34:31 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
2022-08-30 15:34:34 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-08-30 15:35:38 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-30 15:41:23 +0200acidjnk(~acidjnk@p200300d6e7137a5221adc74ea987981a.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2022-08-30 15:44:24 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-08-30 15:46:46 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
2022-08-30 15:52:26 +0200slack1256(~slack1256@191.125.227.209)
2022-08-30 15:53:46 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-30 15:54:13 +0200CiaoSen(~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-08-30 15:55:57 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-08-30 15:56:40 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-30 16:00:05 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:2601:5a48:41a4:5314) (Quit: WeeChat 2.8)
2022-08-30 16:01:46 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-08-30 16:04:39 +0200oxide(~lambda@user/oxide)
2022-08-30 16:09:47 +0200oxide(~lambda@user/oxide) (Ping timeout: 268 seconds)
2022-08-30 16:12:47 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-08-30 16:13:11 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
2022-08-30 16:14:22 +0200shriekingnoise(~shrieking@186.137.167.202)
2022-08-30 16:21:34 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 244 seconds)
2022-08-30 16:23:26 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-08-30 16:27:45 +0200kuribas`(~user@silversquare.silversquare.eu)
2022-08-30 16:28:43 +0200swamp_(~zmt00@user/zmt00)
2022-08-30 16:29:31 +0200kuribas(~user@silversquare.silversquare.eu) (Ping timeout: 268 seconds)
2022-08-30 16:29:46 +0200oxide(~lambda@user/oxide)
2022-08-30 16:30:05 +0200coot(~coot@213.134.176.158)
2022-08-30 16:32:44 +0200zmt01(~zmt00@user/zmt00) (Ping timeout: 255 seconds)
2022-08-30 16:34:31 +0200jonathanx(~jonathan@h-98-128-168-222.NA.cust.bahnhof.se)
2022-08-30 16:35:09 +0200Luj(~Luj@2a01:e0a:5f9:9681:aeac:b908:3592:7c4d) (Quit: The Lounge - https://thelounge.chat)
2022-08-30 16:35:09 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-08-30 16:36:03 +0200Luj(~Luj@2a01:e0a:5f9:9681:aeac:b908:3592:7c4d)
2022-08-30 16:37:17 +0200merijn(~merijn@eduroam.wifi.infracom.nl) (Read error: Connection reset by peer)
2022-08-30 16:38:42 +0200Luj(~Luj@2a01:e0a:5f9:9681:aeac:b908:3592:7c4d) (Client Quit)
2022-08-30 16:39:47 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-08-30 16:41:40 +0200jonathanx(~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) (Remote host closed the connection)
2022-08-30 16:41:50 +0200Luj(~Luj@2a01:e0a:5f9:9681:4627:643b:8710:eef1)
2022-08-30 16:42:34 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-08-30 16:45:31 +0200f-a(f2a@f2a.jujube.ircnow.org)
2022-08-30 16:46:09 +0200 <f-a> is there a binary tree type in base or containers? Apparently I can only find Data.Tree, which is a /rose/ one.
2022-08-30 16:47:00 +0200 <Franciman> hello f-a , do you want a balanced binary tree?
2022-08-30 16:47:20 +0200 <f-a> a simple one would do
2022-08-30 16:47:24 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
2022-08-30 16:47:25 +0200jinsun__(~jinsun@user/jinsun)
2022-08-30 16:47:25 +0200jinsunGuest4940
2022-08-30 16:47:25 +0200Guest4940(~jinsun@user/jinsun) (Killed (calcium.libera.chat (Nickname regained by services)))
2022-08-30 16:47:25 +0200jinsun__jinsun
2022-08-30 16:47:59 +0200oxide(~lambda@user/oxide) (Ping timeout: 268 seconds)
2022-08-30 16:48:25 +0200 <Franciman> a Data.Map could do?
2022-08-30 16:48:57 +0200 <f-a> how is that similar to a tree with two branches?
2022-08-30 16:49:31 +0200 <Franciman> internally it is a binary tree
2022-08-30 16:50:06 +0200 <f-a> oh, did not know
2022-08-30 16:50:10 +0200 <f-a> thanks
2022-08-30 16:50:15 +0200oxide(~lambda@user/oxide)
2022-08-30 16:50:16 +0200jinsun__(~jinsun@user/jinsun)
2022-08-30 16:50:16 +0200jinsun(~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services)))
2022-08-30 16:50:16 +0200jinsun__jinsun
2022-08-30 16:50:36 +0200 <Franciman> unfortunately it seems it is not a binary tree in the base / containers library
2022-08-30 16:50:50 +0200 <f-a> yup, hence my question
2022-08-30 16:52:05 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-30 16:53:33 +0200nate4(~nate@98.45.169.16)
2022-08-30 16:54:19 +0200 <Franciman> probably the haskell foundation thinks you don't need it, be smarter!
2022-08-30 16:54:38 +0200 <Franciman> maybe you don't need it
2022-08-30 16:54:57 +0200 <f-a> :P it is easy enough to write by hand, in all fairness
2022-08-30 16:55:37 +0200 <Franciman> and you can also have the Traversable Foldable etc instances directly automagically
2022-08-30 16:57:54 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 16:58:15 +0200nate4(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-08-30 17:02:53 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-08-30 17:04:19 +0200oxide(~lambda@user/oxide) (Quit: oxide)
2022-08-30 17:04:58 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 17:06:22 +0200acidjnk(~acidjnk@p200300d6e7137a34799b4759adf9bad4.dip0.t-ipconnect.de)
2022-08-30 17:11:31 +0200wonko_(~wjc@2a0e:1c80:2::130) (Ping timeout: 248 seconds)
2022-08-30 17:13:46 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-08-30 17:14:29 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com)
2022-08-30 17:14:58 +0200nilradical(~nilradica@user/naso)
2022-08-30 17:15:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-30 17:16:51 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-30 17:17:34 +0200 <zzz> it't not only easy, it's beautiful
2022-08-30 17:18:08 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-08-30 17:19:40 +0200jakalx(~jakalx@base.jakalx.net)
2022-08-30 17:19:41 +0200nilradical(~nilradica@user/naso) (Ping timeout: 260 seconds)
2022-08-30 17:20:03 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-08-30 17:20:44 +0200MoC(~moc@user/moc)
2022-08-30 17:21:30 +0200 <zzz> https://paste.jrvieira.com/1661872870789
2022-08-30 17:21:58 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-30 17:22:18 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection)
2022-08-30 17:23:00 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net)
2022-08-30 17:25:23 +0200toeffel(~toeffel@user/toeffel) (Ping timeout: 248 seconds)
2022-08-30 17:25:38 +0200mhq(~mhq@host-a59myvj.static.zeelandnet.nl)
2022-08-30 17:25:43 +0200mhq(~mhq@host-a59myvj.static.zeelandnet.nl) (Client Quit)
2022-08-30 17:25:57 +0200mehrad(~mehrad@host-a59myvj.static.zeelandnet.nl)
2022-08-30 17:26:30 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection)
2022-08-30 17:26:47 +0200gambpang(~ishipman@172-6-174-68.lightspeed.cicril.sbcglobal.net)
2022-08-30 17:27:11 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
2022-08-30 17:28:04 +0200nilradical(~nilradica@user/naso)
2022-08-30 17:28:10 +0200mehrad(~mehrad@host-a59myvj.static.zeelandnet.nl) (Client Quit)
2022-08-30 17:30:58 +0200kenran(~kenran@200116b82b799800e67f3795b3ef39ef.dip.versatel-1u1.de)
2022-08-30 17:32:45 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-08-30 17:36:44 +0200mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 268 seconds)
2022-08-30 17:38:53 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-08-30 17:44:30 +0200toeffel(~toeffel@user/toeffel)
2022-08-30 17:45:50 +0200 <[exa]> f-a: normal pure functional binary trees suffer from frequent rewriting of spines, but there are some alternative tree designs that help with that (e.g. the finger tree for Data.Seq which is basically an "inverted" 2-3 tree, and I kinda guess someting similar is used for Data.Map)
2022-08-30 17:46:34 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-30 17:46:52 +0200titibandit(~titibandi@xdsl-87-78-66-58.nc.de)
2022-08-30 17:47:04 +0200 <f-a> thanks
2022-08-30 17:48:57 +0200 <[exa]> (or are these weight-balanced?)
2022-08-30 17:49:42 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-08-30 17:49:46 +0200 <[exa]> btw the first answer here is pretty good https://stackoverflow.com/questions/4166027/what-self-balancing-tree-is-simplest-in-functional-pro…
2022-08-30 17:52:35 +0200CiaoSen(~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2022-08-30 17:57:34 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-30 17:58:48 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-08-30 18:02:17 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds)
2022-08-30 18:03:15 +0200kenran(~kenran@200116b82b799800e67f3795b3ef39ef.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
2022-08-30 18:03:33 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 18:04:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-30 18:05:35 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-08-30 18:05:41 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-08-30 18:05:46 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-08-30 18:05:47 +0200 <nilradical> when i try to run `cabal test`, i get an error: "symbol not found in flat namespace (_sheafzm0zi3zi0zi0zminplace_ToposziFamily_Family_con_info) " I've tried `cabal clean` but it did not help. what is this about?
2022-08-30 18:05:58 +0200f-a(f2a@f2a.jujube.ircnow.org) ()
2022-08-30 18:06:07 +0200 <nilradical> i can do `cabal build` with no errors or warnings
2022-08-30 18:08:43 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-08-30 18:11:38 +0200img(~img@user/img)
2022-08-30 18:11:53 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-08-30 18:12:12 +0200raym(~raym@user/raym) (Remote host closed the connection)
2022-08-30 18:13:30 +0200jinsun__(~jinsun@user/jinsun)
2022-08-30 18:13:30 +0200jinsunGuest5681
2022-08-30 18:13:30 +0200jinsun__jinsun
2022-08-30 18:15:34 +0200jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2022-08-30 18:15:50 +0200jinsun(~jinsun@user/jinsun)
2022-08-30 18:16:16 +0200Guest5681(~jinsun@user/jinsun) (Ping timeout: 244 seconds)
2022-08-30 18:18:44 +0200coldtom(~coldtom@coldrick.cc)
2022-08-30 18:20:23 +0200 <nilradical> ok, it seems the problem is coming from the line `checkParallel $$(discover)` that detects all my tests from hedgeHog that uses template haskell. if i get rid of that and write the names of tests manually it's ok
2022-08-30 18:25:02 +0200ak-coram(~user@catv-80-98-11-153.catv.fixed.vodafone.hu)
2022-08-30 18:26:26 +0200kuribas`(~user@silversquare.silversquare.eu) (Quit: ERC (IRC client for Emacs 26.3))
2022-08-30 18:26:31 +0200 <ak-coram> Hi, I'm experiencing this issue: https://stackoverflow.com/questions/69969060/haskell-hdbc-odbc-connection-gets-disposed-of-immedia…
2022-08-30 18:27:30 +0200 <ak-coram> and the suggestion is to block RTS signals (SIGALRM & SIGVTALRM) so they don't interrupt the ODBC driver code
2022-08-30 18:28:18 +0200 <ak-coram> which all makes sense except that I'm on Windows, which to my knowledge doesn't use signals like this
2022-08-30 18:28:32 +0200Tuplanolla(~Tuplanoll@91-159-69-12.elisa-laajakaista.fi)
2022-08-30 18:29:03 +0200 <geekosaur> it still has timers, though, which may interrupt DB operations. have you tried +RTS -V0
2022-08-30 18:29:04 +0200 <geekosaur> ?
2022-08-30 18:29:42 +0200 <ak-coram> yeah, I've tried +RTS -V0 and it makes my program run longer, but it happens all the same (just later)
2022-08-30 18:30:05 +0200 <ak-coram> is there anything else I'd need to block?
2022-08-30 18:30:18 +0200econo(uid147250@user/econo)
2022-08-30 18:30:47 +0200 <geekosaur> not to my knowledge
2022-08-30 18:31:00 +0200 <geekosaur> not that that proves much since I don't know the Windows RTS
2022-08-30 18:31:27 +0200 <ak-coram> I'm also in unfamiliar territory :)
2022-08-30 18:32:17 +0200 <ak-coram> I've also tried switching to the single-threaded RTS, but that doesn't seem to make a difference
2022-08-30 18:34:03 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
2022-08-30 18:34:09 +0200 <ak-coram> Maybe this has to do something with green threads?
2022-08-30 18:34:18 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-08-30 18:34:25 +0200 <geekosaur> if the single threaded RTS didn't change it then no
2022-08-30 18:34:43 +0200 <geekosaur> (single threaded RTS is green threads, -threaded is OS threads)
2022-08-30 18:36:33 +0200 <ak-coram> ok, but isn't there a scheduler for them which could interrupt FFI calls?
2022-08-30 18:36:34 +0200raym(~raym@user/raym)
2022-08-30 18:37:50 +0200 <geekosaur> there is, but +RTS -V0 switches that off and they yield at every allocation instead of when timer-scheduled
2022-08-30 18:37:58 +0200 <geekosaur> (which is why it slows things down)
2022-08-30 18:39:40 +0200 <ak-coram> That is good to know!
2022-08-30 18:39:43 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-30 18:41:19 +0200Midjak(~Midjak@82.66.147.146)
2022-08-30 18:41:45 +0200 <ak-coram> Any ideas how the scheduler takes control of an OS thread on Windows?
2022-08-30 18:44:12 +0200 <geekosaur> nope
2022-08-30 18:44:32 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-08-30 18:44:59 +0200 <ak-coram> I was thinking of logging the system calls, maybe I'll find something close to the crash
2022-08-30 18:45:26 +0200 <ak-coram> but it would be nice to know what to look for :)
2022-08-30 18:46:23 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds)
2022-08-30 18:49:49 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net)
2022-08-30 18:50:23 +0200 <tdammers> isn't -threaded green threads too, only dispatched over multiple OS threads (a.k.a. "capabilities")?
2022-08-30 18:50:40 +0200 <geekosaur> I think so, yes
2022-08-30 18:50:55 +0200 <ak-coram> yes, it should be
2022-08-30 18:51:35 +0200 <geekosaur> hm. what version of ghc are you using?
2022-08-30 18:52:02 +0200jludwig(~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in)
2022-08-30 18:52:11 +0200 <ak-coram> 9.2.4
2022-08-30 18:52:24 +0200 <ak-coram> but this happens in older versions too
2022-08-30 18:52:30 +0200 <geekosaur> okay, so it won't be the FFI+GC issue in 9.2.0-9.2.3
2022-08-30 18:53:04 +0200jludwig(~justin@li657-110.members.linode.com)
2022-08-30 18:54:02 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-30 19:02:27 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 248 seconds)
2022-08-30 19:05:51 +0200eikke(~NicolasT@user/NicolasT) (Ping timeout: 260 seconds)
2022-08-30 19:05:53 +0200nilradical(~nilradica@user/naso) ()
2022-08-30 19:05:57 +0200kimjetwav(~user@2607:fea8:235e:b600:e07a:6ed5:9434:8fc4)
2022-08-30 19:07:15 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-30 19:12:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-30 19:21:34 +0200kimjetwav(~user@2607:fea8:235e:b600:e07a:6ed5:9434:8fc4) (Remote host closed the connection)
2022-08-30 19:21:56 +0200kimjetwav(~user@2607:fea8:235e:b600:69c4:d208:cb71:54a6)
2022-08-30 19:22:59 +0200chele(~chele@user/chele) (Remote host closed the connection)
2022-08-30 19:31:29 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-08-30 19:31:54 +0200Guest|93(~Guest|93@h31-192-199-23.cust.a3fiber.se)
2022-08-30 19:32:01 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-30 19:32:13 +0200Guest|93(~Guest|93@h31-192-199-23.cust.a3fiber.se) (Client Quit)
2022-08-30 19:35:34 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-08-30 19:38:16 +0200slac49339(~slack1256@186.11.99.53)
2022-08-30 19:38:21 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
2022-08-30 19:38:58 +0200slack1256(~slack1256@191.125.227.209) (Read error: Connection reset by peer)
2022-08-30 19:39:10 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-08-30 19:39:57 +0200gmg(~user@user/gehmehgeh)
2022-08-30 19:41:08 +0200 <ak-coram> ok, I can reproduce the issue on Linux too with the signals blocked
2022-08-30 19:41:51 +0200 <ak-coram> I think it might be a bug in the HDBC-odbc bindings, if I turn on tracing (enable a print function) the issue goes away
2022-08-30 19:42:23 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-30 19:42:45 +0200flinner(~flinner__@2001:16a2:786c:3700:508e:cc20:ba1f:1cee)
2022-08-30 19:42:45 +0200flinner(~flinner__@2001:16a2:786c:3700:508e:cc20:ba1f:1cee) (Changing host)
2022-08-30 19:42:45 +0200flinner(~flinner__@user/flinner)
2022-08-30 19:44:12 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-30 19:45:23 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net)
2022-08-30 19:45:46 +0200flinner(~flinner__@user/flinner) (Client Quit)
2022-08-30 19:46:32 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-30 19:49:13 +0200razetime(~quassel@117.254.34.228) (Remote host closed the connection)
2022-08-30 19:50:59 +0200toeffel(~toeffel@user/toeffel) (Ping timeout: 248 seconds)
2022-08-30 19:51:35 +0200 <mrianbloom> If you have a monad transformer stack that includes two StateT transformers each with a unique state type is there a way to automatically lift to the right layer just by annotating the type of a 'get' statement (in the MonadState typeclass)?
2022-08-30 19:53:05 +0200 <dolio> No.
2022-08-30 19:53:21 +0200 <Rembane> mrianbloom: You can write that function yourself though by lifting the right number of times.
2022-08-30 19:53:31 +0200 <Rembane> mrianbloom: ...and name it something else than `get`
2022-08-30 19:53:36 +0200david_(~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d)
2022-08-30 19:53:41 +0200 <david_> Hi
2022-08-30 19:53:53 +0200vglfr(~vglfr@145.224.94.248) (Ping timeout: 255 seconds)
2022-08-30 19:53:58 +0200 <david_> I wanted to create a type alias
2022-08-30 19:53:58 +0200david_Guest4971
2022-08-30 19:54:02 +0200 <Guest4971> Hello
2022-08-30 19:54:15 +0200 <Guest4971> I wanted to create a type alias (can you read me?)
2022-08-30 19:54:32 +0200 <Guest4971> something like: newtype Matrix = Ord e => A.Array (Int, Int) e
2022-08-30 19:54:48 +0200 <Guest4971> but pretty sure this is wrong; any idea on how to do this?
2022-08-30 19:55:51 +0200coot(~coot@213.134.176.158)
2022-08-30 19:56:00 +0200 <monochrom> type Matrix e = A.Array (Int,Int) e
2022-08-30 19:56:01 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2022-08-30 19:56:10 +0200 <geekosaur> that's viable if you expose the e and probably move the constraint outside the newtyoe
2022-08-30 19:56:14 +0200 <geekosaur> *newtype
2022-08-30 19:56:25 +0200vglfr(~vglfr@145.224.94.248)
2022-08-30 19:56:27 +0200 <geekosaur> listen to monochrom
2022-08-30 19:56:35 +0200 <monochrom> :)
2022-08-30 19:56:59 +0200 <geekosaur> I missed that it was a newtype
2022-08-30 19:57:08 +0200 <geekosaur> the names for these things are a bit confusing
2022-08-30 19:57:30 +0200 <geekosaur> "type" creates a type alias; "data" creates a new type; "newtype" wraps an existing type so it becomes distinct
2022-08-30 19:57:32 +0200vglfr(~vglfr@145.224.94.248) (Remote host closed the connection)
2022-08-30 19:57:37 +0200 <monochrom> Skip the "Ord e". Move it to those functions that actually need it.
2022-08-30 19:57:41 +0200 <geekosaur> (like a new type, without actually being one)
2022-08-30 19:57:42 +0200 <Guest4971> ho yes, what I really want is a type alias
2022-08-30 19:57:44 +0200 <mrianbloom> I'm hoping to write something that is polymorphic over different stacks. Hoping to just say that one state type is in stack with a constraint.
2022-08-30 19:57:58 +0200yvan-sraka(~yvan-srak@2a02:2788:224:71c:770a:5d50:c269:721e)
2022-08-30 19:58:13 +0200 <geekosaur> mrianbloom, I think mtl does not support that well. effect systems might work better but have their own issues
2022-08-30 19:58:48 +0200 <mrianbloom> I see. What if I wrap StateT in a newtype and derive instances?
2022-08-30 19:59:16 +0200 <monochrom> That doesn't change your issue.
2022-08-30 19:59:21 +0200 <geekosaur> you're still in trouble if one of the derived instances is StateT
2022-08-30 19:59:27 +0200 <geekosaur> er, MonadState
2022-08-30 19:59:43 +0200 <geekosaur> "there can be only one™"
2022-08-30 19:59:46 +0200 <monochrom> Your issue is that being polymorphic in MonadState it resolves to just one of the StateT, probably the outermost one.
2022-08-30 20:00:20 +0200ak-coram(~user@catv-80-98-11-153.catv.fixed.vodafone.hu) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 29.0.50))
2022-08-30 20:00:43 +0200 <monochrom> It can only be solved by either giving up polymorphism or doubling down on polymorphism. The latter means you create MonadState2 for the inner StateT.
2022-08-30 20:00:50 +0200 <geekosaur> you could have a second one by lifting past the first one. but there's nothing that will help you do that, or hide which one's outer and which inner
2022-08-30 20:01:14 +0200 <monochrom> Oh and then of course the inner StateT needs renaming too.
2022-08-30 20:02:43 +0200 <monochrom> There is a reason a lot of us conclude that mtl teaches you a great idea but you don't use mtl itself per se, you create your own types and classes custom-made to your problem domain.
2022-08-30 20:02:44 +0200 <mrianbloom> I see, it seems like I can wrap all of this in newtypes just wondering if I have to wrap MonadState itself? As in write type specific 'get'.
2022-08-30 20:03:15 +0200 <monochrom> It's like saying "don't use (,) and Either, make your own custom-named equivalents" on steroid.
2022-08-30 20:04:56 +0200 <Rembane> monochrom: I've been drinking abstraction tea the whole day, so I wonder if there is a MonadStateN?
2022-08-30 20:05:06 +0200 <monochrom> Haha
2022-08-30 20:06:36 +0200 <monochrom> OK so technically, I think but I haven't checked, you can have "(MonadState m X, MonadState m Y) =>", and "StateT X ... StateT Y", and if X and Y are distinct, then "get :: m X" and "get :: m Y" will resolve to what you want.
2022-08-30 20:06:55 +0200 <Rembane> I sense a big but here. :)
2022-08-30 20:07:14 +0200 <monochrom> No no no, I'm going to crank that up to eleven!
2022-08-30 20:07:23 +0200 <Rembane> Sweet!
2022-08-30 20:09:33 +0200 <dolio> MTL isn't the problem. The problem is trying to implement a compound state by two state effects that are 'automatically' resolved by type.
2022-08-30 20:09:38 +0200 <monochrom> So perhaps you can define "newtype NthStateT (n :: Nat) s m a = ..." and the corresponding class, so you can have "(NthMonadState 3 m X, NthMonadState 10 m Y) =>"...
2022-08-30 20:10:11 +0200gustik(~gustik@2a01:c844:2457:2220:475d:34f:d571:996f)
2022-08-30 20:11:08 +0200 <monochrom> Oh hey maybe I can also apply that to "liftAn :: (n :: Nat) -> ..."
2022-08-30 20:11:12 +0200vglfr(~vglfr@145.224.94.248)
2022-08-30 20:11:40 +0200 <dolio> When you want to have multiple pieces of state, you used names/references.
2022-08-30 20:12:23 +0200 <monochrom> err I guess it's "liftAn :: Proxy (n :: Nat) -> ...".
2022-08-30 20:13:28 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-08-30 20:14:42 +0200 <monochrom> I'm going to name my idea "indexed state monads" just so as to confuse everyone who already knows "indexed monads". >:)
2022-08-30 20:15:51 +0200vglfr(~vglfr@145.224.94.248) (Ping timeout: 260 seconds)
2022-08-30 20:18:04 +0200yvan-sraka(~yvan-srak@2a02:2788:224:71c:770a:5d50:c269:721e) (Remote host closed the connection)
2022-08-30 20:18:22 +0200yvan-sraka(~yvan-srak@2a02:2788:224:71c:379c:2082:939f:f0c9)
2022-08-30 20:19:41 +0200toeffel(~toeffel@user/toeffel)
2022-08-30 20:20:36 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-30 20:21:33 +0200 <mrianbloom> It just seems like if the state type itself is unique, you should be able to lift to the appropriate one.
2022-08-30 20:22:00 +0200Alex_test(~al_test@178.34.163.186) (Ping timeout: 268 seconds)
2022-08-30 20:22:09 +0200Pickchea(~private@user/pickchea)
2022-08-30 20:22:10 +0200 <mrianbloom> I guess that requires incoherent instances...
2022-08-30 20:22:43 +0200AlexZenon(~alzenon@178.34.163.186) (Ping timeout: 252 seconds)
2022-08-30 20:23:49 +0200AlexNoo(~AlexNoo@178.34.163.186) (Ping timeout: 268 seconds)
2022-08-30 20:24:01 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-08-30 20:24:22 +0200benin0(~benin@183.82.205.66) (Quit: The Lounge - https://thelounge.chat)
2022-08-30 20:25:34 +0200sammelweis(~quassel@mobile-166-176-249-17.mycingular.net)
2022-08-30 20:26:08 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-08-30 20:26:13 +0200vglfr(~vglfr@145.224.94.248)
2022-08-30 20:29:00 +0200yvan-sraka(~yvan-srak@2a02:2788:224:71c:379c:2082:939f:f0c9) (Ping timeout: 252 seconds)
2022-08-30 20:30:36 +0200Wenji(~Wenji@mainpc.lha.sgsnet.se)
2022-08-30 20:32:46 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 260 seconds)
2022-08-30 20:33:02 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-08-30 20:33:39 +0200swamp_(~zmt00@user/zmt00) (Quit: Leaving)
2022-08-30 20:34:49 +0200 <qrpnxz> monochrom: i think ya meant MonadState X m and so on
2022-08-30 20:36:11 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-08-30 20:36:46 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-08-30 20:37:22 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-08-30 20:37:45 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2022-08-30 20:38:00 +0200 <qrpnxz> as for picking a state. You can use type applications or sigs to disambiguate, or unify the state into one object and then use `zoom` from lens to pick what you want. Some eff systems also come with plugins that will help GHC figure out the state you want without having to annotate.
2022-08-30 20:38:02 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
2022-08-30 20:39:02 +0200zmt00(~zmt00@user/zmt00)
2022-08-30 20:39:14 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-08-30 20:39:34 +0200Lord_of_Life_Lord_of_Life
2022-08-30 20:39:44 +0200 <mrianbloom> qrpnxz: I see. If I want to stick with monad transformers how would I specify a constraint that says that the stack contains a specific state: MonadState state m?
2022-08-30 20:40:01 +0200 <qrpnxz> just like that: MonadState state m
2022-08-30 20:41:21 +0200 <qrpnxz> you can also make the states explicit as arguments to a lambda, do your business, and then when you are done wrap the lambdas back into StateT again and hoist them into your stack.
2022-08-30 20:42:15 +0200 <qrpnxz> it depends how much you are going to touch state and the nature of the function which of these techniques will come more natural
2022-08-30 20:42:28 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-08-30 20:42:31 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-08-30 20:42:37 +0200 <mrianbloom> So I believe that's what I'm doing right now (specifying a MonadState constraint) but I get a type error saying that its trying to match the state to the top of the stack.
2022-08-30 20:43:02 +0200 <qrpnxz> even when you annotate the state type at the use site?
2022-08-30 20:43:18 +0200 <qrpnxz> it should skip the non-matching state and try the other one if you annotate
2022-08-30 20:43:35 +0200 <qrpnxz> post some code maybe?
2022-08-30 20:45:19 +0200 <mrianbloom> Its before I get to the use site unfortunately. I'm basically saying that in order to use this function over a monad, the monad must have this constraint and then when I try to use the function the constraint causes the type error. Sorry if this is convoluted but I don't have example code lined up yet, its for a project at work.
2022-08-30 20:45:58 +0200 <qrpnxz> what does the error look like
2022-08-30 20:46:26 +0200 <mrianbloom> https://www.irccloud.com/pastebin/Q2Ix5qkL/
2022-08-30 20:46:56 +0200slack1256(~slack1256@191.125.227.209)
2022-08-30 20:46:59 +0200fserucas(~fserucas@89.214.116.132) (Ping timeout: 255 seconds)
2022-08-30 20:47:02 +0200 <mrianbloom> So I believe the DMap is the upper layer, the CollectorEnvironment is the next layer down.
2022-08-30 20:47:31 +0200 <qrpnxz> can you paste your transformer stack?
2022-08-30 20:47:56 +0200 <mrianbloom> https://www.irccloud.com/pastebin/AEDuy3mF/
2022-08-30 20:48:50 +0200 <mrianbloom> Sorry lots of type aliases here, CollectorT is an alias for StateT and so is EnvT.
2022-08-30 20:48:52 +0200jakalx(~jakalx@base.jakalx.net)
2022-08-30 20:49:07 +0200slac49339(~slack1256@186.11.99.53) (Ping timeout: 252 seconds)
2022-08-30 20:49:36 +0200 <mrianbloom> https://www.irccloud.com/pastebin/mllPBRuO/
2022-08-30 20:49:48 +0200 <mrianbloom> I'm in deeep.
2022-08-30 20:50:23 +0200 <monochrom> Is there anything that stops you from merging the two StateT's into one?
2022-08-30 20:51:01 +0200bliminse(~bliminse@user/bliminse) (Quit: leaving)
2022-08-30 20:52:14 +0200 <mrianbloom> It's just a seperation of concerns thing really. I construct algebras that evaluate a term structure and the SubstEnv type is just a general type for dealing with call-by-value variables while the collector is really specific to this function.
2022-08-30 20:53:34 +0200 <mrianbloom> Like I said, I wish I had better example code that I can share. I'm hoping to find out the most common way of handling this issue without writing a ton of boilerplate.
2022-08-30 20:53:36 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2022-08-30 20:55:10 +0200nate4(~nate@98.45.169.16)
2022-08-30 20:57:08 +0200 <qrpnxz> i have no idea why it's trying to match "Data.Dependent.Map.Internal.DMap" is you told it to match "CollectorEnvironment HyDeed"
2022-08-30 20:57:10 +0200lyle(~lyle@104.246.145.85)
2022-08-30 20:57:15 +0200 <qrpnxz> *if
2022-08-30 20:58:17 +0200 <qrpnxz> like, that's not even the other State, just a random third type that it has no business being. Somewhere you are doing a get or put or modify that's implying a non-sense type
2022-08-30 20:58:38 +0200trillp(~trillp@69.233.98.238) (Quit: nyaa~)
2022-08-30 20:59:00 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
2022-08-30 20:59:12 +0200 <lyle> It seems impossible to open a file for reading and writing at the same time (I get resource busy file is locked.) Is there a way around this? Hard links don't help.
2022-08-30 20:59:15 +0200 <mrianbloom> qrpnxz: I'm actually using a type family to describe the constraint so that might be the source of the problem...
2022-08-30 20:59:20 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-08-30 21:00:11 +0200nate4(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-08-30 21:00:26 +0200 <monochrom> Separation of concerns to me means both what you said and also replace the generic MonadState by two distinct custom-made domain-specific classes MonadSubStEnv and MonadTheOtherOne so now there is no room for confusion.
2022-08-30 21:00:47 +0200 <monochrom> Seriously, the very word "MonadState" is the anti-thesis to separation of concerns.
2022-08-30 21:01:15 +0200 <qrpnxz> lyle: maybe this: https://stackoverflow.com/questions/5053135/resource-busy-file-is-locked-error-in-haskell
2022-08-30 21:01:36 +0200 <monochrom> Two "states" for two entirely orthogonal purposes get lumped into the same "MonadState". That is called melting pot of concerns.
2022-08-30 21:01:56 +0200 <qrpnxz> excellent point mono
2022-08-30 21:02:12 +0200 <qrpnxz> That's actually the proper way to go i forgot
2022-08-30 21:02:15 +0200 <mrianbloom> I see. I started doing that and just felt like I was writing a bunch of boilerplate just to get the type system to select the right instance.
2022-08-30 21:02:41 +0200 <qrpnxz> i mean, it's is boiler plate, but i think you can write a universal pass-through instance for those
2022-08-30 21:02:46 +0200 <qrpnxz> *it is
2022-08-30 21:03:24 +0200 <monochrom> I don't see boilerplate. I see structural scaffolding.
2022-08-30 21:03:25 +0200 <qrpnxz> unless you have ContT in your stack i guess
2022-08-30 21:03:51 +0200 <monochrom> Scaffolding that defines structures and roles.
2022-08-30 21:04:33 +0200dsrt^(~dsrt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
2022-08-30 21:04:36 +0200 <monochrom> And you can cut out 50% of that if you don't go polymorphic so you don't even have those two classes.
2022-08-30 21:04:54 +0200 <mrianbloom> Ok, so let's say I change those type aliases to newtypes or data. Which classes would I need to instantiate to make them play well with the rest of mtl?
2022-08-30 21:05:13 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-08-30 21:05:58 +0200 <monochrom> I'll tell you what I did to toy interpreters in my course.
2022-08-30 21:06:26 +0200chimp_(~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Read error: Connection reset by peer)
2022-08-30 21:06:47 +0200chimp_(~Psybur@c-76-123-45-25.hsd1.va.comcast.net)
2022-08-30 21:07:00 +0200AlexNoo(~AlexNoo@178.34.163.186)
2022-08-30 21:07:21 +0200Alex_test(~al_test@178.34.163.186)
2022-08-30 21:07:25 +0200 <monochrom> On an assignment, I have the equiv of Writer. I rename it to TracyModel so it is ungooglable, and also it's a good name for the semantica model of a language that has a "trace" command.
2022-08-30 21:08:15 +0200 <monochrom> I create the corresponding TracyMonad class to generalize TracyModel. But there is only one reason:
2022-08-30 21:09:29 +0200 <monochrom> I declare the interpreter type to be "TracyMonad m => Expr -> m Value" to forbid students from using the TracyModel data constructor directly.
2022-08-30 21:09:36 +0200 <monochrom> That's really the only reason.
2022-08-30 21:09:59 +0200AlexZenon(~alzenon@178.34.163.186)
2022-08-30 21:10:01 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-08-30 21:10:06 +0200gustik(~gustik@2a01:c844:2457:2220:475d:34f:d571:996f) (Quit: Leaving)
2022-08-30 21:10:07 +0200 <mrianbloom> I see.
2022-08-30 21:10:22 +0200 <darkling> I feel that there's an unexplored Thunderbirds reference to shoe-horn into that assignment. :)
2022-08-30 21:11:04 +0200hays(rootvegeta@fsf/member/hays) (Remote host closed the connection)
2022-08-30 21:11:16 +0200 <mrianbloom> So do you remember which other classes TracyModel needs to instantiate?
2022-08-30 21:11:19 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 21:11:21 +0200 <monochrom> I want them to see there is a low level of using TracyModel itself to build up pure, >>=, and the TracyMonad method "msg". And then there is a high level of building upon those for the interpreter itself.
2022-08-30 21:12:01 +0200 <monochrom> Now, on the exam.
2022-08-30 21:13:06 +0200 <monochrom> On the exam, I have the equiv of StateT Writer, except I define the merged type, I haven't taught them StateT, but they know State and Tracy.
2022-08-30 21:13:19 +0200eikke(~NicolasT@user/NicolasT)
2022-08-30 21:13:28 +0200 <monochrom> This time I don't bother creating a class.
2022-08-30 21:13:37 +0200neceve(~quassel@2.26.93.14)
2022-08-30 21:13:52 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-30 21:13:54 +0200 <monochrom> I just have part (a) "implement pure >>= get put msg for this combined type".
2022-08-30 21:14:16 +0200 <monochrom> And part (b) "using only those functions, not the type itself, complete the interpreter".
2022-08-30 21:14:27 +0200 <qrpnxz> mrianbloom: instances are for: 1) you have an different implementation. 2) you want automatic lifting to transformers above that effect
2022-08-30 21:14:47 +0200 <monochrom> The exam is marked by humans. I can give instructions and see whether the students comply.
2022-08-30 21:16:01 +0200 <monochrom> The assignment is automarked. I use statically-checked parametricity to force the desired solution.
2022-08-30 21:17:10 +0200 <monochrom> You do not need polymorphism until you need it.
2022-08-30 21:17:41 +0200 <Rembane> But it's quite cool
2022-08-30 21:17:42 +0200 <qrpnxz> amen
2022-08-30 21:17:54 +0200 <qrpnxz> i should get that on a plaque for my wall
2022-08-30 21:18:06 +0200 <qrpnxz> "You do not need polymoriphism until you need it."
2022-08-30 21:18:07 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-08-30 21:18:27 +0200 <monochrom> You may also like: https://www.vex.net/~trebla/humour/tautologies.html :)
2022-08-30 21:18:39 +0200 <mrianbloom> qprnxz: I think automatic lifting is really all I want.
2022-08-30 21:18:57 +0200 <qrpnxz> "0. “X is like Y” can always be argued to be true." i already disagree :(
2022-08-30 21:19:31 +0200 <monochrom> Seriously, if you have a substitution environment for your interpreter, I very much doubt that "get" and "put" are the right level in the first place.
2022-08-30 21:19:57 +0200 <qrpnxz> "Every inexplicable problem is caused by something you don't think is the cause." another good one
2022-08-30 21:20:24 +0200 <monochrom> The real operations of a substutition environment are "add" and "apply". "get" and "put" are implementation details that shouldn't be visible.
2022-08-30 21:21:11 +0200neceve(~quassel@2.26.93.14) (Ping timeout: 260 seconds)
2022-08-30 21:21:14 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-30 21:21:33 +0200 <monochrom> My TracyMonad can have an addition excuse for its existence because at least I do have another instance in mind, namely IO.
2022-08-30 21:21:53 +0200 <monochrom> What is the right of existence for MonadState in an interpreter?
2022-08-30 21:24:05 +0200 <dolio> Certainly, MonadState constraints are not an adequate substitute for named references.
2022-08-30 21:24:08 +0200 <qrpnxz> if all your state lives there, it makes sense. Or local state of that function that you run there as well
2022-08-30 21:24:09 +0200Wenji(~Wenji@mainpc.lha.sgsnet.se) (Quit: Client closed)
2022-08-30 21:24:20 +0200 <dolio> It is like having a single global variable for each type.
2022-08-30 21:24:33 +0200 <dolio> And expecting the variable to be resolved by the type.
2022-08-30 21:25:14 +0200 <qrpnxz> that's why i like the zoom approach, then you have only one state to worry about, and the substates have names
2022-08-30 21:25:27 +0200 <dolio> And in the presence of polymorphism, you may not know that two different abstract variable references are actually references to the same variable.
2022-08-30 21:25:29 +0200 <qrpnxz> and you can even have multiple of the same type
2022-08-30 21:25:47 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-08-30 21:25:47 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2022-08-30 21:26:26 +0200cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2022-08-30 21:26:53 +0200cheater(~Username@user/cheater)
2022-08-30 21:27:29 +0200toeffel(~toeffel@user/toeffel) (Quit: quit)
2022-08-30 21:29:33 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 21:29:59 +0200 <monochrom> That reminds me of what procedure calls were compiled to, before Peter Naur said "just use a stack".
2022-08-30 21:30:48 +0200 <monochrom> Every procedure was given a global word-size variable for storing the return address when called.
2022-08-30 21:31:24 +0200 <monochrom> This was why no one was ready to believe that Naur could do recursion.
2022-08-30 21:32:09 +0200 <dolio> Yeah.
2022-08-30 21:32:11 +0200 <monochrom> Also am I the only one who suspect that you should s/State/Reader/ for substitution environments?
2022-08-30 21:34:20 +0200 <Franciman> and then haskellers said: just use a thunk
2022-08-30 21:34:22 +0200 <Franciman> :)
2022-08-30 21:34:53 +0200 <Franciman> well maybe to be quite frank it was LazyML the language haskell is inspired from?
2022-08-30 21:34:56 +0200 <Franciman> or miranda
2022-08-30 21:36:13 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-30 21:36:13 +0200 <monochrom> Certainly Miranda had a great influence.
2022-08-30 21:36:16 +0200 <mrianbloom> monochrom: There are functions around those for retrieving and adding to the environment but I'm not sure if Reader will work. The collector is just an append only monad that gives you back a unique id for each item.
2022-08-30 21:36:50 +0200 <monochrom> To a large extent Miranda : Haskell :: Bell Unix : BSD Unix :: PGP : GPG :: ...
2022-08-30 21:37:29 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2022-08-30 21:39:17 +0200 <monochrom> LazyML doesn't go lazy by default, right? It says instead you specify "suspend" and "force".
2022-08-30 21:39:21 +0200 <qrpnxz> if they had a transparent stack, they could hoist a readerT into stateT, which would be nice because then you could see the state is not been mutated, but i doubt it's worth it
2022-08-30 21:39:48 +0200 <qrpnxz> if the monad is totally opaque and you just have constraints, then you also get that feature
2022-08-30 21:40:00 +0200 <qrpnxz> but being poly on the monad can be terrible for performance
2022-08-30 21:40:29 +0200hgolden(~Howard@cpe-172-251-233-141.socal.res.rr.com)
2022-08-30 21:40:32 +0200 <qrpnxz> actually even in that case you don't get that feature, because StateT doesn't have a Reader instance
2022-08-30 21:40:36 +0200 <qrpnxz> for some reason
2022-08-30 21:40:46 +0200 <qrpnxz> so you'd need another transformer that did have it
2022-08-30 21:41:20 +0200 <monochrom> Probably the "local" method doesn't make a lot of sense for StateT.
2022-08-30 21:42:05 +0200 <monochrom> But now I have to mark my StateT Writer question haha.
2022-08-30 21:44:29 +0200 <monochrom> OK I have a student who implemented >>= perfectly but goofed up on get, could not do put.
2022-08-30 21:45:14 +0200 <qrpnxz> you got two options for local: local f ma = get >>= \s -> put (f s) >> ma >> (put s <|> pure ())
2022-08-30 21:45:16 +0200hays(rootvegeta@fsf/member/hays)
2022-08-30 21:47:41 +0200 <qrpnxz> monochrom: so any student curious enough to look at `transformers` should have no problem with your exam?
2022-08-30 21:48:00 +0200 <Rembane> transformers! More than meets the eye!
2022-08-30 21:48:18 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-30 21:54:57 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2022-08-30 21:55:16 +0200ChanServ(ChanServ@services.libera.chat) (*.net *.split)
2022-08-30 21:55:16 +0200litharge(litharge@libera/bot/litharge) (*.net *.split)
2022-08-30 21:55:16 +0200azimut(~azimut@gateway/tor-sasl/azimut) (*.net *.split)
2022-08-30 21:55:16 +0200gmg(~user@user/gehmehgeh) (*.net *.split)
2022-08-30 21:55:16 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (*.net *.split)
2022-08-30 21:55:16 +0200stiell(~stiell@gateway/tor-sasl/stiell) (*.net *.split)
2022-08-30 21:55:16 +0200ec(~ec@gateway/tor-sasl/ec) (*.net *.split)
2022-08-30 21:55:16 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (*.net *.split)
2022-08-30 21:55:16 +0200chexum(~quassel@gateway/tor-sasl/chexum) (*.net *.split)
2022-08-30 21:55:16 +0200califax(~califax@user/califx) (*.net *.split)
2022-08-30 21:55:16 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (*.net *.split)
2022-08-30 21:55:16 +0200jpds(~jpds@gateway/tor-sasl/jpds) (*.net *.split)
2022-08-30 21:55:16 +0200AlexZenon(~alzenon@178.34.163.186) (*.net *.split)
2022-08-30 21:55:16 +0200Guest4971(~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d) (*.net *.split)
2022-08-30 21:55:16 +0200jludwig(~justin@li657-110.members.linode.com) (*.net *.split)
2022-08-30 21:55:16 +0200img(~img@user/img) (*.net *.split)
2022-08-30 21:55:16 +0200gambpang(~ishipman@172-6-174-68.lightspeed.cicril.sbcglobal.net) (*.net *.split)
2022-08-30 21:55:16 +0200Luj(~Luj@2a01:e0a:5f9:9681:4627:643b:8710:eef1) (*.net *.split)
2022-08-30 21:55:16 +0200__monty__(~toonn@user/toonn) (*.net *.split)
2022-08-30 21:55:16 +0200mima(~mmh@aftr-62-216-207-250.dynamic.mnet-online.de) (*.net *.split)
2022-08-30 21:55:16 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (*.net *.split)
2022-08-30 21:55:16 +0200phma(phma@2001:5b0:210b:e1a8:238a:6544:b808:4f6c) (*.net *.split)
2022-08-30 21:55:16 +0200nerdypepper(~nerdypepp@user/nerdypepper) (*.net *.split)
2022-08-30 21:55:16 +0200gentauro(~gentauro@user/gentauro) (*.net *.split)
2022-08-30 21:55:16 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (*.net *.split)
2022-08-30 21:55:16 +0200noteness(~noteness@user/noteness) (*.net *.split)
2022-08-30 21:55:16 +0200notzmv(~zmv@user/notzmv) (*.net *.split)
2022-08-30 21:55:16 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (*.net *.split)
2022-08-30 21:55:16 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (*.net *.split)
2022-08-30 21:55:17 +0200rburkholder(~blurb@96.45.2.121) (*.net *.split)
2022-08-30 21:55:17 +0200bah(~bah@l1.tel) (*.net *.split)
2022-08-30 21:55:17 +0200cjay(cjay@nerdbox.nerd2nerd.org) (*.net *.split)
2022-08-30 21:55:17 +0200Henkru(henkru@kapsi.fi) (*.net *.split)
2022-08-30 21:55:17 +0200xsarnik(xsarnik@lounge.fi.muni.cz) (*.net *.split)
2022-08-30 21:55:17 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (*.net *.split)
2022-08-30 21:55:17 +0200Philonous_(~Philonous@user/philonous) (*.net *.split)
2022-08-30 21:55:17 +0200ezzieygu1wuf(~Unknown@user/ezzieyguywuf) (*.net *.split)
2022-08-30 21:55:17 +0200goldstein(~goldstein@goldstein.rs) (*.net *.split)
2022-08-30 21:55:17 +0200rembo10_(~rembo10@main.remulis.com) (*.net *.split)
2022-08-30 21:55:17 +0200einfair_(~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) (*.net *.split)
2022-08-30 21:55:17 +0200opqdonut(opqdonut@pseudo.fixme.fi) (*.net *.split)
2022-08-30 21:55:17 +0200gff_(~gff@user/gff) (*.net *.split)
2022-08-30 21:55:17 +0200Jonno_FT1(~come@api.carswap.me) (*.net *.split)
2022-08-30 21:55:17 +0200dysfigured(dfg@dfg.rocks) (*.net *.split)
2022-08-30 21:55:17 +0200aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split)
2022-08-30 21:55:17 +0200kaol(~kaol@94-237-42-30.nl-ams1.upcloud.host) (*.net *.split)
2022-08-30 21:55:17 +0200glider(~glider@user/glider) (*.net *.split)
2022-08-30 21:55:17 +0200bollu(~bollu@159.65.151.13) (*.net *.split)
2022-08-30 21:55:17 +0200MironZ(~MironZ@nat-infra.ehlab.uk) (*.net *.split)
2022-08-30 21:55:17 +0200ell(~ellie@user/ellie) (*.net *.split)
2022-08-30 21:55:17 +0200tcard_(~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) (*.net *.split)
2022-08-30 21:55:17 +0200qhong(~qhong@rescomp-21-400677.stanford.edu) (*.net *.split)
2022-08-30 21:55:17 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (*.net *.split)
2022-08-30 21:55:17 +0200inversed(~inversed@90.209.137.56) (*.net *.split)
2022-08-30 21:55:17 +0200Me-me(~me-me@user/me-me) (*.net *.split)
2022-08-30 21:55:17 +0200asivitz(uid178348@id-178348.tinside.irccloud.com) (*.net *.split)
2022-08-30 21:55:17 +0200crns(~netcrns@user/crns) (*.net *.split)
2022-08-30 21:55:17 +0200bjobjo(~bjobjo@user/bjobjo) (*.net *.split)
2022-08-30 21:55:17 +0200gnyeki(~gnyeki@user/gnyeki) (*.net *.split)
2022-08-30 21:55:17 +0200Patternmaster(~georg@user/Patternmaster) (*.net *.split)
2022-08-30 21:55:17 +0200hololeap(~quassel@user/hololeap) (*.net *.split)
2022-08-30 21:55:17 +0200shailangsa(~shailangs@host86-185-98-81.range86-185.btcentralplus.com) (*.net *.split)
2022-08-30 21:55:17 +0200raym(~raym@user/raym) (*.net *.split)
2022-08-30 21:55:17 +0200econo(uid147250@user/econo) (*.net *.split)
2022-08-30 21:55:17 +0200acidjnk(~acidjnk@p200300d6e7137a34799b4759adf9bad4.dip0.t-ipconnect.de) (*.net *.split)
2022-08-30 21:55:17 +0200xff0x(~xff0x@2405:6580:b080:900:e0cc:5d40:3d2b:1c07) (*.net *.split)
2022-08-30 21:55:17 +0200Inoperable(~PLAYER_1@fancydata.science) (*.net *.split)
2022-08-30 21:55:17 +0200michalz(~michalz@185.246.204.72) (*.net *.split)
2022-08-30 21:55:17 +0200Linux(~kernel@user/OpenSource) (*.net *.split)
2022-08-30 21:55:17 +0200sibnull[m](~sibnullma@2001:470:69fc:105::1:1291) (*.net *.split)
2022-08-30 21:55:17 +0200troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (*.net *.split)
2022-08-30 21:55:17 +0200mjacob(~mjacob@adrastea.uberspace.de) (*.net *.split)
2022-08-30 21:55:17 +0200gawen(~gawen@user/gawen) (*.net *.split)
2022-08-30 21:55:17 +0200Ram-Z(~Ram-Z@li1814-254.members.linode.com) (*.net *.split)
2022-08-30 21:55:17 +0200[Leary](~Leary]@user/Leary/x-0910699) (*.net *.split)
2022-08-30 21:55:17 +0200immae(~immae@2a01:4f8:141:53e7::) (*.net *.split)
2022-08-30 21:55:17 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (*.net *.split)
2022-08-30 21:55:17 +0200Ranhir(~Ranhir@157.97.53.139) (*.net *.split)
2022-08-30 21:55:18 +0200ajb_(~ajb@mimas.whatbox.ca) (*.net *.split)
2022-08-30 21:55:18 +0200megaTherion(~therion@unix.io) (*.net *.split)
2022-08-30 21:55:18 +0200darxun(sid504814@id-504814.tinside.irccloud.com) (*.net *.split)
2022-08-30 21:55:18 +0200Techcable(~Techcable@user/Techcable) (*.net *.split)
2022-08-30 21:55:18 +0200polykernel[m](~polykerne@user/polykernel) (*.net *.split)
2022-08-30 21:55:18 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de) (*.net *.split)
2022-08-30 21:55:18 +0200lechner(lechner@debian/lechner) (*.net *.split)
2022-08-30 21:55:18 +0200siers(~ij@user/ij) (*.net *.split)
2022-08-30 21:55:18 +0200fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (*.net *.split)
2022-08-30 21:55:18 +0200drlkf(~drlkf@chat.drlkf.net) (*.net *.split)
2022-08-30 21:55:18 +0200hugo(znc@verdigris.lysator.liu.se) (*.net *.split)
2022-08-30 21:55:18 +0200ilichu[m](~ilichumat@2001:470:69fc:105::2:6afb) (*.net *.split)
2022-08-30 21:55:18 +0200arkeet(~arkeet@moriya.ca) (*.net *.split)
2022-08-30 21:55:18 +0200kitty4(~kitty@096-039-147-043.res.spectrum.com) (*.net *.split)
2022-08-30 21:55:18 +0200pareto-optimal-d(~pareto-op@2001:470:69fc:105::1:b61f) (*.net *.split)
2022-08-30 21:55:18 +0200mimmy(~mimmy@2604:a880:cad:d0::3e:1001) (*.net *.split)
2022-08-30 21:55:18 +0200Moyst__(~moyst@user/moyst) (*.net *.split)
2022-08-30 21:55:18 +0200marquis_andras(~marquis_a@27-33-131-201.tpgi.com.au) (*.net *.split)
2022-08-30 21:55:18 +0200bcoppens(~bartcopp@vpn2.bartcoppens.be) (*.net *.split)
2022-08-30 21:55:18 +0200vulpine(xfnw@tilde.team) (*.net *.split)
2022-08-30 21:55:18 +0200tinwood(~tinwood@canonical/tinwood) (*.net *.split)
2022-08-30 21:55:18 +0200Teacup(~teacup@user/teacup) (*.net *.split)
2022-08-30 21:55:18 +0200m1dnight(~christoph@78-22-0-121.access.telenet.be) (*.net *.split)
2022-08-30 21:55:18 +0200lagash(lagash@2605:6400:20:b4:9c76:1538:3398:ce71) (*.net *.split)
2022-08-30 21:55:18 +0200tubogram44(~tubogram@user/tubogram) (*.net *.split)
2022-08-30 21:55:18 +0200Axman6(~Axman6@user/axman6) (*.net *.split)
2022-08-30 21:55:18 +0200nckx(~nckx@tobias.gr) (*.net *.split)
2022-08-30 21:55:18 +0200mncheck(~mncheck@193.224.205.254) (*.net *.split)
2022-08-30 21:55:18 +0200JimL(~quassel@89-162-2-132.fiber.signal.no) (*.net *.split)
2022-08-30 21:55:18 +0200jamestmartin(~james@jtmar.me) (*.net *.split)
2022-08-30 21:55:18 +0200crazazy[m](~crazazyma@2001:470:69fc:105::2:6bd9) (*.net *.split)
2022-08-30 21:55:18 +0200SanchayanMaity(sid478177@id-478177.hampstead.irccloud.com) (*.net *.split)
2022-08-30 21:55:18 +0200idnar(sid12240@debian/mithrandi) (*.net *.split)
2022-08-30 21:55:18 +0200V(~v@ircpuzzles/2022/april/winner/V) (*.net *.split)
2022-08-30 21:55:18 +0200rune(sid21167@id-21167.ilkley.irccloud.com) (*.net *.split)
2022-08-30 21:55:18 +0200teehemkay(sid14792@id-14792.lymington.irccloud.com) (*.net *.split)
2022-08-30 21:55:18 +0200gdd1(~gdd@2001:470:1f13:187:e8a5:fbff:fe29:42f5) (*.net *.split)
2022-08-30 21:55:18 +0200Flow(~none@gentoo/developer/flow) (*.net *.split)
2022-08-30 21:55:18 +0200Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (*.net *.split)
2022-08-30 21:55:18 +0200krjst(~krjst@2604:a880:800:c1::16b:8001) (*.net *.split)
2022-08-30 21:55:18 +0200jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab) (*.net *.split)
2022-08-30 21:55:18 +0200asm(~alexander@user/asm) (*.net *.split)
2022-08-30 21:55:18 +0200Guest1698(~Guest1698@20.83.116.49) (*.net *.split)
2022-08-30 21:55:18 +0200danso(danso@danso.ca) (*.net *.split)
2022-08-30 21:55:18 +0200andjjj23(~irc@107.170.228.47) (*.net *.split)
2022-08-30 21:55:18 +0200dka_(~code-is-a@ns3059207.ip-193-70-33.eu) (*.net *.split)
2022-08-30 21:55:18 +0200NiKaN(sid385034@id-385034.helmsley.irccloud.com) (*.net *.split)
2022-08-30 21:55:18 +0200tired(~tired@user/tired) (*.net *.split)
2022-08-30 21:55:18 +0200kawen(~quassel@static.208.191.216.95.clients.your-server.de) (*.net *.split)
2022-08-30 21:55:18 +0200sclv(sid39734@haskell/developer/sclv) (*.net *.split)
2022-08-30 21:55:18 +0200sunarch(sid526836@user/sunarch) (*.net *.split)
2022-08-30 21:55:18 +0200mxs(~mxs@user/mxs) (*.net *.split)
2022-08-30 21:55:18 +0200dequbed(~dequbed@banana-new.kilobyte22.de) (*.net *.split)
2022-08-30 21:55:18 +0200scav(sid309693@user/scav) (*.net *.split)
2022-08-30 21:55:18 +0200parseval(sid239098@id-239098.helmsley.irccloud.com) (*.net *.split)
2022-08-30 21:55:18 +0200gaze___(sid387101@id-387101.helmsley.irccloud.com) (*.net *.split)
2022-08-30 21:55:19 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (*.net *.split)
2022-08-30 21:55:19 +0200Hobbyboy(Hobbyboy@hobbyboy.co.uk) (*.net *.split)
2022-08-30 21:55:19 +0200shinjipf(~shinjipf@2a02:c207:2082:6685::1) (*.net *.split)
2022-08-30 21:55:19 +0200arahael(~arahael@60-240-64-125.tpgi.com.au) (*.net *.split)
2022-08-30 21:55:19 +0200mrvdb(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (*.net *.split)
2022-08-30 21:55:19 +0200raoul(~raoul@95.179.203.88) (*.net *.split)
2022-08-30 21:55:19 +0200jackhill(~jackhill@kalessin.dragonsnail.net) (*.net *.split)
2022-08-30 21:55:19 +0200APic(apic@apic.name) (*.net *.split)
2022-08-30 21:55:19 +0200adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split)
2022-08-30 21:55:19 +0200koolazer(~koo@user/koolazer) (*.net *.split)
2022-08-30 21:55:19 +0200haveo_(~haveo@sl35.iuwt.fr) (*.net *.split)
2022-08-30 21:55:19 +0200eldritch(~eldritch@user/eldritch) (*.net *.split)
2022-08-30 21:55:19 +0200another-axel-bee(~axel-bee@alexbenishek.com) (*.net *.split)
2022-08-30 21:55:19 +0200dmj`(sid72307@id-72307.hampstead.irccloud.com) (*.net *.split)
2022-08-30 21:55:19 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com) (*.net *.split)
2022-08-30 21:55:19 +0200alanz(sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split)
2022-08-30 21:55:19 +0200jakalx(~jakalx@base.jakalx.net) (*.net *.split)
2022-08-30 21:55:19 +0200hgolden(~Howard@cpe-172-251-233-141.socal.res.rr.com) (*.net *.split)
2022-08-30 21:55:19 +0200geekosaur(~geekosaur@xmonad/geekosaur) (*.net *.split)
2022-08-30 21:55:19 +0200cheater(~Username@user/cheater) (*.net *.split)
2022-08-30 21:55:19 +0200eikke(~NicolasT@user/NicolasT) (*.net *.split)
2022-08-30 21:55:19 +0200Alex_test(~al_test@178.34.163.186) (*.net *.split)
2022-08-30 21:55:19 +0200chimp_(~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (*.net *.split)
2022-08-30 21:55:19 +0200coot(~coot@213.134.176.158) (*.net *.split)
2022-08-30 21:55:19 +0200Midjak(~Midjak@82.66.147.146) (*.net *.split)
2022-08-30 21:55:19 +0200Tuplanolla(~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (*.net *.split)
2022-08-30 21:55:19 +0200titibandit(~titibandi@xdsl-87-78-66-58.nc.de) (*.net *.split)
2022-08-30 21:55:19 +0200coldtom(~coldtom@coldrick.cc) (*.net *.split)
2022-08-30 21:55:19 +0200foul_owl(~kerry@23.82.194.109) (*.net *.split)
2022-08-30 21:55:19 +0200Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (*.net *.split)
2022-08-30 21:55:19 +0200_________(~nobody@user/noodly) (*.net *.split)
2022-08-30 21:55:19 +0200Kaiepi(~Kaiepi@142.68.249.28) (*.net *.split)
2022-08-30 21:55:19 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (*.net *.split)
2022-08-30 21:55:19 +0200kilolympus(~kilolympu@90.203.82.22) (*.net *.split)
2022-08-30 21:55:19 +0200eL_Bart0(eL_Bart0@dietunichtguten.org) (*.net *.split)
2022-08-30 21:55:19 +0200td_(~td@94.134.91.35) (*.net *.split)
2022-08-30 21:55:19 +0200dcoutts_(~duncan@host86-184-242-102.range86-184.btcentralplus.com) (*.net *.split)
2022-08-30 21:55:19 +0200shapr(~user@68.54.166.125) (*.net *.split)
2022-08-30 21:55:19 +0200dwt_(~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (*.net *.split)
2022-08-30 21:55:19 +0200madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (*.net *.split)
2022-08-30 21:55:19 +0200motherfsck(~motherfsc@user/motherfsck) (*.net *.split)
2022-08-30 21:55:19 +0200Putonlalla(~Putonlall@it-cyan.it.jyu.fi) (*.net *.split)
2022-08-30 21:55:19 +0200zaquest(~notzaques@5.130.79.72) (*.net *.split)
2022-08-30 21:55:19 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (*.net *.split)
2022-08-30 21:55:19 +0200tv(~tv@user/tv) (*.net *.split)
2022-08-30 21:55:19 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split)
2022-08-30 21:55:19 +0200Hecate(~mariposa@user/hecate) (*.net *.split)
2022-08-30 21:55:19 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (*.net *.split)
2022-08-30 21:55:19 +0200acarrico(~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) (*.net *.split)
2022-08-30 21:55:19 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split)
2022-08-30 21:55:19 +0200leah_(lp0@heathens.club) (*.net *.split)
2022-08-30 21:55:19 +0200thaumavorio(~thaumavor@thaumavor.io) (*.net *.split)
2022-08-30 21:55:19 +0200tessier(~treed@98.171.210.130) (*.net *.split)
2022-08-30 21:55:19 +0200Rembane(~Rembane@li346-36.members.linode.com) (*.net *.split)
2022-08-30 21:55:19 +0200dumptruckman(~dumptruck@23-239-13-163.ip.linodeusercontent.com) (*.net *.split)
2022-08-30 21:55:19 +0200robbert-vdh(~robbert@robbertvanderhelm.nl) (*.net *.split)
2022-08-30 21:55:19 +0200carbolymer(~carbolyme@dropacid.net) (*.net *.split)
2022-08-30 21:55:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (*.net *.split)
2022-08-30 21:55:19 +0200rockymarine(~rocky@user/rockymarine) (*.net *.split)
2022-08-30 21:55:19 +0200AlexNoo(~AlexNoo@178.34.163.186) (*.net *.split)
2022-08-30 21:55:19 +0200lyle(~lyle@104.246.145.85) (*.net *.split)
2022-08-30 21:55:19 +0200sammelweis(~quassel@mobile-166-176-249-17.mycingular.net) (*.net *.split)
2022-08-30 21:55:19 +0200Pickchea(~private@user/pickchea) (*.net *.split)
2022-08-30 21:55:19 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net) (*.net *.split)
2022-08-30 21:55:19 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (*.net *.split)
2022-08-30 21:55:19 +0200MoC(~moc@user/moc) (*.net *.split)
2022-08-30 21:55:19 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (*.net *.split)
2022-08-30 21:55:19 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (*.net *.split)
2022-08-30 21:55:19 +0200mrmr(~mrmr@user/mrmr) (*.net *.split)
2022-08-30 21:55:19 +0200chronon(~chronon@user/chronon) (*.net *.split)
2022-08-30 21:55:19 +0200jargon(~jargon@184.101.185.66) (*.net *.split)
2022-08-30 21:55:20 +0200ystael(~ystael@user/ystael) (*.net *.split)
2022-08-30 21:55:20 +0200Colere(~colere@about/linux/staff/sauvin) (*.net *.split)
2022-08-30 21:55:20 +0200n8chan(~nate@98.45.169.16) (*.net *.split)
2022-08-30 21:55:20 +0200perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (*.net *.split)
2022-08-30 21:55:20 +0200adium(adium@user/adium) (*.net *.split)
2022-08-30 21:55:20 +0200cyphase(~cyphase@user/cyphase) (*.net *.split)
2022-08-30 21:55:20 +0200kmein(~weechat@user/kmein) (*.net *.split)
2022-08-30 21:55:20 +0200cods(~fred@82-65-232-44.subs.proxad.net) (*.net *.split)
2022-08-30 21:55:20 +0200RMSBach(~guygastin@137.184.131.156) (*.net *.split)
2022-08-30 21:55:20 +0200sloorush(~sloorush@52.187.184.81) (*.net *.split)
2022-08-30 21:55:20 +0200red-snail1(~snail@static.151.210.203.116.clients.your-server.de) (*.net *.split)
2022-08-30 21:55:20 +0200loonycyborg_(loonycybor@chantal.wesnoth.org) (*.net *.split)
2022-08-30 21:55:20 +0200ncf(~n@monade.li) (*.net *.split)
2022-08-30 21:55:20 +0200Igloo(~ian@matrix.chaos.earth.li) (*.net *.split)
2022-08-30 21:55:20 +0200mzan(~quassel@mail.asterisell.com) (*.net *.split)
2022-08-30 21:55:20 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (*.net *.split)
2022-08-30 21:55:20 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split)
2022-08-30 21:55:20 +0200zachel(~zachel@user/zachel) (*.net *.split)
2022-08-30 21:55:20 +0200erisco(~erisco@d24-57-249-233.home.cgocable.net) (*.net *.split)
2022-08-30 21:55:20 +0200xstill_(xstill@fimu/xstill) (*.net *.split)
2022-08-30 21:55:20 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp) (*.net *.split)
2022-08-30 21:55:20 +0200monochrom(trebla@216.138.220.146) (*.net *.split)
2022-08-30 21:55:20 +0200wrengr(~wrengr@201.59.83.34.bc.googleusercontent.com) (*.net *.split)
2022-08-30 21:55:20 +0200LambdaDuck(~anka@ksit.fixme.fi) (*.net *.split)
2022-08-30 21:55:20 +0200martin02(~silas@141.84.69.76) (*.net *.split)
2022-08-30 21:55:20 +0200pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-49-67-70-103-208.dsl.bell.ca) (*.net *.split)
2022-08-30 21:55:20 +0200tomgus1(~tomgus1@176.254.19.153) (*.net *.split)
2022-08-30 21:55:20 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net) (*.net *.split)
2022-08-30 21:55:20 +0200madnight(~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split)
2022-08-30 21:55:20 +0200haskl(~haskl@user/haskl) (*.net *.split)
2022-08-30 21:55:20 +0200maerwald(~maerwald@user/maerwald) (*.net *.split)
2022-08-30 21:55:20 +0200srk(~sorki@user/srk) (*.net *.split)
2022-08-30 21:55:20 +0200fiddlerwoaroof(~fiddlerwo@user/fiddlerwoaroof) (*.net *.split)
2022-08-30 21:55:20 +0200cynomys(~cynomys@user/cynomys) (*.net *.split)
2022-08-30 21:55:20 +0200justache(~justache@user/justache) (*.net *.split)
2022-08-30 21:55:20 +0200ridcully(~ridcully@pd951fa32.dip0.t-ipconnect.de) (*.net *.split)
2022-08-30 21:55:20 +0200blades(~blades@204.48.29.163) (*.net *.split)
2022-08-30 21:55:20 +0200sweater1(~sweater@206.81.18.26) (*.net *.split)
2022-08-30 21:55:20 +0200dfordivam1(~dfordivam@tk2-219-19469.vs.sakura.ne.jp) (*.net *.split)
2022-08-30 21:55:20 +0200darkling(~darkling@savella.carfax.org.uk) (*.net *.split)
2022-08-30 21:55:20 +0200pie_(~pie_bnc@user/pie/x-2818909) (*.net *.split)
2022-08-30 21:55:20 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (*.net *.split)
2022-08-30 21:55:20 +0200c_wraith(~c_wraith@adjoint.us) (*.net *.split)
2022-08-30 21:55:20 +0200macabre(~m@161.35.15.236) (*.net *.split)
2022-08-30 21:55:20 +0200mcglk(~mcglk@131.191.49.120) (*.net *.split)
2022-08-30 21:55:20 +0200heath(~heath@user/heath) (*.net *.split)
2022-08-30 21:55:20 +0200barrucadu(~barrucadu@carcosa.barrucadu.co.uk) (*.net *.split)
2022-08-30 21:55:20 +0200byorgey(~byorgey@155.138.238.211) (*.net *.split)
2022-08-30 21:55:20 +0200caubert(~caubert@user/caubert) (*.net *.split)
2022-08-30 21:55:20 +0200Ristovski(~Ristovski@hellomouse/perf/ristovski) (*.net *.split)
2022-08-30 21:55:20 +0200tolt(~weechat-h@li219-154.members.linode.com) (*.net *.split)
2022-08-30 21:55:20 +0200df(~ben@justworks.xyz) (*.net *.split)
2022-08-30 21:55:20 +0200tstat(~tstat@user/tstat) (*.net *.split)
2022-08-30 21:55:20 +0200tdammers(~tdammers@77.109.72.118.res.static.edpnet.net) (*.net *.split)
2022-08-30 21:55:20 +0200simpleauthority(~simpleaut@user/simpleauthority) (*.net *.split)
2022-08-30 21:55:20 +0200kritzefitz(~kritzefit@debian/kritzefitz) (*.net *.split)
2022-08-30 21:55:20 +0200energizer(~energizer@user/energizer) (*.net *.split)
2022-08-30 21:55:20 +0200kitzman(~kitzman@user/dekenevs) (*.net *.split)
2022-08-30 21:55:20 +0200andreas303(andreas303@ip227.orange.bnc4free.com) (*.net *.split)
2022-08-30 21:55:20 +0200noctux1(KOx7x4g3XX@karif.server-speed.net) (*.net *.split)
2022-08-30 21:55:20 +0200kosmikus(~kosmikus@nullzig.kosmikus.org) (*.net *.split)
2022-08-30 21:55:20 +0200Cheery(~cheery@7-239-179-185.static.tentacle.fi) (*.net *.split)
2022-08-30 21:55:20 +0200mcfrdy(~mcfrdy@user/mcfrdy) (*.net *.split)
2022-08-30 21:55:20 +0200Profpatsch(~Profpatsc@static.88-198-193-255.clients.your-server.de) (*.net *.split)
2022-08-30 21:55:20 +0200marienz(marienz@libera/staff/marienz) (*.net *.split)
2022-08-30 21:55:20 +0200tureba(~tureba@tureba.org) (*.net *.split)
2022-08-30 21:55:20 +0200hexology(~hexology@user/hexology) (*.net *.split)
2022-08-30 21:55:20 +0200ajf___[m](~ajfmatrix@2001:470:69fc:105::2:5be3) (*.net *.split)
2022-08-30 21:55:20 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (*.net *.split)
2022-08-30 21:55:21 +0200alp(~alp@user/alp) (*.net *.split)
2022-08-30 21:55:21 +0200monadplus[m]1(~arnauabel@2001:470:69fc:105::2:6085) (*.net *.split)
2022-08-30 21:55:21 +0200bonz060_(~quassel@2001:bc8:47a4:a23::1) (*.net *.split)
2022-08-30 21:55:21 +0200jonrh(sid5185@id-5185.ilkley.irccloud.com) (*.net *.split)
2022-08-30 21:55:21 +0200rubin55(sid175221@id-175221.hampstead.irccloud.com) (*.net *.split)
2022-08-30 21:55:21 +0200iphy(sid67735@id-67735.lymington.irccloud.com) (*.net *.split)
2022-08-30 21:55:21 +0200Deide1(~deide@user/deide) (*.net *.split)
2022-08-30 21:55:21 +0200Trattue(~Trattue@152.70.182.158) (*.net *.split)
2022-08-30 21:55:21 +0200Zemyla(~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) (*.net *.split)
2022-08-30 21:55:21 +0200dminuoso(~dminuoso@user/dminuoso) (*.net *.split)
2022-08-30 21:55:21 +0200markasoftware(~quassel@107.161.26.124) (*.net *.split)
2022-08-30 21:55:21 +0200Logio(em@kapsi.fi) (*.net *.split)
2022-08-30 21:55:21 +0200piele(~piele@tbonesteak.creativeserver.net) (*.net *.split)
2022-08-30 21:55:21 +0200akhesacaro(~caro@212-83-144-58.rev.poneytelecom.eu) (*.net *.split)
2022-08-30 21:55:21 +0200derelict(~derelict@user/derelict) (*.net *.split)
2022-08-30 21:55:21 +0200kronicmage(user92236@neotame.csclub.uwaterloo.ca) (*.net *.split)
2022-08-30 21:55:21 +0200T_S_(sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split)
2022-08-30 21:55:21 +0200S11001001(sid42510@id-42510.ilkley.irccloud.com) (*.net *.split)
2022-08-30 21:55:21 +0200amir(sid22336@user/amir) (*.net *.split)
2022-08-30 21:55:21 +0200nurupo(~nurupo.ga@user/nurupo) (*.net *.split)
2022-08-30 21:55:21 +0200WaxCPU(Andrew@user/AndrewYu) (*.net *.split)
2022-08-30 21:55:21 +0200TravisAthougies[(~tathougie@2001:470:69fc:105::2:6fbd) (*.net *.split)
2022-08-30 21:55:21 +0200aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9) (*.net *.split)
2022-08-30 21:55:21 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split)
2022-08-30 21:55:21 +0200heartburn(~gass@2a00:d880:3:1::b1e4:b241) (*.net *.split)
2022-08-30 21:55:21 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284) (*.net *.split)
2022-08-30 21:55:21 +0200cdepillabout[m](~cdepillab@2001:470:69fc:105::3d3) (*.net *.split)
2022-08-30 21:55:21 +0200sektor[m](~sektor@2001:470:69fc:105::2:3f60) (*.net *.split)
2022-08-30 21:55:21 +0200conjunctive(sid433686@id-433686.helmsley.irccloud.com) (*.net *.split)
2022-08-30 21:55:21 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) (*.net *.split)
2022-08-30 21:55:21 +0200edwtjo(~edwtjo@fsf/member/edwtjo) (*.net *.split)
2022-08-30 21:55:21 +0200bastelfreak(bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split)
2022-08-30 21:55:21 +0200swistak-(~swistak@185.21.216.141) (*.net *.split)
2022-08-30 21:55:21 +0200tnks(sid412124@id-412124.helmsley.irccloud.com) (*.net *.split)
2022-08-30 21:55:21 +0200alinab(sid468903@id-468903.helmsley.irccloud.com) (*.net *.split)
2022-08-30 21:55:21 +0200ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (*.net *.split)
2022-08-30 21:55:21 +0200acro(~acro@user/acro) (*.net *.split)
2022-08-30 21:55:21 +0200Yumemi_(~Yumemi@chamoin.net) (*.net *.split)
2022-08-30 21:55:21 +0200davl_(~davl@207.154.228.18) (*.net *.split)
2022-08-30 21:55:21 +0200_\_(~o@user/offon) (*.net *.split)
2022-08-30 21:55:21 +0200emanon42(~emanon42@103.120.19.44) (*.net *.split)
2022-08-30 21:55:21 +0200noctux(~noctux@user/noctux) (*.net *.split)
2022-08-30 21:55:21 +0200leeb(~leeb@tk2-243-31079.vs.sakura.ne.jp) (*.net *.split)
2022-08-30 21:55:21 +0200lally(sid388228@id-388228.uxbridge.irccloud.com) (*.net *.split)
2022-08-30 21:55:21 +0200vito(sid1962@user/vito) (*.net *.split)
2022-08-30 21:55:21 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) (*.net *.split)
2022-08-30 21:55:21 +0200spider_(~spider@vps-951ce37a.vps.ovh.ca) (*.net *.split)
2022-08-30 21:55:21 +0200pepeiborra(sid443799@id-443799.ilkley.irccloud.com) (*.net *.split)
2022-08-30 21:55:21 +0200cbarrett(sid192934@id-192934.helmsley.irccloud.com) (*.net *.split)
2022-08-30 21:55:21 +0200supersven(sid501114@id-501114.ilkley.irccloud.com) (*.net *.split)
2022-08-30 21:55:21 +0200Vq(~vq@90-227-195-41-no77.tbcn.telia.com) (*.net *.split)
2022-08-30 21:55:21 +0200phuegrvs[m](~phuegrvsm@2001:470:69fc:105::1:65e4) (*.net *.split)
2022-08-30 21:55:22 +0200kadoban1(~kadoban@user/kadoban) (*.net *.split)
2022-08-30 21:55:22 +0200aviladev[m](~aviladevm@2001:470:69fc:105::1:cbc7) (*.net *.split)
2022-08-30 21:55:22 +0200earthy(~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) (*.net *.split)
2022-08-30 21:55:22 +0200poscat(~poscat@2408:8206:4821:e39f:4e35:ebbb:112a:d1b7) (*.net *.split)
2022-08-30 21:55:22 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (*.net *.split)
2022-08-30 21:55:22 +0200haritz(~hrtz@user/haritz) (*.net *.split)
2022-08-30 21:55:22 +0200adziahel[m](~adziahelm@2001:470:69fc:105::b4d) (*.net *.split)
2022-08-30 21:55:22 +0200dibblego(~dibblego@haskell/developer/dibblego) (*.net *.split)
2022-08-30 21:55:22 +0200monadplus[m](~monadplus@2001:470:69fc:105::2:5fa2) (*.net *.split)
2022-08-30 21:55:22 +0200Boarders___(sid425905@id-425905.lymington.irccloud.com) (*.net *.split)
2022-08-30 21:55:22 +0200systemfault(sid267009@id-267009.uxbridge.irccloud.com) (*.net *.split)
2022-08-30 21:55:22 +0200dunj3(~dunj3@kingdread.de) (*.net *.split)
2022-08-30 21:55:22 +0200wallymathieu(sid533252@id-533252.uxbridge.irccloud.com) (*.net *.split)
2022-08-30 21:55:22 +0200gonz_______(sid304396@id-304396.lymington.irccloud.com) (*.net *.split)
2022-08-30 21:55:22 +0200ente`(~daemon@inferno.barfooze.de) (*.net *.split)
2022-08-30 21:55:22 +0200dagit(~dagit@2001:558:6025:38:6476:a063:d05a:44da) (*.net *.split)
2022-08-30 21:55:22 +0200Kamuela(sid111576@id-111576.tinside.irccloud.com) (*.net *.split)
2022-08-30 21:55:22 +0200welterde(welterde@thinkbase.srv.welterde.de) (*.net *.split)
2022-08-30 21:55:22 +0200Player-205[m](~sashaserp@2001:470:69fc:105::2:30b8) (*.net *.split)
2022-08-30 21:55:22 +0200ringo__(~ringo@157.230.117.128) (*.net *.split)
2022-08-30 21:55:22 +0200dragestil(~znc@user/dragestil) (*.net *.split)
2022-08-30 21:55:22 +0200brprice(~brprice@user/brprice) (*.net *.split)
2022-08-30 21:55:22 +0200bw(sid2730@user/betawaffle) (*.net *.split)
2022-08-30 21:55:22 +0200nisstyre(wes@user/nisstyre) (*.net *.split)
2022-08-30 21:55:22 +0200chessai(sid225296@id-225296.lymington.irccloud.com) (*.net *.split)
2022-08-30 21:55:22 +0200nrr____(sid20938@id-20938.lymington.irccloud.com) (*.net *.split)
2022-08-30 21:55:22 +0200burakcank(burakcank@has.arrived.and.is.ready-to.party) (*.net *.split)
2022-08-30 21:55:22 +0200tomsmeding(~tomsmedin@2a01:4f8:c0c:5e5e::2) (*.net *.split)
2022-08-30 21:55:22 +0200shachaf(~shachaf@user/shachaf) (*.net *.split)
2022-08-30 21:55:22 +0200jjhoo(jahakala@user/jjhoo) (*.net *.split)
2022-08-30 21:55:22 +0200hltk(~hltk@hltk.fi) (*.net *.split)
2022-08-30 21:55:22 +0200shane(~shane@ana.rch.ist) (*.net *.split)
2022-08-30 21:55:22 +0200djanatyn(~djanatyn@vps-7f49a6b0.vps.ovh.ca) (*.net *.split)
2022-08-30 21:55:22 +0200hiredman(~hiredman@frontier1.downey.family) (*.net *.split)
2022-08-30 21:55:22 +0200stvc(~stvc@192.241.166.39) (*.net *.split)
2022-08-30 21:55:22 +0200SethTisue(sid14912@id-14912.ilkley.irccloud.com) (*.net *.split)
2022-08-30 21:55:22 +0200hook54321(sid149355@user/hook54321) (*.net *.split)
2022-08-30 21:55:22 +0200Arsen(arsen@managarm/dev/Arsen) (*.net *.split)
2022-08-30 21:55:22 +0200grfn(sid449115@id-449115.helmsley.irccloud.com) (*.net *.split)
2022-08-30 21:55:22 +0200wafflepirate(sid467876@id-467876.ilkley.irccloud.com) (*.net *.split)
2022-08-30 21:55:22 +0200Dykam(Dykam@dykam.nl) (*.net *.split)
2022-08-30 21:55:22 +0200apache2(apache2@anubis.0x90.dk) (*.net *.split)
2022-08-30 21:55:22 +0200even4void[m](~even4void@2001:470:69fc:105::2:4b9c) (*.net *.split)
2022-08-30 21:55:22 +0200ormaaj(~ormaaj@user/ormaaj) (*.net *.split)
2022-08-30 21:55:22 +0200Killy(~killy@2001:470:69fc:105::2:6ec1) (*.net *.split)
2022-08-30 21:55:22 +0200TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split)
2022-08-30 21:55:22 +0200JSharp(sid4580@id-4580.lymington.irccloud.com) (*.net *.split)
2022-08-30 21:55:22 +0200elvishjerricco1(~elvishjer@2001:470:69fc:105::6172) (*.net *.split)
2022-08-30 21:55:22 +0200surgeon(~surge9nma@2001:470:69fc:105::f585) (*.net *.split)
2022-08-30 21:55:22 +0200sabx(~sabbas@user/sabbas) (*.net *.split)
2022-08-30 21:55:22 +0200urdh(~urdh@user/urdh) (*.net *.split)
2022-08-30 21:55:22 +0200int-e(~noone@int-e.eu) (*.net *.split)
2022-08-30 21:55:22 +0200absence(torgeihe@hildring.pvv.ntnu.no) (*.net *.split)
2022-08-30 21:55:22 +0200SIben(~SIben@ns3106586.ip-5-135-191.eu) (*.net *.split)
2022-08-30 21:55:22 +0200AWizzArd(~code@gehrels.uberspace.de) (*.net *.split)
2022-08-30 21:55:22 +0200emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (*.net *.split)
2022-08-30 21:55:22 +0200rawles(~x@user/rawles) (*.net *.split)
2022-08-30 21:55:23 +0200Fangs(sid141280@id-141280.hampstead.irccloud.com) (*.net *.split)
2022-08-30 21:55:23 +0200pjlsergeant(sid143467@id-143467.hampstead.irccloud.com) (*.net *.split)
2022-08-30 21:55:23 +0200totbwf(sid402332@id-402332.uxbridge.irccloud.com) (*.net *.split)
2022-08-30 21:55:23 +0200edwardk(sid47016@haskell/developer/edwardk) (*.net *.split)
2022-08-30 21:55:23 +0200mrianbloom(sid350277@id-350277.ilkley.irccloud.com) (*.net *.split)
2022-08-30 21:55:23 +0200AndreasK(sid320732@id-320732.uxbridge.irccloud.com) (*.net *.split)
2022-08-30 21:55:23 +0200mustafa(sid502723@rockylinux/releng/mustafa) (*.net *.split)
2022-08-30 21:55:23 +0200astra(sid289983@user/amish) (*.net *.split)
2022-08-30 21:55:23 +0200dixie(~dixie@real.wilbury.sk) (*.net *.split)
2022-08-30 21:55:23 +0200xacktm(xacktm@user/xacktm) (*.net *.split)
2022-08-30 21:55:23 +0200acidsys(~crameleon@openSUSE/member/crameleon) (*.net *.split)
2022-08-30 21:55:23 +0200thonkpod_(~thonkpod@user/thonkpod) (*.net *.split)
2022-08-30 21:55:23 +0200hamishmack(sid389057@id-389057.hampstead.irccloud.com) (*.net *.split)
2022-08-30 21:55:23 +0200simeon(~pi@dslb-088-071-128-104.088.071.pools.vodafone-ip.de) (*.net *.split)
2022-08-30 21:55:23 +0200drewr(~drew@user/drewr) (*.net *.split)
2022-08-30 21:55:23 +0200yushyin(w8oD1vlcZ2@mail.karif.server-speed.net) (*.net *.split)
2022-08-30 21:56:41 +0200psydroid(~psydroid@user/psydroid) (Max SendQ exceeded)
2022-08-30 21:57:00 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-30 21:57:00 +0200hgolden(~Howard@cpe-172-251-233-141.socal.res.rr.com)
2022-08-30 21:57:00 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2022-08-30 21:57:00 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-30 21:57:00 +0200rockymarine(~rocky@user/rockymarine)
2022-08-30 21:57:00 +0200cheater(~Username@user/cheater)
2022-08-30 21:57:00 +0200eikke(~NicolasT@user/NicolasT)
2022-08-30 21:57:00 +0200AlexZenon(~alzenon@178.34.163.186)
2022-08-30 21:57:00 +0200Alex_test(~al_test@178.34.163.186)
2022-08-30 21:57:00 +0200AlexNoo(~AlexNoo@178.34.163.186)
2022-08-30 21:57:00 +0200chimp_(~Psybur@c-76-123-45-25.hsd1.va.comcast.net)
2022-08-30 21:57:00 +0200lyle(~lyle@104.246.145.85)
2022-08-30 21:57:00 +0200jakalx(~jakalx@base.jakalx.net)
2022-08-30 21:57:00 +0200sammelweis(~quassel@mobile-166-176-249-17.mycingular.net)
2022-08-30 21:57:00 +0200Pickchea(~private@user/pickchea)
2022-08-30 21:57:00 +0200coot(~coot@213.134.176.158)
2022-08-30 21:57:00 +0200Guest4971(~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d)
2022-08-30 21:57:00 +0200gmg(~user@user/gehmehgeh)
2022-08-30 21:57:00 +0200jludwig(~justin@li657-110.members.linode.com)
2022-08-30 21:57:00 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net)
2022-08-30 21:57:00 +0200Midjak(~Midjak@82.66.147.146)
2022-08-30 21:57:00 +0200raym(~raym@user/raym)
2022-08-30 21:57:00 +0200econo(uid147250@user/econo)
2022-08-30 21:57:00 +0200Tuplanolla(~Tuplanoll@91-159-69-12.elisa-laajakaista.fi)
2022-08-30 21:57:00 +0200coldtom(~coldtom@coldrick.cc)
2022-08-30 21:57:00 +0200img(~img@user/img)
2022-08-30 21:57:00 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-08-30 21:57:00 +0200titibandit(~titibandi@xdsl-87-78-66-58.nc.de)
2022-08-30 21:57:00 +0200gambpang(~ishipman@172-6-174-68.lightspeed.cicril.sbcglobal.net)
2022-08-30 21:57:00 +0200MoC(~moc@user/moc)
2022-08-30 21:57:00 +0200acidjnk(~acidjnk@p200300d6e7137a34799b4759adf9bad4.dip0.t-ipconnect.de)
2022-08-30 21:57:00 +0200Luj(~Luj@2a01:e0a:5f9:9681:4627:643b:8710:eef1)
2022-08-30 21:57:00 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-08-30 21:57:00 +0200foul_owl(~kerry@23.82.194.109)
2022-08-30 21:57:00 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-08-30 21:57:00 +0200Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com)
2022-08-30 21:57:00 +0200_________(~nobody@user/noodly)
2022-08-30 21:57:00 +0200xff0x(~xff0x@2405:6580:b080:900:e0cc:5d40:3d2b:1c07)
2022-08-30 21:57:00 +0200__monty__(~toonn@user/toonn)
2022-08-30 21:57:00 +0200Kaiepi(~Kaiepi@142.68.249.28)
2022-08-30 21:57:00 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-08-30 21:57:00 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-08-30 21:57:00 +0200kilolympus(~kilolympu@90.203.82.22)
2022-08-30 21:57:00 +0200Inoperable(~PLAYER_1@fancydata.science)
2022-08-30 21:57:00 +0200mima(~mmh@aftr-62-216-207-250.dynamic.mnet-online.de)
2022-08-30 21:57:00 +0200michalz(~michalz@185.246.204.72)
2022-08-30 21:57:00 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-08-30 21:57:00 +0200mrmr(~mrmr@user/mrmr)
2022-08-30 21:57:00 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-08-30 21:57:00 +0200eL_Bart0(eL_Bart0@dietunichtguten.org)
2022-08-30 21:57:00 +0200ec(~ec@gateway/tor-sasl/ec)
2022-08-30 21:57:00 +0200phma(phma@2001:5b0:210b:e1a8:238a:6544:b808:4f6c)
2022-08-30 21:57:00 +0200chronon(~chronon@user/chronon)
2022-08-30 21:57:00 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-08-30 21:57:00 +0200td_(~td@94.134.91.35)
2022-08-30 21:57:00 +0200dcoutts_(~duncan@host86-184-242-102.range86-184.btcentralplus.com)
2022-08-30 21:57:00 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-08-30 21:57:00 +0200califax(~califax@user/califx)
2022-08-30 21:57:00 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-08-30 21:57:00 +0200shapr(~user@68.54.166.125)
2022-08-30 21:57:00 +0200jargon(~jargon@184.101.185.66)
2022-08-30 21:57:00 +0200dwt_(~dwt_@c-98-198-103-176.hsd1.tx.comcast.net)
2022-08-30 21:57:00 +0200nerdypepper(~nerdypepp@user/nerdypepper)
2022-08-30 21:57:00 +0200madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2022-08-30 21:57:00 +0200even4void[m](~even4void@2001:470:69fc:105::2:4b9c)
2022-08-30 21:57:00 +0200gentauro(~gentauro@user/gentauro)
2022-08-30 21:57:00 +0200motherfsck(~motherfsc@user/motherfsck)
2022-08-30 21:57:00 +0200ystael(~ystael@user/ystael)
2022-08-30 21:57:00 +0200Putonlalla(~Putonlall@it-cyan.it.jyu.fi)
2022-08-30 21:57:00 +0200zaquest(~notzaques@5.130.79.72)
2022-08-30 21:57:00 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-08-30 21:57:00 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-08-30 21:57:00 +0200noteness(~noteness@user/noteness)
2022-08-30 21:57:00 +0200notzmv(~zmv@user/notzmv)
2022-08-30 21:57:00 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-08-30 21:57:00 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
2022-08-30 21:57:00 +0200Colere(~colere@about/linux/staff/sauvin)
2022-08-30 21:57:00 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2022-08-30 21:57:00 +0200tv(~tv@user/tv)
2022-08-30 21:57:00 +0200ormaaj(~ormaaj@user/ormaaj)
2022-08-30 21:57:00 +0200rburkholder(~blurb@96.45.2.121)
2022-08-30 21:57:00 +0200n8chan(~nate@98.45.169.16)
2022-08-30 21:57:00 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com)
2022-08-30 21:57:00 +0200perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-08-30 21:57:00 +0200adium(adium@user/adium)
2022-08-30 21:57:00 +0200bah(~bah@l1.tel)
2022-08-30 21:57:00 +0200Hecate(~mariposa@user/hecate)
2022-08-30 21:57:00 +0200cjay(cjay@nerdbox.nerd2nerd.org)
2022-08-30 21:57:00 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2022-08-30 21:57:00 +0200Henkru(henkru@kapsi.fi)
2022-08-30 21:57:00 +0200acarrico(~acarrico@dhcp-68-142-48-19.greenmountainaccess.net)
2022-08-30 21:57:00 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de)
2022-08-30 21:57:00 +0200xsarnik(xsarnik@lounge.fi.muni.cz)
2022-08-30 21:57:00 +0200leah_(lp0@heathens.club)
2022-08-30 21:57:00 +0200thaumavorio(~thaumavor@thaumavor.io)
2022-08-30 21:57:00 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2022-08-30 21:57:00 +0200Philonous_(~Philonous@user/philonous)
2022-08-30 21:57:00 +0200tessier(~treed@98.171.210.130)
2022-08-30 21:57:00 +0200Rembane(~Rembane@li346-36.members.linode.com)
2022-08-30 21:57:00 +0200dumptruckman(~dumptruck@23-239-13-163.ip.linodeusercontent.com)
2022-08-30 21:57:00 +0200ezzieygu1wuf(~Unknown@user/ezzieyguywuf)
2022-08-30 21:57:00 +0200goldstein(~goldstein@goldstein.rs)
2022-08-30 21:57:00 +0200rembo10_(~rembo10@main.remulis.com)
2022-08-30 21:57:00 +0200einfair_(~einfair@broadband-90-154-71-147.ip.moscow.rt.ru)
2022-08-30 21:57:00 +0200opqdonut(opqdonut@pseudo.fixme.fi)
2022-08-30 21:57:00 +0200gff_(~gff@user/gff)
2022-08-30 21:57:00 +0200Jonno_FT1(~come@api.carswap.me)
2022-08-30 21:57:00 +0200dysfigured(dfg@dfg.rocks)
2022-08-30 21:57:00 +0200aforemny(~aforemny@static.248.158.34.188.clients.your-server.de)
2022-08-30 21:57:00 +0200kaol(~kaol@94-237-42-30.nl-ams1.upcloud.host)
2022-08-30 21:57:00 +0200glider(~glider@user/glider)
2022-08-30 21:57:00 +0200bollu(~bollu@159.65.151.13)
2022-08-30 21:57:00 +0200ell(~ellie@user/ellie)
2022-08-30 21:57:00 +0200MironZ(~MironZ@nat-infra.ehlab.uk)
2022-08-30 21:57:00 +0200tcard_(~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp)
2022-08-30 21:57:00 +0200qhong(~qhong@rescomp-21-400677.stanford.edu)
2022-08-30 21:57:00 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net)
2022-08-30 21:57:00 +0200inversed(~inversed@90.209.137.56)
2022-08-30 21:57:00 +0200cyphase(~cyphase@user/cyphase)
2022-08-30 21:57:00 +0200Me-me(~me-me@user/me-me)
2022-08-30 21:57:00 +0200asivitz(uid178348@id-178348.tinside.irccloud.com)
2022-08-30 21:57:00 +0200crns(~netcrns@user/crns)
2022-08-30 21:57:00 +0200kmein(~weechat@user/kmein)
2022-08-30 21:57:00 +0200bjobjo(~bjobjo@user/bjobjo)
2022-08-30 21:57:00 +0200Linux(~kernel@user/OpenSource)
2022-08-30 21:57:00 +0200TravisAthougies[(~tathougie@2001:470:69fc:105::2:6fbd)
2022-08-30 21:57:00 +0200gnyeki(~gnyeki@user/gnyeki)
2022-08-30 21:57:00 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net)
2022-08-30 21:57:00 +0200cods(~fred@82-65-232-44.subs.proxad.net)
2022-08-30 21:57:00 +0200Patternmaster(~georg@user/Patternmaster)
2022-08-30 21:57:00 +0200hololeap(~quassel@user/hololeap)
2022-08-30 21:57:00 +0200shailangsa(~shailangs@host86-185-98-81.range86-185.btcentralplus.com)
2022-08-30 21:57:00 +0200phuegrvs[m](~phuegrvsm@2001:470:69fc:105::1:65e4)
2022-08-30 21:57:00 +0200aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9)
2022-08-30 21:57:00 +0200sibnull[m](~sibnullma@2001:470:69fc:105::1:1291)
2022-08-30 21:57:00 +0200kadoban1(~kadoban@user/kadoban)
2022-08-30 21:57:00 +0200troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-08-30 21:57:00 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-08-30 21:57:00 +0200heartburn(~gass@2a00:d880:3:1::b1e4:b241)
2022-08-30 21:57:00 +0200nckx(~nckx@tobias.gr)
2022-08-30 21:57:00 +0200RMSBach(~guygastin@137.184.131.156)
2022-08-30 21:57:00 +0200loonycyborg_(loonycybor@chantal.wesnoth.org)
2022-08-30 21:57:00 +0200sloorush(~sloorush@52.187.184.81)
2022-08-30 21:57:00 +0200red-snail1(~snail@static.151.210.203.116.clients.your-server.de)
2022-08-30 21:57:00 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2022-08-30 21:57:00 +0200Killy(~killy@2001:470:69fc:105::2:6ec1)
2022-08-30 21:57:00 +0200mncheck(~mncheck@193.224.205.254)
2022-08-30 21:57:00 +0200ncf(~n@monade.li)
2022-08-30 21:57:00 +0200Igloo(~ian@matrix.chaos.earth.li)
2022-08-30 21:57:00 +0200mzan(~quassel@mail.asterisell.com)
2022-08-30 21:57:00 +0200JimL(~quassel@89-162-2-132.fiber.signal.no)
2022-08-30 21:57:00 +0200jamestmartin(~james@jtmar.me)
2022-08-30 21:57:00 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2022-08-30 21:57:00 +0200mjacob(~mjacob@adrastea.uberspace.de)
2022-08-30 21:57:00 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2022-08-30 21:57:00 +0200gawen(~gawen@user/gawen)
2022-08-30 21:57:00 +0200zachel(~zachel@user/zachel)
2022-08-30 21:57:00 +0200erisco(~erisco@d24-57-249-233.home.cgocable.net)
2022-08-30 21:57:00 +0200xstill_(xstill@fimu/xstill)
2022-08-30 21:57:00 +0200Ram-Z(~Ram-Z@li1814-254.members.linode.com)
2022-08-30 21:57:00 +0200[Leary](~Leary]@user/Leary/x-0910699)
2022-08-30 21:57:00 +0200monochrom(trebla@216.138.220.146)
2022-08-30 21:57:00 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2022-08-30 21:57:00 +0200immae(~immae@2a01:4f8:141:53e7::)
2022-08-30 21:57:00 +0200darxun(sid504814@id-504814.tinside.irccloud.com)
2022-08-30 21:57:00 +0200Ranhir(~Ranhir@157.97.53.139)
2022-08-30 21:57:00 +0200megaTherion(~therion@unix.io)
2022-08-30 21:57:00 +0200ajb_(~ajb@mimas.whatbox.ca)
2022-08-30 21:57:00 +0200wrengr(~wrengr@201.59.83.34.bc.googleusercontent.com)
2022-08-30 21:57:00 +0200LambdaDuck(~anka@ksit.fixme.fi)
2022-08-30 21:57:00 +0200Techcable(~Techcable@user/Techcable)
2022-08-30 21:57:00 +0200martin02(~silas@141.84.69.76)
2022-08-30 21:57:00 +0200polykernel[m](~polykerne@user/polykernel)
2022-08-30 21:57:00 +0200pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-49-67-70-103-208.dsl.bell.ca)
2022-08-30 21:57:00 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de)
2022-08-30 21:57:00 +0200tomgus1(~tomgus1@176.254.19.153)
2022-08-30 21:57:00 +0200lechner(lechner@debian/lechner)
2022-08-30 21:57:00 +0200siers(~ij@user/ij)
2022-08-30 21:57:00 +0200crazazy[m](~crazazyma@2001:470:69fc:105::2:6bd9)
2022-08-30 21:57:00 +0200Fangs(sid141280@id-141280.hampstead.irccloud.com)
2022-08-30 21:57:00 +0200fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com)
2022-08-30 21:57:00 +0200drlkf(~drlkf@chat.drlkf.net)
2022-08-30 21:57:00 +0200hugo(znc@verdigris.lysator.liu.se)
2022-08-30 21:57:00 +0200ilichu[m](~ilichumat@2001:470:69fc:105::2:6afb)
2022-08-30 21:57:00 +0200arkeet(~arkeet@moriya.ca)
2022-08-30 21:57:00 +0200kitty4(~kitty@096-039-147-043.res.spectrum.com)
2022-08-30 21:57:00 +0200ajf___[m](~ajfmatrix@2001:470:69fc:105::2:5be3)
2022-08-30 21:57:00 +0200pareto-optimal-d(~pareto-op@2001:470:69fc:105::1:b61f)
2022-08-30 21:57:00 +0200mimmy(~mimmy@2604:a880:cad:d0::3e:1001)
2022-08-30 21:57:00 +0200Moyst__(~moyst@user/moyst)
2022-08-30 21:57:00 +0200marquis_andras(~marquis_a@27-33-131-201.tpgi.com.au)
2022-08-30 21:57:00 +0200madnight(~madnight@static.59.103.201.195.clients.your-server.de)
2022-08-30 21:57:00 +0200bcoppens(~bartcopp@vpn2.bartcoppens.be)
2022-08-30 21:57:00 +0200haskl(~haskl@user/haskl)
2022-08-30 21:57:00 +0200vulpine(xfnw@tilde.team)
2022-08-30 21:57:00 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284)
2022-08-30 21:57:00 +0200robbert-vdh(~robbert@robbertvanderhelm.nl)
2022-08-30 21:57:00 +0200tinwood(~tinwood@canonical/tinwood)
2022-08-30 21:57:00 +0200maerwald(~maerwald@user/maerwald)
2022-08-30 21:57:00 +0200alp(~alp@user/alp)
2022-08-30 21:57:00 +0200aviladev[m](~aviladevm@2001:470:69fc:105::1:cbc7)
2022-08-30 21:57:00 +0200Teacup(~teacup@user/teacup)
2022-08-30 21:57:00 +0200srk(~sorki@user/srk)
2022-08-30 21:57:00 +0200fiddlerwoaroof(~fiddlerwo@user/fiddlerwoaroof)
2022-08-30 21:57:00 +0200cynomys(~cynomys@user/cynomys)
2022-08-30 21:57:00 +0200m1dnight(~christoph@78-22-0-121.access.telenet.be)
2022-08-30 21:57:00 +0200lagash(lagash@2605:6400:20:b4:9c76:1538:3398:ce71)
2022-08-30 21:57:00 +0200justache(~justache@user/justache)
2022-08-30 21:57:00 +0200ridcully(~ridcully@pd951fa32.dip0.t-ipconnect.de)
2022-08-30 21:57:00 +0200cdepillabout[m](~cdepillab@2001:470:69fc:105::3d3)
2022-08-30 21:57:00 +0200blades(~blades@204.48.29.163)
2022-08-30 21:57:00 +0200sweater1(~sweater@206.81.18.26)
2022-08-30 21:57:00 +0200dfordivam1(~dfordivam@tk2-219-19469.vs.sakura.ne.jp)
2022-08-30 21:57:00 +0200earthy(~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net)
2022-08-30 21:57:00 +0200TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667)
2022-08-30 21:57:00 +0200SanchayanMaity(sid478177@id-478177.hampstead.irccloud.com)
2022-08-30 21:57:00 +0200idnar(sid12240@debian/mithrandi)
2022-08-30 21:57:00 +0200V(~v@ircpuzzles/2022/april/winner/V)
2022-08-30 21:57:00 +0200rune(sid21167@id-21167.ilkley.irccloud.com)
2022-08-30 21:57:00 +0200darkling(~darkling@savella.carfax.org.uk)
2022-08-30 21:57:00 +0200teehemkay(sid14792@id-14792.lymington.irccloud.com)
2022-08-30 21:57:00 +0200poscat(~poscat@2408:8206:4821:e39f:4e35:ebbb:112a:d1b7)
2022-08-30 21:57:00 +0200gdd1(~gdd@2001:470:1f13:187:e8a5:fbff:fe29:42f5)
2022-08-30 21:57:00 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2022-08-30 21:57:00 +0200Flow(~none@gentoo/developer/flow)
2022-08-30 21:57:00 +0200haritz(~hrtz@user/haritz)
2022-08-30 21:57:00 +0200adziahel[m](~adziahelm@2001:470:69fc:105::b4d)
2022-08-30 21:57:00 +0200pie_(~pie_bnc@user/pie/x-2818909)
2022-08-30 21:57:00 +0200dibblego(~dibblego@haskell/developer/dibblego)
2022-08-30 21:57:01 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com)
2022-08-30 21:57:01 +0200c_wraith(~c_wraith@adjoint.us)
2022-08-30 21:57:01 +0200macabre(~m@161.35.15.236)
2022-08-30 21:57:01 +0200mcglk(~mcglk@131.191.49.120)
2022-08-30 21:57:01 +0200Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
2022-08-30 21:57:01 +0200krjst(~krjst@2604:a880:800:c1::16b:8001)
2022-08-30 21:57:01 +0200monadplus[m]1(~arnauabel@2001:470:69fc:105::2:6085)
2022-08-30 21:57:01 +0200tubogram44(~tubogram@user/tubogram)
2022-08-30 21:57:01 +0200monadplus[m](~monadplus@2001:470:69fc:105::2:5fa2)
2022-08-30 21:57:01 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2022-08-30 21:57:01 +0200jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab)
2022-08-30 21:57:01 +0200sektor[m](~sektor@2001:470:69fc:105::2:3f60)
2022-08-30 21:57:01 +0200heath(~heath@user/heath)
2022-08-30 21:57:01 +0200barrucadu(~barrucadu@carcosa.barrucadu.co.uk)
2022-08-30 21:57:01 +0200JSharp(sid4580@id-4580.lymington.irccloud.com)
2022-08-30 21:57:01 +0200Boarders___(sid425905@id-425905.lymington.irccloud.com)
2022-08-30 21:57:01 +0200systemfault(sid267009@id-267009.uxbridge.irccloud.com)
2022-08-30 21:57:01 +0200dunj3(~dunj3@kingdread.de)
2022-08-30 21:57:01 +0200elvishjerricco1(~elvishjer@2001:470:69fc:105::6172)
2022-08-30 21:57:01 +0200wallymathieu(sid533252@id-533252.uxbridge.irccloud.com)
2022-08-30 21:57:01 +0200gonz_______(sid304396@id-304396.lymington.irccloud.com)
2022-08-30 21:57:01 +0200carbolymer(~carbolyme@dropacid.net)
2022-08-30 21:57:01 +0200ente`(~daemon@inferno.barfooze.de)
2022-08-30 21:57:01 +0200byorgey(~byorgey@155.138.238.211)
2022-08-30 21:57:01 +0200bonz060_(~quassel@2001:bc8:47a4:a23::1)
2022-08-30 21:57:01 +0200dagit(~dagit@2001:558:6025:38:6476:a063:d05a:44da)
2022-08-30 21:57:01 +0200jonrh(sid5185@id-5185.ilkley.irccloud.com)
2022-08-30 21:57:01 +0200Kamuela(sid111576@id-111576.tinside.irccloud.com)
2022-08-30 21:57:01 +0200rubin55(sid175221@id-175221.hampstead.irccloud.com)
2022-08-30 21:57:01 +0200welterde(welterde@thinkbase.srv.welterde.de)
2022-08-30 21:57:01 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2022-08-30 21:57:01 +0200Player-205[m](~sashaserp@2001:470:69fc:105::2:30b8)
2022-08-30 21:57:01 +0200iphy(sid67735@id-67735.lymington.irccloud.com)
2022-08-30 21:57:01 +0200conjunctive(sid433686@id-433686.helmsley.irccloud.com)
2022-08-30 21:57:01 +0200meinside(uid24933@id-24933.helmsley.irccloud.com)
2022-08-30 21:57:01 +0200edwtjo(~edwtjo@fsf/member/edwtjo)
2022-08-30 21:57:01 +0200asm(~alexander@user/asm)
2022-08-30 21:57:01 +0200Guest1698(~Guest1698@20.83.116.49)
2022-08-30 21:57:01 +0200bastelfreak(bastelfrea@libera/staff/VoxPupuli.bastelfreak)
2022-08-30 21:57:01 +0200danso(danso@danso.ca)
2022-08-30 21:57:01 +0200andjjj23(~irc@107.170.228.47)
2022-08-30 21:57:01 +0200dka_(~code-is-a@ns3059207.ip-193-70-33.eu)
2022-08-30 21:57:01 +0200swistak-(~swistak@185.21.216.141)
2022-08-30 21:57:01 +0200NiKaN(sid385034@id-385034.helmsley.irccloud.com)
2022-08-30 21:57:01 +0200tnks(sid412124@id-412124.helmsley.irccloud.com)
2022-08-30 21:57:01 +0200alinab(sid468903@id-468903.helmsley.irccloud.com)
2022-08-30 21:57:01 +0200tired(~tired@user/tired)
2022-08-30 21:57:01 +0200ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net)
2022-08-30 21:57:01 +0200kawen(~quassel@static.208.191.216.95.clients.your-server.de)
2022-08-30 21:57:01 +0200sclv(sid39734@haskell/developer/sclv)
2022-08-30 21:57:01 +0200sunarch(sid526836@user/sunarch)
2022-08-30 21:57:01 +0200acro(~acro@user/acro)
2022-08-30 21:57:01 +0200Yumemi_(~Yumemi@chamoin.net)
2022-08-30 21:57:01 +0200Deide1(~deide@user/deide)
2022-08-30 21:57:01 +0200davl_(~davl@207.154.228.18)
2022-08-30 21:57:01 +0200mxs(~mxs@user/mxs)
2022-08-30 21:57:01 +0200rawles(~x@user/rawles)
2022-08-30 21:57:01 +0200dequbed(~dequbed@banana-new.kilobyte22.de)
2022-08-30 21:57:01 +0200scav(sid309693@user/scav)
2022-08-30 21:57:01 +0200parseval(sid239098@id-239098.helmsley.irccloud.com)
2022-08-30 21:57:01 +0200gaze___(sid387101@id-387101.helmsley.irccloud.com)
2022-08-30 21:57:01 +0200surgeon(~surge9nma@2001:470:69fc:105::f585)
2022-08-30 21:57:01 +0200caubert(~caubert@user/caubert)
2022-08-30 21:57:01 +0200lambdabot(~lambdabot@haskell/bot/lambdabot)
2022-08-30 21:57:01 +0200Hobbyboy(Hobbyboy@hobbyboy.co.uk)
2022-08-30 21:57:01 +0200shinjipf(~shinjipf@2a02:c207:2082:6685::1)
2022-08-30 21:57:01 +0200arahael(~arahael@60-240-64-125.tpgi.com.au)
2022-08-30 21:57:01 +0200Axman6(~Axman6@user/axman6)
2022-08-30 21:57:01 +0200mrvdb(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5)
2022-08-30 21:57:01 +0200raoul(~raoul@95.179.203.88)
2022-08-30 21:57:01 +0200jackhill(~jackhill@kalessin.dragonsnail.net)
2022-08-30 21:57:01 +0200APic(apic@apic.name)
2022-08-30 21:57:01 +0200adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com)
2022-08-30 21:57:01 +0200koolazer(~koo@user/koolazer)
2022-08-30 21:57:01 +0200haveo_(~haveo@sl35.iuwt.fr)
2022-08-30 21:57:01 +0200eldritch(~eldritch@user/eldritch)
2022-08-30 21:57:01 +0200dmj`(sid72307@id-72307.hampstead.irccloud.com)
2022-08-30 21:57:01 +0200another-axel-bee(~axel-bee@alexbenishek.com)
2022-08-30 21:57:01 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com)
2022-08-30 21:57:01 +0200alanz(sid110616@id-110616.uxbridge.irccloud.com)
2022-08-30 21:57:01 +0200ringo__(~ringo@157.230.117.128)
2022-08-30 21:57:01 +0200dragestil(~znc@user/dragestil)
2022-08-30 21:57:01 +0200Ristovski(~Ristovski@hellomouse/perf/ristovski)
2022-08-30 21:57:01 +0200brprice(~brprice@user/brprice)
2022-08-30 21:57:01 +0200bw(sid2730@user/betawaffle)
2022-08-30 21:57:01 +0200tolt(~weechat-h@li219-154.members.linode.com)
2022-08-30 21:57:01 +0200nisstyre(wes@user/nisstyre)
2022-08-30 21:57:01 +0200nrr____(sid20938@id-20938.lymington.irccloud.com)
2022-08-30 21:57:01 +0200chessai(sid225296@id-225296.lymington.irccloud.com)
2022-08-30 21:57:01 +0200df(~ben@justworks.xyz)
2022-08-30 21:57:01 +0200_\_(~o@user/offon)
2022-08-30 21:57:01 +0200tstat(~tstat@user/tstat)
2022-08-30 21:57:01 +0200tdammers(~tdammers@77.109.72.118.res.static.edpnet.net)
2022-08-30 21:57:01 +0200burakcank(burakcank@has.arrived.and.is.ready-to.party)
2022-08-30 21:57:01 +0200simpleauthority(~simpleaut@user/simpleauthority)
2022-08-30 21:57:01 +0200Trattue(~Trattue@152.70.182.158)
2022-08-30 21:57:01 +0200Zemyla(~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com)
2022-08-30 21:57:01 +0200sabx(~sabbas@user/sabbas)
2022-08-30 21:57:01 +0200energizer(~energizer@user/energizer)
2022-08-30 21:57:01 +0200dminuoso(~dminuoso@user/dminuoso)
2022-08-30 21:57:01 +0200markasoftware(~quassel@107.161.26.124)
2022-08-30 21:57:01 +0200kitzman(~kitzman@user/dekenevs)
2022-08-30 21:57:01 +0200urdh(~urdh@user/urdh)
2022-08-30 21:57:01 +0200andreas303(andreas303@ip227.orange.bnc4free.com)
2022-08-30 21:57:01 +0200noctux1(KOx7x4g3XX@karif.server-speed.net)
2022-08-30 21:57:01 +0200Logio(em@kapsi.fi)
2022-08-30 21:57:01 +0200int-e(~noone@int-e.eu)
2022-08-30 21:57:01 +0200kosmikus(~kosmikus@nullzig.kosmikus.org)
2022-08-30 21:57:01 +0200piele(~piele@tbonesteak.creativeserver.net)
2022-08-30 21:57:01 +0200akhesacaro(~caro@212-83-144-58.rev.poneytelecom.eu)
2022-08-30 21:57:01 +0200SIben(~SIben@ns3106586.ip-5-135-191.eu)
2022-08-30 21:57:01 +0200absence(torgeihe@hildring.pvv.ntnu.no)
2022-08-30 21:57:01 +0200Cheery(~cheery@7-239-179-185.static.tentacle.fi)
2022-08-30 21:57:01 +0200mcfrdy(~mcfrdy@user/mcfrdy)
2022-08-30 21:57:01 +0200Profpatsch(~Profpatsc@static.88-198-193-255.clients.your-server.de)
2022-08-30 21:57:01 +0200marienz(marienz@libera/staff/marienz)
2022-08-30 21:57:01 +0200tomsmeding(~tomsmedin@2a01:4f8:c0c:5e5e::2)
2022-08-30 21:57:01 +0200shachaf(~shachaf@user/shachaf)
2022-08-30 21:57:01 +0200leeb(~leeb@tk2-243-31079.vs.sakura.ne.jp)
2022-08-30 21:57:01 +0200tureba(~tureba@tureba.org)
2022-08-30 21:57:01 +0200hexology(~hexology@user/hexology)
2022-08-30 21:57:01 +0200jjhoo(jahakala@user/jjhoo)
2022-08-30 21:57:01 +0200hltk(~hltk@hltk.fi)
2022-08-30 21:57:01 +0200shane(~shane@ana.rch.ist)
2022-08-30 21:57:01 +0200djanatyn(~djanatyn@vps-7f49a6b0.vps.ovh.ca)
2022-08-30 21:57:01 +0200hiredman(~hiredman@frontier1.downey.family)
2022-08-30 21:57:01 +0200derelict(~derelict@user/derelict)
2022-08-30 21:57:01 +0200AWizzArd(~code@gehrels.uberspace.de)
2022-08-30 21:57:01 +0200emanon42(~emanon42@103.120.19.44)
2022-08-30 21:57:01 +0200noctux(~noctux@user/noctux)
2022-08-30 21:57:01 +0200emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc)
2022-08-30 21:57:01 +0200stvc(~stvc@192.241.166.39)
2022-08-30 21:57:01 +0200SethTisue(sid14912@id-14912.ilkley.irccloud.com)
2022-08-30 21:57:01 +0200kronicmage(user92236@neotame.csclub.uwaterloo.ca)
2022-08-30 21:57:01 +0200pjlsergeant(sid143467@id-143467.hampstead.irccloud.com)
2022-08-30 21:57:01 +0200totbwf(sid402332@id-402332.uxbridge.irccloud.com)
2022-08-30 21:57:01 +0200edwardk(sid47016@haskell/developer/edwardk)
2022-08-30 21:57:01 +0200AndreasK(sid320732@id-320732.uxbridge.irccloud.com)
2022-08-30 21:57:01 +0200mrianbloom(sid350277@id-350277.ilkley.irccloud.com)
2022-08-30 21:57:01 +0200lally(sid388228@id-388228.uxbridge.irccloud.com)
2022-08-30 21:57:01 +0200vito(sid1962@user/vito)
2022-08-30 21:57:01 +0200Adeon(sid418992@id-418992.lymington.irccloud.com)
2022-08-30 21:57:01 +0200spider_(~spider@vps-951ce37a.vps.ovh.ca)
2022-08-30 21:57:01 +0200pepeiborra(sid443799@id-443799.ilkley.irccloud.com)
2022-08-30 21:57:01 +0200astra(sid289983@user/amish)
2022-08-30 21:57:01 +0200mustafa(sid502723@rockylinux/releng/mustafa)
2022-08-30 21:57:01 +0200T_S_(sid501726@id-501726.uxbridge.irccloud.com)
2022-08-30 21:57:01 +0200S11001001(sid42510@id-42510.ilkley.irccloud.com)
2022-08-30 21:57:01 +0200amir(sid22336@user/amir)
2022-08-30 21:57:01 +0200dixie(~dixie@real.wilbury.sk)
2022-08-30 21:57:01 +0200nurupo(~nurupo.ga@user/nurupo)
2022-08-30 21:57:01 +0200WaxCPU(Andrew@user/AndrewYu)
2022-08-30 21:57:01 +0200hook54321(sid149355@user/hook54321)
2022-08-30 21:57:01 +0200Arsen(arsen@managarm/dev/Arsen)
2022-08-30 21:57:01 +0200xacktm(xacktm@user/xacktm)
2022-08-30 21:57:01 +0200acidsys(~crameleon@openSUSE/member/crameleon)
2022-08-30 21:57:01 +0200thonkpod_(~thonkpod@user/thonkpod)
2022-08-30 21:57:01 +0200hamishmack(sid389057@id-389057.hampstead.irccloud.com)
2022-08-30 21:57:01 +0200simeon(~pi@dslb-088-071-128-104.088.071.pools.vodafone-ip.de)
2022-08-30 21:57:01 +0200grfn(sid449115@id-449115.helmsley.irccloud.com)
2022-08-30 21:57:01 +0200cbarrett(sid192934@id-192934.helmsley.irccloud.com)
2022-08-30 21:57:01 +0200wafflepirate(sid467876@id-467876.ilkley.irccloud.com)
2022-08-30 21:57:01 +0200supersven(sid501114@id-501114.ilkley.irccloud.com)
2022-08-30 21:57:01 +0200Vq(~vq@90-227-195-41-no77.tbcn.telia.com)
2022-08-30 21:57:01 +0200litharge(litharge@libera/bot/litharge)
2022-08-30 21:57:01 +0200drewr(~drew@user/drewr)
2022-08-30 21:57:01 +0200Dykam(Dykam@dykam.nl)
2022-08-30 21:57:01 +0200apache2(apache2@anubis.0x90.dk)
2022-08-30 21:57:01 +0200yushyin(w8oD1vlcZ2@mail.karif.server-speed.net)
2022-08-30 21:57:01 +0200ChanServ(ChanServ@services.libera.chat)
2022-08-30 21:57:01 +0200silver.libera.chat+o ChanServ
2022-08-30 21:57:08 +0200jmcantrell(~jmcantrel@user/jmcantrell) (Max SendQ exceeded)
2022-08-30 21:57:10 +0200shailangsa(~shailangs@host86-185-98-81.range86-185.btcentralplus.com) (Max SendQ exceeded)
2022-08-30 21:57:15 +0200Colere(~colere@about/linux/staff/sauvin) (Remote host closed the connection)
2022-08-30 21:57:15 +0200ormaaj(~ormaaj@user/ormaaj) (Max SendQ exceeded)
2022-08-30 21:57:15 +0200tzh_(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-08-30 21:57:15 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2022-08-30 21:57:42 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Max SendQ exceeded)
2022-08-30 21:57:43 +0200andreas303(andreas303@ip227.orange.bnc4free.com) (Max SendQ exceeded)
2022-08-30 21:57:43 +0200pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-49-67-70-103-208.dsl.bell.ca) (Max SendQ exceeded)
2022-08-30 21:57:43 +0200mcfrdy(~mcfrdy@user/mcfrdy) (Max SendQ exceeded)
2022-08-30 21:57:43 +0200justache(~justache@user/justache) (Max SendQ exceeded)
2022-08-30 21:57:58 +0200andreas303(andreas303@ip227.orange.bnc4free.com)
2022-08-30 21:58:00 +0200justache(~justache@user/justache)
2022-08-30 21:58:01 +0200rockystone(~rocky@user/rockymarine)
2022-08-30 21:58:04 +0200mcfrdy(~mcfrdy@user/mcfrdy)
2022-08-30 21:58:04 +0200pieguy128(~pieguy128@bas1-quebec14-67-70-103-208.dsl.bell.ca)
2022-08-30 21:58:07 +0200Colere(~colere@about/linux/staff/sauvin)
2022-08-30 21:58:30 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-08-30 21:58:50 +0200ajf___[m](~ajfmatrix@2001:470:69fc:105::2:5be3) (Ping timeout: 240 seconds)
2022-08-30 21:58:50 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Ping timeout: 240 seconds)
2022-08-30 21:58:58 +0200TravisAthougies[(~tathougie@2001:470:69fc:105::2:6fbd) (Ping timeout: 240 seconds)
2022-08-30 21:58:58 +0200aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9) (Ping timeout: 240 seconds)
2022-08-30 21:58:58 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 240 seconds)
2022-08-30 21:58:58 +0200cdepillabout[m](~cdepillab@2001:470:69fc:105::3d3) (Ping timeout: 240 seconds)
2022-08-30 21:58:59 +0200sibnull[m](~sibnullma@2001:470:69fc:105::1:1291) (Ping timeout: 248 seconds)
2022-08-30 21:59:18 +0200sektor[m](~sektor@2001:470:69fc:105::2:3f60) (Ping timeout: 240 seconds)
2022-08-30 21:59:24 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-08-30 21:59:26 +0200hnOsmium0001(uid453710@user/hnOsmium0001) (Ping timeout: 255 seconds)
2022-08-30 21:59:26 +0200Clinton[m](~clintonme@2001:470:69fc:105::2:31d4) (Ping timeout: 255 seconds)
2022-08-30 21:59:26 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Ping timeout: 255 seconds)
2022-08-30 21:59:26 +0200Bulby[m](~bulbyvrma@2001:470:69fc:105::1:fe0a) (Ping timeout: 255 seconds)
2022-08-30 21:59:26 +0200Artem[m](~artemtype@2001:470:69fc:105::75b) (Ping timeout: 255 seconds)
2022-08-30 21:59:26 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729) (Ping timeout: 255 seconds)
2022-08-30 21:59:26 +0200duckie(~duckie@user/duckie) (Ping timeout: 255 seconds)
2022-08-30 21:59:26 +0200july541[m](~july541ma@2001:470:69fc:105::1:e416) (Ping timeout: 255 seconds)
2022-08-30 21:59:26 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 255 seconds)
2022-08-30 21:59:26 +0200fr33domlover[m](~fr33domlo@2001:470:69fc:105::1:3bb6) (Ping timeout: 255 seconds)
2022-08-30 21:59:26 +0200Matthew|m(~arathorn@2001:470:69fc:105::1f) (Ping timeout: 255 seconds)
2022-08-30 21:59:26 +0200peddie(~peddie@2001:470:69fc:105::25d) (Ping timeout: 255 seconds)
2022-08-30 21:59:26 +0200famubu[m](~famubumat@2001:470:69fc:105::1081) (Ping timeout: 255 seconds)
2022-08-30 21:59:26 +0200VarikValefor[m](~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 255 seconds)
2022-08-30 21:59:26 +0200zfnmxt(~zfnmxt@2001:470:69fc:105::2b32) (Ping timeout: 255 seconds)
2022-08-30 21:59:26 +0200inversed(~inversed@90.209.137.56) (Ping timeout: 268 seconds)
2022-08-30 21:59:28 +0200Killy(~killy@2001:470:69fc:105::2:6ec1) (Ping timeout: 268 seconds)
2022-08-30 21:59:28 +0200surgeon(~surge9nma@2001:470:69fc:105::f585) (Ping timeout: 268 seconds)
2022-08-30 21:59:30 +0200monadplus[m]1(~arnauabel@2001:470:69fc:105::2:6085) (Ping timeout: 255 seconds)
2022-08-30 21:59:30 +0200Deide1(~deide@user/deide) (Ping timeout: 255 seconds)
2022-08-30 21:59:30 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 264 seconds)
2022-08-30 21:59:30 +0200adziahel[m](~adziahelm@2001:470:69fc:105::b4d) (Ping timeout: 264 seconds)
2022-08-30 21:59:30 +0200monadplus[m](~monadplus@2001:470:69fc:105::2:5fa2) (Ping timeout: 264 seconds)
2022-08-30 21:59:30 +0200Player-205[m](~sashaserp@2001:470:69fc:105::2:30b8) (Ping timeout: 264 seconds)
2022-08-30 21:59:31 +0200polykernel[m](~polykerne@user/polykernel) (Ping timeout: 248 seconds)
2022-08-30 21:59:31 +0200ilichu[m](~ilichumat@2001:470:69fc:105::2:6afb) (Ping timeout: 248 seconds)
2022-08-30 21:59:31 +0200pareto-optimal-d(~pareto-op@2001:470:69fc:105::1:b61f) (Ping timeout: 248 seconds)
2022-08-30 21:59:33 +0200crazazy[m](~crazazyma@2001:470:69fc:105::2:6bd9) (Ping timeout: 268 seconds)
2022-08-30 21:59:53 +0200jz99[m](~jz99matri@2001:470:69fc:105::1:d5f1) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200baaash[m](~baaashmat@2001:470:69fc:105::2:1e90) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200FurudeRika[m](~chitandae@user/FurudeRika) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200romes[m](~romesmatr@2001:470:69fc:105::2:1660) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200JensPetersen[m](~juhp@2001:470:69fc:105::6e9) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200unclechu(~unclechu@2001:470:69fc:105::354) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200chreekat(~chreekat@2001:470:69fc:105::16b5) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200SeanKing[m](~seankingm@2001:470:69fc:105::cf9c) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200geekosaur[m](~geekosaur@xmonad/geekosaur) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200nomagno(~nomagno@2001:470:69fc:105::c1f0) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200ericson2314(~ericson23@2001:470:69fc:105::70c) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200ongy[m](~ongymatri@2001:470:69fc:105::5018) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200jinsun_(~jinsun@user/jinsun) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200Tisoxin(~ikosit@user/ikosit) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200maralorn(~maralorn@2001:470:69fc:105::251) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200fgaz(~fgaz@2001:470:69fc:105::842) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200mekeor[m](~mekeormat@2001:470:69fc:105::17e4) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200siraben(~siraben@user/siraben) (Ping timeout: 255 seconds)
2022-08-30 21:59:53 +0200vladan[m](~vladanmat@2001:470:69fc:105::2:24df) (Ping timeout: 255 seconds)
2022-08-30 21:59:58 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 240 seconds)
2022-08-30 22:00:03 +0200raym(~raym@user/raym) (Ping timeout: 248 seconds)
2022-08-30 22:00:05 +0200even4void[m](~even4void@2001:470:69fc:105::2:4b9c) (Ping timeout: 268 seconds)
2022-08-30 22:00:05 +0200elvishjerricco1(~elvishjer@2001:470:69fc:105::6172) (Ping timeout: 268 seconds)
2022-08-30 22:00:06 +0200phuegrvs[m](~phuegrvsm@2001:470:69fc:105::1:65e4) (Ping timeout: 264 seconds)
2022-08-30 22:00:06 +0200kadoban1(~kadoban@user/kadoban) (Ping timeout: 264 seconds)
2022-08-30 22:00:06 +0200aviladev[m](~aviladevm@2001:470:69fc:105::1:cbc7) (Ping timeout: 264 seconds)
2022-08-30 22:00:10 +0200hnOsmium0001(uid453710@user/hnOsmium0001)
2022-08-30 22:00:11 +0200jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab) (Ping timeout: 268 seconds)
2022-08-30 22:01:53 +0200inversed(~inversed@90.209.137.56)
2022-08-30 22:03:08 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-08-30 22:05:31 +0200biberu(~biberu@user/biberu) (Ping timeout: 260 seconds)
2022-08-30 22:06:01 +0200biberu(~biberu@user/biberu)
2022-08-30 22:08:39 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2022-08-30 22:09:06 +0200emad(~emad@156.214.126.109)
2022-08-30 22:09:55 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-08-30 22:10:43 +0200zebrag(~chris@user/zebrag)
2022-08-30 22:12:25 +0200coot(~coot@213.134.176.158)
2022-08-30 22:13:36 +0200sammelweis(~quassel@mobile-166-176-249-17.mycingular.net) (Ping timeout: 268 seconds)
2022-08-30 22:14:45 +0200alexd(~nineonine@50.216.62.10)
2022-08-30 22:15:18 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2022-08-30 22:15:35 +0200 <alexd> hi there, I am getting 'The record update is ambiguous. This will not be supported by -XDuplicateRecordFields in future releases of GHC.'
2022-08-30 22:15:43 +0200 <alexd> this warning is a bit confusing
2022-08-30 22:16:00 +0200 <alexd> I am using overloaded record dot extension
2022-08-30 22:16:25 +0200 <alexd> how do I specialize it to make compiler happy?
2022-08-30 22:17:02 +0200 <Rembane> alexd: Do you have a minimum example that you can share?
2022-08-30 22:17:10 +0200aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9)
2022-08-30 22:18:18 +0200econo(uid147250@user/econo)
2022-08-30 22:20:04 +0200 <alexd> let foo = foo {
2022-08-30 22:20:05 +0200 <alexd> bar = foo.bar {
2022-08-30 22:20:05 +0200 <alexd> baz = foo.bar.baz + 1
2022-08-30 22:20:06 +0200 <alexd> }
2022-08-30 22:20:08 +0200 <alexd> }
2022-08-30 22:20:22 +0200 <alexd> ghc 9.2.4
2022-08-30 22:21:09 +0200 <alexd> I see the warning when -Wambiguous-fields is on
2022-08-30 22:23:10 +0200 <alexd> ok I think https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/disambiguate_record_fields.html should help me
2022-08-30 22:26:17 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-08-30 22:27:34 +0200Guest35(~Guest35@2606:54c0:840:b0::1a:cf)
2022-08-30 22:30:02 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
2022-08-30 22:31:52 +0200lyle(~lyle@104.246.145.85) (Quit: WeeChat 3.6)
2022-08-30 22:31:53 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-08-30 22:34:18 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-08-30 22:34:23 +0200 <qrpnxz> alexd: you might want to consider using a library like `lens`
2022-08-30 22:35:26 +0200Guest35(~Guest35@2606:54c0:840:b0::1a:cf) (Quit: Client closed)
2022-08-30 22:36:48 +0200 <qrpnxz> it will make the above look like `foo . bar . baz %~ (+1) $ foo`
2022-08-30 22:37:58 +0200shailangsa_(~shailangs@host86-185-98-81.range86-185.btcentralplus.com)
2022-08-30 22:38:39 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-08-30 22:39:38 +0200 <glguy> if we're lens golfing: (bar . baz +~ 1) foo
2022-08-30 22:40:15 +0200 <glguy> or to get some extra operator points: foo & bar . baz +~ 1
2022-08-30 22:41:33 +0200 <qrpnxz> yes, i should not have put that first foo actually
2022-08-30 22:41:43 +0200 <qrpnxz> foo & bar . baz +~ 1 is best
2022-08-30 22:42:04 +0200 <qrpnxz> Record dot extension btfo
2022-08-30 22:42:47 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-08-30 22:44:30 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
2022-08-30 22:45:18 +0200raym(~raym@user/raym)
2022-08-30 22:46:10 +0200Deide1(~deide@user/deide)
2022-08-30 22:46:12 +0200monadplus[m]1(~arnauabel@2001:470:69fc:105::2:6085)
2022-08-30 22:48:26 +0200surgeon(~surge9nma@2001:470:69fc:105::f585)
2022-08-30 22:48:30 +0200elvishjerricco1(~elvishjer@2001:470:69fc:105::6172)
2022-08-30 22:48:35 +0200jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab)
2022-08-30 22:50:03 +0200aviladev[m](~aviladevm@2001:470:69fc:105::1:cbc7)
2022-08-30 22:50:06 +0200monadplus[m](~monadplus@2001:470:69fc:105::2:5fa2)
2022-08-30 22:50:09 +0200Player-205[m](~sashaserp@2001:470:69fc:105::2:30b8)
2022-08-30 22:51:03 +0200crazazy[m](~crazazyma@2001:470:69fc:105::2:6bd9)
2022-08-30 22:56:10 +0200raym(~raym@user/raym) (Remote host closed the connection)
2022-08-30 22:56:15 +0200ormaaj(~ormaaj@user/ormaaj)
2022-08-30 22:58:07 +0200Killy(~killy@2001:470:69fc:105::2:6ec1)
2022-08-30 22:59:21 +0200 <Guest4971> Hello, how is it guaranteed that [ x | x <- [1..10]] == [1,2,3,4,5,6,7,8,9,10] ?
2022-08-30 22:59:57 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-08-30 23:00:02 +0200 <Rembane> Because that's how ranges work.
2022-08-30 23:00:03 +0200 <qrpnxz> Guest4971: what other result could it be?
2022-08-30 23:00:21 +0200 <Guest4971> resulting list order could be different
2022-08-30 23:00:21 +0200 <qrpnxz> it's a pure computation, so the output is always the same for the same input, and that's the output it should produce so
2022-08-30 23:00:30 +0200 <qrpnxz> how could it be different?
2022-08-30 23:01:10 +0200 <Guest4971> just wanted to verify that it's indeed the case
2022-08-30 23:01:14 +0200 <qrpnxz> 👍
2022-08-30 23:01:21 +0200raym(~raym@user/raym)
2022-08-30 23:01:24 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-30 23:01:26 +0200 <Guest4971> esp was thinking about the ordering
2022-08-30 23:04:08 +0200 <monochrom> What does "guarantee" mean to you?
2022-08-30 23:05:36 +0200vglfr(~vglfr@145.224.94.248) (Ping timeout: 260 seconds)
2022-08-30 23:05:44 +0200vglfr(~vglfr@145.224.94.248)
2022-08-30 23:06:44 +0200jmcantrell(~jmcantrel@user/jmcantrell)
2022-08-30 23:06:51 +0200unclechu(~unclechu@2001:470:69fc:105::354)
2022-08-30 23:11:32 +0200Bulby[m](~bulbyvrma@2001:470:69fc:105::1:fe0a)
2022-08-30 23:11:35 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2022-08-30 23:12:34 +0200sektor[m](~sektor@2001:470:69fc:105::2:3f60)
2022-08-30 23:13:06 +0200kadoban1(~kadoban@user/kadoban)
2022-08-30 23:15:05 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-08-30 23:16:23 +0200pareto-optimal-d(~pareto-op@2001:470:69fc:105::1:b61f)
2022-08-30 23:16:27 +0200bontaq`(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 244 seconds)
2022-08-30 23:16:47 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-08-30 23:17:02 +0200mikoto-chan(~mikoto-ch@164.5.249.78)
2022-08-30 23:18:21 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-08-30 23:20:39 +0200rockystone(~rocky@user/rockymarine)
2022-08-30 23:22:17 +0200Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac)
2022-08-30 23:22:58 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2022-08-30 23:23:49 +0200polykernel[m](~polykerne@user/polykernel)
2022-08-30 23:23:55 +0200sibnull[m](~sibnullma@2001:470:69fc:105::1:1291)
2022-08-30 23:24:55 +0200fserucas(~fserucas@89.214.116.132)
2022-08-30 23:30:09 +0200 <jackdk> Guest4971: [1..10] is desugared to `enumFromTo 1 10`
2022-08-30 23:30:09 +0200slack1256(~slack1256@191.125.227.209) (Read error: Connection reset by peer)
2022-08-30 23:30:47 +0200slack1256(~slack1256@186.11.99.53)
2022-08-30 23:31:06 +0200 <geekosaur> and Enum has a `succ`(essor) method
2022-08-30 23:31:40 +0200ajf___[m](~ajfmatrix@2001:470:69fc:105::2:5be3)
2022-08-30 23:33:59 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal)
2022-08-30 23:35:03 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-08-30 23:35:38 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 240 seconds)
2022-08-30 23:38:43 +0200Guest4971(~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d) (Ping timeout: 268 seconds)
2022-08-30 23:39:19 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284)
2022-08-30 23:39:37 +0200adziahel[m](~adziahelm@2001:470:69fc:105::b4d)
2022-08-30 23:41:08 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds)
2022-08-30 23:43:09 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-08-30 23:44:59 +0200wonko_(~wjc@2a0e:1c80:2::130)
2022-08-30 23:46:12 +0200raym(~raym@user/raym) (Remote host closed the connection)
2022-08-30 23:51:43 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 252 seconds)
2022-08-30 23:52:00 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-08-30 23:57:27 +0200phuegrvs[m](~phuegrvsm@2001:470:69fc:105::1:65e4)
2022-08-30 23:57:41 +0200emad(~emad@156.214.126.109) (Read error: Connection reset by peer)
2022-08-30 23:59:16 +0200emad(~emad@156.214.126.109)
2022-08-30 23:59:59 +0200raym(~raym@user/raym)