IRCBrowse

2021/03/10

2021-03-10 00:00:01 +0100 <subttle> monochrom: Well, the error originally comes from me trying to finally reorganize this gigantic file: https://github.com/subttle/regular/blob/master/src/Finite.hs#L2532
2021-03-10 00:02:43 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-03-10 00:03:10 +0100 <Axman6> subttle: I am curious to see what that app looks like when it's done though, I do kind of love the idea of being able to use the very niche parts of unicode for domain specific stuff, but being impossible to type makes it not so fun froim a programmer's point of view
2021-03-10 00:03:28 +0100 <subttle> So I split it into a new file NEF.hs (Non Empty Finite) and when I try to import everything from Finite it works fine except for the types `(🁢), (🀰)`
2021-03-10 00:04:43 +0100 <subttle> Axman6: thanks <3
2021-03-10 00:05:14 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 260 seconds)
2021-03-10 00:05:21 +0100bergey(~user@107.181.19.30) (Ping timeout: 264 seconds)
2021-03-10 00:05:57 +0100 <subttle> monochrom: I don't expect you to look through the thing to help me figure it out, I'll try to to isolate the issue further, I appreciate your help thus far!
2021-03-10 00:07:39 +0100owl1(~owl@5.134.185.69)
2021-03-10 00:09:17 +0100teej(uid154177@gateway/web/irccloud.com/x-dmrpztuemewvoove) (Quit: Connection closed for inactivity)
2021-03-10 00:09:31 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-03-10 00:11:12 +0100owl1(~owl@5.134.185.69) ()
2021-03-10 00:14:26 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-10 00:15:55 +0100teej(uid154177@gateway/web/irccloud.com/x-dbeumxrslumknqne)
2021-03-10 00:17:00 +0100kam1(~kam1@83.123.154.198)
2021-03-10 00:19:20 +0100kam1(~kam1@83.123.154.198) (Read error: Connection reset by peer)
2021-03-10 00:19:39 +0100curiousgay(~gay@178.217.208.8) (Ping timeout: 245 seconds)
2021-03-10 00:21:32 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-10 00:23:48 +0100 <subttle> Ah, okay I figured it out, just in case anyone was wondering. As monochrom suggested I can `import Dominoes` just fine as long as I don't try to explicitly list what I'm importing, OR if I want to be explicit I have to say `type` in front of it
2021-03-10 00:24:37 +0100acidjnk_new(~acidjnk@p200300d0c72b95704cd799b0a8031c33.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2021-03-10 00:25:11 +0100 <subttle> for sake of completeness here is what that looks like `import Dominoes (type (🀰), type (🁢))`
2021-03-10 00:25:30 +0100kam1(~kam1@83.123.154.198)
2021-03-10 00:25:49 +0100 <subttle> Thanks everyone!
2021-03-10 00:26:08 +0100 <monochrom> :)
2021-03-10 00:26:13 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-03-10 00:26:26 +0100xsperry(~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-03-10 00:27:10 +0100ozataman(~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net)
2021-03-10 00:28:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds)
2021-03-10 00:28:44 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-10 00:28:48 +0100creuxsader(~AdminUser@pool-173-76-103-124.bstnma.fios.verizon.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-03-10 00:28:50 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-10 00:29:14 +0100gitgoood(~gitgood@82-132-218-38.dab.02.net)
2021-03-10 00:31:33 +0100cfvnhtsp^(cfvnhtsp@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 256 seconds)
2021-03-10 00:31:36 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-10 00:31:51 +0100cfvnhtsp^(cfvnhtsp@ip98-184-89-2.mc.at.cox.net)
2021-03-10 00:31:56 +0100gitgood(~gitgood@82-132-216-176.dab.02.net) (Read error: Connection reset by peer)
2021-03-10 00:33:16 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-10 00:33:29 +0100curiousgay(~gay@178.217.208.8)
2021-03-10 00:34:33 +0100gitgooodgitgood
2021-03-10 00:35:24 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 265 seconds)
2021-03-10 00:38:57 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 264 seconds)
2021-03-10 00:40:50 +0100l8star__(~l8star@business-90-187-113-149.pool2.vodafone-ip.de)
2021-03-10 00:41:44 +0100mimi_vx(~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1)
2021-03-10 00:42:58 +0100irc_user(uid423822@gateway/web/irccloud.com/x-kzjqgwvrhyyjysqx)
2021-03-10 00:46:11 +0100kam1(~kam1@83.123.154.198) (Read error: Connection reset by peer)
2021-03-10 00:46:39 +0100hiroaki__(~hiroaki@2a02:8108:8c40:2bb8:e6c8:817b:b58d:6ff3) (Ping timeout: 272 seconds)
2021-03-10 00:46:41 +0100aarvar(~foewfoiew@2601:602:a080:fa0:f5c0:50eb:5dcd:a8d4)
2021-03-10 00:46:55 +0100xsperry(~as@unaffiliated/xsperry)
2021-03-10 00:47:15 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-03-10 00:48:18 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-03-10 00:50:10 +0100Guest_45(81aeb65c@129.174.182.92)
2021-03-10 00:51:36 +0100APugNamedPugsley(~13052@2601:58a:8300:f6a0:3167:53:f72a:f09e)
2021-03-10 00:51:46 +0100ozataman(~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-03-10 00:52:12 +0100kam1(~kam1@83.123.154.198)
2021-03-10 00:52:45 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2021-03-10 00:56:41 +0100Guest_45(81aeb65c@129.174.182.92) (Quit: Ping timeout (120 seconds))
2021-03-10 00:59:21 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1)
2021-03-10 01:00:01 +0100cfvnhtsp^(cfvnhtsp@ip98-184-89-2.mc.at.cox.net) ()
2021-03-10 01:03:23 +0100elliott_1(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-10 01:05:10 +0100puke(~vroom@217.138.252.212) (Ping timeout: 276 seconds)
2021-03-10 01:08:12 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving)
2021-03-10 01:11:40 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-03-10 01:11:55 +0100joseph1(~joseph@cpe-65-31-18-174.insight.res.rr.com)
2021-03-10 01:14:23 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-10 01:14:23 +0100dsrt^(~hph@ip98-184-89-2.mc.at.cox.net)
2021-03-10 01:14:35 +0100swarmcollective(~joseph@cpe-65-31-18-174.insight.res.rr.com) (Ping timeout: 240 seconds)
2021-03-10 01:14:45 +0100ozataman(~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net)
2021-03-10 01:16:14 +0100mimi_vx(~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Ping timeout: 264 seconds)
2021-03-10 01:16:36 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-10 01:16:46 +0100conal_(~conal@66.115.157.49) (Quit: Computer has gone to sleep.)
2021-03-10 01:20:04 +0100Tario(~Tario@201.192.165.173)
2021-03-10 01:22:31 +0100conal(~conal@192.145.118.107)
2021-03-10 01:22:35 +0100elliott_1(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 3.0.1)
2021-03-10 01:25:01 +0100ozataman(~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-03-10 01:27:09 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-10 01:28:57 +0100bennofs__(~quassel@dslb-094-222-058-228.094.222.pools.vodafone-ip.de)
2021-03-10 01:30:30 +0100minoru_shiraeesh(~shiraeesh@46.34.206.251) (Ping timeout: 265 seconds)
2021-03-10 01:30:33 +0100Fractalis(~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda)
2021-03-10 01:32:09 +0100mananamenos(~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 245 seconds)
2021-03-10 01:33:04 +0100bennofs_(~quassel@dslb-094-222-034-104.094.222.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2021-03-10 01:37:01 +0100xintron(~xintron@unaffiliated/xintron) (Ping timeout: 276 seconds)
2021-03-10 01:37:14 +0100Fractalis(~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) (Ping timeout: 264 seconds)
2021-03-10 01:38:36 +0100vonfry(~user@116.236.75.207) (Remote host closed the connection)
2021-03-10 01:38:44 +0100Fractalis(~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda)
2021-03-10 01:39:47 +0100usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-03-10 01:41:18 +0100heatsink(~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Remote host closed the connection)
2021-03-10 01:41:39 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-03-10 01:42:38 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-03-10 01:43:25 +0100rajivr(uid269651@gateway/web/irccloud.com/x-zgcncjnqyenbczlt)
2021-03-10 01:46:11 +0100Guest79545(~zzz@2a03:b0c0:3:d0::3095:3001) (Quit: quit)
2021-03-10 01:46:46 +0100zzz(~zzz@2a03:b0c0:3:d0::3095:3001)
2021-03-10 01:46:54 +0100xintron(~xintron@unaffiliated/xintron)
2021-03-10 01:47:10 +0100zzzGuest26442
2021-03-10 01:48:05 +0100Tourist(~tourist@unaffiliated/tourist) (Ping timeout: 272 seconds)
2021-03-10 01:48:35 +0100crestfallen(~john@128.32.176.159)
2021-03-10 01:51:11 +0100 <curiousgay> eh, how often haskell.org rotates certificates?
2021-03-10 01:51:52 +0100 <curiousgay> right now I can't connect to it because certificate has changed (but few minutes ago it was fine)
2021-03-10 01:53:02 +0100 <monochrom> worksforme
2021-03-10 01:53:14 +0100 <monochrom> It really doesn't change certificate all that often.
2021-03-10 01:53:48 +0100 <curiousgay> well, at least now I'm able to connect
2021-03-10 01:53:50 +0100vgtw_(~vgtw@gateway/tor-sasl/vgtw)
2021-03-10 01:53:55 +0100 <glguy> It's a Let's Encrypt certificate, so it changes regularly
2021-03-10 01:54:08 +0100 <curiousgay> guh
2021-03-10 01:54:17 +0100 <glguy> the current one is from Feb 9
2021-03-10 01:54:28 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-10 01:54:28 +0100vgtw(~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 268 seconds)
2021-03-10 01:54:28 +0100vgtw_vgtw
2021-03-10 01:54:52 +0100Wuzzy(~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-03-10 01:54:52 +0100 <monochrom> expires May 10.
2021-03-10 01:55:06 +0100 <monochrom> I really doubt there was a change in the last 24 hours.
2021-03-10 01:55:12 +0100 <curiousgay> encryption is strong enough to serve for decades, there's no reason to rotate certificate every month
2021-03-10 01:55:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3)
2021-03-10 01:55:25 +0100 <glguy> curiousgay: that's not why they rotate
2021-03-10 01:55:32 +0100 <curiousgay> s/every month/every 3 months/
2021-03-10 01:55:44 +0100 <glguy> anyway, rotation is normal and not something a client will get hung up on
2021-03-10 01:55:57 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:2411:9949:8ba3:cb86)
2021-03-10 01:56:24 +0100 <monochrom> I have never ran into a certificate problem with haskell.org.
2021-03-10 01:56:39 +0100 <monochrom> May I suggest the darker theory that your connection is/was compromised.
2021-03-10 01:56:55 +0100 <curiousgay> glguy: that rotation is based on assumption a client trusts certificate authorities
2021-03-10 01:57:41 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:2411:9949:8ba3:cb86) (Client Quit)
2021-03-10 01:57:45 +0100crestfallen(~john@128.32.176.159) (Quit: Leaving)
2021-03-10 01:57:50 +0100 <curiousgay> in TOFU world rotating without warning doesn't make any sense
2021-03-10 01:58:11 +0100 <monochrom> glguy: I'm curious now. What is the benefit of the rotation?
2021-03-10 01:58:16 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:2411:9949:8ba3:cb86)
2021-03-10 01:58:32 +0100sw1nn(~sw1nn@2a00:23c7:622f:2c00:df3:76c2:ae90:b3b4) (Ping timeout: 258 seconds)
2021-03-10 01:59:15 +0100 <glguy> monochrom: you don't have to maintain as big of a CRL, leaked private keys are dangerous for shorter windows, you can transfer a domain to someone new who can start using it earlier knowing the certiifcates issued for it have expired already, probably others, but those come to mind
2021-03-10 01:59:16 +0100 <curiousgay> the benefit of rotation is that if one of your private keys gets compromised it doesn't allow to compromise entire history
2021-03-10 01:59:21 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-03-10 01:59:40 +0100 <monochrom> Ah, thanks.
2021-03-10 01:59:43 +0100 <curiousgay> but if you leak keys you need to restructure your security
2021-03-10 02:00:29 +0100stree(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-03-10 02:01:00 +0100 <curiousgay> like don't store keys where you run a bunch of untrusted programs where you don't know how they work
2021-03-10 02:01:17 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-10 02:01:30 +0100 <curiousgay> and encrypt your disk with AES-256 in XTS mode with long reliable password
2021-03-10 02:01:53 +0100 <glguy> anway, it sounds like you understand how certificates work
2021-03-10 02:03:06 +0100 <curiousgay> not really, I simply treat them as public keys, but I'm aware their structure is more complex than that
2021-03-10 02:03:50 +0100 <curiousgay> that allows them to go into a nightmare called web of trust
2021-03-10 02:04:13 +0100 <glguy> Anyway, we're more focused on Haskell here than PKI
2021-03-10 02:05:55 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-03-10 02:06:41 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 256 seconds)
2021-03-10 02:06:42 +0100 <curiousgay> well, I thought it makes sense to also discuss official Haskell site here
2021-03-10 02:07:03 +0100 <glguy> yeah, the question of did the certificate rotate was resolved
2021-03-10 02:08:27 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer)
2021-03-10 02:09:39 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-10 02:10:22 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-03-10 02:11:08 +0100sw1nn(~sw1nn@2a00:23c7:622f:2c00:377a:cf20:5183:83de)
2021-03-10 02:12:22 +0100mimi_vx(~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1)
2021-03-10 02:12:30 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:2411:9949:8ba3:cb86) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-10 02:12:33 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-10 02:13:02 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-10 02:13:17 +0100stree(~stree@68.36.8.116)
2021-03-10 02:15:19 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-03-10 02:18:14 +0100omnitrogen(~omnitroge@vps-c9700282.vps.ovh.net) (Ping timeout: 260 seconds)
2021-03-10 02:18:26 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-10 02:18:33 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 264 seconds)
2021-03-10 02:19:07 +0100tzlil(~tzlil@unaffiliated/tzlil) (Ping timeout: 272 seconds)
2021-03-10 02:20:40 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:2411:9949:8ba3:cb86)
2021-03-10 02:20:40 +0100tzlil(~tzlil@unaffiliated/tzlil)
2021-03-10 02:20:49 +0100conal(~conal@192.145.118.107) (Quit: Computer has gone to sleep.)
2021-03-10 02:21:18 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 245 seconds)
2021-03-10 02:21:20 +0100conal(~conal@192.145.118.107)
2021-03-10 02:21:59 +0100Inoperable(~PLAYER_1@fancydata.science) (Ping timeout: 256 seconds)
2021-03-10 02:22:33 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-10 02:22:36 +0100m1dnight_(~m1dnight@188.ip-51-91-158.eu) (Ping timeout: 256 seconds)
2021-03-10 02:22:50 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-03-10 02:23:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-10 02:25:33 +0100conal(~conal@192.145.118.107) (Ping timeout: 246 seconds)
2021-03-10 02:29:44 +0100thc202(~thc202@unaffiliated/thc202) (Quit: thc202)
2021-03-10 02:31:23 +0100viluon(uid453725@gateway/web/irccloud.com/x-degqoszkevovakgs) (Quit: Connection closed for inactivity)
2021-03-10 02:31:45 +0100minoru_shiraeesh(~shiraeesh@46.34.206.251)
2021-03-10 02:31:55 +0100ProofTechnique_(sid79547@gateway/web/irccloud.com/x-rfjenrecvyozipoh)
2021-03-10 02:31:55 +0100mitchellsalad_(uid40617@gateway/web/irccloud.com/x-iwkvoqzlrnkzeagp)
2021-03-10 02:32:06 +0100bsima1(~bsima@simatime.com)
2021-03-10 02:32:15 +0100howdoi_(uid224@gateway/web/irccloud.com/x-fqbegxygueqsadzs)
2021-03-10 02:32:40 +0100stree(~stree@68.36.8.116) (Quit: Caught exception)
2021-03-10 02:33:06 +0100stree(~stree@68.36.8.116)
2021-03-10 02:33:11 +0100jokester_(~mono@unaffiliated/jokester)
2021-03-10 02:33:33 +0100SIben(~SIben@101.ip-164-132-107.eu) (Ping timeout: 264 seconds)
2021-03-10 02:35:03 +0100debugloo1(~danieln@unaffiliated/debugloop)
2021-03-10 02:37:15 +0100Jello_Raptor_(~Jello_Rap@li641-12.members.linode.com)
2021-03-10 02:37:33 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-wqscfhvgecjdxrxn) (Quit: Connection closed for inactivity)
2021-03-10 02:37:51 +0100WojciechK(~wojciechk@2001:41d0:a:5be4::449)
2021-03-10 02:37:51 +0100NGraviton(csp@gateway/shell/xshellz/x-beoipcskoypkzpda)
2021-03-10 02:38:04 +0100operand_(~operand@is.altijd.moe)
2021-03-10 02:38:59 +0100mitchellsalad(uid40617@gateway/web/irccloud.com/x-rxqqcuwejvbcsupd) (*.net *.split)
2021-03-10 02:38:59 +0100howdoi(uid224@gateway/web/irccloud.com/x-funsiyagulsobejm) (*.net *.split)
2021-03-10 02:38:59 +0100enya[m](enyaismatr@gateway/shell/matrix.org/x-mopbbwnwlliixuwj) (*.net *.split)
2021-03-10 02:38:59 +0100themsay[m](themsaymat@gateway/shell/matrix.org/x-revdyihapfdobrsk) (*.net *.split)
2021-03-10 02:38:59 +0100VarikValefor[m](varikvalef@gateway/shell/matrix.org/x-eijklabkebhzgrcd) (*.net *.split)
2021-03-10 02:38:59 +0100freeman42x[m]1(freeman42x@gateway/shell/matrix.org/x-kvuqdpxllvlgxrfm) (*.net *.split)
2021-03-10 02:38:59 +0100plumenator[m](plumenator@gateway/shell/matrix.org/x-zgfgtuflrtrzeoqi) (*.net *.split)
2021-03-10 02:38:59 +0100jerin(jerinmatri@gateway/shell/matrix.org/x-vbxscyotkofvtytb) (*.net *.split)
2021-03-10 02:39:00 +0100hyiltiz-M(hyiltizkde@gateway/shell/kde/matrix/x-ziqtfceeiaptadfr) (*.net *.split)
2021-03-10 02:39:00 +0100debugloop(~danieln@unaffiliated/debugloop) (*.net *.split)
2021-03-10 02:39:00 +0100NGravity(csp@gateway/shell/xshellz/x-kkpjcyneagkaknmz) (*.net *.split)
2021-03-10 02:39:00 +0100teddyc(theodorc@cassarossa.samfundet.no) (*.net *.split)
2021-03-10 02:39:00 +0100Wojciech_K(~wojciechk@2001:41d0:a:5be4::449) (*.net *.split)
2021-03-10 02:39:00 +0100Jello_Raptor(~Jello_Rap@li641-12.members.linode.com) (*.net *.split)
2021-03-10 02:39:00 +0100ProofTechnique(sid79547@gateway/web/irccloud.com/x-wxgqipcxkmukqbfr) (*.net *.split)
2021-03-10 02:39:00 +0100jokester(~mono@unaffiliated/jokester) (*.net *.split)
2021-03-10 02:39:00 +0100operand(~operand@is.altijd.moe) (*.net *.split)
2021-03-10 02:39:00 +0100bsima(~bsima@simatime.com) (*.net *.split)
2021-03-10 02:39:01 +0100Jello_Raptor_Jello_Raptor
2021-03-10 02:39:03 +0100howdoi_howdoi
2021-03-10 02:39:03 +0100ProofTechnique_ProofTechnique
2021-03-10 02:39:03 +0100maop(~maop@37.120.211.188) (Remote host closed the connection)
2021-03-10 02:39:04 +0100mitchellsalad_mitchellsalad
2021-03-10 02:41:53 +0100 <curiousgay> stack can't install haddock because it requires GHC 9, but LTS-17 provides GHC 8.10
2021-03-10 02:42:33 +0100 <curiousgay> ah, haddock is not part of LTS-17
2021-03-10 02:45:27 +0100hyiltiz-M(hyiltizkde@gateway/shell/kde/matrix/x-pbsqgxgfxkxgeyjp)
2021-03-10 02:45:44 +0100teddyc(theodorc@cassarossa.samfundet.no)
2021-03-10 02:45:51 +0100VarikValefor[m](varikvalef@gateway/shell/matrix.org/x-hkuasadpkiomztte)
2021-03-10 02:45:58 +0100mimi_vx(~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Ping timeout: 260 seconds)
2021-03-10 02:47:00 +0100enya[m](enyaismatr@gateway/shell/matrix.org/x-saaasqrjbmlqfwhw)
2021-03-10 02:48:09 +0100freeman42x[m]1(freeman42x@gateway/shell/matrix.org/x-mjfaafbtrzhgydze)
2021-03-10 02:50:13 +0100plumenator[m](plumenator@gateway/shell/matrix.org/x-wsciyhumoeseodpa)
2021-03-10 02:51:22 +0100themsay[m](themsaymat@gateway/shell/matrix.org/x-hriptenclfowxntk)
2021-03-10 02:51:33 +0100jerin(jerinmatri@gateway/shell/matrix.org/x-mzzaywiqoeclvrmt)
2021-03-10 02:52:31 +0100irc_user(uid423822@gateway/web/irccloud.com/x-kzjqgwvrhyyjysqx) (Quit: Connection closed for inactivity)
2021-03-10 02:58:06 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-10 03:03:33 +0100drbean(~drbean@TC210-63-209-22.static.apol.com.tw)
2021-03-10 03:04:04 +0100subttle(~anonymous@unaffiliated/subttle) (Quit: leaving)
2021-03-10 03:05:49 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-10 03:06:15 +0100puke(~vroom@217.138.252.202)
2021-03-10 03:07:23 +0100krt7(488a1c12@72.138.28.18) (Ping timeout: 240 seconds)
2021-03-10 03:15:58 +0100toorevitimirp(~tooreviti@117.182.183.154)
2021-03-10 03:16:41 +0100inkbottle(~inkbottle@aaubervilliers-654-1-108-207.w86-212.abo.wanadoo.fr)
2021-03-10 03:18:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-10 03:18:25 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-10 03:18:33 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Ping timeout: 264 seconds)
2021-03-10 03:20:22 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 276 seconds)
2021-03-10 03:21:06 +0100ep1ctetus_(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-03-10 03:22:38 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-xvhrdtbecprnyroa) (Quit: Connection closed for inactivity)
2021-03-10 03:22:48 +0100kafl(~kafl@unaffiliated/kafl)
2021-03-10 03:27:57 +0100gitgood(~gitgood@82-132-218-38.dab.02.net) (Read error: Connection reset by peer)
2021-03-10 03:30:05 +0100dave_uy33dave_uy
2021-03-10 03:30:18 +0100dave_uy(~david@108.61.193.26) (Quit: The Lounge - https://thelounge.chat)
2021-03-10 03:30:52 +0100dave_uy(~david@108.61.193.26)
2021-03-10 03:31:00 +0100drbean(~drbean@TC210-63-209-22.static.apol.com.tw) (Ping timeout: 246 seconds)
2021-03-10 03:32:08 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-10 03:32:44 +0100hoppfull(55e07729@c-2977e055.19-9-64736c10.bbcust.telenor.se) (Quit: Connection closed)
2021-03-10 03:33:03 +0100smerdyakov(~dan@5.146.194.90) (Quit: Ping timeout (120 seconds))
2021-03-10 03:33:24 +0100smerdyakov(~dan@5.146.194.90)
2021-03-10 03:34:44 +0100FortuneZero(3223b878@50.35.184.120)
2021-03-10 03:34:55 +0100renzhi(~renzhi@2607:fa49:653f:eb00::5bc7) (Ping timeout: 240 seconds)
2021-03-10 03:35:57 +0100nineonin_(~nineonine@50.216.62.2) (Ping timeout: 264 seconds)
2021-03-10 03:37:08 +0100Kaiepi(~Kaiepi@47.54.252.148) (Ping timeout: 265 seconds)
2021-03-10 03:38:08 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:2411:9949:8ba3:cb86) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-10 03:42:06 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-10 03:42:18 +0100FortuneZero(3223b878@50.35.184.120) (Quit: Connection closed)
2021-03-10 03:42:26 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-10 03:42:32 +0100mimi_vx(~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1)
2021-03-10 03:43:26 +0100Jd007(~Jd007@162.156.11.151)
2021-03-10 03:43:52 +0100arun_karikalan(3b6364cc@59.99.100.204)
2021-03-10 03:43:53 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-10 03:45:15 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-10 03:45:55 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds)
2021-03-10 03:45:57 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3)
2021-03-10 03:46:03 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds)
2021-03-10 03:46:22 +0100xff0x_(~xff0x@2001:1a81:539a:e500:ea26:ed35:813b:7a9a)
2021-03-10 03:46:37 +0100Lord_of_Life_Lord_of_Life
2021-03-10 03:47:24 +0100renzhi(~renzhi@2607:fa49:653f:eb00::296e)
2021-03-10 03:48:18 +0100Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
2021-03-10 03:49:04 +0100Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-03-10 03:49:34 +0100xff0x(~xff0x@port-92-195-107-1.dynamic.as20676.net) (Ping timeout: 260 seconds)
2021-03-10 03:51:19 +0100tvn(~tvn@37.120.211.188)
2021-03-10 04:01:22 +0100CrazyPython(~crazypyth@98.122.164.118) (Read error: Connection reset by peer)
2021-03-10 04:04:39 +0100alx741(~alx741@186.178.108.96) (Quit: alx741)
2021-03-10 04:10:47 +0100FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-10 04:10:47 +0100finn_elijaGuest26419
2021-03-10 04:10:47 +0100FinnElijafinn_elija
2021-03-10 04:12:35 +0100nineonine(~nineonine@50.216.62.2)
2021-03-10 04:12:51 +0100plutoniix(~q@184.82.196.144)
2021-03-10 04:13:09 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2021-03-10 04:13:50 +0100xff0x_(~xff0x@2001:1a81:539a:e500:ea26:ed35:813b:7a9a) (Ping timeout: 264 seconds)
2021-03-10 04:14:05 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-03-10 04:14:26 +0100Guest26419(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-03-10 04:14:35 +0100xff0x_(~xff0x@2001:1a81:539a:e500:6ab:a16:d7f6:10af)
2021-03-10 04:16:22 +0100inkbottle(~inkbottle@aaubervilliers-654-1-108-207.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-10 04:16:37 +0100topos(sid467876@gateway/web/irccloud.com/x-zlylmlnixcvrclez) ()
2021-03-10 04:16:42 +0100inkbottle(~inkbottle@aaubervilliers-654-1-108-207.w86-212.abo.wanadoo.fr)
2021-03-10 04:17:26 +0100mimi_vx(~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Ping timeout: 264 seconds)
2021-03-10 04:17:54 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 246 seconds)
2021-03-10 04:18:48 +0100topos(sid467876@gateway/web/irccloud.com/x-vhlxkhesrjutejsr)
2021-03-10 04:19:29 +0100topostapas
2021-03-10 04:25:19 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-03-10 04:27:13 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Remote host closed the connection)
2021-03-10 04:31:19 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-10 04:31:48 +0100toorevitimirp(~tooreviti@117.182.183.154) (Ping timeout: 256 seconds)
2021-03-10 04:33:12 +0100minoru_shiraeesh(~shiraeesh@46.34.206.251) (Ping timeout: 265 seconds)
2021-03-10 04:33:31 +0100c_wraith(~c_wraith@adjoint.us) (Ping timeout: 256 seconds)
2021-03-10 04:35:45 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-03-10 04:37:23 +0100ubert1(~Thunderbi@p200300ecdf25d9d5e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-03-10 04:37:23 +0100ubert(~Thunderbi@p200300ecdf25d90ce6b318fffe838f33.dip0.t-ipconnect.de)
2021-03-10 04:37:24 +0100theDon(~td@muedsl-82-207-238-174.citykom.de) (Ping timeout: 260 seconds)
2021-03-10 04:37:48 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-03-10 04:38:26 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-03-10 04:39:03 +0100theDon(~td@muedsl-82-207-238-252.citykom.de)
2021-03-10 04:41:25 +0100stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-03-10 04:41:44 +0100conal(~conal@192.145.118.107)
2021-03-10 04:42:06 +0100rameau(~mirc.one1@196.75.212.214)
2021-03-10 04:42:23 +0100jespada(~jespada@90.254.243.187) (Ping timeout: 265 seconds)
2021-03-10 04:43:09 +0100arun_karikalan(3b6364cc@59.99.100.204) (Quit: Connection closed)
2021-03-10 04:43:09 +0100mitchellsalad(uid40617@gateway/web/irccloud.com/x-iwkvoqzlrnkzeagp) (Quit: Connection closed for inactivity)
2021-03-10 04:43:20 +0100jespada(~jespada@90.254.243.187)
2021-03-10 04:44:47 +0100 <justsomeguy> What does the interchange law of applicative mean? a <*> pure v = pure (\f -> f v) <*> a
2021-03-10 04:46:05 +0100 <justsomeguy> Is it saying that an applicative containing functions applied to an applicative of values in the same context is the same as applying that function to every member element of the applicative containg values? (Does that even make sense?)
2021-03-10 04:46:15 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 246 seconds)
2021-03-10 04:48:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-10 04:48:26 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-10 04:48:31 +0100conal(~conal@192.145.118.107) (Quit: Computer has gone to sleep.)
2021-03-10 04:49:53 +0100nineonine(~nineonine@50.216.62.2)
2021-03-10 04:52:22 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-10 04:54:10 +0100stree(~stree@68.36.8.116)
2021-03-10 04:54:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-10 04:55:04 +0100rameau(~mirc.one1@196.75.212.214) (Ping timeout: 245 seconds)
2021-03-10 04:55:38 +0100rameau(~mirc.one1@196.75.212.214)
2021-03-10 04:56:01 +0100joehillen(~joehillen@unaffiliated/joehillen)
2021-03-10 04:56:33 +0100christo(~christo@2601:647:4c80:1e00:a15b:207e:615f:1056)
2021-03-10 04:56:36 +0100joehillen(~joehillen@unaffiliated/joehillen) ("Konversation terminated!")
2021-03-10 04:57:30 +0100christo(~christo@2601:647:4c80:1e00:a15b:207e:615f:1056) (Client Quit)
2021-03-10 04:58:48 +0100 <inkbottle> Right, `pure` doesn't have an effect, so whichever side of the `<*>` you put it has no influence on the effectfull side of it (not really answering your question, but part of it maybe)
2021-03-10 05:00:03 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-10 05:00:07 +0100 <inkbottle> For instance if it is a parser, `pure` won't consume any input
2021-03-10 05:00:31 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-10 05:01:29 +0100 <inkbottle> effectfull aspect*
2021-03-10 05:03:58 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-10 05:08:09 +0100 <inkbottle> > parse ((,) <$> (char 'a') <*> (pure 3)) "hello" "a"
2021-03-10 05:08:11 +0100 <lambdabot> error:
2021-03-10 05:08:11 +0100 <lambdabot> Variable not in scope:
2021-03-10 05:08:11 +0100 <lambdabot> parse :: f0 (a0, a1) -> [Char] -> [Char] -> t
2021-03-10 05:08:58 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds)
2021-03-10 05:09:06 +0100uberj(~uberj@unaffiliated/uberj) (Remote host closed the connection)
2021-03-10 05:09:39 +0100uberj(~uberj@unaffiliated/uberj)
2021-03-10 05:09:40 +0100 <inkbottle> > Text.Parsec.parse ((,) <$> (char 'a') <*> (pure 3)) "hello" "a"
2021-03-10 05:09:41 +0100 <lambdabot> error:
2021-03-10 05:09:42 +0100 <lambdabot> Not in scope: ‘Text.Parsec.parse’
2021-03-10 05:09:42 +0100 <lambdabot> No module named ‘Text.Parsec’ is imported.
2021-03-10 05:10:14 +0100Lycurgus(~niemand@98.4.114.199)
2021-03-10 05:11:16 +0100 <inkbottle> Anyway it would have had the same result as
2021-03-10 05:11:27 +0100 <inkbottle> parse (pure ($ 3) <*> ((,) <$> (char 'a'))) "hello" "a"
2021-03-10 05:12:12 +0100 <justsomeguy> Hmm, thanks for that, inkbottle
2021-03-10 05:12:22 +0100justsomeguysets up a project to try it out
2021-03-10 05:12:45 +0100mmaruseacph2(~mihai@198.199.100.72) (Ping timeout: 272 seconds)
2021-03-10 05:13:10 +0100mimi_vx(~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1)
2021-03-10 05:13:37 +0100 <inkbottle> And that mostly because `pure` doesn't touch the input thingy.
2021-03-10 05:14:59 +0100guest39``(~user@49.5.6.87)
2021-03-10 05:16:21 +0100inkbottle(~inkbottle@aaubervilliers-654-1-108-207.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-10 05:16:42 +0100inkbottle(~inkbottle@aaubervilliers-654-1-108-207.w86-212.abo.wanadoo.fr)
2021-03-10 05:17:08 +0100 <inkbottle> "hello" is just a string passed to give a name to the parser. "a" is the input string. I should have found a better way to run the parser without that unnecessary "hello" string.
2021-03-10 05:18:06 +0100guest39`(~user@49.5.6.87) (Read error: Connection reset by peer)
2021-03-10 05:18:19 +0100mmaruseacph2(~mihai@198.199.100.72)
2021-03-10 05:20:07 +0100nineonine(~nineonine@50.216.62.2) (Remote host closed the connection)
2021-03-10 05:20:43 +0100nineonine(~nineonine@50.216.62.2)
2021-03-10 05:20:55 +0100c_wraith(~c_wraith@adjoint.us)
2021-03-10 05:21:59 +0100howdoi(uid224@gateway/web/irccloud.com/x-fqbegxygueqsadzs) (Quit: Connection closed for inactivity)
2021-03-10 05:22:57 +0100howdoi(uid224@gateway/web/irccloud.com/x-ougcqwzeuzpljorc)
2021-03-10 05:24:55 +0100ezrakilty(~ezrakilty@97-113-55-149.tukw.qwest.net)
2021-03-10 05:28:48 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-10 05:40:32 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-10 05:45:55 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-10 05:47:33 +0100jophish(~jophish@li1766-207.members.linode.com) (Ping timeout: 245 seconds)
2021-03-10 05:47:58 +0100mimi_vx(~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Ping timeout: 260 seconds)
2021-03-10 05:51:36 +0100vodkaInferno(~wormphleg@104.131.156.184) (Read error: Connection reset by peer)
2021-03-10 05:51:47 +0100vodkaInferno(~wormphleg@104.131.156.184)
2021-03-10 05:52:30 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-03-10 05:53:21 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-03-10 05:55:04 +0100guest39``(~user@49.5.6.87) (Read error: Connection reset by peer)
2021-03-10 05:55:05 +0100gzj(~gzj@unaffiliated/gzj) (Read error: Connection reset by peer)
2021-03-10 05:55:25 +0100gzj(~gzj@unaffiliated/gzj)
2021-03-10 05:55:40 +0100guest39``(~user@49.5.6.87)
2021-03-10 05:57:18 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2021-03-10 06:01:16 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-10 06:01:45 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 264 seconds)
2021-03-10 06:02:39 +0100DTZUZU(~DTZUZO@205.ip-149-56-132.net)
2021-03-10 06:04:40 +0100conal(~conal@209.58.139.5)
2021-03-10 06:05:27 +0100CodeAlways(uid272474@gateway/web/irccloud.com/x-iwrstjeuktuytxyi) (Quit: Connection closed for inactivity)
2021-03-10 06:05:58 +0100mimi_vx(~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1)
2021-03-10 06:10:53 +0100elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-10 06:15:38 +0100mimi_vx(~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Ping timeout: 264 seconds)
2021-03-10 06:15:59 +0100thunderrd(~thunderrd@183.182.115.72) (Ping timeout: 272 seconds)
2021-03-10 06:16:21 +0100inkbottle(~inkbottle@aaubervilliers-654-1-108-207.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-10 06:16:41 +0100inkbottle(~inkbottle@aaubervilliers-654-1-108-207.w86-212.abo.wanadoo.fr)
2021-03-10 06:18:57 +0100thunderrd(~thunderrd@183.182.115.72)
2021-03-10 06:23:53 +0100inkbottle(~inkbottle@aaubervilliers-654-1-108-207.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-10 06:30:06 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) ("WeeChat 3.0.1")
2021-03-10 06:32:26 +0100APugNamedPugsley(~13052@2601:58a:8300:f6a0:3167:53:f72a:f09e) (Ping timeout: 264 seconds)
2021-03-10 06:36:08 +0100Zialus_PT(~RMF@199.125.37.188.rev.vodafone.pt)
2021-03-10 06:37:03 +0100Zialus(~RMF@199.125.37.188.rev.vodafone.pt) (Ping timeout: 256 seconds)
2021-03-10 06:38:26 +0100Fractalis(~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) (Ping timeout: 264 seconds)
2021-03-10 06:40:30 +0100jack1909(~qpls@cpeb4750e67d202-cmf81d0fad5840.cpe.net.fido.ca) (Ping timeout: 260 seconds)
2021-03-10 06:40:44 +0100roconnor(~roconnor@host-45-58-192-182.dyn.295.ca) (Remote host closed the connection)
2021-03-10 06:41:21 +0100roconnor(~roconnor@host-45-58-192-182.dyn.295.ca)
2021-03-10 06:41:53 +0100matryoshka`(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-10 06:42:02 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 264 seconds)
2021-03-10 06:42:18 +0100jack1909(~qpls@23.83.91.175)
2021-03-10 06:42:54 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-10 06:43:47 +0100mmohammadi9812(~mmohammad@2.178.147.15) (Quit: Quit)
2021-03-10 06:44:17 +0100e2(e2@sponsored.by.bnc4you.xyz) (Quit: Stable ZNC provider ##bnc4you)
2021-03-10 06:44:42 +0100e2(e2@sponsored.by.bnc4you.xyz)
2021-03-10 06:45:37 +0100geowiesnot_bis(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-03-10 06:46:09 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 264 seconds)
2021-03-10 06:47:38 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-03-10 06:51:23 +0100forgottenone(~forgotten@176.42.29.216)
2021-03-10 06:52:43 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-03-10 06:54:36 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-10 06:55:57 +0100cd540(4b87575b@075-135-087-091.res.spectrum.com)
2021-03-10 06:57:45 +0100idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-10 07:01:27 +0100unlink2(~unlink2@p5b0883d5.dip0.t-ipconnect.de)
2021-03-10 07:02:32 +0100stree(~stree@68.36.8.116) (Ping timeout: 256 seconds)
2021-03-10 07:03:08 +0100argento(~argent0@168.227.97.23)
2021-03-10 07:04:40 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-03-10 07:05:10 +0100blahblahblah(22de79ce@ec2-34-222-121-206.us-west-2.compute.amazonaws.com)
2021-03-10 07:05:35 +0100neuralisp(~neuralisp@171.115.182.201)
2021-03-10 07:06:18 +0100 <blahblahblah> Trying to upload a package on hackage results in "'cabal-version' must be at least 1.10" despite having package.cabal with >= 1.8
2021-03-10 07:06:31 +0100 <blahblahblah> Packaged exactly the same as previous releases.
2021-03-10 07:06:50 +0100 <blahblahblah> Any idea what is going on?
2021-03-10 07:07:05 +0100 <glguy> blahblahblah, cabal-version doesn't take a range (any more?)
2021-03-10 07:08:33 +0100 <glguy> https://cabal.readthedocs.io/en/3.4/file-format-changelog.html?highlight=cabal-version#package-des…
2021-03-10 07:09:32 +0100Bergle_1(~Bergle_4@101.165.90.119) (Remote host closed the connection)
2021-03-10 07:09:33 +0100elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-03-10 07:09:53 +0100Bergle_1(~Bergle_4@101.165.90.119)
2021-03-10 07:09:56 +0100 <blahblahblah> I see. So... which versions are supported by Hackage? All of them?
2021-03-10 07:10:51 +0100 <glguy> presumably the ones from 1.10 up
2021-03-10 07:11:00 +0100 <blahblahblah> I see. Thank you.
2021-03-10 07:11:53 +0100mimi_vx(~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1)
2021-03-10 07:13:00 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1)
2021-03-10 07:13:48 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 245 seconds)
2021-03-10 07:13:52 +0100blahblahblah(22de79ce@ec2-34-222-121-206.us-west-2.compute.amazonaws.com) (Quit: Connection closed)
2021-03-10 07:14:46 +0100stree(~stree@68.36.8.116)
2021-03-10 07:16:45 +0100jrqc(~rofl@96.78.87.197)
2021-03-10 07:24:32 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-10 07:25:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-10 07:25:34 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-03-10 07:28:03 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 07:28:15 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-10 07:28:47 +0100ukari(~ukari@unaffiliated/ukari)
2021-03-10 07:29:29 +0100redmp(~redmp@172.58.35.128) (Quit: getting nowhere)
2021-03-10 07:29:33 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds)
2021-03-10 07:29:36 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Remote host closed the connection)
2021-03-10 07:32:49 +0100arrowsvc_(~arr@2.93.163.35)
2021-03-10 07:34:03 +0100idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-03-10 07:34:31 +0100idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-10 07:35:22 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 07:35:44 +0100Varis(~Tadas@unaffiliated/varis)
2021-03-10 07:35:53 +0100xff0x_(~xff0x@2001:1a81:539a:e500:6ab:a16:d7f6:10af) (Ping timeout: 260 seconds)
2021-03-10 07:36:46 +0100xff0x_(~xff0x@2001:1a81:539a:e500:1c82:f001:cfdb:c4cd)
2021-03-10 07:38:17 +0100Varis(~Tadas@unaffiliated/varis) (Client Quit)
2021-03-10 07:39:03 +0100johannes(~johannes@b2b-37-24-119-189.unitymedia.biz)
2021-03-10 07:39:15 +0100Lycurgus(~niemand@98.4.114.199) (Quit: Exeunt)
2021-03-10 07:39:41 +0100graf_blutwurst(~user@2001:171b:226e:adc0:c1fc:bf0e:a9e3:f70e)
2021-03-10 07:39:58 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Ping timeout: 260 seconds)
2021-03-10 07:40:50 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-10 07:40:51 +0100guest39``(~user@49.5.6.87) (Read error: Connection reset by peer)
2021-03-10 07:40:57 +0100Alex55(5b2ee6a8@p5b2ee6a8.dip0.t-ipconnect.de)
2021-03-10 07:45:44 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net)
2021-03-10 07:46:01 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds)
2021-03-10 07:46:33 +0100mimi_vx(~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Ping timeout: 272 seconds)
2021-03-10 07:46:51 +0100waleee-cl(uid373333@gateway/web/irccloud.com/x-oqznulkyteygitwy) (Quit: Connection closed for inactivity)
2021-03-10 07:47:02 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-vnpfnslhfdyhjhtg) (Quit: Connection closed for inactivity)
2021-03-10 07:48:14 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-03-10 07:51:16 +0100ezrakilty(~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection)
2021-03-10 07:51:44 +0100mirrorbird(~dwsjeid91@91.193.4.10)
2021-03-10 07:52:56 +0100marinelli(~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli)
2021-03-10 07:52:56 +0100neuralisp(~neuralisp@171.115.182.201) (Read error: Connection reset by peer)
2021-03-10 07:53:23 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-10 07:53:26 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-03-10 07:53:46 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-03-10 07:55:18 +0100Alex55(5b2ee6a8@p5b2ee6a8.dip0.t-ipconnect.de) (Quit: Connection closed)
2021-03-10 07:55:59 +0100Alex55(~root@p5b2ee6a8.dip0.t-ipconnect.de)
2021-03-10 07:57:23 +0100cd540(4b87575b@075-135-087-091.res.spectrum.com) (Ping timeout: 240 seconds)
2021-03-10 07:57:53 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-03-10 07:58:26 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2021-03-10 07:58:38 +0100michalz(~user@185.246.204.47)
2021-03-10 07:59:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-10 08:00:22 +0100mimi_vx(~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1)
2021-03-10 08:00:47 +0100minoru_shiraeesh(~shiraeesh@46.34.206.251)
2021-03-10 08:01:59 +0100howdoi(uid224@gateway/web/irccloud.com/x-ougcqwzeuzpljorc) (Quit: Connection closed for inactivity)
2021-03-10 08:02:21 +0100kafl_(~kafl@unaffiliated/kafl)
2021-03-10 08:02:42 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-03-10 08:03:45 +0100kafl(~kafl@unaffiliated/kafl) (Ping timeout: 256 seconds)
2021-03-10 08:07:15 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 08:08:40 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Remote host closed the connection)
2021-03-10 08:09:38 +0100neuralisp(~neuralisp@171.115.182.201)
2021-03-10 08:09:44 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 08:11:29 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-03-10 08:11:30 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-10 08:13:24 +0100aforemny(~aforemny@static.248.158.34.188.clients.your-server.de)
2021-03-10 08:13:59 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-03-10 08:14:23 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Ping timeout: 260 seconds)
2021-03-10 08:18:39 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-03-10 08:20:57 +0100marinelli(~marinelli@gateway/tor-sasl/marinelli)
2021-03-10 08:28:02 +0100kam1(~kam1@83.123.154.198) (Read error: Connection reset by peer)
2021-03-10 08:28:05 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-10 08:32:34 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds)
2021-03-10 08:34:46 +0100marinelli(~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli)
2021-03-10 08:35:02 +0100marinelli(~marinelli@gateway/tor-sasl/marinelli)
2021-03-10 08:42:34 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 245 seconds)
2021-03-10 08:44:13 +0100sablib1(~sablib@59.173.154.11) (Ping timeout: 245 seconds)
2021-03-10 08:45:32 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 08:45:59 +0100Varis(~Tadas@unaffiliated/varis)
2021-03-10 08:48:37 +0100minoru_shiraeesh(~shiraeesh@46.34.206.251) (Ping timeout: 276 seconds)
2021-03-10 08:51:02 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Ping timeout: 264 seconds)
2021-03-10 08:51:39 +0100Kaiepi(~Kaiepi@47.54.252.148)
2021-03-10 08:55:50 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-10 09:00:02 +0100aarvar(~foewfoiew@2601:602:a080:fa0:f5c0:50eb:5dcd:a8d4) (Ping timeout: 264 seconds)
2021-03-10 09:02:16 +0100pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-03-10 09:04:14 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 260 seconds)
2021-03-10 09:05:40 +0100mananamenos(~mananamen@193.red-88-11-66.dynamicip.rima-tde.net)
2021-03-10 09:05:52 +0100usr25(~usr25@unaffiliated/usr25)
2021-03-10 09:10:01 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-rvjwhtgydgfpssbm)
2021-03-10 09:11:23 +0100roconnor(~roconnor@host-45-58-192-182.dyn.295.ca) (Remote host closed the connection)
2021-03-10 09:11:25 +0100matryoshka`(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 272 seconds)
2021-03-10 09:11:55 +0100roconnor(~roconnor@host-45-58-192-182.dyn.295.ca)
2021-03-10 09:12:40 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-10 09:12:47 +0100asheshambasta(~user@ptr-e1lysauv26w29gc2wg9.18120a2.ip6.access.telenet.be)
2021-03-10 09:13:44 +0100asheshambasta(~user@ptr-e1lysauv26w29gc2wg9.18120a2.ip6.access.telenet.be) (Client Quit)
2021-03-10 09:14:04 +0100asheshambasta(~user@ptr-e1lysauv26w29gc2wg9.18120a2.ip6.access.telenet.be)
2021-03-10 09:15:07 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de)
2021-03-10 09:15:21 +0100m1dnight_(~m1dnight@78-22-9-5.access.telenet.be)
2021-03-10 09:16:33 +0100Yumasi(~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr)
2021-03-10 09:20:58 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-03-10 09:21:04 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:5303:eebf:d00a:13d3)
2021-03-10 09:23:21 +0100stree(~stree@68.36.8.116) (Ping timeout: 264 seconds)
2021-03-10 09:23:35 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-10 09:24:10 +0100neiluj(~jco@unaffiliated/neiluj) (Ping timeout: 265 seconds)
2021-03-10 09:24:28 +0100Cesdo(~cesdo@87.239.32.225) (Read error: No route to host)
2021-03-10 09:26:15 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-03-10 09:30:13 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:5303:eebf:d00a:13d3) (Ping timeout: 260 seconds)
2021-03-10 09:30:52 +0100atomi(~atomi@35.71.197.35.bc.googleusercontent.com) (Remote host closed the connection)
2021-03-10 09:34:26 +0100neuralisp(~neuralisp@171.115.182.201) (Quit: neuralisp)
2021-03-10 09:35:30 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2021-03-10 09:36:10 +0100stree(~stree@68.36.8.116)
2021-03-10 09:36:31 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-10 09:37:34 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-10 09:44:30 +0100kritzefitz(~kritzefit@p548c9398.dip0.t-ipconnect.de)
2021-03-10 09:49:31 +0100kritzefitz(~kritzefit@p548c9398.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2021-03-10 09:49:44 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-03-10 09:49:52 +0100kritzefitz(~kritzefit@2003:5b:203b:200::10:49)
2021-03-10 09:52:19 +0100geowiesnot_bis(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 276 seconds)
2021-03-10 09:52:34 +0100acidjnk_new(~acidjnk@p200300d0c72b95704cd799b0a8031c33.dip0.t-ipconnect.de)
2021-03-10 09:55:18 +0100ircbrowse_tom(~ircbrowse@64.225.78.177)
2021-03-10 09:55:18 +0100Server+CLnt
2021-03-10 09:55:44 +0100tomsmeding(~tomsmedin@tomsmeding.com) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-10 09:57:24 +0100dave_uy(~david@108.61.193.26) (Ping timeout: 246 seconds)
2021-03-10 09:57:32 +0100madnificent_madnificent
2021-03-10 09:58:09 +0100bcmiller(~bm3719@66.42.95.185) (Ping timeout: 256 seconds)
2021-03-10 09:58:09 +0100Kaiepi(~Kaiepi@47.54.252.148) (Ping timeout: 264 seconds)
2021-03-10 09:58:23 +0100byorgey(~byorgey@155.138.238.211) (Ping timeout: 268 seconds)
2021-03-10 09:58:23 +0100tomsmeding(~tomsmedin@tomsmeding.com)
2021-03-10 09:58:34 +0100Kaiepi(~Kaiepi@47.54.252.148)
2021-03-10 09:59:09 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2021-03-10 10:02:37 +0100ADG1089__(~aditya@223.226.235.12)
2021-03-10 10:04:04 +0100knupfer(~Thunderbi@200116b82cb0c700f8d24cfffec7c8cb.dip.versatel-1u1.de)
2021-03-10 10:06:28 +0100knupfer(~Thunderbi@200116b82cb0c700f8d24cfffec7c8cb.dip.versatel-1u1.de) (Remote host closed the connection)
2021-03-10 10:07:27 +0100tvn(~tvn@37.120.211.188) (Remote host closed the connection)
2021-03-10 10:08:19 +0100heatsink(~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Remote host closed the connection)
2021-03-10 10:10:24 +0100neiluj(~jco@91-167-203-101.subs.proxad.net)
2021-03-10 10:11:07 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:d309:85bd:e842:5451)
2021-03-10 10:11:28 +0100aggin(~ecm@103.88.87.70)
2021-03-10 10:12:47 +0100ubert(~Thunderbi@p200300ecdf25d90ce6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-03-10 10:15:52 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 10:16:33 +0100m1dnight_(~m1dnight@78-22-9-5.access.telenet.be) (Quit: WeeChat 2.4)
2021-03-10 10:18:10 +0100m1dnight_(~m1dnight@78-22-9-5.access.telenet.be)
2021-03-10 10:20:03 +0100byorgey(~byorgey@155.138.238.211)
2021-03-10 10:20:26 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Ping timeout: 264 seconds)
2021-03-10 10:20:39 +0100cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0.1)
2021-03-10 10:20:44 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it)
2021-03-10 10:21:33 +0100dave_uy(~david@108.61.193.26)
2021-03-10 10:21:38 +0100xff0x_(~xff0x@2001:1a81:539a:e500:1c82:f001:cfdb:c4cd) (Ping timeout: 264 seconds)
2021-03-10 10:22:00 +0100xff0x_(~xff0x@2001:1a81:539a:e500:a3f:28c8:6043:6a40)
2021-03-10 10:22:07 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds)
2021-03-10 10:22:15 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-03-10 10:24:49 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2021-03-10 10:24:50 +0100bcmiller(~bm3719@66.42.95.185)
2021-03-10 10:26:13 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-rvjwhtgydgfpssbm) ()
2021-03-10 10:26:53 +0100jack1909(~qpls@23.83.91.175) (Ping timeout: 272 seconds)
2021-03-10 10:29:55 +0100zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-03-10 10:30:41 +0100raym(~ray@45.64.220.113)
2021-03-10 10:32:19 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-03-10 10:33:17 +0100zaquest(~notzaques@5.128.210.178)
2021-03-10 10:34:06 +0100 <ADG1089__> I was trying to use criterion to benchmark some of my function but it seems if they don't accept any argument then laziness replaces the function with the return value itself, which is a little problematic. Any idea to overcome this?
2021-03-10 10:35:25 +0100 <merijn> ADG1089__: turn it into a function :p
2021-03-10 10:35:32 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds)
2021-03-10 10:35:51 +0100kuribas(~user@ptr-25vy0i7qqmcrk0iummz.18120a2.ip6.access.telenet.be)
2021-03-10 10:35:57 +0100aggin(~ecm@103.88.87.70) (Quit: WeeChat 3.0.1)
2021-03-10 10:36:04 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-10 10:37:28 +0100 <mananamenos> Hi, I have this pseudo code snippet https://gist.github.com/mananamenos/1fba33e62e0df088205c9c7b183ae2cd. So in AppM I call functions (get, post..) which take a parameter of type HandlerM, so I cannot wrap my AppM into my custom ReaderT monad, cause then there is no way those HandlerM paramaters of get function could use the same ReaderT. Therefore the snippet: every endpoint now has to call `runReaderT`. Is this ok? Can
2021-03-10 10:37:28 +0100 <mananamenos> I write this better?
2021-03-10 10:37:31 +0100rameau(~mirc.one1@196.75.212.214) (Remote host closed the connection)
2021-03-10 10:38:35 +0100ph88(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de)
2021-03-10 10:46:38 +0100m2rrorbird(dwsjeid911@gateway/vpn/mullvad/dwsjeid911)
2021-03-10 10:47:53 +0100mimi_vx(~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Quit: WeeChat 3.1)
2021-03-10 10:48:24 +0100 <ADG1089__> merijn: I introduced a bogus parameter which wasn't being used, but I thing ghc detected that and did not evaluate the function again. getting runtime in nanoseconds for functions that take few seconds. Actually it would be better to call them constants
2021-03-10 10:49:31 +0100mirrorbird(~dwsjeid91@91.193.4.10) (Ping timeout: 276 seconds)
2021-03-10 10:49:35 +0100__monty__(~toonn@unaffiliated/toonn)
2021-03-10 10:50:14 +0100mirrorbird(~dwsjeid91@2a00:801:3f8:23a5:cea1:f987:d427:ba9b)
2021-03-10 10:50:30 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net)
2021-03-10 10:51:59 +0100motherfsck(~motherfsc@unaffiliated/motherfsck) (Read error: Connection reset by peer)
2021-03-10 10:52:42 +0100m2rrorbird(dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Ping timeout: 246 seconds)
2021-03-10 10:53:23 +0100argento(~argent0@168.227.97.23) (Ping timeout: 245 seconds)
2021-03-10 10:57:54 +0100aarvar(~foewfoiew@2601:602:a080:fa0:f5c0:50eb:5dcd:a8d4)
2021-03-10 11:00:19 +0100joseph2(~joseph@cpe-24-208-140-96.insight.res.rr.com)
2021-03-10 11:01:05 +0100CodeAlways(uid272474@gateway/web/irccloud.com/x-qnrftuddbqltquxi)
2021-03-10 11:03:12 +0100joseph1(~joseph@cpe-65-31-18-174.insight.res.rr.com) (Ping timeout: 246 seconds)
2021-03-10 11:04:18 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-03-10 11:05:09 +0100ukari(~ukari@unaffiliated/ukari)
2021-03-10 11:07:11 +0100thc202(~thc202@unaffiliated/thc202)
2021-03-10 11:08:44 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a)
2021-03-10 11:13:50 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds)
2021-03-10 11:14:29 +0100motherfsck(~motherfsc@unaffiliated/motherfsck)
2021-03-10 11:24:45 +0100jacks2(~bc8134e3@217.29.117.252)
2021-03-10 11:25:58 +0100 <jacks2> ADG1089__, if it doesn't accept any arguments it isn't a function. what's the actual type?
2021-03-10 11:32:18 +0100 <tomsmeding> mananamenos: not it looks fine to me, to be honest
2021-03-10 11:32:46 +0100 <tomsmeding> if you like more magic, you could try to use the mtl approach, where you let functions work in a typeclass-ed monad
2021-03-10 11:34:18 +0100 <mananamenos> tomsmeding, thank you. Right, this is what I'm actually reading/looking about right now xD
2021-03-10 11:35:26 +0100 <tomsmeding> mananamenos: though on second thoughts, I'm not sure that will help you much here; your problem is the other way round: it's not a function in monad m that you want to call in a larger monad m', but a function that _takes_ an argument in monad m that you'd like to instead provide an argument of a larger monad m'
2021-03-10 11:35:32 +0100 <tomsmeding> in general that can't work, of course
2021-03-10 11:36:08 +0100 <tomsmeding> as an extreme example, a function that wants an argument in the Reader monad can't be massaged to take an argument in IO, in general
2021-03-10 11:36:20 +0100loyon(loyonmatri@gateway/shell/matrix.org/x-pnufdayfznwnuums) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:22 +0100hsiktas[m](hsiktasmat@gateway/shell/matrix.org/x-cyaabyhfuyvoxqpo) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:23 +0100kadoban(kadobanemp@gateway/shell/matrix.org/x-jmopghdotibeqpvo) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:23 +0100JaakkoLuttinen[m(jluttinema@gateway/shell/matrix.org/x-nsopxdhafmyjbgcc) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:23 +0100fgaz(fgazmatrix@gateway/shell/matrix.org/x-yguyfyqjremfbkfs) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:23 +0100heck-to-the-gnom(heck-to-th@gateway/shell/matrix.org/x-gsusihhksyxhkmvx) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:25 +0100sigmacool[m](sigmacoolm@gateway/shell/matrix.org/x-hrctfofefschsgwh) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:25 +0100simara[m](simaramatr@gateway/shell/matrix.org/x-dckaxkaaasuvaumo) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:25 +0100jtojnar(jtojnarmat@gateway/shell/matrix.org/x-nemjmawtxnucncbk) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:25 +0100immae(immaematri@gateway/shell/matrix.org/x-kanozzlnyfzodeoe) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:25 +0100sm[m](simonmicma@gateway/shell/matrix.org/x-kfjwhkilnrmtiqzr) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:25 +0100unclechu(unclechuma@gateway/shell/matrix.org/x-uxortgpodmpgutfq) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:25 +0100DamienCassou(damiencass@gateway/shell/matrix.org/x-kigjdqwdwvpjebga) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:25 +0100meff[m]1(meffsunado@gateway/shell/matrix.org/x-bhggmttmkrzvyggc) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:25 +0100pineapples[m](pineapples@gateway/shell/matrix.org/x-yodeebrpycxvvfhd) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:27 +0100darkcodi[m](darkcodima@gateway/shell/matrix.org/x-xjmhgcxlpysirlzx) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:27 +0100Ericson2314(ericson231@gateway/shell/matrix.org/x-mqrfmtvzohzxsodp) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:27 +0100ManofLetters[m](manoflette@gateway/shell/matrix.org/x-xhemtjphkmydmucx) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-nmamuvshyesecffd) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100srid(sridmatrix@gateway/shell/matrix.org/x-xlwlcbjfdgaskbuc) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100PotatoHatsue(berbermanp@gateway/shell/matrix.org/x-yluorskaumyihrcn) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100beardhatcode(robbertbea@gateway/shell/matrix.org/x-fucrwzurqfdnkyfb) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100CrabMan(phi-matrix@gateway/shell/matrix.org/x-elrhfvlhlcoczwse) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100MichaelHoffmannb(brisadmozi@gateway/shell/matrix.org/x-xmqzxkgsheepjdjp) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100johnnyboy[m](gifumatrix@gateway/shell/matrix.org/x-zvkdvuuatxmtttsb) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100ThaEwat(thaewraptm@gateway/shell/matrix.org/x-gtizoflguipwdywi) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100Lurkki[m]1(lurkkifene@gateway/shell/matrix.org/x-yfuidztsaefpfasv) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100jkaye[m](jkayematri@gateway/shell/matrix.org/x-qffksefpcbeofquc) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100Lurkki[m](lurkkipriv@gateway/shell/matrix.org/x-svjjpwzvvfaqofmn) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-qyukuwejrzhlrohq) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100Robin[m]2(robinrobin@gateway/shell/matrix.org/x-cmsislyvxyumkemg) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100utdemir[m](utdemirmat@gateway/shell/matrix.org/x-gpwaueemnpfdcwea) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100Hanma[m](hanmamatri@gateway/shell/matrix.org/x-pkofqmewlpdcrykb) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100toasty_avocado[m(toastyavoc@gateway/shell/matrix.org/x-rilvilfetmqcjeab) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100mly[m](mlydisenco@gateway/shell/matrix.org/x-vsddcgdrozvrcpfd) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:28 +0100 <mananamenos> tomsmeding, the biggest advantage of this mtl, typeclass-ed monad approach is that you dont hardcode your readerT right until the last step right? and then you change the implementation of the readerT to another underlying monad for test purpose for example?
2021-03-10 11:36:29 +0100plumenator[m](plumenator@gateway/shell/matrix.org/x-wsciyhumoeseodpa) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:29 +0100jerin(jerinmatri@gateway/shell/matrix.org/x-mzzaywiqoeclvrmt) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:29 +0100sramsay64[m](sramsay64p@gateway/shell/matrix.org/x-yvgptxnhoswmcqba) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:29 +0100michaelpj(michaelpjm@gateway/shell/matrix.org/x-peeuxxsdomqfhtbj) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:30 +0100anon1891[m](anon1891ma@gateway/shell/matrix.org/x-gkpezsilaexknhmv) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:30 +0100kadobanana(kadoban9he@gateway/shell/matrix.org/x-gliltzokamjplayu) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:30 +0100speakerspivakeem(speakerdea@gateway/shell/matrix.org/x-nplqxycskjtzpnfg) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:30 +0100maerwald[m](maerwaldma@gateway/shell/matrix.org/x-hmfxsgugtuaqfrpt) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:30 +0100my_name_is_not_j(mynameisno@gateway/shell/matrix.org/x-kjoeodzseshxepvl) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:30 +0100psydruid(psydruidma@gateway/shell/matrix.org/x-ctzchnfbikopgirx) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:30 +0100M53K5HUN_8[m](M53k5hun8m@gateway/shell/matrix.org/x-uoztttdwldeuechk) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:30 +0100siraben(sirabenmat@gateway/shell/matrix.org/x-ljnrpkuqhybjbqrm) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:30 +0100rust-rocks[m](rust-rocks@gateway/shell/matrix.org/x-gcvobzthaxbvupil) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:30 +0100enya[m](enyaismatr@gateway/shell/matrix.org/x-saaasqrjbmlqfwhw) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:31 +0100 <tomsmeding> the thing here is that Reader is fairly innocuous, and in fact you can eliminate it directly here
2021-03-10 11:36:32 +0100bitonic(bitonicmat@gateway/shell/matrix.org/x-xolbnvrpcfpyxhwo) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:32 +0100mjlbach(atriusmatr@gateway/shell/matrix.org/x-nddsubvqwkcbmidr) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:33 +0100alar[m](alarmxalat@gateway/shell/matrix.org/x-btirhtujftoyatyv) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:33 +0100joe[m]3(joemonoida@gateway/shell/matrix.org/x-heehkpixvzbakbkb) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:33 +0100lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-nqikzoyzzbkxkkev) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:33 +0100VarikValefor[m](varikvalef@gateway/shell/matrix.org/x-hkuasadpkiomztte) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:33 +0100alecs[m](malumorema@gateway/shell/matrix.org/x-dipfcuykpbkbqeke) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:34 +0100jeffcasavant[m]1(jeffcasava@gateway/shell/matrix.org/x-romdayesernblvyy) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:34 +0100alexfmpe(alexfmpema@gateway/shell/matrix.org/x-cseojiaisucumjfd) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:36 +0100lambdaclan(lambdaclan@gateway/shell/matrix.org/x-jiodvserklaqeevq) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:38 +0100maralorn(maralornma@gateway/shell/matrix.org/x-uxbseyfakmhjsikg) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:38 +0100the_1_[m](the1matrix@gateway/shell/matrix.org/x-azpuapzwzrdxqaxc) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:38 +0100domenkozar[m](domenkozar@NixOS/user/domenkozar) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:38 +0100Pressyware[m](pressyware@gateway/shell/matrix.org/x-plprftxrswzlfsuf) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:38 +0100a-tsioh[m](a-tsiohmat@gateway/shell/matrix.org/x-uvugmgtwtycebrwk) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:38 +0100berberman[T](berberma4@gateway/shell/matrix.org/x-vvymcwfscdivsdlx) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:38 +0100mud(kadobanmat@gateway/shell/matrix.org/x-qmcvpkrinjigllxf) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:38 +0100Haskman[m](haskmanmat@gateway/shell/matrix.org/x-rskmegwndatuqvsm) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:38 +0100arcontethegreat[(arcontethe@gateway/shell/matrix.org/x-tdaiuqgmbdibjmlc) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:39 +0100freeman42x[m]1(freeman42x@gateway/shell/matrix.org/x-mjfaafbtrzhgydze) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:41 +0100boistordu(boistordum@gateway/shell/matrix.org/x-alsxfyrrkthoxfgo) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:41 +0100invent[m](inventmatr@gateway/shell/matrix.org/x-acsaxyfzehsuqpnv) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:41 +0100AbtractSingleton(rasurumatr@gateway/shell/matrix.org/x-hsxpwrgsikiawcsr) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:36:41 +0100themsay[m](themsaymat@gateway/shell/matrix.org/x-hriptenclfowxntk) (Quit: Bridge terminating on SIGTERM)
2021-03-10 11:37:38 +0100 <tomsmeding> mananamenos: kind of, yes
2021-03-10 11:37:52 +0100 <tomsmeding> but also that you can let functions work in a bigger monad stack than they were designed for
2021-03-10 11:38:43 +0100polyrain(~polyrain@124.177.21.171)
2021-03-10 11:39:10 +0100ph88^(~ph88@2a02:8109:9e00:7e5c:5981:8991:829b:4f1d)
2021-03-10 11:39:14 +0100 <tomsmeding> for example, if a function 'foo' wants to run in a Reader Environment monad, but you're instead working in a ReaderT Environment WhateverM, then you you could write 'foo' to hvae signature foo :: MonadReader Environment m => m result instead of foo :: Reader Environment result
2021-03-10 11:39:55 +0100 <tomsmeding> then you could write instance Monad m => MonadReader e (ReaderT e m)
2021-03-10 11:40:24 +0100 <tomsmeding> but as I said, your problem is the other say round: not the result of a function that you want in a bigger monad, but an argument
2021-03-10 11:40:38 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2021-03-10 11:40:55 +0100 <jacks2> ADG1089__, if it is something like foo :: IO SomeType, doing this will force deep evaluation of the SomeType object: x <- foo; evaluate (force x);
2021-03-10 11:41:02 +0100 <tomsmeding> which you can't do in general using the mtl approach I believe; you could of course write a get' :: String -> e -> ReaderT e HandlerM () -> AppM ()
2021-03-10 11:41:15 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net)
2021-03-10 11:41:15 +0100 <tomsmeding> mananamenos: but I suppose you already thought of that :)
2021-03-10 11:41:47 +0100 <jacks2> ADG1089__, in that case, time both x <- foo and evaluate (force x)
2021-03-10 11:41:57 +0100ph88(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2021-03-10 11:44:23 +0100stree(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-03-10 11:45:22 +0100blahblahblah(6719f216@103.25.242.22)
2021-03-10 11:46:50 +0100 <tomsmeding> ADG1089__: the 'force' is not necessary if evaluating the result to WHNF is sufficient
2021-03-10 11:48:49 +0100Hanma[m](hanmamatri@gateway/shell/matrix.org/x-efytsvxrhnkbgydz)
2021-03-10 11:49:13 +0100 <blahblahblah> cabal check gives me a warning about using a fixed version before 1.10, even though I'm not using 1.10. The problem is it exits with a nonzero exit code. Shouldn't cabal check only exit with error code for... errors?
2021-03-10 11:50:54 +0100 <tomsmeding> blahblahblah: 'cabal check --help' says 'If no errors and warnings are reported, Hackage will accept this package.'
2021-03-10 11:51:01 +0100 <tomsmeding> so I assume it's by design?
2021-03-10 11:51:49 +0100 <tomsmeding> also supporting cabal 1.8 sounds not very useful to me
2021-03-10 11:52:36 +0100fendor(~fendor@178.165.128.28.wireless.dyn.drei.com)
2021-03-10 11:53:52 +0100 <mananamenos> tomsmeding, thanks!
2021-03-10 11:54:11 +0100xlei(znc@unaffiliated/xlei) (Quit: ZNC - https://znc.in)
2021-03-10 11:54:28 +0100ubert(~Thunderbi@p200300ecdf25d90ce6b318fffe838f33.dip0.t-ipconnect.de)
2021-03-10 11:55:09 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-03-10 11:56:57 +0100blahblahblah(6719f216@103.25.242.22) (Quit: Connection closed)
2021-03-10 11:57:27 +0100stree(~stree@68.36.8.116)
2021-03-10 11:57:46 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-10 11:58:39 +0100m2rrorbird(dwsjeid911@gateway/vpn/mullvad/dwsjeid911)
2021-03-10 11:59:56 +0100Raito_Bezarius(~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 240 seconds)
2021-03-10 12:00:29 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 268 seconds)
2021-03-10 12:00:37 +0100mirrorbird(~dwsjeid91@2a00:801:3f8:23a5:cea1:f987:d427:ba9b) (Read error: Connection reset by peer)
2021-03-10 12:02:07 +0100mirrorb2rd(~dwsjeid91@2a00:801:3f8:23a5:cea1:f987:d427:ba9b)
2021-03-10 12:05:25 +0100m2rrorbird(dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Ping timeout: 268 seconds)
2021-03-10 12:06:46 +0100zq(~zq@xorshift.org)
2021-03-10 12:06:57 +0100 <zq> :t 6
2021-03-10 12:06:58 +0100 <lambdabot> Num p => p
2021-03-10 12:07:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-10 12:08:03 +0100xlei(znc@unaffiliated/xlei)
2021-03-10 12:08:04 +0100 <zq> how do i figure out which package typeclass Partial resides in?
2021-03-10 12:08:24 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-gbfjzprbmmawtnrl)
2021-03-10 12:08:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-10 12:10:08 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a)
2021-03-10 12:11:48 +0100 <[exa]> zq: you hoogle it on hoogle :]
2021-03-10 12:12:36 +0100 <[exa]> ...but not sure if there's the actual Partial typeclass: https://hoogle.haskell.org/?hoogle=Partial
2021-03-10 12:12:51 +0100Raito_Bezarius(~Raito@unaffiliated/raito-bezarius/x-8764578)
2021-03-10 12:13:25 +0100 <[exa]> (perhaps it's the `type Partial=HasCallStack` from `safe` ?)
2021-03-10 12:15:02 +0100 <zq> [exa]: thanks, it's been a while since i've last haskelled and i forgot about the hoogle name
2021-03-10 12:15:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds)
2021-03-10 12:15:28 +0100 <zq> the one i'm looking at is from Control.Exception.Extra
2021-03-10 12:18:33 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-10 12:19:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-10 12:22:06 +0100 <ADG1089__> @pl \x -> f x && g x
2021-03-10 12:22:06 +0100 <lambdabot> liftM2 (&&) f g
2021-03-10 12:22:08 +0100sh91(~sh9@softbank060116136158.bbtec.net) (Ping timeout: 256 seconds)
2021-03-10 12:22:41 +0100 <ADG1089__> :t \x -> (&&) <*> f <&> g
2021-03-10 12:22:42 +0100 <lambdabot> error:
2021-03-10 12:22:42 +0100 <lambdabot> • Could not deduce (FromExpr Bool) arising from a use of ‘f’
2021-03-10 12:22:43 +0100 <lambdabot> from the context: FromExpr b
2021-03-10 12:22:56 +0100 <ADG1089__> :t (&&) <*> f <&> g
2021-03-10 12:22:58 +0100 <lambdabot> error:
2021-03-10 12:22:58 +0100 <lambdabot> • Could not deduce (FromExpr Bool) arising from a use of ‘f’
2021-03-10 12:22:58 +0100 <lambdabot> from the context: FromExpr b
2021-03-10 12:24:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-10 12:25:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-10 12:26:16 +0100sablib1(~sablib@171.113.166.176)
2021-03-10 12:29:34 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl)
2021-03-10 12:29:34 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-03-10 12:29:34 +0100mouseghost(~draco@wikipedia/desperek)
2021-03-10 12:29:44 +0100 <zq> really not a fan of type HasCallStack = ?callStack :: CallStack
2021-03-10 12:30:06 +0100 <zq> it completely obscures the variable that is in scope
2021-03-10 12:30:28 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-10 12:31:10 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-10 12:32:20 +0100 <tomsmeding> :t \f g -> (&&) <$> f <*> g
2021-03-10 12:32:21 +0100 <lambdabot> Applicative f => f Bool -> f Bool -> f Bool
2021-03-10 12:32:25 +0100 <tomsmeding> ADG1089__: ^
2021-03-10 12:33:37 +0100 <tomsmeding> <$> = fmap takes (&&) :: Bool -> (Bool -> Bool) and f :: f Bool and applies (&&) under the applicative, producing f (Bool -> Bool)
2021-03-10 12:34:06 +0100 <tomsmeding> <*> takes f (Bool -> Bool) and f Bool and applies a function within the applicative to the argument, producing f Bool
2021-03-10 12:34:17 +0100ralu(~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat)
2021-03-10 12:34:17 +0100 <tomsmeding> :t \f g -> pure (&&) <*> f <*> g
2021-03-10 12:34:19 +0100 <lambdabot> Applicative f => f Bool -> f Bool -> f Bool
2021-03-10 12:34:52 +0100 <tomsmeding> <*> is like <$> except it takes a function within the applicative instead a plain function
2021-03-10 12:35:38 +0100 <tomsmeding> <$> <*> is not just a magic pattern, it also means something :)
2021-03-10 12:35:42 +0100zceejkr(~wintermut@cpe-62-84-236-30.dynamic.amis.net) (Ping timeout: 260 seconds)
2021-03-10 12:36:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-10 12:36:28 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-10 12:38:21 +0100polyrain(~polyrain@124.177.21.171) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-10 12:40:30 +0100mjlbach(atriusmatr@gateway/shell/matrix.org/x-hqnwkbzsghjmoxpi)
2021-03-10 12:40:30 +0100johnnyboy[m](gifumatrix@gateway/shell/matrix.org/x-cmnwolhebsskkjat)
2021-03-10 12:40:30 +0100Ericson2314(ericson231@gateway/shell/matrix.org/x-tsyziegnksxmsvwe)
2021-03-10 12:40:30 +0100hsiktas[m](hsiktasmat@gateway/shell/matrix.org/x-wtctyeobgbtycmfg)
2021-03-10 12:40:30 +0100fgaz(fgazmatrix@gateway/shell/matrix.org/x-friwaqabluxhmgej)
2021-03-10 12:40:30 +0100alexfmpe(alexfmpema@gateway/shell/matrix.org/x-cqsqxuawqfrndsua)
2021-03-10 12:40:31 +0100rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-gnxotcamcepjeexd)
2021-03-10 12:40:31 +0100maralorn(maralornma@gateway/shell/matrix.org/x-rezinnajdbsjgswd)
2021-03-10 12:40:31 +0100Lurkki[m](lurkkipriv@gateway/shell/matrix.org/x-vfafddqdjrrwvxuo)
2021-03-10 12:40:31 +0100joe[m]1(joemonoida@gateway/shell/matrix.org/x-iwrcvynwdhbrkbpy)
2021-03-10 12:40:31 +0100CrabMan(phi-matrix@gateway/shell/matrix.org/x-nczsygxjwbeezjba)
2021-03-10 12:40:31 +0100plumenator[m](plumenator@gateway/shell/matrix.org/x-cpybsxhladtdobyy)
2021-03-10 12:40:31 +0100darkcodi[m](darkcodima@gateway/shell/matrix.org/x-inrhfypeakwpuzyp)
2021-03-10 12:40:31 +0100jerin(jerinmatri@gateway/shell/matrix.org/x-wykbrvrddoywvmzp)
2021-03-10 12:40:31 +0100lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-srceybalqosrlkbm)
2021-03-10 12:40:31 +0100simara[m](simaramatr@gateway/shell/matrix.org/x-jyuzgnopiyccambc)
2021-03-10 12:40:31 +0100themsay[m](themsaymat@gateway/shell/matrix.org/x-xirgdwxbkruwrkvn)
2021-03-10 12:40:31 +0100toasty_avocado[m(toastyavoc@gateway/shell/matrix.org/x-cecwjfvchqqwsnbp)
2021-03-10 12:40:31 +0100bitonic(bitonicmat@gateway/shell/matrix.org/x-jwmiqaganbdblqeb)
2021-03-10 12:40:32 +0100PotatoHatsue(berbermanp@gateway/shell/matrix.org/x-yflvdgmqjmthorbh)
2021-03-10 12:40:32 +0100beardhatcode(robbertbea@gateway/shell/matrix.org/x-vjzeowanvuthadhr)
2021-03-10 12:40:32 +0100siraben(sirabenmat@gateway/shell/matrix.org/x-fctrgxohijfkpiha)
2021-03-10 12:40:32 +0100Lurkki[m]1(lurkkifene@gateway/shell/matrix.org/x-xphwbmetgcvojjrb)
2021-03-10 12:40:32 +0100pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-tuhaqobqlcfizedi)
2021-03-10 12:40:32 +0100mud(kadobanmat@gateway/shell/matrix.org/x-sstqskkfxonsdequ)
2021-03-10 12:40:32 +0100immae(immaematri@gateway/shell/matrix.org/x-ddgivafyzeufmhvd)
2021-03-10 12:40:32 +0100the_1_[m](the1matrix@gateway/shell/matrix.org/x-fxqrujvorjgfkzsc)
2021-03-10 12:40:32 +0100VarikValefor[m](varikvalef@gateway/shell/matrix.org/x-qngheqbemrlhymqo)
2021-03-10 12:40:32 +0100arcontethegreat[(arcontethe@gateway/shell/matrix.org/x-nwmbkmnfxfryiwwe)
2021-03-10 12:40:33 +0100srid(sridmatrix@gateway/shell/matrix.org/x-cdqpzvogolvfjmux)
2021-03-10 12:40:33 +0100loyon(loyonmatri@gateway/shell/matrix.org/x-arvztttiwlrfmaxa)
2021-03-10 12:40:33 +0100alecs[m](malumorema@gateway/shell/matrix.org/x-djxjolbuzjvpmhmg)
2021-03-10 12:40:33 +0100anon1891[m](anon1891ma@gateway/shell/matrix.org/x-lippvhyxklxhxpra)
2021-03-10 12:40:33 +0100psydruid(psydruidma@gateway/shell/matrix.org/x-hgwbwoywnwmngtzr)
2021-03-10 12:40:33 +0100mly[m](mlydisenco@gateway/shell/matrix.org/x-ljqtcmanvrbtjrvd)
2021-03-10 12:40:33 +0100kadobanana(kadoban9he@gateway/shell/matrix.org/x-drzyvrhvrhnnvqso)
2021-03-10 12:40:33 +0100DamienCassou(damiencass@gateway/shell/matrix.org/x-tlmsequqsufzwifv)
2021-03-10 12:40:33 +0100michaelpj(michaelpjm@gateway/shell/matrix.org/x-pukypexbajprbsoa)
2021-03-10 12:40:33 +0100my_name_is_not_j(mynameisno@gateway/shell/matrix.org/x-iewfemdhthafipdk)
2021-03-10 12:40:33 +0100boistordu(boistordum@gateway/shell/matrix.org/x-zyzebanloxokwzhg)
2021-03-10 12:40:34 +0100heck-to-the-gnom(heck-to-th@gateway/shell/matrix.org/x-zxtltngejrmxkknu)
2021-03-10 12:40:34 +0100berberman[T](berberma4@gateway/shell/matrix.org/x-krnkqaczgxqcldno)
2021-03-10 12:40:34 +0100sm[m](simonmicma@gateway/shell/matrix.org/x-ywomzlzeficbvvff)
2021-03-10 12:40:34 +0100maerwald[m](maerwaldma@gateway/shell/matrix.org/x-ywzbwktmcsnmejyh)
2021-03-10 12:40:34 +0100pineapples[m](pineapples@gateway/shell/matrix.org/x-szevzybcigkmsgol)
2021-03-10 12:40:34 +0100meff[m](meffsunado@gateway/shell/matrix.org/x-uxntguxbrhbkikcw)
2021-03-10 12:40:34 +0100unclechu(unclechuma@gateway/shell/matrix.org/x-oolmotqymaqrqhve)
2021-03-10 12:40:34 +0100jeffcasavant[m](jeffcasava@gateway/shell/matrix.org/x-lnbuotkynhkztzqa)
2021-03-10 12:40:34 +0100jkaye[m](jkayematri@gateway/shell/matrix.org/x-udvlgksekwmzpkrv)
2021-03-10 12:40:34 +0100speakerspivakeem(speakerdea@gateway/shell/matrix.org/x-qcoaaekhblbwfpsj)
2021-03-10 12:40:34 +0100lambdaclan(lambdaclan@gateway/shell/matrix.org/x-vfqoziwqnefwqyzn)
2021-03-10 12:40:34 +0100kadoban(kadobanemp@gateway/shell/matrix.org/x-qevyhmlpmumbzbbb)
2021-03-10 12:40:35 +0100ThaEwat(thaewraptm@gateway/shell/matrix.org/x-sinxsygzdymdglrs)
2021-03-10 12:40:35 +0100domenkozar[m](domenkozar@NixOS/user/domenkozar)
2021-03-10 12:40:35 +0100M53K5HUN_8[m](m53k5hun8m@gateway/shell/matrix.org/x-euyfdyytbojgjnwt)
2021-03-10 12:40:35 +0100shieru[m](shierualet@gateway/shell/matrix.org/x-crtlzvguvlyzbkhj)
2021-03-10 12:40:35 +0100JaakkoLuttinen[m(jluttinema@gateway/shell/matrix.org/x-yhocjihmkhvylkoh)
2021-03-10 12:40:35 +0100freeman42x[m](freeman42x@gateway/shell/matrix.org/x-cwwewhwtciefkezc)
2021-03-10 12:40:35 +0100jtojnar(jtojnarmat@gateway/shell/matrix.org/x-dslktdkisegakovj)
2021-03-10 12:40:36 +0100Haskman[m](haskmanmat@gateway/shell/matrix.org/x-dsesrypmapqljonq)
2021-03-10 12:40:37 +0100Pressyware[m](pressyware@gateway/shell/matrix.org/x-ddhjwpogpizdplmn)
2021-03-10 12:40:37 +0100rust-rocks[m](rust-rocks@gateway/shell/matrix.org/x-aebtetgfiystofjh)
2021-03-10 12:40:37 +0100sramsay64[m](sramsay64p@gateway/shell/matrix.org/x-tqmoejehpjuaehyj)
2021-03-10 12:40:38 +0100MichaelHoffmannb(brisadmozi@gateway/shell/matrix.org/x-jkosmzrzdqsrpuhu)
2021-03-10 12:40:38 +0100invent[m](inventmatr@gateway/shell/matrix.org/x-cwuovopaejsudboe)
2021-03-10 12:40:38 +0100sigmacool[m](sigmacoolm@gateway/shell/matrix.org/x-zreyiugydgdstsfc)
2021-03-10 12:40:39 +0100BenSima[m](bensimatim@gateway/shell/matrix.org/x-qkslyhndqfzvjpcd)
2021-03-10 12:40:39 +0100enya[m](enyaismatr@gateway/shell/matrix.org/x-kggzrjtkshyubmxt)
2021-03-10 12:40:39 +0100utdemir[m](utdemirmat@gateway/shell/matrix.org/x-suedpldutimmauoc)
2021-03-10 12:40:39 +0100alar[m](alarmxalat@gateway/shell/matrix.org/x-zrexbuctbbpkrtod)
2021-03-10 12:40:40 +0100a-tsioh[m](a-tsiohmat@gateway/shell/matrix.org/x-zwctixdaeewiqvbp)
2021-03-10 12:40:41 +0100AbtractSingleton(rasurumatr@gateway/shell/matrix.org/x-nipocthdxyoqretr)
2021-03-10 12:40:42 +0100Robin[m]4(robinrobin@gateway/shell/matrix.org/x-rmeldrlzauncgswy)
2021-03-10 12:41:08 +0100ManofLetters[m](manoflette@gateway/shell/matrix.org/x-yudatyptjaytneqs)
2021-03-10 12:41:33 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-10 12:42:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-10 12:43:06 +0100vilpan(~0@212.117.1.172)
2021-03-10 12:48:20 +0100desperek_(~draco@87-206-9-185.dynamic.chello.pl)
2021-03-10 12:48:21 +0100gitgood(~gitgood@82-132-217-185.dab.02.net)
2021-03-10 12:49:08 +0100mouseghost(~draco@wikipedia/desperek) (Ping timeout: 260 seconds)
2021-03-10 12:52:17 +0100Alleria_(~textual@2603-7000-3040-0000-b894-91fd-f1d3-a7ab.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-10 12:52:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-10 12:53:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-10 12:55:23 +0100xff0x_(~xff0x@2001:1a81:539a:e500:a3f:28c8:6043:6a40) (Quit: xff0x_)
2021-03-10 12:55:33 +0100xff0x(~xff0x@2001:1a81:539a:e500:a3f:28c8:6043:6a40)
2021-03-10 12:58:50 +0100danvet_(~danvet@212-51-149-181.fiber7.init7.net)
2021-03-10 12:58:57 +0100alx741(~alx741@186.178.108.96)
2021-03-10 12:59:25 +0100Yumasi(~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) (Ping timeout: 272 seconds)
2021-03-10 13:00:15 +0100LKoen(~LKoen@194.250.88.92.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-03-10 13:03:53 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-03-10 13:03:57 +0100plutoniix(~q@184.82.196.144) (Quit: Leaving)
2021-03-10 13:04:34 +0100ukari(~ukari@unaffiliated/ukari)
2021-03-10 13:05:00 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-10 13:08:45 +0100lokesh(uid491047@gateway/web/irccloud.com/x-yzvfvxjjzebcifrk)
2021-03-10 13:10:48 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-03-10 13:10:51 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a)
2021-03-10 13:14:07 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-03-10 13:14:07 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1)
2021-03-10 13:14:33 +0100 <ADG1089__> why doesn't cabal install <executable> pickup flage from <project>.cabal file?
2021-03-10 13:15:13 +0100 <maerwald> ADG1089__: because it creates an sdist first, unpacks it in tmp and then builds it there
2021-03-10 13:15:24 +0100 <ADG1089__> It is using -w ghc-8.10.4 -O1 but in cabal I mentioned -O2 -fllvm. Also it is installing all executables even though i specificed the name
2021-03-10 13:15:38 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds)
2021-03-10 13:15:49 +0100 <maerwald> pass it as command line arguments instead, that should work
2021-03-10 13:16:05 +0100 <ADG1089__> merijn: yeah, I see it doing something in ./sdist/<project-anme>-<porject version>.tar.gz
2021-03-10 13:16:14 +0100 <merijn> Are you sure "cabal install <executable>" isn't just installing an entirely unrelated package?
2021-03-10 13:16:43 +0100 <ADG1089__> maerwald: giving the flags again? isn't that redundant since I already mentioned in cabal file?
2021-03-10 13:16:47 +0100 <merijn> Are executables even a valid target for install
2021-03-10 13:17:12 +0100 <merijn> ADG1089__: Pastebin your cabal file, command and build output
2021-03-10 13:17:35 +0100 <merijn> maerwald: Your comment does not apply to his question
2021-03-10 13:17:49 +0100 <merijn> maerwald: You are referring to cabal.project, he was referring to a regular cabal file
2021-03-10 13:18:11 +0100 <maerwald> oh right
2021-03-10 13:19:24 +0100 <ADG1089__> merijn: cabal file: https://paste.tomsmeding.com/HbsivGIx command execution: https://paste.tomsmeding.com/TAyrSZFu
2021-03-10 13:21:20 +0100APugNamedPugsley(~13052@2601:58a:8300:f6a0:58b8:b5d0:d1ef:978a)
2021-03-10 13:22:08 +0100danvet_(~danvet@212-51-149-181.fiber7.init7.net) (Ping timeout: 245 seconds)
2021-03-10 13:22:49 +0100 <merijn> ADG1089__: The build profile just refers to the default cabal configuration for optimisation, though. It doesn't inspect ghc-options to see if you pass -O2 there
2021-03-10 13:23:34 +0100 <ADG1089__> merijn: what do you suggest, I do to include those flags?
2021-03-10 13:24:04 +0100 <merijn> ADG1089__: My point is that it likely *is* compiling with -O2
2021-03-10 13:24:22 +0100 <merijn> but that's just not reported in the build profile, because it's not part of the build profile
2021-03-10 13:24:25 +0100 <hololeap> i've got an abstraction in mind and i'm looking for a way to translate it to a monad transformer stack. a good example is iptables. there is a list of filters and each one can choose to consume a packet and/or pass it down the line
2021-03-10 13:24:30 +0100joseph2(~joseph@cpe-24-208-140-96.insight.res.rr.com) (Quit: WeeChat 2.8)
2021-03-10 13:24:41 +0100 <merijn> I suspect that if you run cabal -v3 and look at the *actual* GHC invocation it *will* have -O2
2021-03-10 13:26:32 +0100 <hololeap> would this just be a `traverse` over some short-circuiting monad like Either?
2021-03-10 13:27:17 +0100 <hololeap> actually, no it would probably be a foldM
2021-03-10 13:28:26 +0100 <hololeap> % :t foldM @(Either String)
2021-03-10 13:28:27 +0100 <yahb> hololeap: Monad m => (b -> a -> m b) -> b -> Either String a -> m b
2021-03-10 13:28:27 +0100xff0x(~xff0x@2001:1a81:539a:e500:a3f:28c8:6043:6a40) (Remote host closed the connection)
2021-03-10 13:28:44 +0100 <hololeap> % :t foldM @[] @(Either String)
2021-03-10 13:28:44 +0100xff0x(~xff0x@2001:1a81:539a:e500:2099:b14:f0f8:3b67)
2021-03-10 13:28:44 +0100 <yahb> hololeap: (b -> a -> Either String b) -> b -> [a] -> Either String b
2021-03-10 13:28:48 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 260 seconds)
2021-03-10 13:29:19 +0100 <hololeap> % :t foldM @[] @(MaybeT _)
2021-03-10 13:29:19 +0100 <yahb> hololeap: ; <interactive>:1:13: error:; Not in scope: type constructor or class `MaybeT'; Perhaps you meant `Maybe' (imported from Prelude)
2021-03-10 13:30:15 +0100 <hololeap> % import Contol.Monad.Trans.Maybe
2021-03-10 13:30:15 +0100 <yahb> hololeap: ; <no location info>: error:; Could not find module `Contol.Monad.Trans.Maybe'; Perhaps you meant; Control.Monad.Trans.Maybe (from transformers-0.5.6.2); Control.Monad.Trans.Free (from free-5.1.6); Control.Monad.Trans.State (from transformers-0.5.6.2)
2021-03-10 13:30:28 +0100 <hololeap> % import Control.Monad.Trans.Maybe
2021-03-10 13:30:28 +0100 <yahb> hololeap:
2021-03-10 13:30:30 +0100 <hololeap> % :t foldM @[] @(MaybeT _)
2021-03-10 13:30:30 +0100 <yahb> hololeap: Monad w => (b -> a -> MaybeT w b) -> b -> [a] -> MaybeT w b
2021-03-10 13:30:48 +0100 <merijn> hololeap: Use pm?
2021-03-10 13:31:17 +0100 <ADG1089__> merijn: no I don't think it's invoking those flags as i see in -v3. And I still don't know why it is installing all executables
2021-03-10 13:31:39 +0100 <merijn> ADG1089__: Because there is no "install executable" command
2021-03-10 13:31:45 +0100 <merijn> ADG1089__: There is only "install package"
2021-03-10 13:32:02 +0100 <hololeap> merijn: sorry, didn't mean to be so loud
2021-03-10 13:33:36 +0100 <ADG1089__> merijn: that's a bummer, I'll have to find a way to install specific executables from my cabal file into that directly with flags from cabal file
2021-03-10 13:33:54 +0100 <ADG1089__> probably I'll find something in the docs
2021-03-10 13:34:29 +0100 <merijn> ADG1089__: Why do you want to install said executables? If you just wanna run them you can just use "cabal run"
2021-03-10 13:35:47 +0100apoc(~apoc@49.12.13.193) (Ping timeout: 260 seconds)
2021-03-10 13:35:49 +0100 <ADG1089__> merijn: I want to time those "time ./bin/problem719" but "cabal run problem719" adds 3-4 secs. I tried using criterion but it would require me to modify all my code to be compatible with it's whnf parameter which doesn't accept constants.
2021-03-10 13:36:02 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Remote host closed the connection)
2021-03-10 13:36:18 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-03-10 13:36:24 +0100 <merijn> If you don't care about accuracy too much you can try
2021-03-10 13:36:27 +0100 <merijn> @hackage timeit
2021-03-10 13:36:27 +0100 <lambdabot> https://hackage.haskell.org/package/timeit
2021-03-10 13:38:51 +0100 <ADG1089__> merijn: this seems like a good bet. Let me check if it accurate atleast upto .01 sec
2021-03-10 13:39:09 +0100 <merijn> depends how you define accurate
2021-03-10 13:39:13 +0100gitgood(~gitgood@82-132-217-185.dab.02.net) (Read error: Connection reset by peer)
2021-03-10 13:39:19 +0100 <merijn> it's certainly *precise* up to 0.01 second
2021-03-10 13:39:32 +0100gitgood(~gitgood@82-132-217-185.dab.02.net)
2021-03-10 13:39:33 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 264 seconds)
2021-03-10 13:39:45 +0100 <merijn> It *might* be accurate up to that time too, since that's rather slow
2021-03-10 13:40:02 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 260 seconds)
2021-03-10 13:40:13 +0100 <merijn> Mind you, it only tracks CPU time, not wall clock
2021-03-10 13:41:20 +0100sh9(~sh9@softbank060116136158.bbtec.net)
2021-03-10 13:41:36 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net)
2021-03-10 13:42:04 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net) (Remote host closed the connection)
2021-03-10 13:42:19 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net)
2021-03-10 13:43:28 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-03-10 13:43:29 +0100desperek_(~draco@87-206-9-185.dynamic.chello.pl) (Quit: mew wew)
2021-03-10 13:43:41 +0100mananamenos_(~mananamen@193.red-88-11-66.dynamicip.rima-tde.net)
2021-03-10 13:43:59 +0100mouseghost(~draco@wikipedia/desperek)
2021-03-10 13:44:28 +0100 <ADG1089__> merijn: All my programs as mostly cpu-bound so almost no IO
2021-03-10 13:45:16 +0100 <ADG1089__> plus i can use sed to do `s/main =/main = timeIt ./`
2021-03-10 13:45:34 +0100apoc(~apoc@49.12.13.193)
2021-03-10 13:45:40 +0100mananamenos(~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 276 seconds)
2021-03-10 13:46:25 +0100ADG1089(~adg1089@223.226.235.12)
2021-03-10 13:46:28 +0100 <ADG1089> .
2021-03-10 13:46:35 +0100ADG1089__(~aditya@223.226.235.12) (Remote host closed the connection)
2021-03-10 13:47:36 +0100cheater(~user@unaffiliated/cheater)
2021-03-10 13:48:14 +0100 <zq> what exactly is a raw monad?
2021-03-10 13:48:24 +0100 <zq> ie https://hackage.haskell.org/package/shake-0.19.4/docs/src/Development.Shake.Internal.Core.Monad.ht…
2021-03-10 13:48:33 +0100 <zq> wondering if this is a standard concept?
2021-03-10 13:49:16 +0100 <zq> is this some kind of free monad + interpreter?
2021-03-10 13:50:11 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Remote host closed the connection)
2021-03-10 13:50:27 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-03-10 13:52:57 +0100Alleria(~textual@mskresolve-a.mskcc.org)
2021-03-10 13:53:20 +0100AlleriaGuest34870
2021-03-10 13:54:08 +0100timCF(~i.tkachuk@m91-129-99-43.cust.tele2.ee)
2021-03-10 13:54:42 +0100ADG1089_(~adg1089@171.76.180.62)
2021-03-10 13:55:20 +0100gxt(~gxt@gateway/tor-sasl/gxt) (Ping timeout: 268 seconds)
2021-03-10 13:56:36 +0100 <timCF> Hello! Is it possible to put any constraint to type/kind paramters in forall expression? For example `forall a b m.` where I want `b` to be one of few possible types/kinds?
2021-03-10 13:57:10 +0100ADG1089(~adg1089@223.226.235.12) (Ping timeout: 272 seconds)
2021-03-10 13:57:20 +0100 <merijn> timCF: You can use typefamilies + constraintkinds for nearly arbitrary restrictions
2021-03-10 13:57:42 +0100 <merijn> timCF: See, for example: https://gist.github.com/merijn/6130082
2021-03-10 13:58:09 +0100 <merijn> timCF: Which allows any type that is not ()/Int
2021-03-10 13:58:29 +0100Yumasi(~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr)
2021-03-10 13:59:50 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be)
2021-03-10 14:01:01 +0100 <timCF> merijn: looks very cool) Thanks!
2021-03-10 14:01:39 +0100urodna(~urodna@unaffiliated/urodna)
2021-03-10 14:02:12 +0100ssedov(~stas@2a00:13c0:63:7195::beef) (Read error: Connection reset by peer)
2021-03-10 14:02:25 +0100stass(~stas@2a00:13c0:63:7195::beef)
2021-03-10 14:03:05 +0100usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-03-10 14:04:30 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 246 seconds)
2021-03-10 14:05:40 +0100stree(~stree@68.36.8.116) (Ping timeout: 268 seconds)
2021-03-10 14:06:47 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-10 14:07:23 +0100jrqc(~rofl@96.78.87.197)
2021-03-10 14:08:44 +0100Tario(~Tario@201.192.165.173)
2021-03-10 14:11:34 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a)
2021-03-10 14:13:47 +0100Deide(~Deide@217.155.19.23)
2021-03-10 14:13:48 +0100ADG1089_(~adg1089@171.76.180.62) (Read error: Connection reset by peer)
2021-03-10 14:14:00 +0100ADG1089_(~adg1089@223.226.235.12)
2021-03-10 14:16:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds)
2021-03-10 14:17:20 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 14:18:18 +0100stree(~stree@68.36.8.116)
2021-03-10 14:18:31 +0100Benzi-Junior(~BenziJuni@dsl-149-64-40.hive.is)
2021-03-10 14:22:14 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Ping timeout: 264 seconds)
2021-03-10 14:23:58 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-10 14:29:20 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-10 14:29:22 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-03-10 14:32:54 +0100RusAlex(~Chel@unaffiliated/rusalex) (Read error: Connection reset by peer)
2021-03-10 14:33:33 +0100RusAlex(~Chel@unaffiliated/rusalex)
2021-03-10 14:35:00 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-10 14:35:18 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 256 seconds)
2021-03-10 14:36:15 +0100hongminhee(hongminhee@gateway/web/irccloud.com/x-oeswesuwvugryusv) ()
2021-03-10 14:36:33 +0100hongminhee(hongminhee@gateway/web/irccloud.com/x-fsrpgumqewqqpots)
2021-03-10 14:37:52 +0100jrqc(~rofl@96.78.87.197)
2021-03-10 14:37:58 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-10 14:38:32 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2021-03-10 14:39:11 +0100waleee-cl(uid373333@gateway/web/irccloud.com/x-hvyfxukatujiwcjk)
2021-03-10 14:39:46 +0100timCF(~i.tkachuk@m91-129-99-43.cust.tele2.ee) (Quit: leaving)
2021-03-10 14:45:00 +0100gxt(~gxt@gateway/tor-sasl/gxt)
2021-03-10 14:46:36 +0100mayleesia(590caa9e@dynamic-089-012-170-158.89.12.pool.telefonica.de)
2021-03-10 14:46:53 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-10 14:47:34 +0100glowcoil(sid3405@gateway/web/irccloud.com/x-tfnxycsxmhezfuwi) ()
2021-03-10 14:47:59 +0100glowcoil(sid3405@gateway/web/irccloud.com/x-qnxtwxdwpopdxnrp)
2021-03-10 14:50:30 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-10 14:50:49 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-03-10 14:52:48 +0100ADG1089_(~adg1089@223.226.235.12) (Ping timeout: 260 seconds)
2021-03-10 14:53:05 +0100ADG1089_(~adg1089@171.76.180.62)
2021-03-10 14:53:34 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-10 14:53:51 +0100Jd007(~Jd007@162.156.11.151)
2021-03-10 14:54:23 +0100ghuntley(sid16877@gateway/web/irccloud.com/x-mbqwvidrftgcbeuo) ()
2021-03-10 14:54:39 +0100ghuntley(sid16877@gateway/web/irccloud.com/x-mboskivnsdysjwmu)
2021-03-10 14:55:41 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer)
2021-03-10 14:55:41 +0100jonathanx_(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-03-10 14:56:09 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-osmjtblbmpscywbx)
2021-03-10 14:59:22 +0100paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2021-03-10 15:04:31 +0100befuddled(~befuddled@49.207.140.164)
2021-03-10 15:05:11 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-03-10 15:05:39 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-10 15:05:40 +0100befuddled(~befuddled@49.207.140.164) (Client Quit)
2021-03-10 15:07:01 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-10 15:08:43 +0100ADG1089__(~aditya@122.163.164.53)
2021-03-10 15:10:49 +0100Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 276 seconds)
2021-03-10 15:15:45 +0100jonathanx_(~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-03-10 15:15:46 +0100ADG1089__(~aditya@122.163.164.53) (Remote host closed the connection)
2021-03-10 15:15:57 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 15:17:23 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-03-10 15:20:46 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 272 seconds)
2021-03-10 15:20:58 +0100hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-03-10 15:22:15 +0100 <adamCS> I've got an N-dimensional matrix of a, in the form [([Int],a)], where the [Int] is the N-dimensional index where element a is stored. I need a nested vector representation, for JSON output via Aeson. I see how to nest it one index at a time: f :: [([Int],a)] -> [([Int], [a])]. But trying to write a function to nest it "all the way" runs into a "what is the return type?" issue. Any way around this without
2021-03-10 15:22:16 +0100 <adamCS> dependent-types-style shenanigans?
2021-03-10 15:24:15 +0100 <opqdonut> write a data type
2021-03-10 15:24:18 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1)
2021-03-10 15:24:42 +0100 <opqdonut> you can just do something like `data Matrix a = Vector [Matrix a] | Element a`
2021-03-10 15:24:59 +0100 <opqdonut> but if you want guarantees that all the Elements are at the same depth, you can do some tricks
2021-03-10 15:25:31 +0100 <opqdonut> (just a sec while I recall how the trick works)
2021-03-10 15:27:10 +0100 <adamCS> opqdonut: Thanks!
2021-03-10 15:27:55 +0100 <opqdonut> `data Matrix a = Element a | Dimension (Matrix [a])`
2021-03-10 15:27:59 +0100rslima_____(sid26145@gateway/web/irccloud.com/x-ngrykalbadekwxuk) ()
2021-03-10 15:28:01 +0100 <opqdonut> I think that's the trick
2021-03-10 15:28:13 +0100rslima_____(sid26145@gateway/web/irccloud.com/x-phhododppaawnoma)
2021-03-10 15:29:52 +0100ADG1089__(~aditya@122.163.164.53)
2021-03-10 15:29:55 +0100 <adamCS> opqdonut: So then I convert my un-nested "a"s to Matrix (as elements), nest them, and then somehow convert the nested thing back to nested vectors? I can try to do that...
2021-03-10 15:29:57 +0100ocharles(sid30093@musicbrainz/user/ocharles) ()
2021-03-10 15:29:59 +0100ralu(~ralu@static.211.245.203.116.clients.your-server.de)
2021-03-10 15:30:18 +0100ocharles(sid30093@musicbrainz/user/ocharles)
2021-03-10 15:32:56 +0100thc202(~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds)
2021-03-10 15:33:23 +0100thc202(~thc202@unaffiliated/thc202)
2021-03-10 15:34:23 +0100 <opqdonut> adamCS: https://gist.github.com/opqdonut/03fd44c26b260a90ea9f6447a7243977
2021-03-10 15:34:47 +0100 <opqdonut> adamCS: you can't go to just nested lists like [[[a]]] unless you know how many dimensions you have at compile-time
2021-03-10 15:35:12 +0100 <opqdonut> adamCS: but making an Aeson instance for Matrix that just outputs lists of lists in JSON should be easy
2021-03-10 15:35:41 +0100 <adamCS> opqdonut: I don't know at compile time.
2021-03-10 15:35:53 +0100argento(~argent0@168.227.97.23)
2021-03-10 15:35:58 +0100 <adamCS> I mean, I guess I could. I need to think about it.
2021-03-10 15:36:15 +0100 <adamCS> All I need is the json, though.
2021-03-10 15:36:17 +0100 <opqdonut> yeah
2021-03-10 15:36:21 +0100knupfer(~Thunderbi@200116b82cb0c7005129c843079bc5a1.dip.versatel-1u1.de)
2021-03-10 15:36:27 +0100argento(~argent0@168.227.97.23) (Client Quit)
2021-03-10 15:36:46 +0100 <opqdonut> I'm writing the [([Int],a)] -> Matrix a function now, for fun
2021-03-10 15:36:59 +0100minoru_shiraeesh(~shiraeesh@46.34.207.182)
2021-03-10 15:37:15 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-03-10 15:37:24 +0100 <adamCS> Right, just needing JSON is what makes me think it's possible.
2021-03-10 15:37:43 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-10 15:38:48 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-10 15:41:57 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 264 seconds)
2021-03-10 15:44:20 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-10 15:46:01 +0100ADG1089__(~aditya@122.163.164.53) (Remote host closed the connection)
2021-03-10 15:47:36 +0100Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat)
2021-03-10 15:47:52 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-03-10 15:48:20 +0100Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net)
2021-03-10 15:48:20 +0100ADG1089_(~adg1089@171.76.180.62) (Read error: Connection reset by peer)
2021-03-10 15:51:47 +0100Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Client Quit)
2021-03-10 15:53:05 +0100Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net)
2021-03-10 15:55:44 +0100Lycurgus(~niemand@98.4.114.199)
2021-03-10 15:56:05 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-10 15:56:11 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Client Quit)
2021-03-10 15:57:39 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Remote host closed the connection)
2021-03-10 15:57:51 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 15:59:05 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-03-10 15:59:24 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Remote host closed the connection)
2021-03-10 16:00:29 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 16:02:50 +0100 <opqdonut> adamCS: I updated my gist with an implementation of [([Int],a)] -> Matrix a: https://gist.github.com/opqdonut/03fd44c26b260a90ea9f6447a7243977
2021-03-10 16:02:58 +0100idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 245 seconds)
2021-03-10 16:03:46 +0100 <opqdonut> error handling and robustness could be improved (e.g in case the [Int]s aren't of the same length, or not ordered, or the matrix is actually sparse, etc.)
2021-03-10 16:05:07 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Ping timeout: 260 seconds)
2021-03-10 16:07:36 +0100zebrag(~inkbottle@aaubervilliers-654-1-108-207.w86-212.abo.wanadoo.fr)
2021-03-10 16:11:38 +0100minoru_shiraeesh(~shiraeesh@46.34.207.182) (Ping timeout: 256 seconds)
2021-03-10 16:13:03 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a)
2021-03-10 16:14:09 +0100jacks2(~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/)
2021-03-10 16:14:31 +0100hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 276 seconds)
2021-03-10 16:15:21 +0100minoru_shiraeesh(~shiraeesh@46.34.207.182)
2021-03-10 16:15:28 +0100mirrorb2rd(~dwsjeid91@2a00:801:3f8:23a5:cea1:f987:d427:ba9b) (Remote host closed the connection)
2021-03-10 16:16:43 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-03-10 16:18:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds)
2021-03-10 16:18:08 +0100gitgood(~gitgood@82-132-217-185.dab.02.net) (Read error: Connection reset by peer)
2021-03-10 16:18:32 +0100gitgood(~gitgood@82-132-217-185.dab.02.net)
2021-03-10 16:22:12 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2021-03-10 16:22:32 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-10 16:23:49 +0100Lycurgus(~niemand@98.4.114.199) (Quit: Exeunt)
2021-03-10 16:24:01 +0100 <adamCS> opqdonut: Thanks! This is super helpful!
2021-03-10 16:24:49 +0100crobbins_(~crobbins@2601:2c1:200:ec50:11f4:eb0d:2359:7dd4)
2021-03-10 16:25:37 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-10 16:26:07 +0100jamm_(~jamm@unaffiliated/jamm) (Read error: Connection reset by peer)
2021-03-10 16:26:21 +0100johannes(~johannes@b2b-37-24-119-189.unitymedia.biz) (Ping timeout: 264 seconds)
2021-03-10 16:26:35 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-10 16:26:38 +0100stree(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-03-10 16:28:14 +0100crobbins(~crobbins@2601:2c1:200:ec50:484b:63d9:4725:b763) (Ping timeout: 264 seconds)
2021-03-10 16:29:46 +0100Waifod(~Waifod@91.106.123.186) (Ping timeout: 256 seconds)
2021-03-10 16:31:14 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-03-10 16:31:18 +0100Waifod(Waifod@gateway/vpn/protonvpn/waifod)
2021-03-10 16:32:58 +0100michalz(~user@185.246.204.47) (Remote host closed the connection)
2021-03-10 16:34:39 +0100atomi(~atomi@3.184.203.35.bc.googleusercontent.com)
2021-03-10 16:35:18 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-10 16:36:38 +0100xff0x(~xff0x@2001:1a81:539a:e500:2099:b14:f0f8:3b67) (Remote host closed the connection)
2021-03-10 16:36:56 +0100xff0x(~xff0x@port-92-193-251-184.dynamic.as20676.net)
2021-03-10 16:39:13 +0100stree(~stree@68.36.8.116)
2021-03-10 16:39:49 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-03-10 16:40:07 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
2021-03-10 16:40:32 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 16:41:01 +0100raym(~ray@45.64.220.113) (Quit: leaving)
2021-03-10 16:41:52 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Remote host closed the connection)
2021-03-10 16:42:15 +0100carlomagno1(~cararell@148.87.23.11)
2021-03-10 16:42:15 +0100carlomagno(~cararell@148.87.23.10) (Remote host closed the connection)
2021-03-10 16:42:54 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 16:43:07 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 276 seconds)
2021-03-10 16:43:48 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-03-10 16:46:27 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3)
2021-03-10 16:47:30 +0100berberman(~berberman@unaffiliated/berberman)
2021-03-10 16:47:42 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Ping timeout: 260 seconds)
2021-03-10 16:48:17 +0100berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2021-03-10 16:49:54 +0100mananamenos_(~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-03-10 16:50:16 +0100mananamenos_(~mananamen@193.red-88-11-66.dynamicip.rima-tde.net)
2021-03-10 16:51:13 +0100Benzi-Junior(~BenziJuni@dsl-149-64-40.hive.is) (Ping timeout: 260 seconds)
2021-03-10 16:52:26 +0100Alex55(~root@p5b2ee6a8.dip0.t-ipconnect.de) (Quit: Lost terminal)
2021-03-10 16:52:28 +0100berberman(~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-10 16:52:48 +0100berberman(~berberman@unaffiliated/berberman)
2021-03-10 16:57:55 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-03-10 17:00:52 +0100CodeAlways(uid272474@gateway/web/irccloud.com/x-qnrftuddbqltquxi) (Quit: Connection closed for inactivity)
2021-03-10 17:03:41 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-03-10 17:03:55 +0100bitmagie(~Thunderbi@200116b80638f2001086a93e70cf6b57.dip.versatel-1u1.de)
2021-03-10 17:04:26 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-03-10 17:05:27 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-03-10 17:05:40 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-osmjtblbmpscywbx) (Quit: Connection closed for inactivity)
2021-03-10 17:05:47 +0100thc202(~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds)
2021-03-10 17:06:50 +0100thc202(~thc202@unaffiliated/thc202)
2021-03-10 17:07:14 +0100Waifod(Waifod@gateway/vpn/protonvpn/waifod) (Ping timeout: 264 seconds)
2021-03-10 17:08:25 +0100Rudd0(~Rudd0@185.189.115.108)
2021-03-10 17:09:00 +0100Waifod(~Waifod@91.106.123.186)
2021-03-10 17:13:24 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-10 17:13:40 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-10 17:14:06 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a)
2021-03-10 17:14:56 +0100deviantfero(~deviantfe@190.150.27.58)
2021-03-10 17:14:57 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 264 seconds)
2021-03-10 17:15:21 +0100tzlil(~tzlil@unaffiliated/tzlil) (Remote host closed the connection)
2021-03-10 17:15:55 +0100Wuzzy(~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de)
2021-03-10 17:17:35 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 17:18:38 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds)
2021-03-10 17:18:57 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Remote host closed the connection)
2021-03-10 17:19:14 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-10 17:19:59 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 17:23:38 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-zipyvhzkdivpihoa)
2021-03-10 17:23:46 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-03-10 17:24:12 +0100gitgoood(~gitgood@82-132-217-203.dab.02.net)
2021-03-10 17:24:27 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Ping timeout: 260 seconds)
2021-03-10 17:24:59 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 17:26:46 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Remote host closed the connection)
2021-03-10 17:26:57 +0100gitgood(~gitgood@82-132-217-185.dab.02.net) (Read error: Connection reset by peer)
2021-03-10 17:27:22 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 17:28:04 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-03-10 17:28:18 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving)
2021-03-10 17:28:35 +0100mirrorbird(dwsjeid911@gateway/vpn/mullvad/dwsjeid911)
2021-03-10 17:29:50 +0100idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-10 17:30:05 +0100kritzefitz(~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
2021-03-10 17:32:02 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Ping timeout: 260 seconds)
2021-03-10 17:34:22 +0100acidjnk_new(~acidjnk@p200300d0c72b95704cd799b0a8031c33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-03-10 17:34:28 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-03-10 17:34:36 +0100freeman42x[m]_(uid387759@gateway/web/irccloud.com/x-npqivcpbpqfrcrva)
2021-03-10 17:34:48 +0100freeman42x[m]__(uid387759@gateway/web/irccloud.com/x-eoxtflmbywridyms)
2021-03-10 17:35:07 +0100Benzi-Junior(~BenziJuni@88-149-64-40.du.xdsl.is)
2021-03-10 17:36:06 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds)
2021-03-10 17:38:19 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-10 17:41:02 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-10 17:42:11 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-10 17:43:01 +0100neuralisp(~neuralisp@171.115.182.201)
2021-03-10 17:46:18 +0100neuralisp(~neuralisp@171.115.182.201) (Read error: Connection reset by peer)
2021-03-10 17:47:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-10 17:47:16 +0100neuralisp(~neuralisp@171.115.182.201)
2021-03-10 17:49:01 +0100crobbins_(~crobbins@2601:2c1:200:ec50:11f4:eb0d:2359:7dd4) (Remote host closed the connection)
2021-03-10 17:49:57 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-10 17:51:17 +0100crobbins(~crobbins@2601:2c1:200:ec50:5d1f:8754:d509:f553)
2021-03-10 17:52:33 +0100neuralisp(~neuralisp@171.115.182.201) (Ping timeout: 245 seconds)
2021-03-10 17:52:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-10 17:53:45 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a)
2021-03-10 17:56:18 +0100jespada(~jespada@90.254.243.187) (Ping timeout: 245 seconds)
2021-03-10 17:56:33 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 246 seconds)
2021-03-10 17:58:19 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-10 17:59:30 +0100jespada(~jespada@90.254.243.187)
2021-03-10 18:00:24 +0100vilpan(~0@212.117.1.172) (Quit: Leaving.)
2021-03-10 18:01:29 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-10 18:06:57 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Remote host closed the connection)
2021-03-10 18:07:01 +0100DTZUZU(~DTZUZO@205.ip-149-56-132.net) (Remote host closed the connection)
2021-03-10 18:07:02 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-03-10 18:07:14 +0100DTZUZU(~DTZUZO@205.ip-149-56-132.net)
2021-03-10 18:08:34 +0100inkbottle(~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr)
2021-03-10 18:08:57 +0100zebrag(~inkbottle@aaubervilliers-654-1-108-207.w86-212.abo.wanadoo.fr) (Ping timeout: 264 seconds)
2021-03-10 18:12:02 +0100maxxe_test(~maxxe@unaffiliated/maxxe)
2021-03-10 18:13:11 +0100maxxe_test(~maxxe@unaffiliated/maxxe) (Quit: brb)
2021-03-10 18:15:23 +0100ekleog_ekleog
2021-03-10 18:16:57 +0100gitgoood(~gitgood@82-132-217-203.dab.02.net) (Read error: Connection reset by peer)
2021-03-10 18:20:04 +0100nf(~n@monade.li) (Quit: Fairfarren.)
2021-03-10 18:21:58 +0100pavonia(~user@unaffiliated/siracusa)
2021-03-10 18:26:03 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-03-10 18:26:11 +0100[exa](exa@srv3.blesmrt.net) (Changing host)
2021-03-10 18:26:11 +0100[exa](exa@unaffiliated/exa/x-5381537)
2021-03-10 18:27:04 +0100ukari(~ukari@unaffiliated/ukari)
2021-03-10 18:27:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a)
2021-03-10 18:29:18 +0100CrazyPython(~crazypyth@98.122.164.118)
2021-03-10 18:30:35 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-10 18:33:35 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4)
2021-03-10 18:35:26 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-10 18:36:57 +0100Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
2021-03-10 18:40:22 +0100Lycurgus(~niemand@98.4.114.199)
2021-03-10 18:41:31 +0100dm9(~weechat@p200300dcb71b99004a5d60fffe655171.dip0.t-ipconnect.de)
2021-03-10 18:42:03 +0100Yumasi(~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) (Ping timeout: 272 seconds)
2021-03-10 18:42:51 +0100dibblego(~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer)
2021-03-10 18:43:10 +0100dibblego(~dibblego@122-199-1-30.ip4.superloop.com)
2021-03-10 18:43:10 +0100dibblego(~dibblego@122-199-1-30.ip4.superloop.com) (Changing host)
2021-03-10 18:43:10 +0100dibblego(~dibblego@haskell/developer/dibblego)
2021-03-10 18:43:32 +0100Pickchea(~private@unaffiliated/pickchea)
2021-03-10 18:44:27 +0100teardown(~user@gateway/tor-sasl/mrush) (Remote host closed the connection)
2021-03-10 18:44:46 +0100amerigo(uid331857@gateway/web/irccloud.com/x-ogtmyetatpwdhnbk)
2021-03-10 18:44:49 +0100teardown(~user@gateway/tor-sasl/mrush)
2021-03-10 18:45:49 +0100nf(~n@2a03:4000:53:fb4:1869:15ff:fe71:8ab)
2021-03-10 18:46:00 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1)
2021-03-10 18:47:21 +0100idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 264 seconds)
2021-03-10 18:47:55 +0100stree(~stree@68.36.8.116) (Ping timeout: 276 seconds)
2021-03-10 18:50:17 +0100mirrorbird(dwsjeid911@gateway/vpn/mullvad/dwsjeid911) ("Leaving")
2021-03-10 18:51:35 +0100ADG1089__(~aditya@122.163.164.53)
2021-03-10 18:51:57 +0100renzhi(~renzhi@2607:fa49:653f:eb00::296e) (Ping timeout: 260 seconds)
2021-03-10 18:54:23 +0100ADG1089__(~aditya@122.163.164.53) (Remote host closed the connection)
2021-03-10 18:57:05 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-03-10 18:58:46 +0100conal(~conal@209.58.139.5) (Ping timeout: 260 seconds)
2021-03-10 18:59:30 +0100p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-03-10 18:59:38 +0100p8m_(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 245 seconds)
2021-03-10 19:00:31 +0100stree(~stree@68.36.8.116)
2021-03-10 19:00:43 +0100Lycurgus(~niemand@98.4.114.199) (Quit: Exeunt)
2021-03-10 19:02:23 +0100conal(~conal@209.58.139.5)
2021-03-10 19:02:57 +0100asheshambasta(~user@ptr-e1lysauv26w29gc2wg9.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds)
2021-03-10 19:03:48 +0100howdoi(uid224@gateway/web/irccloud.com/x-hvixwxeomfxyoqsc)
2021-03-10 19:05:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-10 19:06:51 +0100rlsph(~mads@2a03:b0c0:2:f0::324:5001)
2021-03-10 19:07:55 +0100inkbottle(~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-10 19:08:14 +0100inkbottle(~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr)
2021-03-10 19:08:18 +0100p8m_(p8m@gateway/vpn/protonvpn/p8m)
2021-03-10 19:08:39 +0100p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 246 seconds)
2021-03-10 19:11:10 +0100pera(~pera@unaffiliated/pera)
2021-03-10 19:11:12 +0100DataComp_(~lumeng@50.43.26.251) (Quit: Leaving...)
2021-03-10 19:11:21 +0100idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-10 19:12:12 +0100p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-03-10 19:12:32 +0100rajivr(uid269651@gateway/web/irccloud.com/x-zgcncjnqyenbczlt) (Quit: Connection closed for inactivity)
2021-03-10 19:13:07 +0100 <carbolymer> If I'm only building a list, via prepending elements (~500k elements), does it make sense to use a mutable collection to gain performance here?
2021-03-10 19:13:10 +0100p8m_(p8m@gateway/vpn/protonvpn/p8m) (Remote host closed the connection)
2021-03-10 19:13:35 +0100 <carbolymer> prepending i.e. list constructor `:`
2021-03-10 19:13:38 +0100 <monochrom> It depends on what you use the collection for after it's built.
2021-03-10 19:13:50 +0100 <carbolymer> only search, no further modifications
2021-03-10 19:13:54 +0100minoru_shiraeesh(~shiraeesh@46.34.207.182) (Ping timeout: 246 seconds)
2021-03-10 19:13:54 +0100__minoru__shirae(~shiraeesh@77.94.25.47)
2021-03-10 19:14:03 +0100 <maerwald> search is terribly inefficient
2021-03-10 19:14:14 +0100 <monochrom> Will it be binary search? Hashed search? FIFO search? LIFO search?
2021-03-10 19:14:31 +0100 <monochrom> In fact, "search" is terribly ambiguous, too. :)
2021-03-10 19:14:54 +0100 <carbolymer> ok, so running isInfixOf over all elements ;]
2021-03-10 19:15:03 +0100 <carbolymer> Data.Bytesting.Char8.isInfixOf
2021-03-10 19:15:40 +0100 <carbolymer> maerwald: you mean search in general, or lists for search?
2021-03-10 19:15:47 +0100 <maerwald> lists for search
2021-03-10 19:16:35 +0100 <monochrom> Alright, I don't know how to do better than exhaustive search, so may as well just list and prepend.
2021-03-10 19:16:43 +0100nf(~n@2a03:4000:53:fb4:1869:15ff:fe71:8ab) (Quit: Fairfarren.)
2021-03-10 19:16:43 +0100 <carbolymer> so which datastructure would be better for substring searches?
2021-03-10 19:16:58 +0100 <monochrom> I'm sure there is a better way and I'm sure it's in an obscure paper from those algorithm people.
2021-03-10 19:17:26 +0100p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
2021-03-10 19:17:30 +0100 <monochrom> KMP or Boyer-Moore is better for substring searches.
2021-03-10 19:18:00 +0100 <monochrom> But here you are one level above.
2021-03-10 19:18:04 +0100mayleesia(590caa9e@dynamic-089-012-170-158.89.12.pool.telefonica.de) (Quit: Connection closed)
2021-03-10 19:18:12 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-03-10 19:18:18 +0100 <carbolymer> actually, KMP or Boyer-Moore perform few times slower than Rabin-Karp in `isInfixOf`
2021-03-10 19:18:33 +0100conal(~conal@209.58.139.5) (Ping timeout: 264 seconds)
2021-03-10 19:18:34 +0100 <carbolymer> or `stringsearch` has inefficient implementations
2021-03-10 19:19:04 +0100 <monochrom> Here your level is "I have n strings, find one that is a superstring of blah".
2021-03-10 19:19:12 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it)
2021-03-10 19:19:15 +0100 <dolio> Those all build some kind of other structure from the string, right? It's probably better to build that structure than a list.
2021-03-10 19:19:35 +0100 <carbolymer> dolio: actually it's the opposite, they build structure from the needle
2021-03-10 19:19:42 +0100 <carbolymer> and I'm wondering how to store haystacks
2021-03-10 19:19:48 +0100 <maerwald> carbolymer: is the needle known at list construction time?
2021-03-10 19:19:52 +0100 <carbolymer> no
2021-03-10 19:19:57 +0100nineonine(~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Ping timeout: 260 seconds)
2021-03-10 19:20:01 +0100 <maerwald> the length?
2021-03-10 19:20:22 +0100 <carbolymer> of the needle? 3-15 chars, haystacks? probably up to 300 chars
2021-03-10 19:20:49 +0100 <maerwald> ok, 3 is too low to have any gains for pre-filtering
2021-03-10 19:21:18 +0100Waifod(~Waifod@91.106.123.186) (Ping timeout: 245 seconds)
2021-03-10 19:21:31 +0100 <carbolymer> yeah
2021-03-10 19:22:05 +0100 <maerwald> maybe we can parallelize the search?
2021-03-10 19:23:24 +0100nf(~n@monade.li)
2021-03-10 19:24:45 +0100nineonin_(~nineonine@2604:3d08:7785:9600:ec09:110c:743a:f501)
2021-03-10 19:25:02 +0100 <maerwald> https://hackage.haskell.org/package/parallel-3.2.1.1/docs/Control-Parallel-Strategies.html#v:evalL…
2021-03-10 19:25:05 +0100Ebin(6746c694@103.70.198.148)
2021-03-10 19:25:09 +0100 <Ebin> hai
2021-03-10 19:25:15 +0100 <Ebin> is any one here
2021-03-10 19:25:22 +0100HiRE(~HiRE@104.128.237.40) (Ping timeout: 260 seconds)
2021-03-10 19:25:27 +0100 <maerwald> sth like that... never used the lib
2021-03-10 19:25:44 +0100 <Ebin> i am interested in know more about haskell
2021-03-10 19:25:46 +0100HiRE(~HiRE@104.128.237.40)
2021-03-10 19:25:59 +0100conal(~conal@209.58.139.5)
2021-03-10 19:26:03 +0100 <Ebin> can anyone share your experience
2021-03-10 19:26:09 +0100 <Ebin> haskell
2021-03-10 19:26:13 +0100DataComputist(~lumeng@50.43.26.251)
2021-03-10 19:26:18 +0100 <Ebin> how long it take to learn haskell
2021-03-10 19:26:34 +0100 <Ebin> is it good form production level projects
2021-03-10 19:26:41 +0100 <Ebin> can any one help me ..
2021-03-10 19:26:47 +0100 <maerwald> Ebin: what kind of project?
2021-03-10 19:26:49 +0100 <dolio> carbolymer: A trie, then?
2021-03-10 19:27:30 +0100 <dolio> At each stage you have a suffix trie, and want to compute the suffix trie from prepending one character?
2021-03-10 19:27:46 +0100 <tomsmeding> carbolymer: is the haystack kind of random in distribution?
2021-03-10 19:27:52 +0100 <Ebin> nothing like that i do not planning to do any project, i am interested in learning a function language two chooses in frond of me is elixir and haskell
2021-03-10 19:28:15 +0100 <tomsmeding> oh wait you said that the needle isn't known at construction time, hmm
2021-03-10 19:28:21 +0100 <maerwald> Ebin: haskell probably exposes you to more concepts... elixir might be easier to learn (not sure though)
2021-03-10 19:28:25 +0100 <monochrom> A trie shines for prefixes only.
2021-03-10 19:28:29 +0100 <Ebin> my agenda is to learn a functional programming langauge
2021-03-10 19:28:54 +0100 <monochrom> err suffixes only, in that case
2021-03-10 19:29:03 +0100 <maerwald> Ebin: there aren't many purely functional programming languages and even less that are useful. Elixir is functional, but not purly functional
2021-03-10 19:29:22 +0100 <maerwald> so if you're into that, haskell is a good choice
2021-03-10 19:29:30 +0100nineonine(~nineonine@2604:3d08:7785:9600:383a:c6c2:f8c1:ca2c)
2021-03-10 19:29:44 +0100 <Ebin> i am a computer engineering student ,while learning programming paradigms, i know more about function programming languages which are good at concurrency control
2021-03-10 19:29:56 +0100 <carbolymer> maerwald: nope, I can utilize one core ;) parallelization would be too easy
2021-03-10 19:29:57 +0100conal(~conal@209.58.139.5) (Quit: Computer has gone to sleep.)
2021-03-10 19:30:26 +0100 <Ebin> did Haskell have any package manager like python pip
2021-03-10 19:30:31 +0100 <maerwald> Ebin: yeah
2021-03-10 19:30:33 +0100 <dolio> But `isInfixOf` just searches for isPrefixOf in a list of suffixes.
2021-03-10 19:30:47 +0100 <tomsmeding> carbolymer: okay my question stands, is the haystack quite random? If so, while constructing store the suffix _sums_ of the haystack (can be done in constant time per pushed element, of course). Then when you know the needle's length, say N, compute all the sums of substrings of length N, and also compute the sum of the characters in the needle. Then only check actual substring equality on the
2021-03-10 19:30:48 +0100 <tomsmeding> positions where the "hashes" match
2021-03-10 19:31:10 +0100p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-03-10 19:31:30 +0100 <tomsmeding> if there's a low probability that the "hashes" match in general, this could reduce time to little more than linear in the haystack, instead linear in haystack times needle
2021-03-10 19:31:35 +0100 <dolio> Oh, I guess the problem is that you don't know which suffixes to modify.
2021-03-10 19:31:38 +0100 <tomsmeding> s/instead/instead of/
2021-03-10 19:31:43 +0100 <carbolymer> tomsmeding: I suspect it's random
2021-03-10 19:31:48 +0100 <tomsmeding> "suspect"
2021-03-10 19:32:00 +0100kuribas(~user@ptr-25vy0i7qqmcrk0iummz.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-03-10 19:32:03 +0100 <carbolymer> yeah, I can not know, because I don't know the dataset upfront
2021-03-10 19:32:10 +0100 <monochrom> Nice hashing scheme, tomsmeding.
2021-03-10 19:32:18 +0100 <tomsmeding> if you need guaranteed performance, my scheme won't work :)
2021-03-10 19:32:42 +0100 <monochrom> Just use a cryptographic hash, then everything is really really random. :)
2021-03-10 19:33:02 +0100 <tomsmeding> and substring search via homomorphic encryption?
2021-03-10 19:33:08 +0100 <tomsmeding> yeah, that will speed it up :)
2021-03-10 19:33:08 +0100 <monochrom> haha
2021-03-10 19:33:37 +0100crobbins(~crobbins@2601:2c1:200:ec50:5d1f:8754:d509:f553) (Remote host closed the connection)
2021-03-10 19:33:38 +0100nineonin_(~nineonine@2604:3d08:7785:9600:ec09:110c:743a:f501) (Ping timeout: 264 seconds)
2021-03-10 19:33:38 +0100conal(~conal@209.58.139.5)
2021-03-10 19:33:47 +0100Waifod(Waifod@gateway/vpn/protonvpn/waifod)
2021-03-10 19:33:52 +0100 <tomsmeding> Ebin: the Haskell package manager works more like a Python virtualenv, not really globally like pip
2021-03-10 19:34:08 +0100 <tomsmeding> or, well, the haskell package managerS -- there are two in common usage
2021-03-10 19:34:17 +0100crobbins(~crobbins@2601:2c1:200:ec50:30f7:9e8e:ec2a:2032)
2021-03-10 19:35:02 +0100 <Ebin> cabal
2021-03-10 19:35:11 +0100 <tomsmeding> stack is the other one
2021-03-10 19:35:15 +0100 <Ebin> is it good to start
2021-03-10 19:35:21 +0100 <monochrom> Yes.
2021-03-10 19:35:47 +0100 <monochrom> But where is sm[m] for a second opinion? >:)
2021-03-10 19:35:48 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-10 19:36:09 +0100 <maerwald> There are more interesting things for newcomers to learn than about tooling wars
2021-03-10 19:36:09 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-10 19:36:38 +0100 <monochrom> OK then, my third opinion.
2021-03-10 19:36:52 +0100 <monochrom> Ignore packages. Start with the interpreter ghci first.
2021-03-10 19:37:07 +0100sm[m]appears!
2021-03-10 19:37:27 +0100 <tomsmeding> agree with maerwald
2021-03-10 19:37:45 +0100 <Ebin> ok
2021-03-10 19:38:34 +0100 <monochrom> But perhaps people know from other communities that tooling wars are nothing new.
2021-03-10 19:39:05 +0100alexelcu(~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-10 19:39:36 +0100 <maerwald> If cabal v1 wasn't that buried in the cli, I'd still recommend that for beginners. It's sufficient.
2021-03-10 19:39:36 +0100 <carbolymer> tomsmeding: I'm trying to understand your algorithm - what do you mean by suffix sums?
2021-03-10 19:39:58 +0100 <carbolymer> tomsmeding: sums of all possible suffixes of haystack?
2021-03-10 19:40:00 +0100 <tomsmeding> carbolymer: https://en.wikipedia.org/wiki/Prefix_sum but then suffixes instead of prefixes :p
2021-03-10 19:40:00 +0100 <sm[m]> I would send Ebin straight to
2021-03-10 19:40:00 +0100 <sm[m]> @where htac
2021-03-10 19:40:01 +0100 <lambdabot> "Haskell Tutorial and Cookbook" by Mark Watson in 2017-09-04 at <https://leanpub.com/haskell-cookbook>
2021-03-10 19:40:03 +0100 <tomsmeding> carbolymer: yes
2021-03-10 19:40:07 +0100alexelcu(~alexelcu@142.93.180.198)
2021-03-10 19:40:17 +0100 <monochrom> "buried in the cli" seems to be a widespread, entrenched, institutionalized problem.
2021-03-10 19:40:19 +0100 <carbolymer> thx for the link
2021-03-10 19:40:54 +0100 <tomsmeding> carbolymer: earlier you said that the length of the list would be ~500k, whereas later you said that the haystack would be ~300 chars; which is true? :p
2021-03-10 19:41:13 +0100 <monochrom> I was trying to use docker (and get by by learning the minimum) a few days ago. "docker --help" lists a million commands. For each command, "docker foo --help" lists a million knobs.
2021-03-10 19:41:17 +0100 <carbolymer> tomsmeding: both, I have 500k haystacks, each ~300 chars
2021-03-10 19:41:20 +0100geekosaurassumes that means 500k count of 300-char strings
2021-03-10 19:41:22 +0100 <Ebin> is there any haskell related discord groups
2021-03-10 19:41:27 +0100 <tomsmeding> ooooh I see
2021-03-10 19:41:36 +0100 <monochrom> It drove home the strength of a proper GUI/TUI menu system.
2021-03-10 19:41:37 +0100 <maerwald> Ebin: there's a matrix channel
2021-03-10 19:42:04 +0100tomsmedingthinks that changes carbolymer's problem
2021-03-10 19:42:16 +0100 <carbolymer> I think so
2021-03-10 19:42:22 +0100 <carbolymer> I need to do a lot of searches
2021-03-10 19:42:28 +0100 <maerwald> monochrom: I like git's difference between `-h` and `--help`
2021-03-10 19:42:50 +0100 <maerwald> but maybe that's too subtle
2021-03-10 19:43:03 +0100 <monochrom> Speaking of which, I'm thankful for "ghcup tui".
2021-03-10 19:43:19 +0100deviantfero(~deviantfe@190.150.27.58) (Ping timeout: 265 seconds)
2021-03-10 19:43:22 +0100freeman42x[m]_(uid387759@gateway/web/irccloud.com/x-npqivcpbpqfrcrva) (Quit: Connection closed for inactivity)
2021-03-10 19:43:22 +0100freeman42x[m]__(uid387759@gateway/web/irccloud.com/x-eoxtflmbywridyms) (Quit: Connection closed for inactivity)
2021-03-10 19:43:34 +0100 <maerwald> that would be hard to do for docker, I guess
2021-03-10 19:44:11 +0100danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 246 seconds)
2021-03-10 19:44:38 +0100 <maerwald> grouping commands would already be of help: commands for images, for containers, insepction commands... like, what's your general motivation
2021-03-10 19:45:13 +0100roconnor(~roconnor@host-45-58-192-182.dyn.295.ca) (Ping timeout: 256 seconds)
2021-03-10 19:45:45 +0100 <maerwald> `docker create` is for containers only... although it could be for everything...
2021-03-10 19:45:53 +0100 <maerwald> they didn't think of that
2021-03-10 19:45:55 +0100 <geekosaur> git handles this not too terribly
2021-03-10 19:46:18 +0100 <tomsmeding> carbolymer: have you tried a regex engine that constructs a finite state machine, I believe regex-tfda does?
2021-03-10 19:46:20 +0100 <tomsmeding> no joke
2021-03-10 19:46:53 +0100tomsmedingwonders if it's worth JITing code given a particular needle
2021-03-10 19:47:37 +0100 <carbolymer> w8, ghc has jit?
2021-03-10 19:47:48 +0100 <tomsmeding> no :p
2021-03-10 19:48:05 +0100 <carbolymer> so how ? :D
2021-03-10 19:48:08 +0100 <tomsmeding> like, you could link to llvm
2021-03-10 19:48:21 +0100 <tomsmeding> which is not something you do in an evening :p
2021-03-10 19:48:44 +0100 <tomsmeding> there are haskell packages that wrap llvm into something usable from haskell
2021-03-10 19:48:46 +0100idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-03-10 19:48:50 +0100ozataman(~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net)
2021-03-10 19:49:07 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 265 seconds)
2021-03-10 19:49:08 +0100cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds)
2021-03-10 19:49:10 +0100idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-10 19:49:13 +0100dxld(~dxld@80-109-136-248.cable.dynamic.surfer.at) (Ping timeout: 245 seconds)
2021-03-10 19:49:40 +0100 <maerwald> just send the list to google and let them search through it
2021-03-10 19:50:10 +0100 <carbolymer> tomsmeding: interesting
2021-03-10 19:50:15 +0100 <maerwald> I'm pretty sure there's a microservice for that :p
2021-03-10 19:50:29 +0100 <carbolymer> tomsmeding: you mean, regex-tfda builds FSM from search pattern?
2021-03-10 19:51:08 +0100 <tomsmeding> that's what all good regex engines do
2021-03-10 19:51:31 +0100 <tomsmeding> your regex is trivial -- just a simple string -- but that doesn't mean that building an FSM is not worth it
2021-03-10 19:51:57 +0100 <tomsmeding> regex-tdfa by the way, sorry typo
2021-03-10 19:52:08 +0100idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-03-10 19:52:22 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-03-10 19:52:52 +0100 <carbolymer> yeah I found it
2021-03-10 19:53:02 +0100Ebin(6746c694@103.70.198.148) (Quit: Connection closed)
2021-03-10 19:53:10 +0100dxld(~dxld@rush.pub.dxld.at)
2021-03-10 19:53:46 +0100mananamenos_(~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 256 seconds)
2021-03-10 19:53:56 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-10 19:55:17 +0100mayleesia(590caa9e@dynamic-089-012-170-158.89.12.pool.telefonica.de)
2021-03-10 19:56:02 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-03-10 19:58:21 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds)
2021-03-10 19:59:40 +0100dm9(~weechat@p200300dcb71b99004a5d60fffe655171.dip0.t-ipconnect.de) (Quit: WeeChat 3.0.1)
2021-03-10 20:01:09 +0100p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 246 seconds)
2021-03-10 20:01:14 +0100dxld(~dxld@rush.pub.dxld.at) (Ping timeout: 264 seconds)
2021-03-10 20:02:25 +0100marinelli(~marinelli@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2021-03-10 20:02:46 +0100marinelli(~marinelli@gateway/tor-sasl/marinelli)
2021-03-10 20:02:56 +0100mananamenos_(~mananamen@193.red-88-11-66.dynamicip.rima-tde.net)
2021-03-10 20:03:37 +0100berberman_(~berberman@unaffiliated/berberman)
2021-03-10 20:04:23 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2021-03-10 20:05:15 +0100dxld(~dxld@77.116.91.109.wireless.dyn.drei.com)
2021-03-10 20:06:04 +0100p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-03-10 20:06:19 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-10 20:06:23 +0100alexelcu(~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-10 20:06:50 +0100alexelcu(~alexelcu@142.93.180.198)
2021-03-10 20:07:28 +0100ozataman(~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-03-10 20:07:55 +0100inkbottle(~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-10 20:08:06 +0100Tops2(~Tobias@dyndsl-095-033-019-066.ewe-ip-backbone.de)
2021-03-10 20:08:13 +0100inkbottle(~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr)
2021-03-10 20:09:06 +0100 <carbolymer> tomsmeding: so far regex seems to be slower than isInfixOf, i haven't found how much yet ;)
2021-03-10 20:09:19 +0100 <tomsmeding> lol ok
2021-03-10 20:09:33 +0100 <tomsmeding> that's a weird failing of the regex engine though, I'd say
2021-03-10 20:09:43 +0100 <sclv> no, not really
2021-03-10 20:10:00 +0100 <sclv> direct functions like `isInfixOf` are almost always going to be superior to general purpose matchers
2021-03-10 20:10:27 +0100 <sclv> especially if you use something like bytestring or data.text where they have specialized algorithms for efficient string search
2021-03-10 20:10:36 +0100 <sclv> er substring search
2021-03-10 20:10:38 +0100jdt(~jdt@208.85.233.130) (Ping timeout: 260 seconds)
2021-03-10 20:10:55 +0100 <tomsmeding> fair point
2021-03-10 20:11:09 +0100danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009)
2021-03-10 20:11:28 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Remote host closed the connection)
2021-03-10 20:12:24 +0100Tops21(~Tobias@dyndsl-095-033-019-066.ewe-ip-backbone.de)
2021-03-10 20:12:41 +0100alexelcu(~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-10 20:13:06 +0100alexelcu(~alexelcu@142.93.180.198)
2021-03-10 20:13:19 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-10 20:13:37 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:d309:85bd:e842:5451) (Ping timeout: 260 seconds)
2021-03-10 20:15:10 +0100hugo(znc@verdigris.lysator.liu.se)
2021-03-10 20:15:53 +0100Boomerang(~Boomerang@2a05:f6c7:2179:0:82f:9d51:f6fc:aa85)
2021-03-10 20:16:12 +0100Tops2(~Tobias@dyndsl-095-033-019-066.ewe-ip-backbone.de) (Ping timeout: 246 seconds)
2021-03-10 20:17:01 +0100jdt(~jdt@208.85.233.130)
2021-03-10 20:20:38 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 20:21:24 +0100 <tomsmeding> carbolymer: in my testing with random strings on the strict bytestring algorithms in 'stringsearch', boyer-moore wins by far when compared with KMP, karp-rabin, DFA
2021-03-10 20:21:28 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-10 20:21:35 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 272 seconds)
2021-03-10 20:21:48 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 20:22:35 +0100 <tomsmeding> (3 times as fast as KMP, 4 times as fast as DFA, 18 times as fast as karp-rabin)
2021-03-10 20:22:45 +0100pera(~pera@unaffiliated/pera) (Ping timeout: 264 seconds)
2021-03-10 20:22:50 +0100 <carbolymer> tomsmeding: interesting, what lengths of needles/haystacks, how many searches?
2021-03-10 20:22:58 +0100Waifod(Waifod@gateway/vpn/protonvpn/waifod) (Ping timeout: 260 seconds)
2021-03-10 20:23:18 +0100 <tomsmeding> arrowsvc_: one search of a 15-byte needle in 500k bytestrings of length 300 each
2021-03-10 20:23:29 +0100 <tomsmeding> ... how did that mention happen, sorry random person
2021-03-10 20:23:31 +0100 <tomsmeding> carbolymer: ^
2021-03-10 20:23:40 +0100monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2021-03-10 20:23:51 +0100monochrom(trebla@216.138.220.146)
2021-03-10 20:24:23 +0100 <carbolymer> hmm
2021-03-10 20:24:41 +0100Waifod(~Waifod@91.106.123.186)
2021-03-10 20:24:50 +0100 <tomsmeding> carbolymer: https://paste.tomsmeding.com/wjNVDkLI
2021-03-10 20:25:08 +0100 <tomsmeding> (using stringsearch, bytestring, random, criterion-measurement)
2021-03-10 20:25:28 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-10 20:26:00 +0100 <carbolymer> tomsmeding: hmm, what about isInfixOf? ;)
2021-03-10 20:26:04 +0100 <tomsmeding> lol
2021-03-10 20:26:09 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:6193:a9fe:af70:ae6e)
2021-03-10 20:26:21 +0100monochrom(trebla@216.138.220.146) (Client Quit)
2021-03-10 20:27:26 +0100 <maerwald> BoyerMoore is fastest here
2021-03-10 20:28:55 +0100tomsmedingnoticed that I was using bytestring-0.11 instead of 0.12 so recompiling the world
2021-03-10 20:29:13 +0100tomsmedingum, 0.10 instead of 0.11
2021-03-10 20:30:13 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-10 20:30:32 +0100 <maerwald> compiled with -O1 BoyerMoore is even faster
2021-03-10 20:30:33 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 264 seconds)
2021-03-10 20:30:40 +0100Tario(~Tario@201.192.165.173)
2021-03-10 20:31:11 +0100 <maerwald> carbolymer: this way you can cabal run the file: https://paste.tomsmeding.com/IRUOUSWJ
2021-03-10 20:31:11 +0100 <tomsmeding> boyermoore is faster than isInfixOf here, carbolymer
2021-03-10 20:32:01 +0100 <carbolymer> I'm trying to re-run your code
2021-03-10 20:32:10 +0100 <carbolymer> but using stack
2021-03-10 20:32:15 +0100 <carbolymer> so downloading ghc rn >.>
2021-03-10 20:32:28 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-10 20:32:39 +0100justan0theruser(~justanoth@unaffiliated/justanotheruser)
2021-03-10 20:32:45 +0100tomsmedingwonders how "using stack" became "so downloading ghc", presumably you already have a ghc you're using? :p
2021-03-10 20:33:02 +0100 <maerwald> stack downloads a ghc just in case :p
2021-03-10 20:33:15 +0100 <carbolymer> ^ basically this ;)
2021-03-10 20:33:23 +0100Gurkenglas_(~Gurkengla@unaffiliated/gurkenglas)
2021-03-10 20:33:24 +0100bergey`(~user@107.181.19.30)
2021-03-10 20:33:33 +0100 <tomsmeding> only if you specify a LTS that uses a ghc you didn't already have, right?
2021-03-10 20:33:42 +0100Benzi-Junior(~BenziJuni@88-149-64-40.du.xdsl.is) (Ping timeout: 246 seconds)
2021-03-10 20:33:49 +0100 <tomsmeding> I mean, stack bashing anytime, but this seems strange
2021-03-10 20:34:14 +0100waskell(~quassel@d66-183-124-203.bchsia.telus.net)
2021-03-10 20:34:14 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds)
2021-03-10 20:34:20 +0100 <Uniaika> (not to be confused with stack smashing)
2021-03-10 20:34:30 +0100drewolson4(~drewolson@64.227.24.16)
2021-03-10 20:34:33 +0100CrazyPyt_(~crazypyth@98.122.164.118)
2021-03-10 20:34:39 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-10 20:35:07 +0100ralu7(~ralu@static.211.245.203.116.clients.your-server.de)
2021-03-10 20:35:09 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 20:35:21 +0100neightchan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-03-10 20:35:27 +0100vnz_(~vnz@51.15.143.225)
2021-03-10 20:35:28 +0100glguy_(x@freenode/staff/haskell.developer.glguy)
2021-03-10 20:35:28 +0100glguy(x@freenode/staff/haskell.developer.glguy) (Killed (weber.freenode.net (Nickname regained by services)))
2021-03-10 20:35:28 +0100glguy_glguy
2021-03-10 20:35:31 +0100lazyshrk_(~lazyshrk@128.199.58.13)
2021-03-10 20:35:33 +0100cocreature_(~cocreatur@eirene.uberspace.de)
2021-03-10 20:35:38 +0100infinisi1(~infinisil@NixOS/user/infinisil)
2021-03-10 20:35:38 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-10 20:35:41 +0100superstar64(6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net)
2021-03-10 20:35:42 +0100Anthaas_(~Anthaas@unaffiliated/anthaas)
2021-03-10 20:35:44 +0100gothos_(~gothos@antsy.jhz.name)
2021-03-10 20:35:47 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-10 20:36:03 +0100Bergle_2(~Bergle_4@101.165.90.119)
2021-03-10 20:36:03 +0100codolio(~dolio@haskell/developer/dolio)
2021-03-10 20:36:13 +0100 <gentauro> 20:33 < tomsmeding> only if you specify a LTS that uses a ghc you didn't already have, right?
2021-03-10 20:36:20 +0100 <gentauro> indispensable for reproducible builds !!!
2021-03-10 20:36:27 +0100minoru_shiraeesh(~shiraeesh@77.94.25.47)
2021-03-10 20:36:42 +0100dragestil_(~quassel@fsf/member/dragestil)
2021-03-10 20:36:43 +0100 <maerwald> there are no reproducible builds in haskell either way
2021-03-10 20:36:47 +0100jil``(~user@45.86.162.6)
2021-03-10 20:36:48 +0100tanuki_(~quassel@173.168.154.189)
2021-03-10 20:36:50 +0100gentauroto be fair, that will always work on a system like debian and so, but not on `nixos` :(
2021-03-10 20:36:55 +0100 <tomsmeding> why does 'random' not have a list shuffle function
2021-03-10 20:36:57 +0100hseg(~gesh@IGLD-84-228-239-48.inter.net.il)
2021-03-10 20:36:57 +0100 <gentauro> maerwald: there is
2021-03-10 20:37:06 +0100 <gentauro> I know how to, muahaha :)
2021-03-10 20:37:07 +0100 <maerwald> gentauro: it's impossible due to ghc issues
2021-03-10 20:37:14 +0100 <maerwald> it's not deterministic
2021-03-10 20:37:17 +0100 <gentauro> maerwald: nah
2021-03-10 20:37:19 +0100 <maerwald> yes
2021-03-10 20:37:20 +0100lawid_(~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de)
2021-03-10 20:37:23 +0100 <gentauro> maerwald: it is
2021-03-10 20:37:24 +0100 <gentauro> xD
2021-03-10 20:37:25 +0100p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 272 seconds)
2021-03-10 20:37:40 +0100NieDzejkob_(~quassel@195.149.98.3)
2021-03-10 20:37:43 +0100 <maerwald> https://gitlab.haskell.org/ghc/ghc/-/issues/4012
2021-03-10 20:37:45 +0100 <maerwald> no
2021-03-10 20:37:56 +0100ornxka_(~ornxka@unaffiliated/ornx)
2021-03-10 20:37:57 +0100byorgey_(~byorgey@155.138.238.211)
2021-03-10 20:37:58 +0100machined1od(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-03-10 20:38:02 +0100mceier_(~mceier@89-68-132-187.dynamic.chello.pl)
2021-03-10 20:38:04 +0100jack1909(~qpls@cpeb4750e67d202-cmf81d0fad5840.cpe.net.fido.ca)
2021-03-10 20:38:04 +0100 <gentauro> `(*) GHC is not fully deterministic yet, but if you keep to the following setup: stack + LTS - Data.Unique, you shouldn’t have any problems. For more info, please look into the ongoing work in order to make GHC support fully deterministic builds.` https://uniprocess.org/builds.html
2021-03-10 20:38:05 +0100neiluj_(~jco@91-167-203-101.subs.proxad.net)
2021-03-10 20:38:13 +0100 <sclv> random is for generating random values. list shuffle is one of many things you can _do_ with random values
2021-03-10 20:38:25 +0100b3zi(~b3z@vmd41962.contaboserver.net)
2021-03-10 20:38:25 +0100 <sclv> the "standard" good enough shuffle is a one liner
2021-03-10 20:38:26 +0100gienah_(~mwright@119-18-2-241.771202.syd.nbn.aussiebb.net)
2021-03-10 20:38:36 +0100 <sclv> just zip your values with a list of random reals and sort
2021-03-10 20:38:45 +0100 <tomsmeding> sclv: fair point
2021-03-10 20:38:46 +0100 <maerwald> "you shouldn'h have any problems"?
2021-03-10 20:38:48 +0100 <gentauro> maerwald: it helped to talk to `Mathieu Boespflug` ;)
2021-03-10 20:38:52 +0100mceier(~mceier@89-68-132-187.dynamic.chello.pl) (Disconnected by services)
2021-03-10 20:39:10 +0100 <gentauro> who is the founder of Tweag.IO
2021-03-10 20:39:12 +0100mceier_mceier
2021-03-10 20:39:20 +0100 <maerwald> that needs more information
2021-03-10 20:39:24 +0100 <gentauro> s/.IO/IO/
2021-03-10 20:39:34 +0100lagooned1(lagooned@irc.nathanic.org)
2021-03-10 20:39:39 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-03-10 20:39:48 +0100 <gentauro> maerwald: I will copy/pasta my stack.yaml file. W8 a second
2021-03-10 20:39:55 +0100ahf_(ahf@irssi/staff/ahf)
2021-03-10 20:40:05 +0100orion_(~orion@c-76-19-236-20.hsd1.nh.comcast.net)
2021-03-10 20:40:16 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-03-10 20:40:30 +0100lawid_(~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de) (Max SendQ exceeded)
2021-03-10 20:40:51 +0100 <gentauro> maerwald: https://pastebin.ubuntu.com/p/hBrqzcpFFS/
2021-03-10 20:41:07 +0100lawid_(~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de)
2021-03-10 20:41:24 +0100 <maerwald> gentauro: how does that fix the GHC bug?
2021-03-10 20:41:25 +0100stefan-__(~cri@42dots.de)
2021-03-10 20:41:25 +0100 <gentauro> I `lock` my projects to a specific github commit from `nix`
2021-03-10 20:41:26 +0100mursu_(~ngWalrus@2a03:b0c0:3:d0::5ebd:2001)
2021-03-10 20:41:27 +0100haritzondo(~hrtz@62.3.70.206)
2021-03-10 20:41:27 +0100jtcs_(~jtcs@vmi359854.contaboserver.net)
2021-03-10 20:41:43 +0100meck_(~meck@li1809-18.members.linode.com)
2021-03-10 20:42:15 +0100pounce-(~pounce@ns379743.ip-5-196-70.eu)
2021-03-10 20:42:25 +0100 <superstar64> rate my black magic https://gist.github.com/Superstar64/8fd82a5e1e59ec36831a0c05e61936cd
2021-03-10 20:42:39 +0100pharaun_(~pharaun@static.88-198-62-245.clients.your-server.de)
2021-03-10 20:42:42 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (*.net *.split)
2021-03-10 20:42:42 +0100__minoru__shirae(~shiraeesh@77.94.25.47) (*.net *.split)
2021-03-10 20:42:42 +0100CrazyPython(~crazypyth@98.122.164.118) (*.net *.split)
2021-03-10 20:42:42 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (*.net *.split)
2021-03-10 20:42:42 +0100ralu(~ralu@static.211.245.203.116.clients.your-server.de) (*.net *.split)
2021-03-10 20:42:42 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net) (*.net *.split)
2021-03-10 20:42:42 +0100apoc(~apoc@49.12.13.193) (*.net *.split)
2021-03-10 20:42:42 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (*.net *.split)
2021-03-10 20:42:42 +0100sh9(~sh9@softbank060116136158.bbtec.net) (*.net *.split)
2021-03-10 20:42:42 +0100motherfsck(~motherfsc@unaffiliated/motherfsck) (*.net *.split)
2021-03-10 20:42:42 +0100byorgey(~byorgey@155.138.238.211) (*.net *.split)
2021-03-10 20:42:42 +0100neiluj(~jco@91-167-203-101.subs.proxad.net) (*.net *.split)
2021-03-10 20:42:43 +0100Bergle_1(~Bergle_4@101.165.90.119) (*.net *.split)
2021-03-10 20:42:43 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (*.net *.split)
2021-03-10 20:42:43 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (*.net *.split)
2021-03-10 20:42:43 +0100Jello_Raptor(~Jello_Rap@li641-12.members.linode.com) (*.net *.split)
2021-03-10 20:42:43 +0100meck(~meck@li1809-18.members.linode.com) (*.net *.split)
2021-03-10 20:42:43 +0100ahf(ahf@irssi/staff/ahf) (*.net *.split)
2021-03-10 20:42:43 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net) (*.net *.split)
2021-03-10 20:42:43 +0100sdrodge(~sdrodge@unaffiliated/sdrodge) (*.net *.split)
2021-03-10 20:42:43 +0100stefan-_(~cri@42dots.de) (*.net *.split)
2021-03-10 20:42:43 +0100drewolson(~drewolson@64.227.24.16) (*.net *.split)
2021-03-10 20:42:43 +0100gothos(~gothos@antsy.jhz.name) (*.net *.split)
2021-03-10 20:42:43 +0100waskell_(~quassel@d66-183-124-203.bchsia.telus.net) (*.net *.split)
2021-03-10 20:42:43 +0100jluttine(~jluttine@85-23-95-149.bb.dnainternet.fi) (*.net *.split)
2021-03-10 20:42:43 +0100jtcs(~jtcs@vmi359854.contaboserver.net) (*.net *.split)
2021-03-10 20:42:43 +0100b3z(~b3z@vmd41962.contaboserver.net) (*.net *.split)
2021-03-10 20:42:43 +0100s00pcan(~chris@075-133-056-178.res.spectrum.com) (*.net *.split)
2021-03-10 20:42:43 +0100lawid(~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de) (*.net *.split)
2021-03-10 20:42:43 +0100NieDzejkob(~quassel@195.149.98.3) (*.net *.split)
2021-03-10 20:42:43 +0100mursu(~ngWalrus@46.101.150.54) (*.net *.split)
2021-03-10 20:42:43 +0100dragestil(~quassel@fsf/member/dragestil) (*.net *.split)
2021-03-10 20:42:43 +0100Ishutin(~ishutin@91-83-11-236.pool.digikabel.hu) (*.net *.split)
2021-03-10 20:42:43 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (*.net *.split)
2021-03-10 20:42:43 +0100ornxka(~ornxka@unaffiliated/ornx) (*.net *.split)
2021-03-10 20:42:43 +0100pounce(~pounce@ns379743.ip-5-196-70.eu) (*.net *.split)
2021-03-10 20:42:43 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (*.net *.split)
2021-03-10 20:42:43 +0100dmwit(~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (*.net *.split)
2021-03-10 20:42:43 +0100tanuki(~quassel@173.168.154.189) (*.net *.split)
2021-03-10 20:42:43 +0100aidecoe(~aidecoe@unaffiliated/aidecoe) (*.net *.split)
2021-03-10 20:42:43 +0100shailangsa(~shailangs@host86-162-150-241.range86-162.btcentralplus.com) (*.net *.split)
2021-03-10 20:42:43 +0100wz1000(~wz1000@static.11.113.47.78.clients.your-server.de) (*.net *.split)
2021-03-10 20:42:43 +0100pharaun(~pharaun@static.88-198-62-245.clients.your-server.de) (*.net *.split)
2021-03-10 20:42:43 +0100gienah(~mwright@gentoo/developer/gienah) (*.net *.split)
2021-03-10 20:42:43 +0100infinisil(~infinisil@NixOS/user/infinisil) (*.net *.split)
2021-03-10 20:42:43 +0100Anthaas(~Anthaas@unaffiliated/anthaas) (*.net *.split)
2021-03-10 20:42:43 +0100jathan(~jathan@69.61.93.38) (*.net *.split)
2021-03-10 20:42:43 +0100cocreature(~cocreatur@eirene.uberspace.de) (*.net *.split)
2021-03-10 20:42:43 +0100davean(~davean@davean.sciesnet.net) (*.net *.split)
2021-03-10 20:42:43 +0100energizer(~energizer@unaffiliated/energizer) (*.net *.split)
2021-03-10 20:42:43 +0100lagooned(lagooned@irc.nathanic.org) (*.net *.split)
2021-03-10 20:42:43 +0100dolio(~dolio@haskell/developer/dolio) (*.net *.split)
2021-03-10 20:42:43 +0100jil(~user@45.86.162.6) (*.net *.split)
2021-03-10 20:42:43 +0100haritz(~hrtz@unaffiliated/haritz) (*.net *.split)
2021-03-10 20:42:43 +0100orion(~orion@unaffiliated/orion) (*.net *.split)
2021-03-10 20:42:43 +0100Guest41046(~melkor@31.31.76.126) (*.net *.split)
2021-03-10 20:42:43 +0100lazyshrk(~lazyshrk@128.199.58.13) (*.net *.split)
2021-03-10 20:42:43 +0100vnz(~vnz@unaffiliated/vnz) (*.net *.split)
2021-03-10 20:42:43 +0100c-rog(~c-rog@traffic.simst.im) (*.net *.split)
2021-03-10 20:42:43 +0100meck_meck
2021-03-10 20:42:43 +0100Lord_of_Life_Lord_of_Life
2021-03-10 20:42:43 +0100drewolson4drewolson
2021-03-10 20:42:43 +0100lazyshrk_lazyshrk
2021-03-10 20:42:43 +0100ralu7ralu
2021-03-10 20:42:43 +0100gothos_gothos
2021-03-10 20:42:46 +0100cocreature_cocreature
2021-03-10 20:42:48 +0100Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 246 seconds)
2021-03-10 20:42:49 +0100pharaun_pharaun
2021-03-10 20:42:52 +0100vnz_vnz
2021-03-10 20:42:52 +0100vnz(~vnz@51.15.143.225) (Changing host)
2021-03-10 20:42:52 +0100vnz(~vnz@unaffiliated/vnz)
2021-03-10 20:43:00 +0100 <gentauro> maerwald: https://pastebin.ubuntu.com/p/bR9Jh3jG8b/
2021-03-10 20:43:06 +0100carbolymer(~carbolyme@dropacid.net) ()
2021-03-10 20:43:14 +0100 <gentauro> maerwald: starts at line 74
2021-03-10 20:43:31 +0100dmwit(~dmwit@pool-173-66-86-32.washdc.fios.verizon.net)
2021-03-10 20:43:36 +0100 <gentauro> my build on a `nixos` can be reproduced on an `ubuntu` or `debian` with the same resulting `bits`
2021-03-10 20:43:39 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a)
2021-03-10 20:43:41 +0100sh9(~sh9@softbank060116136158.bbtec.net)
2021-03-10 20:43:44 +0100 <gentauro> I find that kind of `nice` :)
2021-03-10 20:43:45 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 264 seconds)
2021-03-10 20:43:52 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving)
2021-03-10 20:43:54 +0100energizer(~energizer@unaffiliated/energizer)
2021-03-10 20:43:57 +0100Jello_Raptor(~Jello_Rap@li641-12.members.linode.com)
2021-03-10 20:44:17 +0100lawid_(~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de) (Max SendQ exceeded)
2021-03-10 20:44:25 +0100lawid(~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de)
2021-03-10 20:44:30 +0100 <superstar64> printing functions is neat, here's `(||)` for example
2021-03-10 20:44:30 +0100 <hseg> superstar64: cool
2021-03-10 20:44:32 +0100 <superstar64> `let {f x | x == False = let {f x | x == False = False;f x | x == True = True;} in f;f x | x == True = let {f x | x == False = True;f x | x == True = True;} in f;} in f`
2021-03-10 20:44:44 +0100petersen(~petersen@redhat/juhp) (Remote host closed the connection)
2021-03-10 20:44:46 +0100 <superstar64> here's flip
2021-03-10 20:44:48 +0100 <superstar64> `let {f x | x == let {f x | x == () = let {f x | x == () = ();} in f;} in f = let {f x | x == () = let {f x | x == () = ();} in f;} in f;} in f`
2021-03-10 20:45:15 +0100 <maerwald> gentauro: ah, so -dinitial-unique=0 -dunique-increment=1
2021-03-10 20:45:15 +0100jespada(~jespada@90.254.243.187) (Ping timeout: 246 seconds)
2021-03-10 20:45:16 +0100Ishutin(~ishutin@91-83-11-236.pool.digikabel.hu)
2021-03-10 20:45:19 +0100 <hseg> might want to replace 'all id' with 'and' there
2021-03-10 20:45:23 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection)
2021-03-10 20:45:25 +0100 <[exa]> superstar64: finitists rejoice
2021-03-10 20:45:26 +0100stree(~stree@68.36.8.116) (Excess Flood)
2021-03-10 20:45:54 +0100stree(~stree@68.36.8.116)
2021-03-10 20:46:05 +0100 <maerwald> gentauro: looking at the GHC ticket, that doesn't seem to be the only source though
2021-03-10 20:46:18 +0100Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 246 seconds)
2021-03-10 20:46:39 +0100Wuzzy(~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2021-03-10 20:46:50 +0100 <gentauro> maerwald: those were the hints I got from Mathieu ;)
2021-03-10 20:47:01 +0100 <maerwald> this should be discussed in the ticket
2021-03-10 20:47:30 +0100 <gentauro> maerwald: agree. We should let Tweag I/O work on this.
2021-03-10 20:47:43 +0100 <gentauro> who will sponsor? M$? FB?
2021-03-10 20:47:44 +0100 <gentauro> :)
2021-03-10 20:47:58 +0100s00pcan(~chris@075-133-056-178.res.spectrum.com)
2021-03-10 20:48:10 +0100jespada(~jespada@90.254.243.187)
2021-03-10 20:48:30 +0100Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-03-10 20:48:33 +0100aidecoe(~aidecoe@unaffiliated/aidecoe)
2021-03-10 20:48:41 +0100davean(~davean@davean.sciesnet.net)
2021-03-10 20:49:08 +0100inkbottlezebrag
2021-03-10 20:49:09 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-03-10 20:49:10 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net)
2021-03-10 20:49:17 +0100Guest41046(~melkor@2a02:2b88:2:1::5b34:1)
2021-03-10 20:49:26 +0100motherfsck(~motherfsc@unaffiliated/motherfsck)
2021-03-10 20:49:31 +0100wz1000(~wz1000@static.11.113.47.78.clients.your-server.de)
2021-03-10 20:49:36 +0100 <maerwald> Do those flags have any side effects?
2021-03-10 20:49:51 +0100 <maerwald> Or can I just stomp them into all my cabal files
2021-03-10 20:49:57 +0100 <gentauro> maerwald: which flags?
2021-03-10 20:50:01 +0100sdrodge(~sdrodge@unaffiliated/sdrodge)
2021-03-10 20:50:07 +0100 <maerwald> -dinitial-unique=0 -dunique-increment=1
2021-03-10 20:50:23 +0100 <hseg> superstar64: note that the Enum instance blows the stack pretty quickly
2021-03-10 20:50:24 +0100jathan(~jathan@69.61.93.38)
2021-03-10 20:50:50 +0100apoc(~apoc@49.12.13.193)
2021-03-10 20:51:02 +0100 <gentauro> maerwald: they haven't for me, but my code is not running in `prod` (yet) so … I'm probably not the best to respond this :|
2021-03-10 20:51:03 +0100jluttine(~jluttine@85-23-95-149.bb.dnainternet.fi)
2021-03-10 20:51:23 +0100 <hseg> nm, if you keep the domain small enough it doesn't matter
2021-03-10 20:52:17 +0100p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-03-10 20:52:34 +0100 <superstar64> i'm fully aware my code is awful
2021-03-10 20:52:46 +0100 <hseg> nw
2021-03-10 20:52:56 +0100 <hseg> it works, it's cool
2021-03-10 20:54:44 +0100c-rog(~c-rog@traffic.simst.im)
2021-03-10 20:55:14 +0100 <hseg> just realized by staring at the free theorem for [a] -> [a] that the function I wanted is impossible to write in general
2021-03-10 20:55:36 +0100 <hseg> (basically, wanted to have a general `On` combinator
2021-03-10 20:56:24 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-10 20:56:35 +0100 <sclv> :t on
2021-03-10 20:56:36 +0100 <lambdabot> (b -> b -> c) -> (a -> b) -> a -> a -> c
2021-03-10 20:56:46 +0100 <hseg> no, as in
2021-03-10 20:56:48 +0100 <hseg> :t sort
2021-03-10 20:56:49 +0100 <lambdabot> Ord a => [a] -> [a]
2021-03-10 20:56:50 +0100 <hseg> :t sortOn
2021-03-10 20:56:51 +0100 <lambdabot> Ord b => (a -> b) -> [a] -> [a]
2021-03-10 20:57:17 +0100 <hseg> since morally speaking a function [a] -> [a] only rearranges its inputs
2021-03-10 20:57:31 +0100valdyn(valdyn@c6a7cb82.vpn.njalla.net)
2021-03-10 20:57:41 +0100 <sclv> right but sort isn't of that type, its got a typeclass constraint
2021-03-10 20:57:47 +0100 <sclv> which means it has different free theorems
2021-03-10 20:57:57 +0100monochrom(trebla@216.138.220.146)
2021-03-10 20:58:11 +0100 <hseg> y. wasn't referring to on that you mentioned
2021-03-10 20:58:13 +0100valdyn(valdyn@c6a7cb82.vpn.njalla.net) (Client Quit)
2021-03-10 20:58:20 +0100p8m(p8m@gateway/vpn/protonvpn/p8m) (Remote host closed the connection)
2021-03-10 20:58:29 +0100valdyn(valdyn@c6a7cb82.vpn.njalla.net)
2021-03-10 20:58:53 +0100 <hseg> wanted sth like :: (a ->b) -> (c b => f b -> f b) -> (c a => f a -> f a)
2021-03-10 20:59:18 +0100 <hseg> except in that full generality, it probably is impossible
2021-03-10 20:59:26 +0100p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-03-10 20:59:44 +0100 <sclv> you can get close with coerce and newtypes
2021-03-10 20:59:53 +0100raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-10 21:00:24 +0100 <sclv> and like `reflection` type stuff
2021-03-10 21:00:32 +0100 <hseg> hrm. wrap/unwrap a newtype that uses the projection for the instances?
2021-03-10 21:01:14 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-10 21:01:56 +0100 <hseg> that works except when you need to synthesise new data
2021-03-10 21:02:07 +0100 <hseg> so e.g. no Monoid instance
2021-03-10 21:02:09 +0100 <sclv> https://www.tweag.io/blog/2017-12-21-reflection-tutorial/
2021-03-10 21:02:21 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-03-10 21:03:40 +0100 <sclv> this has all been wrapped up in a usable way somewhere iirc but its not all in e.g. the reflection package directly. i think in practice people find it irritating to use, but i know it was all worked out at one point
2021-03-10 21:04:13 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection)
2021-03-10 21:04:33 +0100 <hseg> y...
2021-03-10 21:05:06 +0100 <hseg> actually, i think i was burned by this the previous time, but this specific usecase i want could actually work
2021-03-10 21:05:43 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 276 seconds)
2021-03-10 21:05:56 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 21:06:11 +0100 <hseg> (specifically, given rotateMinimum :: Ord a => [a] -> [a], i'd like to rotateMinimumOn (scanl1 (+))
2021-03-10 21:06:31 +0100 <hseg> which will make the output list satisfy all (>=0)
2021-03-10 21:06:33 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-10 21:06:34 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2021-03-10 21:06:48 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-03-10 21:06:52 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 21:07:14 +0100p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 264 seconds)
2021-03-10 21:07:19 +0100petersen(~petersen@redhat/juhp)
2021-03-10 21:07:23 +0100 <hseg> hrm. it seems that as long as i only ever have the projected data in negative position this can work
2021-03-10 21:07:49 +0100p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-03-10 21:07:54 +0100zebrag(~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-10 21:07:59 +0100jrqc(~rofl@96.78.87.197)
2021-03-10 21:08:01 +0100 <hseg> which makes sense -- if you have data in positive position, you start having to worry about how to combain the various projections
2021-03-10 21:08:15 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-10 21:08:15 +0100zebrag(~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr)
2021-03-10 21:08:34 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 21:09:25 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-10 21:09:44 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 21:10:32 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-10 21:10:50 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 21:11:43 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-10 21:12:02 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 21:14:51 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-10 21:15:53 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-10 21:16:09 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 264 seconds)
2021-03-10 21:16:15 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-10 21:16:43 +0100p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 245 seconds)
2021-03-10 21:17:21 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-10 21:19:11 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-10 21:19:39 +0100zangi(~azure@103.154.230.250)
2021-03-10 21:20:51 +0100zangi(~azure@103.154.230.250) (Client Quit)
2021-03-10 21:23:29 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-10 21:23:49 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 21:24:05 +0100zangi(~azure@103.154.230.250)
2021-03-10 21:24:38 +0100raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-03-10 21:25:22 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-03-10 21:25:47 +0100nineonine(~nineonine@2604:3d08:7785:9600:383a:c6c2:f8c1:ca2c) ()
2021-03-10 21:26:31 +0100carbolymer(~carbolyme@dropacid.net)
2021-03-10 21:27:36 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-03-10 21:28:50 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-03-10 21:28:50 +0100sablib1(~sablib@171.113.166.176) (Read error: Connection reset by peer)
2021-03-10 21:29:21 +0100sablib1(~sablib@59.173.154.87)
2021-03-10 21:29:38 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 245 seconds)
2021-03-10 21:31:01 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-03-10 21:31:22 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-03-10 21:32:17 +0100teardown(~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds)
2021-03-10 21:35:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-10 21:35:39 +0100forgottenone(~forgotten@176.42.29.216) (Ping timeout: 246 seconds)
2021-03-10 21:36:33 +0100arrowsvc_(~arr@2.93.163.35) (Ping timeout: 264 seconds)
2021-03-10 21:36:56 +0100maxxe_test(~maxxe@unaffiliated/maxxe)
2021-03-10 21:38:45 +0100teardown(~user@gateway/tor-sasl/mrush)
2021-03-10 21:39:38 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 21:40:19 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-10 21:40:40 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 21:40:55 +0100kozowu(uid44796@gateway/web/irccloud.com/x-wlfxxlfkkrrqlsqe) ()
2021-03-10 21:41:11 +0100kozowu(uid44796@gateway/web/irccloud.com/x-qrafyzcgzsqfnujy)
2021-03-10 21:41:24 +0100maxxe_test(~maxxe@unaffiliated/maxxe) (Quit: brb)
2021-03-10 21:42:26 +0100p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-03-10 21:47:03 +0100supercoven_(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 265 seconds)
2021-03-10 21:48:21 +0100jneira(5127adbf@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.191)
2021-03-10 21:50:08 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-03-10 21:53:58 +0100amerigo(uid331857@gateway/web/irccloud.com/x-ogtmyetatpwdhnbk) (Quit: Connection closed for inactivity)
2021-03-10 21:54:43 +0100petrus(~petrus@unaffiliated/petrus)
2021-03-10 21:58:45 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-10 21:59:39 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-10 22:00:06 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-03-10 22:00:38 +0100leah2(~leah@vuxu.org) (Ping timeout: 264 seconds)
2021-03-10 22:00:39 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-10 22:02:10 +0100leah2(~leah@vuxu.org)
2021-03-10 22:02:36 +0100zangi(~azure@103.154.230.250) (Ping timeout: 246 seconds)
2021-03-10 22:03:33 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-10 22:03:57 +0100milessabin(sid86799@gateway/web/irccloud.com/x-xytdxzsyhuzytcdc) ()
2021-03-10 22:04:13 +0100milessabin(sid86799@gateway/web/irccloud.com/x-wrfvlipjxxwtgdkb)
2021-03-10 22:04:42 +0100kyagrd__(sid102627@gateway/web/irccloud.com/x-yhojjneatqeoigbv) ()
2021-03-10 22:04:42 +0100zangi(~azure@103.154.230.250)
2021-03-10 22:04:50 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 264 seconds)
2021-03-10 22:04:55 +0100kyagrd__(sid102627@gateway/web/irccloud.com/x-mfzxnpgkmcgufsvn)
2021-03-10 22:05:18 +0100jrqc(~rofl@96.78.87.197)
2021-03-10 22:07:22 +0100pera(~pera@unaffiliated/pera)
2021-03-10 22:07:55 +0100zebrag(~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-10 22:08:14 +0100zebrag(~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr)
2021-03-10 22:08:17 +0100fendor_(~fendor@77.119.131.80.wireless.dyn.drei.com)
2021-03-10 22:09:15 +0100encod3(~encod3@45-154-157-94.ftth.glasoperator.nl)
2021-03-10 22:10:56 +0100Kamuela(sid111576@gateway/web/irccloud.com/x-rawlogsccanndxab) ()
2021-03-10 22:10:59 +0100fendor(~fendor@178.165.128.28.wireless.dyn.drei.com) (Ping timeout: 268 seconds)
2021-03-10 22:11:22 +0100Kamuela(sid111576@gateway/web/irccloud.com/x-clkrtorqsnvtctky)
2021-03-10 22:12:09 +0100acidjnk_new(~acidjnk@p200300d0c72b9595a49e15de1a2c16dc.dip0.t-ipconnect.de)
2021-03-10 22:12:13 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-10 22:13:10 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-03-10 22:13:11 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-10 22:13:45 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 264 seconds)
2021-03-10 22:14:34 +0100roconnor(~roconnor@host-45-58-192-182.dyn.295.ca)
2021-03-10 22:14:38 +0100cheater(~user@unaffiliated/cheater)
2021-03-10 22:15:23 +0100pera(~pera@unaffiliated/pera) (Ping timeout: 256 seconds)
2021-03-10 22:16:21 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-10 22:17:35 +0100 <carbolymer> tomsmeding: that's weird, in your synthetic benchmark boyer-moore wins, but in my case it's 7.8 times slower than `isInfixOf`
2021-03-10 22:17:41 +0100Boomerang(~Boomerang@2a05:f6c7:2179:0:82f:9d51:f6fc:aa85) (Quit: Leaving)
2021-03-10 22:17:47 +0100usr25(~usr25@unaffiliated/usr25)
2021-03-10 22:18:02 +0100 <carbolymer> tomsmeding: also, this karp-rabin from stringsearch is 4 times slower than in `isInfixOf`
2021-03-10 22:18:42 +0100 <carbolymer> I give up for today ;]
2021-03-10 22:18:47 +0100 <carbolymer> tomsmeding: thanks!
2021-03-10 22:20:21 +0100graingert(sid128301@gateway/web/irccloud.com/x-vwzoafonxaqqvvrv) ()
2021-03-10 22:20:24 +0100dxld(~dxld@77.116.91.109.wireless.dyn.drei.com) (Ping timeout: 265 seconds)
2021-03-10 22:21:36 +0100dxld(~dxld@80-109-136-248.cable.dynamic.surfer.at)
2021-03-10 22:21:39 +0100graingert(sid128301@gateway/web/irccloud.com/x-egpegejfputxptdj)
2021-03-10 22:21:46 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 276 seconds)
2021-03-10 22:24:13 +0100LKoen(~LKoen@194.250.88.92.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-03-10 22:25:08 +0100lagooned1(lagooned@irc.nathanic.org) ("WeeChat 3.0")
2021-03-10 22:25:21 +0100fendor_(~fendor@77.119.131.80.wireless.dyn.drei.com) (Remote host closed the connection)
2021-03-10 22:25:37 +0100superstar64(6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed)
2021-03-10 22:27:15 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-10 22:30:17 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-10 22:30:38 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 22:32:00 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-03-10 22:33:26 +0100hydroxon1um(7458bdce@116.88.189.206)
2021-03-10 22:34:04 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-10 22:35:23 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-03-10 22:37:57 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds)
2021-03-10 22:38:45 +0100 <hydroxon1um> ghcup question: does    export PATH="$HOME/.cabal/bin:$HOME/.ghcup/bin:$PATH"    still make sense, when `cabal` is already available in $HOME/.ghcup/bin ?
2021-03-10 22:39:14 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 256 seconds)
2021-03-10 22:39:54 +0100 <c_wraith> nah. if you're good with ghcup managing cabal, it's fine to remove that. (I'm good with ghcup managing cabal on my systems)
2021-03-10 22:40:03 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-10 22:40:41 +0100 <geekosaur> well,, cabal v2-install still installs to ~/.cabal/bin doesn't it? or does ghcup make a config that writes to ~/.ghcup/bin?
2021-03-10 22:41:03 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-03-10 22:41:09 +0100 <geekosaur> granting that v2-install is somewhat risky, I think that's mostly for libraries as opposed to executables
2021-03-10 22:41:59 +0100 <hydroxon1um> c_wraith I was confused that ghcup has a feature to
2021-03-10 22:42:28 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-10 22:42:35 +0100 <hydroxon1um> set the cabal version, but the `$HOME/.cabal/bin` essentially blocked it. Thanks for the advice!
2021-03-10 22:43:06 +0100 <c_wraith> oh, geekosaur is right about where cabal-installed binaries end up.
2021-03-10 22:43:29 +0100 <geekosaur> so I'd swap those two PATH entries so ghcup controls cabal
2021-03-10 22:43:55 +0100 <geekosaur> and maybe remove ~/.cabal/bin/cabal
2021-03-10 22:44:31 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-10 22:45:03 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-10 22:47:00 +0100Wuzzy(~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de)
2021-03-10 22:47:00 +0100 <gentauro> xD
2021-03-10 22:47:03 +0100 <gentauro> ups
2021-03-10 22:47:29 +0100cheater1(~user@unaffiliated/cheater)
2021-03-10 22:47:33 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 245 seconds)
2021-03-10 22:47:34 +0100cheater1cheater
2021-03-10 22:47:39 +0100lolmac(sid171216@gateway/web/irccloud.com/x-dswidkrvjmjmjdpe) ()
2021-03-10 22:47:55 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-10 22:48:03 +0100lolmac(sid171216@gateway/web/irccloud.com/x-vxospmhxltncfrpx)
2021-03-10 22:48:45 +0100Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-03-10 22:49:26 +0100 <hydroxon1um> Thanks again. It all makes sense now.
2021-03-10 22:50:24 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net)
2021-03-10 22:51:38 +0100alx741(~alx741@186.178.108.96) (Ping timeout: 264 seconds)
2021-03-10 22:51:38 +0100zangi(~azure@103.154.230.250) (Read error: Connection reset by peer)
2021-03-10 22:51:49 +0100zangi(~azure@103.154.230.250)
2021-03-10 22:53:55 +0100stree(~stree@68.36.8.116) (Ping timeout: 256 seconds)
2021-03-10 22:56:16 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0)
2021-03-10 22:56:41 +0100NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur) (Ping timeout: 246 seconds)
2021-03-10 22:56:47 +0100crestfallen(~john@128.32.176.159)
2021-03-10 22:57:37 +0100ft(~ft@shell.chaostreff-dortmund.de) (Ping timeout: 265 seconds)
2021-03-10 22:58:08 +0100sMuNiX(~sMuNiX@lnsm2-montreal02-142-118-236-120.internet.virginmobile.ca) (Quit: WeeChat 3.0.1)
2021-03-10 22:58:27 +0100hseg(~gesh@IGLD-84-228-239-48.inter.net.il) (Ping timeout: 256 seconds)
2021-03-10 22:58:30 +0100sMuNiX(~sMuNiX@lnsm2-montreal02-142-118-236-120.internet.virginmobile.ca)
2021-03-10 23:00:22 +0100Rudd0(~Rudd0@185.189.115.103)
2021-03-10 23:04:01 +0100ubert(~Thunderbi@p200300ecdf25d90ce6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-03-10 23:05:25 +0100NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur)
2021-03-10 23:05:37 +0100alx741(~alx741@186.178.108.206)
2021-03-10 23:05:49 +0100petrus(~petrus@unaffiliated/petrus) (Quit: WeeChat 3.0.1)
2021-03-10 23:07:05 +0100stree(~stree@68.36.8.116)
2021-03-10 23:07:17 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 23:07:54 +0100zebrag(~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-10 23:08:14 +0100zebrag(~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr)
2021-03-10 23:09:27 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-10 23:09:50 +0100shailangsa(~shailangs@host86-162-150-241.range86-162.btcentralplus.com)
2021-03-10 23:11:51 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-10 23:12:08 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-03-10 23:12:41 +0100nighmi(~felix@port-92-196-49-206.dynamic.as20676.net)
2021-03-10 23:14:06 +0100crestfallen(~john@128.32.176.159) (Remote host closed the connection)
2021-03-10 23:17:51 +0100conal(~conal@209.58.139.5) (Quit: Computer has gone to sleep.)
2021-03-10 23:20:12 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-10 23:20:47 +0100Benzi-Junior(~BenziJuni@88-149-64-40.du.xdsl.is)
2021-03-10 23:24:34 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-03-10 23:26:21 +0100minoru_shiraeesh(~shiraeesh@77.94.25.47) (Ping timeout: 264 seconds)
2021-03-10 23:26:45 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-10 23:27:17 +0100knupfer(~Thunderbi@200116b82cb0c7005129c843079bc5a1.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2021-03-10 23:31:51 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-10 23:32:03 +0100qih(~pi@210-54-120-166.adsl.xtra.co.nz)
2021-03-10 23:32:49 +0100gitgood(~gitgood@82-132-217-203.dab.02.net)
2021-03-10 23:34:32 +0100typetetris(sid275937@gateway/web/irccloud.com/x-slhwzzrziatkashc) ()
2021-03-10 23:34:49 +0100typetetris(sid275937@gateway/web/irccloud.com/x-smfcwawxcrxnnpiq)
2021-03-10 23:38:03 +0100taktoa[c](sid282096@gateway/web/irccloud.com/x-uwapfgfwuhshyodw) ()
2021-03-10 23:38:19 +0100taktoa[c](sid282096@gateway/web/irccloud.com/x-wtishcwvfhlmyfby)
2021-03-10 23:39:27 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-10 23:40:13 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 23:40:46 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-10 23:40:49 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-03-10 23:41:05 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 23:41:17 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-03-10 23:41:27 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-10 23:41:30 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 23:42:02 +0100roconnor(~roconnor@host-45-58-192-182.dyn.295.ca) (Ping timeout: 264 seconds)
2021-03-10 23:42:59 +0100graf_blutwurst(~user@2001:171b:226e:adc0:c1fc:bf0e:a9e3:f70e) (Remote host closed the connection)
2021-03-10 23:43:09 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 264 seconds)
2021-03-10 23:46:26 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-03-10 23:46:45 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 264 seconds)
2021-03-10 23:47:52 +0100ft(~ft@shell.chaostreff-dortmund.de)
2021-03-10 23:47:57 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-10 23:48:28 +0100redmp(~redmp@172.58.35.235)
2021-03-10 23:50:52 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 23:51:01 +0100kozowu(uid44796@gateway/web/irccloud.com/x-qrafyzcgzsqfnujy) (Quit: Connection closed for inactivity)
2021-03-10 23:51:33 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-10 23:51:49 +0100jneira(5127adbf@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.191) (Quit: Ping timeout (120 seconds))
2021-03-10 23:51:53 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 23:54:12 +0100gitgoood(~gitgood@82-132-217-249.dab.02.net)
2021-03-10 23:55:30 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-03-10 23:56:09 +0100jneira(5127adbf@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.191)
2021-03-10 23:56:24 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 23:57:09 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-10 23:57:19 +0100gitgood(~gitgood@82-132-217-203.dab.02.net) (Read error: Connection reset by peer)
2021-03-10 23:57:30 +0100royal_screwup214(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-10 23:59:02 +0100Wuzzy(~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) (Quit: Wuzzy)