Home freenode/#haskell: Logs Calendar

Logs on 2020-12-24 (freenode/#haskell)

00:00:30 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
00:01:40 <xsperry> fuzzypixelz parseMaybe returns Nothing if parsing failed
00:02:26 <MarcelineVQ> fuzzypixelz: Text.Megaparsec makes Control.Monad.Combinators available where you'll find https://hackage.haskell.org/package/parser-combinators-1.2.1/docs/Control-Monad-Combinators.html#v:optional
00:03:49 <fuzzypixelz> xsperry: problem is I'm trying to do this for a very specific part of my parser combination
00:03:58 <MarcelineVQ> oh interesting, optional is itself a re-export from Control.Applicative
00:05:01 × cosimone quits (~cosimone@2001:b07:ae5:db26:1fb3:ef3f:ece2:c6f8) (Ping timeout: 272 seconds)
00:05:09 <xsperry> then see what MarcelineVQ said. there's also "try" that can be used in combination with optional, to backtrack parser state if it consumed any input before failing
00:05:39 × sw1nn quits (~sw1nn@2a00:23c6:2385:3a00:ad7a:1249:54d6:c8ee) (Ping timeout: 272 seconds)
00:05:59 → jollygood2 joins (~bc8165ab@217.29.117.252)
00:06:31 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
00:07:41 <jollygood2> hi. if scotty a good all in package for making websites in haskell? (framework + web server). any other that I should check?
00:08:04 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
00:08:11 × Lowl3v3l quits (~Lowl3v3l@dslb-090-186-057-171.090.186.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
00:10:39 <glguy> fuzzypixelz, do you want 'optional'?
00:10:40 → Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-122.cust.tzulo.com)
00:10:44 <glguy> :t optional
00:10:45 <lambdabot> Alternative f => f a -> f (Maybe a)
00:10:49 → polyrain joins (~polyrain@2001:8003:e501:6901:4bd:ec90:968a:2aae)
00:11:31 × gekh quits (~gkh@thor.kevinhill.nl) (Ping timeout: 246 seconds)
00:14:07 → xcmw joins (~textual@2601:541:4404:bb5c:8c82:da5d:92c6:ff2b)
00:14:09 × heatsink quits (~heatsink@2600:1700:bef1:5e10:19ea:e852:616:ff9f) (Remote host closed the connection)
00:14:37 → gekh joins (~gkh@thor.kevinhill.nl)
00:17:28 → ep1ctetus joins (b8bba2a3@ip184-187-162-163.sb.sd.cox.net)
00:17:49 → sw1nn joins (~sw1nn@2a00:23c6:2385:3a00:fe78:480f:b8a:8607)
00:17:59 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
00:17:59 → Tops21 joins (~Tobias@dyndsl-095-033-020-064.ewe-ip-backbone.de)
00:18:43 → Tario joins (~Tario@201.192.165.173)
00:18:47 <ep1ctetus> Please could someone explain to me how this bit of code works? `mean' = (/) <$> sum <*> sum . (1 <$)`
00:18:49 × noctux quits (~noctux@unaffiliated/noctux) (Ping timeout: 256 seconds)
00:19:07 <ep1ctetus> It has type `[Double] -> Double`
00:19:21 → kam1 joins (~kam1@24.231.108.143)
00:19:28 × Lycurgus quits (~niemand@cpe-45-46-137-210.buffalo.res.rr.com) (Quit: Exeunt)
00:20:04 × recursion_ninja quits (ad4dccaf@pool-173-77-204-175.nycmny.fios.verizon.net) (Remote host closed the connection)
00:20:14 <fuzzypixelz> Thank you all, I needed optional. I just forgot that the the rest of my 'optional part' wasn't consumed so the next parser has unexpected tokens and I failed to realize that
00:20:37 × hseg quits (~gesh@IGLD-84-228-238-87.inter.net.il) (Ping timeout: 264 seconds)
00:20:39 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
00:20:51 × cocreature quits (~cocreatur@eirene.uberspace.de) (Ping timeout: 272 seconds)
00:20:58 × Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-122.cust.tzulo.com) (Ping timeout: 246 seconds)
00:21:36 × Tops2 quits (~Tobias@dyndsl-095-033-020-064.ewe-ip-backbone.de) (Ping timeout: 272 seconds)
00:21:42 <hpc> ep1ctetus: that's such a weird way to write it, not surprised it's confusing
00:22:08 <ep1ctetus> hpc: thank you! I completely agree! I cannot fathom why someone would write this function this way
00:22:08 × AWizzArd quits (~code@unaffiliated/awizzard) (Ping timeout: 256 seconds)
00:22:18 <hpc> ep1ctetus: the parts you'll want to focus on are what (sum . (1 <$)) means, and what instance is being selected for (<$>) and (<*>)
00:23:26 <hpc> i think the rest is a good exercise for the reader ;)
00:23:36 <ep1ctetus> hpc: I get that `(sum . (1 <$))` is equivalent to `length` in this context
00:24:00 <ep1ctetus> I have no idea what's going on with the `<$>` and `<$>`
00:24:00 <hpc> here's another hint:
00:24:07 <hpc> a <$> b <*> c = liftA2 a b c
00:24:18 <hpc> :t liftA2
00:24:20 <lambdabot> Applicative f => (a -> b -> c) -> f a -> f b -> f c
00:24:26 <hpc> and you know what b is
00:25:58 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0)
00:27:32 <hpc> another hint?
00:27:51 <ep1ctetus> so b is sum, type [Double] -> Double, c is (sum . (1 <$)) type [Double] -> Double
00:28:07 <ep1ctetus> a is (/) type Double -> Double -> Double
00:29:20 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
00:29:24 <seiryn> Yup
00:29:31 <hpc> and your goal is the type f
00:29:51 <hpc> you have b = sum, b :: [Double] -> Double, and b :: f b
00:30:09 → Lowl3v3l joins (~Lowl3v3l@dslb-084-062-101-233.084.062.pools.vodafone-ip.de)
00:30:31 <ep1ctetus> right, I don't really understand how b :: [Double] -> Double corresponds to b :: f b
00:30:43 <seiryn> (You shoud use an other letter because b :: f b is a little bit confusing)
00:30:51 <hpc> so, at the type level operators work like at the value level
00:30:55 <hpc> (->) is the prefix form
00:31:04 <hpc> so you might also write it (->) [Double] Double
00:31:08 <hpc> which is also curried!
00:31:32 <hpc> ((->) [Double]) Double
00:31:56 <ep1ctetus> so the Applicative is ((->) [Double])
00:32:08 <hpc> yep, f = ((->) [Double])
00:32:23 × nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
00:32:38 <ep1ctetus> would it be accurate to state that as "Something that takes a list of Doubles" ?
00:32:46 <hpc> then you can look up the instances of Applicative, find the one that matches that, and it gets legitimately confusing here
00:32:53 <seiryn> ((->) r) is even a Monad
00:32:58 <hpc> (->) is the important bit here, it's for functions
00:33:33 <hpc> so, (<$>) is (.) for ((->) r), so nothing new there
00:33:44 <hpc> but for (<*>) it's
00:34:15 <hpc> ... hard to do off the top of my head lol
00:34:18 <hpc> sec
00:34:19 <ep1ctetus> hahaha
00:35:02 <hpc> (<*>) f g x = f x (g x)
00:35:22 <ep1ctetus> that seems simple enough
00:35:37 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
00:35:40 <hpc> it's Reader, if you have looked at that
00:36:02 <hpc> so (sum) and (sum . (1 <$)) both get the same parameter passed to them
00:37:40 <ep1ctetus> sorry, I got lost
00:38:07 <hpc> it might be easier to read it infix
00:38:16 <ep1ctetus> I have to go back -- I still don't really understand what it means to say that ((->) Double) is an Applicative
00:38:45 <seiryn> ((->) [Double]) here
00:38:52 <ep1ctetus> right
00:39:01 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
00:39:17 <hpc> ep1ctetus: it's like saying ((,) e) is a Functor
00:39:33 <hpc> (,) or (->) take two type parameters
00:39:51 <hpc> one is given, so they take one more
00:40:36 <hpc> and in Applicative f or Functor f, f is something that matches that
00:40:56 <hpc> basically, types have kinds in the same way values have types
00:41:00 <hpc> :k (,)
00:41:02 <lambdabot> * -> * -> *
00:41:07 <hpc> :k ((,) Int)
00:41:09 <lambdabot> * -> *
00:41:12 <hpc> and...
00:41:14 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
00:41:15 <hpc> :k Applicative
00:41:15 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
00:41:16 <lambdabot> (* -> *) -> Constraint
00:41:43 <whataday> could State and Parser be combined?
00:41:50 <hpc> so, ((->) [Double]) :: (* -> *), so it fits
00:42:13 <ep1ctetus> ok, I think of type classes like Functor, Applicative etc. as wrappers for types
00:42:25 <ep1ctetus> so in this case our wrapper is ((->) [Double])
00:42:40 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
00:43:07 → hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
00:43:14 → axeman- joins (~axeman_@2a02:8109:86c0:1f98:b552:2bd4:45ad:9d0e)
00:43:16 × usr25 quits (~J@80.red-79-151-174.dynamicip.rima-tde.net) (Quit: Bye)
00:43:32 <whataday> I don't know how to re-assign variable bindings
00:44:11 <hpc> type classes aren't so much wrappers for types
00:44:45 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 240 seconds)
00:45:19 <hpc> so, let's start with what a constraint is, i guess
00:46:07 <ep1ctetus> hpc: I misstated that. I mean to say that types which are Functor, Applicative, Monad etc. (e.g. lists, Maybe, Either) are wrappers for types
00:46:21 <hpc> ah
00:46:39 → pair joins (~fruitsale@192-0-213-82.cpe.teksavvy.com)
00:47:14 × xiinotulp quits (~q@node-ufm.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
00:47:15 <ep1ctetus> so in this case, our Applicative type is ((->) [Double])
00:47:38 <ep1ctetus> with that in mind, I can now understand the type signature you gave me for `liftA2`
00:48:24 → scde joins (~scde@194.62.248.187)
00:48:46 → AWizzArd joins (~code@gehrels.uberspace.de)
00:48:51 <ep1ctetus> `(a -> b -> c)` is `(/)` `f a` is `sum` and `f b` is `(sum . <$ 1)`
00:48:56 × scde quits (~scde@194.62.248.187) (Client Quit)
00:49:02 → cocreature joins (~cocreatur@eirene.uberspace.de)
00:49:04 <hpc> yep
00:49:09 <ep1ctetus> where `a` `b` `c` are all `Double`
00:49:19 <ep1ctetus> and `f` is `((->) Double)`
00:49:28 <ep1ctetus> ack
00:49:33 × xcmw quits (~textual@2601:541:4404:bb5c:8c82:da5d:92c6:ff2b) (Read error: Connection reset by peer)
00:49:36 <ep1ctetus> `((->0) [Double])`
00:49:40 <hpc> yep
00:49:59 <ep1ctetus> well I never would have figured this out on my own
00:50:30 <ep1ctetus> and I will never write such a simple function using such an advanced feature of Haskell, tbh
00:50:45 <seiryn> Functor, Applicative and Monad are tricky to understand
00:51:09 <seiryn> It's not a feature of Haskell, it's a feature of functionnal programming ,actually
00:51:14 <hpc> they're tricky to understand every instance of
00:51:46 <hpc> most instances are fairly straightforward, and in their full generality they make sense too after some thought
00:52:42 <ep1ctetus> I've been thinking about a simplistic definition of Monads, I'm curious to hear what you guys think
00:52:57 <ep1ctetus> Monads are a class of types for which sequencing makes sense
00:54:25 × cocreature quits (~cocreatur@eirene.uberspace.de) (Ping timeout: 272 seconds)
00:55:21 <hpc> with the caveat that "sequencing" is defined as "whatever (>>=) does" ;)
00:55:43 <ep1ctetus> right exactly! Sequencing means different things for different types
00:55:47 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
00:56:29 <hpc> for a good time, check out https://hackage.haskell.org/package/tardis
00:57:02 <seiryn> oh gosh
00:58:33 <ep1ctetus> lolwut "You can retrieve the current value of the state, and you can set its value, affecting any past attempts to retrieve it"
00:59:04 <seiryn> * M a t t *
00:59:16 <hpc> ep1ctetus: when you define something in the "future" and fetch it in the "past", you're defining a fixed point
00:59:25 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
00:59:46 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
01:00:02 <hpc> :t fix -- another fun thing to learn, if you haven't already
01:00:06 <lambdabot> (a -> a) -> a
01:00:22 <seiryn> Ok but if you do something like retrieving from the futur, multiply by two and then send it to the past ? what's append
01:00:44 <hpc> you get bottom (via non-termination)
01:00:47 <hpc> same as if you did
01:00:49 <hpc> > fix (* 2)
01:00:54 <lambdabot> *Exception: <<loop>>
01:01:32 <hpc> but say you have a list, and you prefix a number to that list and send that back
01:01:34 <seiryn> what's the import for fix ?
01:01:35 <hpc> you get something like
01:01:43 <hpc> > fix ("list element" :)
01:01:46 <lambdabot> ["list element","list element","list element","list element","list element",...
01:01:54 <hpc> Data.Fix
01:02:03 → waddlepon joins (~waddlepon@2603:3024:182f:9300:74d3:601c:37df:8aff)
01:02:30 × Vulfe_ quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Remote host closed the connection)
01:02:53 <hpc> there's a great series of blog posts by ezyang about fixed points and some other related topics
01:03:01 <hpc> i suggest starting there
01:03:40 <hpc> also, no discussion of fix would be complete without
01:03:42 <hpc> > fix error
01:03:44 <lambdabot> "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Ex...
01:03:56 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
01:04:22 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
01:04:25 → nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net)
01:04:33 × nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
01:04:42 <ep1ctetus> Ok I noted that, def gonna have to read up on it
01:04:46 → nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net)
01:05:09 <ep1ctetus> I love how literally every aspect of Haskell can be abstracted in some way
01:05:35 <ep1ctetus> even `->` and `,` which up to this point I thought of as just special operators in the language
01:05:49 × sw1nn quits (~sw1nn@2a00:23c6:2385:3a00:fe78:480f:b8a:8607) (Ping timeout: 272 seconds)
01:07:11 → texasmyn_ joins (~texasmyns@ip-148-72-133-198.ip.secureserver.net)
01:09:11 → heatsink joins (~heatsink@2600:1700:bef1:5e10:19ea:e852:616:ff9f)
01:09:23 × waddlepon quits (~waddlepon@2603:3024:182f:9300:74d3:601c:37df:8aff) (Quit: Leaving)
01:10:01 → Vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
01:10:20 <ep1ctetus> hpc: can you recommend to me further reading on how to understand the abstraction of `->`
01:10:47 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
01:10:54 × evanjs- quits (~evanjs@075-129-098-007.res.spectrum.com) (Max SendQ exceeded)
01:11:33 × livvy quits (~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
01:11:40 → evanjs joins (~evanjs@075-129-098-007.res.spectrum.com)
01:12:47 <seiryn> It's not abstraction of `->` but abstraction of `((->) r)` it's not really the same thing
01:13:00 hackage rattletrap 9.3.2 - Parse and generate Rocket League replays. https://hackage.haskell.org/package/rattletrap-9.3.2 (fozworth)
01:13:01 → noctux joins (~noctux@unaffiliated/noctux)
01:13:14 × carthia quits (~carthia@gateway/tor-sasl/carthia) (Quit: carthia)
01:13:16 × polyrain quits (~polyrain@2001:8003:e501:6901:4bd:ec90:968a:2aae) (Quit: My MacBook has gone to sleep. ZZZzzz…)
01:13:39 <ep1ctetus> seiryn: anything to read about that?
01:15:51 <seiryn> Nah, sorry
01:16:59 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-smcwgzrhebufmvup) ()
01:16:59 <seiryn> I used my skill in math to understand Haskell, so i don't needed so much reading
01:17:13 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-prsljozdtcilczmu)
01:17:25 × Vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
01:17:37 → sw1nn joins (~sw1nn@2a00:23c6:2385:3a00:c664:c81:5644:9301)
01:17:37 × noctux quits (~noctux@unaffiliated/noctux) (Ping timeout: 260 seconds)
01:19:17 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
01:22:07 × pair quits (~fruitsale@192-0-213-82.cpe.teksavvy.com) (Remote host closed the connection)
01:23:36 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds)
01:23:40 <hpc> ep1ctetus: i got used to it by just generally improving my ability to read types and functions, if that makes sense
01:23:58 × kam1 quits (~kam1@24.231.108.143) (Ping timeout: 246 seconds)
01:24:07 <hpc> and by not needing to know instances for (->) specifically ;)
01:26:05 × stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Ping timeout: 272 seconds)
01:26:06 → polyrain joins (~polyrain@2001:8003:e501:6901:4bd:ec90:968a:2aae)
01:26:26 <seiryn> In an other register : Can someone help me to understand the arcana of cabal (get it ?)
01:27:49 <Kronic> What do you wanna know?
01:28:06 × Tops21 quits (~Tobias@dyndsl-095-033-020-064.ewe-ip-backbone.de) (Read error: Connection reset by peer)
01:28:56 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds)
01:29:13 × al3x27 quits (~plovs@85.254.75.199) (Ping timeout: 246 seconds)
01:29:25 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
01:32:43 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
01:33:18 <seiryn> Well, ghc want process-1.6.9 and "user target" want process-1.6.10, so when i want to install anything there is a conflict and i don't know how to solve it
01:33:46 → cocreature joins (~cocreatur@eirene.uberspace.de)
01:35:07 × Ariakenom_ quits (~Ariakenom@2001:9b1:efb:fc00:e4fe:4113:e091:bcc) (Ping timeout: 260 seconds)
01:35:58 → olligobber joins (~olligobbe@unaffiliated/olligobber)
01:37:00 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds)
01:37:53 <_deepfire> are there any libraries that provide secure websockets (wss) servers, that don't involve webserver stacks, like warp etc.?
01:38:25 <ep1ctetus> hpc seiryn ok, thanks for helping me with this!
01:41:28 × Entertainment quits (~entertain@104.246.132.210) (Ping timeout: 246 seconds)
01:42:32 × arybczak quits (~unknown@2a02:a312:c83d:7800:bb7f:5c00:4f48:cc5c) (Quit: Konversation terminated!)
01:44:34 × polyrain quits (~polyrain@2001:8003:e501:6901:4bd:ec90:968a:2aae) (Quit: My MacBook has gone to sleep. ZZZzzz…)
01:44:56 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
01:46:04 × columbarius quits (~columbari@87.123.198.19) (Ping timeout: 256 seconds)
01:46:53 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds)
01:48:20 → columbarius joins (~columbari@i5E86B3E4.versanet.de)
01:51:36 → hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-ickzlupxtrdbygqs)
01:52:08 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
01:53:39 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
01:54:05 → Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
01:55:34 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds)
01:55:34 Lord_of_Life_ is now known as Lord_of_Life
01:59:34 <Feuermagier> I'm trying to insert (a binary tree) into a binary tree (a Tree is either "Node l m r" or "Leaf"). Insertion point is a list of Left/Right directions. I want the operation to fail, should the position to insert into not be reachable. What I have so far: https://pastebin.com/Sehg0CKn
02:00:26 × axeman- quits (~axeman_@2a02:8109:86c0:1f98:b552:2bd4:45ad:9d0e) (Remote host closed the connection)
02:00:36 ← ep1ctetus parts (b8bba2a3@ip184-187-162-163.sb.sd.cox.net) ()
02:00:52 → axeman- joins (~axeman_@2a02:8109:86c0:1f98:b552:2bd4:45ad:9d0e)
02:01:08 × fuzzypixelz quits (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: fuzzypixelz)
02:01:43 <Feuermagier> How do I fail if I ever get Nothing as a return and still work with the value?
02:01:55 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Remote host closed the connection)
02:03:07 × axeman- quits (~axeman_@2a02:8109:86c0:1f98:b552:2bd4:45ad:9d0e) (Remote host closed the connection)
02:04:34 → kam1 joins (~kam1@24.231.108.143)
02:05:01 → FledRebel joins (~fred@23-233-60-113.cpe.pppoe.ca)
02:05:06 × sw1nn quits (~sw1nn@2a00:23c6:2385:3a00:c664:c81:5644:9301) (Ping timeout: 258 seconds)
02:10:23 → jedws joins (~jedws@121.209.189.201)
02:11:48 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
02:12:20 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
02:12:33 → Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer)
02:12:38 → drbean joins (~drbean@TC210-63-209-97.static.apol.com.tw)
02:12:51 × FledRebel quits (~fred@23-233-60-113.cpe.pppoe.ca) (Quit: WeeChat 3.0)
02:13:42 <koz_> Feuermagier: You want to use the monadic interface of Maybe to do this.
02:13:52 → sand_dull joins (~theuser@c-73-149-95-105.hsd1.ct.comcast.net)
02:14:37 <Feuermagier> koz_, I think I just found a way to do it. However it's probably not good style. I'll show you when I completed it and maybe ou can suggest a way to improve it
02:14:45 <koz_> Feuermagier: Sure.
02:15:37 → xcmw joins (~textual@2601:541:4404:bb5c:8c82:da5d:92c6:ff2b)
02:15:41 → noctux joins (~noctux@unaffiliated/noctux)
02:16:52 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Ping timeout: 260 seconds)
02:17:24 <Feuermagier> koz_, https://pastebin.com/Sehg0CKn
02:17:31 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
02:17:34 <Feuermagier> I think this works
02:17:44 → sw1nn joins (~sw1nn@2a00:23c6:2385:3a00:3bbc:49be:31a7:155b)
02:17:49 <koz_> Yeah, but it's _definitely_ not stylistically good.
02:17:53 <koz_> Let me give it a shot.
02:18:11 <koz_> The short answer is - if you find yourself using fromJust, rethink your life decisions.
02:18:23 <koz_> There are _very_ rare cases where this is necessary, but yours will almost never be one of them.
02:18:38 <solonarv> if you find yourself using fromJust after checking isJust, use pattern matching instead
02:20:33 × noctux quits (~noctux@unaffiliated/noctux) (Ping timeout: 272 seconds)
02:21:06 → philopsos joins (~caecilius@gateway/tor-sasl/caecilius)
02:21:25 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds)
02:21:44 × seiryn quits (~seiryn@2a01cb0409c990003ccf6635f6976a70.ipv6.abo.wanadoo.fr) (Quit: WeeChat 3.0)
02:22:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
02:22:30 <koz_> Feuermagier: For insertAt, which argument is the tree to be inserted into, and which is the thing being inserted?
02:22:45 <koz_> I assume the first Tree a is the 'target' and the second is 'thing I want to insert'; am I correct?
02:23:03 <Feuermagier> the first is the tree, the second the tree that is to be inserted into the first
02:23:10 <Feuermagier> yes
02:23:44 → axeman- joins (~axeman_@2a02:8109:86c0:1f98:b552:2bd4:45ad:9d0e)
02:25:35 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
02:25:54 × fradet quits (~pi@216.252.75.247) (Quit: Lost terminal)
02:27:09 <koz_> https://gist.github.com/kozross/96398bce51eba004df86b24f1a81cb60
02:28:12 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
02:28:49 × axeman- quits (~axeman_@2a02:8109:86c0:1f98:b552:2bd4:45ad:9d0e) (Ping timeout: 268 seconds)
02:29:31 × xsperry quits (~as@unaffiliated/xsperry) ()
02:29:45 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
02:29:58 → toorevitimirp joins (~tooreviti@117.182.182.252)
02:30:01 → xsperry joins (~as@unaffiliated/xsperry)
02:32:08 <Feuermagier> koz_, very interesting
02:32:20 <Feuermagier> I don't know half the symbols in there
02:32:28 <koz_> Feuermagier: For example?
02:33:12 <Feuermagier> pure; <$>; <*>; the case thingy
02:34:20 <Feuermagier> will look them up and try to understand your solution. thx!
02:34:22 <koz_> Feuermagier: Have you read the Typeclassopedia?
02:34:29 <koz_> Are you familiar with pattern matching as such?
02:34:39 <koz_> If the answer to either of these is 'no', I recommend you do _that_ before anything else.
02:34:50 <koz_> Because without those tools, you'll have a very hard time doing much of anything.
02:35:21 <Feuermagier> I've used pattern matching in "function definitions" previously. so only the way you saw it in my code
02:36:20 <koz_> 'case' is just another form, and one I advise learning, because ultimately, all pattern matching can boil down to it.
02:37:10 → nbloomf joins (~nbloomf@2601:285:401:7490:19cb:fee8:97f2:7b8f)
02:38:36 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Ping timeout: 240 seconds)
02:41:21 <Feuermagier> thx!. will look at all those.
02:44:08 → whoops joins (whoopsmatr@gateway/shell/matrix.org/x-fwuggbdudqcqogry)
02:44:19 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
02:45:06 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
02:46:45 ← whoops parts (whoopsmatr@gateway/shell/matrix.org/x-fwuggbdudqcqogry) ("User left")
02:46:57 × nbloomf quits (~nbloomf@2601:285:401:7490:19cb:fee8:97f2:7b8f) (Quit: My MacBook has gone to sleep. ZZZzzz…)
02:49:34 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Ping timeout: 258 seconds)
02:52:56 × jmchael quits (~jmchael@81.174.205.210) (Ping timeout: 240 seconds)
02:54:14 → nbloomf joins (~nbloomf@c-73-95-140-190.hsd1.co.comcast.net)
02:56:50 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
02:57:12 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
02:57:29 × kam1 quits (~kam1@24.231.108.143) (Ping timeout: 256 seconds)
02:59:09 × xff0x_ quits (~fox@2001:1a81:53e9:2700:bff:aece:1b85:7d44) (Ping timeout: 258 seconds)
02:59:39 → Tario joins (~Tario@200.119.185.11)
02:59:45 × Feuermagier quits (~Feuermagi@213.178.26.41) (Ping timeout: 240 seconds)
03:00:03 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
03:00:10 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
03:00:36 → hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
03:00:58 → xff0x_ joins (~fox@2001:1a81:5220:8900:9738:2a36:4086:4665)
03:02:01 → noctux joins (~noctux@unaffiliated/noctux)
03:03:43 × m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 256 seconds)
03:04:50 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
03:05:12 × sw1nn quits (~sw1nn@2a00:23c6:2385:3a00:3bbc:49be:31a7:155b) (Ping timeout: 268 seconds)
03:06:54 × noctux quits (~noctux@unaffiliated/noctux) (Ping timeout: 265 seconds)
03:07:14 × xcmw quits (~textual@2601:541:4404:bb5c:8c82:da5d:92c6:ff2b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
03:07:15 × Tario quits (~Tario@200.119.185.11) (Read error: Connection reset by peer)
03:07:17 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
03:08:40 → Tario joins (~Tario@201.192.165.173)
03:09:36 × xsperry quits (~as@unaffiliated/xsperry) ()
03:09:52 → rcdilorenzo joins (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
03:09:52 × jollygood2 quits (~bc8165ab@217.29.117.252) (Quit: http://www.okay.uz/ (EOF))
03:10:03 → chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
03:11:58 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 272 seconds)
03:12:13 × theDon quits (~td@muedsl-82-207-238-067.citykom.de) (Ping timeout: 256 seconds)
03:12:59 × chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Client Quit)
03:13:51 → theDon joins (~td@94.134.91.70)
03:16:05 × sand_dull quits (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Ping timeout: 265 seconds)
03:16:25 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
03:16:27 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
03:17:45 → sand_dull joins (~theuser@62.182.99.39)
03:17:59 → sw1nn joins (~sw1nn@2a00:23c6:2385:3a00:ad36:d0a1:8327:506)
03:18:08 lagothrix is now known as Guest36336
03:18:08 → xirhtogal joins (~lagothrix@unaffiliated/lagothrix)
03:18:08 × Guest36336 quits (~lagothrix@unaffiliated/lagothrix) (Killed (karatkievich.freenode.net (Nickname regained by services)))
03:18:08 xirhtogal is now known as lagothrix
03:18:58 → elliott_ joins (~elliott@ool-4570ee70.dyn.optonline.net)
03:22:27 × nbloomf quits (~nbloomf@c-73-95-140-190.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
03:24:18 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
03:24:43 → nbloomf joins (~nbloomf@c-73-95-140-190.hsd1.co.comcast.net)
03:27:46 → Varis joins (~Tadas@unaffiliated/varis)
03:29:27 → kam1 joins (~kam1@24.231.108.143)
03:30:08 <ezzieyguywuf> so, I've figured out a way to reproduce this "hoddock doctests failures" issues with a minimal cabal package: https://gitlab.com/ezzieyguywuf/testfailure
03:30:39 <ezzieyguywuf> from my poking around, it seems that the issue arises from (1) the use of `build-type: Custom` and (2) Setup.lhs instead of Setup.hs
03:31:11 <ezzieyguywuf> I'm a bit out of my pay-grade here, but I've mostly followed the project structur/layout of machines and lens as a guideline, as these are the two I first noticed the issue on
03:31:49 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
03:31:59 <ezzieyguywuf> I've filed a bug on haddock's bug tracker, but I'm unsure if that's the appropriate place - any help is welcome.
03:33:32 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0)
03:33:46 → minimario joins (2fe3e53b@047-227-229-059.res.spectrum.com)
03:34:02 <minimario> hey! is there somewhere i can get help on hasktorch installation?
03:36:23 × philopsos quits (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds)
03:40:51 → noctux joins (~noctux@unaffiliated/noctux)
03:41:00 × minimario quits (2fe3e53b@047-227-229-059.res.spectrum.com) (Remote host closed the connection)
03:41:52 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-euoarczklgynbawz) ()
03:44:02 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
03:44:14 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
03:46:19 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
03:48:10 × noctux quits (~noctux@unaffiliated/noctux) (Ping timeout: 246 seconds)
03:48:25 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
03:51:02 → toast52 joins (97c0a219@151.192.162.25)
03:54:34 × jedws quits (~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…)
03:54:37 × Kronic quits (~Kronic___@84.203.96.46) (Quit: Leaving)
03:56:00 → Tario joins (~Tario@201.192.165.173)
03:56:11 × cocreature quits (~cocreatur@eirene.uberspace.de) (Ping timeout: 272 seconds)
03:57:29 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
03:58:38 × nbloomf quits (~nbloomf@c-73-95-140-190.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
03:59:37 × drbean quits (~drbean@TC210-63-209-97.static.apol.com.tw) (Ping timeout: 264 seconds)
03:59:42 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
04:00:08 <toast52> Hello! Is anyone using the HLS extension on vscode
04:00:22 × kam1 quits (~kam1@24.231.108.143) (Read error: Connection reset by peer)
04:00:36 → kam1 joins (~kam1@24.231.108.143)
04:00:57 × sand_dull quits (~theuser@62.182.99.39) (Ping timeout: 256 seconds)
04:01:08 <toast52> I've been trying it out on WSL and its been fantastic (auto downloading the binaries is muuuch better than compiling it yourself) but I'm not really sure where the downloaded binaries go
04:02:11 <toast52> I've had a strange issue with hlint - hlint does provide suggestions but when I click "apply suggestion" it doesnt work (just hangs at applying suggestion)
04:02:21 <toast52> Anyone got this?
04:03:05 → sand_dull joins (~theuser@62.182.99.39)
04:03:10 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
04:04:20 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
04:05:38 × sw1nn quits (~sw1nn@2a00:23c6:2385:3a00:ad36:d0a1:8327:506) (Ping timeout: 268 seconds)
04:08:52 × AWizzArd quits (~code@gehrels.uberspace.de) (Ping timeout: 256 seconds)
04:09:15 × toast52 quits (97c0a219@151.192.162.25) (Ping timeout: 245 seconds)
04:09:16 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
04:12:29 → Rudd0 joins (~Rudd0@185.189.115.103)
04:13:17 → nbloomf joins (~nbloomf@2601:285:401:7490:7480:7416:e803:8821)
04:13:34 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
04:14:40 → xsperry joins (~as@unaffiliated/xsperry)
04:14:54 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
04:15:56 → Saukk joins (~Saukk@2001:998:ec:954:1c59:9bb5:b94c:3)
04:17:25 → petersen joins (~petersen@redhat/juhp)
04:18:18 → sw1nn joins (~sw1nn@2a00:23c6:2385:3a00:e31d:5acf:192f:f097)
04:18:26 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
04:22:22 → toast52 joins (97c0a219@151.192.162.25)
04:23:09 × Genius123 quits (~jessiesgi@S01069050ca4e3573.cg.shawcable.net) (Changing host)
04:23:09 → Genius123 joins (~jessiesgi@unaffiliated/sailorreality)
04:26:49 × toast52 quits (97c0a219@151.192.162.25) (Remote host closed the connection)
04:28:11 <justsomeguy> toast52: I don't know much about vscode, but here are some instructions for turning on tracing of the HLS extension. Maybe it will give you some clues for further troubleshooting. https://github.com/haskell/vscode-haskell#investigating-and-reporting-problems
04:29:40 × kderme quits (2eb0d7c7@ppp046176215199.access.hol.gr) (Ping timeout: 245 seconds)
04:37:50 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
04:42:09 → MOSCOS joins (~MOSCOS@152.32.70.55)
04:43:32 × solonarv quits (~solonarv@adijon-656-1-25-229.w90-13.abo.wanadoo.fr) (Ping timeout: 260 seconds)
04:44:19 × dandart quits (~Thunderbi@2a00:23c7:f5a6:d001:6cf9:1173:9e2a:3c85) (Ping timeout: 272 seconds)
04:45:04 → jedws joins (~jedws@121.209.189.201)
04:45:42 × Mikagami quits (~MOSCOS@122.54.107.175) (Ping timeout: 272 seconds)
04:46:17 → Mikagami joins (~MOSCOS@122.54.107.175)
04:47:25 × MOSCOS quits (~MOSCOS@152.32.70.55) (Ping timeout: 256 seconds)
04:55:14 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
04:59:25 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds)
05:00:29 × elliott_ quits (~elliott@ool-4570ee70.dyn.optonline.net) (Ping timeout: 260 seconds)
05:03:27 × Saukk quits (~Saukk@2001:998:ec:954:1c59:9bb5:b94c:3) (Remote host closed the connection)
05:06:04 × sw1nn quits (~sw1nn@2a00:23c6:2385:3a00:e31d:5acf:192f:f097) (Ping timeout: 268 seconds)
05:07:48 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
05:07:58 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 256 seconds)
05:11:56 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
05:12:13 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
05:17:27 × seaLne1 quits (~seaLne@185.204.1.185) (Remote host closed the connection)
05:18:40 → sw1nn joins (~sw1nn@2a00:23c6:2385:3a00:b2b1:782a:3a1a:309)
05:18:58 → tabemann_ joins (~tabemann@2600:1700:7990:24e0:bd20:50d4:5aa8:e550)
05:19:07 → heatsink_ joins (~heatsink@2600:1700:bef1:5e10:19ea:e852:616:ff9f)
05:19:09 → Vulfe_ joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
05:19:12 → kutio joins (~kutio@5.253.204.132)
05:20:02 × rslima_____ quits (sid26145@gateway/web/irccloud.com/x-sxoacwwvrypgvpjy) (Ping timeout: 260 seconds)
05:20:02 × dsal quits (sid13060@gateway/web/irccloud.com/x-pxsnympjlocgwvcz) (Ping timeout: 260 seconds)
05:20:13 → rslima_____ joins (sid26145@gateway/web/irccloud.com/x-bfeyyrmllgmhdyap)
05:20:37 × glowcoil quits (sid3405@gateway/web/irccloud.com/x-urkxtcqlvmxbhybw) (Ping timeout: 260 seconds)
05:20:39 × sqrt2 quits (~ben@unaffiliated/sqrt2) (Read error: Connection reset by peer)
05:20:49 → sqrt2_ joins (~ben@unaffiliated/sqrt2)
05:21:12 × natim87 quits (sid286962@gateway/web/irccloud.com/x-vhirsoincvqfnshg) (Ping timeout: 260 seconds)
05:21:47 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Ping timeout: 260 seconds)
05:21:47 × heatsink quits (~heatsink@2600:1700:bef1:5e10:19ea:e852:616:ff9f) (Ping timeout: 260 seconds)
05:21:47 × iqubic quits (~user@2601:602:9500:4870:224c:ee6c:f171:d2ab) (Ping timeout: 260 seconds)
05:21:47 × m-renaud quits (sid333785@gateway/web/irccloud.com/x-rdlxbrqpwuslqdal) (Ping timeout: 260 seconds)
05:21:47 × lally quits (sid388228@gateway/web/irccloud.com/x-kigisbxmlrdxghtz) (Ping timeout: 260 seconds)
05:21:47 × bradparker quits (sid262931@gateway/web/irccloud.com/x-uzixcvysgzyerkpa) (Ping timeout: 260 seconds)
05:21:47 × tabemann quits (~tabemann@2600:1700:7990:24e0:62a5:b954:91f8:80f6) (Ping timeout: 260 seconds)
05:22:02 → dsal joins (sid13060@gateway/web/irccloud.com/x-frcdhloinrhxmjcq)
05:23:04 → bradparker joins (sid262931@gateway/web/irccloud.com/x-trlvweqysuezljfu)
05:23:05 → m-renaud joins (sid333785@gateway/web/irccloud.com/x-gftlznuewepqxlfi)
05:23:06 → natim87 joins (sid286962@gateway/web/irccloud.com/x-kualhupdbhvyucio)
05:23:06 → lally joins (sid388228@gateway/web/irccloud.com/x-mxgkmpovbzlskqvr)
05:23:09 → glowcoil joins (sid3405@gateway/web/irccloud.com/x-piyeseudbyefydfs)
05:28:16 → cocreature joins (~cocreatur@eirene.uberspace.de)
05:29:22 → bitmagie joins (~Thunderbi@200116b8062aa100b5708b905df0f506.dip.versatel-1u1.de)
05:32:29 hackage data-vector-growable 0.0.1 - Dynamic growable resizable mutable generic vector https://hackage.haskell.org/package/data-vector-growable-0.0.1 (FumiakiKinoshita)
05:36:05 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds)
05:41:36 × shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
05:41:45 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
05:42:13 → shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com)
05:43:46 → shatriff_ joins (~vitaliish@176-52-216-242.irishtelecom.com)
05:43:46 × shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Read error: Connection reset by peer)
05:44:34 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
05:44:35 × shatriff_ quits (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
05:44:38 → CMCDragonkai2 joins (~Thunderbi@110.175.213.142)
05:45:08 → shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com)
05:45:32 → ADG1089__ joins (~aditya@122.163.225.112)
05:47:08 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
05:48:36 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
05:49:16 × shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Ping timeout: 240 seconds)
05:49:44 → coot joins (~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl)
05:50:14 × Vulfe_ quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Remote host closed the connection)
05:54:09 → iqubic joins (~user@2601:602:9500:4870:b7f1:451d:134d:f88a)
05:57:19 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
05:57:23 → rayyyy joins (~nanoz@gateway/tor-sasl/nanoz)
05:59:31 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
06:01:43 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
06:03:31 → rayyyy1 joins (~nanoz@gateway/tor-sasl/nanoz)
06:04:22 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Ping timeout: 260 seconds)
06:04:43 × rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
06:05:52 × rayyyy1 quits (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection)
06:05:56 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
06:05:58 × Mikagami quits (~MOSCOS@122.54.107.175) (Remote host closed the connection)
06:06:08 → Iceland_jack joins (~user@31.124.48.169)
06:06:22 → rayyyy1 joins (~nanoz@gateway/tor-sasl/nanoz)
06:06:23 × sw1nn quits (~sw1nn@2a00:23c6:2385:3a00:b2b1:782a:3a1a:309) (Ping timeout: 260 seconds)
06:06:24 → Mikagami joins (~MOSCOS@122.54.107.175)
06:06:45 <Iceland_jack> o/
06:10:34 × orion quits (~orion@unaffiliated/orion) (Read error: Connection reset by peer)
06:10:42 × bitmagie quits (~Thunderbi@200116b8062aa100b5708b905df0f506.dip.versatel-1u1.de) (Quit: bitmagie)
06:12:48 × jedws quits (~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…)
06:13:34 → jedws joins (~jedws@121.209.189.201)
06:13:50 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
06:14:41 × nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
06:18:04 × Iceland_jack quits (~user@31.124.48.169) (Ping timeout: 260 seconds)
06:18:36 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:19:11 → sw1nn joins (~sw1nn@2a00:23c6:2385:3a00:f58c:f822:28cd:6961)
06:19:44 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
06:22:17 → al3x27 joins (~plovs@85.254.75.199)
06:24:12 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Ping timeout: 260 seconds)
06:26:57 → fengh joins (~haskeller@ip72-205-40-121.dc.dc.cox.net)
06:27:33 × ADG1089__ quits (~aditya@122.163.225.112) (Read error: Connection reset by peer)
06:27:35 → ADG1089_ joins (~aditya@122.163.225.112)
06:30:57 → knupfer joins (~Thunderbi@200116b8242f5f00a001bdfffe305d3a.dip.versatel-1u1.de)
06:31:34 × knupfer quits (~Thunderbi@200116b8242f5f00a001bdfffe305d3a.dip.versatel-1u1.de) (Remote host closed the connection)
06:31:49 → knupfer joins (~Thunderbi@200116b8242f5f00804b7debd04acff6.dip.versatel-1u1.de)
06:32:21 × nbloomf quits (~nbloomf@2601:285:401:7490:7480:7416:e803:8821) (Quit: My MacBook has gone to sleep. ZZZzzz…)
06:36:19 → shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com)
06:44:29 → nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net)
06:45:28 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
06:45:30 × jedws quits (~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…)
06:48:13 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
06:49:24 × kam1 quits (~kam1@24.231.108.143) (Ping timeout: 256 seconds)
06:49:28 × al3x27 quits (~plovs@85.254.75.199) (Ping timeout: 246 seconds)
06:50:41 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 265 seconds)
06:51:39 → al3x27 joins (~plovs@85.254.74.40)
06:51:55 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
06:52:02 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
06:52:16 × sand_dull quits (~theuser@62.182.99.39) (Ping timeout: 246 seconds)
06:55:41 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
06:57:02 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Ping timeout: 264 seconds)
07:05:37 × sw1nn quits (~sw1nn@2a00:23c6:2385:3a00:f58c:f822:28cd:6961) (Ping timeout: 260 seconds)
07:07:03 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
07:07:24 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
07:14:55 × zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection)
07:16:15 × jyri-matti quits (uid479350@gateway/web/irccloud.com/x-lridfrkvuwkcrpku) (Read error: Connection reset by peer)
07:16:25 × CMCDragonkai2 quits (~Thunderbi@110.175.213.142) (Ping timeout: 264 seconds)
07:16:38 × cemerick quits (sid54985@gateway/web/irccloud.com/x-kimehxrclgpzthxw) (Read error: Connection reset by peer)
07:16:38 × metamod quits (uid478611@gateway/web/irccloud.com/x-duhqaawnbntfbuyt) (Read error: Connection reset by peer)
07:16:38 × totbwf quits (sid402332@gateway/web/irccloud.com/x-zgwohoyhkdrcnqgj) (Read error: Connection reset by peer)
07:16:42 × ReinH__ quits (sid179972@gateway/web/irccloud.com/x-poirjhlrgjxavncx) (Read error: Connection reset by peer)
07:16:45 × bradparker quits (sid262931@gateway/web/irccloud.com/x-trlvweqysuezljfu) (Ping timeout: 258 seconds)
07:16:46 × jared-w quits (uid405292@gateway/web/irccloud.com/x-rcozwjfcaxxdsjbu) (Ping timeout: 246 seconds)
07:16:48 × SrPx quits (sid108780@gateway/web/irccloud.com/x-cmccwjfarqkifbej) (Ping timeout: 268 seconds)
07:16:51 → wei2912 joins (~wei2912@unaffiliated/wei2912)
07:16:56 × AndreasK quits (uid320732@gateway/web/irccloud.com/x-fhmsmixhstkzcndi) (Read error: Connection reset by peer)
07:17:00 × ebutleriv quits (sid217783@gateway/web/irccloud.com/x-ebgivmtpacideacq) (Read error: Connection reset by peer)
07:17:03 × wpcarro_ quits (sid397589@gateway/web/irccloud.com/x-cytmbrffvkesuvkr) (Read error: Connection reset by peer)
07:17:03 × joshmeredith quits (sid387798@gateway/web/irccloud.com/x-wfbaanpqgsgsrife) (Read error: Connection reset by peer)
07:17:03 × lally quits (sid388228@gateway/web/irccloud.com/x-mxgkmpovbzlskqvr) (Read error: Connection reset by peer)
07:17:07 × liquorice quits (sid267884@gateway/web/irccloud.com/x-nvvvtxpsomgqnuwh) (Read error: Connection reset by peer)
07:17:08 × systemfault quits (sid267009@gateway/web/irccloud.com/x-ysaoctkhtrxborzu) (Read error: Connection reset by peer)
07:17:09 × natim87 quits (sid286962@gateway/web/irccloud.com/x-kualhupdbhvyucio) (Write error: Connection reset by peer)
07:17:09 × gOOgler quits (uid125351@gateway/web/irccloud.com/x-vuhpmfgmmvtagmdp) (Read error: Connection reset by peer)
07:17:09 × davetapley quits (sid666@gateway/web/irccloud.com/x-wrvacvklgyixnlhi) (Read error: Connection reset by peer)
07:17:11 × banjiewen_ quits (sid115913@gateway/web/irccloud.com/x-wizbxbqkwheddqde) (Read error: Connection reset by peer)
07:17:11 × eruditass quits (uid248673@gateway/web/irccloud.com/x-ajxelnfjoxkzyhof) (Read error: Connection reset by peer)
07:17:11 × alanz quits (sid110616@gateway/web/irccloud.com/x-vjemyfnbfouulzqa) (Read error: Connection reset by peer)
07:17:11 × ryjm quits (sid383513@gateway/web/irccloud.com/x-huoudwukmzlpfarr) (Read error: Connection reset by peer)
07:17:25 × d0liver quits (sid363046@gateway/web/irccloud.com/x-pwzhkzujciwqgkdt) (Ping timeout: 268 seconds)
07:18:30 → lally joins (sid388228@gateway/web/irccloud.com/x-jjsuifovqidvbwna)
07:18:34 → bradparker joins (sid262931@gateway/web/irccloud.com/x-bivsuyjkmqfbxpgn)
07:18:34 → sw1nn joins (~sw1nn@2a00:23c6:2385:3a00:2558:f920:5bfe:5f1b)
07:18:35 → liquorice joins (sid267884@gateway/web/irccloud.com/x-rvbnqxydfedpdzxl)
07:18:36 → natim87 joins (sid286962@gateway/web/irccloud.com/x-srwqpowikypvxqlq)
07:18:38 → alanz joins (sid110616@gateway/web/irccloud.com/x-xrokgrkvrlkkqwco)
07:18:42 → banjiewen_ joins (sid115913@gateway/web/irccloud.com/x-dtmycsvwypgldqsg)
07:18:43 → ryjm joins (sid383513@gateway/web/irccloud.com/x-wcipyzqdeemnvzhq)
07:18:50 → davetapley joins (sid666@gateway/web/irccloud.com/x-ndyypovosuvtvosa)
07:18:55 → jyri-matti joins (uid479350@gateway/web/irccloud.com/x-cqrupjjtrxhvbnzx)
07:19:18 × benwr____ quits (sid372383@gateway/web/irccloud.com/x-shbxwldnzmvfixrx) (Ping timeout: 260 seconds)
07:19:19 → cemerick joins (sid54985@gateway/web/irccloud.com/x-debdtchofdtarhia)
07:19:22 → eruditass joins (uid248673@gateway/web/irccloud.com/x-fnunqajrjnqcixak)
07:19:25 → gOOgler joins (uid125351@gateway/web/irccloud.com/x-frcvjazznylqbril)
07:19:39 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
07:19:41 → wpcarro_ joins (sid397589@gateway/web/irccloud.com/x-qscwzikdxzybnkro)
07:19:52 → totbwf joins (sid402332@gateway/web/irccloud.com/x-votvpbilmmvgccdk)
07:19:52 → ReinH__ joins (sid179972@gateway/web/irccloud.com/x-tipetpjnafyymurf)
07:19:53 → metamod joins (uid478611@gateway/web/irccloud.com/x-munabltovvwwssws)
07:19:57 → SrPx joins (sid108780@gateway/web/irccloud.com/x-mfsrdeeoemntenjp)
07:20:03 → d0liver joins (sid363046@gateway/web/irccloud.com/x-whjzvtbsgebtuibn)
07:20:16 → benwr____ joins (sid372383@gateway/web/irccloud.com/x-kbcmvxpmuvvmorec)
07:20:37 → AndreasK joins (uid320732@gateway/web/irccloud.com/x-jrnkehxuwmkxmqez)
07:20:37 → joshmeredith joins (sid387798@gateway/web/irccloud.com/x-lxnthmrscavxkmse)
07:20:39 → jared-w joins (uid405292@gateway/web/irccloud.com/x-oqhfovijkkshlqdv)
07:20:39 → systemfault joins (sid267009@gateway/web/irccloud.com/x-tfrurxdqokoeozij)
07:20:40 → ebutleriv joins (sid217783@gateway/web/irccloud.com/x-xkvnhghwehuiuqtl)
07:22:29 hackage hurl 1.5.0.0 - Haskell URL resolver https://hackage.haskell.org/package/hurl-1.5.0.0 (alcinnz)
07:22:39 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
07:24:11 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
07:26:11 → zaquest joins (~notzaques@5.128.210.178)
07:26:46 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
07:27:47 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
07:30:02 × shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
07:30:38 → shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com)
07:31:17 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Ping timeout: 260 seconds)
07:31:25 × shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
07:31:39 → shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com)
07:36:05 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
07:37:59 × vk3wtf quits (~doc@203.221.224.44) (Ping timeout: 260 seconds)
07:38:27 → vk3wtf joins (~doc@203.221.224.44)
07:40:16 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
07:43:43 → qwerty joins (~tema@217.118.92.215)
07:45:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
07:45:51 × fengh quits (~haskeller@ip72-205-40-121.dc.dc.cox.net) (Ping timeout: 256 seconds)
07:52:39 → noctux joins (~noctux@unaffiliated/noctux)
07:55:23 → chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
07:56:16 × chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Client Quit)
07:57:32 × noctux quits (~noctux@unaffiliated/noctux) (Ping timeout: 260 seconds)
07:57:40 → noctux joins (~noctux@unaffiliated/noctux)
08:02:26 × noctux quits (~noctux@unaffiliated/noctux) (Ping timeout: 264 seconds)
08:03:34 → noctux joins (~noctux@unaffiliated/noctux)
08:05:22 × sw1nn quits (~sw1nn@2a00:23c6:2385:3a00:2558:f920:5bfe:5f1b) (Ping timeout: 260 seconds)
08:06:15 → jamm joins (~jamm@unaffiliated/jamm)
08:10:13 → kam1 joins (~kam1@24.231.108.143)
08:10:56 × howdoi quits (uid224@gateway/web/irccloud.com/x-rqnxrwxnhxikpetx) (Quit: Connection closed for inactivity)
08:11:29 hackage effet 0.4.0.0 - An Effect System based on Type Classes https://hackage.haskell.org/package/effet-0.4.0.0 (MichaelSzvetits)
08:11:40 → fendor joins (~fendor@178.165.130.229.wireless.dyn.drei.com)
08:12:04 × rayyyy1 quits (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection)
08:12:46 → rayyyy1 joins (~nanoz@gateway/tor-sasl/nanoz)
08:13:29 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
08:14:17 → Deide joins (~Deide@217.155.19.23)
08:18:12 → sw1nn joins (~sw1nn@2a00:23c6:2385:3a00:da20:c89e:38c:f598)
08:18:16 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds)
08:19:11 × ADG1089_ quits (~aditya@122.163.225.112) (Remote host closed the connection)
08:21:05 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
08:21:25 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
08:29:12 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
08:30:48 × xff0x_ quits (~fox@2001:1a81:5220:8900:9738:2a36:4086:4665) (Ping timeout: 268 seconds)
08:31:30 → xff0x_ joins (~fox@2001:1a81:5220:8900:a71f:c669:1430:24d7)
08:32:24 × Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
08:33:31 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
08:43:11 × nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
08:45:22 × Stanley00 quits (~stanley00@unaffiliated/stanley00) ()
08:48:14 → nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net)
08:49:18 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
08:51:28 → aarvar joins (~foewfoiew@2601:602:a080:fa0:db9:a036:22d3:e354)
08:51:28 × aarvar quits (~foewfoiew@2601:602:a080:fa0:db9:a036:22d3:e354) (Client Quit)
08:52:57 × nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 260 seconds)
08:56:41 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-ickzlupxtrdbygqs) (Quit: Connection closed for inactivity)
08:57:09 × cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
08:58:14 × martin02 quits (silas@hund.fs.lmu.de) (Ping timeout: 264 seconds)
08:59:50 → cantstanya joins (~chatting@gateway/tor-sasl/cantstanya)
09:00:05 × mikr[m] quits (mikrdavral@gateway/shell/matrix.org/x-rozxfutgcwhtyosh) (Quit: Idle for 30+ days)
09:01:01 × ryjm quits (sid383513@gateway/web/irccloud.com/x-wcipyzqdeemnvzhq) (Ping timeout: 268 seconds)
09:01:07 × totbwf quits (sid402332@gateway/web/irccloud.com/x-votvpbilmmvgccdk) (Ping timeout: 260 seconds)
09:01:07 × cemerick quits (sid54985@gateway/web/irccloud.com/x-debdtchofdtarhia) (Ping timeout: 260 seconds)
09:01:15 × joshmeredith quits (sid387798@gateway/web/irccloud.com/x-lxnthmrscavxkmse) (Read error: Connection reset by peer)
09:01:15 × metamod quits (uid478611@gateway/web/irccloud.com/x-munabltovvwwssws) (Read error: Connection reset by peer)
09:01:17 × bradparker quits (sid262931@gateway/web/irccloud.com/x-bivsuyjkmqfbxpgn) (Ping timeout: 256 seconds)
09:01:17 × davetapley quits (sid666@gateway/web/irccloud.com/x-ndyypovosuvtvosa) (Read error: Connection reset by peer)
09:01:17 × benwr____ quits (sid372383@gateway/web/irccloud.com/x-kbcmvxpmuvvmorec) (Read error: Connection reset by peer)
09:01:17 × jyri-matti quits (uid479350@gateway/web/irccloud.com/x-cqrupjjtrxhvbnzx) (Read error: Connection reset by peer)
09:01:19 × liquorice quits (sid267884@gateway/web/irccloud.com/x-rvbnqxydfedpdzxl) (Read error: Connection reset by peer)
09:01:23 × ebutleriv quits (sid217783@gateway/web/irccloud.com/x-xkvnhghwehuiuqtl) (Ping timeout: 260 seconds)
09:01:25 × gOOgler quits (uid125351@gateway/web/irccloud.com/x-frcvjazznylqbril) (Read error: Connection reset by peer)
09:01:30 × natim87 quits (sid286962@gateway/web/irccloud.com/x-srwqpowikypvxqlq) (Read error: Connection reset by peer)
09:01:30 × d0liver quits (sid363046@gateway/web/irccloud.com/x-whjzvtbsgebtuibn) (Read error: Connection reset by peer)
09:01:32 × alanz quits (sid110616@gateway/web/irccloud.com/x-xrokgrkvrlkkqwco) (Read error: Connection reset by peer)
09:01:32 × SrPx quits (sid108780@gateway/web/irccloud.com/x-mfsrdeeoemntenjp) (Read error: Connection reset by peer)
09:01:38 × ReinH__ quits (sid179972@gateway/web/irccloud.com/x-tipetpjnafyymurf) (Ping timeout: 268 seconds)
09:01:42 × eruditass quits (uid248673@gateway/web/irccloud.com/x-fnunqajrjnqcixak) (Ping timeout: 260 seconds)
09:01:43 → m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
09:01:46 × lally quits (sid388228@gateway/web/irccloud.com/x-jjsuifovqidvbwna) (Ping timeout: 256 seconds)
09:01:52 × systemfault quits (sid267009@gateway/web/irccloud.com/x-tfrurxdqokoeozij) (Read error: Connection reset by peer)
09:01:58 × aristid quits (sid1599@gateway/web/irccloud.com/x-vivskusqvheuqrnb) (Read error: Connection reset by peer)
09:02:00 × jared-w quits (uid405292@gateway/web/irccloud.com/x-oqhfovijkkshlqdv) (Read error: Connection reset by peer)
09:02:15 × banjiewen_ quits (sid115913@gateway/web/irccloud.com/x-dtmycsvwypgldqsg) (Ping timeout: 268 seconds)
09:02:23 × wpcarro_ quits (sid397589@gateway/web/irccloud.com/x-qscwzikdxzybnkro) (Read error: Connection reset by peer)
09:02:41 → alanz joins (sid110616@gateway/web/irccloud.com/x-udffzcggpvfgajzw)
09:02:44 → aristid joins (sid1599@gateway/web/irccloud.com/x-tpphbwadwttggawk)
09:02:49 → cemerick joins (sid54985@gateway/web/irccloud.com/x-jknlsyojitfopgjs)
09:02:50 → martin02 joins (silas@hund.fs.lmu.de)
09:02:53 → systemfault joins (sid267009@gateway/web/irccloud.com/x-rirzkbmmhwszgjfn)
09:02:53 → gOOgler joins (uid125351@gateway/web/irccloud.com/x-qvlqntdbzcoggnqh)
09:02:55 → ebutleriv joins (sid217783@gateway/web/irccloud.com/x-jkejqjqlzhbruofp)
09:02:56 → d0liver joins (sid363046@gateway/web/irccloud.com/x-pjoqxejcdlmhmetj)
09:02:59 → davetapley joins (sid666@gateway/web/irccloud.com/x-kqfyoavfwsdjacsb)
09:02:59 → jared-w joins (uid405292@gateway/web/irccloud.com/x-zpduzsxyiuhymcye)
09:03:00 → SrPx joins (sid108780@gateway/web/irccloud.com/x-slanmdfmpzxqfwpz)
09:03:02 → ReinH__ joins (sid179972@gateway/web/irccloud.com/x-xxtwiezunkdpwsqu)
09:03:04 → lally joins (sid388228@gateway/web/irccloud.com/x-eayepbdcoaltcgvr)
09:03:05 → natim87 joins (sid286962@gateway/web/irccloud.com/x-iwwabqztefvrcpdr)
09:03:10 → joshmeredith joins (sid387798@gateway/web/irccloud.com/x-fukoogfcwpnwoxah)
09:03:13 → wpcarro_ joins (sid397589@gateway/web/irccloud.com/x-btfbbcgmezeubvct)
09:03:16 → liquorice joins (sid267884@gateway/web/irccloud.com/x-olupycxypplksoxm)
09:03:16 → jyri-matti joins (uid479350@gateway/web/irccloud.com/x-hutokmpehbfvcydt)
09:03:31 → bradparker joins (sid262931@gateway/web/irccloud.com/x-wtlvpsiycvzgnlhz)
09:03:35 → totbwf joins (sid402332@gateway/web/irccloud.com/x-vbuardyyqmwcyayx)
09:03:41 → eruditass joins (uid248673@gateway/web/irccloud.com/x-vdvtabakncrqxstr)
09:03:48 → metamod joins (uid478611@gateway/web/irccloud.com/x-midqqvsxqoftzhin)
09:03:55 → banjiewen_ joins (sid115913@gateway/web/irccloud.com/x-grjdgwsxifuvntpj)
09:03:56 → ryjm joins (sid383513@gateway/web/irccloud.com/x-gmeiqgbavlzgqgtv)
09:03:58 → benwr____ joins (sid372383@gateway/web/irccloud.com/x-fuxofnypelzozaiq)
09:04:05 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
09:05:14 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
09:05:57 × sw1nn quits (~sw1nn@2a00:23c6:2385:3a00:da20:c89e:38c:f598) (Ping timeout: 268 seconds)
09:07:07 × jyri-matti quits (uid479350@gateway/web/irccloud.com/x-hutokmpehbfvcydt) (Read error: Connection reset by peer)
09:07:08 × liquorice quits (sid267884@gateway/web/irccloud.com/x-olupycxypplksoxm) (Read error: Connection reset by peer)
09:07:08 × joshmeredith quits (sid387798@gateway/web/irccloud.com/x-fukoogfcwpnwoxah) (Read error: Connection reset by peer)
09:07:16 → jyri-matti joins (uid479350@gateway/web/irccloud.com/x-fwuqtestthcnxxuz)
09:07:18 → joshmeredith joins (sid387798@gateway/web/irccloud.com/x-yywfxbnafapotxpe)
09:07:20 → liquorice joins (sid267884@gateway/web/irccloud.com/x-qcgjboopanduravj)
09:08:36 × totbwf quits (sid402332@gateway/web/irccloud.com/x-vbuardyyqmwcyayx) (Ping timeout: 240 seconds)
09:08:36 × jared-w quits (uid405292@gateway/web/irccloud.com/x-zpduzsxyiuhymcye) (Ping timeout: 240 seconds)
09:09:13 × SrPx quits (sid108780@gateway/web/irccloud.com/x-slanmdfmpzxqfwpz) (Ping timeout: 256 seconds)
09:09:22 × alanz quits (sid110616@gateway/web/irccloud.com/x-udffzcggpvfgajzw) (Ping timeout: 256 seconds)
09:11:11 → dandart joins (~Thunderbi@2a00:23c7:f5a6:d001:6cf9:1173:9e2a:3c85)
09:13:43 × Geekingfrog quits (geekingfro@2a01:7e01::f03c:92ff:fe48:8bdf) (Quit: ZNC 1.7.5 - https://znc.in)
09:14:48 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
09:15:13 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
09:17:44 × knupfer quits (~Thunderbi@200116b8242f5f00804b7debd04acff6.dip.versatel-1u1.de) (Remote host closed the connection)
09:17:51 → knupfer joins (~Thunderbi@200116b8242f5f00fd6efbb47013daf7.dip.versatel-1u1.de)
09:18:27 → sw1nn joins (~sw1nn@2a00:23c6:2385:3a00:929c:5e9b:24f1:5d18)
09:19:02 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
09:20:10 → totbwf joins (sid402332@gateway/web/irccloud.com/x-oeqnefzusvzfewjn)
09:20:14 → Geekingfrog joins (geekingfro@2a01:7e01::f03c:92ff:fe48:8bdf)
09:20:16 → alanz joins (sid110616@gateway/web/irccloud.com/x-vchffcyekwzqqrhe)
09:20:41 → jared-w joins (uid405292@gateway/web/irccloud.com/x-hnyoiyqaxvvungnh)
09:21:41 → SrPx joins (sid108780@gateway/web/irccloud.com/x-oorddyablslmxtoj)
09:21:43 → nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net)
09:23:33 × nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
09:23:46 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
09:24:33 → nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net)
09:27:24 → plutoniix joins (~q@184.82.201.211)
09:28:14 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Ping timeout: 264 seconds)
09:28:43 × nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 246 seconds)
09:29:07 → Feuermagier joins (~Feuermagi@213.178.26.41)
09:38:24 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
09:40:11 → ulidtko|kk joins (~ulidtko@194.54.80.38)
09:41:14 → thc202 joins (~thc202@unaffiliated/thc202)
09:42:25 × ulidtko|k quits (~ulidtko@193.111.48.79) (Ping timeout: 240 seconds)
09:42:36 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds)
09:43:34 × knupfer quits (~Thunderbi@200116b8242f5f00fd6efbb47013daf7.dip.versatel-1u1.de) (Ping timeout: 258 seconds)
09:43:54 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
09:46:02 → sgibber2018 joins (~arch-gibb@208.85.237.137)
09:46:45 → shad0w_ joins (~shad0w_@160.202.37.251)
09:48:40 → shad0w__ joins (~shad0w__@160.202.36.195)
09:48:58 <shad0w__> hi all, can someone help me understand this ?
09:49:02 <shad0w__> let a = 1 : 2 : zipWith (+) a (tail a)
09:49:40 <shad0w__> this gives me an infinite? list of fibbonacci numbers that i can take or index (!!, to get the nth fib number) from. and its fast.
09:49:48 <shad0w__> just can't wrap my head around this
09:50:23 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
09:51:32 × shad0w_ quits (~shad0w_@160.202.37.251) (Ping timeout: 260 seconds)
09:52:10 <xerox_> shad0w__: you can look at it as saying "a is ..." and then replace the 'a's in the right hand side with the definition provided
09:53:06 <int-e> you can mimic the evaluation like this: https://paste.debian.net/1178175/
09:53:11 <xerox_> so if a is 1 : 2: .. then tail a is 2 : .. which shows us that we do have a list of 2 elements and a list of 1 elements so we can apply zipWith + once
09:53:24 <xerox_> there ya go
09:53:37 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
09:54:35 → shad0w___ joins (~shad0w___@160.202.37.181)
09:54:50 <int-e> oh I messed this up, here's it again with fixes: https://paste.debian.net/1178176/
09:55:02 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Ping timeout: 260 seconds)
09:55:42 × qwerty quits (~tema@217.118.92.215) (Read error: Connection reset by peer)
09:56:48 × shad0w__ quits (~shad0w__@160.202.36.195) (Ping timeout: 260 seconds)
09:57:06 → polman joins (~tema@217.118.92.215)
09:58:43 <int-e> > fix $ (0 :) . scanl (+) 1 -- this is the hard version of that brain teaser
09:58:46 <lambdabot> [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,...
09:58:49 → nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net)
09:59:52 → ADG1089__ joins (~aditya@122.163.225.112)
10:00:16 × toorevitimirp quits (~tooreviti@117.182.182.252) (Ping timeout: 240 seconds)
10:00:29 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
10:00:29 → toorevitimirp joins (~tooreviti@117.182.181.108)
10:00:56 × shad0w___ quits (~shad0w___@160.202.37.181) (Ping timeout: 240 seconds)
10:01:19 <Feuermagier> how can I do 2 methods in a short circuiting way that may return nothing
10:01:45 <iqubic> What's a method, and what do you mean by short circuiting?
10:02:05 <xerox_> Feuermagier: do you mean compose together two function calls that return Maybe a and get the first success?
10:02:12 <Feuermagier> to specify: I either wat to do A, if it succeeds, return x, if it doesnt, do B, if that succeeds, return y, else, return nothing
10:02:39 <Feuermagier> Essentially a Depth limited DFS
10:04:36 → axeman- joins (~axeman_@2a02:8109:86c0:1f98:f441:9039:e14f:85f7)
10:04:49 <Feuermagier> x is actually x ++ the result of A. Probably should mention that (it returns a path)
10:04:49 <int-e> > map (uncurry mplus) [(Nothing,Nothing), (Nothing, Just 42), (Just 23, undefined)]
10:04:51 <lambdabot> [Nothing,Just 42,Just 23]
10:05:48 × sw1nn quits (~sw1nn@2a00:23c6:2385:3a00:929c:5e9b:24f1:5d18) (Ping timeout: 258 seconds)
10:06:57 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds)
10:07:23 <int-e> So DFS is easy... but afaik there's nothing in Haskell's evaluation strategy that gives you a BFS (or it's close sibling, iterative deepening) for free; you'll have to explicit about the evaluation order or the current search depth.
10:08:26 <Feuermagier> int-e, search depth is passed along. left tree first. but that should be trivial. it's a binary tree, so I only have a simple tuple essentially
10:08:56 × ADG1089__ quits (~aditya@122.163.225.112) (Quit: Konversation terminated!)
10:09:06 <int-e> Feuermagier: mplus combines two Maybe results in the way you want, with short-circuiting (thanks to laziness)
10:09:19 <Feuermagier> excellent. exactly what i needed
10:11:31 <Feuermagier> int-e, i'll have to do some arithmetic with the return values to note the path. i'll see if I can work it out.
10:11:59 → __monty__ joins (~toonn@unaffiliated/toonn)
10:12:13 → philopsos joins (~caecilius@gateway/tor-sasl/caecilius)
10:12:27 → son0p joins (~son0p@181.58.39.182)
10:14:01 × niko quits (~niko@freenode/staff/ubuntu.member.niko) (Remote host closed the connection)
10:15:33 × axeman- quits (~axeman_@2a02:8109:86c0:1f98:f441:9039:e14f:85f7) (Ping timeout: 272 seconds)
10:18:23 → cads joins (~cads@ip-64-72-99-232.lasvegas.net)
10:18:33 → sw1nn joins (~sw1nn@2a00:23c6:2385:3a00:21b2:5ddc:6b14:f7c0)
10:19:10 <Feuermagier> int-e, maybe you can see what i'm trying to do. I probably simply don't know the exact syntax to do it: https://pastebin.com/vnhwDV2a
10:20:05 → DavidEichmann joins (~david@2a01:4b00:ea36:d800:4ce4:94b4:579a:c035)
10:20:28 <Feuermagier> there's probably a really nice way to do it
10:20:31 → bitmagie joins (~Thunderbi@200116b8062aa100b5708b905df0f506.dip.versatel-1u1.de)
10:20:39 <int-e> Feuermagier: [L] ++ is the wrong type for what you want... try fmap ([L] ++), or, equivalently, (L:) <$>
10:21:12 <Feuermagier> int-e, thx. I'll take a look at those functions
10:21:15 <int-e> And (l m r) looks wrong, l needs to be a constructor?
10:21:18 × nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 260 seconds)
10:21:26 <int-e> Oh, it's missing the Node
10:21:41 <Feuermagier> oh, yeah
10:21:42 <int-e> <$> is just fmap, but as an infix operator
10:21:43 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
10:21:44 <Feuermagier> just noticed
10:23:45 × heatsink_ quits (~heatsink@2600:1700:bef1:5e10:19ea:e852:616:ff9f) (Remote host closed the connection)
10:25:08 → neiluj joins (~jco@91-167-203-101.subs.proxad.net)
10:25:12 <Feuermagier> wow, that looks really elegant. Thx!
10:26:49 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
10:29:18 <Feuermagier> i don't even need a depth! (since a Node has a "Leaf" at bottom - nice!)
10:30:03 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
10:34:16 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
10:35:27 <__monty__> Feuermagier: We're all shallow people, you'll fit right in ; )
10:37:06 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
10:37:27 → hseg joins (~gesh@195.192.229.64)
10:38:59 <hseg> `/quit
10:39:01 × hseg quits (~gesh@195.192.229.64) (Client Quit)
10:42:25 → kuribas joins (~user@ptr-25vy0i98unbidafc68g.18120a2.ip6.access.telenet.be)
10:50:02 → kritzefitz joins (~kritzefit@212.86.56.80)
10:50:45 → inkbottle joins (~inkbottle@aaubervilliers-654-1-158-75.w86-212.abo.wanadoo.fr)
10:51:52 × zebrag quits (~inkbottle@aaubervilliers-654-1-95-58.w86-212.abo.wanadoo.fr) (Ping timeout: 265 seconds)
10:52:44 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
10:53:35 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
10:57:37 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 246 seconds)
10:58:14 × plutoniix quits (~q@184.82.201.211) (Quit: Leaving)
10:59:56 × neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Ping timeout: 240 seconds)
11:04:30 × daGrevis quits (~daGrevis@unaffiliated/dagrevis) (Remote host closed the connection)
11:04:30 → knupfer joins (~Thunderbi@87.123.206.222)
11:04:58 × ericsagnes quits (~ericsagne@2405:6580:0:5100:9fad:af1d:1031:f5b2) (Ping timeout: 268 seconds)
11:05:48 → daGrevis joins (~daGrevis@unaffiliated/dagrevis)
11:11:45 → Chorhizo joins (5e077d06@94.7.125.6)
11:14:38 → Res joins (d5c159ce@213.193.89.206)
11:15:38 × Res quits (d5c159ce@213.193.89.206) (Remote host closed the connection)
11:17:08 → ericsagnes joins (~ericsagne@2405:6580:0:5100:d7e8:3126:b46e:67f2)
11:17:51 → Res joins (d5c159ce@213.193.89.206)
11:19:15 × Chorhizo quits (5e077d06@94.7.125.6) (Ping timeout: 245 seconds)
11:19:15 × Res quits (d5c159ce@213.193.89.206) (Remote host closed the connection)
11:20:50 → Ariakenom_ joins (~Ariakenom@2001:9b1:efb:fc00:d1a7:4f8d:6a93:cd27)
11:24:07 → heatsink joins (~heatsink@2600:1700:bef1:5e10:19ea:e852:616:ff9f)
11:27:36 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
11:27:58 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
11:28:33 → ADG1089__ joins (~aditya@122.163.225.112)
11:28:41 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
11:28:57 × heatsink quits (~heatsink@2600:1700:bef1:5e10:19ea:e852:616:ff9f) (Ping timeout: 260 seconds)
11:30:26 × son0p quits (~son0p@181.58.39.182) (Quit: leaving)
11:32:56 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds)
11:34:50 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Quit: Merry Xmas)
11:36:15 → cosimone joins (~cosimone@93-47-228-249.ip115.fastwebnet.it)
11:37:51 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
11:37:55 <Squarism> I have a working default.nix for building and repl. To it i added download of haskell-language-server. How do I create something I can pass to nix-shell that gives med "server" + "hls" in that shell? https://paste.ofcode.org/6Qy6TwEQCwPwLGNcJtJeai
11:38:20 → jmchael joins (~jmchael@81.174.205.210)
11:38:49 × ulidtko|kk quits (~ulidtko@194.54.80.38) (Ping timeout: 256 seconds)
11:42:02 <Squarism> ops.. wrong channel maybe
11:42:06 <Poscat[m]> Hi all, my hackage password contains brackets and is causing cabal's config file parser to freak out. I've tried to quote the password but that did not work. Is it possible to escape my password and how should I do it?
11:42:49 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 264 seconds)
11:43:16 <Poscat[m]> *curley brackets
11:45:28 → pallas joins (~pallas@183.193.112.99)
11:48:40 → plutoniix joins (~q@ppp-27-55-88-85.revip3.asianet.co.th)
11:49:09 × rayyyy1 quits (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection)
11:50:38 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
11:51:12 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
11:53:11 × plutoniix quits (~q@ppp-27-55-88-85.revip3.asianet.co.th) (Read error: Connection reset by peer)
11:53:31 → plutoniix joins (~q@ppp-223-24-169-17.revip6.asianet.co.th)
12:00:00 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
12:00:34 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
12:04:56 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
12:05:27 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Ping timeout: 260 seconds)
12:06:17 × xff0x_ quits (~fox@2001:1a81:5220:8900:a71f:c669:1430:24d7) (Ping timeout: 260 seconds)
12:06:35 → xff0x_ joins (~fox@141.98.255.144)
12:07:25 → lassulus_ joins (~lassulus@NixOS/user/lassulus)
12:07:50 × dandart quits (~Thunderbi@2a00:23c7:f5a6:d001:6cf9:1173:9e2a:3c85) (Ping timeout: 264 seconds)
12:09:09 × lassulus_ quits (~lassulus@NixOS/user/lassulus) (Client Quit)
12:09:25 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
12:09:47 → dandart joins (~Thunderbi@host86-185-55-80.range86-185.btcentralplus.com)
12:09:59 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 256 seconds)
12:11:09 × coot quits (~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
12:11:41 → coot joins (~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl)
12:11:53 × coot quits (~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
12:12:49 × pallas quits (~pallas@183.193.112.99) (Ping timeout: 264 seconds)
12:13:01 → usr25 joins (~J@178.red-83-44-175.dynamicip.rima-tde.net)
12:13:05 → coot joins (~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl)
12:14:12 → Franciman joins (~francesco@host-82-49-79-73.retail.telecomitalia.it)
12:14:30 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
12:14:34 × ADG1089__ quits (~aditya@122.163.225.112) (Read error: Connection reset by peer)
12:14:58 → ADG1089__ joins (~aditya@122.163.225.112)
12:15:36 × dandart quits (~Thunderbi@host86-185-55-80.range86-185.btcentralplus.com) (Ping timeout: 240 seconds)
12:16:52 × bitmagie quits (~Thunderbi@200116b8062aa100b5708b905df0f506.dip.versatel-1u1.de) (Quit: bitmagie)
12:21:17 × olligobber quits (~olligobbe@unaffiliated/olligobber) (Ping timeout: 265 seconds)
12:21:30 → Varis joins (~Tadas@unaffiliated/varis)
12:24:57 × jneira quits (5127ad83@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.131) (Ping timeout: 258 seconds)
12:25:40 → heatsink joins (~heatsink@2600:1700:bef1:5e10:19ea:e852:616:ff9f)
12:25:40 <siraben> How do I fix `ghcide compiled against GHC 8.10.2 but currently using 8.6.5` this error?
12:26:14 → Entertainment joins (~entertain@104.246.132.210)
12:27:13 × ADG1089__ quits (~aditya@122.163.225.112) (Ping timeout: 246 seconds)
12:27:14 <siraben> ah I need to put ghcide in withPackages; my-ghc = haskellPackages.ghcWithPackages (h: [ h.raw-strings-qq h.ghcide ]);
12:30:32 × heatsink quits (~heatsink@2600:1700:bef1:5e10:19ea:e852:616:ff9f) (Ping timeout: 260 seconds)
12:31:18 × Varis quits (~Tadas@unaffiliated/varis) (Ping timeout: 268 seconds)
12:33:58 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
12:34:33 → bitmagie joins (~Thunderbi@200116b8062aa100b5708b905df0f506.dip.versatel-1u1.de)
12:34:45 × nf quits (~n@monade.li) (Quit: Fairfarren.)
12:34:53 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
12:34:53 → dandart joins (~Thunderbi@host86-185-55-80.range86-185.btcentralplus.com)
12:35:17 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
12:35:18 × xff0x_ quits (~fox@141.98.255.144) (Ping timeout: 258 seconds)
12:35:27 → nf joins (~n@monade.li)
12:35:40 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
12:35:58 → Varis joins (~Tadas@unaffiliated/varis)
12:36:34 → pallas joins (~pallas@183.193.112.99)
12:36:39 × Varis quits (~Tadas@unaffiliated/varis) (Max SendQ exceeded)
12:37:13 → xff0x_ joins (~fox@2001:1a81:5220:8900:a71f:c669:1430:24d7)
12:38:01 → Varis joins (~Tadas@unaffiliated/varis)
12:38:59 → ADG1089__ joins (~aditya@122.163.225.112)
12:39:42 → geekosaur joins (ac3a3bff@172.58.59.255)
12:39:54 × ADG1089__ quits (~aditya@122.163.225.112) (Remote host closed the connection)
12:40:30 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
12:41:53 → lassulus_ joins (~lassulus@NixOS/user/lassulus)
12:44:28 → hiroaki joins (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de)
12:44:35 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0)
12:44:59 × lassulus_ quits (~lassulus@NixOS/user/lassulus) (Client Quit)
12:52:53 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
12:53:18 × bitmagie quits (~Thunderbi@200116b8062aa100b5708b905df0f506.dip.versatel-1u1.de) (Quit: bitmagie)
12:55:58 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
12:56:21 → ADG1089__ joins (~aditya@122.163.225.112)
12:56:59 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
12:57:27 → iqubic` joins (~user@2601:602:9500:4870:476:63ba:6a51:3c04)
12:58:06 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
12:58:53 → neiluj joins (~jco@91-167-203-101.subs.proxad.net)
12:59:01 × neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host)
12:59:01 → neiluj joins (~jco@unaffiliated/neiluj)
12:59:03 × plutoniix quits (~q@ppp-223-24-169-17.revip6.asianet.co.th) (Quit: Leaving)
13:01:29 × tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) ()
13:02:02 × iqubic quits (~user@2601:602:9500:4870:b7f1:451d:134d:f88a) (Ping timeout: 260 seconds)
13:08:16 × usr25 quits (~J@178.red-83-44-175.dynamicip.rima-tde.net) (Quit: Bye)
13:08:18 × geekosaur quits (ac3a3bff@172.58.59.255) (Remote host closed the connection)
13:08:43 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
13:08:55 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
13:09:05 → jb55 joins (~jb55@gateway/tor-sasl/jb55)
13:10:07 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
13:10:28 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
13:12:20 → tff^ joins (tff@ip98-184-89-2.mc.at.cox.net)
13:12:37 → arybczak joins (~unknown@2a02:a312:c83d:7800:bb7f:5c00:4f48:cc5c)
13:12:43 × ADG1089__ quits (~aditya@122.163.225.112) (Ping timeout: 246 seconds)
13:13:19 → ADG1089__ joins (~aditya@122.163.225.112)
13:13:27 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-eoacigssonweyiuu)
13:14:41 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
13:15:08 × ADG1089__ quits (~aditya@122.163.225.112) (Remote host closed the connection)
13:15:32 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 272 seconds)
13:16:23 × Bigcheese quits (~quassel@unaffiliated/bigcheese) (Quit: No Ping reply in 180 seconds.)
13:17:31 → Bigcheese joins (~quassel@unaffiliated/bigcheese)
13:19:44 × hololeap quits (~hololeap@unaffiliated/hololeap) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/)
13:23:04 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
13:26:18 → Tops2 joins (~Tobias@dyndsl-095-033-090-086.ewe-ip-backbone.de)
13:26:38 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Read error: Connection reset by peer)
13:27:46 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
13:29:00 → Tops21 joins (~Tobias@dyndsl-095-033-090-086.ewe-ip-backbone.de)
13:30:18 × jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
13:31:03 → jamm joins (~jamm@unaffiliated/jamm)
13:32:11 <lambda> I have a type `A { x::Int, y::Int }` and want to compute `add a1 a2 = A (x a1 + x a2) (y a1 + y a2)`, is there a way to do this more neatly with optics (which I already have for that type)?
13:32:18 × Tops2 quits (~Tobias@dyndsl-095-033-090-086.ewe-ip-backbone.de) (Ping timeout: 256 seconds)
13:32:54 × jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
13:35:21 × notzmv quits (~user@unaffiliated/zmv) (Read error: Connection reset by peer)
13:41:14 <kuribas> lambda: what's wrong with that?
13:41:16 × Tops21 quits (~Tobias@dyndsl-095-033-090-086.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
13:42:20 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
13:42:23 <kuribas> I'd do "add (A x1 y1) (A x2 y2) = A (x1 + x2) (y1 + y2)"
13:44:23 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
13:44:40 <kuribas> if you insist on records: add A{x=x1, y=y1} A{x=x2, y=y2} = A {x=x1+x2, y=y1+y2}
13:45:40 <lambda> kuribas: sure, just seemed like something that could be expressed in a zip-like fashion somehow
13:46:00 <kuribas> a lens is not a zip...
13:47:05 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
13:47:15 → Tops2 joins (~Tobias@dyndsl-095-033-090-086.ewe-ip-backbone.de)
13:48:59 × Forlorn quits (~Forlorn@unaffiliated/forlorn) (Ping timeout: 272 seconds)
13:49:07 <kuribas> hmm, maybe make an isomorphism to (Int, Int), then use foldMap...
13:49:16 <kuribas> not that that's easier.
13:50:03 <kuribas> > (Sum 1, Sum 2) <> (Sum 3, Sum 5)
13:50:09 <lambdabot> (Sum {getSum = 4},Sum {getSum = 7})
13:50:16 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
13:53:26 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
13:54:39 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Ping timeout: 258 seconds)
13:54:54 <__monty__> Poscat[m]: Maybe ask in #hackage.
13:55:21 → Forlorn joins (~Forlorn@unaffiliated/forlorn)
13:57:21 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
13:58:10 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
13:58:57 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
14:00:38 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
14:00:56 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
14:01:01 → notzmv joins (~user@unaffiliated/zmv)
14:03:32 × notzmv quits (~user@unaffiliated/zmv) (Remote host closed the connection)
14:03:54 → nbloomf joins (~nbloomf@2601:285:401:7490:28a3:2f4f:f27:6aa0)
14:04:11 × nbloomf quits (~nbloomf@2601:285:401:7490:28a3:2f4f:f27:6aa0) (Client Quit)
14:08:52 → nbloomf joins (~nbloomf@2601:285:401:7490:28a3:2f4f:f27:6aa0)
14:09:32 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
14:11:12 → carthia joins (~carthia@gateway/tor-sasl/carthia)
14:12:14 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
14:12:18 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
14:12:58 → Deide joins (~Deide@217.155.19.23)
14:15:25 × kuribas quits (~user@ptr-25vy0i98unbidafc68g.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
14:15:29 hackage hinit 0.2.0 - Generic project initialization tool https://hackage.haskell.org/package/hinit-0.2.0 (Poscat)
14:17:12 → xcmw joins (~textual@2601:541:4404:bb5c:383c:b842:edcb:4461)
14:17:16 → Tops21 joins (~Tobias@dyndsl-095-033-090-086.ewe-ip-backbone.de)
14:20:53 × Tops2 quits (~Tobias@dyndsl-095-033-090-086.ewe-ip-backbone.de) (Ping timeout: 256 seconds)
14:22:43 → machinedgod joins (~machinedg@24.105.81.50)
14:23:47 → heatsink joins (~heatsink@2600:1700:bef1:5e10:49a9:d2cc:4eca:a521)
14:24:08 → jneira joins (5127adb4@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.180)
14:28:09 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
14:28:28 × heatsink quits (~heatsink@2600:1700:bef1:5e10:49a9:d2cc:4eca:a521) (Ping timeout: 268 seconds)
14:29:36 → bencark joins (~bencark@91.110.54.64)
14:32:23 → jamm joins (~jamm@unaffiliated/jamm)
14:33:10 <nf> why does https://www.kosmikus.org/DerivingVia/deriving-via-paper.pdf say that liftA2 for ((->) r) runs in superlinear time? (line 792)
14:33:30 <nf> seems like O(1) to me, just a bigger 1
14:36:33 <merijn> What does "bigger 1" mean?
14:39:10 → urodna joins (~urodna@unaffiliated/urodna)
14:43:22 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
14:43:44 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
14:44:02 <nf> a bigger constant factor
14:44:41 → fengh joins (~haskeller@ip72-205-40-121.dc.dc.cox.net)
14:44:41 <Ariakenom_> O(1) for very large values of 1
14:44:45 <nf> yes
14:45:40 <merijn> Is it truly constant, though?
14:45:51 <merijn> Anyway, constant would also be superlinear :p
14:46:14 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
14:46:23 <nf> well, no
14:46:26 <nf> super is above
14:46:37 × Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Read error: Connection reset by peer)
14:46:46 <merijn> superlinear speedup = a speedup better than linear, constant is better than linear :p
14:46:47 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
14:46:55 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
14:47:28 <nf> it doesn't say "superlinear speedup", it says "superlinear time"
14:47:48 → benjamingr__ joins (uid23465@gateway/web/irccloud.com/x-iwrjiscfpjngqxid)
14:48:04 <nf> "we can actually implement these methods in O(1) time instead of using liftA2, which can often run in superlinear time"
14:48:04 <merijn> hmm, sounds like I'd hace to read the context and I'm too lazy :p
14:48:31 × shf quits (~sheaf@2a01:cb19:80cc:7e00:2de3:1260:1cbd:fa3e) (Ping timeout: 272 seconds)
14:48:47 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
14:48:52 <nshepperd> that is strange. i would think that the different implementations there would result in almost exactly the same thing there after inlining
14:49:00 → shf joins (~sheaf@2a01:cb19:80cc:7e00:59dc:2e08:3bcf:ee74)
14:49:12 <nf> yeah, *at worst* a bigger constant time
14:49:32 <nshepperd> the only difference i can see is that the "inefficient one" is eta expanded
14:51:00 → usr25 joins (~usr25@unaffiliated/usr25)
14:53:18 <nshepperd> i suppose possibly the eta expansion can mean that the unnecessary argument is not garbage collected for a while in some cases?
14:53:34 × kutio quits (~kutio@5.253.204.132) (Remote host closed the connection)
14:54:05 <nshepperd> which is not superlinear time but still maybe matters?
14:54:53 × coot quits (~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
14:55:02 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
14:56:57 × DavidEichmann quits (~david@2a01:4b00:ea36:d800:4ce4:94b4:579a:c035) (Ping timeout: 260 seconds)
15:00:10 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Remote host closed the connection)
15:00:12 <nf> i wonder what such cases would be
15:00:16 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
15:00:28 → Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis)
15:01:30 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
15:01:52 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
15:06:42 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
15:08:27 × nbloomf quits (~nbloomf@2601:285:401:7490:28a3:2f4f:f27:6aa0) (Quit: My MacBook has gone to sleep. ZZZzzz…)
15:10:44 → codeAlways joins (uid272474@gateway/web/irccloud.com/x-nalzxjbahpchnrik)
15:11:15 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
15:13:17 × xcmw quits (~textual@2601:541:4404:bb5c:383c:b842:edcb:4461) (Quit: My MacBook has gone to sleep. ZZZzzz…)
15:14:23 → ajbiz11 joins (~ajbiz11@217.146.82.202)
15:17:32 × Feuermagier quits (~Feuermagi@213.178.26.41) (Remote host closed the connection)
15:18:13 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 264 seconds)
15:18:36 shadowdaemon is now known as santadaemon
15:19:11 → Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net)
15:19:29 → berberman joins (~berberman@unaffiliated/berberman)
15:19:39 × martin02 quits (silas@hund.fs.lmu.de) (Ping timeout: 268 seconds)
15:19:50 × berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds)
15:20:42 × berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded)
15:20:53 → Feuermagier joins (~Feuermagi@213.178.26.41)
15:21:21 → berberman joins (~berberman@unaffiliated/berberman)
15:22:34 × berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded)
15:22:54 → fendor_ joins (~fendor@178.115.130.212.wireless.dyn.drei.com)
15:23:01 → berberman joins (~berberman@unaffiliated/berberman)
15:24:28 → heatsink joins (~heatsink@2600:1700:bef1:5e10:49a9:d2cc:4eca:a521)
15:24:35 × berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded)
15:25:25 × fendor quits (~fendor@178.165.130.229.wireless.dyn.drei.com) (Ping timeout: 264 seconds)
15:25:44 → berberman joins (~berberman@unaffiliated/berberman)
15:26:14 → ADG1089__ joins (~aditya@122.163.225.112)
15:26:58 × berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded)
15:26:59 × pallas quits (~pallas@183.193.112.99) (Ping timeout: 260 seconds)
15:27:36 → berberman joins (~berberman@unaffiliated/berberman)
15:29:02 × heatsink quits (~heatsink@2600:1700:bef1:5e10:49a9:d2cc:4eca:a521) (Ping timeout: 260 seconds)
15:30:40 × berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded)
15:31:24 → berberman joins (~berberman@unaffiliated/berberman)
15:33:00 × berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded)
15:33:33 → berberman joins (~berberman@unaffiliated/berberman)
15:35:00 → DavidEichmann joins (~david@2a01:4b00:ea36:d800:4ce4:94b4:579a:c035)
15:39:12 → Tario joins (~Tario@201.192.165.173)
15:39:48 × ADG1089__ quits (~aditya@122.163.225.112) (Ping timeout: 256 seconds)
15:42:47 → ADG1089__ joins (~aditya@122.163.225.112)
15:42:49 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 264 seconds)
15:45:20 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
15:49:08 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
15:51:23 × toorevitimirp quits (~tooreviti@117.182.181.108) (Remote host closed the connection)
15:52:47 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
15:55:46 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
15:56:08 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
15:56:43 → pallas joins (~pallas@183.193.112.99)
15:56:46 × elisper quits (uid468625@gateway/web/irccloud.com/x-gymqncrzgoacrejr) (Quit: Connection closed for inactivity)
15:57:37 × usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving)
15:57:48 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
15:59:50 × unlink2 quits (~unlink2@p200300ebcf259600971664e9499d7db7.dip0.t-ipconnect.de) (Remote host closed the connection)
16:00:36 × polman quits (~tema@217.118.92.215) (Ping timeout: 240 seconds)
16:01:11 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
16:05:58 → lamci joins (4d64ab42@cpc82915-enfi22-2-0-cust65.20-2.cable.virginm.net)
16:06:59 × Mikagami quits (~MOSCOS@122.54.107.175) (Remote host closed the connection)
16:07:28 → Mikagami joins (~MOSCOS@122.54.107.175)
16:07:37 × jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
16:12:29 → juuandyy joins (~juuandyy@90.166.144.65)
16:12:39 → chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
16:13:03 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
16:13:39 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
16:13:42 × chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Client Quit)
16:14:06 → Deide joins (~Deide@217.155.19.23)
16:14:13 → sand_dull joins (~theuser@62.182.99.39)
16:14:25 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
16:17:11 × ADG1089__ quits (~aditya@122.163.225.112) (Remote host closed the connection)
16:18:56 × knupfer quits (~Thunderbi@87.123.206.222) (Ping timeout: 240 seconds)
16:22:48 × Feuermagier quits (~Feuermagi@213.178.26.41) (Remote host closed the connection)
16:23:28 → cads2 joins (~cads@ip-64-72-99-232.lasvegas.net)
16:24:10 × lamci quits (4d64ab42@cpc82915-enfi22-2-0-cust65.20-2.cable.virginm.net) (Remote host closed the connection)
16:24:57 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
16:25:19 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
16:25:24 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Remote host closed the connection)
16:25:46 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
16:27:26 × cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 272 seconds)
16:28:17 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
16:29:45 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
16:31:09 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
16:34:52 × inkbottle quits (~inkbottle@aaubervilliers-654-1-158-75.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
16:35:14 → inkbottle joins (~inkbottle@aaubervilliers-654-1-158-75.w86-212.abo.wanadoo.fr)
16:35:26 → Vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
16:36:05 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
16:36:20 → Feuermagier joins (~Feuermagi@213.178.26.41)
16:38:27 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
16:39:17 × DavidEichmann quits (~david@2a01:4b00:ea36:d800:4ce4:94b4:579a:c035) (Ping timeout: 260 seconds)
16:39:45 × Vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
16:40:18 × berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in)
16:40:23 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
16:40:43 → berberman joins (~berberman@unaffiliated/berberman)
16:41:26 → elliott_ joins (~elliott@ool-4570ee70.dyn.optonline.net)
16:41:34 → Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-170.cust.tzulo.com)
16:42:08 × berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded)
16:42:39 → berberman joins (~berberman@unaffiliated/berberman)
16:44:01 × berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded)
16:45:27 → berberman joins (~berberman@unaffiliated/berberman)
16:45:29 → kritzefitz joins (~kritzefit@212.86.56.80)
16:46:35 → geekosaur joins (ac3a8cd4@172.58.140.212)
16:47:09 × berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded)
16:48:04 × sgibber2018 quits (~arch-gibb@208.85.237.137) (Ping timeout: 260 seconds)
16:48:24 → berberman joins (~berberman@unaffiliated/berberman)
16:48:50 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
16:49:47 × berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded)
16:50:25 → berberman joins (~berberman@unaffiliated/berberman)
16:55:25 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 264 seconds)
16:55:52 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
16:56:18 × sand_dull quits (~theuser@62.182.99.39) (Ping timeout: 256 seconds)
16:56:42 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
16:58:09 → sand_dull joins (~theuser@62.182.99.39)
16:58:30 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
16:58:45 × pallas quits (~pallas@183.193.112.99) (Ping timeout: 240 seconds)
16:59:22 → sparsity joins (5eae2591@gateway/web/cgi-irc/kiwiirc.com/ip.94.174.37.145)
16:59:41 × elliott_ quits (~elliott@ool-4570ee70.dyn.optonline.net) (Ping timeout: 265 seconds)
17:00:37 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Ping timeout: 260 seconds)
17:01:16 × bencark quits (~bencark@91.110.54.64) (Ping timeout: 240 seconds)
17:01:29 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
17:01:41 → bencark joins (~bencark@91.110.54.64)
17:02:04 × cads2 quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 260 seconds)
17:02:09 → orion joins (~orion@c-76-19-238-5.hsd1.ma.comcast.net)
17:02:09 × orion quits (~orion@c-76-19-238-5.hsd1.ma.comcast.net) (Changing host)
17:02:09 → orion joins (~orion@unaffiliated/orion)
17:03:29 → asheshambasta joins (~user@d8D87D1B0.access.telenet.be)
17:04:02 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 265 seconds)
17:04:12 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
17:05:00 → cads2 joins (~cads@ip-64-72-99-232.lasvegas.net)
17:05:57 × matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 272 seconds)
17:07:56 × Franciman quits (~francesco@host-82-49-79-73.retail.telecomitalia.it) (Quit: Leaving)
17:09:07 × sakirious quits (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
17:09:59 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
17:12:00 → matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
17:12:31 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
17:14:54 → Tario joins (~Tario@201.192.165.173)
17:15:05 × matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Client Quit)
17:16:06 → matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
17:17:03 × sand_dull quits (~theuser@62.182.99.39) (Ping timeout: 256 seconds)
17:17:33 → DavidEichmann joins (~david@2a01:4b00:ea36:d800:4ce4:94b4:579a:c035)
17:20:44 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Remote host closed the connection)
17:22:36 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
17:23:56 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
17:25:02 → christo joins (~chris@81.96.113.213)
17:25:40 → heatsink joins (~heatsink@2600:1700:bef1:5e10:49a9:d2cc:4eca:a521)
17:27:28 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
17:27:55 × dandart quits (~Thunderbi@host86-185-55-80.range86-185.btcentralplus.com) (Remote host closed the connection)
17:28:12 × juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 265 seconds)
17:28:18 → dandart joins (~Thunderbi@2a00:23c7:f5a6:d001:9490:53bc:e84d:b1fb)
17:28:39 → sand_dull joins (~theuser@62.182.99.39)
17:29:05 → jpcooper joins (~user@unaffiliated/jpcooper)
17:29:48 <jpcooper> Is there a function in the ByteString library which splits a ByteString by another ByteString, instead of just a Word8 or Char?
17:29:58 <jpcooper> I want to split by "\r\n"
17:30:01 → knupfer joins (~Thunderbi@200116b8242f5f007c4a52fffe62cb66.dip.versatel-1u1.de)
17:30:02 × DavidEichmann quits (~david@2a01:4b00:ea36:d800:4ce4:94b4:579a:c035) (Remote host closed the connection)
17:30:35 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
17:30:37 × heatsink quits (~heatsink@2600:1700:bef1:5e10:49a9:d2cc:4eca:a521) (Ping timeout: 260 seconds)
17:31:10 × knupfer quits (~Thunderbi@200116b8242f5f007c4a52fffe62cb66.dip.versatel-1u1.de) (Remote host closed the connection)
17:31:23 → knupfer joins (~Thunderbi@200116b8242f5f00544809c6f2608221.dip.versatel-1u1.de)
17:32:15 → christo joins (~chris@81.96.113.213)
17:32:36 × brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 240 seconds)
17:33:00 → revprez_anzio joins (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
17:34:45 ← jpcooper parts (~user@unaffiliated/jpcooper) ("ERC (IRC client for Emacs 26.1)")
17:36:11 → elliott_ joins (~elliott@ool-4570ee70.dyn.optonline.net)
17:37:19 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Remote host closed the connection)
17:38:21 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
17:38:29 → unlink2 joins (~unlink2@p5dc0acf8.dip0.t-ipconnect.de)
17:40:50 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
17:41:15 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
17:41:25 × asheshambasta quits (~user@d8D87D1B0.access.telenet.be) (Ping timeout: 256 seconds)
17:42:49 × elliott_ quits (~elliott@ool-4570ee70.dyn.optonline.net) (Quit: WeeChat 2.9)
17:43:25 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 264 seconds)
17:45:32 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Ping timeout: 260 seconds)
17:48:16 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
17:48:36 → juuandyy joins (~juuandyy@90.166.144.65)
17:50:07 × dandart quits (~Thunderbi@2a00:23c7:f5a6:d001:9490:53bc:e84d:b1fb) (Ping timeout: 268 seconds)
17:53:49 × Feuermagier quits (~Feuermagi@213.178.26.41) (Ping timeout: 265 seconds)
17:54:40 × sand_dull quits (~theuser@62.182.99.39) (Ping timeout: 256 seconds)
17:56:35 → fuzzypixelz joins (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
17:59:27 → quentin-k joins (adefc60e@173.239.198.14)
17:59:27 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
18:00:11 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
18:01:18 × juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 256 seconds)
18:02:10 → christo joins (~chris@81.96.113.213)
18:03:30 × Varis quits (~Tadas@unaffiliated/varis) (Ping timeout: 256 seconds)
18:04:50 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
18:06:34 <quentin-k> Would this code hash the supplied name using wirlpool? https://gist.github.com/quentin-k/f8a78b8ac46e0e75ad6574bc2bd7c44e
18:07:39 → philopso1 joins (~caecilius@gateway/tor-sasl/caecilius)
18:08:03 × philopsos quits (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds)
18:08:17 × philopso1 quits (~caecilius@gateway/tor-sasl/caecilius) (Client Quit)
18:08:28 → philopsos joins (~caecilius@gateway/tor-sasl/caecilius)
18:08:58 → juuandyy joins (~juuandyy@90.166.144.65)
18:09:33 × quentin-k quits (adefc60e@173.239.198.14) (Remote host closed the connection)
18:10:45 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Remote host closed the connection)
18:11:21 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704)
18:11:30 → sand_dull joins (~theuser@62.182.99.39)
18:12:53 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
18:13:06 → erisco joins (~erisco@104-195-141-253.cpe.teksavvy.com)
18:13:18 → ADG1089__ joins (~aditya@122.163.239.116)
18:14:46 → dandart joins (~Thunderbi@2a00:23c7:f5a6:d001:9490:53bc:e84d:b1fb)
18:15:23 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
18:15:45 → Melanie joins (~Melanie@192-0-134-138.cpe.teksavvy.com)
18:15:56 × bencark quits (~bencark@91.110.54.64) (Ping timeout: 240 seconds)
18:16:15 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:cb3:d92b:1c86:1704) (Ping timeout: 272 seconds)
18:17:02 × cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
18:17:37 × fuzzypixelz quits (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 264 seconds)
18:18:04 → bencark joins (~bencark@91.110.54.64)
18:18:49 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
18:19:21 → cantstanya joins (~chatting@gateway/tor-sasl/cantstanya)
18:19:32 → chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
18:20:04 → christo joins (~chris@81.96.113.213)
18:20:34 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
18:20:50 × chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Client Quit)
18:21:18 × sand_dull quits (~theuser@62.182.99.39) (Ping timeout: 256 seconds)
18:22:23 → Hanma[m] joins (hanmamatri@gateway/shell/matrix.org/x-huiiddwybeabvfvf)
18:22:49 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds)
18:23:05 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:68d8:71d6:7f29:593f)
18:26:48 → unfixpoint joins (1f0a965a@31-10-150-90.cgn.dynamic.upc.ch)
18:27:11 → heatsink joins (~heatsink@2600:1700:bef1:5e10:49a9:d2cc:4eca:a521)
18:27:16 × ADG1089__ quits (~aditya@122.163.239.116) (Remote host closed the connection)
18:27:44 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:68d8:71d6:7f29:593f) (Ping timeout: 268 seconds)
18:28:10 <unfixpoint> If you got a single module with `data Nat = Z | S Nat, and it has explicit exports that don't include `Nat`. It just uses that type internally with defined arithmetic by pattern-matching.
18:28:20 × unlink2 quits (~unlink2@p5dc0acf8.dip0.t-ipconnect.de) (Quit: Leaving)
18:28:25 <unfixpoint> Is GHC smart enough to figure out what's going on and use `Integer` instead?
18:29:22 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
18:29:25 <geekosaur> no
18:30:11 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
18:30:34 <Melanie> what makes you think it would?
18:30:36 <unfixpoint> That'd be a cool transformation though but I imagine this doesn't generalize too well lol
18:31:14 <Rembane> Agda does it if you ask it nicely.
18:31:25 × kam1 quits (~kam1@24.231.108.143) (Ping timeout: 240 seconds)
18:31:25 <unfixpoint> The fact that Isabelle/HOL generates such code, I don't see why they'd not use `Integer` except that's a known transformation and thus it's simpler to reuse internal reps
18:31:25 <Rembane> But Agda has a slightly different goal than Haskell
18:31:37 × heatsink quits (~heatsink@2600:1700:bef1:5e10:49a9:d2cc:4eca:a521) (Ping timeout: 260 seconds)
18:31:48 → jamm joins (~jamm@unaffiliated/jamm)
18:32:17 <unfixpoint> What's that thing with Agda? Do you provide it with codegeneration theorems or such?
18:32:43 <Rembane> unfixpoint: You give it a pragma and it takes care of the transformations itself iirc
18:32:56 <unfixpoint> `data Char = Char Bool Bool Bool Bool Bool Bool Bool Bool` is cool hehe
18:33:34 <monochrom> I am doubtful. How does Isabelle/HOL do it?
18:33:58 <unfixpoint> How does it do what?
18:34:11 <monochrom> <unfixpoint> The fact that Isabelle/HOL generates such code
18:35:14 → nbloomf joins (~nbloomf@c-73-95-140-190.hsd1.co.comcast.net)
18:35:34 <unfixpoint> It has a built in code-representation for stuff which it knows code-equations. It then translates that representation to different targets Haskell, SML etc.
18:36:09 <unfixpoint> The code-representation is close to stripped down Haskell with type classes but no extensions
18:36:38 × jamm quits (~jamm@unaffiliated/jamm) (Ping timeout: 272 seconds)
18:36:56 → Kerberos88 joins (~Kerberos8@79.103.76.187.dsl.dyn.forthnet.gr)
18:37:25 <Kerberos88> what do the suckless/unix people think on Haskell?
18:37:57 <Kerberos88> I know they mostly promote C / Go / Rust, but I haven't managed to find out what they think on Haskell
18:37:58 → coot joins (~coot@37.30.51.124.nat.umts.dynamic.t-mobile.pl)
18:38:08 <monochrom> Shouldn't you be asking that in a channel for suckless/unix? (WTH is suckless?)
18:38:17 × al3x27 quits (~plovs@85.254.74.40) (Ping timeout: 265 seconds)
18:38:28 <unfixpoint> It's like pointful but with suck instead of point
18:38:37 <Kerberos88> their channel is down for some reason, and the one on freenode pretty much dead
18:39:03 <monochrom> Well this channel is not full of suckless/unix people. In fact I bet devoid of.
18:39:04 <nf> there might be a bit of a survivor bias in asking that in #haskell :)
18:39:12 <monochrom> And yeah that.
18:39:23 <geekosaur> makers of dwm, dunst, st, etc. and about the only relationship I can think of between them and haskell is that xmonad started out as dwm in haskell
18:40:26 <Kerberos88> nf: yeah I know, was my last resort haha
18:40:40 <unfixpoint> Is there a hack such that I can import a module with explicit imports but fully?
18:40:48 → Varis joins (~Tadas@unaffiliated/varis)
18:40:54 <nf> (geekosaur: i don't think dunst is from suckless?)
18:41:01 <unfixpoint> Otherwise, each time it generates my code I need to go modify that file's exports :(
18:41:09 <Kerberos88> geekosaur: That's all I know too, along with Uriel, they have pages on "harmful software" in which they attack python, C++, java etc. but no thoughts on Haskell
18:41:35 <Kerberos88> nf: well it starts from d so it might as well
18:42:10 <monochrom> "never heard of it" is a legit answer to "what do you think of it?", you know?
18:42:25 <monochrom> "no thought" is also another legit answer.
18:42:32 → Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
18:42:38 <monochrom> If they have no thought then they have no thought.
18:42:46 × Melanie quits (~Melanie@192-0-134-138.cpe.teksavvy.com) (Quit: leaving)
18:42:54 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-eoacigssonweyiuu) (Quit: Connection closed for inactivity)
18:44:00 <Kerberos88> well, they have thoughts on all types of features found in programming languages, all of which are part of haskell, so I thought if you just lay down the features of haskell to them they'd have a pretty strong opinion about it.
18:44:06 → Melanie joins (~Melanie@192-0-134-138.cpe.teksavvy.com)
18:45:06 × ralu quits (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 256 seconds)
18:45:13 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 264 seconds)
18:45:14 Lord_of_Life_ is now known as Lord_of_Life
18:45:46 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:6c05:f202:e48a:f207)
18:46:23 → ralu joins (~ralu@static.211.245.203.116.clients.your-server.de)
18:49:40 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
18:50:17 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:6c05:f202:e48a:f207) (Ping timeout: 260 seconds)
18:50:26 × bencark quits (~bencark@91.110.54.64) (Read error: Connection reset by peer)
18:52:27 → bencark joins (~bencark@91.110.54.64)
18:53:15 × juuandyy quits (~juuandyy@90.166.144.65) (Quit: Konversation terminated!)
18:54:02 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:6c05:f202:e48a:f207)
18:54:09 × Melanie quits (~Melanie@192-0-134-138.cpe.teksavvy.com) (Quit: Lost terminal)
18:56:14 <dsal> unfixpoint: I don't quite understand what you're asking. If you want explicit exports to automatically include new things, can't you just not use explicit exports?
18:57:35 <unfixpoint> Actually maybe, not sure if I can customize the exports there
19:00:03 → hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-gekljygtchkukcbi)
19:00:46 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
19:01:11 → Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
19:01:43 → cads joins (~cads@ip-64-72-99-232.lasvegas.net)
19:02:16 × cads2 quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 240 seconds)
19:03:13 → chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
19:03:31 → berberman_ joins (~berberman@unaffiliated/berberman)
19:03:55 × chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Client Quit)
19:04:00 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 258 seconds)
19:04:05 × Varis quits (~Tadas@unaffiliated/varis) (Ping timeout: 240 seconds)
19:05:56 × Khisanth quits (~Khisanth@115.sub-174-197-143.myvzw.com) (Ping timeout: 240 seconds)
19:06:41 → Varis joins (~Tadas@unaffiliated/varis)
19:07:32 → heatsink joins (~heatsink@2600:1700:bef1:5e10:49a9:d2cc:4eca:a521)
19:07:34 → chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
19:07:34 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
19:07:57 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
19:08:35 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:6c05:f202:e48a:f207) (Remote host closed the connection)
19:09:05 → kam1 joins (~kam1@24.231.108.143)
19:10:10 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:b960:e9ab:1932:a456)
19:12:49 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
19:13:36 → Vulfe_ joins (~vulfe@2600:1702:31b0:34e0:d8b7:1935:f66b:9585)
19:14:47 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:b960:e9ab:1932:a456) (Ping timeout: 260 seconds)
19:14:48 × sparsity quits (5eae2591@gateway/web/cgi-irc/kiwiirc.com/ip.94.174.37.145) (Quit: Connection closed)
19:15:02 → Guest98 joins (69709471@gateway/web/cgi-irc/kiwiirc.com/ip.105.112.148.113)
19:16:04 <Guest98> Hello guys
19:16:12 → Vulfe joins (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
19:16:24 <Guest98> please why doesnt this code run. https://pastebin.com/jVZ04yS7
19:18:17 × Vulfe_ quits (~vulfe@2600:1702:31b0:34e0:d8b7:1935:f66b:9585) (Ping timeout: 260 seconds)
19:19:15 → eacameron joins (uid256985@gateway/web/irccloud.com/x-lhbgdftewugimdol)
19:19:36 → Khisanth joins (~Khisanth@24.sub-174-244-147.myvzw.com)
19:20:16 × Vulfe quits (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
19:20:30 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
19:20:50 × dandart quits (~Thunderbi@2a00:23c7:f5a6:d001:9490:53bc:e84d:b1fb) (Quit: dandart)
19:21:03 → xcmw joins (~textual@2601:541:4404:bb5c:383c:b842:edcb:4461)
19:23:25 <Guest98> dont worry guys
19:23:29 <Guest98> ive figured it out
19:23:31 <Guest98> Thanks
19:23:32 → brisbin joins (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net)
19:23:55 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:fd32:3392:6fff:f492)
19:24:03 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
19:25:08 → pallas joins (~pallas@183.193.112.99)
19:26:11 → christo joins (~chris@81.96.113.213)
19:27:46 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
19:28:19 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-dkfzyfmbutdgutbh)
19:29:41 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
19:32:01 × theorbtwo quits (~theorb@cpc81822-swin19-2-0-cust3.3-1.cable.virginm.net) (Ping timeout: 264 seconds)
19:34:38 × unfixpoint quits (1f0a965a@31-10-150-90.cgn.dynamic.upc.ch) (Remote host closed the connection)
19:35:53 → unfixpoint joins (1f0a965a@31-10-150-90.cgn.dynamic.upc.ch)
19:39:42 × Guest98 quits (69709471@gateway/web/cgi-irc/kiwiirc.com/ip.105.112.148.113) (Quit: Connection closed)
19:40:22 → al3x27 joins (~plovs@85.254.74.40)
19:41:20 × geekosaur quits (ac3a8cd4@172.58.140.212) (Ping timeout: 245 seconds)
19:41:33 × jneira quits (5127adb4@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.180) (Quit: Ping timeout (120 seconds))
19:45:24 → Franciman joins (~francesco@host-82-49-79-73.retail.telecomitalia.it)
19:47:37 × kam1 quits (~kam1@24.231.108.143) (Ping timeout: 264 seconds)
19:49:11 → bisickcor joins (~username@117.200.10.157)
19:49:25 → sakirious joins (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net)
19:50:04 × codeAlways quits (uid272474@gateway/web/irccloud.com/x-nalzxjbahpchnrik) (Quit: Connection closed for inactivity)
19:50:24 → geekosaur joins (ac3a8f71@172.58.143.113)
19:52:04 × iekfkk quits (~username@117.200.2.100) (Ping timeout: 246 seconds)
19:52:25 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 246 seconds)
19:53:40 → howdoi joins (uid224@gateway/web/irccloud.com/x-sgkmaldlngsmvshg)
19:54:53 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
19:57:07 × chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
19:59:54 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
20:03:23 → Melanie joins (~Melanie@192-0-134-138.cpe.teksavvy.com)
20:04:07 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
20:08:44 × nbloomf quits (~nbloomf@c-73-95-140-190.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
20:09:32 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
20:09:37 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
20:10:21 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
20:11:01 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 264 seconds)
20:11:32 → christo joins (~chris@81.96.113.213)
20:14:19 → kam1 joins (~kam1@24.231.108.143)
20:14:29 → krisfris joins (uid479465@gateway/web/irccloud.com/x-xldstlxdyubejwgt)
20:14:34 × natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9)
20:15:49 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
20:18:15 × xcmw quits (~textual@2601:541:4404:bb5c:383c:b842:edcb:4461) (Quit: My MacBook has gone to sleep. ZZZzzz…)
20:19:48 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
20:20:40 → christo joins (~chris@81.96.113.213)
20:22:13 × heatsink quits (~heatsink@2600:1700:bef1:5e10:49a9:d2cc:4eca:a521) (Remote host closed the connection)
20:23:13 → fuzzypixelz joins (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
20:23:33 <fuzzypixelz> I was checking out https://hackage.haskell.org/package/containers-0.6.4.1/docs/Data-Tree.html
20:23:56 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
20:23:57 <fuzzypixelz> and there doesn't seem to be any function for counting the total number of leaves
20:25:25 × christo quits (~chris@81.96.113.213) (Ping timeout: 264 seconds)
20:25:27 <fuzzypixelz> I think I can do it with a recursive call to `length . levels` (whatever that means). I there some other std library that implements Trees?
20:25:53 <merijn> Depends what kinda tree you want/need?
20:26:53 <wz1000> fuzzypixelz: I think `foldTree (\_ xs -> if null xs then 1 else sum xs)` should do it
20:27:58 × Raito_Bezarius quits (~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 260 seconds)
20:29:43 <monochrom> "length . levels" looks like counting depth. "recursively does length . levels" looks like exponential time.
20:29:59 <monochrom> exponential time wrt depth.
20:30:07 → Raito_Bezarius joins (~Raito@unaffiliated/raito-bezarius/x-8764578)
20:30:14 <fuzzypixelz> oh sorry, I want to count the number of "outer" leaves
20:31:07 <Melanie> the number of leaves at the deepest level only?
20:31:10 <monochrom> Doesn't "outer leaf" already means "has no child", "list of children is empty", which is wz1000's?
20:31:35 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
20:32:09 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
20:32:31 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
20:32:31 <fuzzypixelz> oh yes it's exactly what wz1000 SAID
20:32:35 → heatsink joins (~heatsink@2600:1700:bef1:5e10:49a9:d2cc:4eca:a521)
20:35:17 × bencark quits (~bencark@91.110.54.64) (Quit: WeeChat 2.9)
20:35:43 × philopsos quits (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds)
20:35:49 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 246 seconds)
20:36:52 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
20:37:11 × brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 265 seconds)
20:37:43 → natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
20:38:05 × Melanie quits (~Melanie@192-0-134-138.cpe.teksavvy.com) (Quit: Lost terminal)
20:38:30 → Melanie joins (~Melanie@192-0-134-138.cpe.teksavvy.com)
20:42:11 → acidjnk_new joins (~acidjnk@p200300d0c704e766c945272cf742f08c.dip0.t-ipconnect.de)
20:42:46 → phasespace_ joins (~sar@89-162-33-21.fiber.signal.no)
20:42:49 × phasespace quits (~sar@89-162-33-21.fiber.signal.no) (Ping timeout: 246 seconds)
20:44:15 → xcmw joins (~textual@2601:541:4404:bb5c:383c:b842:edcb:4461)
20:44:30 hackage pcre2 1.1.1 - Regular expressions via the PCRE2 C library (included) https://hackage.haskell.org/package/pcre2-1.1.1 (SShuck)
20:45:07 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
20:48:27 → iekfkk joins (~username@117.200.6.46)
20:50:56 × bisickcor quits (~username@117.200.10.157) (Ping timeout: 240 seconds)
20:51:05 × kam1 quits (~kam1@24.231.108.143) (Remote host closed the connection)
20:51:24 → kam1 joins (~kam1@24.231.108.143)
20:52:40 × kam1 quits (~kam1@24.231.108.143) (Remote host closed the connection)
20:53:09 → kam1 joins (~kam1@24.231.108.143)
20:56:05 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
21:05:28 × cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 272 seconds)
21:09:03 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:fd32:3392:6fff:f492) (Remote host closed the connection)
21:09:34 × cosimone quits (~cosimone@93-47-228-249.ip115.fastwebnet.it) (Quit: cosimone)
21:09:53 → martin02 joins (silas@hund.fs.lmu.de)
21:12:25 → bitmagie joins (~Thunderbi@200116b8062aa10084539d8139fe5e54.dip.versatel-1u1.de)
21:12:29 → Varis joins (~Tadas@unaffiliated/varis)
21:14:24 → cosimone joins (~cosimone@93-47-228-249.ip115.fastwebnet.it)
21:15:18 × knupfer quits (~Thunderbi@200116b8242f5f00544809c6f2608221.dip.versatel-1u1.de) (Remote host closed the connection)
21:15:27 → knupfer joins (~Thunderbi@200116b8242f5f00f599acd75e5790b0.dip.versatel-1u1.de)
21:20:44 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
21:21:57 → son0p joins (~son0p@181.136.122.143)
21:22:11 × Melanie quits (~Melanie@192-0-134-138.cpe.teksavvy.com) (Quit: Lost terminal)
21:22:28 → cads joins (~cads@ip-64-72-99-232.lasvegas.net)
21:22:54 → solonarv joins (~solonarv@adijon-656-1-25-229.w90-13.abo.wanadoo.fr)
21:24:13 × pallas quits (~pallas@183.193.112.99) (Ping timeout: 264 seconds)
21:25:51 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
21:27:52 × lordyod quits (~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) (Quit: The Lounge - https://thelounge.chat)
21:29:09 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
21:29:51 → kritzefitz joins (~kritzefit@212.86.56.80)
21:29:52 × kam1 quits (~kam1@24.231.108.143) (Ping timeout: 265 seconds)
21:30:42 → kam1 joins (~kam1@24.231.108.143)
21:32:22 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
21:33:06 × heatsink quits (~heatsink@2600:1700:bef1:5e10:49a9:d2cc:4eca:a521) (Remote host closed the connection)
21:35:37 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 264 seconds)
21:39:11 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
21:40:07 → pallas joins (~pallas@183.193.112.99)
21:40:17 × iqubic` quits (~user@2601:602:9500:4870:476:63ba:6a51:3c04) (Quit: ERC (IRC client for Emacs 28.0.50))
21:41:19 × inkbottle quits (~inkbottle@aaubervilliers-654-1-158-75.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
21:41:24 → iqubic joins (~user@2601:602:9500:4870:476:63ba:6a51:3c04)
21:42:19 × alanz quits (sid110616@gateway/web/irccloud.com/x-vchffcyekwzqqrhe) (Ping timeout: 258 seconds)
21:42:26 × metamod quits (uid478611@gateway/web/irccloud.com/x-midqqvsxqoftzhin) (Read error: Connection reset by peer)
21:42:38 × banjiewen_ quits (sid115913@gateway/web/irccloud.com/x-grjdgwsxifuvntpj) (Ping timeout: 264 seconds)
21:42:38 × lally quits (sid388228@gateway/web/irccloud.com/x-eayepbdcoaltcgvr) (Ping timeout: 264 seconds)
21:43:12 × totbwf quits (sid402332@gateway/web/irccloud.com/x-oeqnefzusvzfewjn) (Ping timeout: 260 seconds)
21:43:14 × gOOgler quits (uid125351@gateway/web/irccloud.com/x-qvlqntdbzcoggnqh) (Ping timeout: 264 seconds)
21:43:28 × krisfris quits (uid479465@gateway/web/irccloud.com/x-xldstlxdyubejwgt) (Ping timeout: 258 seconds)
21:43:37 × eruditass quits (uid248673@gateway/web/irccloud.com/x-vdvtabakncrqxstr) (Read error: Connection reset by peer)
21:43:48 × jared-w quits (uid405292@gateway/web/irccloud.com/x-hnyoiyqaxvvungnh) (Ping timeout: 260 seconds)
21:43:50 × wpcarro_ quits (sid397589@gateway/web/irccloud.com/x-btfbbcgmezeubvct) (Ping timeout: 268 seconds)
21:43:50 × ebutleriv quits (sid217783@gateway/web/irccloud.com/x-jkejqjqlzhbruofp) (Ping timeout: 264 seconds)
21:44:54 → zebrag joins (~inkbottle@aaubervilliers-654-1-158-75.w86-212.abo.wanadoo.fr)
21:44:56 → metamod joins (uid478611@gateway/web/irccloud.com/x-iztxpfmbyharqnxg)
21:45:02 × ryjm quits (sid383513@gateway/web/irccloud.com/x-gmeiqgbavlzgqgtv) (Ping timeout: 264 seconds)
21:45:02 × bradparker quits (sid262931@gateway/web/irccloud.com/x-wtlvpsiycvzgnlhz) (Ping timeout: 264 seconds)
21:45:04 × joshmeredith quits (sid387798@gateway/web/irccloud.com/x-yywfxbnafapotxpe) (Ping timeout: 268 seconds)
21:45:04 × benwr____ quits (sid372383@gateway/web/irccloud.com/x-fuxofnypelzozaiq) (Ping timeout: 268 seconds)
21:45:13 × pallas quits (~pallas@183.193.112.99) (Ping timeout: 264 seconds)
21:45:16 → eruditass joins (uid248673@gateway/web/irccloud.com/x-qpdbfuimeuljtzfh)
21:45:17 × ReinH__ quits (sid179972@gateway/web/irccloud.com/x-xxtwiezunkdpwsqu) (Ping timeout: 260 seconds)
21:45:17 × d0liver quits (sid363046@gateway/web/irccloud.com/x-pjoqxejcdlmhmetj) (Ping timeout: 260 seconds)
21:45:20 × AndreasK quits (uid320732@gateway/web/irccloud.com/x-jrnkehxuwmkxmqez) (Read error: Connection reset by peer)
21:45:22 × systemfault quits (sid267009@gateway/web/irccloud.com/x-rirzkbmmhwszgjfn) (Ping timeout: 272 seconds)
21:45:23 × SrPx quits (sid108780@gateway/web/irccloud.com/x-oorddyablslmxtoj) (Ping timeout: 258 seconds)
21:45:33 × benjamingr__ quits (uid23465@gateway/web/irccloud.com/x-iwrjiscfpjngqxid) (Ping timeout: 260 seconds)
21:46:05 × eruditass quits (uid248673@gateway/web/irccloud.com/x-qpdbfuimeuljtzfh) (Max SendQ exceeded)
21:46:27 → lordyod joins (~lordyod@c-67-169-144-132.hsd1.ca.comcast.net)
21:46:27 × davetapley quits (sid666@gateway/web/irccloud.com/x-kqfyoavfwsdjacsb) (Ping timeout: 260 seconds)
21:46:41 → gOOgler joins (uid125351@gateway/web/irccloud.com/x-roypmjethenoxwzs)
21:46:42 → alanz joins (sid110616@gateway/web/irccloud.com/x-jeruqluhqrtgyent)
21:46:44 → krisfris joins (uid479465@gateway/web/irccloud.com/x-exroizldsqhfnehu)
21:46:47 → ReinH__ joins (sid179972@gateway/web/irccloud.com/x-gahvyozpjkdvycuv)
21:46:49 → totbwf joins (sid402332@gateway/web/irccloud.com/x-lstwvrpzhbbezavu)
21:46:50 × natim87 quits (sid286962@gateway/web/irccloud.com/x-iwwabqztefvrcpdr) (Ping timeout: 264 seconds)
21:46:53 → jared-w joins (uid405292@gateway/web/irccloud.com/x-vghvrpmlsosyrmcw)
21:46:56 → wpcarro_ joins (sid397589@gateway/web/irccloud.com/x-azkchtsfvqsclphx)
21:46:56 → ebutleriv joins (sid217783@gateway/web/irccloud.com/x-dgoeshlvemzskrno)
21:46:58 → AndreasK joins (uid320732@gateway/web/irccloud.com/x-uktqzadfuhxfqwmf)
21:47:01 → lally joins (sid388228@gateway/web/irccloud.com/x-sahonvgrjrbzkxrq)
21:47:14 → systemfault joins (sid267009@gateway/web/irccloud.com/x-dlmhkaandvmrncuu)
21:47:15 → joshmeredith joins (sid387798@gateway/web/irccloud.com/x-zkhaozfesfkitweq)
21:47:20 → ryjm joins (sid383513@gateway/web/irccloud.com/x-tmudtbhecwyiwuwc)
21:47:22 → banjiewen_ joins (sid115913@gateway/web/irccloud.com/x-efwzmbigxjpyhyqn)
21:47:37 → benjamingr__ joins (uid23465@gateway/web/irccloud.com/x-ankgvusjjrkefawj)
21:47:46 → bradparker joins (sid262931@gateway/web/irccloud.com/x-oixqgvqtguzzzzhx)
21:47:48 → benwr____ joins (sid372383@gateway/web/irccloud.com/x-ylolloivjmxllmfb)
21:47:58 → davetapley joins (sid666@gateway/web/irccloud.com/x-awwgmkyqubhslzoc)
21:48:01 → natim87 joins (sid286962@gateway/web/irccloud.com/x-vorfpnwdjimlpxrz)
21:48:02 × aristid quits (sid1599@gateway/web/irccloud.com/x-tpphbwadwttggawk) (Ping timeout: 264 seconds)
21:48:09 → d0liver joins (sid363046@gateway/web/irccloud.com/x-phekeutgegrqsmdc)
21:48:21 → eruditass joins (uid248673@gateway/web/irccloud.com/x-xcgqqniunfnuqsoi)
21:48:40 → SrPx joins (sid108780@gateway/web/irccloud.com/x-xocntreqlornxygw)
21:49:05 → aristid joins (sid1599@gateway/web/irccloud.com/x-vqhscgijsuqmrlbi)
21:50:39 × ebutleriv quits (sid217783@gateway/web/irccloud.com/x-dgoeshlvemzskrno) (Read error: Connection reset by peer)
21:50:40 × ReinH__ quits (sid179972@gateway/web/irccloud.com/x-gahvyozpjkdvycuv) (Read error: Connection reset by peer)
21:50:42 × arybczak quits (~unknown@2a02:a312:c83d:7800:bb7f:5c00:4f48:cc5c) (Quit: Konversation terminated!)
21:50:50 → ebutleriv joins (sid217783@gateway/web/irccloud.com/x-nsyjifznvtdwqlor)
21:50:56 → ReinH__ joins (sid179972@gateway/web/irccloud.com/x-zzaluaokazkinfvl)
21:52:17 × jared-w quits (uid405292@gateway/web/irccloud.com/x-vghvrpmlsosyrmcw) (Ping timeout: 260 seconds)
21:52:20 × metamod quits (uid478611@gateway/web/irccloud.com/x-iztxpfmbyharqnxg) (Ping timeout: 272 seconds)
21:53:01 × Tesseraction quits (~Tesseract@unaffiliated/tesseraction) (Ping timeout: 264 seconds)
21:54:28 → nbloomf joins (~nbloomf@2601:285:401:7490:59cb:5937:686f:ce2a)
21:55:44 → jannee joins (52d18c9d@82-209-140-157.cust.bredband2.com)
22:00:36 × erisco quits (~erisco@104-195-141-253.cpe.teksavvy.com) (Ping timeout: 240 seconds)
22:02:00 → jamm joins (~jamm@unaffiliated/jamm)
22:02:20 × RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 268 seconds)
22:03:48 → RusAlex joins (~Chel@unaffiliated/rusalex)
22:04:25 × kam1 quits (~kam1@24.231.108.143) (Ping timeout: 240 seconds)
22:04:32 → jared-w joins (uid405292@gateway/web/irccloud.com/x-znflubjkxqieqjlw)
22:05:11 → metamod joins (uid478611@gateway/web/irccloud.com/x-rmjicccbfuhhydlz)
22:06:34 × jamm quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
22:09:03 → Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
22:09:32 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0)
22:09:57 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
22:10:35 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
22:10:35 × geekosaur quits (ac3a8f71@172.58.143.113) (Remote host closed the connection)
22:11:39 → jb55 joins (~jb55@gateway/tor-sasl/jb55)
22:11:46 → Fractalis joins (~Fractalis@2601:987:280:8d40:45d0:942f:6e60:692f)
22:12:12 → Rudd0 joins (~Rudd0@185.189.115.108)
22:12:49 × Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 264 seconds)
22:14:03 → clog joins (~nef@bespin.org)
22:14:06 → kam1 joins (~kam1@24.231.108.143)
22:15:03 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:fd32:3392:6fff:f492)
22:15:41 → heatsink joins (~heatsink@2600:1700:bef1:5e10:49a9:d2cc:4eca:a521)
22:21:20 × ajbiz11 quits (~ajbiz11@217.146.82.202) (Remote host closed the connection)
22:22:13 → desophos joins (~desophos@2601:249:1680:a570:dc82:b6a1:9d59:9d35)
22:24:47 × desophos quits (~desophos@2601:249:1680:a570:dc82:b6a1:9d59:9d35) (Client Quit)
22:25:36 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
22:27:54 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
22:28:15 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
22:28:27 → jneira joins (5127adb4@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.180)
22:29:53 × acidjnk_new quits (~acidjnk@p200300d0c704e766c945272cf742f08c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
22:30:52 × bitmagie quits (~Thunderbi@200116b8062aa10084539d8139fe5e54.dip.versatel-1u1.de) (Quit: bitmagie)
22:30:53 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
22:31:22 × Fractalis quits (~Fractalis@2601:987:280:8d40:45d0:942f:6e60:692f) (Ping timeout: 260 seconds)
22:31:59 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
22:32:10 → azuremis joins (~azuremis@2a00:23c7:6b85:b800:3d4c:a163:f6a6:6874)
22:32:25 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
22:32:42 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
22:32:43 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
22:33:24 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
22:33:31 × azuremis quits (~azuremis@2a00:23c7:6b85:b800:3d4c:a163:f6a6:6874) (Client Quit)
22:36:20 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0)
22:36:43 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
22:36:53 → Tario joins (~Tario@garza.riseup.net)
22:37:08 <fuzzypixelz> this is aoc day 07, https://bpa.st/BZLQ
22:37:45 <fuzzypixelz> there is something wrong about it but I ran out of ideas
22:38:47 <fuzzypixelz> my solution is to to represent the bags types as nodes in a tree and have the leaves represent the condition that a bag can be contained in another bag
22:38:56 <merijn> fuzzypixelz: You can get by with a much simpler parser
22:39:13 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Client Quit)
22:39:14 <fuzzypixelz> merijn: first time using any parser library ;]
22:39:22 <merijn> And without bothering with trees, tbh :p
22:40:25 <fuzzypixelz> I had a really hard time writing the solution, until I thought of trees :P
22:41:05 <merijn> fuzzypixelz: I can show you my solution, but that's spoilers of course :p
22:41:24 × heatsink quits (~heatsink@2600:1700:bef1:5e10:49a9:d2cc:4eca:a521) (Remote host closed the connection)
22:41:26 → vexed__ joins (~vexed__@178.162.212.214)
22:41:34 × Tario quits (~Tario@garza.riseup.net) (Ping timeout: 260 seconds)
22:41:45 <fuzzypixelz> merijn: I was hoping that there is something _obviously_ wrong in what I did, something that other people can see but not me
22:44:53 → Fischmiep joins (~Fischmiep@biel.zbh.uni-hamburg.de)
22:46:28 <merijn> I'm pretty sure you're computing the wrong solution?
22:47:08 → Tario joins (~Tario@garza.riseup.net)
22:48:09 <merijn> Like, you're computing everything contained in a golden bag, not everything that can contain a gold bag, afaict?
22:48:19 <c_wraith> yep, that's definitely backwards
22:48:22 <merijn> But maybe I don't understand unfoldTree correctly
22:48:39 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
22:50:12 <c_wraith> oh, nevermind. You're building it the right direction, but counting the wrong thing.
22:51:36 × Tario quits (~Tario@garza.riseup.net) (Ping timeout: 256 seconds)
22:51:47 <c_wraith> If you had dull blue contains bright red contains shiny gold as your entire tree, you'd get 1 as the result.
22:52:35 <merijn> fuzzypixelz: If you are okay with spoilers you can have a look at mine: https://github.com/merijn/AdventOfCode2020/blob/master/Day7.hs
22:57:27 × nbloomf quits (~nbloomf@2601:285:401:7490:59cb:5937:686f:ce2a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
22:58:18 × Fischmiep quits (~Fischmiep@biel.zbh.uni-hamburg.de) (Quit: WeeChat 2.3)
23:01:14 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds)
23:01:49 → Tops2 joins (~Tobias@dyndsl-095-033-090-086.ewe-ip-backbone.de)
23:02:27 <fuzzypixelz> c_wraith: how can count it right?
23:02:56 × neiluj quits (~jco@unaffiliated/neiluj) (Ping timeout: 240 seconds)
23:03:06 <fuzzypixelz> I thought that the outer nodes were the ones with a null list of branching nodes
23:03:20 <c_wraith> you are counting exactly what you think you are
23:03:27 <c_wraith> You are not counting what the problem asks you to count
23:05:37 × Tops21 quits (~Tobias@dyndsl-095-033-090-086.ewe-ip-backbone.de) (Ping timeout: 264 seconds)
23:05:48 → pallas joins (~pallas@183.193.112.99)
23:07:10 <fuzzypixelz> c_wraith: so for a give a "full depth" branch, I need to add not 1, but the the number of nodes in it?
23:07:30 <c_wraith> no, that's irrelevant in part 1
23:07:57 × coot quits (~coot@37.30.51.124.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
23:08:04 → Codaraxis__ joins (~Codaraxis@91.193.4.10)
23:08:09 → heatsink joins (~heatsink@2600:1700:bef1:5e10:49a9:d2cc:4eca:a521)
23:08:25 <c_wraith> the problem is asking you how many different colors can eventually contain a shiny gold bag. This is not the same as how many different colors can hold a shiny gold bag and can't be contained in another bag.
23:08:29 → Fractalis joins (~Fractalis@2601:987:280:8d40:45d0:942f:6e60:692f)
23:10:35 × Kerberos88 quits (~Kerberos8@79.103.76.187.dsl.dyn.forthnet.gr) (Read error: Connection reset by peer)
23:11:32 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
23:11:55 <fuzzypixelz> c_wraith: ok, so it's the number of distinct bag types, but at each level of my tree
23:12:03 <c_wraith> yes
23:12:08 × Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 272 seconds)
23:12:57 × fendor_ quits (~fendor@178.115.130.212.wireless.dyn.drei.com) (Remote host closed the connection)
23:14:07 <fuzzypixelz> c_wraith: so I think I can: map (function counting distinct elements of a list) (tail . levels $ tree)
23:14:33 <fuzzypixelz> tail should be there to discard the root node
23:14:54 <c_wraith> though, to be accurate - it isn't guaranteed to be a tree.
23:15:10 <c_wraith> All you're guaranteed is a DAG
23:15:18 <c_wraith> so be sure not to count duplicates
23:16:24 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
23:16:53 → Fischmiep joins (~Fischmiep@biel.zbh.uni-hamburg.de)
23:17:44 × Fischmiep quits (~Fischmiep@biel.zbh.uni-hamburg.de) (Client Quit)
23:18:43 × Franciman quits (~francesco@host-82-49-79-73.retail.telecomitalia.it) (Quit: Leaving)
23:18:57 → Fischmiep joins (~Fischmiep@biel.zbh.uni-hamburg.de)
23:19:47 × Fischmiep quits (~Fischmiep@biel.zbh.uni-hamburg.de) (Client Quit)
23:20:01 × kam1 quits (~kam1@24.231.108.143) (Ping timeout: 264 seconds)
23:20:48 → Fischmiep joins (~Fischmiep@bari.zbh.uni-hamburg.de)
23:22:29 hackage pcre2 1.1.2 - Regular expressions via the PCRE2 C library (included) https://hackage.haskell.org/package/pcre2-1.1.2 (SShuck)
23:23:27 × Fischmiep quits (~Fischmiep@bari.zbh.uni-hamburg.de) (Client Quit)
23:23:43 × son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal)
23:29:18 × carthia quits (~carthia@gateway/tor-sasl/carthia) (Quit: carthia)
23:31:41 <fuzzypixelz> c_wraith: I ended up passing my tree to `sum . map (length.nub) . tail . levels` but that gave 149 and the correct answer for me is 128 (ran merijn's solution, just ran it), so I overcounted
23:32:13 <fuzzypixelz> c_wraith: I still don't understand how I'm only getting a dag
23:32:48 <fuzzypixelz> it would imply that the rules allow bags to contain themselves
23:32:59 <fuzzypixelz> c_wraith: but you were right :P
23:35:27 <nshepperd> it's a dag in the sense that your tree contains duplicate subtrees
23:35:47 × knupfer quits (~Thunderbi@200116b8242f5f00f599acd75e5790b0.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
23:36:21 → acidjnk_new joins (~acidjnk@p200300d0c704e766c945272cf742f08c.dip0.t-ipconnect.de)
23:39:02 × Fractalis quits (~Fractalis@2601:987:280:8d40:45d0:942f:6e60:692f) (Ping timeout: 260 seconds)
23:39:08 → kam1 joins (~kam1@24.231.108.143)
23:39:41 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
23:39:42 → Fractalis joins (~Fractalis@2601:987:280:8d40:45d0:942f:6e60:692f)
23:39:53 <nshepperd> iow, your tree is a.. traversal? tree-ization? of a dag
23:40:18 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
23:40:53 <nshepperd> because bag A can contain both B and C which can both contain D
23:41:04 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
23:41:19 <fuzzypixelz> nshepperd, c_wraith: so now I ended up with length . nub . concat . tail . levels $ tree
23:42:16 → olligobber joins (~olligobbe@unaffiliated/olligobber)
23:42:38 <fuzzypixelz> So after I get all my tree's levels, I concat them into one big list and then count the distinct bags _of that_
23:42:48 <fuzzypixelz> and that gives the right answer
23:42:55 → sgibber2018 joins (~arch-gibb@208.85.237.137)
23:43:06 <c_wraith> the logic sounds correct, too. Not just coincidentally giving you the right answer :)
23:43:24 <fuzzypixelz> I can't believe how far I was from what the problem asked for
23:43:44 <fuzzypixelz> c_wraith: what data structure would be better suited to represent "bag containess"
23:43:53 <c_wraith> Take a look at Data.Graph
23:45:05 <c_wraith> day 7 part 1 is two function calls on a Data.Graph that's been constructed to hold the whole thing
23:45:17 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 256 seconds)
23:45:49 <fuzzypixelz> c_wraith: btw, how did you solve it?
23:46:36 <c_wraith> the worst way I could. :) Being smart would have been reversing the graph. Instead I just kept a reachable set and adding new things to it until I hit a fixed point
23:47:32 × Kaiepi quits (~Kaiepi@47.54.252.148) (Ping timeout: 256 seconds)
23:51:30 hackage stripe-servant 0.1.0.0 - Unofficial Stripe servant types https://hackage.haskell.org/package/stripe-servant-0.1.0.0 (AlexanderThiemann)
23:52:29 hackage stripe-hs 0.1.0.0 - Unofficial Stripe client https://hackage.haskell.org/package/stripe-hs-0.1.0.0 (AlexanderThiemann)
23:55:01 <fuzzypixelz> c_wraith: so it would be reachable and transpose? the graph would link bags to their containiner bags, I think
23:55:22 × Fractalis quits (~Fractalis@2601:987:280:8d40:45d0:942f:6e60:692f) (Ping timeout: 260 seconds)
23:55:35 <fuzzypixelz> reachable from the golden bag that is
23:56:08 <c_wraith> yep, those do the job
23:56:17 <nshepperd> i just had a recursive function to compute the transitive closure of any given bag
23:56:30 <nshepperd> As a Data.Set
23:56:48 × hiroaki quits (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds)
23:57:58 <fuzzypixelz> nshepperd: I had I very vague idea of that but I just couldn't write it
23:58:02 → jedws joins (~jedws@121.209.189.201)
23:58:09 <fuzzypixelz> I miss my loops and statements

All times are in UTC on 2020-12-24.