IRCBrowse

2021/05/08

2021-05-08 00:00:32 +0200Rudd0(~Rudd0@185.189.115.108)
2021-05-08 00:06:27 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-05-08 00:13:01 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-08 00:13:59 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3)
2021-05-08 00:14:45 +0200son0p(~ff@181.136.122.143)
2021-05-08 00:15:19 +0200ADG1089(~aditya@27.58.164.109) (Quit: Konversation terminated!)
2021-05-08 00:15:47 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-05-08 00:18:07 +0200pavonia(~user@unaffiliated/siracusa)
2021-05-08 00:20:26 +0200s00pcan(~chris@107.181.165.217) (Ping timeout: 260 seconds)
2021-05-08 00:20:42 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-08 00:21:12 +0200corvusdev(~corvusdev@50.212.103.45)
2021-05-08 00:22:19 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com)
2021-05-08 00:22:38 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-05-08 00:24:12 +0200michalz(~user@185.246.204.43) (Remote host closed the connection)
2021-05-08 00:26:08 +0200ahri(~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2021-05-08 00:26:10 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-08 00:26:52 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-05-08 00:27:11 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-05-08 00:27:35 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-08 00:30:18 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-08 00:30:49 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:b560:96a6:3577:528f)
2021-05-08 00:31:20 +0200machinedgod(~machinedg@24.105.81.50) (Quit: Lost terminal)
2021-05-08 00:31:43 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-05-08 00:31:59 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 246 seconds)
2021-05-08 00:34:59 +0200machinedgod(~machinedg@24.105.81.50)
2021-05-08 00:36:06 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds)
2021-05-08 00:36:12 +0200slack1256(~slack1256@200.112.86.100) (Ping timeout: 260 seconds)
2021-05-08 00:37:29 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f)
2021-05-08 00:38:11 +0200Guest89063(~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds)
2021-05-08 00:40:38 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-08 00:41:10 +0200roconnor(~roconnor@host-23-91-186-24.dyn.295.ca) (Ping timeout: 268 seconds)
2021-05-08 00:41:59 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) (Ping timeout: 258 seconds)
2021-05-08 00:42:17 +0200dolio(~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-08 00:45:22 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-08 00:45:49 +0200roconnor(~roconnor@host-23-91-186-24.dyn.295.ca)
2021-05-08 00:46:55 +0200corvusdev(~corvusdev@50.212.103.45) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-08 00:46:57 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-08 00:47:23 +0200dolio(~dolio@haskell/developer/dolio)
2021-05-08 00:47:56 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 00:50:52 +0200seven_three(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-05-08 00:51:21 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-08 00:51:46 +0200Codaraxis_(Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-05-08 00:52:17 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-05-08 00:53:46 +0200 <seven_three> I am trying to make a quickcheck generator. `myGen = pure Constructor <*> oneof [pure 8, pure 9, pure 10] <*> lastGen; where lastGen :: Int -> Gen Int; lastGen n = chooseBoundedIntegral (0, n)`.
2021-05-08 00:53:50 +0200 <seven_three> Is there any way that I can pass the result of the middle `oneof` generator to lastGen
2021-05-08 00:54:28 +0200 <seven_three> To be clear I would like to pass 8,9,or 10 to `lastGen` depending on which choice is picked from the `oneof` call
2021-05-08 00:55:01 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-08 00:55:22 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-08 00:55:35 +0200son0p(~ff@181.136.122.143) (Remote host closed the connection)
2021-05-08 00:55:46 +0200stree(~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-08 00:55:54 +0200Codaraxis__(~Codaraxis@92.223.89.164) (Ping timeout: 265 seconds)
2021-05-08 00:56:08 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2021-05-08 00:58:42 +0200apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-05-08 00:58:50 +0200 <seven_three> I thought of using liftIO instance to generate a random number and then wrapping that number into a Gen type but it seems that Gen does not derive MonadIO
2021-05-08 00:59:17 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-08 01:01:55 +0200dolio(~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-08 01:03:03 +0200 <lyxia> seven_three: Gen is a monad, so you can write do { x <- oneof [pure 8, pure 9, pure 10] ; y <- lastGen x ; pure (Constructor x y) }
2021-05-08 01:03:32 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-05-08 01:04:55 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-05-08 01:05:10 +0200son0p(~ff@181.136.122.143)
2021-05-08 01:05:11 +0200 <seven_three> oh I see. That works thank you. I was thinking I need a `Gen a -> a`, thats largely what monads are used for correct?
2021-05-08 01:05:40 +0200 <monochrom> Yes except you worded it wrong.
2021-05-08 01:06:13 +0200 <seven_three> how?
2021-05-08 01:06:37 +0200 <monochrom> "Gen a -> a" is the wrong wording.
2021-05-08 01:06:58 +0200 <seven_three> a -> Gen a?
2021-05-08 01:07:03 +0200 <monochrom> No.
2021-05-08 01:07:25 +0200 <monochrom> Either "Gen (Gen a) -> Gen a" or "Gen a -> (a -> Gen b) -> Gen b".
2021-05-08 01:07:53 +0200 <monochrom> The latter is >>= and is behind do-notation and is the only way you can "pass the result of the middle ... to lastGen".
2021-05-08 01:08:19 +0200 <monochrom> The former is Control.Monad.join and has similar power, just not obvious.
2021-05-08 01:08:26 +0200stree(~stree@68.36.8.116)
2021-05-08 01:08:46 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-05-08 01:08:52 +0200 <monochrom> But note how "Gen (Gen a) -> Gen a" has the same spirit as "Gen a -> a" except actually makes sense.
2021-05-08 01:09:26 +0200Benzi-Junior(~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 265 seconds)
2021-05-08 01:11:12 +0200ADG1089(~aditya@27.58.164.109)
2021-05-08 01:15:37 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-pcfseicosyfeggbs) (Quit: Connection closed for inactivity)
2021-05-08 01:15:43 +0200Synthetica(uid199651@gateway/web/irccloud.com/x-jfnenignxbjtugzo) (Quit: Connection closed for inactivity)
2021-05-08 01:16:49 +0200 <lyxia> has the same spirit ... except less spooky
2021-05-08 01:18:35 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 01:19:12 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-08 01:19:22 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-08 01:19:45 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-08 01:20:11 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-08 01:20:46 +0200dolio(~dolio@haskell/developer/dolio)
2021-05-08 01:22:09 +0200proofofkeags__(~proofofke@205.209.28.54) (Ping timeout: 252 seconds)
2021-05-08 01:22:41 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-08 01:23:50 +0200thc202(~thc202@unaffiliated/thc202) (Quit: thc202)
2021-05-08 01:24:22 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds)
2021-05-08 01:30:05 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-05-08 01:31:11 +0200ADG1089(~aditya@27.58.164.109) (Quit: Konversation terminated!)
2021-05-08 01:31:36 +0200 <monochrom> haha
2021-05-08 01:31:41 +0200son0p(~ff@181.136.122.143) (Remote host closed the connection)
2021-05-08 01:32:12 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-08 01:37:20 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-08 01:37:39 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-08 01:40:06 +0200barzo(~sosal@31.223.55.110)
2021-05-08 01:42:31 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-05-08 01:48:07 +0200ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2021-05-08 01:48:31 +0200 <jackdk> Was there some change in how roles were handled between ghc 8.6.5 and ghc 8.8.1? I cannot build hspec-hedgehog under the former, and can on the latter: cannot match representation of tf-random:System.Random.TF.Gen.TFGen with System.Random.SplitMix.SMGen . This is in stack-land (to fix up someone else's CI), tf-random has a tiny dep footprint and the version of random hasn't changed between snapshots
2021-05-08 01:48:37 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3)
2021-05-08 01:48:39 +0200ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-05-08 01:48:51 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-05-08 01:49:38 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds)
2021-05-08 01:52:52 +0200apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds)
2021-05-08 01:53:03 +0200acidjnk_new2(~acidjnk@p200300d0c72b952810c296d938beffd8.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-05-08 01:53:18 +0200dolio(~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-08 01:53:54 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-08 01:55:00 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-08 01:55:21 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-08 01:56:38 +0200dolio(~dolio@haskell/developer/dolio)
2021-05-08 01:56:43 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-08 01:59:13 +0200carlomagno(~cararell@148.87.23.11) (Quit: Leaving.)
2021-05-08 02:01:22 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds)
2021-05-08 02:01:48 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290)
2021-05-08 02:02:24 +0200Contessa(~Flechette@unaffiliated/sundancertp)
2021-05-08 02:06:29 +0200jacks2(~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Ping timeout))
2021-05-08 02:06:36 +0200 <jackdk> okay, I'm not going crazy. old hspec must use a different internal generator. *shakes fist at stackage* - this is why good bounds matter
2021-05-08 02:07:56 +0200xsperry(~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-05-08 02:12:32 +0200zmijunkie1(~Adium@87.122.216.2)
2021-05-08 02:14:51 +0200rogue_cheddar(~ilich@201.142.185.75.dsl.dyn.telnor.net)
2021-05-08 02:15:39 +0200zmijunkie(~Adium@87.122.209.149) (Ping timeout: 265 seconds)
2021-05-08 02:17:26 +0200notzmv(~zmv@unaffiliated/zmv)
2021-05-08 02:22:42 +0200bennofs__(~quassel@dynamic-089-012-008-221.89.12.pool.telefonica.de)
2021-05-08 02:24:32 +0200mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-05-08 02:26:38 +0200bennofs_(~quassel@dynamic-089-012-144-143.89.12.pool.telefonica.de) (Ping timeout: 268 seconds)
2021-05-08 02:27:16 +0200Guest32623(~textual@zrcout.mskcc.org) (Remote host closed the connection)
2021-05-08 02:30:43 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1)
2021-05-08 02:39:15 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-05-08 02:40:26 +0200Alleria(~textual@2603-7000-3040-0000-ad96-5197-62c5-f0db.res6.spectrum.com)
2021-05-08 02:40:39 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-08 02:40:41 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-05-08 02:40:50 +0200AlleriaGuest63112
2021-05-08 02:42:20 +0200barzo(~sosal@31.223.55.110) (Quit: Leaving)
2021-05-08 02:42:27 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 02:45:03 +0200Guest63112(~textual@2603-7000-3040-0000-ad96-5197-62c5-f0db.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-05-08 02:46:33 +0200Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-05-08 02:46:47 +0200ddellac__(~ddellacos@86.106.143.57)
2021-05-08 02:47:27 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-05-08 02:47:54 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-08 02:48:36 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-05-08 02:50:57 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-08 02:55:46 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
2021-05-08 02:56:20 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-08 02:59:36 +0200machinedgod(~machinedg@24.105.81.50)
2021-05-08 03:00:13 +0200slack1256(~slack1256@200.112.86.100)
2021-05-08 03:00:46 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-05-08 03:01:02 +0200ddellac__(~ddellacos@86.106.143.57) (Remote host closed the connection)
2021-05-08 03:01:08 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-05-08 03:03:21 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-08 03:03:28 +0200alx741(~alx741@181.196.69.254) (Quit: alx741)
2021-05-08 03:05:12 +0200slack1256(~slack1256@200.112.86.100) (Remote host closed the connection)
2021-05-08 03:06:20 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 246 seconds)
2021-05-08 03:08:09 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 03:09:26 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-08 03:09:34 +0200xff0x(~xff0x@2001:1a81:52b7:3500:20e6:b70c:2300:26bf) (Ping timeout: 245 seconds)
2021-05-08 03:10:30 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 03:11:23 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-05-08 03:11:29 +0200xff0x(~xff0x@2001:1a81:52ef:f00:3b4:5891:2b1:24e7)
2021-05-08 03:12:27 +0200slack1256(~slack1256@200.112.86.100)
2021-05-08 03:12:44 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-05-08 03:13:53 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-05-08 03:14:19 +0200 <slack1256> https://pastebin.com/NTaVQAvR
2021-05-08 03:14:46 +0200jakalx(~jakalx@base.jakalx.net)
2021-05-08 03:14:59 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds)
2021-05-08 03:15:04 +0200 <slack1256> How how you folks test/mock an effectful function that uses return type polymorphism?
2021-05-08 03:15:23 +0200 <slack1256> The caller is who specifies the return type.
2021-05-08 03:15:59 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-08 03:16:36 +0200stree(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-05-08 03:17:38 +0200 <slack1256> whom*
2021-05-08 03:17:46 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-05-08 03:18:31 +0200machinedgod(~machinedg@24.105.81.50)
2021-05-08 03:20:07 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-05-08 03:23:59 +0200Feuermagier(~Feuermagi@213.178.26.41)
2021-05-08 03:24:01 +0200alx741(~alx741@181.196.69.254)
2021-05-08 03:24:15 +0200m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 252 seconds)
2021-05-08 03:27:11 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-05-08 03:29:11 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-05-08 03:29:25 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-05-08 03:29:44 +0200stree(~stree@68.36.8.116)
2021-05-08 03:32:32 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 240 seconds)
2021-05-08 03:33:34 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-05-08 03:36:59 +0200minoru_shiraeesh(~shiraeesh@109.166.57.105) (Remote host closed the connection)
2021-05-08 03:37:21 +0200xsperry(~as@unaffiliated/xsperry)
2021-05-08 03:38:37 +0200shiraeeshi(~shiraeesh@109.166.57.105)
2021-05-08 03:39:16 +0200sm2n(~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca) (Ping timeout: 252 seconds)
2021-05-08 03:42:45 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 03:45:03 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-08 03:48:19 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds)
2021-05-08 03:49:47 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!)
2021-05-08 03:49:52 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds)
2021-05-08 03:50:23 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-05-08 03:55:27 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-05-08 03:57:14 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-08 04:03:23 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 246 seconds)
2021-05-08 04:04:04 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-08 04:05:36 +0200drbean_(~drbean@TC210-63-209-214.static.apol.com.tw)
2021-05-08 04:08:49 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds)
2021-05-08 04:13:08 +0200rajivr(uid269651@gateway/web/irccloud.com/x-ckqjpzirevusuqkn)
2021-05-08 04:13:58 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-05-08 04:14:44 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3)
2021-05-08 04:15:03 +0200kderme(2e675c7c@46-92-124.adsl.cyta.gr) (Ping timeout: 240 seconds)
2021-05-08 04:16:19 +0200horatiohb(~horatiohb@104.131.188.69) (Ping timeout: 252 seconds)
2021-05-08 04:19:05 +0200Feuermagier(~Feuermagi@213.178.26.41) (Remote host closed the connection)
2021-05-08 04:19:42 +0200Feuermagier(~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e)
2021-05-08 04:20:00 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-nlcljrukqpuvrydw) (Quit: Connection closed for inactivity)
2021-05-08 04:20:21 +0200Feuermagier(~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection)
2021-05-08 04:20:24 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Read error: Connection reset by peer)
2021-05-08 04:21:36 +0200theDon(~td@muedsl-82-207-238-020.citykom.de) (Ping timeout: 246 seconds)
2021-05-08 04:22:03 +0200Feuermagier(~Feuermagi@213.178.26.41)
2021-05-08 04:23:35 +0200theDon(~td@94.134.91.193)
2021-05-08 04:26:59 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) (Remote host closed the connection)
2021-05-08 04:27:04 +0200 <ukari> I try to run the example/resize in expipiplus1/vulkan and fails. But I am not sure is the example itself wrong or is there something wrong with vulkan driver in my computer. Could anyone test this? https://github.com/expipiplus1/vulkan/tree/master/examples/resize
2021-05-08 04:28:48 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290)
2021-05-08 04:29:38 +0200nibabaa(~nibaba@113.89.235.171)
2021-05-08 04:29:44 +0200 <nibabaa> hello
2021-05-08 04:29:56 +0200FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-05-08 04:29:56 +0200finn_elijaGuest32892
2021-05-08 04:29:56 +0200FinnElijafinn_elija
2021-05-08 04:32:45 +0200Guest32892(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-05-08 04:33:40 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) (Ping timeout: 276 seconds)
2021-05-08 04:33:45 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-08 04:35:02 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 04:37:18 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-08 04:38:05 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 04:38:52 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds)
2021-05-08 04:39:20 +0200viluon(uid453725@gateway/web/irccloud.com/x-mlofrvtxcaynugov) (Quit: Connection closed for inactivity)
2021-05-08 04:39:34 +0200z0k(~user@115.186.169.118)
2021-05-08 04:41:54 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-08 04:42:43 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 260 seconds)
2021-05-08 04:44:31 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 04:46:27 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 265 seconds)
2021-05-08 04:50:24 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290)
2021-05-08 04:50:46 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-wadtyzipnozjfvzt)
2021-05-08 04:52:16 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-08 04:54:27 +0200im590(~im590@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 252 seconds)
2021-05-08 04:55:03 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) (Ping timeout: 250 seconds)
2021-05-08 04:56:47 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-08 05:00:00 +0200Alleria(~textual@2603-7000-3040-0000-ad96-5197-62c5-f0db.res6.spectrum.com)
2021-05-08 05:00:24 +0200AlleriaGuest69742
2021-05-08 05:01:37 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-05-08 05:04:09 +0200Guest69742(~textual@2603-7000-3040-0000-ad96-5197-62c5-f0db.res6.spectrum.com) (Ping timeout: 245 seconds)
2021-05-08 05:07:29 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2021-05-08 05:09:09 +0200slack1256(~slack1256@200.112.86.100) (Remote host closed the connection)
2021-05-08 05:12:11 +0200rogue_cheddar(~ilich@201.142.185.75.dsl.dyn.telnor.net) (Quit: WeeChat 3.1)
2021-05-08 05:14:34 +0200howdoi(uid224@gateway/web/irccloud.com/x-hzckqjwmuxbtspgy) (Quit: Connection closed for inactivity)
2021-05-08 05:22:28 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-08 05:28:42 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds)
2021-05-08 05:29:26 +0200dpl(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-05-08 05:34:46 +0200zyga1(~zyga@185.204.1.185) (Remote host closed the connection)
2021-05-08 05:36:56 +0200M4ndr4gor(~M4ndr4gor@modemcable159.116-21-96.mc.videotron.ca)
2021-05-08 05:37:53 +0200stree(~stree@68.36.8.116) (Ping timeout: 246 seconds)
2021-05-08 05:40:16 +0200electricityZZZZ(~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
2021-05-08 05:41:46 +0200nibabaa(~nibaba@113.89.235.171) (Quit: Leaving)
2021-05-08 05:42:07 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 05:46:11 +0200p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds)
2021-05-08 05:46:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-08 05:48:54 +0200Contessa(~Flechette@unaffiliated/sundancertp) (Quit: Good night!)
2021-05-08 05:51:11 +0200shiraeeshi(~shiraeesh@109.166.57.105) (Ping timeout: 246 seconds)
2021-05-08 05:51:16 +0200stree(~stree@68.36.8.116)
2021-05-08 05:51:22 +0200tummy(~tummy@185.204.1.185)
2021-05-08 05:51:52 +0200zopsi(zopsi@2600:3c00::f03c:91ff:fe14:551f) (Quit: Oops)
2021-05-08 05:52:16 +0200zopsi(~zopsi@irc.dir.ac)
2021-05-08 05:52:58 +0200p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-05-08 05:53:39 +0200typetetris(uid275937@gateway/web/irccloud.com/x-mjjfisuvtdksxyob) (Ping timeout: 260 seconds)
2021-05-08 05:53:51 +0200mcglk(~textual@131.191.49.120)
2021-05-08 05:55:27 +0200typetetris(sid275937@gateway/web/irccloud.com/x-bejapoikvjddtjhs)
2021-05-08 05:55:52 +0200Arahael(~arahael@123-243-38-74.tpgi.com.au) (Ping timeout: 240 seconds)
2021-05-08 05:59:09 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Ping timeout: 245 seconds)
2021-05-08 06:00:32 +0200Rudd0(~Rudd0@185.189.115.103)
2021-05-08 06:09:48 +0200sayola(~vekto@dslb-088-078-152-174.088.078.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2021-05-08 06:20:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-08 06:23:01 +0200M4ndr4gor(~M4ndr4gor@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 252 seconds)
2021-05-08 06:23:01 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-08 06:23:21 +0200Arahael(~arahael@123-243-38-74.tpgi.com.au)
2021-05-08 06:23:33 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds)
2021-05-08 06:25:30 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-05-08 06:25:41 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-05-08 06:27:32 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-05-08 06:30:10 +0200Lycurgus(~niemand@98.4.118.65)
2021-05-08 06:32:11 +0200D4vidHu4ng(~D4vidHu4n@modemcable159.116-21-96.mc.videotron.ca)
2021-05-08 06:32:56 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-05-08 06:39:03 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-05-08 06:39:39 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-08 06:42:43 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-08 06:45:25 +0200vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-05-08 06:46:51 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3)
2021-05-08 06:47:00 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds)
2021-05-08 06:48:36 +0200berberman_(~berberman@unaffiliated/berberman)
2021-05-08 06:48:41 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 06:49:01 +0200berberman(~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds)
2021-05-08 06:49:06 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-05-08 06:52:55 +0200Lycurgus(~niemand@98.4.118.65) (Quit: Exeunt)
2021-05-08 06:53:11 +0200notzmv(~zmv@unaffiliated/zmv)
2021-05-08 06:53:36 +0200alx741(~alx741@181.196.69.254) (Quit: alx741)
2021-05-08 06:54:46 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-05-08 06:56:15 +0200eacameron(uid256985@gateway/web/irccloud.com/x-robbxgykzcgtbyzs) (Quit: Connection closed for inactivity)
2021-05-08 06:56:43 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds)
2021-05-08 06:57:38 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-08 07:02:12 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-05-08 07:10:52 +0200dastomate(~dastomate@0543f40b.skybroadband.com) (Ping timeout: 240 seconds)
2021-05-08 07:12:55 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-08 07:17:34 +0200tummy(~tummy@185.204.1.185) (Remote host closed the connection)
2021-05-08 07:17:41 +0200thongpv87(~thongpv87@27.76.236.94)
2021-05-08 07:19:53 +0200malumore(~malumore@151.62.124.22)
2021-05-08 07:20:52 +0200dean(~user@70-234-192-254.lightspeed.crchtx.sbcglobal.net)
2021-05-08 07:20:57 +0200 <dean> hi
2021-05-08 07:23:41 +0200Shuppiluliuma(~shuppilul@153.33.68.161) (Ping timeout: 240 seconds)
2021-05-08 07:26:11 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-08 07:27:09 +0200 <dean> what is a godo way to search for programming jobs that use Haskell
2021-05-08 07:31:43 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-08 07:32:03 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2021-05-08 07:32:48 +0200 <DigitalKiwi> probably following smdiehl on twitter
2021-05-08 07:33:01 +0200 <DigitalKiwi> (/s)
2021-05-08 07:35:28 +0200 <DigitalKiwi> Uniaika: is the matchmaker ready? how many MKR do i need to use it?
2021-05-08 07:35:39 +0200lep-deletelep_
2021-05-08 07:36:43 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-05-08 07:38:31 +0200july541[m](july541mat@gateway/shell/matrix.org/x-egxyzbtsesmpqvig)
2021-05-08 07:39:18 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de)
2021-05-08 07:39:30 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de) (Client Quit)
2021-05-08 07:40:23 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-wadtyzipnozjfvzt) (Quit: Connection closed for inactivity)
2021-05-08 07:42:11 +0200Guest23831(~Gunni@37.120.211.188)
2021-05-08 07:49:40 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-05-08 07:53:37 +0200dyeplexer(~lol@unaffiliated/terpin)
2021-05-08 07:54:07 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-fwnywpfxxvlrvudf) (Quit: Connection closed for inactivity)
2021-05-08 07:54:16 +0200dyeplexer(~lol@unaffiliated/terpin) (Client Quit)
2021-05-08 07:54:33 +0200dyeplexer(~terpin@unaffiliated/terpin)
2021-05-08 07:58:50 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-08 07:59:11 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2021-05-08 07:59:12 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-08 08:06:22 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de)
2021-05-08 08:06:47 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de) (Client Quit)
2021-05-08 08:10:06 +0200dyeplexer(~terpin@unaffiliated/terpin) (Ping timeout: 268 seconds)
2021-05-08 08:12:15 +0200dean(~user@70-234-192-254.lightspeed.crchtx.sbcglobal.net) (Remote host closed the connection)
2021-05-08 08:12:34 +0200darjeeling_(~darjeelin@122.245.123.138) (Ping timeout: 268 seconds)
2021-05-08 08:12:47 +0200stree(~stree@68.36.8.116)
2021-05-08 08:12:48 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-08 08:16:47 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-05-08 08:17:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-08 08:24:28 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-08 08:24:34 +0200darjeeling_(~darjeelin@122.245.121.138)
2021-05-08 08:29:02 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2021-05-08 08:30:30 +0200D4vidHu4ng(~D4vidHu4n@modemcable159.116-21-96.mc.videotron.ca) (Remote host closed the connection)
2021-05-08 08:43:28 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-05-08 08:43:37 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-08 08:44:38 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-08 08:46:28 +0200Guest97066(~tristan@luna.whatbox.ca) (Quit: -= A click to real life biatches!!! =-)
2021-05-08 08:50:33 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-08 08:50:45 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 08:51:47 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-05-08 08:53:11 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-05-08 08:53:28 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer)
2021-05-08 08:54:37 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-05-08 08:55:17 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-05-08 08:55:23 +0200dyeplexer(~terpin@unaffiliated/terpin)
2021-05-08 08:55:46 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de)
2021-05-08 08:56:37 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-05-08 08:57:11 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de) (Client Quit)
2021-05-08 08:57:26 +0200 <dyeplexer> Cabal seems to run multiple builds in parallel while installing which uses a lot of resources on my system, making it unusable unless I restart. Is it possible to disable the parallel builds?
2021-05-08 08:57:44 +0200 <dyeplexer> *while installing packages
2021-05-08 08:58:45 +0200 <sclv> yes
2021-05-08 09:00:42 +0200 <dyeplexer> how?
2021-05-08 09:00:54 +0200 <sclv> https://cabal.readthedocs.io/en/3.4/cabal-project.html?highlight=parallel#cfg-field-jobs
2021-05-08 09:03:01 +0200Rudd0(~Rudd0@185.189.115.103) (Remote host closed the connection)
2021-05-08 09:03:48 +0200 <dyeplexer> thanks. For some reason its not listed in cabal --help and searches don't really lead you to the docs either
2021-05-08 09:08:43 +0200 <dyeplexer> ah, its used in conjunction with install. That's why it wasn't visible
2021-05-08 09:14:26 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-08 09:17:47 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-08 09:18:29 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-05-08 09:20:01 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds)
2021-05-08 09:20:14 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-05-08 09:21:57 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2021-05-08 09:23:44 +0200__monty__(~toonn@unaffiliated/toonn)
2021-05-08 09:26:21 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-05-08 09:29:03 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-05-08 09:29:09 +0200ram19890(~ram@49.205.84.15)
2021-05-08 09:30:53 +0200kenran(~kenran@i577BCD9A.versanet.de)
2021-05-08 09:31:09 +0200 <tomsmeding> dyeplexer: also the -j argument to cabal install
2021-05-08 09:32:00 +0200 <dyeplexer> yes
2021-05-08 09:32:58 +0200Varis(~Tadas@unaffiliated/varis)
2021-05-08 09:34:13 +0200notzmv(~zmv@unaffiliated/zmv)
2021-05-08 09:41:02 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-08 09:42:16 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 09:46:58 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 276 seconds)
2021-05-08 09:48:32 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-08 09:51:21 +0200lep_lep-delete
2021-05-08 09:53:51 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-nzbednnjnehopylv)
2021-05-08 09:53:51 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 260 seconds)
2021-05-08 09:55:29 +0200s00pcan(~chris@107.181.165.217)
2021-05-08 09:56:02 +0200Codaraxis(Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-05-08 09:56:03 +0200zmijunkie1(~Adium@87.122.216.2) (Quit: Leaving.)
2021-05-08 09:57:11 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-08 09:58:06 +0200tomboy64(~tomboy64@unaffiliated/tomboy64) (Quit: Off to see the wizard.)
2021-05-08 09:58:13 +0200Codaraxis_(Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 260 seconds)
2021-05-08 09:59:23 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2021-05-08 09:59:37 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-05-08 10:00:05 +0200Alleria(~textual@2603-7000-3040-0000-ad96-5197-62c5-f0db.res6.spectrum.com)
2021-05-08 10:00:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-08 10:00:29 +0200AlleriaGuest638
2021-05-08 10:01:07 +0200OscarZ(~oscarz@95.175.104.236) (Ping timeout: 268 seconds)
2021-05-08 10:04:27 +0200Guest638(~textual@2603-7000-3040-0000-ad96-5197-62c5-f0db.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-05-08 10:04:57 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-05-08 10:05:20 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-08 10:09:33 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-05-08 10:13:04 +0200ram19890(~ram@49.205.84.15) (Quit: Konversation terminated!)
2021-05-08 10:13:07 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga)
2021-05-08 10:13:11 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-08 10:14:03 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds)
2021-05-08 10:15:33 +0200LKoen(~LKoen@140.170.9.109.rev.sfr.net)
2021-05-08 10:15:45 +0200 <Uniaika> DigitalKiwi: MKR?
2021-05-08 10:17:33 +0200 <DigitalKiwi> https://www.coinbase.com/price/maker
2021-05-08 10:17:52 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-05-08 10:18:33 +0200bor0(~boro@unaffiliated/boro/x-000000001)
2021-05-08 10:18:48 +0200 <DigitalKiwi> oh no that doesn't even have an affiliate code attached ;(
2021-05-08 10:18:55 +0200doge38(716a6a62@113.106.106.98)
2021-05-08 10:19:10 +0200Synthetica(uid199651@gateway/web/irccloud.com/x-ojemkbhjwhvprcjt)
2021-05-08 10:20:55 +0200stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-05-08 10:21:21 +0200m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-05-08 10:22:05 +0200 <DigitalKiwi> i've got zero referrals ;( i'll never be a millionaire at this rate. ;(
2021-05-08 10:22:35 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 10:24:16 +0200 <Uniaika> hahaha
2021-05-08 10:27:03 +0200doge38(716a6a62@113.106.106.98) (Quit: Connection closed)
2021-05-08 10:27:34 +0200alexander(~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d)
2021-05-08 10:28:03 +0200alexanderGuest39721
2021-05-08 10:30:01 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds)
2021-05-08 10:32:37 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net)
2021-05-08 10:34:07 +0200stree(~stree@68.36.8.116)
2021-05-08 10:40:26 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-05-08 10:41:11 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-05-08 10:44:33 +0200boxscape(54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220)
2021-05-08 10:47:03 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-08 10:48:48 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-05-08 10:50:48 +0200ram19890(~ram@49.205.84.15)
2021-05-08 10:51:40 +0200malumore(~malumore@151.62.124.22) (Ping timeout: 268 seconds)
2021-05-08 10:52:46 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 10:58:34 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-08 10:58:49 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!)
2021-05-08 11:00:02 +0200PotatoHatsue(berbermanp@gateway/shell/matrix.org/x-gflbqnsamcccztbl) (Quit: Idle for 30+ days)
2021-05-08 11:02:37 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds)
2021-05-08 11:03:32 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-08 11:04:35 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-08 11:07:22 +0200Guest23831(~Gunni@37.120.211.188) (Remote host closed the connection)
2021-05-08 11:07:26 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
2021-05-08 11:07:51 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-05-08 11:13:44 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de)
2021-05-08 11:14:02 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de) (Client Quit)
2021-05-08 11:15:53 +0200jakalx(~jakalx@base.jakalx.net)
2021-05-08 11:16:02 +0200drbean_(~drbean@TC210-63-209-214.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-05-08 11:17:09 +0200 <gentauro> c_wraith: so I guess it's fair to assume that "the complete body" is downloaded, but discarded "on client side" right? (httpNobody question)
2021-05-08 11:17:18 +0200 <c_wraith> yes
2021-05-08 11:17:23 +0200 <gentauro> c_wraith: nice
2021-05-08 11:17:37 +0200 <gentauro> cos I'm testing the performance of the server
2021-05-08 11:17:46 +0200 <gentauro> but I don't want to waste time on the client doing the parsing
2021-05-08 11:17:59 +0200 <gentauro> for me the important part it the HTTP status code (200)
2021-05-08 11:20:00 +0200viluon(uid453725@gateway/web/irccloud.com/x-hbgtmzmnpyrxsuay)
2021-05-08 11:22:35 +0200dfkt(~dfkt@185.204.1.185)
2021-05-08 11:25:50 +0200acidjnk_new2(~acidjnk@p200300d0c72b952810c296d938beffd8.dip0.t-ipconnect.de)
2021-05-08 11:26:46 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 240 seconds)
2021-05-08 11:26:51 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-05-08 11:27:05 +0200juuandyy(~juuandyy@90.106.228.121)
2021-05-08 11:27:58 +0200RusAlex(~Chel@unaffiliated/rusalex)
2021-05-08 11:28:42 +0200fendor(~fendor@91.141.1.48.wireless.dyn.drei.com)
2021-05-08 11:30:42 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-kgjwfxjxyduszuqf)
2021-05-08 11:33:00 +0200kristijonas_(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-05-08 11:33:22 +0200kristijonas_(~kristijon@78-56-32-39.static.zebra.lt)
2021-05-08 11:38:44 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-08 11:48:54 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-08 11:50:48 +0200shiraeeshi(~shiraeesh@109.166.57.195)
2021-05-08 11:54:13 +0200plutoniix(~q@node-uhz.pool-125-24.dynamic.totinternet.net)
2021-05-08 11:54:17 +0200antoniotrkdz(2d8b63d4@gateway/web/cgi-irc/kiwiirc.com/ip.45.139.99.212)
2021-05-08 11:57:30 +0200tomsmeding(~tomsmedin@tomsmeding.com) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-08 11:59:14 +0200wei2912(~wei2912@unaffiliated/wei2912)
2021-05-08 11:59:17 +0200tomsmeding(~tomsmedin@tomsmeding.com)
2021-05-08 12:00:35 +0200Rudd0(~Rudd0@185.189.115.103)
2021-05-08 12:03:49 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds)
2021-05-08 12:04:08 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de)
2021-05-08 12:05:12 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de) (Client Quit)
2021-05-08 12:05:29 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de)
2021-05-08 12:05:40 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de) (Client Quit)
2021-05-08 12:06:09 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de)
2021-05-08 12:08:13 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de) (Client Quit)
2021-05-08 12:10:43 +0200marinelli(~marinelli@gateway/tor-sasl/marinelli)
2021-05-08 12:11:19 +0200vonfry(~user@240e:688:3:1010:bbe9:a704:713f:52ae)
2021-05-08 12:12:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-08 12:13:13 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 276 seconds)
2021-05-08 12:14:57 +0200shiraeeshi(~shiraeesh@109.166.57.195) (Ping timeout: 260 seconds)
2021-05-08 12:15:49 +0200kenran(~kenran@i577BCD9A.versanet.de) (Remote host closed the connection)
2021-05-08 12:19:27 +0200bahamas(~lucian@unaffiliated/bahamas)
2021-05-08 12:21:26 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de)
2021-05-08 12:21:32 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de) (Client Quit)
2021-05-08 12:27:09 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-08 12:30:56 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-08 12:31:14 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-08 12:35:53 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 268 seconds)
2021-05-08 12:40:29 +0200gawen(~gawen@movzbl.root.sx) (Quit: cya)
2021-05-08 12:40:50 +0200gawen(~gawen@movzbl.root.sx)
2021-05-08 12:42:01 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-08 12:42:19 +0200stree(~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-08 12:47:39 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-05-08 12:50:21 +0200shiraeeshi(~shiraeesh@109.166.57.195)
2021-05-08 12:50:27 +0200sunyibo(~alex@2a04:52c0:101:443::) ("WeeChat 3.1")
2021-05-08 12:52:12 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de)
2021-05-08 12:52:20 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de) (Client Quit)
2021-05-08 12:54:44 +0200stree(~stree@68.36.8.116)
2021-05-08 12:54:52 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 12:56:11 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-08 12:56:15 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-05-08 12:58:55 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 12:59:19 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-05-08 13:00:54 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-05-08 13:02:07 +0200xff0x(~xff0x@2001:1a81:52ef:f00:3b4:5891:2b1:24e7) (Ping timeout: 250 seconds)
2021-05-08 13:03:25 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds)
2021-05-08 13:03:32 +0200is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds)
2021-05-08 13:04:05 +0200xff0x(~xff0x@141.98.255.146)
2021-05-08 13:05:53 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 246 seconds)
2021-05-08 13:07:32 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-08 13:07:52 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-08 13:10:33 +0200mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 252 seconds)
2021-05-08 13:11:58 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-05-08 13:12:32 +0200shiraeeshi(~shiraeesh@109.166.57.195) (Ping timeout: 240 seconds)
2021-05-08 13:12:49 +0200ukari(~ukari@unaffiliated/ukari)
2021-05-08 13:13:29 +0200xff0x(~xff0x@141.98.255.146) (Ping timeout: 252 seconds)
2021-05-08 13:15:16 +0200z0k(~user@115.186.169.118) (Quit: WeeChat 3.0)
2021-05-08 13:15:17 +0200xff0x(~xff0x@2001:1a81:52ef:f00:3b4:5891:2b1:24e7)
2021-05-08 13:18:12 +0200juuandyy(~juuandyy@90.106.228.121) (Quit: Konversation terminated!)
2021-05-08 13:24:06 +0200bahamas(~lucian@unaffiliated/bahamas)
2021-05-08 13:25:46 +0200EvilMagix(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-05-08 13:25:57 +0200Wamanuz(~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Ping timeout: 252 seconds)
2021-05-08 13:26:36 +0200Wamanuz(~wamanuz@78-70-34-81-no84.tbcn.telia.com)
2021-05-08 13:27:39 +0200wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2021-05-08 13:28:11 +0200jiribenes(~jiribenes@rosa.jiribenes.com) (Ping timeout: 260 seconds)
2021-05-08 13:30:41 +0200Wamanuz2(~wamanuz@78-70-34-81-no84.tbcn.telia.com)
2021-05-08 13:31:05 +0200Wamanuz(~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Read error: Connection reset by peer)
2021-05-08 13:32:06 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2021-05-08 13:34:02 +0200royal_screwup213(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-08 13:35:10 +0200Wamanuz(~wamanuz@78-70-34-81-no84.tbcn.telia.com)
2021-05-08 13:35:35 +0200Wamanuz2(~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Read error: Connection reset by peer)
2021-05-08 13:35:49 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-08 13:35:50 +0200Wamanuz2(~wamanuz@78-70-34-81-no84.tbcn.telia.com)
2021-05-08 13:36:37 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-08 13:37:07 +0200Wamanuz3(~wamanuz@78-70-34-81-no84.tbcn.telia.com)
2021-05-08 13:37:17 +0200Wamanuz(~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Read error: Connection reset by peer)
2021-05-08 13:40:41 +0200Wamanuz2(~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Ping timeout: 240 seconds)
2021-05-08 13:45:47 +0200Rudd0(~Rudd0@185.189.115.103) (Remote host closed the connection)
2021-05-08 13:49:36 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-08 13:50:59 +0200mouseghost(~draco@87-206-9-185.dynamic.chello.pl)
2021-05-08 13:51:00 +0200mouseghost(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-05-08 13:51:00 +0200mouseghost(~draco@wikipedia/desperek)
2021-05-08 13:54:49 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 268 seconds)
2021-05-08 13:57:27 +0200Alleria(~textual@2603-7000-3040-0000-ad96-5197-62c5-f0db.res6.spectrum.com)
2021-05-08 13:57:51 +0200AlleriaGuest6833
2021-05-08 13:59:27 +0200iyefrat(~itai@2a0d:6fc0:7a0:d400:e5ad:4f2b:1fde:b7e5)
2021-05-08 14:02:14 +0200Synthetica(uid199651@gateway/web/irccloud.com/x-ojemkbhjwhvprcjt) (Quit: Connection closed for inactivity)
2021-05-08 14:03:12 +0200drbean_(~drbean@TC210-63-209-150.static.apol.com.tw)
2021-05-08 14:05:55 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-08 14:09:21 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-08 14:11:01 +0200iyefrat(~itai@2a0d:6fc0:7a0:d400:e5ad:4f2b:1fde:b7e5) (Remote host closed the connection)
2021-05-08 14:13:16 +0200vonfry(~user@240e:688:3:1010:bbe9:a704:713f:52ae) (Quit: ERC (IRC client for Emacs 27.1.91))
2021-05-08 14:13:17 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-08 14:15:14 +0200cheater2(~user@unaffiliated/cheater)
2021-05-08 14:16:50 +0200is_null(~jpic@pdpc/supporter/professional/is-null)
2021-05-08 14:17:16 +0200cheater1(~user@unaffiliated/cheater) (Ping timeout: 265 seconds)
2021-05-08 14:18:41 +0200boxscape(54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Ping timeout: 246 seconds)
2021-05-08 14:24:17 +0200urodna(~urodna@unaffiliated/urodna)
2021-05-08 14:25:41 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 246 seconds)
2021-05-08 14:26:03 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds)
2021-05-08 14:29:47 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-08 14:30:22 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-05-08 14:30:26 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-05-08 14:30:42 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290)
2021-05-08 14:34:17 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-05-08 14:35:54 +0200bor0(~boro@unaffiliated/boro/x-000000001) (Quit: Leaving)
2021-05-08 14:40:01 +0200jiribenes(~jiribenes@rosa.jiribenes.com)
2021-05-08 14:42:51 +0200hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 246 seconds)
2021-05-08 14:43:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-08 14:44:33 +0200hyiltiz(~quassel@31.220.5.250)
2021-05-08 14:44:33 +0200hyiltiz(~quassel@31.220.5.250) (Changing host)
2021-05-08 14:44:33 +0200hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-05-08 14:55:58 +0200dpl(~dpl@77-121-78-163.chn.volia.net)
2021-05-08 14:57:00 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 14:58:43 +0200jakalx(~jakalx@base.jakalx.net)
2021-05-08 14:58:49 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-08 15:00:27 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 15:02:48 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 246 seconds)
2021-05-08 15:03:11 +0200stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-05-08 15:03:16 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-05-08 15:04:45 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds)
2021-05-08 15:06:57 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-08 15:09:13 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-08 15:16:07 +0200stree(~stree@68.36.8.116)
2021-05-08 15:16:11 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-08 15:16:41 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-08 15:18:42 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-08 15:19:21 +0200Unigurd(~user@c-xd520f321.cust.hiper.dk)
2021-05-08 15:20:11 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-kgjwfxjxyduszuqf) (Quit: Connection closed for inactivity)
2021-05-08 15:22:51 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-05-08 15:23:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-08 15:24:01 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-05-08 15:24:56 +0200s00pcan(~chris@107.181.165.217) (Ping timeout: 265 seconds)
2021-05-08 15:26:46 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com)
2021-05-08 15:30:06 +0200mrchampion(~mrchampio@38.18.109.23)
2021-05-08 15:30:43 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 15:31:27 +0200howdoi(uid224@gateway/web/irccloud.com/x-utoacenyxykrhmuw)
2021-05-08 15:32:47 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
2021-05-08 15:33:03 +0200Deide(~Deide@217.155.19.23)
2021-05-08 15:33:35 +0200bahamas(~lucian@unaffiliated/bahamas) (Quit: leaving)
2021-05-08 15:33:47 +0200xff0x(~xff0x@2001:1a81:52ef:f00:3b4:5891:2b1:24e7) (Ping timeout: 250 seconds)
2021-05-08 15:34:26 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-08 15:34:30 +0200xff0x(~xff0x@2001:1a81:52ef:f00:8213:5fa0:2f9f:9160)
2021-05-08 15:34:43 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:9024:a632:8b7c:f290) (Ping timeout: 276 seconds)
2021-05-08 15:36:54 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3)
2021-05-08 15:38:19 +0200sedeki(~textual@unaffiliated/sedeki)
2021-05-08 15:38:52 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-08 15:39:48 +0200son0p(~ff@181.136.122.143)
2021-05-08 15:41:16 +0200Shuppiluliuma(~shuppilul@153.33.68.161)
2021-05-08 15:44:52 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-08 15:45:44 +0200fendor_(~fendor@178.165.129.59.wireless.dyn.drei.com)
2021-05-08 15:46:58 +0200machinedgod(~machinedg@24.105.81.50)
2021-05-08 15:48:11 +0200fendor(~fendor@91.141.1.48.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2021-05-08 15:49:25 +0200ADG1089(~aditya@223.226.229.98)
2021-05-08 15:53:59 +0200drbean_(~drbean@TC210-63-209-150.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-05-08 15:55:31 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-08 15:56:51 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Quit: Leaving)
2021-05-08 15:57:21 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-08 15:58:35 +0200seven_three(~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Remote host closed the connection)
2021-05-08 16:04:55 +0200ADG1089(~aditya@223.226.229.98) (Remote host closed the connection)
2021-05-08 16:05:58 +0200ADG1089(~aditya@223.226.229.98)
2021-05-08 16:08:01 +0200acidjnk_new2(~acidjnk@p200300d0c72b952810c296d938beffd8.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-05-08 16:10:22 +0200stree(~stree@68.36.8.116) (Quit: Caught exception)
2021-05-08 16:10:48 +0200stree(~stree@68.36.8.116)
2021-05-08 16:12:06 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-nzbednnjnehopylv) (Quit: Connection closed for inactivity)
2021-05-08 16:17:34 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2021-05-08 16:19:00 +0200renzhi(~renzhi@2607:fa49:6500:bc00::e7b)
2021-05-08 16:19:36 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-08 16:20:39 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-ubodzoficrnipzac)
2021-05-08 16:20:43 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-08 16:20:58 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-08 16:22:06 +0200dpl(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-05-08 16:22:12 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-08 16:25:49 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-08 16:25:58 +0200_Alleria(~AllahuAkb@69.202.254.168) (Ping timeout: 252 seconds)
2021-05-08 16:27:09 +0200gxt(~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds)
2021-05-08 16:28:46 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-05-08 16:29:11 +0200gxt(~gxt@gateway/tor-sasl/gxt)
2021-05-08 16:29:53 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-05-08 16:31:21 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-08 16:32:12 +0200rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-05-08 16:32:25 +0200dpl(~dpl@77-121-78-163.chn.volia.net)
2021-05-08 16:35:32 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-05-08 16:35:43 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-05-08 16:36:01 +0200nut(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-08 16:36:21 +0200acidjnk_new2(~acidjnk@p200300d0c72b952744537a9ba826644f.dip0.t-ipconnect.de)
2021-05-08 16:40:04 +0200thongpv87(~thongpv87@27.76.236.94) (Remote host closed the connection)
2021-05-08 16:40:49 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-05-08 16:41:50 +0200kderme(2e675c7c@46-92-124.adsl.cyta.gr)
2021-05-08 16:42:19 +0200EvilMagix(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds)
2021-05-08 16:44:31 +0200electricityZZZZ(~electrici@157-131-250-97.fiber.dynamic.sonic.net)
2021-05-08 16:44:33 +0200 <Zemyla> Is there any traversal that can use *> or <*? It doesn't seem like it, based on the laws.
2021-05-08 16:45:21 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 16:46:10 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-08 16:46:49 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f)
2021-05-08 16:46:49 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 16:49:18 +0200 <[exa]> Zemyla: what precisely does "use" stand for here?
2021-05-08 16:51:32 +0200 <Zemyla> traverse f xs = something1 f xs *> something2 f xs.
2021-05-08 16:51:41 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-08 16:52:04 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 276 seconds)
2021-05-08 16:54:23 +0200 <[exa]> that actually has a name (some kind of fold I'd say)
2021-05-08 16:57:18 +0200 <Zemyla> I know, but there should be no way a legal traversal can disregard part of its structure.
2021-05-08 16:59:12 +0200kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 268 seconds)
2021-05-08 16:59:20 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-08 16:59:20 +0200kderme(2e675c7c@46-92-124.adsl.cyta.gr) (Quit: Ping timeout (120 seconds))
2021-05-08 17:01:50 +0200kderme(2e675c7c@46-92-124.adsl.cyta.gr)
2021-05-08 17:03:11 +0200sm2n(~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-176.dsl.bell.ca)
2021-05-08 17:04:14 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-08 17:04:46 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 268 seconds)
2021-05-08 17:06:42 +0200ADG1089(~aditya@223.226.229.98) (Remote host closed the connection)
2021-05-08 17:07:01 +0200acidjnk_new2(~acidjnk@p200300d0c72b952744537a9ba826644f.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2021-05-08 17:08:52 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-08 17:13:14 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-08 17:15:34 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-05-08 17:15:57 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-08 17:16:13 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-08 17:16:22 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 17:17:17 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-05-08 17:18:18 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 17:19:00 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) ()
2021-05-08 17:19:22 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-08 17:19:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-08 17:19:58 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-08 17:19:58 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-05-08 17:20:25 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 17:21:25 +0200 <catern> I feel like "interpreter" is a much better name than "catamorphism" or "fold" or "banana" for the concept they refer to, is that sensible? or do I not really understand what "catamorphism" means if I think that?
2021-05-08 17:21:26 +0200pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-05-08 17:21:51 +0200vict(~vict@modemcable159.116-21-96.mc.videotron.ca)
2021-05-08 17:24:06 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds)
2021-05-08 17:24:43 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds)
2021-05-08 17:27:13 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-08 17:32:00 +0200sedeki(~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-08 17:35:21 +0200hexfive(~hexfive@50.35.83.177)
2021-05-08 17:36:31 +0200kristijonas_(~kristijon@78-56-32-39.static.zebra.lt) (Quit: Leaving)
2021-05-08 17:37:00 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-05-08 17:37:46 +0200hexfive(~hexfive@50.35.83.177) (Client Quit)
2021-05-08 17:39:11 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-08 17:40:56 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-05-08 17:41:04 +0200 <monochrom> I know of non-catamorphism interpreters.
2021-05-08 17:42:09 +0200 <monochrom> catamorphism is a definition not a concept.
2021-05-08 17:43:21 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-05-08 17:53:03 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-05-08 17:55:09 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-08 17:56:05 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-05-08 17:56:17 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-08 18:00:27 +0200Rudd0(~Rudd0@185.189.115.108)
2021-05-08 18:01:11 +0200dfkt(~dfkt@185.204.1.185) (Remote host closed the connection)
2021-05-08 18:01:57 +0200corvusdev(~corvusdev@99-151-203-47.lightspeed.snantx.sbcglobal.net)
2021-05-08 18:02:00 +0200chisui(588239e0@mue-88-130-57-224.dsl.tropolys.de)
2021-05-08 18:03:51 +0200kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 260 seconds)
2021-05-08 18:04:30 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-08 18:07:13 +0200Alleria_(~AllahuAkb@2603-7000-3040-0000-6831-3bef-c439-efb8.res6.spectrum.com)
2021-05-08 18:10:46 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-08 18:11:52 +0200snowflake_(~snowflake@gateway/tor-sasl/snowflake) (Remote host closed the connection)
2021-05-08 18:13:43 +0200marinelli(~marinelli@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2021-05-08 18:14:05 +0200marinelli(~marinelli@gateway/tor-sasl/marinelli)
2021-05-08 18:14:35 +0200nut(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-05-08 18:15:12 +0200LKoen(~LKoen@140.170.9.109.rev.sfr.net) (Remote host closed the connection)
2021-05-08 18:17:44 +0200vite(~vite@195.140.213.38)
2021-05-08 18:18:56 +0200stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-05-08 18:21:16 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-08 18:24:01 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3)
2021-05-08 18:26:16 +0200 <zzz> is using bang patterns equivalent to seq or pseq?
2021-05-08 18:26:48 +0200 <geekosaur> the Haskell Report specifies a desugaring to seq
2021-05-08 18:27:17 +0200 <geekosaur> wait, patterns, not the Report
2021-05-08 18:27:24 +0200 <geekosaur> but it still desugars to seq
2021-05-08 18:27:38 +0200 <zzz> understood
2021-05-08 18:28:22 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-08 18:29:42 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-08 18:30:28 +0200 <geekosaur> pseq is specific to parallel processing and is a primitive for http://hackage.haskell.org/package/parallel-3.2.2.0/docs/Control-Parallel-Strategies.html
2021-05-08 18:30:47 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-08 18:30:54 +0200 <geekosaur> it provides ordering guarantees seq doesn't
2021-05-08 18:31:56 +0200stree(~stree@68.36.8.116)
2021-05-08 18:32:10 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3)
2021-05-08 18:34:35 +0200HGMG(~hmsu@101.86.217.58)
2021-05-08 18:35:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-08 18:37:45 +0200 <zzz> got it
2021-05-08 18:46:13 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-08 18:47:57 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-08 18:48:59 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 18:49:58 +0200HGMG(~hmsu@101.86.217.58) ()
2021-05-08 18:53:12 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-08 18:53:16 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-05-08 18:56:40 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de)
2021-05-08 18:57:32 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds)
2021-05-08 18:57:47 +0200bitmagie(~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de) (Client Quit)
2021-05-08 18:58:27 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-08 19:00:09 +0200shiraeeshi(~shiraeesh@109.166.57.192)
2021-05-08 19:03:52 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-05-08 19:08:21 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds)
2021-05-08 19:09:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-08 19:09:53 +0200superstar64(6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net)
2021-05-08 19:10:28 +0200landonf(landonf@mac68k.info) (Excess Flood)
2021-05-08 19:10:46 +0200landonf(landonf@mac68k.info)
2021-05-08 19:17:08 +0200landonf(landonf@mac68k.info) (Excess Flood)
2021-05-08 19:17:46 +0200landonf(landonf@mac68k.info)
2021-05-08 19:19:41 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 19:21:06 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-05-08 19:21:37 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2021-05-08 19:23:01 +0200alx741(~alx741@181.196.69.254)
2021-05-08 19:25:39 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-08 19:26:11 +0200DavidEichmann(~david@156.59.147.147.dyn.plus.net) (Ping timeout: 240 seconds)
2021-05-08 19:26:59 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 19:27:33 +0200jb55(~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds)
2021-05-08 19:28:36 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-08 19:29:50 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-05-08 19:31:07 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-08 19:31:26 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-05-08 19:31:55 +0200electricityZZZZ(~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Ping timeout: 265 seconds)
2021-05-08 19:32:16 +0200neiluj(~jco@91-167-203-101.subs.proxad.net)
2021-05-08 19:32:16 +0200neiluj(~jco@91-167-203-101.subs.proxad.net) (Changing host)
2021-05-08 19:32:16 +0200neiluj(~jco@unaffiliated/neiluj)
2021-05-08 19:32:31 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 260 seconds)
2021-05-08 19:33:03 +0200cmburnett(~Charlie_B@c-73-37-184-31.hsd1.mn.comcast.net)
2021-05-08 19:34:25 +0200jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-05-08 19:34:58 +0200 <cmburnett> Stupid question but what's GHC doing when you reassign a variable with "let"? Wouldn't that be mutable?
2021-05-08 19:35:03 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-08 19:35:37 +0200 <ski> no
2021-05-08 19:35:45 +0200 <ski> there's no variable assignment
2021-05-08 19:36:26 +0200 <ski> `let' introduces a new binding, which will shadow any existing outer binding of an identifier with the same name
2021-05-08 19:36:56 +0200 <maerwald> maybe the question was about what happens in the generated assembly?
2021-05-08 19:37:11 +0200 <ski> also, note that `let' bindings are recursive. so, if you e.g. do `let x = x + 1', then this is a recursive definition (in this case, an infinite loop)
2021-05-08 19:37:25 +0200skilooks at cmburnett
2021-05-08 19:37:41 +0200maerwaldlooks at ski
2021-05-08 19:37:46 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds)
2021-05-08 19:38:00 +0200skilooks everywhere, except at maerwald
2021-05-08 19:38:05 +0200 <maerwald> :D
2021-05-08 19:38:11 +0200 <cmburnett> *** looks in mirror, confused
2021-05-08 19:38:16 +0200 <cmburnett> A bit of both actually! Sorry, new to haskell but I'm more of a low level C guy
2021-05-08 19:38:53 +0200 <maerwald> hmm... I don't know what happens in the generated code, but that's not something you should generally be considered about
2021-05-08 19:39:05 +0200 <cmburnett> Is it essentially just a new variable with a different address, then subsequent references look at the new one?
2021-05-08 19:39:29 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds)
2021-05-08 19:39:34 +0200 <maerwald> I'd even go so far to say that won't help your understanding of the language
2021-05-08 19:39:35 +0200 <monochrom> new variable. shadowing name-wise.
2021-05-08 19:39:47 +0200 <ski> yes .. although i don't think it's that useful to think of it in terms of "address" (of an object) at all. think in terms of values, not (mutable) objects
2021-05-08 19:39:51 +0200DTZUZU(~DTZUZO@207.81.119.43)
2021-05-08 19:39:56 +0200 <Rembane> Values and names.
2021-05-08 19:40:09 +0200 <ski> when the scope of the `let' ends, the outer variable will be visible again
2021-05-08 19:40:13 +0200 <maerwald> The way GHC deals with this case my arbitrarily change
2021-05-08 19:40:33 +0200 <maerwald> important is only the language semantics
2021-05-08 19:40:48 +0200 <ski> > let x = 2 in (let x = 3 in x*x) + x -- `x' is `3' in `x*x', but in the `+ x' part at the end, `x' refers to the outer variable, which is `2'
2021-05-08 19:40:50 +0200 <lambdabot> 11
2021-05-08 19:41:12 +0200 <cmburnett> ah alright that makes sense, thanks!
2021-05-08 19:41:19 +0200 <superstar64> cmburnett forget what an address is, this is a high level language
2021-05-08 19:41:36 +0200 <ski> C also has block scoping with local identifiers shadowing non-local ones
2021-05-08 19:41:39 +0200xff0x(~xff0x@2001:1a81:52ef:f00:8213:5fa0:2f9f:9160) (Ping timeout: 250 seconds)
2021-05-08 19:42:00 +0200 <maerwald> superstar64: heh
2021-05-08 19:42:38 +0200 <superstar64> even in c, your variables might not have address after optimization
2021-05-08 19:42:41 +0200 <monochrom> C is neither low-level nor high-level. C is an attic embarrassment. https://queue.acm.org/detail.cfm?id=3212479
2021-05-08 19:42:43 +0200xff0x(~xff0x@2001:1a81:52ef:f00:5daf:a79:257d:70d5)
2021-05-08 19:43:16 +0200 <monochrom> C was cool in its historical context, but that context doesn't exist any more.
2021-05-08 19:43:36 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-05-08 19:43:46 +0200 <maerwald> don't be a heretic
2021-05-08 19:43:47 +0200 <ski> { int x = 2,y,z; { int x = 2; y = x*x; } z = y + x; } /* this is somewhat similar, in C, to the above Haskell example. `z' will end up having value `11' */
2021-05-08 19:43:56 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 19:43:57 +0200 <ski> cmburnett ^
2021-05-08 19:44:08 +0200 <geekosaur> C was cool when the alternative was MS-BASIC
2021-05-08 19:44:29 +0200DTZUZU(~DTZUZO@207.81.119.43) (Ping timeout: 265 seconds)
2021-05-08 19:44:36 +0200 <Rembane> I dunno about that, I like C as a high level assembler dialect.
2021-05-08 19:44:40 +0200 <maerwald> C is what molds the programmers weak will into a strong, resilient, pain-resistent mind
2021-05-08 19:44:48 +0200 <cmburnett> ... i mean, isn't ghc C based?
2021-05-08 19:45:08 +0200 <monochrom> No.
2021-05-08 19:45:19 +0200 <superstar64> ghc is written in haskell
2021-05-08 19:45:30 +0200 <monochrom> Precisely because C doesn't even do justice to "high-level assembler".
2021-05-08 19:45:31 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-08 19:45:33 +0200 <cmburnett> right but I mean it outputs C I thought
2021-05-08 19:45:33 +0200 <maerwald> we still have a legacy C backend though I think
2021-05-08 19:45:37 +0200 <maerwald> no
2021-05-08 19:45:41 +0200 <geekosaur> parts of the runtime are written in cmm, which is that higher level assembler (and not C0
2021-05-08 19:45:52 +0200 <geekosaur> it used to output C years ago
2021-05-08 19:45:59 +0200 <maerwald> it's legacy
2021-05-08 19:46:04 +0200 <ski> it was a long time since compilation via C was the default
2021-05-08 19:46:28 +0200 <geekosaur> and that C had to be compiled to asm and then a script run over it to make it suitable for use
2021-05-08 19:46:29 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-08 19:46:32 +0200 <monochrom> And when GHC did compile to C, it was not purely that, it had to run a Perl script to rewrite the asm.
2021-05-08 19:46:34 +0200 <maerwald> although there are good reasons to keep C backend (formal verification, for instance)
2021-05-08 19:46:36 +0200 <monochrom> Precisely because C doesn't even do justice to "high-level assembler".
2021-05-08 19:46:40 +0200 <ski> @quote mangler
2021-05-08 19:46:41 +0200 <lambdabot> Pseudonym says: All hail the Evil Mangler!
2021-05-08 19:46:53 +0200rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving)
2021-05-08 19:47:25 +0200snowflake(~snowflake@gateway/tor-sasl/snowflake)
2021-05-08 19:47:29 +0200 <cmburnett> huh, the more you know
2021-05-08 19:47:55 +0200 <monochrom> If it doesn't expose the carry flag it is not high-level assembly.
2021-05-08 19:48:10 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 268 seconds)
2021-05-08 19:48:11 +0200 <cmburnett> it uses the llvm-ir now then?
2021-05-08 19:48:13 +0200 <monochrom> If it doesn't let you manipulate the stack it is not high-level assembly.
2021-05-08 19:48:13 +0200 <superstar64> monochrom, well what other options are there for portable assembly? none of them are as stable and wide spread as c
2021-05-08 19:48:36 +0200 <cmburnett> wait nevermind, cmm right
2021-05-08 19:48:36 +0200rajivr(uid269651@gateway/web/irccloud.com/x-ckqjpzirevusuqkn) (Quit: Connection closed for inactivity)
2021-05-08 19:49:12 +0200 <geekosaur> llvm-ir is one of the possible cmm targets
2021-05-08 19:49:17 +0200 <ski> cmburnett : anyway, unless you're specifically concerned about implementation details (note that your `let' question didn't seem to be about this, but about semantics), you probably should ask about Haskell, not GHC
2021-05-08 19:49:42 +0200 <Rembane> monochrom: Now we're getting into the gray areas. You have to use inline assembly to do all the fun stuff in C, but it's very easy to do so as long as there's only one target platform.
2021-05-08 19:49:51 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-08 19:50:30 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 19:51:07 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-08 19:51:08 +0200 <cmburnett> i was actually concerned mostly with implementation, i've been working on a language/compiler and was curious how it was generally handled
2021-05-08 19:51:17 +0200 <monochrom> Rembane, I would be OK with s/high-level assembly/low-level algol/
2021-05-08 19:51:47 +0200 <monochrom> C is algol but exposes address arithmetic and struct memory layout
2021-05-08 19:51:48 +0200 <superstar64> cmburnett https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/hsc-main
2021-05-08 19:51:58 +0200 <monochrom> That's still not high-level assembly.
2021-05-08 19:52:06 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 19:53:12 +0200 <cmburnett> superstar64: thanks that's super helpful for what i'm trying to do!
2021-05-08 19:53:32 +0200 <superstar64> i'm also making my own programming language
2021-05-08 19:54:40 +0200 <monochrom> But Turbo Pascal exposes struct memory layout too. Even has a pseudo-library-function that lets you talk about 8086 registers. It is possible to write DOS TSRs and device drivers in Turbo Pascal?
2021-05-08 19:54:52 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-08 19:55:04 +0200 <monochrom> Does that suddenly make Turbo Pascal high-level assembly?
2021-05-08 19:55:15 +0200 <monochrom> No. It is only low-level Pascal.
2021-05-08 19:55:16 +0200 <Rembane> With a more algolly syntax than C. :)
2021-05-08 19:55:21 +0200 <ski> cmburnett : it might be useful to first get the basics of the (high-level) semantics under your belt
2021-05-08 19:57:01 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-08 19:57:04 +0200johnw(~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2021-05-08 19:58:20 +0200 <superstar64> cmburnett, if you want, we can talk about my programming language or just programming language design in general on #haskell-offtopic or #proglangdesign
2021-05-08 19:58:31 +0200iyefrat(~itai@2a0d:6fc0:7a0:d400:e5ad:4f2b:1fde:b7e5)
2021-05-08 19:58:33 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-08 19:58:50 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 19:58:58 +0200 <cmburnett> ski: yeah I intend to pick up a textbook and learn more on the intricacies of it and all that sometime soon
2021-05-08 19:59:34 +0200 <cmburnett> yeah I'll pop on over to offtopic, don't want to spam these folks with it
2021-05-08 19:59:42 +0200 <superstar64> haskell is really nice to write a compiler in, pattern matching and hindely milner + typeclasses goes really far
2021-05-08 20:00:37 +0200Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-05-08 20:00:47 +0200jb55(~jb55@gateway/tor-sasl/jb55)
2021-05-08 20:02:21 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2021-05-08 20:04:25 +0200howdoi(uid224@gateway/web/irccloud.com/x-utoacenyxykrhmuw) (Quit: Connection closed for inactivity)
2021-05-08 20:06:31 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-08 20:16:06 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2021-05-08 20:18:01 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-05-08 20:22:05 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 20:22:41 +0200machinedgod(~machinedg@24.105.81.50)
2021-05-08 20:24:48 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 246 seconds)
2021-05-08 20:26:31 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-08 20:29:59 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-08 20:33:10 +0200dyeplexer(~terpin@unaffiliated/terpin) (Read error: Connection reset by peer)
2021-05-08 20:33:11 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-05-08 20:35:43 +0200snowflake(~snowflake@gateway/tor-sasl/snowflake) (Remote host closed the connection)
2021-05-08 20:37:09 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-05-08 20:37:59 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:b560:96a6:3577:528f) (Ping timeout: 260 seconds)
2021-05-08 20:40:36 +0200stree(~stree@68.36.8.116) (Ping timeout: 268 seconds)
2021-05-08 20:41:45 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursa1)
2021-05-08 20:43:20 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-08 20:43:51 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga)
2021-05-08 20:47:10 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 20:48:10 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-05-08 20:50:40 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:922:61df:bf50:e46b)
2021-05-08 20:51:27 +0200cmburnett(~Charlie_B@c-73-37-184-31.hsd1.mn.comcast.net) ()
2021-05-08 20:52:46 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-08 20:53:03 +0200stree(~stree@68.36.8.116)
2021-05-08 20:53:10 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 20:55:59 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-08 20:56:59 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1)
2021-05-08 20:58:06 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-08 21:00:37 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
2021-05-08 21:00:46 +0200snowflake(~snowflake@gateway/tor-sasl/snowflake)
2021-05-08 21:02:00 +0200jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2021-05-08 21:02:25 +0200jb55(~jb55@gateway/tor-sasl/jb55)
2021-05-08 21:02:47 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-05-08 21:03:14 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-08 21:05:42 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:922:61df:bf50:e46b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-08 21:11:32 +0200Unigurd(~user@c-xd520f321.cust.hiper.dk) (Remote host closed the connection)
2021-05-08 21:12:17 +0200pavonia(~user@unaffiliated/siracusa)
2021-05-08 21:14:15 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:f8e2:12eb:1257:978b)
2021-05-08 21:14:21 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-05-08 21:19:50 +0200Feuermagier(~Feuermagi@213.178.26.41) (Remote host closed the connection)
2021-05-08 21:20:08 +0200Feuermagier(~Feuermagi@213.178.26.41)
2021-05-08 21:20:47 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-05-08 21:23:37 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-08 21:24:01 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-08 21:24:57 +0200iyefrat(~itai@2a0d:6fc0:7a0:d400:e5ad:4f2b:1fde:b7e5) (Remote host closed the connection)
2021-05-08 21:28:23 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds)
2021-05-08 21:37:26 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-08 21:38:02 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 21:39:45 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-08 21:40:00 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6)
2021-05-08 21:40:16 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-ubodzoficrnipzac) (Quit: Connection closed for inactivity)
2021-05-08 21:41:36 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-nvxmqndcqoqioqwm)
2021-05-08 21:42:25 +0200Feuermagier(~Feuermagi@213.178.26.41) (Remote host closed the connection)
2021-05-08 21:43:06 +0200Feuermagier(~Feuermagi@213.178.26.41)
2021-05-08 21:43:08 +0200arkho(~ccc@dynamic-acs-24-112-153-241.zoominternet.net)
2021-05-08 21:44:10 +0200 <arkho> Is it possible to create an "alias" for the 'do' keyword?
2021-05-08 21:45:12 +0200 <arkho> Suppose I wanted to do something silly like make it into a unary operator.
2021-05-08 21:45:16 +0200 <[exa]> arkho: that might be hard, but you can 1] use CPP to just #define it, 2] try some TemplateHaskell trickery, 3] check out how they did it with `mdo`
2021-05-08 21:46:44 +0200hc(~hc@fsfe/hc) (Quit: leaving)
2021-05-08 21:48:03 +0200is_null(~jpic@pdpc/supporter/professional/is-null) (Remote host closed the connection)
2021-05-08 21:48:46 +0200iyefrat(~itai@2a0d:6fc0:7a0:d400:e5ad:4f2b:1fde:b7e5)
2021-05-08 21:49:18 +0200iyefrat(~itai@2a0d:6fc0:7a0:d400:e5ad:4f2b:1fde:b7e5) (Remote host closed the connection)
2021-05-08 21:49:51 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-wcgdsdofsuaceqeo)
2021-05-08 21:49:57 +0200 <monochrom> mdo is heavily built into the compiler.
2021-05-08 21:50:30 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-08 21:50:33 +0200C4l4dbolg(~main@ool-18bcd822.dyn.optonline.net)
2021-05-08 21:50:45 +0200 <C4l4dbolg> yellow
2021-05-08 21:51:16 +0200 <arkho> [exa]: Thanks!
2021-05-08 21:52:11 +0200m_shiraeeshi(~shiraeesh@46.34.206.174)
2021-05-08 21:52:50 +0200 <[exa]> arkho: certainly not saying that any of that would be a solution tho. Perhaps let us know what's the "higher level" problem
2021-05-08 21:54:30 +0200shiraeeshi(~shiraeesh@109.166.57.192) (Ping timeout: 265 seconds)
2021-05-08 22:01:52 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-05-08 22:02:44 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-08 22:02:59 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 22:05:11 +0200petersen(~petersen@redhat/juhp) (Ping timeout: 240 seconds)
2021-05-08 22:05:57 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-08 22:06:01 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 22:07:13 +0200petersen(~petersen@redhat/juhp)
2021-05-08 22:10:40 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-08 22:11:04 +0200safe(~safe@unaffiliated/safe)
2021-05-08 22:11:35 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-08 22:13:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-08 22:14:46 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-05-08 22:17:23 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:f8e2:12eb:1257:978b) (Ping timeout: 260 seconds)
2021-05-08 22:17:37 +0200C4l4dbolg(~main@ool-18bcd822.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-08 22:18:16 +0200C4l4dbolg(~main@ool-18bcd822.dyn.optonline.net)
2021-05-08 22:19:56 +0200seven_three(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-05-08 22:22:13 +0200 <seven_three> is it possible with quickcheck to print out a string so the result of running the test is like: `+++ OK, passed 100 tests. - someFunction`
2021-05-08 22:23:29 +0200 <seven_three> up to this point I have been doing this from outside of the property_function being tested
2021-05-08 22:28:07 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2021-05-08 22:30:10 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-08 22:31:05 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-08 22:32:17 +0200hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 252 seconds)
2021-05-08 22:33:00 +0200hyiltiz(~quassel@31.220.5.250)
2021-05-08 22:33:00 +0200hyiltiz(~quassel@31.220.5.250) (Changing host)
2021-05-08 22:33:00 +0200hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-05-08 22:33:28 +0200iyefrat(~itai@2a0d:6fc0:7a0:d400:e5ad:4f2b:1fde:b7e5)
2021-05-08 22:35:51 +0200m_shiraeeshi(~shiraeesh@46.34.206.174) (Remote host closed the connection)
2021-05-08 22:37:02 +0200jao(~jao@pdpc/supporter/professional/jao) (Ping timeout: 265 seconds)
2021-05-08 22:37:51 +0200acidjnk_new2(~acidjnk@p200300d0c72b952744537a9ba826644f.dip0.t-ipconnect.de)
2021-05-08 22:38:29 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-05-08 22:39:54 +0200shiraeeshi(~shiraeesh@46.34.206.174)
2021-05-08 22:39:58 +0200C4l4dbolg(~main@ool-18bcd822.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-08 22:40:59 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-08 22:42:46 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net)
2021-05-08 22:43:00 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 22:43:31 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds)
2021-05-08 22:45:40 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds)
2021-05-08 22:45:46 +0200abrar(~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 268 seconds)
2021-05-08 22:45:47 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-08 22:48:51 +0200shiraeeshi(~shiraeesh@46.34.206.174) (Remote host closed the connection)
2021-05-08 22:49:13 +0200shiraeeshi(~shiraeesh@46.34.206.174)
2021-05-08 22:50:47 +0200shiraeeshi(~shiraeesh@46.34.206.174) (Remote host closed the connection)
2021-05-08 22:51:13 +0200shiraeeshi(~shiraeesh@46.34.206.174)
2021-05-08 22:51:53 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds)
2021-05-08 22:53:51 +0200kderme(2e675c7c@46-92-124.adsl.cyta.gr) (Quit: Connection closed)
2021-05-08 22:54:07 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection)
2021-05-08 22:55:10 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-05-08 22:57:02 +0200corvusdev(~corvusdev@99-151-203-47.lightspeed.snantx.sbcglobal.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-08 22:59:23 +0200abrar(~abrar@static-108-30-103-121.nycmny.fios.verizon.net)
2021-05-08 22:59:56 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6)
2021-05-08 23:00:46 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-08 23:02:28 +0200kiweun(~sheepduck@2607:fea8:2a62:9600::5ac6)
2021-05-08 23:03:51 +0200shiraeeshi(~shiraeesh@46.34.206.174) (Remote host closed the connection)
2021-05-08 23:04:33 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds)
2021-05-08 23:04:37 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection)
2021-05-08 23:05:02 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-08 23:05:14 +0200kiweun(~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection)
2021-05-08 23:05:32 +0200shiraeeshi(~shiraeesh@46.34.206.174)
2021-05-08 23:09:28 +0200malumore(~malumore@151.62.124.22)
2021-05-08 23:10:25 +0200CrazyPython(~crazypyth@98.122.164.118)
2021-05-08 23:12:52 +0200iyefrat(~itai@2a0d:6fc0:7a0:d400:e5ad:4f2b:1fde:b7e5) (Remote host closed the connection)
2021-05-08 23:13:21 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-05-08 23:13:27 +0200stree(~stree@68.36.8.116)
2021-05-08 23:13:52 +0200ollie(519fdcf4@host81-159-220-244.range81-159.btcentralplus.com)
2021-05-08 23:14:04 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-05-08 23:16:20 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6)
2021-05-08 23:18:38 +0200 <ollie> Hi, is anyone able to give me a hand with a quick error?
2021-05-08 23:19:50 +0200refusenick(~user@2601:644:8502:d700::94c9)
2021-05-08 23:20:17 +0200 <refusenick> I asked a question in #haskell-language-server
2021-05-08 23:21:53 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-05-08 23:22:12 +0200alx741(~alx741@181.196.69.254) (Ping timeout: 240 seconds)
2021-05-08 23:26:02 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-08 23:27:23 +0200Guest39721(~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds)
2021-05-08 23:29:13 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection)
2021-05-08 23:30:40 +0200 <juri_> ollie: post a pastebin to it?
2021-05-08 23:30:44 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6)
2021-05-08 23:30:51 +0200 <ollie> https://paste.tomsmeding.com/eSOfRq6A
2021-05-08 23:31:42 +0200 <ollie> the exception at the top, is for line 33
2021-05-08 23:31:56 +0200 <ollie> try _ [] = [], that im missing a pattern match basically
2021-05-08 23:34:05 +0200 <ski> you're missing a case for when `comp xss f' is `False'
2021-05-08 23:35:54 +0200alx741(~alx741@181.196.68.205)
2021-05-08 23:39:04 +0200 <ollie> ski i've added that in but it's not the problem -> https://paste.tomsmeding.com/7wgO1e15 is the exact error
2021-05-08 23:39:57 +0200 <ollie> xss is constant and f is from the generator, so i dont see what case is getting hit that isnt just try _ [] = []
2021-05-08 23:40:04 +0200 <ski> exactly what did you add in ?
2021-05-08 23:40:13 +0200 <ollie> comp _ [] = False
2021-05-08 23:40:31 +0200 <ski> nothing added to `try' ?
2021-05-08 23:40:52 +0200 <ollie> nope
2021-05-08 23:41:07 +0200 <ski> then you're still missing a case in `try'
2021-05-08 23:41:12 +0200 <ollie> Ohh, sorry I see
2021-05-08 23:41:17 +0200 <ollie> what you meant.
2021-05-08 23:41:53 +0200 <ski> (sorry, i was perhaps unclear as to the location a case was missing)
2021-05-08 23:44:20 +0200son0p(~ff@181.136.122.143) (Remote host closed the connection)
2021-05-08 23:46:22 +0200fendor_(~fendor@178.165.129.59.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-05-08 23:47:31 +0200Guest6833(~textual@2603-7000-3040-0000-ad96-5197-62c5-f0db.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-08 23:50:54 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-08 23:52:01 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-08 23:52:12 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-08 23:52:45 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-08 23:53:55 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 276 seconds)
2021-05-08 23:56:53 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 246 seconds)