IRCBrowse

2021/01/30

2021-01-30 00:00:09 +0100phittacus(bklmatrixo@gateway/shell/matrix.org/x-ztdwkqmcxrdlypps) (Client Quit)
2021-01-30 00:00:15 +0100phittacus(bklmatrixo@gateway/shell/matrix.org/x-yravhuokkwqqlmxt)
2021-01-30 00:00:49 +0100wyer(~justin_wy@102.67.49.67) (Ping timeout: 256 seconds)
2021-01-30 00:01:28 +0100jhannah(~jhannah@217.146.82.202)
2021-01-30 00:01:44 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-30 00:01:48 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-01-30 00:02:20 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-01-30 00:02:26 +0100kuribas(~user@ptr-25vy0i7x1o89fpreovl.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-01-30 00:04:14 +0100mozzarella(~sam@unaffiliated/sam113101)
2021-01-30 00:04:14 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 00:04:40 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 00:05:46 +0100wyer(~justin_wy@102.67.49.67)
2021-01-30 00:06:45 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds)
2021-01-30 00:07:30 +0100conal(~conal@192.145.117.109)
2021-01-30 00:09:36 +0100hiroaki(~hiroaki@ip4d167562.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2021-01-30 00:10:27 +0100wyer(~justin_wy@102.67.49.67) (Ping timeout: 256 seconds)
2021-01-30 00:11:48 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-01-30 00:11:50 +0100sakirious(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Quit: The Lounge - https://thelounge.chat)
2021-01-30 00:12:36 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 264 seconds)
2021-01-30 00:12:45 +0100dcoutts__(~duncan@51.186.125.91.dyn.plus.net) (Ping timeout: 240 seconds)
2021-01-30 00:13:07 +0100sakirious(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net)
2021-01-30 00:16:41 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 272 seconds)
2021-01-30 00:19:08 +0100jedws(~jedws@121.209.199.128)
2021-01-30 00:22:08 +0100hendricks44(~mayerpa@200116b822e38400cefaaf58217b7495.dip.versatel-1u1.de) ("WeeChat 3.0")
2021-01-30 00:24:48 +0100hastronauta(~hastronau@ip-103-85-38-61.syd.xi.com.au)
2021-01-30 00:24:55 +0100gioyik(~gioyik@186.118.246.129) (Quit: WeeChat 3.0)
2021-01-30 00:27:00 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 246 seconds)
2021-01-30 00:27:58 +0100vivax3794(~vivax@161.109-247-189.customer.lyse.net) (Quit: WeeChat 3.0)
2021-01-30 00:30:30 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik)
2021-01-30 00:35:43 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 00:36:02 +0100bgamari(~bgamari@72.65.102.166)
2021-01-30 00:37:04 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-01-30 00:37:08 +0100bgamari_(~bgamari@72.65.101.133) (Ping timeout: 256 seconds)
2021-01-30 00:37:12 +0100forgottenone(~forgotten@176.42.24.169) (Quit: Konversation terminated!)
2021-01-30 00:37:22 +0100nineonine(~nineonine@50.216.62.2)
2021-01-30 00:37:42 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 272 seconds)
2021-01-30 00:38:13 +0100renzhi(~renzhi@2607:fa49:6500:6f00::1e43) (Ping timeout: 272 seconds)
2021-01-30 00:39:18 +0100 <orzo> Is there anyway i can get more info about why a package is rejected by cabal's build planner? It says a library "requires build" or fails when i add a constriant at the command line that it be "installed". The failure is "requires installed instance" but I clearly see the library of the correct version in my package db.
2021-01-30 00:39:58 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 256 seconds)
2021-01-30 00:40:25 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-01-30 00:41:55 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 00:42:44 +0100HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2021-01-30 00:43:11 +0100dcoutts(~dcoutts@unaffiliated/dcoutts)
2021-01-30 00:45:09 +0100 <Heffalump> orzo: I guess you've tried -v?
2021-01-30 00:45:38 +0100 <Heffalump> also what kind of build are you doing, a new/v2 build or a v1 build?
2021-01-30 00:45:44 +0100 <orzo> new/v2
2021-01-30 00:46:07 +0100 <Heffalump> so simply having the correct version isn't enough if other dependencies don't line up, right?
2021-01-30 00:48:00 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-01-30 00:48:00 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-01-30 00:48:13 +0100 <orzo> the -v command tells me /usr/bin/pkg-config quit with an error in some entirely unrelated .pc file on my system but this is very likely not the culprit as that would not have changed since last i used the installed library with a cabal build plan
2021-01-30 00:48:45 +0100Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2021-01-30 00:48:59 +0100 <orzo> i'm quite certian the library is entirely unrelated to the current build even with all the indirect dependencies
2021-01-30 00:49:31 +0100 <orzo> correct verison is not enough if the build flags have changed
2021-01-30 00:49:36 +0100mmohammadi9812(~mmohammad@198.12.95.171) (Ping timeout: 240 seconds)
2021-01-30 00:49:41 +0100 <orzo> but cabal is not indicating build flags changed
2021-01-30 00:50:06 +0100 <orzo> that's another question though, because for some things it says the configuration changed, but i wish it would be more specific with regards to a given dependency
2021-01-30 00:50:17 +0100Codaraxis(Codaraxis@gateway/vpn/mullvad/codaraxis) (Read error: Connection reset by peer)
2021-01-30 00:51:11 +0100 <orzo> i think the way most people use cabal is that they just rebuild crap whenever it wants to and don't worry about their package db growing with lots of redundant installs, or they don't install the libs but just build them in the local build folder
2021-01-30 00:51:23 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 00:51:45 +0100 <orzo> i use it with more explicitly maintained environments
2021-01-30 00:51:46 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 00:51:53 +0100 <orzo> so a user package db
2021-01-30 00:52:09 +0100 <orzo> similar to how the v1-install worked
2021-01-30 00:52:16 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 00:52:42 +0100 <orzo> but cabal's vagueness makes my life difficult
2021-01-30 00:52:46 +0100 <Heffalump> so your issue is not a failure per se but that you are trying to understand why it's rebuilding something?
2021-01-30 00:52:53 +0100 <orzo> yes
2021-01-30 00:53:12 +0100 <orzo> when i intend to use an installed library, i woant to know why i cant
2021-01-30 00:53:22 +0100 <Heffalump> I guess what you want then is all the info that feeds into the hash of the package. I don't know what that is but perhaps it's something you can dig into more.
2021-01-30 00:54:15 +0100 <orzo> does that info change often between versions?
2021-01-30 00:54:18 +0100mmohammadi9812(~mmohammad@198.12.95.181)
2021-01-30 00:54:44 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-01-30 00:55:05 +0100 <Heffalump> what do you mean by "between versions"? I'm sure the version number would feed into the hash.
2021-01-30 00:55:09 +0100 <ephemient> every version changes, as well as every change to dependencies
2021-01-30 00:55:15 +0100 <orzo> i mean between versions of cabal
2021-01-30 00:55:37 +0100 <Heffalump> ah - not sure
2021-01-30 00:55:47 +0100 <Heffalump> but if you can find all the inputs you can answer that question :-)
2021-01-30 00:56:32 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2021-01-30 00:57:36 +0100thongpv87(~thongpv87@103.6.151.121) (Quit: leaving)
2021-01-30 00:57:48 +0100 <orzo> so, if i understand, to check if a package meets requirements of the build, it compares a hash of the requirements of the build with a hash of the library's build info?
2021-01-30 00:57:53 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 00:58:17 +0100j3r3my(~jeremym@68-73-116-155.lightspeed.rlghnc.sbcglobal.net) (Quit: Leaving)
2021-01-30 00:58:41 +0100 <Heffalump> I assume so
2021-01-30 00:58:41 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 00:58:52 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 00:59:08 +0100hololeap(~hololeap@unaffiliated/hololeap) (Ping timeout: 265 seconds)
2021-01-30 00:59:25 +0100 <ephemient> hmm. assuming your different cabal versions are using the exact same GHC (because that affects the abi hash)... maybe different cabal versions have different generated code (e.g. the Paths_packagename module). I don't expect that is the case though...
2021-01-30 00:59:50 +0100 <Heffalump> and if the package uses custom setup then the cabal version will certainly matter
2021-01-30 01:00:32 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 01:00:33 +0100dcoutts(~dcoutts@unaffiliated/dcoutts) (Remote host closed the connection)
2021-01-30 01:00:44 +0100wyer(~justin_wy@102.67.49.67)
2021-01-30 01:01:18 +0100 <orzo> i asked a "wrong" verison of cabal to do the build and complained about something and then i went back to the same version of cabal i used to install both the installed libraries and the last working build of the local project
2021-01-30 01:01:57 +0100 <orzo> maybe even running a diff version of cabal on the same machine with the same user will bork everything up
2021-01-30 01:04:48 +0100wyer(~justin_wy@102.67.49.67) (Ping timeout: 246 seconds)
2021-01-30 01:06:25 +0100 <orzo> i notice that ghc can handle -- comments in its environment files but that cabal just fails
2021-01-30 01:06:39 +0100ezrakilty(~ezrakilty@75-172-109-5.tukw.qwest.net)
2021-01-30 01:06:53 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-01-30 01:08:38 +0100 <orzo> are the build-requirements hashes the same as the hashes appearing in the filenames for the installed packages?
2021-01-30 01:09:20 +0100ezrakilty(~ezrakilty@75-172-109-5.tukw.qwest.net) (Remote host closed the connection)
2021-01-30 01:09:44 +0100 <orzo> can ghc or ghc-pkg make those hashes or is it considered internal to cabal?
2021-01-30 01:10:20 +0100thongpv87(~thongpv87@103.6.151.121) (Remote host closed the connection)
2021-01-30 01:10:41 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-01-30 01:13:38 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 01:14:03 +0100hyperisco(~hyperisco@104-195-141-253.cpe.teksavvy.com) (Read error: Connection reset by peer)
2021-01-30 01:14:14 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-01-30 01:15:21 +0100jedws(~jedws@121.209.199.128) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-30 01:16:03 +0100dcoutts__(~duncan@51.186.125.91.dyn.plus.net)
2021-01-30 01:16:52 +0100bennofs__(~quassel@dslb-094-222-083-164.094.222.pools.vodafone-ip.de)
2021-01-30 01:20:25 +0100bennofs_(~quassel@dslb-094-222-051-122.094.222.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-01-30 01:20:36 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 01:21:47 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-30 01:22:34 +0100machinedgod(~machinedg@24.105.81.50)
2021-01-30 01:23:38 +0100alx741(~alx741@186.178.110.196) (Quit: alx741)
2021-01-30 01:25:27 +0100 <orzo> inside the .conf files, there's an "abi" field which is a smaller md5-sized hash that is not the same as that occuring in the filenames
2021-01-30 01:25:50 +0100 <orzo> probably the filenames are a cabal thing and ghc only deals with that smaller abi hash
2021-01-30 01:25:50 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 01:25:57 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 01:26:48 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 260 seconds)
2021-01-30 01:28:05 +0100lawid(~quassel@dslb-090-186-099-081.090.186.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2021-01-30 01:29:04 +0100lawid(~quassel@dslb-090-186-099-081.090.186.pools.vodafone-ip.de)
2021-01-30 01:29:58 +0100banner(~banner@116-255-17-204.ip4.superloop.com)
2021-01-30 01:30:03 +0100banner(~banner@116-255-17-204.ip4.superloop.com) (Read error: Connection reset by peer)
2021-01-30 01:30:24 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 01:30:48 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 01:31:46 +0100ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf)
2021-01-30 01:34:48 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2021-01-30 01:34:54 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-01-30 01:35:28 +0100lawid(~quassel@dslb-090-186-099-081.090.186.pools.vodafone-ip.de) (Quit: lawid)
2021-01-30 01:35:54 +0100dcoutts(~dcoutts@unaffiliated/dcoutts)
2021-01-30 01:37:31 +0100lawid(~quassel@dslb-090-186-099-081.090.186.pools.vodafone-ip.de)
2021-01-30 01:40:33 +0100banner(~banner@116-255-17-204.ip4.superloop.com)
2021-01-30 01:40:33 +0100banner(~banner@116-255-17-204.ip4.superloop.com) (Client Quit)
2021-01-30 01:41:41 +0100thc202(~thc202@unaffiliated/thc202) (Ping timeout: 246 seconds)
2021-01-30 01:42:00 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-01-30 01:42:15 +0100hastronauta(~hastronau@ip-103-85-38-61.syd.xi.com.au) (Ping timeout: 246 seconds)
2021-01-30 01:42:16 +0100vivax(~vivax@161.109-247-189.customer.lyse.net)
2021-01-30 01:45:58 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 01:47:33 +0100gridcommand(~gridcomma@2601:86:600:a2a:fce2:a9fb:ecd7:398e)
2021-01-30 01:48:12 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-01-30 01:48:31 +0100edrx(~Eduardo@2804:56c:d2ec:c100:b9cf:4552:2518:d38c) (Ping timeout: 272 seconds)
2021-01-30 01:49:46 +0100ezrakilty(~ezrakilty@75-172-109-5.tukw.qwest.net)
2021-01-30 01:50:05 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-01-30 01:51:25 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 01:51:29 +0100conal(~conal@192.145.117.109) (Quit: Computer has gone to sleep.)
2021-01-30 01:54:04 +0100acidjnk_new(~acidjnk@p200300d0c704e792e92d97b10635a7de.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2021-01-30 01:54:12 +0100ezrakilty(~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 256 seconds)
2021-01-30 01:55:39 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-01-30 01:55:46 +0100wyer(~justin_wy@102.67.49.67)
2021-01-30 01:56:47 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net) (Quit: Ping timeout (120 seconds))
2021-01-30 01:57:12 +0100carthia(~carthia@gateway/tor-sasl/carthia) (Quit: carthia)
2021-01-30 01:58:22 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-01-30 01:59:58 +0100 <frdg> After running my project with `sudo stack run --allow-different user` I cannot run my project as my normal user without getting this error: http://dpaste.com/4GJQQUBK8
2021-01-30 02:00:02 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 265 seconds)
2021-01-30 02:00:06 +0100wyer(~justin_wy@102.67.49.67) (Ping timeout: 246 seconds)
2021-01-30 02:00:11 +0100 <frdg> I can still run the project fine as root
2021-01-30 02:00:24 +0100dnlkrgr(~dnlkrgr@HSI-KBW-046-005-005-235.hsi8.kabel-badenwuerttemberg.de)
2021-01-30 02:01:00 +0100nfip^(nfip@ip98-184-89-2.mc.at.cox.net) ()
2021-01-30 02:01:44 +0100pavonia(~user@unaffiliated/siracusa)
2021-01-30 02:03:36 +0100hastronauta(~hastronau@ip-103-85-38-61.syd.xi.com.au)
2021-01-30 02:03:36 +0100 <orzo> did you check your user has permissions to your build artifacts
2021-01-30 02:04:09 +0100 <frdg> no
2021-01-30 02:04:25 +0100deviantfero(~deviantfe@190.150.27.58) (Ping timeout: 240 seconds)
2021-01-30 02:04:28 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-01-30 02:05:05 +0100 <frdg> how do I do that?
2021-01-30 02:05:49 +0100 <frdg> everything in the src dir still belongs to my user
2021-01-30 02:07:06 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-01-30 02:07:19 +0100 <orzo> ls -l $(find . -user otheruser)
2021-01-30 02:07:34 +0100 <orzo> where otheruser is whatever that other user was that you used
2021-01-30 02:07:45 +0100cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds)
2021-01-30 02:08:21 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-01-30 02:09:36 +0100 <frdg> yes after `chown -R user .stack` it works thanks
2021-01-30 02:10:04 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 02:10:04 +0100 <frdg> on a seperate note would I overall have less problems if I used cabal?
2021-01-30 02:10:19 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-30 02:10:51 +0100whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-01-30 02:11:58 +0100whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-01-30 02:15:17 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-30 02:16:12 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 268 seconds)
2021-01-30 02:16:28 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-01-30 02:16:45 +0100cyphase(~cyphase@unaffiliated/cyphase)
2021-01-30 02:16:54 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2021-01-30 02:17:04 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 02:18:07 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-01-30 02:19:13 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.1)")
2021-01-30 02:19:21 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 02:19:42 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 246 seconds)
2021-01-30 02:21:14 +0100 <monochrom> "sudo cabal" interprets "sudo" the same way "sudo stack" does. Both sees "HOME=/root" and start putting stuff there. The common assumption of "/usr/local" is wrong.
2021-01-30 02:21:17 +0100gienah(~mwright@gentoo/developer/gienah) (Read error: Connection reset by peer)
2021-01-30 02:21:22 +0100 <monochrom> s/common/popular/
2021-01-30 02:21:26 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net)
2021-01-30 02:23:16 +0100deviantfero(~deviantfe@190.150.27.58)
2021-01-30 02:23:33 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-01-30 02:24:00 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2021-01-30 02:24:03 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net)
2021-01-30 02:29:43 +0100 <inkbottle> So the "free applicative functor" is the left adjoint to some forgetful functor? It is why it is called free?
2021-01-30 02:30:33 +0100 <inkbottle> initially I stumbled on that: "at least use a free applicative functor to ensure that you don’t forget to consume that whitespace".
2021-01-30 02:30:45 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-01-30 02:31:10 +0100dnlkrgr(~dnlkrgr@HSI-KBW-046-005-005-235.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 265 seconds)
2021-01-30 02:31:36 +0100 <inkbottle> Since I've read Paolo Capriotti's article (40%).
2021-01-30 02:31:59 +0100michaljanocko(~michaljan@c-73-94-195-59.hsd1.mn.comcast.net)
2021-01-30 02:32:32 +0100wyer(~justin_wy@102.67.49.67)
2021-01-30 02:33:01 +0100 <c_wraith> anyone know offhand if -XRecursiveDo implies -XMonoLocalBinds?
2021-01-30 02:33:18 +0100deviantfero(~deviantfe@190.150.27.58) (Ping timeout: 260 seconds)
2021-01-30 02:33:20 +0100 <monochrom> I think no.
2021-01-30 02:33:33 +0100 <c_wraith> hmm. wonder why that definition isn't generalizing
2021-01-30 02:34:12 +0100 <monochrom> However, both "x <- ..." and "\x -> ..." monomorphize x, but that has always been true.
2021-01-30 02:34:44 +0100 <c_wraith> oh, that'd do it. RecursiveDo rewrites bound identifiers into a tuple in a lambda
2021-01-30 02:35:09 +0100miguel_clean(~Miguel@89-72-187-203.dynamic.chello.pl) (Quit: Leaving.)
2021-01-30 02:35:11 +0100 <inkbottle> That was the page with the whitespaces and I think there's a follow up, I'm sure I'll soon understand everything (https://ro-che.info/articles/2015-01-02-lexical-analysis)
2021-01-30 02:36:28 +0100blissfulazuline
2021-01-30 02:36:30 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 246 seconds)
2021-01-30 02:36:30 +0100azulineblissful
2021-01-30 02:36:41 +0100deviantfero(~deviantfe@190.150.27.58)
2021-01-30 02:37:16 +0100wyer(~justin_wy@102.67.49.67) (Ping timeout: 256 seconds)
2021-01-30 02:37:56 +0100hastronauta(~hastronau@ip-103-85-38-61.syd.xi.com.au) (Ping timeout: 265 seconds)
2021-01-30 02:39:06 +0100ezrakilty(~ezrakilty@75-172-109-5.tukw.qwest.net)
2021-01-30 02:39:42 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection)
2021-01-30 02:43:48 +0100ezrakilty(~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 264 seconds)
2021-01-30 02:44:12 +0100SwarmCollective(~joseph@cpe-65-31-18-174.insight.res.rr.com)
2021-01-30 02:47:45 +0100michaljanocko(~michaljan@c-73-94-195-59.hsd1.mn.comcast.net) (Quit: leaving)
2021-01-30 02:48:36 +0100deviantfero(~deviantfe@190.150.27.58) (Ping timeout: 264 seconds)
2021-01-30 02:50:44 +0100 <orzo> Since i've never seen it explicitly documented: the cabal search for a .project file searches upwards until it hits either the user home dir or the root. There's apprently no depth limit and it uses System.canonicalizePath to decide the sequence of directories that are considered parents.
2021-01-30 02:52:06 +0100jedws(~jedws@121.209.199.128)
2021-01-30 02:53:05 +0100vivax(~vivax@161.109-247-189.customer.lyse.net) (Remote host closed the connection)
2021-01-30 02:53:32 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-30 02:57:02 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-30 02:58:23 +0100gienah(~mwright@gentoo/developer/gienah)
2021-01-30 02:59:56 +0100wyer(~justin_wy@102.67.49.67)
2021-01-30 02:59:59 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Ping timeout: 268 seconds)
2021-01-30 03:01:16 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 240 seconds)
2021-01-30 03:01:18 +0100ezrakilty(~ezrakilty@75-172-109-5.tukw.qwest.net)
2021-01-30 03:03:48 +0100d3od(~nickmeno3@78-1-67-202.adsl.net.t-com.hr) (Ping timeout: 246 seconds)
2021-01-30 03:03:48 +0100gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-01-30 03:04:02 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-01-30 03:04:04 +0100m0rphism1(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds)
2021-01-30 03:04:16 +0100wyer(~justin_wy@102.67.49.67) (Ping timeout: 240 seconds)
2021-01-30 03:04:20 +0100d3od(~nickmeno3@78-1-83-60.adsl.net.t-com.hr)
2021-01-30 03:04:22 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-01-30 03:04:30 +0100gentauro(~gentauro@unaffiliated/gentauro)
2021-01-30 03:04:32 +0100rajivr(uid269651@gateway/web/irccloud.com/x-pfdcvkknfxipfpyo)
2021-01-30 03:04:43 +0100hastronauta(~hastronau@ip-103-85-38-61.syd.xi.com.au)
2021-01-30 03:06:26 +0100arahael1(~arahael@202-159-160-50.tpgi.com.au)
2021-01-30 03:07:53 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-30 03:08:56 +0100hastronauta(~hastronau@ip-103-85-38-61.syd.xi.com.au) (Ping timeout: 240 seconds)
2021-01-30 03:09:09 +0100Arahael(~arahael@203.166.238.202) (Ping timeout: 265 seconds)
2021-01-30 03:09:23 +0100wyer(~justin_wy@102.67.49.67)
2021-01-30 03:12:52 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 272 seconds)
2021-01-30 03:13:28 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 03:14:08 +0100wyer(~justin_wy@102.67.49.67) (Ping timeout: 272 seconds)
2021-01-30 03:14:08 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 03:14:33 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 03:15:34 +0100wei2912(~wei2912@unaffiliated/wei2912)
2021-01-30 03:17:14 +0100 <orzo> i just discovered --dependency which will let me more explictly tell cabal to use a particular installed package
2021-01-30 03:17:45 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-01-30 03:18:19 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:67bb:10d5:9edb:eaf8:99d3)
2021-01-30 03:18:26 +0100 <orzo> hmm, v2-configure doesn't like it
2021-01-30 03:18:32 +0100wyer(~justin_wy@102.67.49.67)
2021-01-30 03:20:08 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-30 03:20:49 +0100 <SwarmCollective> Oddly, when taking this code directly from the docs: pattern HeadC x <- x:xs where HeadC x = [x] {-# INLINE HeadC #-} I get a parse error on "HeadC" following "INLINE".
2021-01-30 03:21:46 +0100 <SwarmCollective> Are the docs out of date and INLINE pragma can no longer be applied to pattern synonyms?
2021-01-30 03:22:44 +0100deviantfero(~deviantfe@190.150.27.58)
2021-01-30 03:22:45 +0100wyer(~justin_wy@102.67.49.67) (Ping timeout: 240 seconds)
2021-01-30 03:24:25 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 240 seconds)
2021-01-30 03:25:42 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-01-30 03:27:47 +0100wyer(~justin_wy@102.67.49.67)
2021-01-30 03:27:47 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 03:28:09 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 03:28:19 +0100nomad(c6368026@static-198-54-128-38.cust.tzulo.com)
2021-01-30 03:28:37 +0100nomadfakeworldhaskell
2021-01-30 03:29:10 +0100deviantfero(~deviantfe@190.150.27.58) (Ping timeout: 265 seconds)
2021-01-30 03:31:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 03:32:05 +0100wyer(~justin_wy@102.67.49.67) (Ping timeout: 240 seconds)
2021-01-30 03:32:37 +0100xff0x_(~xff0x@2001:1a81:5286:1d00:6fa6:55f6:8098:1b65)
2021-01-30 03:35:02 +0100 <fakeworldhaskell> How silly is it if I want to do game dev with Haskell, or even make a game engine with Haskell?
2021-01-30 03:35:03 +0100 <fakeworldhaskell> I looked up online exhaustively but can't find much helpful resources. I guess OpenGL and the surrounding utilities will be needed. But the Haskell libraries (bindings?) around them look very old and un-maintained, which makes me too scared to proceed.
2021-01-30 03:35:36 +0100xff0x(~xff0x@port-92-193-207-61.dynamic.as20676.net) (Ping timeout: 240 seconds)
2021-01-30 03:35:44 +0100conal(~conal@64.71.133.70)
2021-01-30 03:36:42 +0100 <glguy> fakeworldhaskell, it would be quite an uphill battle. If you want to make a game you'd probably be better served starting with an existing game engine
2021-01-30 03:36:54 +0100 <glguy> as far as opengl bindings, http://hackage.haskell.org/package/gl is worth looking at
2021-01-30 03:37:03 +0100wyer(~justin_wy@102.67.49.67)
2021-01-30 03:39:52 +0100hastronauta(~hastronau@ip-103-85-38-61.syd.xi.com.au)
2021-01-30 03:39:59 +0100hastronauta(~hastronau@ip-103-85-38-61.syd.xi.com.au) ()
2021-01-30 03:40:32 +0100 <dmj`> fakeworldhaskell: have you seen helm ?
2021-01-30 03:40:58 +0100conal_(~conal@198.8.81.211)
2021-01-30 03:41:03 +0100conal(~conal@64.71.133.70) (Ping timeout: 265 seconds)
2021-01-30 03:41:16 +0100wyer(~justin_wy@102.67.49.67) (Ping timeout: 240 seconds)
2021-01-30 03:41:16 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 03:41:18 +0100cocytus(~cocytus@cpe-76-95-48-109.socal.res.rr.com) (Ping timeout: 256 seconds)
2021-01-30 03:41:45 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 03:42:26 +0100 <dmj`> SwarmCollective: do you have the error message?
2021-01-30 03:42:37 +0100 <orzo> fakeworldhaskell: the lambdacube engine is unmaintained, but i've got a project using it currently and have a lot of patches i could offer
2021-01-30 03:42:43 +0100 <dmj`> fakeworldhaskell: @package helm
2021-01-30 03:42:47 +0100 <dmj`> @package helm
2021-01-30 03:42:47 +0100 <lambdabot> https://hackage.haskell.org/package/helm
2021-01-30 03:43:56 +0100 <fakeworldhaskell> glguy By "an existing game engine", did you mean an existing engine written in Haskell, or another lang? I looked up game engines on Haskell wiki, but they are sorted alphabetically, not popularity / usability.
2021-01-30 03:44:56 +0100 <fakeworldhaskell> dmj` I just heard about it. But I can't connect to its website, and the GitHub page says it's archived and looking for co-maintainers. Is it a good idea to still try to proceed?
2021-01-30 03:44:57 +0100 <glguy> I don't think an OpenGL game is a good Haskell project and I'd use a game framework in a different library if my goal was to make a game
2021-01-30 03:45:17 +0100 <glguy> in a different language*
2021-01-30 03:45:31 +0100 <fakeworldhaskell> orzo Do you have the patches stored at some repository?
2021-01-30 03:45:45 +0100raym(~ray@45.64.220.55) (Quit: leaving)
2021-01-30 03:45:57 +0100 <fakeworldhaskell> Clarifying myself, I'm looking to make 3D games.
2021-01-30 03:46:01 +0100raym(~ray@45.64.220.55)
2021-01-30 03:46:45 +0100jespada(~jespada@90.254.242.138) (Ping timeout: 240 seconds)
2021-01-30 03:47:15 +0100 <dmj`> fakeworldhaskell: as glguy says, there are very few games created in Haskell. Albeit not impossible, it requires a level of understanding of the Haskell runtime system that few have. You can use gl (which just FFIs into C), but requiring the consumers of your game engine to use the Haskell heap will make the performance less than ideal.
2021-01-30 03:47:36 +0100 <dmj`> fakeworldhaskell: I do have all of learnopengl.com ported to haskell using gl, but I haven't open sourced it yet
2021-01-30 03:47:59 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-30 03:48:42 +0100 <dmj`> fakeworldhaskell: the Haskell GC, for major garbage collections, is stop the world, so the entire game will pause, this is a non-starter for most game frameworks
2021-01-30 03:49:35 +0100 <dmj`> fakeworldhaskell: you'd have to require your users to allocate all game data in a different heap (C heap), not impossible, just hasn't been done afaik
2021-01-30 03:50:32 +0100 <dmj`> fakeworldhaskell: optimizing Haskell is the law of diminishing returns
2021-01-30 03:50:54 +0100jespada(~jespada@90.254.242.138)
2021-01-30 03:51:19 +0100 <fakeworldhaskell> Yes, I've heard about the GC problem. Looks like it's a big enough roadblock.
2021-01-30 03:51:20 +0100 <fakeworldhaskell> Are the GC and performance problems the main reason that Haskell is not a good fit for games, and people simply choose not to work on this area?
2021-01-30 03:52:12 +0100mmohammadi9812(~mmohammad@198.12.95.181) (Ping timeout: 264 seconds)
2021-01-30 03:54:46 +0100 <dmj`> fakeworldhaskell: you can use Haskell for games, the secret is to keep all the game data in a different heap (the C heap), otherwise you'll be subject to the Haskell rts. Which has a lot of bugs. A low latency GC has been released in the latest GHC release, but I'm not sure it's adequately addressed these problems. Haskell really can't compare with C/C++/Rust in this regard. Haskell is a much better front end language of
2021-01-30 03:54:46 +0100 <dmj`> course, since it's a research project, but it pales in comparison to runtime performance with these languages. If you want to use Haskell, your best bet is to force your users to make Haskell objects that live on the C heap, and even then you'll pay a cost for doing so.
2021-01-30 03:55:22 +0100mmohammadi9812(~mmohammad@198.12.95.171)
2021-01-30 03:55:26 +0100 <dmj`> fakeworldhaskell: unless all functions that operate on this data are also operating on the C heap
2021-01-30 03:55:32 +0100wyer(~justin_wy@102.67.49.67)
2021-01-30 03:56:00 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-30 03:57:15 +0100 <fakeworldhaskell> By "frontend language" did you mean frontend in web dev, or rather a frontend in research?
2021-01-30 03:57:23 +0100 <dmj`> fakeworldhaskell: research
2021-01-30 03:57:46 +0100 <dmj`> fakeworldhaskell: and by frontend I mean lexer, parser, type system. Not RTS, IRs, CodeGen
2021-01-30 03:58:44 +0100 <dmj`> fakeworldhaskell: Your best bet is to fork the Haskell language and use some of the advancements that have been made in whole program optimization (forget Cmm, use LLVM and interprocedural register allocation which mitigates penalties on function calls in code gen).
2021-01-30 03:58:45 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-01-30 03:59:21 +0100Ariakenom(~Ariakenom@2001:9b1:efb:fc00:ac04:c724:9653:efcb) (Quit: Leaving)
2021-01-30 03:59:31 +0100 <dmj`> fakeworldhaskell: otherwise you're staring down 20-30 years of work to understand and then improve upon GHC
2021-01-30 03:59:45 +0100 <dmj`> fakeworldhaskell: and trust me, no fork of GHC has ever been upstreamed into GHC. That's just law.
2021-01-30 04:00:13 +0100wyer(~justin_wy@102.67.49.67) (Ping timeout: 260 seconds)
2021-01-30 04:01:11 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 04:02:27 +0100tromp_(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 04:02:27 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-01-30 04:02:47 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 256 seconds)
2021-01-30 04:03:36 +0100ezrakilty(~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 240 seconds)
2021-01-30 04:03:42 +0100mmmattyx(uid17782@gateway/web/irccloud.com/x-exskxfqxlofzswvf) (Quit: Connection closed for inactivity)
2021-01-30 04:03:54 +0100 <fakeworldhaskell> Okay! I've concluded that atm I'm going to look at something else. Rust Amethyst most likely.
2021-01-30 04:04:10 +0100 <fakeworldhaskell> Btw thanks for answering my questions, people.
2021-01-30 04:04:41 +0100wyer(~justin_wy@102.67.49.67)
2021-01-30 04:04:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-30 04:06:29 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net) ()
2021-01-30 04:08:12 +0100tromp_(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2021-01-30 04:08:45 +0100wyer(~justin_wy@102.67.49.67) (Ping timeout: 240 seconds)
2021-01-30 04:09:41 +0100 <dmj`> fakeworldhaskell: you'll lose some niceties that haskell has to offer, and some safety, you could help innovate in this space, but it would be considered research if you did so
2021-01-30 04:10:02 +0100 <dmj`> fakeworldhaskell: like higher-kinded types
2021-01-30 04:12:51 +0100 <slack1256> I wonder if some linear type guarrantees will tie in the RTS to a "no garbage created on this code". That would help for writing soft-realtime code such as the inner loops of some games.
2021-01-30 04:13:47 +0100drbean(~drbean@TC210-63-209-213.static.apol.com.tw)
2021-01-30 04:13:56 +0100wyer(~justin_wy@102.67.49.67)
2021-01-30 04:16:00 +0100jmtd(~jon@redmars.org)
2021-01-30 04:16:40 +0100Jon(~jon@redmars.org) (Ping timeout: 256 seconds)
2021-01-30 04:16:40 +0100jmtdJon
2021-01-30 04:16:56 +0100Deewiant(~deewiant@de1.ut.deewiant.iki.fi) (Ping timeout: 256 seconds)
2021-01-30 04:17:19 +0100fakeworldhaskell(c6368026@static-198-54-128-38.cust.tzulo.com) (Quit: Connection closed)
2021-01-30 04:17:35 +0100Deewiant(~deewiant@de1.ut.deewiant.iki.fi)
2021-01-30 04:18:05 +0100wyer(~justin_wy@102.67.49.67) (Ping timeout: 240 seconds)
2021-01-30 04:18:05 +0100 <orzo> you guys totally screwed us out of his labours with all that scary talk
2021-01-30 04:19:08 +0100 <orzo> let'm get in for a penny before charging the pound, man
2021-01-30 04:22:38 +0100 <SwarmCollective> ^^^^ :)
2021-01-30 04:23:09 +0100wyer(~justin_wy@102.67.49.67)
2021-01-30 04:23:20 +0100 <slack1256> We are not an enterprise, we don't like to obtain customers lol
2021-01-30 04:25:30 +0100 <slack1256> s/like/lie
2021-01-30 04:26:25 +0100theDon(~td@94.134.91.114) (Ping timeout: 240 seconds)
2021-01-30 04:27:38 +0100wyer(~justin_wy@102.67.49.67) (Ping timeout: 260 seconds)
2021-01-30 04:28:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-30 04:28:23 +0100theDon(~td@muedsl-82-207-238-229.citykom.de)
2021-01-30 04:28:25 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-30 04:29:54 +0100 <dmj`> If he wasn't up for the challenge, we wouldn't have wanted it anways
2021-01-30 04:32:14 +0100jumper149(~jumper149@ip185225.wh.uni-hannover.de) (Quit: WeeChat 3.0)
2021-01-30 04:32:22 +0100wyer(~justin_wy@102.67.49.67)
2021-01-30 04:34:51 +0100 <orzo> shrug, enthusastic attempts inspire later more competent successes. It's more a culture/zeitgeist thing. Get'm hyped and it will come
2021-01-30 04:36:23 +0100 <orzo> let the fresh-faced newbies charge ahead in ignorance and admire them for it
2021-01-30 04:36:25 +0100wyer(~justin_wy@102.67.49.67) (Ping timeout: 240 seconds)
2021-01-30 04:39:37 +0100 <monochrom> As usual, it depends on the person, so why argue.
2021-01-30 04:41:14 +0100Codaraxis__(Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-01-30 04:41:36 +0100wyer(~justin_wy@102.67.49.67)
2021-01-30 04:42:02 +0100FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-01-30 04:42:02 +0100finn_elijaGuest33660
2021-01-30 04:42:02 +0100FinnElijafinn_elija
2021-01-30 04:42:09 +0100 <dmj`> Even Jon Carmack paid homage to Haskell at a QuakeCon conference, moreso because of the benefits of refactorability (via equational reasoning). How have we progressed since then?
2021-01-30 04:42:34 +0100xirhtogal(~lagothrix@unaffiliated/lagothrix)
2021-01-30 04:42:34 +0100lagothrixGuest70546
2021-01-30 04:42:34 +0100Guest70546(~lagothrix@unaffiliated/lagothrix) (Killed (card.freenode.net (Nickname regained by services)))
2021-01-30 04:42:34 +0100xirhtogallagothrix
2021-01-30 04:42:34 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 04:42:40 +0100 <dmj`> s/Jon/John
2021-01-30 04:42:50 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 04:43:51 +0100 <orzo> i don't really think performance is our main issue
2021-01-30 04:44:36 +0100Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 246 seconds)
2021-01-30 04:45:08 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-01-30 04:45:26 +0100Guest33660(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-01-30 04:45:32 +0100 <orzo> get all the game engine basics in a newbie-friendly interface and optimize it later when there's some apps built
2021-01-30 04:47:03 +0100wyer(~justin_wy@102.67.49.67) (Ping timeout: 246 seconds)
2021-01-30 04:47:07 +0100 <monochrom> If our webdev engines on hackage are any history-based indication:
2021-01-30 04:47:31 +0100 <monochrom> our game engines will be so obsessed with dependent typing that no beginner will ever understand.
2021-01-30 04:47:39 +0100 <orzo> heh
2021-01-30 04:47:48 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-01-30 04:48:22 +0100 <slack1256> scotty is still beginner friendly
2021-01-30 04:48:29 +0100 <slack1256> Or am I that out of touch?
2021-01-30 04:49:03 +0100s00pcan(~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection)
2021-01-30 04:49:03 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 04:49:17 +0100 <orzo> maybe the right approach is to start with bindings to a c library and slowly canibalize it
2021-01-30 04:49:21 +0100 <MarcelineVQ> might I suggest tuvok as a dependent spock
2021-01-30 04:49:26 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 04:49:34 +0100 <monochrom> haha
2021-01-30 04:51:04 +0100 <orzo> the c-library fffi disicplin will force newbie-friendliness initially and the type hacking drive will motivate the canibalization
2021-01-30 04:52:49 +0100 <monochrom> C libraries (and therefore bindings that expose the C-ness, so playing to Haskell's weakness not strength) are not automatically beginner-friendly either. For example just look at curl's or ncurses's. They are like great lessons for how to make an API suck, in any language at all.
2021-01-30 04:53:51 +0100 <monochrom> In fact, suck + unlearnable.
2021-01-30 04:54:01 +0100 <dmj`> yea, you'd be pushing hsc2hs and foreign import everywhere, would feel unnatural.
2021-01-30 04:54:05 +0100mmohammadi9812(~mmohammad@198.12.95.171) (Ping timeout: 240 seconds)
2021-01-30 04:54:20 +0100 <dmj`> they'd be onto us at that point
2021-01-30 04:54:24 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-vgspjighzgkfvyvf) (Quit: Connection closed for inactivity)
2021-01-30 04:54:26 +0100 <orzo> heh
2021-01-30 04:55:42 +0100mmohammadi9812(~mmohammad@198.12.95.170)
2021-01-30 04:55:55 +0100jchia1(~jchia@58.32.35.81)
2021-01-30 04:56:56 +0100jchia(~jchia@58.32.70.251) (Ping timeout: 265 seconds)
2021-01-30 04:57:04 +0100 <orzo> how would you rate gi-gtk for newbie-friendliness?
2021-01-30 04:58:21 +0100 <monochrom> It cannot be absolutely friendly because it is large. But the same is true for the C version to begin with.
2021-01-30 04:58:36 +0100 <dmj`> A high 4 ?
2021-01-30 04:59:46 +0100 <monochrom> I don't know how related are gi-gtk and gtk2hs, but gtk2hs did one additional thing (not available in C) that plays to the strength of Haskell concurrency.
2021-01-30 05:00:32 +0100 <dmj`> frag is the farthest we've come in like a ... decade ?
2021-01-30 05:01:02 +0100 <monochrom> You know how, in C, it is so annoying that you just can't issue a gtk command in any random thread, you can only do it in the same thread as the mainloop thread, right?
2021-01-30 05:01:25 +0100 <orzo> sure
2021-01-30 05:01:41 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-30 05:02:02 +0100 <monochrom> So gtk2hs's mainloop wakes up every 0.1 second or something for polling. Here is what it polls:
2021-01-30 05:02:41 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net) (Ping timeout: 248 seconds)
2021-01-30 05:02:41 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 05:02:41 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-01-30 05:02:45 +0100 <monochrom> You can call one of two gtk2hs functions (not available in C, gtk2hs's own addition), they are postGUISync and postGUIAsync.
2021-01-30 05:02:59 +0100 <monochrom> You can call them in any thread you want, no restriction.
2021-01-30 05:03:01 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 05:03:14 +0100Tario(~Tario@201.192.165.173)
2021-01-30 05:03:25 +0100 <orzo> i don't think that exists in gi-gtk
2021-01-30 05:03:44 +0100 <orzo> in gi-gtk, and in gtk in c, the thing to do is an addIdle call
2021-01-30 05:03:57 +0100 <orzo> so your code will occure in the main thread
2021-01-30 05:04:20 +0100 <monochrom> How do they work? You issue "postGUISync <your IO action that contains gtk commands>", or the postGUIAsync variant. Your IO action is sent to an MVar or a message queue, I forgot which.
2021-01-30 05:05:04 +0100 <orzo> hm, well it sounds similar enough to the add-idle pattern
2021-01-30 05:05:19 +0100 <monochrom> The mainloop polls the receiving end of that queue every 0.1 second, and executes the IO action you sent. So your gtk commands are executed in mainloop's thread indeed. But you can send them from any thread!
2021-01-30 05:05:59 +0100 <orzo> you can call teh gtk method to add and idle callback in any thread too, that's what its for
2021-01-30 05:06:08 +0100 <orzo> or glib
2021-01-30 05:06:24 +0100 <orzo> glib/gdk/gtk i don't distinguish
2021-01-30 05:06:41 +0100 <monochrom> And in the case of postGUISync, mainloop additionally sends back a message "done", and postGUISync waits for that reply before returning. So your random thread can wait for a gtk command to finish too!
2021-01-30 05:07:47 +0100 <dmj`> If somebody is looking for help on how to build a game engine, odds are they don't know the problems with existing game engines
2021-01-30 05:08:06 +0100 <orzo> that guy just wanted to make his 3d game in haskell
2021-01-30 05:08:10 +0100Tops2(~Tobias@dyndsl-095-033-095-245.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-01-30 05:08:12 +0100 <monochrom> So while you can say that postGUIAsync is "simply add-idle, that's trivial", postGUISync is a totally new invention on the Haskell side, using Haskell concurrency goodness not found in C, to add value.
2021-01-30 05:08:23 +0100 <monochrom> This is what I call playing to Haskell's strength.
2021-01-30 05:08:50 +0100 <slack1256> TIL: postGUISync is a haskell-level function, not something you do on GTK
2021-01-30 05:08:56 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 05:08:59 +0100 <orzo> yeah, but ordinary bindings to c add-idle let you use a haskell mvar too in gi-gtk
2021-01-30 05:09:10 +0100 <monochrom> I would also say this makes gtk2hs more beginner-friendly that gtk itself. With postGUISync you can just use multi-threading without learning the hard lessons.
2021-01-30 05:10:22 +0100 <orzo> probably
2021-01-30 05:10:49 +0100 <orzo> that's true of most gtk bindings tho
2021-01-30 05:10:53 +0100 <orzo> to different languages
2021-01-30 05:10:58 +0100 <monochrom> To a large extent, every inversion of control is beginner-unfriendly. So for example add-idle.
2021-01-30 05:11:02 +0100 <orzo> it's usually nicer to do gtk in some non-c language
2021-01-30 05:11:15 +0100 <monochrom> postGUISync makes it not look like inversion of control.
2021-01-30 05:12:03 +0100 <orzo> hm, well, it's probably more newbie-friendly than gi-gtk
2021-01-30 05:12:31 +0100 <monochrom> Then again, even with add-idle, add-idle in C is very different from add-idle in Haskell (or any language that gives first-class local functions, really).
2021-01-30 05:12:43 +0100 <orzo> but then, being nearer to the official c docs is a friendly thing too
2021-01-30 05:13:43 +0100 <orzo> a bigger mistake of gi-gtk was their unneccessary fascination with OverloadedLabels
2021-01-30 05:13:51 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
2021-01-30 05:13:51 +0100 <orzo> and their weird way of building without it
2021-01-30 05:14:02 +0100 <slack1256> That's optional. I never use them.
2021-01-30 05:14:26 +0100 <orzo> i don't anymore either
2021-01-30 05:14:35 +0100 <orzo> did you ever try'm?
2021-01-30 05:15:13 +0100 <slack1256> I never understood OverloadedLabels. IIRC they were marketed as a building block for solving the record problem at the time.
2021-01-30 05:15:18 +0100 <orzo> probably teh reason its optional is that they realized their mistake but it was already in their release contract so they wont revert
2021-01-30 05:16:19 +0100 <orzo> overloaded labels are alright source-wise, but the way gi-gtk uses them is apparently too onerous for ghc to have reasonable compile times
2021-01-30 05:16:19 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 05:16:37 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 05:22:56 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-cpfovedqodvwylyp)
2021-01-30 05:24:08 +0100 <dmj`> I wouldn't consider gtk viable for what he wanted
2021-01-30 05:25:34 +0100 <orzo> i've a tool that uses lambdacube to render 3d in a gtk widget
2021-01-30 05:25:40 +0100vs^(vs@ip98-184-89-2.mc.at.cox.net)
2021-01-30 05:25:57 +0100 <orzo> you're probably right i guess, but who knows
2021-01-30 05:26:44 +0100 <orzo> i like putting it in a gui tool kit to use in non-games too
2021-01-30 05:29:04 +0100jil(~user@45.86.162.6) (Read error: Network is unreachable)
2021-01-30 05:33:51 +0100arahael1Arahael
2021-01-30 05:39:29 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 05:41:54 +0100zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-01-30 05:44:27 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-01-30 05:45:04 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 05:46:34 +0100inkbottle(~inkbottle@aaubervilliers-654-1-102-193.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-01-30 05:49:21 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-01-30 05:52:59 +0100 <dolio> Wow, implicit parameters were rebuilt on top of Symbol stuff?
2021-01-30 05:53:42 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 05:54:44 +0100 <glguy> dolio, URL?
2021-01-30 05:54:50 +0100 <dolio> https://gitlab.haskell.org/ghc/ghc/-/wikis/records/overloaded-record-fields/overloaded-labels
2021-01-30 05:56:26 +0100coeus(~coeus@p200300d027104900ea3ef675f73053d5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-01-30 05:58:12 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-01-30 05:58:59 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-30 05:59:13 +0100zaquest(~notzaques@5.128.210.178)
2021-01-30 06:00:10 +0100vikid(~vikid@bba428846.alshamil.net.ae)
2021-01-30 06:01:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 06:01:46 +0100 <glguy> dolio, oh, I thought you meant that they were redoing the implicitparameters implementation using overloadedlables
2021-01-30 06:02:12 +0100 <dolio> No, but apparently it's already similar to the design.
2021-01-30 06:02:20 +0100 <dolio> According to that page, at least.
2021-01-30 06:03:18 +0100 <glguy> I've used them for exactly one project via gi-gtk
2021-01-30 06:03:29 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 256 seconds)
2021-01-30 06:06:00 +0100jedws(~jedws@121.209.199.128) (Ping timeout: 264 seconds)
2021-01-30 06:07:39 +0100jedws(~jedws@121.209.199.128)
2021-01-30 06:08:32 +0100 <dolio> It makes me wonder if you can make it do weird stuff now. Since it's modeled with a type class, can you pack it in a GADT, and get incoherent instance resolution?
2021-01-30 06:09:03 +0100coeus(~coeus@p200300d0272d1700ee0909afd2db7a9e.dip0.t-ipconnect.de)
2021-01-30 06:10:32 +0100 <dolio> Also is the weakness of fundeps essential to not being unsound, since you can give the same implicit parameter different types in different scopes (I think)?
2021-01-30 06:10:32 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 06:10:42 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 06:10:48 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 06:11:06 +0100nineonine(~nineonine@50.216.62.2)
2021-01-30 06:11:12 +0100 <glguy> I'm trying to follow. I don't think OverloadedLabels gives you any new power; it's just a convenient syntax for using the IsLabel class, right?
2021-01-30 06:11:46 +0100 <dolio> The first section of that page is how ImplicitParameters are now implemented in terms of an IP class.
2021-01-30 06:13:36 +0100carlomagno1(~cararell@148.87.23.11) (Ping timeout: 240 seconds)
2021-01-30 06:14:08 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 06:14:18 +0100carlomagno(~cararell@148.87.23.11)
2021-01-30 06:14:18 +0100ixaxaar(~ixaxaar@49.207.210.215)
2021-01-30 06:15:05 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 06:16:07 +0100conal_(~conal@198.8.81.211) (Quit: Computer has gone to sleep.)
2021-01-30 06:16:38 +0100conal(~conal@198.8.81.211)
2021-01-30 06:16:44 +0100 <glguy> I got to "Here is how they work in GHC today." and assumed that wasn't the new thing I was supposed to read :)
2021-01-30 06:17:16 +0100 <dolio> No, that's what I was surprised by. Apparently the way they work is completely different than I thought.
2021-01-30 06:17:16 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 06:17:48 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 06:19:18 +0100 <orzo> From gi-gtk, on :: object -> SignalProxy object info -> HaskellCallbackType info -> m SignalHandlerId
2021-01-30 06:20:32 +0100 <orzo> the object type can hopefully be gleaned by something nearby, but the info type has to be checked against every possible instance of HaskellCallbackType and IsLabel lbl (SignalProxy object info)
2021-01-30 06:20:45 +0100conal(~conal@198.8.81.211) (Ping timeout: 240 seconds)
2021-01-30 06:21:05 +0100 <orzo> i'm not sure exactly what's going on but it's probably some kind of n^2 search
2021-01-30 06:24:17 +0100conal(~conal@107.181.166.167)
2021-01-30 06:25:15 +0100Saukk(~Saukk@83-148-239-3.dynamic.lounea.fi)
2021-01-30 06:25:29 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-01-30 06:28:27 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 272 seconds)
2021-01-30 06:28:51 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-01-30 06:30:03 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-30 06:30:31 +0100howdoi(uid224@gateway/web/irccloud.com/x-gsvjjkahwwdzcfes) (Quit: Connection closed for inactivity)
2021-01-30 06:31:45 +0100 <orzo> maybe they'd have done better with this: on :: obj -> SignalProxy lbl obj -> HaskellCallbackType lbl obj -> m SignalHandlerId
2021-01-30 06:32:30 +0100 <orzo> then widget type and label is enough to resolve everything without this 'info' type complication
2021-01-30 06:34:53 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 272 seconds)
2021-01-30 06:35:46 +0100nineonin_(~nineonine@2604:3d08:7785:9600:1d25:9d82:8276:bb69)
2021-01-30 06:36:23 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net)
2021-01-30 06:36:48 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-easywadpkszgysft) ()
2021-01-30 06:36:53 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:67bb:10d5:9edb:eaf8:99d3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-30 06:37:12 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-30 06:38:37 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 06:39:24 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 246 seconds)
2021-01-30 06:43:48 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2021-01-30 06:44:43 +0100thongpv87(~thongpv87@103.6.151.121) (Remote host closed the connection)
2021-01-30 06:44:43 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 06:44:47 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-01-30 06:44:53 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 06:45:14 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection)
2021-01-30 06:45:39 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik)
2021-01-30 06:46:04 +0100proteusguy(~proteusgu@cm-58-10-154-202.revip7.asianet.co.th) (Remote host closed the connection)
2021-01-30 06:47:59 +0100proteusguy(~proteusgu@cm-58-10-154-202.revip7.asianet.co.th)
2021-01-30 06:51:58 +0100vs^(vs@ip98-184-89-2.mc.at.cox.net) ()
2021-01-30 07:02:13 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 07:02:46 +0100thongpv87(~thongpv87@103.6.151.121) (Client Quit)
2021-01-30 07:03:13 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 07:05:38 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 07:07:05 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-01-30 07:09:33 +0100ezrakilty(~ezrakilty@75-172-109-5.tukw.qwest.net)
2021-01-30 07:09:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 07:11:51 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8871:969c:a1b7:51fb:bcc1:9ad3)
2021-01-30 07:11:51 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 07:11:59 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 07:12:43 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 3.0)
2021-01-30 07:14:19 +0100ezrakilty(~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 256 seconds)
2021-01-30 07:17:03 +0100__minoru__shirae(~shiraeesh@109.166.58.22)
2021-01-30 07:18:03 +0100catt(~r@31.124.181.226)
2021-01-30 07:18:59 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-01-30 07:19:09 +0100xcmw(~textual@dyn-72-33-2-198.uwnet.wisc.edu)
2021-01-30 07:19:33 +0100 <xcmw> Is there a type class that has and, or, always, and never? Or something similar?
2021-01-30 07:19:44 +0100heatsink(~heatsink@2600:1700:bef1:5e10:54b6:e8d3:c70d:8881) (Remote host closed the connection)
2021-01-30 07:20:19 +0100uehhtnefa^(uehhtnefa@ip98-184-89-2.mc.at.cox.net)
2021-01-30 07:20:21 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-01-30 07:23:17 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 07:23:31 +0100 <orzo> as an isomorphism to Bool?
2021-01-30 07:24:19 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-01-30 07:24:25 +0100cfricke(~cfricke@unaffiliated/cfricke) (Client Quit)
2021-01-30 07:24:36 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-01-30 07:25:05 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net) (Ping timeout: 248 seconds)
2021-01-30 07:25:48 +0100__minoru__shirae(~shiraeesh@109.166.58.22) (Ping timeout: 264 seconds)
2021-01-30 07:26:21 +0100cfricke(~cfricke@unaffiliated/cfricke) (Client Quit)
2021-01-30 07:28:10 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-01-30 07:28:12 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2021-01-30 07:28:12 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-01-30 07:28:30 +0100cfricke(~cfricke@unaffiliated/cfricke) (Client Quit)
2021-01-30 07:28:57 +0100 <xcmw> orzo: I had (a -> Bool) in mind
2021-01-30 07:32:15 +0100 <xcmw> and : a -> a -> a ; or : a -> a -> a ; never : a ; always : a
2021-01-30 07:32:15 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 07:32:16 +0100ambiso9(~ambiso@209.182.239.205) (Read error: Connection reset by peer)
2021-01-30 07:32:34 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 07:32:57 +0100ambiso9(~ambiso@209.182.239.205)
2021-01-30 07:33:25 +0100ambiso9(~ambiso@209.182.239.205) (Remote host closed the connection)
2021-01-30 07:33:45 +0100ambiso9(~ambiso@209.182.239.205)
2021-01-30 07:33:51 +0100ambiso9(~ambiso@209.182.239.205) (Remote host closed the connection)
2021-01-30 07:34:14 +0100ambiso9(~ambiso@209.182.239.205)
2021-01-30 07:34:20 +0100ambiso9(~ambiso@209.182.239.205) (Read error: Connection reset by peer)
2021-01-30 07:34:42 +0100ambiso9(~ambiso@209.182.239.205)
2021-01-30 07:34:47 +0100ambiso9(~ambiso@209.182.239.205) (Read error: Connection reset by peer)
2021-01-30 07:35:25 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net) (Ping timeout: 240 seconds)
2021-01-30 07:36:51 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 07:37:13 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: Quit)
2021-01-30 07:37:29 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-30 07:40:51 +0100Varis(~Tadas@unaffiliated/varis)
2021-01-30 07:41:21 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2021-01-30 07:42:24 +0100metreo(~Thunderbi@unaffiliated/metreo) (Ping timeout: 240 seconds)
2021-01-30 07:44:32 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 07:45:26 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-01-30 07:45:31 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 07:46:46 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-01-30 07:47:31 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-01-30 07:47:39 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-01-30 07:48:22 +0100jhannah(~jhannah@217.146.82.202) (Remote host closed the connection)
2021-01-30 07:48:42 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-01-30 07:49:58 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-01-30 07:50:04 +0100__minoru__shirae(~shiraeesh@109.166.58.22)
2021-01-30 07:52:27 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-01-30 07:52:28 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 07:52:40 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 07:54:34 +0100Saukk(~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection)
2021-01-30 07:56:48 +0100_bin(~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 256 seconds)
2021-01-30 07:57:10 +0100_bin(~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net)
2021-01-30 08:01:13 +0100isBEKaml(~isBEKaml@unaffiliated/isbekaml)
2021-01-30 08:01:22 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-30 08:04:42 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 08:04:46 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 08:05:01 +0100larsan1(~larsan@185.204.1.185)
2021-01-30 08:09:45 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 240 seconds)
2021-01-30 08:09:51 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-01-30 08:10:33 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 08:15:06 +0100srk(~sorki@gateway/tor-sasl/sorki) (Ping timeout: 268 seconds)
2021-01-30 08:15:43 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-01-30 08:17:06 +0100srk(~sorki@gateway/tor-sasl/sorki)
2021-01-30 08:20:08 +0100heatsink(~heatsink@2600:1700:bef1:5e10:3d3b:7367:c5a0:7c54)
2021-01-30 08:23:46 +0100kristjansson(sid126207@gateway/web/irccloud.com/x-pgkxpmsipkjnnvft)
2021-01-30 08:23:55 +0100kristjansson(sid126207@gateway/web/irccloud.com/x-pgkxpmsipkjnnvft) (Excess Flood)
2021-01-30 08:24:36 +0100kristjansson(sid126207@gateway/web/irccloud.com/x-lracrfdqvrpafakv)
2021-01-30 08:24:38 +0100heatsink(~heatsink@2600:1700:bef1:5e10:3d3b:7367:c5a0:7c54) (Ping timeout: 264 seconds)
2021-01-30 08:24:45 +0100kristjansson(sid126207@gateway/web/irccloud.com/x-lracrfdqvrpafakv) (Excess Flood)
2021-01-30 08:25:03 +0100thongpv87(~thongpv87@103.6.151.121) (Remote host closed the connection)
2021-01-30 08:25:06 +0100acidjnk_new(~acidjnk@p200300d0c704e724244a7a9812caad6a.dip0.t-ipconnect.de)
2021-01-30 08:25:07 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com)
2021-01-30 08:25:34 +0100kristjansson(sid126207@gateway/web/irccloud.com/x-gusxjkgywpnjnvda)
2021-01-30 08:25:38 +0100kristjansson(sid126207@gateway/web/irccloud.com/x-gusxjkgywpnjnvda) (Excess Flood)
2021-01-30 08:26:08 +0100forgottenone(~forgotten@176.42.24.169)
2021-01-30 08:26:19 +0100kristjansson(sid126207@gateway/web/irccloud.com/x-mfcdmfvjzlkenubv)
2021-01-30 08:26:20 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 08:26:29 +0100kristjansson(sid126207@gateway/web/irccloud.com/x-mfcdmfvjzlkenubv) (Excess Flood)
2021-01-30 08:26:45 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 08:28:22 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 08:30:09 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-30 08:32:24 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 08:33:00 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-01-30 08:34:21 +0100kristjansson(sid126207@gateway/web/irccloud.com/x-wxgcdrvquhgpcypf)
2021-01-30 08:34:31 +0100kristjansson(sid126207@gateway/web/irccloud.com/x-wxgcdrvquhgpcypf) (Excess Flood)
2021-01-30 08:39:09 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-01-30 08:39:16 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com)
2021-01-30 08:39:22 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-01-30 08:40:34 +0100hololeap(~hololeap@unaffiliated/hololeap)
2021-01-30 08:40:34 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-01-30 08:41:19 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-01-30 08:41:39 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-01-30 08:42:47 +0100d3od(~nickmeno3@78-1-83-60.adsl.net.t-com.hr) (Remote host closed the connection)
2021-01-30 08:43:00 +0100d3od(~nickmeno3@78-1-83-60.adsl.net.t-com.hr)
2021-01-30 08:45:45 +0100darjeeling_(~darjeelin@115.215.41.65) (Ping timeout: 246 seconds)
2021-01-30 08:45:48 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 08:50:43 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-01-30 08:51:10 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt)
2021-01-30 08:54:18 +0100ornxka(~ornxka@unaffiliated/ornx) (Ping timeout: 246 seconds)
2021-01-30 08:58:36 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 09:03:00 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 264 seconds)
2021-01-30 09:03:28 +0100darjeeling_(~darjeelin@115.215.41.65)
2021-01-30 09:03:47 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 09:06:03 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-01-30 09:07:03 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 09:07:03 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 09:07:05 +0100__minoru__shirae(~shiraeesh@109.166.58.22) (Ping timeout: 240 seconds)
2021-01-30 09:07:21 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 09:08:56 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-01-30 09:09:06 +0100ornxka(~ornxka@unaffiliated/ornx)
2021-01-30 09:09:23 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-01-30 09:09:59 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-30 09:11:25 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 09:11:25 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-01-30 09:11:40 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-01-30 09:20:56 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-01-30 09:21:49 +0100heatsink(~heatsink@2600:1700:bef1:5e10:3d3b:7367:c5a0:7c54)
2021-01-30 09:21:49 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-01-30 09:22:11 +0100elliott_(~elliott_@172.58.187.60)
2021-01-30 09:22:25 +0100elliott_(~elliott_@172.58.187.60) (Read error: Connection reset by peer)
2021-01-30 09:22:44 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-30 09:26:17 +0100jbayardo1(~jbayardo@70-36-62-51.dyn.novuscom.net)
2021-01-30 09:26:24 +0100heatsink(~heatsink@2600:1700:bef1:5e10:3d3b:7367:c5a0:7c54) (Ping timeout: 258 seconds)
2021-01-30 09:26:25 +0100isBEKaml(~isBEKaml@unaffiliated/isbekaml) (Quit: leaving)
2021-01-30 09:26:26 +0100jbayardo1(~jbayardo@70-36-62-51.dyn.novuscom.net) (Client Quit)
2021-01-30 09:27:30 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 09:29:55 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com)
2021-01-30 09:31:48 +0100mmohammadi9812(~mmohammad@198.12.95.170) (Ping timeout: 264 seconds)
2021-01-30 09:32:26 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-01-30 09:38:44 +0100mmohammadi9812(~mmohammad@198.12.95.171)
2021-01-30 09:40:17 +0100thongpv87(~thongpv87@103.6.151.121) (Remote host closed the connection)
2021-01-30 09:41:13 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-01-30 09:42:38 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-cpfovedqodvwylyp) (Quit: Connection closed for inactivity)
2021-01-30 09:42:43 +0100xcmw(~textual@dyn-72-33-2-198.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-30 09:43:23 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 09:43:56 +0100nineonin_(~nineonine@2604:3d08:7785:9600:1d25:9d82:8276:bb69) (Remote host closed the connection)
2021-01-30 09:44:32 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc)
2021-01-30 09:46:18 +0100arjun(~arjun@160.202.37.231)
2021-01-30 09:46:41 +0100arjunGuest24320
2021-01-30 09:46:48 +0100Varis(~Tadas@unaffiliated/varis)
2021-01-30 09:46:55 +0100Guest24320(~arjun@160.202.37.231) (Client Quit)
2021-01-30 09:47:48 +0100shad0w-(~shad0w-@160.202.37.231)
2021-01-30 09:47:48 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 09:47:57 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 09:48:02 +0100jbayardo(~jbayardo@168.62.213.251)
2021-01-30 09:48:18 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 09:48:20 +0100shad0w-shad0w_
2021-01-30 09:49:04 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc) (Ping timeout: 265 seconds)
2021-01-30 09:50:58 +0100geyaeb(~geyaeb@gateway/tor-sasl/geyaeb) (Remote host closed the connection)
2021-01-30 09:51:17 +0100geyaeb(~geyaeb@gateway/tor-sasl/geyaeb)
2021-01-30 09:52:23 +0100shad0w_shad0w-
2021-01-30 09:52:57 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-01-30 09:55:00 +0100thongpv87(~thongpv87@103.6.151.121) (Remote host closed the connection)
2021-01-30 09:55:12 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 264 seconds)
2021-01-30 09:55:20 +0100cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0)
2021-01-30 09:55:22 +0100pera(~pera@unaffiliated/pera)
2021-01-30 09:55:49 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com)
2021-01-30 09:56:05 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-01-30 09:56:06 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 09:56:46 +0100thongpv87(~thongpv87@103.6.151.121) (Client Quit)
2021-01-30 09:57:02 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 09:57:57 +0100wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2021-01-30 09:59:49 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-01-30 10:00:00 +0100coot(~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl)
2021-01-30 10:02:22 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc)
2021-01-30 10:03:17 +0100wei2912(~wei2912@unaffiliated/wei2912)
2021-01-30 10:03:34 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc) (Remote host closed the connection)
2021-01-30 10:03:39 +0100thongpv87(~thongpv87@103.6.151.121) (Remote host closed the connection)
2021-01-30 10:04:09 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 10:04:37 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc)
2021-01-30 10:05:16 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 10:06:20 +0100dnlkrgr(~dnlkrgr@HSI-KBW-046-005-005-235.hsi8.kabel-badenwuerttemberg.de)
2021-01-30 10:06:39 +0100jbayardo(~jbayardo@168.62.213.251) (Quit: Bye!)
2021-01-30 10:07:39 +0100bgamari(~bgamari@72.65.102.166) (Remote host closed the connection)
2021-01-30 10:07:47 +0100 <idnar> dminuoso: I found out about `instance Monoid b => Monoid (a -> b)` when I did `someFold <> otherFold` without thinking to compose them, and then was like "wait, why did that work?"
2021-01-30 10:08:01 +0100bgamari(~bgamari@72.65.102.166)
2021-01-30 10:08:01 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 10:08:34 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 10:08:54 +0100 <Uniaika> idnar: :D
2021-01-30 10:09:00 +0100 <Uniaika> % :t rotate = drop <> take
2021-01-30 10:09:00 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-01-30 10:09:00 +0100 <yahb> Uniaika: ; <interactive>:1:9: error: parse error on input `='
2021-01-30 10:09:06 +0100 <Uniaika> ugh sure
2021-01-30 10:09:12 +0100 <Uniaika> % :t drop <> take
2021-01-30 10:09:12 +0100 <yahb> Uniaika: Int -> [a] -> [a]
2021-01-30 10:09:27 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc) (Ping timeout: 260 seconds)
2021-01-30 10:12:36 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-01-30 10:13:10 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-01-30 10:13:23 +0100pera(~pera@unaffiliated/pera) (Ping timeout: 256 seconds)
2021-01-30 10:14:35 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-01-30 10:15:32 +0100 <idnar> % True <> False
2021-01-30 10:15:32 +0100 <yahb> idnar: ; <interactive>:73:1: error:; * No instance for (Semigroup Bool) arising from a use of `<>'; * In the expression: True <> False; In an equation for `it': it = True <> False
2021-01-30 10:17:10 +0100jedws(~jedws@121.209.199.128) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-30 10:17:14 +0100 <Uniaika> % asum [True, False]
2021-01-30 10:17:14 +0100 <yahb> Uniaika: ; <interactive>:74:7: error:; * Couldn't match expected type `f a' with actual type `Bool'; * In the expression: True; In the first argument of `asum', namely `[True, False]'; In the expression: asum [True, False]; * Relevant bindings include it :: f a (bound at <interactive>:74:1); <interactive>:74:13: error:; * Couldn't match expected type `f a' with actual type `Bool'; *
2021-01-30 10:17:22 +0100 <Uniaika> ugh of course
2021-01-30 10:17:24 +0100 <Uniaika> silly me
2021-01-30 10:19:54 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 10:24:36 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 10:27:47 +0100pera(~pera@unaffiliated/pera)
2021-01-30 10:28:39 +0100LKoen(~LKoen@107.173.9.109.rev.sfr.net)
2021-01-30 10:30:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 10:31:03 +0100mmohammadi9812(~mmohammad@198.12.95.171) (Ping timeout: 260 seconds)
2021-01-30 10:31:20 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2021-01-30 10:32:07 +0100bgamari(~bgamari@72.65.102.166) (Remote host closed the connection)
2021-01-30 10:32:29 +0100bgamari(~bgamari@72.65.102.166)
2021-01-30 10:34:27 +0100mmohammadi9812(~mmohammad@198.12.95.170)
2021-01-30 10:36:06 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 10:40:38 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-01-30 10:43:12 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc)
2021-01-30 10:46:25 +0100ixaxaar(~ixaxaar@49.207.210.215) (Ping timeout: 240 seconds)
2021-01-30 10:47:24 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 264 seconds)
2021-01-30 10:47:57 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc) (Ping timeout: 260 seconds)
2021-01-30 10:49:12 +0100drbean(~drbean@TC210-63-209-213.static.apol.com.tw) (Ping timeout: 264 seconds)
2021-01-30 10:50:15 +0100sphalerite(~sphalerit@NixOS/user/lheckemann) (Quit: time to fix some sudo!)
2021-01-30 10:51:51 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 10:53:00 +0100 <hololeap> % asum [Nothing, Just True]
2021-01-30 10:53:00 +0100 <yahb> hololeap: Just True
2021-01-30 10:54:04 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Quit: mputz)
2021-01-30 10:54:13 +0100fendor_(~fendor@178.115.130.239.wireless.dyn.drei.com)
2021-01-30 10:56:44 +0100fendor__(~fendor@91.141.3.41.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2021-01-30 10:56:44 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-01-30 10:57:15 +0100fendor(~fendor@91.141.3.41.wireless.dyn.drei.com) (Ping timeout: 258 seconds)
2021-01-30 10:57:26 +0100fendor(~fendor@178.115.130.239.wireless.dyn.drei.com)
2021-01-30 11:05:29 +0100shad0w-(~shad0w-@160.202.37.231) (Read error: Connection reset by peer)
2021-01-30 11:08:44 +0100vikid(~vikid@bba428846.alshamil.net.ae) (Remote host closed the connection)
2021-01-30 11:09:06 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com)
2021-01-30 11:09:09 +0100vikid(~vikid@bba428846.alshamil.net.ae)
2021-01-30 11:13:05 +0100gal1l3o(~galileo@pop.92-184-100-168.mobile.abo.orange.fr)
2021-01-30 11:13:59 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-01-30 11:14:04 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-01-30 11:14:20 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-30 11:15:48 +0100miguel_clean(~Miguel@89-72-187-203.dynamic.chello.pl)
2021-01-30 11:15:49 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 11:16:09 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 11:22:59 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a4c5:7dd7:bfe9:a9d1)
2021-01-30 11:24:56 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-01-30 11:26:04 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds)
2021-01-30 11:27:38 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a4c5:7dd7:bfe9:a9d1) (Ping timeout: 264 seconds)
2021-01-30 11:27:53 +0100Lord_of_Life_Lord_of_Life
2021-01-30 11:28:03 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 11:28:38 +0100gal1l3o(~galileo@pop.92-184-100-168.mobile.abo.orange.fr) ()
2021-01-30 11:31:32 +0100carlomagno(~cararell@148.87.23.11) (Remote host closed the connection)
2021-01-30 11:31:48 +0100danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Read error: Connection reset by peer)
2021-01-30 11:32:01 +0100danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009)
2021-01-30 11:32:53 +0100carlomagno(~cararell@148.87.23.11)
2021-01-30 11:32:53 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-01-30 11:32:57 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8871:969c:a1b7:51fb:bcc1:9ad3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-30 11:33:13 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-cnvcznfmlnpadnoc) (Quit: Connection closed for inactivity)
2021-01-30 11:33:54 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-01-30 11:34:48 +0100petersen(~petersen@redhat/juhp) (Quit: petersen)
2021-01-30 11:35:34 +0100petersen(~petersen@redhat/juhp)
2021-01-30 11:38:40 +0100{abby}(~{abby}@unaffiliated/demhydraz) (Quit: Bye!)
2021-01-30 11:38:41 +0100SquidDev(~SquidDev@autoclave.squiddev.cc) (Quit: Bye!)
2021-01-30 11:39:59 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc)
2021-01-30 11:40:16 +0100revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
2021-01-30 11:41:23 +0100revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2021-01-30 11:41:32 +0100{abby}(~{abby}@unaffiliated/demhydraz)
2021-01-30 11:41:33 +0100SquidDev(~SquidDev@autoclave.squiddev.cc)
2021-01-30 11:44:26 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc) (Ping timeout: 264 seconds)
2021-01-30 11:47:31 +0100coot(~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-01-30 11:49:18 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 11:51:17 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2021-01-30 11:53:45 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 11:59:30 +0100Franciman(~francesco@host-95-235-155-82.retail.telecomitalia.it)
2021-01-30 12:06:37 +0100jneira(501ca940@gateway/web/cgi-irc/kiwiirc.com/ip.80.28.169.64) (Quit: Connection closed)
2021-01-30 12:09:43 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 12:10:58 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-30 12:11:40 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-01-30 12:11:57 +0100xff0x_(~xff0x@2001:1a81:5286:1d00:6fa6:55f6:8098:1b65) (Ping timeout: 260 seconds)
2021-01-30 12:12:41 +0100thongpv87(~thongpv87@103.6.151.121) (Remote host closed the connection)
2021-01-30 12:13:36 +0100MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾)
2021-01-30 12:13:51 +0100xff0x_(xff0x@gateway/vpn/mullvad/xff0x)
2021-01-30 12:13:59 +0100m0rphism1(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-01-30 12:14:11 +0100MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru)
2021-01-30 12:14:16 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 12:20:23 +0100xff0x_(xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 264 seconds)
2021-01-30 12:21:51 +0100sh9(~sh9@softbank060116136158.bbtec.net) (Ping timeout: 272 seconds)
2021-01-30 12:22:04 +0100xff0x_(~xff0x@2001:1a81:5286:1d00:6fa6:55f6:8098:1b65)
2021-01-30 12:23:54 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a4c5:7dd7:bfe9:a9d1)
2021-01-30 12:27:53 +0100sayola(~vekto@dslb-002-201-085-014.002.201.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2021-01-30 12:28:50 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a4c5:7dd7:bfe9:a9d1) (Ping timeout: 264 seconds)
2021-01-30 12:30:10 +0100sphalerite(~sphalerit@NixOS/user/lheckemann)
2021-01-30 12:30:38 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 12:35:16 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 12:39:18 +0100sayola(~vekto@dslb-002-201-085-014.002.201.pools.vodafone-ip.de)
2021-01-30 12:49:32 +0100jamm_(~jamm@unaffiliated/jamm)
2021-01-30 12:51:28 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 12:51:37 +0100xff0x_(~xff0x@2001:1a81:5286:1d00:6fa6:55f6:8098:1b65) (Ping timeout: 260 seconds)
2021-01-30 12:52:18 +0100xff0x_(~xff0x@2001:1a81:5286:1d00:9735:3019:d4e:2b07)
2021-01-30 12:53:15 +0100 <ij> I have a Data.Set with (data, score), where Eq is on the whole strucutre, but Ord on just the score. Would it be possible to delete all instances of (data, X)? Is there some structure that could do that or is keeping that info in the map the only option?
2021-01-30 12:53:59 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-01-30 12:54:35 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-30 12:56:05 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 12:58:48 +0100Saukk(~Saukk@83-148-239-3.dynamic.lounea.fi)
2021-01-30 13:00:02 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-01-30 13:00:32 +0100bogdanp(~bogdanp@188.24.80.165) (Quit: Lost terminal)
2021-01-30 13:00:49 +0100sh9(~sh9@softbank060116136158.bbtec.net)
2021-01-30 13:01:52 +0100 <pavonia> ij: Can't you just use filter?
2021-01-30 13:02:08 +0100 <ij> pavonia, I can, but I'm wondering whether I can do better
2021-01-30 13:02:37 +0100prlCIql6ruclcri(~f9jawUfat@2800:810:514:e7:987f:5088:7420:bc98)
2021-01-30 13:03:32 +0100 <pavonia> Better in what regard?
2021-01-30 13:03:39 +0100 <ij> speed
2021-01-30 13:04:02 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-01-30 13:04:16 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-30 13:04:17 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 13:04:33 +0100 <ij> I'm backtracking, so I execute filter on every nth iteration, which works better than not filtering
2021-01-30 13:04:46 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 13:05:24 +0100shailangsa(~shailangs@host217-35-224-189.range217-35.btcentralplus.com) (Ping timeout: 264 seconds)
2021-01-30 13:06:44 +0100 <pavonia> I don't see a way to do it faster than O(n)
2021-01-30 13:07:09 +0100 <ij> well, removing one element from a set is O(log n)
2021-01-30 13:07:12 +0100 <juri_> I don't suppose anyone but me is working in the field of straight skeletons and projective geometry?
2021-01-30 13:07:12 +0100kciN(~zaba@212.58.119.153)
2021-01-30 13:09:22 +0100 <kciN> Hey, guys! I am just getting started with haskell. Can you recommend some problems like those in projecteuler.net or the book `Etudes for Erlang` but more applicable for haskell?
2021-01-30 13:10:45 +0100 <pavonia> ij: Just to get your right, you are using a custom element type with inconsistent Eq and Ord instances?
2021-01-30 13:11:08 +0100 <ij> I did make them consistent, I just fixed it
2021-01-30 13:11:08 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 13:11:17 +0100 <ij> it eats elements otherwise
2021-01-30 13:11:22 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 13:12:21 +0100 <ij> but I think I just have to store more data to remove only by one field
2021-01-30 13:12:38 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 13:14:59 +0100L29Ah(~L29Ah@unaffiliated/l29ah) (Ping timeout: 264 seconds)
2021-01-30 13:15:10 +0100MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Ping timeout (120 seconds))
2021-01-30 13:15:29 +0100MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru)
2021-01-30 13:16:27 +0100 <xsperry> kciN one commonly recommended tutorial has excercises.. but I can't recall its name. maybe someone else can help
2021-01-30 13:17:36 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-01-30 13:18:48 +0100 <kciN> I am reading "Learn You a Haskell for Great Good" rn. Sadly it has no exercises.
2021-01-30 13:20:59 +0100Wuzzy(~Wuzzy@p5790e5cc.dip0.t-ipconnect.de)
2021-01-30 13:22:58 +0100wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2021-01-30 13:23:40 +0100drbean(~drbean@TC210-63-209-203.static.apol.com.tw)
2021-01-30 13:24:05 +0100 <siraben> ,lyah
2021-01-30 13:24:35 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 264 seconds)
2021-01-30 13:24:36 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a4c5:7dd7:bfe9:a9d1)
2021-01-30 13:25:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 13:26:29 +0100Shailangsa_(~shailangs@host86-186-177-234.range86-186.btcentralplus.com)
2021-01-30 13:26:29 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-30 13:29:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a4c5:7dd7:bfe9:a9d1) (Ping timeout: 264 seconds)
2021-01-30 13:30:15 +0100L29Ah(~L29Ah@unaffiliated/l29ah)
2021-01-30 13:31:47 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 264 seconds)
2021-01-30 13:31:48 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 13:31:57 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 13:34:16 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 13:34:46 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-01-30 13:35:56 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-01-30 13:36:33 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-30 13:36:43 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-01-30 13:36:56 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-30 13:37:47 +0100geekosaur(ac3a5481@172.58.84.129)
2021-01-30 13:38:23 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net)
2021-01-30 13:38:23 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 13:38:24 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com)
2021-01-30 13:38:32 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 13:41:20 +0100zincy__(~tom@host86-182-43-65.range86-182.btcentralplus.com) (Read error: No route to host)
2021-01-30 13:42:36 +0100 <Arahael> kciN: I couldn't read that one. The author is pretty crap at English. :(
2021-01-30 13:43:14 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 264 seconds)
2021-01-30 13:43:15 +0100__monty__(~toonn@unaffiliated/toonn)
2021-01-30 13:46:07 +0100Kaeipi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-01-30 13:47:05 +0100Kaeipi(~Kaiepi@47.54.252.148)
2021-01-30 13:50:07 +0100Kaeipi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-01-30 13:50:52 +0100Kaeipi(~Kaiepi@47.54.252.148)
2021-01-30 13:51:37 +0100Kaeipi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-01-30 13:52:10 +0100worc3131(~quassel@2a02:c7f:dcc4:6500:217b:6c7a:eac3:3be9)
2021-01-30 13:52:41 +0100Kaeipi(~Kaiepi@47.54.252.148)
2021-01-30 13:53:07 +0100Kaeipi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-01-30 13:54:00 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 13:54:59 +0100Kaeipi(~Kaiepi@47.54.252.148)
2021-01-30 13:55:07 +0100Kaeipi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-01-30 13:55:42 +0100Arahael(~arahael@202-159-160-50.tpgi.com.au) (Ping timeout: 272 seconds)
2021-01-30 13:55:46 +0100arahael1(~arahael@222.48.220.203.static.comindico.com.au)
2021-01-30 13:55:47 +0100thongpv87(~thongpv87@103.6.151.121) (Remote host closed the connection)
2021-01-30 13:56:27 +0100__minoru__shirae(~shiraeesh@109.166.58.42)
2021-01-30 13:56:53 +0100__minoru__shiraeshiraeeshi
2021-01-30 13:57:28 +0100 <ski> @where CIS194
2021-01-30 13:57:28 +0100 <lambdabot> https://www.seas.upenn.edu/~cis194/spring13/lectures.html
2021-01-30 13:57:44 +0100 <ski> kciN : try those ^ ?
2021-01-30 13:57:49 +0100 <ski> xsperry : thinking of that ?
2021-01-30 13:57:57 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net)
2021-01-30 13:59:14 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-01-30 13:59:43 +0100dnlkrgr(~dnlkrgr@HSI-KBW-046-005-005-235.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 265 seconds)
2021-01-30 14:00:29 +0100 <kciN> ski : thanks
2021-01-30 14:02:06 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-01-30 14:02:28 +0100lotuseater(~user@2a02:908:fbd1:b0a0:e595:d075:f96e:f138) (Remote host closed the connection)
2021-01-30 14:02:46 +0100lotuseater(~user@2a02:908:fbd1:b0a0:d195:6d09:bec7:c1f9)
2021-01-30 14:04:30 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Quit: mputz)
2021-01-30 14:05:59 +0100hekkaidekapus](~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds)
2021-01-30 14:06:37 +0100earldouglas(~james@unaffiliated/jamestastic) (Quit: leaving)
2021-01-30 14:06:57 +0100earldouglas(~james@unaffiliated/jamestastic)
2021-01-30 14:07:19 +0100geekosaur(ac3a5481@172.58.84.129) (Quit: Ping timeout (120 seconds))
2021-01-30 14:07:21 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-01-30 14:09:30 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection)
2021-01-30 14:10:08 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 14:10:41 +0100thongpv87(~thongpv87@103.6.151.121) (Client Quit)
2021-01-30 14:10:46 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net)
2021-01-30 14:11:18 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 14:11:30 +0100_Alleria(~AllahuAkb@2603-7000-3040-0000-749a-5200-2a68-b0ee.res6.spectrum.com)
2021-01-30 14:11:51 +0100thongpv87(~thongpv87@103.6.151.121) (Client Quit)
2021-01-30 14:13:14 +0100Alleria_(~AllahuAkb@2603-7000-3040-0000-8467-207c-08dd-9d84.res6.spectrum.com) (Ping timeout: 264 seconds)
2021-01-30 14:13:31 +0100raym(~ray@45.64.220.55) (Quit: leaving)
2021-01-30 14:13:46 +0100raym(~ray@45.64.220.55)
2021-01-30 14:14:04 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 14:14:52 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 14:16:50 +0100cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 265 seconds)
2021-01-30 14:16:59 +0100thongpv87(~thongpv87@103.6.151.121) (Client Quit)
2021-01-30 14:17:47 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 14:18:17 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-01-30 14:18:43 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-30 14:19:43 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-01-30 14:22:47 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds)
2021-01-30 14:24:21 +0100jamm_(~jamm@unaffiliated/jamm)
2021-01-30 14:25:13 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9f3:d193:94ea:a2fe)
2021-01-30 14:25:25 +0100coot(~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl)
2021-01-30 14:27:28 +0100LKoen_(~LKoen@107.173.9.109.rev.sfr.net)
2021-01-30 14:27:58 +0100arahael2(~arahael@121-44-10-207.tpgi.com.au)
2021-01-30 14:30:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9f3:d193:94ea:a2fe) (Ping timeout: 264 seconds)
2021-01-30 14:30:08 +0100LKoen(~LKoen@107.173.9.109.rev.sfr.net) (Ping timeout: 256 seconds)
2021-01-30 14:31:08 +0100arahael1(~arahael@222.48.220.203.static.comindico.com.au) (Ping timeout: 265 seconds)
2021-01-30 14:32:08 +0100mouseghost(~draco@wikipedia/desperek)
2021-01-30 14:32:58 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 14:34:40 +0100 <kciN> Why is ghci asking me to use spaces instead of tabs?
2021-01-30 14:35:30 +0100 <merijn> Probably because you turned on the warning that tells you to do that :p
2021-01-30 14:36:04 +0100Saukk(~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection)
2021-01-30 14:36:06 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 14:36:38 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-30 14:37:10 +0100 <kciN> I dindu nuffin, I swear
2021-01-30 14:37:17 +0100 <kciN> Probably bad default config
2021-01-30 14:37:23 +0100 <merijn> s/bad/good
2021-01-30 14:38:32 +0100 <merijn> The tab behaviour specified by the report follows common unix tools, which is different from what many people expect and layout rules make it important to know the *right* indentation
2021-01-30 14:39:21 +0100Ariakenom(~Ariakenom@2001:9b1:efb:fc00:9c13:27da:3792:17be)
2021-01-30 14:39:21 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 14:39:38 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 14:39:56 +0100geekosaur(ac3a5481@172.58.84.129)
2021-01-30 14:40:38 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-01-30 14:43:10 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds)
2021-01-30 14:43:47 +0100Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 246 seconds)
2021-01-30 14:44:29 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.0)
2021-01-30 14:45:37 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-01-30 14:46:14 +0100mmohammadi9812(~mmohammad@198.12.95.170) (Ping timeout: 246 seconds)
2021-01-30 14:46:44 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-01-30 14:46:47 +0100drbean(~drbean@TC210-63-209-203.static.apol.com.tw) (Ping timeout: 264 seconds)
2021-01-30 14:47:26 +0100mmohammadi9812(~mmohammad@198.12.95.182)
2021-01-30 14:48:10 +0100kritzefitz(~kritzefit@212.86.56.80)
2021-01-30 14:48:26 +0100ski. o O ( "Yet Another Tabs v. Spaces Debate" by dmwit at <http://dmwit.com/tabs/> )
2021-01-30 14:49:07 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-30 14:49:20 +0100thongpv87(~thongpv87@103.6.151.121) (Quit: leaving)
2021-01-30 14:49:27 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-30 14:49:53 +0100mannin(mannin@90.221.74.173) (Ping timeout: 246 seconds)
2021-01-30 14:49:59 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 14:50:10 +0100thongpv87(~thongpv87@103.6.151.121) (Client Quit)
2021-01-30 14:50:29 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 14:54:54 +0100writenix(~quassel@a83-132-130-102.cpe.netcabo.pt)
2021-01-30 14:55:41 +0100da39a3ee5e6b4b0d(~da39a3ee5@171.5.16.25)
2021-01-30 14:55:48 +0100Tario(~Tario@201.192.165.173)
2021-01-30 14:56:37 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 14:57:02 +0100acidjnk_new(~acidjnk@p200300d0c704e724244a7a9812caad6a.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2021-01-30 15:01:16 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 15:02:23 +0100 <int-e> . o O ( tabs are for browsers )
2021-01-30 15:03:13 +0100mannin(mannin@90.221.74.173)
2021-01-30 15:03:45 +0100mmohammadi9812(~mmohammad@198.12.95.182) (Ping timeout: 246 seconds)
2021-01-30 15:04:24 +0100ericsagn1(~ericsagne@2405:6580:0:5100:58e:9e7e:71a5:1afc) (Ping timeout: 240 seconds)
2021-01-30 15:04:27 +0100mmohammadi9812(~mmohammad@198.12.95.170)
2021-01-30 15:04:50 +0100 <Uniaika> Actually I've seen a quite compelling argument for tabs
2021-01-30 15:05:07 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-30 15:05:25 +0100 <Uniaika> they are extremely configurable and this is very useful for people who have eye sight issues
2021-01-30 15:05:28 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-30 15:05:37 +0100 <Uniaika> like, being partially blind or something else
2021-01-30 15:05:53 +0100ehigham(d92c1d84@host217-44-29-132.range217-44.btcentralplus.com)
2021-01-30 15:10:08 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-30 15:10:11 +0100 <exarkun> any recommendations for haskell charting/plotting/graphing libraries?
2021-01-30 15:10:23 +0100Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 246 seconds)
2021-01-30 15:10:28 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-30 15:12:10 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-30 15:12:30 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-30 15:13:09 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-30 15:13:22 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com)
2021-01-30 15:13:23 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-30 15:13:29 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-30 15:13:44 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-01-30 15:14:03 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 15:14:35 +0100 <__monty__> exarkun: I think last time this came up Chart was still considered the best option but gnuplot and matplotlib still come out on top.
2021-01-30 15:15:07 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2021-01-30 15:15:10 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-30 15:15:20 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-30 15:15:31 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-30 15:16:01 +0100mmohammadi9812(~mmohammad@198.12.95.170) (Ping timeout: 272 seconds)
2021-01-30 15:16:07 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-30 15:16:28 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-30 15:16:58 +0100mmohammadi9812(~mmohammad@198.12.95.171)
2021-01-30 15:17:14 +0100ericsagn1(~ericsagne@2405:6580:0:5100:5c5c:dbc1:3a03:1443)
2021-01-30 15:18:25 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 15:19:57 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds)
2021-01-30 15:20:21 +0100 <exarkun> Hm. So I guess Chart is the "most" Haskell-y? It just uses (eg) Cairo for drawing and does the rest itself ... But I see there are gnuplot and matplotlib bindings for Haskell too, so one could use them from Haskell if one wanted...
2021-01-30 15:21:02 +0100jneira(501ca940@gateway/web/cgi-irc/kiwiirc.com/ip.80.28.169.64)
2021-01-30 15:21:09 +0100 <exarkun> And I guess the matplotlib "bindings" work by generating Python code and then executing it ... because yea, of how else would you do a python ffi...
2021-01-30 15:21:09 +0100 <__monty__> Consensus seemed to be this is just something where you shouldn't do it in haskell unless you have to.
2021-01-30 15:22:07 +0100noop_noob(b816797e@184.22.121.126)
2021-01-30 15:22:19 +0100 <exarkun> Chart looks like it might be enough for my simple purposes... and half the purpose is haskell practice, so maybe I'll give that a try
2021-01-30 15:22:35 +0100 <exarkun> I've had enough gnuplot and matplotlib practice by now :)
2021-01-30 15:23:42 +0100 <__monty__> Maybe part of the practice can be contributing to Chart so it becomes a better option ; )
2021-01-30 15:24:19 +0100 <exarkun> maybe!
2021-01-30 15:25:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-01-30 15:25:45 +0100mmohammadi9812(~mmohammad@198.12.95.171) (Ping timeout: 240 seconds)
2021-01-30 15:26:44 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Ping timeout: 258 seconds)
2021-01-30 15:27:04 +0100mmohammadi9812(~mmohammad@198.12.95.181)
2021-01-30 15:27:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 15:28:27 +0100gzj(~gzj@unaffiliated/gzj) (Ping timeout: 256 seconds)
2021-01-30 15:30:00 +0100writenix(~quassel@a83-132-130-102.cpe.netcabo.pt) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-01-30 15:31:20 +0100larsan1(~larsan@185.204.1.185) (Remote host closed the connection)
2021-01-30 15:32:29 +0100carlomagno(~cararell@148.87.23.11) (Ping timeout: 272 seconds)
2021-01-30 15:33:42 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-01-30 15:34:24 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 15:36:29 +0100toorevitimirp(~tooreviti@117.182.181.145) (Ping timeout: 268 seconds)
2021-01-30 15:36:48 +0100 <frdg> I am making a parser to parse ip addresses. I am having trouble figuring how to say "parse either and integer or a dot AND if I parse and integer turn it into a string" This implementation is somewhat close. The problem is that I cannot figure out how to `show` the integers: http://dpaste.com/7YU7CE8QA
2021-01-30 15:37:24 +0100 <frdg> my ip's terminate with a "\t"
2021-01-30 15:38:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-01-30 15:38:42 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 15:39:16 +0100 <exarkun> frdg: Maybe you want a `sepBy` approach instead of `<|>`
2021-01-30 15:39:17 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-01-30 15:39:34 +0100mmohammadi9812(~mmohammad@198.12.95.181) (Ping timeout: 272 seconds)
2021-01-30 15:39:45 +0100Shailangsa_(~shailangs@host86-186-177-234.range86-186.btcentralplus.com) ()
2021-01-30 15:41:12 +0100 <frdg> I haven't heard of sepBy before
2021-01-30 15:41:27 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc)
2021-01-30 15:41:29 +0100 <frdg> I am guessing at a high level I want to sepBy "."?
2021-01-30 15:41:31 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-ihpmwhrtqcetefmy)
2021-01-30 15:41:55 +0100 <exarkun> I would think so, yea. You get two benefits from that.
2021-01-30 15:41:59 +0100worc3131(~quassel@2a02:c7f:dcc4:6500:217b:6c7a:eac3:3be9) (Ping timeout: 272 seconds)
2021-01-30 15:43:42 +0100 <__monty__> frdg: Parser a is a Functor so you can fmap over it. `show <$> P.integer` would give you a parser which parses an integer and then applies show to it.
2021-01-30 15:44:14 +0100 <__monty__> Though if you want a string why not `satisfy isDigit`?
2021-01-30 15:44:15 +0100 <noop_noob> __monty__, I assume you wanted `many1 digit`?
2021-01-30 15:44:21 +0100 <noop_noob> lol
2021-01-30 15:44:24 +0100mmohammadi9812(~mmohammad@198.12.95.181)
2021-01-30 15:44:41 +0100pera(~pera@unaffiliated/pera) (Ping timeout: 246 seconds)
2021-01-30 15:44:56 +0100 <__monty__> Don't want anything in particular rn, thanks for the offer.
2021-01-30 15:46:02 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc) (Ping timeout: 260 seconds)
2021-01-30 15:46:20 +0100 <frdg> _monty_: `ip <- P.many ((show <$> P.integer) <|> P.string ".")` gives the desired behavior thanks.
2021-01-30 15:47:29 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt)
2021-01-30 15:47:32 +0100 <noop_noob> frdg, FYI, that code will accept "....." as a valid IP
2021-01-30 15:47:36 +0100zebrag(~inkbottle@aaubervilliers-654-1-102-193.w86-212.abo.wanadoo.fr)
2021-01-30 15:47:42 +0100 <noop_noob> And it will accept empty string
2021-01-30 15:48:04 +0100 <frdg> oh so that is probably why sepBy is better?
2021-01-30 15:48:13 +0100 <noop_noob> Yeah.
2021-01-30 15:48:31 +0100 <frdg> ok that makes sense
2021-01-30 15:48:47 +0100 <noop_noob> And FYI IP addresses, even only IPv4, can have other formats, I believe.
2021-01-30 15:48:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-01-30 15:49:13 +0100 <noop_noob> Putting http://127.1/ into chrome sends me to 127.0.0.1
2021-01-30 15:49:18 +0100 <noop_noob> Not sure if that's chrome-specific
2021-01-30 15:49:24 +0100 <__monty__> You should make sure to parse missing components as something btw. It's important which numbers were missing afaik?
2021-01-30 15:49:44 +0100 <geekosaur> not sure most people care about e.g. classful parsing any more. or hex format, etc.
2021-01-30 15:49:52 +0100 <noop_noob> I guess the X.X.X.X is good enough for most purposes lol
2021-01-30 15:50:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 15:50:28 +0100 <__monty__> Or maybe you didn't intend to allow missing components at all.
2021-01-30 15:50:54 +0100 <__monty__> I was thinking "Huh, didn't know IPv4 had elision the same way IPv6 does."
2021-01-30 15:51:07 +0100urodna(~urodna@unaffiliated/urodna)
2021-01-30 15:52:10 +0100 <SwarmCollective> (read <$> splitOn "." x :: [Int]) Using package split. [192,168,0,1] from "192.168.0.1". Though you probably want something more robust.
2021-01-30 15:52:30 +0100geekosaur(ac3a5481@172.58.84.129) (Quit: Connection closed)
2021-01-30 15:52:33 +0100 <noop_noob> Even more cursed: Chrome redirects http://0177.1/ to 127.0.0.1
2021-01-30 15:53:17 +0100 <noop_noob> Why not just `P.sepBy P.integer (P.string ".")`
2021-01-30 15:53:47 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-arebnehcayalmbds)
2021-01-30 15:53:55 +0100 <__monty__> I'd even hardcode parsing four components. You have to check anyway.
2021-01-30 15:55:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-30 15:55:13 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 15:55:48 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 15:56:33 +0100 <exarkun> oh no, lens
2021-01-30 15:56:33 +0100 <noop_noob> Just accept a string and match it with a regex lmao
2021-01-30 15:57:06 +0100fradet(~ubuntu@216.252.75.247)
2021-01-30 15:58:16 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 240 seconds)
2021-01-30 15:59:45 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 16:01:38 +0100shailangsa(~shailangs@host86-186-177-234.range86-186.btcentralplus.com)
2021-01-30 16:04:45 +0100Franciman(~francesco@host-95-235-155-82.retail.telecomitalia.it) (Quit: Leaving)
2021-01-30 16:05:19 +0100cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 260 seconds)
2021-01-30 16:05:52 +0100SwarmCollective(~joseph@cpe-65-31-18-174.insight.res.rr.com) (Ping timeout: 265 seconds)
2021-01-30 16:07:26 +0100 <int-e> noop_noob: all according to https://pubs.opengroup.org/onlinepubs/9699919799/
2021-01-30 16:08:30 +0100 <int-e> noop_noob: so you can use http://2130706433/ as well
2021-01-30 16:08:35 +0100cyphase(~cyphase@unaffiliated/cyphase)
2021-01-30 16:08:43 +0100 <noop_noob> what
2021-01-30 16:08:59 +0100 <noop_noob> wtfffffffff
2021-01-30 16:09:39 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-01-30 16:09:48 +0100 <int-e> (Is there an RFC specifying this as well, or is this really a POSIX thing? I don't know.)
2021-01-30 16:09:48 +0100 <jkaye[m]> If you want to know if an ip address is valid, ping it 🙂
2021-01-30 16:09:50 +0100 <merijn> I missed the discussion, but I feel pretty confident stating that "match it with a regex" is wrong in a solid 95-99% of all problems
2021-01-30 16:10:10 +0100machinedgod(~machinedg@24.105.81.50)
2021-01-30 16:10:16 +0100 <merijn> jkaye[m]: Define "valid" :p
2021-01-30 16:10:36 +0100 <jkaye[m]> merijn: agreed. It's usually only correct when you're the one defining the data that you're parsing
2021-01-30 16:10:51 +0100 <jkaye[m]> Haha, valid = "works right now". Also probably wrong!
2021-01-30 16:10:57 +0100 <merijn> Well, an IP address can be valid yet unpingable
2021-01-30 16:11:12 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-30 16:11:17 +0100 <jkaye[m]> For some definitions of valid, you are 100% correct
2021-01-30 16:11:21 +0100 <jkaye[m]> Turns out the real world sucks!
2021-01-30 16:11:24 +0100 <jkaye[m]> Who would've guessed
2021-01-30 16:11:36 +0100 <merijn> 10.0.0.5 is clearly a valid IPv4 address, but good luck pinging that if your home network is on a 192.168.x.x range as most are :p
2021-01-30 16:11:44 +0100 <noop_noob> Chrome accepts "http://2130706433/ " as a URL
2021-01-30 16:11:50 +0100 <noop_noob> Valid enough for me lol
2021-01-30 16:13:48 +0100noop_noob(b816797e@184.22.121.126) (Quit: Connection closed)
2021-01-30 16:16:18 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 272 seconds)
2021-01-30 16:16:24 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 16:16:47 +0100brimstone1(~brimstone@185.204.1.185)
2021-01-30 16:20:32 +0100da39a3ee5e6b4b0d(~da39a3ee5@171.5.16.25) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-30 16:21:05 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-01-30 16:22:00 +0100berberman(~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-30 16:22:28 +0100berberman(~berberman@unaffiliated/berberman)
2021-01-30 16:22:57 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:67bb:b9ef:e561:ae2:7da2)
2021-01-30 16:23:02 +0100berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2021-01-30 16:24:01 +0100berberman(~berberman@unaffiliated/berberman)
2021-01-30 16:26:39 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9f3:d193:94ea:a2fe)
2021-01-30 16:30:37 +0100thongpv87(~thongpv87@103.6.151.121) (Remote host closed the connection)
2021-01-30 16:31:04 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9f3:d193:94ea:a2fe) (Ping timeout: 240 seconds)
2021-01-30 16:31:05 +0100berberman_(~berberman@unaffiliated/berberman)
2021-01-30 16:31:24 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds)
2021-01-30 16:31:33 +0100jedws(~jedws@121.209.199.128)
2021-01-30 16:31:45 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 16:36:14 +0100geyaeb_(~geyaeb@gateway/tor-sasl/geyaeb)
2021-01-30 16:36:41 +0100geyaeb(~geyaeb@gateway/tor-sasl/geyaeb) (Remote host closed the connection)
2021-01-30 16:36:44 +0100fradet(~ubuntu@216.252.75.247) (Read error: Connection reset by peer)
2021-01-30 16:37:01 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 16:37:13 +0100jamm_(~jamm@unaffiliated/jamm)
2021-01-30 16:37:15 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net)
2021-01-30 16:38:59 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-01-30 16:40:27 +0100LKoen_(~LKoen@107.173.9.109.rev.sfr.net) (Remote host closed the connection)
2021-01-30 16:42:02 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
2021-01-30 16:42:03 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds)
2021-01-30 16:42:09 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-01-30 16:45:10 +0100whez(sid470288@gateway/web/irccloud.com/x-rbbtipyjiixpgnot) (Read error: Connection reset by peer)
2021-01-30 16:45:16 +0100integral(sid296274@p3m/member/integral) (Read error: Connection reset by peer)
2021-01-30 16:45:17 +0100whez(sid470288@gateway/web/irccloud.com/x-cohcduknwuanevyg)
2021-01-30 16:45:25 +0100integral(sid296274@p3m/member/integral)
2021-01-30 16:45:30 +0100billstclair(sid77830@gateway/web/irccloud.com/x-mfrxkjqbfrzkbhju) (Read error: Connection reset by peer)
2021-01-30 16:45:30 +0100FMJz____(sid279245@gateway/web/irccloud.com/x-qzpukgyaidqigbfj) (Read error: Connection reset by peer)
2021-01-30 16:45:30 +0100pasukon(sid49097@gateway/web/irccloud.com/x-gyfdlzpcqaabbxqp) (Read error: Connection reset by peer)
2021-01-30 16:45:39 +0100FMJz____(sid279245@gateway/web/irccloud.com/x-awoebwelvapvisci)
2021-01-30 16:45:40 +0100billstclair(sid77830@gateway/web/irccloud.com/x-sgpjgxyhwjrnxkyk)
2021-01-30 16:45:43 +0100pasukon(sid49097@gateway/web/irccloud.com/x-xxftumtrviguextm)
2021-01-30 16:46:08 +0100mmohammadi9812(~mmohammad@198.12.95.181) (Ping timeout: 260 seconds)
2021-01-30 16:46:38 +0100mmohammadi9812(~mmohammad@198.12.95.170)
2021-01-30 16:47:40 +0100LKoen(~LKoen@107.173.9.109.rev.sfr.net)
2021-01-30 16:48:24 +0100shiraeeshi(~shiraeesh@109.166.58.42) (Ping timeout: 256 seconds)
2021-01-30 16:49:38 +0100ep1ctetus(~epictetus@ip184-187-162-163.sb.sd.cox.net)
2021-01-30 16:51:02 +0100mmohammadi9812(~mmohammad@198.12.95.170) (Ping timeout: 264 seconds)
2021-01-30 16:52:35 +0100jedws(~jedws@121.209.199.128) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-30 16:57:48 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 16:59:26 +0100xff0x_(~xff0x@2001:1a81:5286:1d00:9735:3019:d4e:2b07) (Ping timeout: 264 seconds)
2021-01-30 16:59:54 +0100xff0x_(~xff0x@2001:1a81:5286:1d00:8be0:3704:1dd1:1157)
2021-01-30 17:00:06 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com)
2021-01-30 17:02:25 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 17:04:00 +0100poscat(~poscat@114.245.115.216) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-30 17:04:46 +0100poscat(~poscat@114.245.115.216)
2021-01-30 17:05:21 +0100shatriff_(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-30 17:06:19 +0100worc3131(~quassel@2a02:c7f:dcc4:6500:217b:6c7a:eac3:3be9)
2021-01-30 17:06:32 +0100petersen(~petersen@redhat/juhp) (Remote host closed the connection)
2021-01-30 17:07:12 +0100petersen(~petersen@redhat/juhp)
2021-01-30 17:08:18 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Ping timeout: 260 seconds)
2021-01-30 17:08:27 +0100Rudd0(~Rudd0@185.189.115.108)
2021-01-30 17:10:28 +0100WzC(~Frank@77-162-168-71.fixed.kpn.net) (Read error: Connection reset by peer)
2021-01-30 17:10:38 +0100sveit(~sveit@45.77.0.246) (Ping timeout: 260 seconds)
2021-01-30 17:10:38 +0100glowcoil(sid3405@gateway/web/irccloud.com/x-drvtpywemyxnydlz) (Ping timeout: 260 seconds)
2021-01-30 17:10:39 +0100lally(sid388228@gateway/web/irccloud.com/x-sxdlxjxvqziuhggc) (Ping timeout: 260 seconds)
2021-01-30 17:10:39 +0100betawaffle(sid2730@gateway/web/irccloud.com/x-hzstxhjahmoeknbm) (Ping timeout: 260 seconds)
2021-01-30 17:10:39 +0100alunduil(alunduil@gateway/web/irccloud.com/x-uorwhwexpnpspxqv) (Ping timeout: 260 seconds)
2021-01-30 17:10:39 +0100runeks(sid21167@gateway/web/irccloud.com/x-hjgbikofkbbazhas) (Ping timeout: 260 seconds)
2021-01-30 17:10:39 +0100mankyKitty(sid31287@gateway/web/irccloud.com/x-wkyuphuoaamseszb) (Ping timeout: 260 seconds)
2021-01-30 17:10:39 +0100sakirious(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2021-01-30 17:10:41 +0100sakirious0(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net)
2021-01-30 17:10:43 +0100WarzoneCommand(~Frank@77-162-168-71.fixed.kpn.net)
2021-01-30 17:10:44 +0100dave_uy(~david@108.61.193.26) (Quit: Ping timeout (120 seconds))
2021-01-30 17:11:05 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-01-30 17:11:14 +0100sayola(~vekto@dslb-002-201-085-014.002.201.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2021-01-30 17:11:14 +0100alanz(sid110616@gateway/web/irccloud.com/x-atrogjyhtllhvklo) (Ping timeout: 260 seconds)
2021-01-30 17:11:14 +0100enemeth79(sid309041@gateway/web/irccloud.com/x-otcjyflsvbmytnwk) (Ping timeout: 260 seconds)
2021-01-30 17:11:14 +0100nh2(sid309956@gateway/web/irccloud.com/x-jtowrojorhzblotg) (Ping timeout: 260 seconds)
2021-01-30 17:11:14 +0100ocharles(sid30093@musicbrainz/user/ocharles) (Ping timeout: 260 seconds)
2021-01-30 17:11:16 +0100dave_uy(~david@108.61.193.26)
2021-01-30 17:11:21 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-01-30 17:11:37 +0100ornxka(~ornxka@unaffiliated/ornx) (Quit: No Ping reply in 180 seconds.)
2021-01-30 17:11:37 +0100sveit(~sveit@45.77.0.246)
2021-01-30 17:11:39 +0100glowcoil(sid3405@gateway/web/irccloud.com/x-zeybjkdxlkhfyswp)
2021-01-30 17:11:49 +0100jathan(~jathan@69.61.93.38) (Ping timeout: 260 seconds)
2021-01-30 17:11:49 +0100ario(~ario@178.62.234.211) (Ping timeout: 260 seconds)
2021-01-30 17:11:55 +0100ario(~ario@178.62.234.211)
2021-01-30 17:12:03 +0100nh2(sid309956@gateway/web/irccloud.com/x-rwnhkcnmemsioexk)
2021-01-30 17:12:03 +0100mankyKitty(sid31287@gateway/web/irccloud.com/x-mvcmozxusndagmvx)
2021-01-30 17:12:04 +0100alanz(sid110616@gateway/web/irccloud.com/x-kdywbinjhkhniqha)
2021-01-30 17:12:04 +0100lally(sid388228@gateway/web/irccloud.com/x-ksnlcawkmgzvygxc)
2021-01-30 17:12:05 +0100alunduil(alunduil@gateway/web/irccloud.com/x-oejqefcrlbokhloa)
2021-01-30 17:12:05 +0100ocharles(sid30093@musicbrainz/user/ocharles)
2021-01-30 17:12:05 +0100runeks(sid21167@gateway/web/irccloud.com/x-thmlyiatmbqzxhvn)
2021-01-30 17:12:08 +0100enemeth79(sid309041@gateway/web/irccloud.com/x-kigvkvhoizxwdwhs)
2021-01-30 17:12:08 +0100betawaffle(sid2730@gateway/web/irccloud.com/x-yfenekwrcdoekgxj)
2021-01-30 17:12:10 +0100Franciman(~francesco@host-95-235-155-82.retail.telecomitalia.it)
2021-01-30 17:12:46 +0100ornxka(~ornxka@unaffiliated/ornx)
2021-01-30 17:12:47 +0100jathan(~jathan@69.61.93.38)
2021-01-30 17:12:56 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-01-30 17:13:01 +0100 <ephemient> https://blog.fhrnet.eu/2020/05/12/having-fun-with-unusual-ipv4-formats/
2021-01-30 17:13:05 +0100dnlkrgr(~dnlkrgr@HSI-KBW-046-005-005-235.hsi8.kabel-badenwuerttemberg.de)
2021-01-30 17:13:31 +0100 <ephemient> also http://127.1 etc.
2021-01-30 17:14:11 +0100 <Uniaika> :-D
2021-01-30 17:15:17 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 17:15:23 +0100 <pjb> Yep.
2021-01-30 17:15:28 +0100 <pjb> little known fact.
2021-01-30 17:16:21 +0100worc3131(~quassel@2a02:c7f:dcc4:6500:217b:6c7a:eac3:3be9) (Ping timeout: 272 seconds)
2021-01-30 17:18:21 +0100coot(~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-01-30 17:18:47 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-123.cust.tzulo.com)
2021-01-30 17:20:30 +0100meinhof(4eb72cde@78.183.44.222)
2021-01-30 17:21:49 +0100 <Ariakenom> underselling ipv6 at the end tho
2021-01-30 17:22:50 +0100 <sm[m]> exarkun: there are some others worth looking at, hvega is one
2021-01-30 17:23:12 +0100sh9(~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8)
2021-01-30 17:23:13 +0100 <sm[m]> and chart-svg
2021-01-30 17:24:49 +0100 <sm[m]> look at those beautiful docs.. https://hackage.haskell.org/package/hvega-0.11.0.0/docs/Graphics-Vega-Tutorials-VegaLite.html
2021-01-30 17:25:26 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-01-30 17:27:53 +0100kciN(~zaba@212.58.119.153) ()
2021-01-30 17:27:55 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9f3:d193:94ea:a2fe)
2021-01-30 17:31:06 +0100 <exarkun> Those are indeed some very nice docs
2021-01-30 17:32:47 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9f3:d193:94ea:a2fe) (Ping timeout: 260 seconds)
2021-01-30 17:34:31 +0100jespada(~jespada@90.254.242.138) (Ping timeout: 265 seconds)
2021-01-30 17:35:18 +0100jespada(~jespada@90.254.242.138)
2021-01-30 17:35:31 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:67bb:b9ef:e561:ae2:7da2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-30 17:36:00 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 256 seconds)
2021-01-30 17:41:46 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 265 seconds)
2021-01-30 17:42:53 +0100mmmattyx(uid17782@gateway/web/irccloud.com/x-idtcxnqhmlqxtsid)
2021-01-30 17:43:13 +0100carlomagno(~cararell@148.87.23.9)
2021-01-30 17:43:27 +0100conal(~conal@107.181.166.167) (Quit: Computer has gone to sleep.)
2021-01-30 17:44:25 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 17:45:57 +0100wInNywinny
2021-01-30 17:46:16 +0100renzhi(~renzhi@2607:fa49:6500:6f00::1e43)
2021-01-30 17:49:28 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-01-30 17:49:49 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-01-30 17:50:06 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-01-30 17:50:12 +0100omnitrogen(~omnitroge@vps-c9700282.vps.ovh.net) (Read error: Connection reset by peer)
2021-01-30 17:50:56 +0100omnitrogen(~omnitroge@vps-c9700282.vps.ovh.net)
2021-01-30 17:51:12 +0100conal(~conal@107.181.166.170)
2021-01-30 17:51:20 +0100mouseghost(~draco@wikipedia/desperek)
2021-01-30 17:51:23 +0100ixaxaar(~ixaxaar@49.207.210.215)
2021-01-30 17:51:45 +0100meinhof(4eb72cde@78.183.44.222) (Ping timeout: 248 seconds)
2021-01-30 17:55:08 +0100conal_(~conal@152.89.204.157)
2021-01-30 17:55:47 +0100conal(~conal@107.181.166.170) (Ping timeout: 264 seconds)
2021-01-30 17:55:59 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Quit: Leaving)
2021-01-30 17:57:17 +0100cheater(~user@unaffiliated/cheater)
2021-01-30 17:58:29 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9f3:d193:94ea:a2fe)
2021-01-30 18:00:19 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc)
2021-01-30 18:00:25 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-30 18:00:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 18:01:04 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection)
2021-01-30 18:01:17 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-30 18:01:30 +0100mmohammadi9812(~mmohammad@188.210.96.120)
2021-01-30 18:01:39 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc) (Remote host closed the connection)
2021-01-30 18:02:39 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc)
2021-01-30 18:02:39 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Read error: Connection reset by peer)
2021-01-30 18:03:03 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-30 18:03:15 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Quit: leaving)
2021-01-30 18:03:46 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-01-30 18:03:59 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-01-30 18:04:54 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de)
2021-01-30 18:05:01 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-01-30 18:05:08 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-01-30 18:05:43 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-01-30 18:06:12 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-01-30 18:07:14 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc) (Ping timeout: 264 seconds)
2021-01-30 18:07:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 18:08:27 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com)
2021-01-30 18:08:51 +0100juuandyy(~juuandyy@90.106.228.121)
2021-01-30 18:10:28 +0100conal_(~conal@152.89.204.157) (Quit: Computer has gone to sleep.)
2021-01-30 18:12:06 +0100geekosaur(82650c7c@130.101.12.124)
2021-01-30 18:12:08 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-01-30 18:12:34 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-01-30 18:13:03 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-01-30 18:13:26 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-01-30 18:13:52 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 18:13:53 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-01-30 18:14:26 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-01-30 18:14:31 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-01-30 18:14:59 +0100ehigham(d92c1d84@host217-44-29-132.range217-44.btcentralplus.com) (Quit: Ping timeout (120 seconds))
2021-01-30 18:15:11 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-01-30 18:15:35 +0100geekosaur(82650c7c@130.101.12.124) (Client Quit)
2021-01-30 18:15:51 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-01-30 18:16:50 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-01-30 18:16:50 +0100 <idnar> @hoogle Alternative f => f Bool -> f ()
2021-01-30 18:16:51 +0100 <lambdabot> Data.Attoparsec.ByteString skipMany :: Alternative f => f a -> f ()
2021-01-30 18:16:51 +0100 <lambdabot> Data.Attoparsec.ByteString skipMany1 :: Alternative f => f a -> f ()
2021-01-30 18:16:51 +0100 <lambdabot> Data.Attoparsec.ByteString.Char8 skipMany :: Alternative f => f a -> f ()
2021-01-30 18:17:01 +0100 <idnar> @hoogle Alternative f => Bool -> f ()
2021-01-30 18:17:02 +0100 <lambdabot> Control.Monad guard :: Alternative f => Bool -> f ()
2021-01-30 18:17:03 +0100 <lambdabot> Control.Monad.Compat guard :: Alternative f => Bool -> f ()
2021-01-30 18:17:03 +0100 <lambdabot> Protolude.Monad guard :: Alternative f => Bool -> f ()
2021-01-30 18:17:05 +0100thongpv87(~thongpv87@103.6.151.121) (Quit: Lost terminal)
2021-01-30 18:17:45 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 18:17:49 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-01-30 18:18:26 +0100geekosaur(82650c7c@130.101.12.124)
2021-01-30 18:18:44 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 18:18:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 18:18:46 +0100 <idnar> oh
2021-01-30 18:18:54 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de)
2021-01-30 18:19:17 +0100 <idnar> @hoogle MonadPlus f => f Bool -> f ()
2021-01-30 18:19:18 +0100 <lambdabot> Protolude guardM :: MonadPlus m => m Bool -> m ()
2021-01-30 18:19:18 +0100 <lambdabot> Protolude.Bool guardM :: MonadPlus m => m Bool -> m ()
2021-01-30 18:19:18 +0100 <lambdabot> Relude.Bool.Guard guardM :: MonadPlus m => m Bool -> m ()
2021-01-30 18:19:54 +0100 <ski> @type (guard =<<)
2021-01-30 18:19:55 +0100 <lambdabot> (Monad m, Alternative m) => m Bool -> m ()
2021-01-30 18:20:23 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-30 18:20:48 +0100 <ski> @hoogle MonadPlus m => Bool -> m ()
2021-01-30 18:20:49 +0100 <lambdabot> Control.Error.Safe assertZ :: (MonadPlus m) => Bool -> m ()
2021-01-30 18:20:49 +0100 <lambdabot> Control.Conditional guard :: (ToBool bool, MonadPlus m) => bool -> m ()
2021-01-30 18:20:49 +0100 <lambdabot> Data.Generator.Combinators msum :: (Generator c, MonadPlus m, m a ~ Elem c) => c -> m a
2021-01-30 18:20:58 +0100ezrakilty(~ezrakilty@75-172-109-5.tukw.qwest.net)
2021-01-30 18:21:52 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-01-30 18:21:52 +0100conal(~conal@64.71.133.70)
2021-01-30 18:22:05 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 18:22:12 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-01-30 18:22:21 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-01-30 18:22:40 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-01-30 18:23:06 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-01-30 18:24:24 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-01-30 18:24:39 +0100 <idnar> guardM was what I was thinking of
2021-01-30 18:24:40 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-30 18:25:45 +0100dcoutts__(~duncan@51.186.125.91.dyn.plus.net) (Ping timeout: 240 seconds)
2021-01-30 18:25:51 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de)
2021-01-30 18:27:05 +0100ezrakilty(~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 240 seconds)
2021-01-30 18:28:46 +0100worc3131(~quassel@2a02:c7f:dcc4:6500:217b:6c7a:eac3:3be9)
2021-01-30 18:29:05 +0100gzj(~gzj@unaffiliated/gzj) (Ping timeout: 240 seconds)
2021-01-30 18:29:11 +0100ehigham(d92c1d84@host217-44-29-132.range217-44.btcentralplus.com)
2021-01-30 18:29:28 +0100 <idnar> do tm <- registerDelay d; atomically $ Just <$> act <|> Nothing <$ guardM (readTVar tm)
2021-01-30 18:29:45 +0100juuandyy(~juuandyy@90.106.228.121) (Ping timeout: 240 seconds)
2021-01-30 18:31:40 +0100ezrakilty(~ezrakilty@75-172-109-5.tukw.qwest.net)
2021-01-30 18:31:48 +0100cocytus(~cocytus@cpe-76-95-48-109.socal.res.rr.com)
2021-01-30 18:33:42 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-01-30 18:33:43 +0100timCF(~i.tkachuk@m91-129-101-103.cust.tele2.ee) (Ping timeout: 260 seconds)
2021-01-30 18:35:18 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc)
2021-01-30 18:35:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-30 18:36:37 +0100jess(jess@freenode/staff/jess)
2021-01-30 18:37:05 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc) (Remote host closed the connection)
2021-01-30 18:37:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 18:37:44 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-123.cust.tzulo.com) (Ping timeout: 240 seconds)
2021-01-30 18:37:52 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-01-30 18:39:39 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc)
2021-01-30 18:41:27 +0100carlomagno(~cararell@148.87.23.9) (Remote host closed the connection)
2021-01-30 18:41:31 +0100baba(~baba@2001:67c:29f4:1:53c8:eb5d:2866:40d1)
2021-01-30 18:41:53 +0100bitmagie(~Thunderbi@200116b8061ee000f910035da6092971.dip.versatel-1u1.de)
2021-01-30 18:42:03 +0100pruiz(~pruiz@2a01:4b00:8467:2300:c02f:54be:9b7:7ed3)
2021-01-30 18:42:09 +0100carlomagno(~cararell@148.87.23.9)
2021-01-30 18:42:26 +0100d3od(~nickmeno3@78-1-83-60.adsl.net.t-com.hr) ()
2021-01-30 18:42:49 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-01-30 18:43:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 18:44:10 +0100LKoen(~LKoen@107.173.9.109.rev.sfr.net) (Remote host closed the connection)
2021-01-30 18:44:26 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc) (Ping timeout: 264 seconds)
2021-01-30 18:44:35 +0100worc3131(~quassel@2a02:c7f:dcc4:6500:217b:6c7a:eac3:3be9) (Remote host closed the connection)
2021-01-30 18:44:56 +0100ezrakilty(~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 240 seconds)
2021-01-30 18:45:28 +0100gawen(~gawen@movzbl.root.sx) (Quit: cya)
2021-01-30 18:46:20 +0100 <ski> idnar : is it RT ?
2021-01-30 18:46:37 +0100pera(~pera@unaffiliated/pera)
2021-01-30 18:47:32 +0100gawen(~gawen@movzbl.root.sx)
2021-01-30 18:48:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-01-30 18:48:25 +0100cocytus(~cocytus@cpe-76-95-48-109.socal.res.rr.com) (Ping timeout: 240 seconds)
2021-01-30 18:49:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 18:50:28 +0100 <idnar> RT?
2021-01-30 18:51:01 +0100 <ski> Referentially Transparent
2021-01-30 18:51:46 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-01-30 18:52:59 +0100d3od(~nickmeno3@78-1-83-60.adsl.net.t-com.hr)
2021-01-30 18:53:06 +0100 <ski> by which i mean, for a monad `M', `f :: M T -> M U' is RT iff there exists some `g :: T -> M U' such that `f = (g =<<)'. this condition is equivalent to `f act = do val <- act; f (return val)', and the `g' in the former version must be `f . return'
2021-01-30 18:53:14 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-01-30 18:53:25 +0100 <idnar> ah
2021-01-30 18:53:58 +0100frdg`(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-01-30 18:54:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-01-30 18:54:28 +0100bitmagie(~Thunderbi@200116b8061ee000f910035da6092971.dip.versatel-1u1.de) (Quit: bitmagie)
2021-01-30 18:54:41 +0100 <idnar> guardM f = f >>= guard
2021-01-30 18:55:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 18:55:10 +0100 <frdg`> I do not understand why I am getting this behavior from `P.sepBy (P.some P.anyChar)` while parsing mac addresses: http://dpaste.com/G56XGMYYS
2021-01-30 18:55:13 +0100 <ski> iow, the context `f (...)' around the sub-expression `...' is (referentially) *transparent* in the effects that it describes, so that we could just as well have expressed it as `do val <- ...; f (return val)', lifting the (possibly) effectful subcomputation out of its context
2021-01-30 18:55:26 +0100 <ski> idnar : yes, that answers it in the affirmative
2021-01-30 18:55:52 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-01-30 18:56:06 +0100 <ski> `forkIO :: IO () -> IO ThreadId' is an example of a non-RT action-transformer / context
2021-01-30 18:56:23 +0100rajivr(uid269651@gateway/web/irccloud.com/x-pfdcvkknfxipfpyo) (Quit: Connection closed for inactivity)
2021-01-30 18:56:26 +0100 <idnar> I see
2021-01-30 18:57:28 +0100LKoen(~LKoen@107.173.9.109.rev.sfr.net)
2021-01-30 18:57:33 +0100 <ski> usually, one doesn't want to pass actions as parameters to operations, unless the operation uses the action in some "serious" (iow, referentially opaque) way, because if it's trivial, one could just as well run the action oneself, upfront
2021-01-30 18:57:56 +0100 <ski> but things like `guardM' are exceptions to this, motivated by convenience
2021-01-30 18:58:26 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Ping timeout: 272 seconds)
2021-01-30 18:58:36 +0100 <ski> (also, obviously `(>>=)' itself is an exception, since it's the means by which one could avoid other trivial uses)
2021-01-30 19:00:31 +0100conal(~conal@64.71.133.70)
2021-01-30 19:00:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-01-30 19:01:03 +0100 <ski> for idioms, one could argue that writing `f :: I T -> I U' rather than `g :: I (T -> U)' is also trivial / RT, in case `f = (g <*>)'
2021-01-30 19:01:10 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 19:01:48 +0100 <ski> (which makes one wonder how common either of those two shapes of types are in the wild, and the relative frequency between them)
2021-01-30 19:02:05 +0100frdg`(~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
2021-01-30 19:02:20 +0100frdg```(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-01-30 19:04:37 +0100fradet(~ubuntu@216.252.75.247)
2021-01-30 19:05:20 +0100 <ski> frdg``` : try excluding colon from the allowed characters between the separators ?
2021-01-30 19:05:51 +0100 <frdg```> ski: ohhh thats what is happening
2021-01-30 19:06:35 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection)
2021-01-30 19:06:50 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-01-30 19:07:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 19:07:17 +0100shatriff_(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-01-30 19:07:51 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-30 19:07:59 +0100juuandyy(~juuandyy@90.106.228.121)
2021-01-30 19:09:59 +0100frdg```(~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Remote host closed the connection)
2021-01-30 19:10:44 +0100dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-01-30 19:12:14 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-01-30 19:12:24 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-01-30 19:12:53 +0100dcoutts__(~duncan@51.186.125.91.dyn.plus.net)
2021-01-30 19:13:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 19:14:03 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc)
2021-01-30 19:14:33 +0100hyiltiz(~quassel@unaffiliated/hyiltiz) (Quit: hyiltiz)
2021-01-30 19:15:40 +0100timCF(~i.tkachuk@m91-129-101-103.cust.tele2.ee)
2021-01-30 19:15:52 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc) (Remote host closed the connection)
2021-01-30 19:16:31 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc)
2021-01-30 19:16:39 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl)
2021-01-30 19:16:39 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-01-30 19:16:39 +0100mouseghost(~draco@wikipedia/desperek)
2021-01-30 19:17:38 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-01-30 19:17:43 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net) ()
2021-01-30 19:19:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-30 19:19:15 +0100metreo(~Thunderbi@unaffiliated/metreo)
2021-01-30 19:19:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 19:19:32 +0100baba(~baba@2001:67c:29f4:1:53c8:eb5d:2866:40d1) (Quit: WeeChat 2.9)
2021-01-30 19:20:22 +0100renzhi(~renzhi@2607:fa49:6500:6f00::1e43) (Ping timeout: 265 seconds)
2021-01-30 19:20:56 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-01-30 19:21:07 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc) (Ping timeout: 272 seconds)
2021-01-30 19:23:25 +0100metreo(~Thunderbi@unaffiliated/metreo) (Ping timeout: 240 seconds)
2021-01-30 19:23:39 +0100metreo(~Thunderbi@unaffiliated/metreo)
2021-01-30 19:24:55 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-01-30 19:25:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 19:25:32 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 246 seconds)
2021-01-30 19:26:55 +0100 <fradet> -+-+
2021-01-30 19:26:56 +0100 <fradet> ---++++++
2021-01-30 19:28:23 +0100 <fradet> sorry, my screen fell on the keyboard
2021-01-30 19:28:59 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-01-30 19:29:19 +0100 <Rembane> fradet: I thougth you were starting to speak in BF.
2021-01-30 19:29:23 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 264 seconds)
2021-01-30 19:31:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-30 19:31:33 +0100son0p(~son0p@181.136.122.143)
2021-01-30 19:31:35 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 19:32:17 +0100ski. o O ( Morse-Kelley )
2021-01-30 19:34:14 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-01-30 19:35:42 +0100shinobi_(~shinobi@c-24-147-48-162.hsd1.ma.comcast.net)
2021-01-30 19:37:04 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-01-30 19:37:12 +0100lockshaw(~lockshaw@165.22.163.71) (Ping timeout: 264 seconds)
2021-01-30 19:37:48 +0100totte(~totte@chakra/totte) (Ping timeout: 246 seconds)
2021-01-30 19:38:00 +0100lockshaw(~lockshaw@165.22.163.71)
2021-01-30 19:38:03 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 19:38:05 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-01-30 19:38:29 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Ping timeout: 246 seconds)
2021-01-30 19:38:50 +0100shinobi__(~shinobi@c-24-147-48-162.hsd1.ma.comcast.net) (Ping timeout: 246 seconds)
2021-01-30 19:38:59 +0100catt(~r@31.124.181.226) (Ping timeout: 264 seconds)
2021-01-30 19:39:25 +0100totte(~totte@chakra/totte)
2021-01-30 19:40:11 +0100LKoen(~LKoen@107.173.9.109.rev.sfr.net) (Remote host closed the connection)
2021-01-30 19:40:21 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-01-30 19:40:57 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-30 19:41:08 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-01-30 19:41:47 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-01-30 19:42:09 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-30 19:42:37 +0100conal(~conal@64.71.133.70)
2021-01-30 19:43:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-30 19:43:17 +0100juuandyy(~juuandyy@90.106.228.121) (Ping timeout: 272 seconds)
2021-01-30 19:43:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 19:44:46 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 19:46:16 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-01-30 19:48:37 +0100conal_(~conal@66.115.157.144)
2021-01-30 19:48:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-01-30 19:49:17 +0100conal(~conal@64.71.133.70) (Ping timeout: 260 seconds)
2021-01-30 19:49:20 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-01-30 19:50:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 19:51:03 +0100hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-01-30 19:52:49 +0100geekosaur(82650c7c@130.101.12.124) (Ping timeout: 248 seconds)
2021-01-30 19:53:00 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-01-30 19:53:14 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc)
2021-01-30 19:55:03 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc) (Remote host closed the connection)
2021-01-30 19:55:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-30 19:55:39 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc)
2021-01-30 19:55:46 +0100Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net)
2021-01-30 19:56:41 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 19:56:41 +0100LKoen(~LKoen@107.173.9.109.rev.sfr.net)
2021-01-30 19:59:49 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de)
2021-01-30 19:59:59 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 20:00:38 +0100nineonine(~nineonine@2604:3d08:7785:9600:1f8:df50:2c38:89fc) (Ping timeout: 264 seconds)
2021-01-30 20:01:33 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Client Quit)
2021-01-30 20:01:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-30 20:02:38 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2021-01-30 20:02:38 +0100hexo(~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection)
2021-01-30 20:02:52 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 20:02:52 +0100hexo(~hexo@gateway/tor-sasl/hexo)
2021-01-30 20:03:09 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-01-30 20:03:23 +0100berberman(~berberman@unaffiliated/berberman)
2021-01-30 20:03:58 +0100cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0)
2021-01-30 20:04:51 +0100berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 265 seconds)
2021-01-30 20:08:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-01-30 20:08:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 20:11:37 +0100desophos(~desophos@2601:249:1680:a570:6c5d:6065:851c:11c8)
2021-01-30 20:12:15 +0100geekosaur(82650c7c@130.101.12.124)
2021-01-30 20:13:03 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com)
2021-01-30 20:13:17 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de)
2021-01-30 20:13:31 +0100juuandyy(~juuandyy@90.106.228.121)
2021-01-30 20:14:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-30 20:15:04 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 20:20:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-30 20:20:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 20:22:32 +0100xff0x_(~xff0x@2001:1a81:5286:1d00:8be0:3704:1dd1:1157) (Ping timeout: 260 seconds)
2021-01-30 20:23:09 +0100xff0x_(~xff0x@2001:1a81:5286:1d00:27bb:49b:c3ad:c098)
2021-01-30 20:23:34 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-01-30 20:25:12 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-01-30 20:25:39 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-01-30 20:25:47 +0100ubert(~Thunderbi@p200300ecdf25d96ce6b318fffe838f33.dip0.t-ipconnect.de)
2021-01-30 20:26:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-01-30 20:26:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 20:28:08 +0100nineonine(~nineonine@2604:3d08:7785:9600:1d25:9d82:8276:bb69)
2021-01-30 20:32:23 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net)
2021-01-30 20:33:37 +0100pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-01-30 20:33:37 +0100nineonine(~nineonine@2604:3d08:7785:9600:1d25:9d82:8276:bb69) (Ping timeout: 260 seconds)
2021-01-30 20:34:07 +0100aidecoe_(~aidecoe@unaffiliated/aidecoe) (Remote host closed the connection)
2021-01-30 20:35:08 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 20:35:12 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-01-30 20:35:51 +0100pfurla_(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 272 seconds)
2021-01-30 20:37:25 +0100juuandyy(~juuandyy@90.106.228.121) (Ping timeout: 240 seconds)
2021-01-30 20:37:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-01-30 20:39:00 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 20:39:55 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-01-30 20:41:53 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 256 seconds)
2021-01-30 20:42:32 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt)
2021-01-30 20:44:05 +0100conal_(~conal@66.115.157.144) (Quit: Computer has gone to sleep.)
2021-01-30 20:45:51 +0100hexagenic(~mattias@2001:2002:51e0:74c9:5c3d:79a1:6bfe:fd56)
2021-01-30 20:46:03 +0100ezrakilty(~ezrakilty@75-172-109-5.tukw.qwest.net)
2021-01-30 20:46:09 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net)
2021-01-30 20:46:50 +0100toposcereal_killer
2021-01-30 20:47:04 +0100thongpv87(~thongpv87@103.6.151.121) (Remote host closed the connection)
2021-01-30 20:47:15 +0100eacameron(uid256985@gateway/web/irccloud.com/x-quxiwxzwmnzassnn) (Ping timeout: 272 seconds)
2021-01-30 20:47:16 +0100cereal_killertopos
2021-01-30 20:47:22 +0100alinab(sid468903@gateway/web/irccloud.com/x-hdfueczorzmotnuy) (Read error: Connection reset by peer)
2021-01-30 20:47:27 +0100conal(~conal@64.71.133.70)
2021-01-30 20:47:28 +0100mcfilib(sid302703@gateway/web/irccloud.com/x-rpnceeqtupdslwbr) (Read error: Connection reset by peer)
2021-01-30 20:47:36 +0100alinab(sid468903@gateway/web/irccloud.com/x-daqamfjmpnluaaac)
2021-01-30 20:47:39 +0100tnks(sid412124@gateway/web/irccloud.com/x-vecggrwlgwrrbcvc) (Ping timeout: 265 seconds)
2021-01-30 20:47:41 +0100parseval(sid239098@gateway/web/irccloud.com/x-cfhfdcecytsvkhdz) (Read error: Connection reset by peer)
2021-01-30 20:47:41 +0100kaychaks(sid236345@gateway/web/irccloud.com/x-xtbmcuznhiacryqe) (Read error: Connection reset by peer)
2021-01-30 20:47:41 +0100grfn(sid449115@gateway/web/irccloud.com/x-cqdgdcsiifgwwpcb) (Read error: Connection reset by peer)
2021-01-30 20:47:41 +0100feepo(sid28508@gateway/web/irccloud.com/x-kiyqtfhiuaqwjnyw) (Read error: Connection reset by peer)
2021-01-30 20:47:43 +0100stylewarning(stylewarni@gateway/web/irccloud.com/x-yrwxutruyzwjvydw) (Read error: Connection reset by peer)
2021-01-30 20:47:44 +0100mcfilib(sid302703@gateway/web/irccloud.com/x-bnvvwewthnblmign)
2021-01-30 20:47:52 +0100parseval(sid239098@gateway/web/irccloud.com/x-zuiiuicvwtxyoufu)
2021-01-30 20:47:55 +0100tnks(sid412124@gateway/web/irccloud.com/x-snapvlcjtxbyljdb)
2021-01-30 20:47:59 +0100kaychaks(sid236345@gateway/web/irccloud.com/x-lrphwkqopzqqabed)
2021-01-30 20:48:03 +0100lightandlight(sid135476@gateway/web/irccloud.com/x-pxxqueulqsacrejk) (Read error: Connection reset by peer)
2021-01-30 20:48:05 +0100eacameron(uid256985@gateway/web/irccloud.com/x-aohjgkptcanyniwh)
2021-01-30 20:48:06 +0100grfn(sid449115@gateway/web/irccloud.com/x-zurbhoztujpnnaaq)
2021-01-30 20:48:07 +0100stylewarning(stylewarni@gateway/web/irccloud.com/x-sejbirulngrakhep)
2021-01-30 20:48:14 +0100lightandlight(sid135476@gateway/web/irccloud.com/x-olpnchgwzebqtuap)
2021-01-30 20:48:18 +0100 <desophos> hi, i have a record field that i generate with Gen and i'd like to end up with a Gen record instead of a Gen field, but i don't know how to do this with a record: https://gist.github.com/desophos/353969a985966b5addeeda7101eec205
2021-01-30 20:48:19 +0100feepo(sid28508@gateway/web/irccloud.com/x-drzsmgoumumuleld)
2021-01-30 20:48:52 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-01-30 20:49:28 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 20:49:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-01-30 20:49:56 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2021-01-30 20:50:56 +0100 <lyxia> desophos: f = R <$> arbitrary
2021-01-30 20:51:00 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 20:51:04 +0100Tario(~Tario@200.119.186.210)
2021-01-30 20:51:17 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 246 seconds)
2021-01-30 20:51:35 +0100 <desophos> <$> applies record fields??
2021-01-30 20:52:19 +0100 <ezrakilty> <$> lifts an arbitrary function into the monad or applicative-functor!
2021-01-30 20:53:06 +0100 <ezrakilty> Another bit of surprise there might be that record fields don't need to be named, and you can write for example R 7 to get a record with 7 for the x field
2021-01-30 20:53:06 +0100Tario(~Tario@200.119.186.210) (Read error: Connection reset by peer)
2021-01-30 20:53:29 +0100Tario(~Tario@200.119.186.210)
2021-01-30 20:54:21 +0100 <ezrakilty> In a more general case, you'll probably write things like "do x <- chooseAny ; y <- chooseAny ; return (R {x = x ; y = y})"
2021-01-30 20:54:21 +0100 <desophos> hmm... what about with record update syntax?
2021-01-30 20:54:22 +0100Tario(~Tario@200.119.186.210) (Read error: Connection reset by peer)
2021-01-30 20:55:13 +0100Tario(~Tario@201.192.165.173)
2021-01-30 20:55:31 +0100mirrorbird(~psutcliff@2a00:801:42d:5efa:6585:c362:5f1c:676)
2021-01-30 20:56:34 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-01-30 20:56:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 20:56:56 +0100 <desophos> my actual code has a record with multiple fields, one of which is updated with a Gen value
2021-01-30 20:57:46 +0100 <ezrakilty> See my "more general case"
2021-01-30 20:57:48 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 20:58:15 +0100 <desophos> hmm, interesting
2021-01-30 20:58:30 +0100 <Clint> how are you populating the other fields?
2021-01-30 20:58:32 +0100 <ezrakilty> "do x <- chooseAny ; return (R { x = y ; y = 7 })" would work, if you don't want to generate y. Or you could compute y relative to the generated x
2021-01-30 20:58:37 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-01-30 21:01:34 +0100 <desophos> the other fields are just plain values and functions that are populated previously
2021-01-30 21:01:36 +0100zfnmxt(~zfnmxt@unaffiliated/zfnmxt) (Quit: Bye!)
2021-01-30 21:01:54 +0100 <desophos> this function updates one field with a Gen value
2021-01-30 21:02:05 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-01-30 21:02:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-01-30 21:02:15 +0100 <desophos> i can post the actual code if that would help, but i think i understand what i need to do
2021-01-30 21:02:29 +0100zfnmxt(~zfnmxt@unaffiliated/zfnmxt)
2021-01-30 21:02:42 +0100 <ski> ".. into the monad or applicative-functor!" -- or plain functor
2021-01-30 21:02:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 21:03:14 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 21:04:45 +0100petersen(~petersen@redhat/juhp) (Ping timeout: 240 seconds)
2021-01-30 21:05:01 +0100 <ezrakilty> Yes, thanks ski
2021-01-30 21:05:41 +0100 <ski> f = (\xVal -> myR {x = xVal}) <$> arbitrary -- "hmm... what about with record update syntax?"
2021-01-30 21:05:54 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de)
2021-01-30 21:06:30 +0100 <desophos> right, makes sense
2021-01-30 21:07:02 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-01-30 21:07:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-30 21:07:55 +0100petersen(~petersen@redhat/juhp)
2021-01-30 21:08:13 +0100 <desophos> thanks! i understand
2021-01-30 21:08:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 21:09:30 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-01-30 21:10:35 +0100conal_(~conal@64.71.133.70)
2021-01-30 21:12:31 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 265 seconds)
2021-01-30 21:12:35 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com)
2021-01-30 21:13:25 +0100ixaxaar(~ixaxaar@49.207.210.215) (Ping timeout: 240 seconds)
2021-01-30 21:14:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-30 21:15:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 21:15:12 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds)
2021-01-30 21:16:29 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net)
2021-01-30 21:17:35 +0100alx741(~alx741@186.178.110.149)
2021-01-30 21:17:52 +0100conal_(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-01-30 21:18:15 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2021-01-30 21:18:45 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds)
2021-01-30 21:19:33 +0100Wuzzy(~Wuzzy@p5790e5cc.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2021-01-30 21:19:51 +0100conal(~conal@64.71.133.70)
2021-01-30 21:19:58 +0100xcmw(~textual@dyn-72-33-2-198.uwnet.wisc.edu)
2021-01-30 21:20:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-30 21:20:41 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 246 seconds)
2021-01-30 21:20:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 21:25:12 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 21:26:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-01-30 21:27:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 21:27:22 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Read error: Connection reset by peer)
2021-01-30 21:27:48 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-01-30 21:27:54 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Read error: Connection reset by peer)
2021-01-30 21:28:10 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-01-30 21:28:58 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-01-30 21:29:59 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds)
2021-01-30 21:32:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-30 21:33:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 21:35:16 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-01-30 21:37:51 +0100catt(~r@31.124.181.226)
2021-01-30 21:38:08 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de)
2021-01-30 21:38:33 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-01-30 21:38:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 21:39:14 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-01-30 21:39:53 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-01-30 21:40:53 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-01-30 21:41:41 +0100MidAutumnHotaru8(~MidAutumn@unaffiliated/midautumnhotaru)
2021-01-30 21:43:43 +0100MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru) (Ping timeout: 265 seconds)
2021-01-30 21:43:43 +0100MidAutumnHotaru8MidAutumnHotaru
2021-01-30 21:44:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-30 21:44:40 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 21:45:10 +0100ehigham(d92c1d84@host217-44-29-132.range217-44.btcentralplus.com) (Quit: Connection closed)
2021-01-30 21:45:17 +0100FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-01-30 21:45:17 +0100finn_elijaGuest11447
2021-01-30 21:45:17 +0100FinnElijafinn_elija
2021-01-30 21:46:09 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net)
2021-01-30 21:46:33 +0100ehigham(d92c1d84@host217-44-29-132.range217-44.btcentralplus.com)
2021-01-30 21:47:38 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds)
2021-01-30 21:48:02 +0100nineonine(~nineonine@2604:3d08:7785:9600:1d25:9d82:8276:bb69)
2021-01-30 21:49:45 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-01-30 21:49:47 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-01-30 21:50:04 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-01-30 21:50:20 +0100xcmw(~textual@dyn-72-33-2-198.uwnet.wisc.edu) (Quit: Textual IRC Client: www.textualapp.com)
2021-01-30 21:50:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 21:50:57 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 21:51:50 +0100conal(~conal@64.71.133.70)
2021-01-30 21:52:28 +0100writenix(~quassel@a83-132-130-102.cpe.netcabo.pt)
2021-01-30 21:54:53 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-01-30 21:55:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-30 21:56:10 +0100 <frdg> is there a way with parser combinators to say `parse some pattern N times`? For example I want to say `parse two numbers and a semicolon 4 times`.
2021-01-30 21:56:32 +0100thongpv87(~thongpv87@103.6.151.121) (Remote host closed the connection)
2021-01-30 21:56:48 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 21:58:05 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-01-30 21:58:51 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 21:59:36 +0100 <frdg> another example is with ip addresss I would much rather say `parse an integer and a dot 3 times then parse an integer` than I would this: http://dpaste.com/BZGRNUNWN
2021-01-30 21:59:44 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-01-30 22:00:54 +0100LKoen(~LKoen@107.173.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-01-30 22:01:03 +0100 <geekosaur> replicateM?
2021-01-30 22:01:22 +0100finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Quit: finn_elija)
2021-01-30 22:01:31 +0100conal(~conal@64.71.133.70)
2021-01-30 22:01:49 +0100ehigham(d92c1d84@host217-44-29-132.range217-44.btcentralplus.com) (Quit: Connection closed)
2021-01-30 22:02:02 +0100 <frdg> thanks ill try this
2021-01-30 22:02:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-30 22:02:43 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 22:04:56 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-01-30 22:06:44 +0100usr25(~usr25@unaffiliated/usr25)
2021-01-30 22:08:59 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.1)")
2021-01-30 22:09:56 +0100 <ephemient> sequence $ transpose [replicate 4 (show <$> P.integer), replicate 3 (P.string ".")]
2021-01-30 22:10:08 +0100 <ephemient> wait I forgot a concat in there
2021-01-30 22:10:28 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9f3:d193:94ea:a2fe) (Remote host closed the connection)
2021-01-30 22:11:15 +0100 <geekosaur> this is the kind of overly clever code that they won't be able to understand a month from now :)
2021-01-30 22:12:20 +0100skisometimes defines `(/\/) :: [a] -> [a] -> [a]' (interleave)
2021-01-30 22:12:48 +0100writenix(~quassel@a83-132-130-102.cpe.netcabo.pt) (Read error: Connection timed out)
2021-01-30 22:13:11 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-01-30 22:13:25 +0100mnrmnaughmiromnaugh
2021-01-30 22:13:59 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds)
2021-01-30 22:14:16 +0100 <MarcelineVQ> intercalate "." <$> replicateM 4 (show <$> P.integer <* P.string ".")
2021-01-30 22:14:17 +0100acidjnk_new(~acidjnk@p200300d0c704e724244a7a9812caad6a.dip0.t-ipconnect.de)
2021-01-30 22:15:36 +0100 <MarcelineVQ> ah hmm, ends with a dot in that versionm, nvm :>
2021-01-30 22:15:48 +0100thongpv87(~thongpv87@103.6.151.121) (Remote host closed the connection)
2021-01-30 22:16:01 +0100miromnaughmnrmnaugh
2021-01-30 22:16:54 +0100ubert(~Thunderbi@p200300ecdf25d96ce6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2021-01-30 22:17:02 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds)
2021-01-30 22:17:06 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-30 22:17:32 +0100 <MarcelineVQ> if you really want to confuse yourself you can use sepBy and similar combinators for the '.' part :X
2021-01-30 22:17:36 +0100 <ski> (intercalate "." . sequence) (intersperse (P.string ".") (replicate 4 (show <$> P.integer)))
2021-01-30 22:18:12 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 22:18:28 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.0)
2021-01-30 22:18:31 +0100pera(~pera@unaffiliated/pera) (Ping timeout: 265 seconds)
2021-01-30 22:18:59 +0100 <ski> ah, need `<$>' too, of course
2021-01-30 22:19:05 +0100mirrorbird(~psutcliff@2a00:801:42d:5efa:6585:c362:5f1c:676) (Ping timeout: 272 seconds)
2021-01-30 22:19:20 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-01-30 22:20:05 +0100 <ski> @. hoogle type \f -> fmap f . sequence
2021-01-30 22:20:07 +0100 <lambdabot> Data.Distributive comapM :: (Distributive g, Monad m) => (m a -> b) -> m (g a) -> g b
2021-01-30 22:20:10 +0100 <ski> hm
2021-01-30 22:20:33 +0100superstar64(6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net)
2021-01-30 22:23:59 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-30 22:25:25 +0100hexagenic(~mattias@2001:2002:51e0:74c9:5c3d:79a1:6bfe:fd56) (Quit: WeeChat 1.9.1)
2021-01-30 22:28:42 +0100hexagenic(~mattias@2001:2002:51e0:74c9:5c3d:79a1:6bfe:fd56)
2021-01-30 22:29:40 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com) (Remote host closed the connection)
2021-01-30 22:29:59 +0100mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com)
2021-01-30 22:29:59 +0100lordyod(~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) (Quit: The Lounge - https://thelounge.chat)
2021-01-30 22:32:45 +0100lordyod(~lordyod@c-67-169-144-132.hsd1.ca.comcast.net)
2021-01-30 22:33:13 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 265 seconds)
2021-01-30 22:33:48 +0100ehigham(d92c1d84@host217-44-29-132.range217-44.btcentralplus.com)
2021-01-30 22:34:07 +0100conal(~conal@64.71.133.70)
2021-01-30 22:34:16 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-arebnehcayalmbds) (Quit: Connection closed for inactivity)
2021-01-30 22:34:41 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-01-30 22:38:04 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 22:38:54 +0100themsay[m](themsaymat@gateway/shell/matrix.org/x-gkzeqzaxayzxfzuq)
2021-01-30 22:41:44 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-01-30 22:42:56 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2021-01-30 22:43:39 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-aeybxknatgemlfic)
2021-01-30 22:45:04 +0100pera(~pera@unaffiliated/pera)
2021-01-30 22:45:11 +0100ehigham(d92c1d84@host217-44-29-132.range217-44.btcentralplus.com) (Quit: Ping timeout (120 seconds))
2021-01-30 22:45:47 +0100geekosaur(82650c7c@130.101.12.124) (Quit: Ping timeout (120 seconds))
2021-01-30 22:48:14 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-01-30 22:48:39 +0100ADG1089__(~aditya@27.63.42.81)
2021-01-30 22:48:40 +0100geekosaur(82650c7c@130.101.12.124)
2021-01-30 22:49:24 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 22:49:34 +0100ehigham(d92c1d84@host217-44-29-132.range217-44.btcentralplus.com)
2021-01-30 22:54:29 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-01-30 22:55:31 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 22:56:19 +0100geekosaur(82650c7c@130.101.12.124) (Quit: Connection closed)
2021-01-30 22:59:25 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2021-01-30 23:00:28 +0100Tario(~Tario@200.119.186.251)
2021-01-30 23:00:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-30 23:01:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 23:01:29 +0100Maxdamantus(~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 246 seconds)
2021-01-30 23:01:38 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com)
2021-01-30 23:01:59 +0100teardown(~user@gateway/tor-sasl/mrush) (Remote host closed the connection)
2021-01-30 23:02:21 +0100teardown(~user@gateway/tor-sasl/mrush)
2021-01-30 23:02:41 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-01-30 23:02:49 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-30 23:03:24 +0100Maxdamantus(~Maxdamant@unaffiliated/maxdamantus)
2021-01-30 23:05:01 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9f3:d193:94ea:a2fe)
2021-01-30 23:06:09 +0100ADG1089__(~aditya@27.63.42.81) (Remote host closed the connection)
2021-01-30 23:06:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-01-30 23:06:50 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 23:08:43 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-01-30 23:10:11 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds)
2021-01-30 23:12:05 +0100son0p(~son0p@181.136.122.143) (Ping timeout: 240 seconds)
2021-01-30 23:12:10 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-01-30 23:12:42 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 23:13:17 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-01-30 23:17:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-30 23:18:30 +0100Wuzzy(~Wuzzy@p549c9562.dip0.t-ipconnect.de)
2021-01-30 23:18:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 23:19:37 +0100conal(~conal@64.71.133.70)
2021-01-30 23:20:49 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt)
2021-01-30 23:23:21 +0100alx741(~alx741@186.178.110.149) (Quit: alx741)
2021-01-30 23:23:54 +0100hexagenic(~mattias@2001:2002:51e0:74c9:5c3d:79a1:6bfe:fd56) (Quit: WeeChat 1.9.1)
2021-01-30 23:25:44 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-01-30 23:26:24 +0100superstar64(6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed)
2021-01-30 23:26:42 +0100Franciman(~francesco@host-95-235-155-82.retail.telecomitalia.it) (Quit: Leaving)
2021-01-30 23:27:45 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net) (Ping timeout: 248 seconds)
2021-01-30 23:28:11 +0100Inoperable(~PLAYER_1@fancydata.science) (Excess Flood)
2021-01-30 23:28:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-30 23:30:10 +0100kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-01-30 23:30:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 23:32:24 +0100Inoperable(~PLAYER_1@fancydata.science)
2021-01-30 23:32:33 +0100jamm_(~jamm@unaffiliated/jamm)
2021-01-30 23:33:09 +0100thongpv87(~thongpv87@103.6.151.121) (Remote host closed the connection)
2021-01-30 23:34:55 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 23:35:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-30 23:35:48 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-30 23:36:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 23:43:06 +0100thongpv87(~thongpv87@103.6.151.121) (Remote host closed the connection)
2021-01-30 23:44:34 +0100thongpv87(~thongpv87@103.6.151.121)
2021-01-30 23:45:02 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-01-30 23:45:48 +0100sh9(~sh9@softbank060116136158.bbtec.net)
2021-01-30 23:46:29 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-01-30 23:47:12 +0100ADG1089__(~aditya@27.63.42.81)
2021-01-30 23:47:30 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 23:48:10 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-01-30 23:52:06 +0100ADG1089__(~aditya@27.63.42.81) (Remote host closed the connection)
2021-01-30 23:52:28 +0100 <koz_> Suppose I have Foo with an Enum instance. Is there a way to generate all possible lists of length n full of Foos?
2021-01-30 23:52:37 +0100 <koz_> Order is unimportant.
2021-01-30 23:52:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-01-30 23:53:24 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-30 23:54:12 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de)
2021-01-30 23:55:45 +0100Tario(~Tario@200.119.186.251) (Ping timeout: 240 seconds)
2021-01-30 23:55:52 +0100 <koz_> Apparently, replicateM n [minBound .. maxBound] will do