IRCBrowse

2020/12/24

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