IRCBrowse

2020/10/22

2020-10-22 00:00:01 +0000edk_(e@freenode/staff/spy.edk)
2020-10-22 00:01:00 +0000polyrain(~polyrain@58.161.83.164)
2020-10-22 00:01:05 +0000cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 265 seconds)
2020-10-22 00:03:37 +0000tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io) (Ping timeout: 260 seconds)
2020-10-22 00:03:59 +0000tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io)
2020-10-22 00:05:33 +0000conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 00:05:34 +0000codygman(~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer)
2020-10-22 00:05:43 +0000codygman(codygman@gateway/vpn/privateinternetaccess/codygman)
2020-10-22 00:06:29 +0000 <sshine> is this a halloween thing?
2020-10-22 00:06:52 +0000 <monochrom> yes
2020-10-22 00:07:04 +0000monochrommorphochrom
2020-10-22 00:08:34 +0000 <morphochrom> I think this will do this year. :)
2020-10-22 00:09:37 +0000 <morphochrom> Too many morphisms lately as I learn the Yoneda lemma.
2020-10-22 00:09:55 +0000 <ghoulguy> sshine: yeah
2020-10-22 00:10:33 +0000codygman(codygman@gateway/vpn/privateinternetaccess/codygman) (Ping timeout: 260 seconds)
2020-10-22 00:11:04 +0000 <ghoulguy> monsterchrom
2020-10-22 00:11:27 +0000 <sshine> I'm trying to determine this type of morphism. https://staticdelivery.nexusmods.com/mods/110/images/42586-1-1379644403.jpg
2020-10-22 00:11:47 +0000 <morphochrom> That's a better one, I'll use it! Thanks.
2020-10-22 00:11:51 +0000morphochrommonsterchrom
2020-10-22 00:12:41 +0000 <sshine> whenever I see movies with that type of monsters, I always imagine that since they come from outer space, they could just be super tiny.
2020-10-22 00:14:23 +0000 <ghoulguy> ski: spooki :)
2020-10-22 00:14:51 +0000 <monsterchrom> Romula d'deridex class warbid
2020-10-22 00:15:38 +0000cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-22 00:16:45 +0000burg_philo(~igloo@pool-100-33-61-227.nycmny.fios.verizon.net)
2020-10-22 00:18:52 +0000sshinemshine
2020-10-22 00:18:59 +0000Merfont(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-22 00:19:11 +0000Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-22 00:19:17 +0000darthfork(~igloo@8.9.230.47)
2020-10-22 00:19:47 +0000darthfork(~igloo@8.9.230.47) (Client Quit)
2020-10-22 00:21:40 +0000burg_philo(~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2020-10-22 00:21:58 +0000luto1(~luto@185.163.110.116)
2020-10-22 00:22:25 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-22 00:23:04 +0000 <Squarism> Maybe a weird question, but i'll try. Given data D a = D a ; class C a b where ; get :: a -> Maybe b. Can I write an instance of C that matches the case when "a" is D <whatever> and "b" is D scopedVar. Somehow keep telling myself this should hold : appliedFkn :: forall b. b => Maybe (D b) ; appliedFkn = get (D Int). But I think I'm wrong there.
2020-10-22 00:24:14 +0000burg_philo(~igloo@pool-100-33-61-227.nycmny.fios.verizon.net)
2020-10-22 00:24:14 +0000burg_philo(~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) (Client Quit)
2020-10-22 00:25:34 +0000darthfork(~igloo@8.9.230.47)
2020-10-22 00:25:41 +0000darthfork(~igloo@8.9.230.47) (Client Quit)
2020-10-22 00:26:44 +0000 <Squarism> My intuition feels this should be possible, but my constant fighting with the compiler tells me I've fundamentally confused myself about scope variables arent "wildcards" in this sense.
2020-10-22 00:27:36 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 00:27:59 +0000DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-22 00:28:09 +0000DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-22 00:30:28 +0000Wuzzy(~Wuzzy@p5790ef06.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-22 00:31:25 +0000whatisRT(~whatisRT@2002:5b41:6a33:0:61c5:a3a1:1437:ebe5) (Ping timeout: 240 seconds)
2020-10-22 00:32:02 +0000irc_user(uid423822@gateway/web/irccloud.com/x-ozudxpdqqqotmvjh) (Quit: Connection closed for inactivity)
2020-10-22 00:34:51 +0000alp(~alp@2a01:e0a:58b:4920:b176:4a05:144c:cd70) (Ping timeout: 272 seconds)
2020-10-22 00:35:02 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 00:35:36 +0000cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2020-10-22 00:36:09 +0000conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 00:37:33 +0000conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 00:37:34 +0000rx_(~rx@2607:fea8:2c5f:faea::2277)
2020-10-22 00:38:52 +0000rx_(~rx@2607:fea8:2c5f:faea::2277) ()
2020-10-22 00:45:13 +0000Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 264 seconds)
2020-10-22 00:45:44 +0000Ferdirand(~max@2001:4c78:2012:5000::2) (Ping timeout: 246 seconds)
2020-10-22 00:45:52 +0000Ferdirand(~max@2001:4c78:2012:5000::2)
2020-10-22 00:47:39 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-22 00:48:04 +0000conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 00:48:15 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-22 00:49:11 +0000Lord_of_Life(~Lord@46.217.219.190)
2020-10-22 00:50:42 +0000GyroW_(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-22 00:50:52 +0000GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-22 00:50:52 +0000GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-22 00:50:52 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 00:55:53 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 00:56:33 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-22 00:57:05 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:c4b2:ae08:d967:f34e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 00:57:08 +0000Chi1thangoo(~Chi1thang@87.112.60.168) (Ping timeout: 272 seconds)
2020-10-22 00:57:18 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 01:00:26 +0000crestfallen(~john@128.32.176.159) (Quit: Leaving)
2020-10-22 01:00:43 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-22 01:00:49 +0000dsiypl4(~dsiypl4@41.251.199.43) (Quit: Leaving)
2020-10-22 01:00:59 +0000acidjnk_new2(~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de)
2020-10-22 01:02:15 +0000LindaTheUltimate(3dded63f@61-222-214-63.HINET-IP.hinet.net)
2020-10-22 01:02:28 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-22 01:03:36 +0000 <koz_> Is there such a thing as a free Alternative?
2020-10-22 01:05:03 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476)
2020-10-22 01:05:21 +0000 <dolio> Certainly.
2020-10-22 01:05:49 +0000 <koz_> Lol... _just_ saw this: http://hackage.haskell.org/package/free-5.1.4/docs/Control-Alternative-Free.html
2020-10-22 01:06:30 +0000conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 01:07:17 +0000remexre(~nathan@207-153-38-50.fttp.usinternet.com) (Read error: Connection reset by peer)
2020-10-22 01:07:30 +0000klixto(~klixto@130.220.8.131) (Quit: WeeChat 2.9)
2020-10-22 01:07:47 +0000klixto(~klixto@130.220.8.131)
2020-10-22 01:08:37 +0000remexre(~nathan@207-153-38-50.fttp.usinternet.com)
2020-10-22 01:09:37 +0000shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-22 01:09:45 +0000LKoen(~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-10-22 01:10:20 +0000m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 258 seconds)
2020-10-22 01:12:24 +0000LindaTheUltimate(3dded63f@61-222-214-63.HINET-IP.hinet.net) (Remote host closed the connection)
2020-10-22 01:14:15 +0000infinity0(~infinity0@freenet/developer/infinity0) (Ping timeout: 260 seconds)
2020-10-22 01:17:01 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 01:18:06 +0000Merfont(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-22 01:18:46 +0000Merfont(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-22 01:18:57 +0000hackageaeson-gadt-th 0.2.3 - Derivation of Aeson instances for GADTs https://hackage.haskell.org/package/aeson-gadt-th-0.2.3 (abrar)
2020-10-22 01:21:24 +0000ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-10-22 01:21:52 +0000ps-auxw(~arneb@p548c61b6.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2020-10-22 01:21:56 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 01:22:02 +0000ukari(~ukari@unaffiliated/ukari)
2020-10-22 01:23:31 +0000infinity0(~infinity0@freenet/developer/infinity0)
2020-10-22 01:24:57 +0000hackageaeson-gadt-th 0.2.4 - Derivation of Aeson instances for GADTs https://hackage.haskell.org/package/aeson-gadt-th-0.2.4 (abrar)
2020-10-22 01:24:59 +0000nineonine(~textual@216.81.48.202) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 01:27:05 +0000plutoniix(~q@ppp-49-237-23-174.revip6.asianet.co.th)
2020-10-22 01:27:06 +0000Merfont(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-22 01:27:25 +0000Merfont(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-22 01:33:15 +0000VirusCorona(~roun@103.103.144.162)
2020-10-22 01:33:30 +0000ps-auxw(~arneb@p548c6f52.dip0.t-ipconnect.de)
2020-10-22 01:33:54 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 01:36:11 +0000 <monsterchrom> Haskell is a free alternative to Miranda. :)
2020-10-22 01:36:26 +0000plutoniix(~q@ppp-49-237-23-174.revip6.asianet.co.th) (Ping timeout: 256 seconds)
2020-10-22 01:36:38 +0000polyrain(~polyrain@58.161.83.164) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 01:37:54 +0000bartemius(~bartemius@109.252.20.20)
2020-10-22 01:38:40 +0000 <VirusCorona> hola
2020-10-22 01:39:49 +0000 <mshine> koz_, hehe.
2020-10-22 01:40:29 +0000bitmagie(~Thunderbi@200116b806c15c0034a3f18e66d83a15.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-22 01:40:31 +0000klixto(~klixto@130.220.8.131) (Quit: WeeChat 2.9)
2020-10-22 01:42:05 +0000bartemius(~bartemius@109.252.20.20) (Ping timeout: 240 seconds)
2020-10-22 01:43:54 +0000cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-22 01:44:38 +0000 <Squarism> Not figuring this one out https://paste.ofcode.org/zV4YWsC9kWpaW6L7ZrVg9G
2020-10-22 01:44:45 +0000Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-10-22 01:44:54 +0000mozzarella(~sam@unaffiliated/sam113101) (Quit: WeeChat 2.8)
2020-10-22 01:45:42 +0000 <Squarism> It seems im not able to prioritize between the instances on row 10 and 16, even if that on 16 is more specific
2020-10-22 01:47:12 +0000nineonine(~textual@216-19-190-182.dyn.novuscom.net)
2020-10-22 01:48:15 +0000 <Squarism> ...im on ghc 8.6.5 if that helps explaining it
2020-10-22 01:48:56 +0000acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-22 01:49:10 +0000plutoniix(~q@175.176.222.7)
2020-10-22 01:49:31 +0000sqrt2_(~ben@unaffiliated/sqrt2)
2020-10-22 01:49:52 +0000wei2912(~wei2912@unaffiliated/wei2912)
2020-10-22 01:50:20 +0000sqrt2(~ben@unaffiliated/sqrt2) (Ping timeout: 272 seconds)
2020-10-22 01:56:05 +0000jespada(~jespada@90.254.245.15) (Ping timeout: 240 seconds)
2020-10-22 01:56:18 +0000AceNovo(~chris@67-42-33-191.phnx.qwest.net) (Quit: Konversation terminated!)
2020-10-22 01:56:33 +0000xff0x(~fox@2001:1a81:529c:a900:2bcb:163b:75a7:c7de) (Ping timeout: 272 seconds)
2020-10-22 01:56:42 +0000AceNovo(~chris@67-42-33-191.phnx.qwest.net)
2020-10-22 01:57:27 +0000jespada(~jespada@90.254.243.98)
2020-10-22 01:57:46 +0000xff0x(~fox@2001:1a81:52d2:ca00:89ce:9368:e8a5:941e)
2020-10-22 01:58:41 +0000AceNovo(~chris@67-42-33-191.phnx.qwest.net) (Remote host closed the connection)
2020-10-22 02:02:55 +0000 <monsterchrom> Haha great, I'm going to troll my students with the Yoneda lemma!
2020-10-22 02:04:54 +0000 <monsterchrom> I'll put this question about parametric polymorphism on the exam. I have a mysterious function f :: (Int -> a) -> [a]. I tell you just one test case: f id = [1,2,3]. Now tell me what f does in general.
2020-10-22 02:05:51 +0000gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2020-10-22 02:06:46 +0000lagothrixGuest47596
2020-10-22 02:06:51 +0000lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-10-22 02:08:12 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-22 02:08:42 +0000christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-22 02:09:56 +0000Guest47596(~lagothrix@unaffiliated/lagothrix) (Ping timeout: 256 seconds)
2020-10-22 02:09:58 +0000 <dolio> monsterchrom: https://www.cs.bham.ac.uk/~mhe/yoneda/yoneda.html
2020-10-22 02:11:18 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-22 02:14:36 +0000whatisRT(~whatisRT@2002:5b41:6a33:0:61c5:a3a1:1437:ebe5)
2020-10-22 02:17:14 +0000theDon(~td@94.134.91.5) (Ping timeout: 256 seconds)
2020-10-22 02:18:54 +0000theDon(~td@94.134.91.18)
2020-10-22 02:18:56 +0000urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-22 02:20:29 +0000 <Squarism> monsterchrom, was that in reference to my post? Seems my problem overlaps a little.
2020-10-22 02:21:05 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 02:23:55 +0000 <monsterchrom> No.
2020-10-22 02:25:10 +0000StoneToad(~StoneToad@199-167-119-239.ppp.storm.ca) (Ping timeout: 256 seconds)
2020-10-22 02:25:24 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476)
2020-10-22 02:25:38 +0000DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-22 02:26:11 +0000DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-22 02:26:44 +0000StoneToad(~StoneToad@199-167-119-239.ppp.storm.ca)
2020-10-22 02:29:52 +0000drbean(~drbean@TC210-63-209-12.static.apol.com.tw)
2020-10-22 02:31:10 +0000GyroW_(~GyroW@d54c03e98.access.telenet.be)
2020-10-22 02:31:10 +0000GyroW_(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-22 02:31:10 +0000GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-22 02:32:03 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 02:32:11 +0000GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-22 02:32:53 +0000machinedgod(~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2020-10-22 02:36:20 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2020-10-22 02:36:51 +0000veverak(~squirrel@ip-89-102-98-161.net.upcbroadband.cz)
2020-10-22 02:38:50 +0000 <c_wraith> halloween names are contagious
2020-10-22 02:38:56 +0000 <c_wraith> wait, I've been a monster this whole time
2020-10-22 02:39:45 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 02:42:18 +0000christo(~chris@81.96.113.213)
2020-10-22 02:43:18 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-22 02:44:30 +0000 <justsomeguy> monsterchrom: Something like “f :: (Int -> a) -> [a]; f g = map ((\x -> undefined) . g) [undefined]”? (I'm a beginner, and thought I'd give this a shot.)
2020-10-22 02:45:13 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-22 02:45:16 +0000 <monsterchrom> c_wraith: Take on a human nick so it counts as a costume from your POV >:)
2020-10-22 02:46:15 +0000 <justsomeguy> No, wait, that doesn't match the test case. I just got focused on matching the type signature. :^p
2020-10-22 02:48:20 +0000shafox(~shafox@106.51.234.111)
2020-10-22 02:48:31 +0000justsomeguywould fail monsterchroms test
2020-10-22 02:49:00 +0000 <shafox> I have unicode in my code, and while building it gives error: error: parse error on input ‘⊥’
2020-10-22 02:49:25 +0000 <ghoulguy> > Data.Char.generalCategory '⊥'
2020-10-22 02:49:26 +0000 <lambdabot> MathSymbol
2020-10-22 02:49:52 +0000 <ghoulguy> > let (⊥) = "bottom" in ( (⊥), (⊥) )
2020-10-22 02:49:54 +0000 <lambdabot> ("bottom","bottom")
2020-10-22 02:50:23 +0000 <shafox> in emacs, undefined is change to ⊥
2020-10-22 02:50:35 +0000 <monsterchrom> Another test case would give f (\x -> 2 * x) = [2, 4, 6]
2020-10-22 02:50:45 +0000anik(~anik@103.23.207.130)
2020-10-22 02:50:58 +0000 <ghoulguy> shafox: In that case make sure you're actually writing 'undefined' and not '⊥'
2020-10-22 02:51:33 +0000amagi(716517df@113.101.23.223)
2020-10-22 02:52:50 +0000xerox_(~xerox@unaffiliated/xerox)
2020-10-22 02:54:03 +0000 <shafox> ghoulguy, thanks.
2020-10-22 02:54:25 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 02:54:26 +0000texasmynsted(~texasmyns@104.140.52.83) (Read error: Connection reset by peer)
2020-10-22 02:54:33 +0000 <hololeap> (⊥) really does look like "bottom" lol
2020-10-22 02:55:01 +0000 <MarcelineVQ> opposite of ⊤
2020-10-22 02:55:15 +0000texasmyn_(~texasmyns@217.138.198.228)
2020-10-22 02:57:51 +0000 <hololeap> am i the only one who sees it?
2020-10-22 02:58:07 +0000yumh(~yumh@mail.xglobe.in) (Ping timeout: 246 seconds)
2020-10-22 02:58:40 +0000olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds)
2020-10-22 02:59:59 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 03:00:01 +0000luto1(~luto@185.163.110.116) ()
2020-10-22 03:00:04 +0000haasn(~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2020-10-22 03:00:31 +0000 <MarcelineVQ> no
2020-10-22 03:01:35 +0000haasn(~nand@mpv/developer/haasn)
2020-10-22 03:01:46 +0000amagi_(~amagi@113.101.23.223)
2020-10-22 03:03:12 +0000 <hololeap> i must say, i am disappointed by the absense of giggles. use the 5-year-old part of your brain
2020-10-22 03:04:07 +0000anik(~anik@103.23.207.130) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2020-10-22 03:04:32 +0000visage_(~visage_@unaffiliated/visage/x-6658724)
2020-10-22 03:05:16 +0000 <MarcelineVQ> (⊤)
2020-10-22 03:05:36 +0000 <monsterchrom> It is the 70th time we have seen it.
2020-10-22 03:05:52 +0000 <MarcelineVQ> (.).(.)
2020-10-22 03:06:16 +0000amagi_(~amagi@113.101.23.223) (Quit: Lost terminal)
2020-10-22 03:08:08 +0000 <justsomeguy> monsterchrom: “f g = map g [1,2,(3 :: Int)]”?
2020-10-22 03:08:28 +0000 <monsterchrom> yeah!
2020-10-22 03:08:32 +0000 <justsomeguy> :D
2020-10-22 03:09:28 +0000 <mshine> (.).(.) is the Total Recall operator?
2020-10-22 03:09:36 +0000visage_(~visage_@unaffiliated/visage/x-6658724) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-22 03:09:52 +0000 <monsterchrom> haha
2020-10-22 03:10:04 +0000amagi_(~amagi@113.101.23.223)
2020-10-22 03:10:38 +0000 <MarcelineVQ> it's the has-a-birthmark combinator, the total recall combinator is (.)(.)(.)
2020-10-22 03:11:10 +0000 <MarcelineVQ> You might think there's no difference but that couldn't be farther from the truth
2020-10-22 03:11:20 +0000 <MarcelineVQ> The difference is ( )
2020-10-22 03:11:44 +0000 <MarcelineVQ> Now get your ass to mars.
2020-10-22 03:14:46 +0000berberman|T(berberma_4@gateway/shell/matrix.org/x-cgdaaoawojkzwzyx)
2020-10-22 03:15:41 +0000 <koz_> Something something 'in Haskell we don't inspect each other's bottoms' something.
2020-10-22 03:19:03 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 03:23:53 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 03:24:47 +0000vqrs(~vqrs@learnprogramming/regular/vqrs) (Ping timeout: 260 seconds)
2020-10-22 03:25:16 +0000vqrs(~vqrs@learnprogramming/regular/vqrs)
2020-10-22 03:26:13 +0000aarvar(~foewfoiew@50.35.43.33)
2020-10-22 03:26:22 +0000Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-22 03:27:32 +0000nineonine(~textual@216-19-190-182.dyn.novuscom.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 03:27:41 +0000aarvar(~foewfoiew@50.35.43.33) ()
2020-10-22 03:28:30 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 272 seconds)
2020-10-22 03:29:16 +0000nek0(~nek0@mail.nek0.eu)
2020-10-22 03:29:46 +0000revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 272 seconds)
2020-10-22 03:30:01 +0000nineonine(~textual@216-19-190-182.dyn.novuscom.net)
2020-10-22 03:30:21 +0000revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-10-22 03:30:51 +0000nineonine(~textual@216-19-190-182.dyn.novuscom.net) (Client Quit)
2020-10-22 03:35:31 +0000conal(~conal@ip-66-115-176-174.creativelink.net) (Read error: Connection reset by peer)
2020-10-22 03:35:52 +0000conal_(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 03:36:41 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 03:37:58 +0000amagi_(~amagi@113.101.23.223) (Quit: Lost terminal)
2020-10-22 03:38:03 +0000visage_(~visage_@unaffiliated/visage/x-6658724)
2020-10-22 03:38:17 +0000amagi_(~amagi@113.101.23.223)
2020-10-22 03:38:32 +0000amagi_(~amagi@113.101.23.223) (Client Quit)
2020-10-22 03:38:52 +0000amagi_(~amagi@113.101.23.223)
2020-10-22 03:39:13 +0000falafel(~falafel@71-34-132-121.clsp.qwest.net)
2020-10-22 03:39:33 +0000whatisRT(~whatisRT@2002:5b41:6a33:0:61c5:a3a1:1437:ebe5) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-22 03:40:32 +0000 <Squarism> is there a way to promote a value to a value that has a certain instance?
2020-10-22 03:40:37 +0000 <Squarism> class instance
2020-10-22 03:41:10 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 246 seconds)
2020-10-22 03:41:10 +0000nyaomi(~naomi@cpe-74-75-6-125.maine.res.rr.com) (Ping timeout: 246 seconds)
2020-10-22 03:41:11 +0000dansho(~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving)
2020-10-22 03:42:11 +0000conal_(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 03:42:49 +0000 <Squarism> almost like Data.Typeable's cast but for class instances
2020-10-22 03:44:32 +0000VirusCorona(~roun@103.103.144.162) (Quit: nice)
2020-10-22 03:46:58 +0000 <koz_> Squarism: What's the context?
2020-10-22 03:49:19 +0000mozzarella(~sam@unaffiliated/sam113101)
2020-10-22 03:50:48 +0000 <Squarism> koz_, im working on a textual addressing mechanism for a class of data types i mention the other day. With risk of beeing TLDR : https://paste.ofcode.org/rbJug92hAXGxvAJVDdzAZu
2020-10-22 03:51:15 +0000 <koz_> 13 lines of extensions. This is some Real World Haskell right there. :P
2020-10-22 03:52:27 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds)
2020-10-22 03:52:27 +0000 <Squarism> I'm not too experianced in advanced type magic, so I play around a bit
2020-10-22 03:52:46 +0000 <Squarism> im currently working on progress of mapLeaf2
2020-10-22 03:52:56 +0000polyrain(~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a)
2020-10-22 03:53:24 +0000 <Squarism> if " mapLeaf2 pr (a1 : a2 : rest) f" is set to undefined it should compile
2020-10-22 03:53:44 +0000 <Squarism> but its that function im trying to complete
2020-10-22 03:54:13 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-22 03:55:22 +0000mterwoord(~mterwoord@195.140.213.38)
2020-10-22 03:58:40 +0000justsomeguy(~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-22 04:00:01 +0000alexelcu(~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-22 04:00:56 +0000alexelcu(~alexelcu@142.93.180.198)
2020-10-22 04:01:20 +0000olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-22 04:02:49 +0000rekahsoft(~rekahsoft@fitz10681.telemetry.esentire.com)
2020-10-22 04:04:41 +0000ADG1089(~adg1089@122.163.245.127)
2020-10-22 04:05:38 +0000ddellacosta(~dd@86.106.121.168) (Ping timeout: 260 seconds)
2020-10-22 04:05:56 +0000 <ADG1089> Some company asked me to design & implement XYZ system for last round as a whole day task and they told they will show this to an investor at the end of the day. I'm thinking they are just trying to get free consulting.
2020-10-22 04:07:10 +0000rekahsoft(~rekahsoft@fitz10681.telemetry.esentire.com) (Ping timeout: 256 seconds)
2020-10-22 04:08:41 +0000bartemius(~bartemius@109.252.20.20)
2020-10-22 04:10:06 +0000mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-22 04:10:08 +0000monsterchrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2020-10-22 04:12:18 +0000 <ADG1089> any comments?
2020-10-22 04:12:35 +0000ADG1089(~adg1089@122.163.245.127) ()
2020-10-22 04:12:58 +0000monsterchrom(trebla@216.138.220.146)
2020-10-22 04:13:35 +0000 <Squarism> Tell them you hourly fee
2020-10-22 04:14:21 +0000solonarv(~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) (Ping timeout: 265 seconds)
2020-10-22 04:14:41 +0000Merfont(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-22 04:15:07 +0000Merfont(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-22 04:19:29 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 04:21:02 +0000yumh(~yumh@mail.xglobe.in)
2020-10-22 04:21:49 +0000nyaomi(~naomi@cpe-74-75-6-125.maine.res.rr.com)
2020-10-22 04:21:59 +0000visage_(~visage_@unaffiliated/visage/x-6658724) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-22 04:23:49 +0000emmanuel_erc(~user@2604:2000:1382:ce03:94e9:f71a:61cb:48a4) (Read error: Connection reset by peer)
2020-10-22 04:23:49 +0000darjeeli1(~darjeelin@122.245.123.118) (Ping timeout: 256 seconds)
2020-10-22 04:23:58 +0000hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-10-22 04:24:00 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 04:24:17 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 04:24:56 +0000darjeeli1(~darjeelin@122.245.123.118)
2020-10-22 04:28:40 +0000acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 272 seconds)
2020-10-22 04:29:01 +0000drbean(~drbean@TC210-63-209-12.static.apol.com.tw) (Ping timeout: 264 seconds)
2020-10-22 04:29:37 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-22 04:29:55 +0000Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-22 04:30:13 +0000hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 264 seconds)
2020-10-22 04:31:43 +0000mmohammadi981266(~mmohammad@5.238.182.173)
2020-10-22 04:34:53 +0000Sarma(~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-10-22 04:40:09 +0000texasmyn_(~texasmyns@217.138.198.228) (Remote host closed the connection)
2020-10-22 04:40:54 +0000texasmynsted(~texasmyns@217.138.198.228)
2020-10-22 04:41:46 +0000mmohammadi9812(~mmohammad@5.238.182.173)
2020-10-22 04:41:58 +0000day_(~Unknown@unaffiliated/day)
2020-10-22 04:45:13 +0000day(~Unknown@unaffiliated/day) (Ping timeout: 264 seconds)
2020-10-22 04:45:13 +0000day_day
2020-10-22 04:45:39 +0000texasmynsted(~texasmyns@217.138.198.228) (Ping timeout: 260 seconds)
2020-10-22 04:45:39 +0000stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 04:45:52 +0000stefan-__(~cri@42dots.de)
2020-10-22 04:47:35 +0000mmohammadi9812(~mmohammad@5.238.182.173) (Quit: Quit)
2020-10-22 04:47:51 +0000avoandmayo(~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 04:48:01 +0000mmohammadi9812(~mmohammad@5.238.182.173)
2020-10-22 04:48:28 +0000mmohammadi981266(~mmohammad@5.238.182.173) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-10-22 04:52:19 +0000howdoi(uid224@gateway/web/irccloud.com/x-qkgpowqaqjtdktyy) (Quit: Connection closed for inactivity)
2020-10-22 04:53:33 +0000dolio(~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.1 - https://znc.in)
2020-10-22 04:54:49 +0000mmohammadi9812(~mmohammad@5.238.182.173) (Ping timeout: 264 seconds)
2020-10-22 04:56:16 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 04:59:19 +0000avoandmayo(~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-22 04:59:33 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 05:01:02 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 05:02:55 +0000dorkside(~tdbgamer@208.190.197.222) (Ping timeout: 260 seconds)
2020-10-22 05:03:27 +0000mmohammadi9812(~mmohammad@188.210.111.222)
2020-10-22 05:04:27 +0000dolio(~dolio@haskell/developer/dolio)
2020-10-22 05:04:30 +0000avoandmayo(~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 05:06:34 +0000olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds)
2020-10-22 05:09:43 +0000Raito_Bezarius(~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 272 seconds)
2020-10-22 05:10:08 +0000mmohammadi9812(~mmohammad@188.210.111.222) (Ping timeout: 256 seconds)
2020-10-22 05:17:55 +0000dorkside(~tdbgamer@208.190.197.222)
2020-10-22 05:19:31 +0000olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-22 05:23:26 +0000bitmagie(~Thunderbi@200116b806fef70051e6f8902f3ffd9c.dip.versatel-1u1.de)
2020-10-22 05:29:37 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-22 05:30:54 +0000gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-10-22 05:34:20 +0000stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 05:34:42 +0000stefan-__(~cri@42dots.de)
2020-10-22 05:35:01 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-22 05:39:46 +0000shatriff(~vitaliish@176.52.219.10)
2020-10-22 05:39:49 +0000shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-22 05:40:12 +0000dorkside(~tdbgamer@208.190.197.222) (Ping timeout: 258 seconds)
2020-10-22 05:41:04 +0000danso(~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9)
2020-10-22 05:42:22 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2020-10-22 05:44:28 +0000lep-deleteGuest88073
2020-10-22 05:46:12 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 05:46:30 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-22 05:48:15 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-22 05:50:28 +0000eedgit(~eedgit@95.179.237.21)
2020-10-22 05:51:10 +0000asheshambasta(~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be)
2020-10-22 05:53:56 +0000nineonine(~textual@216-19-190-182.dyn.novuscom.net)
2020-10-22 05:55:27 +0000mterwoord(~mterwoord@195.140.213.38) (Remote host closed the connection)
2020-10-22 05:58:09 +0000shatriff(~vitaliish@176.52.219.10)
2020-10-22 05:59:39 +0000mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-22 05:59:45 +0000nineonine(~textual@216-19-190-182.dyn.novuscom.net) (Ping timeout: 258 seconds)
2020-10-22 06:01:08 +0000jespada(~jespada@90.254.243.98) (Ping timeout: 272 seconds)
2020-10-22 06:01:27 +0000simplegauss(~simplegau@2001:19f0:ac01:247:5400:ff:fe5c:689f) (Quit: Bye)
2020-10-22 06:01:27 +0000sveit(~sveit@2001:19f0:ac01:247:5400:ff:fe5c:689f) (Quit: Bye)
2020-10-22 06:01:49 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 06:02:35 +0000notnatebtw(~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-22 06:02:45 +0000Xnuk(~xnuk@vultr.xnu.kr) (Remote host closed the connection)
2020-10-22 06:02:50 +0000nlhowell(~nlhowell@don28-11.ln.rinet.ru) (Ping timeout: 256 seconds)
2020-10-22 06:02:57 +0000ndbtpo^(ndbtpo@ip98-184-89-2.mc.at.cox.net) ()
2020-10-22 06:03:00 +0000notnatebtw(~nate@110.138.18.157)
2020-10-22 06:03:02 +0000erolm_a(~erolm_a@82.24.185.133) (Ping timeout: 272 seconds)
2020-10-22 06:03:02 +0000Xnuk(~xnuk@45.76.202.58)
2020-10-22 06:03:04 +0000TooDifficult(~TooDiffic@139.59.59.230)
2020-10-22 06:03:36 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 06:04:01 +0000tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net)
2020-10-22 06:04:12 +0000jespada(~jespada@90.254.243.98)
2020-10-22 06:04:53 +0000Stanley00(~stanley00@unaffiliated/stanley00)
2020-10-22 06:06:20 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 244 seconds)
2020-10-22 06:07:31 +0000shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-22 06:07:40 +0000sveit(~sveit@45.77.0.246)
2020-10-22 06:07:55 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 06:08:11 +0000simplegauss(~simplegau@2001:19f0:ac01:247:5400:ff:fe5c:689f)
2020-10-22 06:08:31 +0000nlhowell(~nlhowell@don28-11.ln.rinet.ru)
2020-10-22 06:08:43 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-22 06:09:39 +0000olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds)
2020-10-22 06:12:05 +0000falafel(~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 240 seconds)
2020-10-22 06:12:45 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 06:13:13 +0000babygnu(~robert@gateway/tor-sasl/babygnu)
2020-10-22 06:13:49 +0000babygnu(~robert@gateway/tor-sasl/babygnu) (Remote host closed the connection)
2020-10-22 06:14:27 +0000notnatebtw(~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-22 06:14:49 +0000notnatebtw(~nate@110.138.18.157)
2020-10-22 06:15:08 +0000TooDifficult(~TooDiffic@139.59.59.230) (Quit: TooDifficult)
2020-10-22 06:15:19 +0000jsynacek(~jsynacek@ip-185-149-130-112.kmenet.cz)
2020-10-22 06:16:07 +0000chele(~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-10-22 06:17:00 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-22 06:19:47 +0000cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-22 06:21:39 +0000 <hyiltiz> What would be a typical hourly fee as a factor of the local minimum wage?
2020-10-22 06:21:48 +0000DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-10-22 06:21:53 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 06:26:59 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 06:29:42 +0000coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-22 06:30:52 +0000alexelcu(~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-22 06:31:11 +0000alexelcu(~alexelcu@142.93.180.198)
2020-10-22 06:31:18 +0000Varis(~Tadas@unaffiliated/varis)
2020-10-22 06:31:35 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-22 06:32:44 +0000bergsans(~bergsans@c80-217-8-29.bredband.comhem.se)
2020-10-22 06:33:40 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 06:34:11 +0000seanvert(~user@177.84.244.242) (Remote host closed the connection)
2020-10-22 06:34:16 +0000notnatebtw(~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-22 06:34:52 +0000notnatebtw(~nate@110.138.18.157)
2020-10-22 06:34:59 +0000cfricke(~cfricke@unaffiliated/cfricke)
2020-10-22 06:35:33 +0000DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-10-22 06:36:33 +0000notnatebtw(~nate@110.138.18.157) (Client Quit)
2020-10-22 06:36:56 +0000notnatebtw(~nate@110.138.18.157)
2020-10-22 06:38:27 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 06:40:42 +0000 <pjb> hyiltiz: it depends on the country. Some country have a smaller difference between higher wages and lower wages, and some have no limit.
2020-10-22 06:40:45 +0000jedws(~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 06:41:06 +0000mbomba(~mbomba@142.114.9.241)
2020-10-22 06:42:08 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 06:44:16 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 06:44:17 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 06:44:17 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 06:44:52 +0000dorkside(~tdbgamer@208.190.197.222)
2020-10-22 06:45:13 +0000GyroW_(~GyroW@unaffiliated/gyrow) (Ping timeout: 264 seconds)
2020-10-22 06:45:24 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 06:46:04 +0000danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-10-22 06:50:22 +0000DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 256 seconds)
2020-10-22 06:50:26 +0000Sanchayan(~Sanchayan@122.181.211.206)
2020-10-22 06:50:45 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-22 06:51:14 +0000olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-22 06:51:46 +0000DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-10-22 06:51:51 +0000kritzefitz(~kritzefit@fw-front.credativ.com)
2020-10-22 06:52:06 +0000redeemed(~rd@2a02:2f0b:b20a:d200:75cb:8151:518a:825f)
2020-10-22 06:53:49 +0000Suntop1(~Suntop@84.39.117.57)
2020-10-22 06:54:01 +0000dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-10-22 06:55:20 +0000Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 258 seconds)
2020-10-22 06:56:00 +0000Cthalupa(~cthulhu@47.186.47.75)
2020-10-22 06:56:06 +0000redeemed`(~rd@79.115.163.113)
2020-10-22 06:58:15 +0000Sheilong(uid293653@gateway/web/irccloud.com/x-zkmqxnjkmjnikczm) (Quit: Connection closed for inactivity)
2020-10-22 06:59:34 +0000avoandmayo(~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-22 06:59:55 +0000redeemed(~rd@2a02:2f0b:b20a:d200:75cb:8151:518a:825f) (Ping timeout: 272 seconds)
2020-10-22 07:05:21 +0000cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-22 07:07:07 +0000cfricke(~cfricke@unaffiliated/cfricke)
2020-10-22 07:11:26 +0000Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 272 seconds)
2020-10-22 07:12:29 +0000jedws(~jedws@101.184.148.229)
2020-10-22 07:13:40 +0000Alexthek1d(~JJJ@p5b3ae7e8.dip0.t-ipconnect.de)
2020-10-22 07:13:44 +0000 <Alexthek1d> hello
2020-10-22 07:13:53 +0000 <Alexthek1d> does anyone know "duckling" ?
2020-10-22 07:14:53 +0000 <Alexthek1d> It is programmed in haskell and needs stack to install
2020-10-22 07:14:59 +0000 <Alexthek1d> but i am a haskell noob
2020-10-22 07:15:28 +0000 <Alexthek1d> can't you compile it with this tack thing, get a "exe" file and run it on another machine without stack?
2020-10-22 07:15:43 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-22 07:16:25 +0000Lord_of_Life(~Lord@46.217.219.190) (Changing host)
2020-10-22 07:16:25 +0000Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-10-22 07:16:49 +0000vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-22 07:16:51 +0000bgamari(~bgamari@72.65.103.227) (Ping timeout: 260 seconds)
2020-10-22 07:17:02 +0000bgamari(~bgamari@72.65.102.2)
2020-10-22 07:17:16 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 07:17:18 +0000 <Alexthek1d> i'd need a truly static binary that is entirely self-contained
2020-10-22 07:18:04 +0000Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-22 07:18:16 +0000amagi(716517df@113.101.23.223) (Remote host closed the connection)
2020-10-22 07:18:49 +0000berberman|T(berberma_4@gateway/shell/matrix.org/x-cgdaaoawojkzwzyx) ("User left")
2020-10-22 07:20:50 +0000 <pjb> Alexthek1d: AFAIK, it's not possible on linux or most modern unix platforms.
2020-10-22 07:21:10 +0000 <Alexthek1d> pjb, windows too?
2020-10-22 07:21:12 +0000 <pjb> Alexthek1d: you could generate that for embedded platforms.
2020-10-22 07:21:21 +0000 <pjb> I know nothing about Microsoft systems.
2020-10-22 07:21:26 +0000 <Alexthek1d> i have to run it on windows
2020-10-22 07:21:30 +0000 <Alexthek1d> okay :D
2020-10-22 07:22:11 +0000 <pjb> I'd still be surprised if executable on MS-Windows could be entirely independent from system DLLs…
2020-10-22 07:22:39 +0000Hand(~Highand@58.33.36.170)
2020-10-22 07:22:59 +0000 <Alexthek1d> ye me2
2020-10-22 07:23:15 +0000polyrain(~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 07:23:18 +0000alp(~alp@88.126.45.36)
2020-10-22 07:24:19 +0000 <yushyin> so did you try stack?
2020-10-22 07:25:13 +0000Hand(~Highand@58.33.36.170) (Client Quit)
2020-10-22 07:25:19 +0000karanlikmadde(~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9)
2020-10-22 07:25:50 +0000 <lortabac> I think you can have 100% static builds on Alpine, by using musl instead of glibc
2020-10-22 07:29:56 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-22 07:30:23 +0000hiroaki(~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2020-10-22 07:30:57 +0000acidjnk_new2(~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 07:33:22 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-10-22 07:33:52 +0000GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-22 07:34:02 +0000GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-22 07:34:02 +0000GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-22 07:34:02 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 07:34:19 +0000gxt(~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-10-22 07:35:01 +0000mbomba(~mbomba@142.114.9.241) (Quit: WeeChat 2.9)
2020-10-22 07:35:01 +0000gxt(~gxt@gateway/tor-sasl/gxt)
2020-10-22 07:35:56 +0000sveit(~sveit@45.77.0.246) (Quit: Bye)
2020-10-22 07:35:56 +0000simplegauss(~simplegau@2001:19f0:ac01:247:5400:ff:fe5c:689f) (Quit: Bye)
2020-10-22 07:37:22 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 07:37:25 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-22 07:42:03 +0000jedws(~jedws@101.184.148.229) (Remote host closed the connection)
2020-10-22 07:42:44 +0000jedws(~jedws@101.184.148.229)
2020-10-22 07:43:54 +0000bitmagie(~Thunderbi@200116b806fef70051e6f8902f3ffd9c.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-22 07:44:44 +0000jedws(~jedws@101.184.148.229) (Client Quit)
2020-10-22 07:47:24 +0000jedws(~jedws@101.184.148.229)
2020-10-22 07:47:36 +0000 <merijn> That information seems rather irrelevant in the context of Windows ;)
2020-10-22 07:47:54 +0000 <merijn> pjb: You have a strange definition of "most modern unix platforms"
2020-10-22 07:48:20 +0000 <merijn> pjb: linux is the only one that commonly ships with glibc and glibc is the one that breaks static linking everything
2020-10-22 07:48:25 +0000mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com) (Read error: Connection reset by peer)
2020-10-22 07:48:35 +0000oldsk00l_(~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) (Quit: ZNC - https://znc.in)
2020-10-22 07:48:38 +0000 <merijn> And even linux has exceptions (like Alpine) where they don't ship glibc
2020-10-22 07:48:50 +0000mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-22 07:48:50 +0000christo(~chris@81.96.113.213) (Read error: Connection reset by peer)
2020-10-22 07:48:56 +0000oldsk00l(~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com)
2020-10-22 07:49:04 +0000wowi42(~wowi42@51.15.249.183) (Quit: Kowa Bunga!!!)
2020-10-22 07:49:15 +0000terrorjack(~terrorjac@static.23.111.201.195.clients.your-server.de) (Quit: Ping timeout (120 seconds))
2020-10-22 07:49:18 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-22 07:49:24 +0000christo(~chris@81.96.113.213)
2020-10-22 07:49:27 +0000 <Alexthek1d> okay i can use stack now
2020-10-22 07:49:36 +0000 <Alexthek1d> running "stack build"
2020-10-22 07:49:45 +0000 <merijn> stack doesn't really address building static binaries, though
2020-10-22 07:49:48 +0000wowi42(~wowi42@51.15.249.183)
2020-10-22 07:49:56 +0000 <Alexthek1d> but it seems to need internet access
2020-10-22 07:49:59 +0000devalot(~ident@mail.pmade.com) (Ping timeout: 260 seconds)
2020-10-22 07:50:05 +0000 <Alexthek1d> and i have to use a proxy for that
2020-10-22 07:50:13 +0000terrorjack(~terrorjac@static.23.111.201.195.clients.your-server.de)
2020-10-22 07:50:25 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 07:50:30 +0000 <Alexthek1d> can u run something like "stack build --proxy=112.123.13.13" ? ^^
2020-10-22 07:50:55 +0000Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 260 seconds)
2020-10-22 07:51:51 +0000saurik(saurik@carrier.saurik.com) (Ping timeout: 260 seconds)
2020-10-22 07:51:56 +0000rembo10(~rembo10@wally.codeshy.com) (Remote host closed the connection)
2020-10-22 07:51:57 +0000devalot(~ident@mail.pmade.com)
2020-10-22 07:51:57 +0000nerdypepper(nerdypeppe@152.67.160.69) (Quit: bye)
2020-10-22 07:52:13 +0000rembo10(~rembo10@wally.codeshy.com)
2020-10-22 07:52:19 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-22 07:52:35 +0000Cthalupa(~cthulhu@47.186.47.75)
2020-10-22 07:52:36 +0000Sanchayan(~Sanchayan@122.181.211.206) (Quit: leaving)
2020-10-22 07:52:39 +0000borne(~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3)
2020-10-22 07:52:44 +0000saurik(saurik@carrier.saurik.com)
2020-10-22 07:52:47 +0000is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 260 seconds)
2020-10-22 07:52:56 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2020-10-22 07:53:11 +0000nerdypepper(nerdypeppe@152.67.160.69)
2020-10-22 07:53:15 +0000phaul(~phaul@ruby/staff/phaul) (Ping timeout: 260 seconds)
2020-10-22 07:53:38 +0000chaosmasttter(~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de)
2020-10-22 07:53:43 +0000is_null(~jpic@pdpc/supporter/professional/is-null)
2020-10-22 07:54:15 +0000phaul(~phaul@ruby/staff/phaul)
2020-10-22 07:57:53 +0000borne(~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3) (Quit: WeeChat 2.9)
2020-10-22 07:58:00 +0000borne(~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3)
2020-10-22 07:59:17 +0000GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 07:59:18 +0000GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 07:59:18 +0000GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-22 07:59:45 +0000shafox(~shafox@106.51.234.111) (Ping timeout: 240 seconds)
2020-10-22 08:00:43 +0000GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-22 08:03:18 +0000jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-22 08:04:15 +0000karanlikmadde(~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) (Quit: karanlikmadde)
2020-10-22 08:06:40 +0000Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-22 08:12:26 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 08:12:36 +0000Franciman(~francesco@host-82-54-10-114.retail.telecomitalia.it)
2020-10-22 08:14:43 +0000wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-10-22 08:16:36 +0000bgamari(~bgamari@72.65.102.2) (Ping timeout: 258 seconds)
2020-10-22 08:17:02 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 08:18:20 +0000bgamari(~bgamari@72.65.102.29)
2020-10-22 08:21:00 +0000hnOsmium0001(uid453710@gateway/web/irccloud.com/x-widejiobrxcglhbz) (Quit: Connection closed for inactivity)
2020-10-22 08:24:25 +0000cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-10-22 08:26:10 +0000bgamari(~bgamari@72.65.102.29) (Ping timeout: 272 seconds)
2020-10-22 08:28:23 +0000gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds)
2020-10-22 08:29:03 +0000bgamari(~bgamari@72.65.104.154)
2020-10-22 08:29:33 +0000 <Alexthek1d> seems like stack needs internet acccess
2020-10-22 08:29:43 +0000 <Alexthek1d> Exception while reading snapshot from https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/13/7.yaml:
2020-10-22 08:34:27 +0000ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2020-10-22 08:34:31 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 08:35:05 +0000cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds)
2020-10-22 08:37:27 +0000fendor_(~fendor@194-96-53-70.hdsl.highway.telekom.at)
2020-10-22 08:38:45 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-22 08:39:11 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 08:40:28 +0000gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-10-22 08:42:38 +0000datajerk(~datajerk@sense.net) (Ping timeout: 272 seconds)
2020-10-22 08:47:47 +0000 <Alexthek1d> i try so set the proxy like this in windows: " set HTTPS_PROXY=http://myproxy:9090 "
2020-10-22 08:47:58 +0000 <Alexthek1d> but it still doesn't work
2020-10-22 08:49:11 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 08:49:17 +0000AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-10-22 08:50:13 +0000jedws(~jedws@101.184.148.229) (Ping timeout: 246 seconds)
2020-10-22 08:50:31 +0000datajerk(~datajerk@sense.net)
2020-10-22 08:51:19 +0000Raito_Bezarius(~Raito_Bez@unaffiliated/raito-bezarius/x-8764578)
2020-10-22 08:53:40 +0000jedws(~jedws@101.184.148.229)
2020-10-22 08:53:55 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-22 08:55:27 +0000cyphase(~cyphase@unaffiliated/cyphase)
2020-10-22 08:58:20 +0000 <dminuoso> Mmm, why don't we have 1-tuples?
2020-10-22 08:58:29 +0000 <dminuoso> That seems like an oversight. :(
2020-10-22 08:59:01 +0000 <dminuoso> (I guess the answer is just the grammar wouldnt allow for it)
2020-10-22 08:59:47 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 09:00:01 +0000Suntop1(~Suntop@84.39.117.57) ()
2020-10-22 09:00:07 +0000mozzarel1(~sam@unaffiliated/sam113101)
2020-10-22 09:01:22 +0000gmind[m](gmindmatri@gateway/shell/matrix.org/x-ytyzdnndqsmeegde) ("Kicked by @appservice-irc:matrix.org : Idle for 30+ days")
2020-10-22 09:01:51 +0000mozzarella(~sam@unaffiliated/sam113101) (Ping timeout: 260 seconds)
2020-10-22 09:01:53 +0000mozzarel1mozzarella
2020-10-22 09:04:11 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-22 09:04:43 +0000 <hc> dminuoso: what about (1,)? that could reasonably be parsed into a 1-tuple?
2020-10-22 09:05:25 +0000 <merijn> hc: Disagree, that's an operator section of (,) :p
2020-10-22 09:05:57 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 09:06:07 +0000 <yushyin> yeah, TupleSections claims that syntax
2020-10-22 09:06:42 +0000 <hc> hmm, true
2020-10-22 09:07:38 +0000cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-22 09:08:00 +0000 <dminuoso> hc: The only reasonable solution appears to have been to use say {} for tuples instead.
2020-10-22 09:08:20 +0000 <merijn> dminuoso: There's a unary tuple somewhere in GHC or ghc-prim or something
2020-10-22 09:08:28 +0000DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-10-22 09:09:14 +0000 <dminuoso> Though that would conflict with record syntax, unless spaces for record syntax were disallowed, or it would need more lookahead
2020-10-22 09:09:18 +0000 <dminuoso> merijn: Mmm.
2020-10-22 09:10:08 +0000 <dminuoso> hc: Also, `(1,)` would have felt very adhoc, not in line with () (1,2), (1,2,3)
2020-10-22 09:10:42 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 09:11:55 +0000lindaTheUltimate(3dded63f@61-222-214-63.HINET-IP.hinet.net)
2020-10-22 09:12:04 +0000 <hc> dminuoso: newEmptyTuple function? ;p
2020-10-22 09:12:49 +0000 <hc> or, use «»
2020-10-22 09:13:58 +0000 <dminuoso> At that point, why not adapt arbitrary mixfix operators from Agda as well, and ensure you cant write programs without emacs anymore. :P
2020-10-22 09:14:22 +0000 <dminuoso> (These two remarks are not related to one another)
2020-10-22 09:14:30 +0000 <hc> oh, you can actually write haskell programs without emacs?
2020-10-22 09:14:34 +0000hclooks surprised
2020-10-22 09:14:44 +0000erolm_a(~erolm_a@82.24.185.133)
2020-10-22 09:14:58 +0000 <dminuoso> Out of curiosity, do you use haskell-language-server, hc?
2020-10-22 09:15:10 +0000thc202(~thc202@unaffiliated/thc202)
2020-10-22 09:15:13 +0000 <hc> yes I do, together with neovim
2020-10-22 09:15:27 +0000 <hc> I occasionally use emacs for haskell as well, but haven't properly set it up
2020-10-22 09:15:43 +0000 <dminuoso> Ah. With evil mode presumably?
2020-10-22 09:15:47 +0000 <hc> jup
2020-10-22 09:15:57 +0000 <dminuoso> If it wasn't for evil mode, I would still be a vim user :>
2020-10-22 09:16:17 +0000ubert(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2020-10-22 09:16:23 +0000 <dminuoso> Dunno, I keep hearing so much good things about hie, but I fear for my lightweight and fast emacs setup
2020-10-22 09:17:06 +0000 <hc> I haven't found a perfect haskell editor yet, tbh. intellij has some nice features I miss in the others...
2020-10-22 09:18:04 +0000geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-22 09:18:10 +0000 <merijn> dminuoso: ghcide is crazy fast, compared to what I used before (like hdevtools years ago)
2020-10-22 09:18:34 +0000 <merijn> dminuoso: ghcide usually finishes type-checking in the same time as it takes vim to leave insert mode >.>
2020-10-22 09:18:59 +0000 <dminuoso> merijn: Its not that Im worried about.
2020-10-22 09:19:09 +0000 <dminuoso> lsp-mode looks freaking heavy
2020-10-22 09:19:13 +0000 <hc> merijn: can take vim up to two seconds to leave insert mode, depending on your terminal emulator ;)
2020-10-22 09:19:19 +0000 <merijn> dminuoso: in emacs?
2020-10-22 09:19:41 +0000 <dminuoso> Triggered, it seems!
2020-10-22 09:19:46 +0000 <dminuoso> Ye.s
2020-10-22 09:19:57 +0000 <merijn> that seems like an emacs problem, not an hls problem :p
2020-10-22 09:22:13 +0000 <dminuoso> Ah. Perhaps I can use eglot instead, that seems much more lightweight
2020-10-22 09:22:13 +0000stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 09:22:14 +0000bgamari(~bgamari@72.65.104.154) (Ping timeout: 265 seconds)
2020-10-22 09:22:35 +0000stefan-__(~cri@42dots.de)
2020-10-22 09:24:15 +0000 <Alexthek1d> guys i still get "Exception while reading snapshot from https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/9/10.yaml:
2020-10-22 09:24:15 +0000 <Alexthek1d> HttpExceptionRequest Request {"
2020-10-22 09:24:21 +0000 <Alexthek1d> proxy doesn't work
2020-10-22 09:24:25 +0000 <Alexthek1d> i dunno why
2020-10-22 09:24:41 +0000 <Alexthek1d> why does it need online sources even?
2020-10-22 09:24:58 +0000 <Alexthek1d> can't i have an offline version of stack haskell?
2020-10-22 09:25:00 +0000bgamari(~bgamari@72.65.104.77)
2020-10-22 09:25:20 +0000cfricke(~cfricke@unaffiliated/cfricke)
2020-10-22 09:25:54 +0000__monty__(~toonn@unaffiliated/toonn)
2020-10-22 09:27:53 +0000 <dminuoso> Alexthek1d: If you want to be all offline, stack is a bad fit I think.
2020-10-22 09:28:02 +0000 <dminuoso> It'll be easier with cabal and possibly skete
2020-10-22 09:28:59 +0000Perry79(6ee39f85@110.227.159.133)
2020-10-22 09:29:30 +0000 <Alexthek1d> a
2020-10-22 09:29:39 +0000 <Alexthek1d> okay:D
2020-10-22 09:29:51 +0000polyrain(~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a)
2020-10-22 09:30:07 +0000 <dminuoso> Alexthek1d: What exactly are your requirements here? Wrt to being offline I mean.
2020-10-22 09:30:56 +0000 <Alexthek1d> i just need to get this running on the windows server of my company: https://github.com/facebook/duckling
2020-10-22 09:30:59 +0000 <Alexthek1d> dminuoso,
2020-10-22 09:31:35 +0000 <__monty__> Hmm, can't really find anything about skete. One blogpost and one youtube presentation.
2020-10-22 09:31:47 +0000stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 09:32:10 +0000stefan-__(~cri@42dots.de)
2020-10-22 09:32:20 +0000 <dminuoso> __monty__: https://code.xkrd.net/skete/skete-haskell/-/tree/master
2020-10-22 09:32:27 +0000hackagesplitmix 0.1.0.3 - Fast Splittable PRNG https://hackage.haskell.org/package/splitmix-0.1.0.3 (phadej)
2020-10-22 09:32:48 +0000 <__monty__> dminuoso: Thanks. Guess DDG was failing me.
2020-10-22 09:32:59 +0000 <Alexthek1d> i'll try cabal then
2020-10-22 09:33:02 +0000 <merijn> __monty__: I mean, you can just download all of Hackage and point cabal at that
2020-10-22 09:33:11 +0000 <dminuoso> Alexthek1d: Well, you will need internet access either way
2020-10-22 09:33:18 +0000 <Alexthek1d> dminuoso, why?
2020-10-22 09:33:28 +0000 <dminuoso> Alexthek1d: Because our package registries live on the internet.
2020-10-22 09:33:36 +0000 <Alexthek1d> oh
2020-10-22 09:33:37 +0000 <dminuoso> You have to get the dependencies from *somewhere*
2020-10-22 09:34:14 +0000 <Perry79> Is it possible to create modular classes (congruence classes) with just a single traversal of list? in python I can do something like "for n in arr: dict[n%k] += [n]". My current Haskell solution involves k traversals of list
2020-10-22 09:34:18 +0000 <dminuoso> What I said about `cabal + skete` is for the use case of `Im gonna live on a boat without internet for 6 months and want to develop on haskell packages`
2020-10-22 09:34:27 +0000 <dminuoso> (Which is exactly how skete was born)
2020-10-22 09:34:57 +0000cristi(~cristi@82.76.158.82)
2020-10-22 09:35:07 +0000 <Alexthek1d> dminuoso, Hm okay, thanks for the info! I can't believe that i cannot run this program on an offline server :/
2020-10-22 09:35:16 +0000 <dminuoso> Alexthek1d: Ohh I see what you mean
2020-10-22 09:35:18 +0000 <dminuoso> sorry I misunderstood
2020-10-22 09:35:21 +0000 <dminuoso> Alexthek1d: No you can!
2020-10-22 09:35:33 +0000 <Alexthek1d> :D
2020-10-22 09:35:35 +0000 <dminuoso> Alexthek1d: You first build it with stack or cabal, and then extract the build artifact
2020-10-22 09:35:46 +0000 <dminuoso> But the build process needs internet to grab dependencies
2020-10-22 09:35:48 +0000acidjnk_new2(~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de)
2020-10-22 09:35:53 +0000 <dminuoso> (Or at least access to package registries)
2020-10-22 09:36:25 +0000 <Alexthek1d> yes, stack fails because of this
2020-10-22 09:36:26 +0000 <Alexthek1d> "Exception while reading snapshot from https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/9/10.yaml:
2020-10-22 09:36:44 +0000 <dminuoso> Alexthek1d: So what you'd do, is build it on a machine that has internet access
2020-10-22 09:36:53 +0000 <dminuoso> Extract the resulting binary, and then put that onto your server without internet.
2020-10-22 09:37:50 +0000 <Alexthek1d> Hm it is a machine with windows server 2019 . I have windows 10 only
2020-10-22 09:38:32 +0000 <__monty__> merijn: Just wanted to see what skete has to offer in addition.
2020-10-22 09:38:53 +0000 <dminuoso> __monty__: ask davean
2020-10-22 09:38:58 +0000 <dminuoso> They can explain it far better.
2020-10-22 09:39:12 +0000chaosmasttter(~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-22 09:39:20 +0000 <dminuoso> Alexthek1d: It shouldn't be an issue I think.
2020-10-22 09:39:32 +0000 <dminuoso> Alexthek1d: Both run PE executables.
2020-10-22 09:39:32 +0000 <Alexthek1d> dminuoso, ok thank you
2020-10-22 09:39:34 +0000 <dminuoso> You could try it at least.
2020-10-22 09:39:45 +0000 <dminuoso> If it doesn't work, you could ask again.
2020-10-22 09:39:49 +0000 <Alexthek1d> thanks
2020-10-22 09:39:58 +0000 <dminuoso> (My windows experience is rather limited with Haskell)
2020-10-22 09:41:08 +0000shatriff(~vitaliish@176.52.219.10)
2020-10-22 09:41:36 +0000 <dminuoso> __monty__: One of the main issues with hackage, is that its a hideous blob of software. Try running a local hackage mirror, the sheer time and space requirements are crazy!
2020-10-22 09:42:01 +0000 <Rembane> dminuoso: How crazy are the space requirements?
2020-10-22 09:44:17 +0000 <dminuoso> Rembane: Some 2-3 digits of GiB I think. And pulling a mirror takes ages.
2020-10-22 09:44:26 +0000 <dminuoso> With skete you can get that in under 1GiB
2020-10-22 09:44:26 +0000stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 09:44:43 +0000stefan-__(~cri@42dots.de)
2020-10-22 09:45:43 +0000 <dminuoso> When we tried to set up a hackage mirror, I was frustrated after some two weeks.
2020-10-22 09:46:32 +0000jedws(~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 09:48:03 +0000geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-10-22 09:48:33 +0000cristi(~cristi@82.76.158.82) (Quit: cristi)
2020-10-22 09:48:39 +0000 <merijn> dminuoso: You can point cabal at just directories of tarballs, iirc?
2020-10-22 09:50:36 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 09:52:11 +0000lindaTheUltimate(3dded63f@61-222-214-63.HINET-IP.hinet.net) (Remote host closed the connection)
2020-10-22 09:52:43 +0000sveit(~sveit@2001:19f0:ac01:247:5400:ff:fe5c:689f)
2020-10-22 09:53:14 +0000simplegauss(~simplegau@45.77.0.246)
2020-10-22 09:53:49 +0000 <Rembane> dminuoso: That's quite a lot. I wonder if it would be benificial for the Haskell ecosystem to have more Hackage mirrors and thus make it easier to setup new mirrors.
2020-10-22 09:53:56 +0000tsdgeos(~tsdgeos@195.206.169.184)
2020-10-22 09:55:19 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 256 seconds)
2020-10-22 10:01:06 +0000dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2020-10-22 10:01:19 +0000Rudd0(~Rudd0@185.189.115.103)
2020-10-22 10:02:09 +0000christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-22 10:03:17 +0000Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-22 10:04:59 +0000 <Alexthek1d> dminuoso, so stack failed :D :/
2020-10-22 10:05:11 +0000 <Alexthek1d> i can't find cabal for windows tho
2020-10-22 10:08:20 +0000klixto(~klixto@49.188.65.219)
2020-10-22 10:08:28 +0000bgamari(~bgamari@72.65.104.77) (Ping timeout: 260 seconds)
2020-10-22 10:09:05 +0000MVQq(~anja@198.254.202.72)
2020-10-22 10:09:06 +0000bgamari(~bgamari@72.65.102.81)
2020-10-22 10:09:15 +0000christo(~chris@81.96.113.213)
2020-10-22 10:09:19 +0000MarcelineVQ(~anja@198.254.202.72) (Ping timeout: 246 seconds)
2020-10-22 10:12:58 +0000karanlikmadde(~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9)
2020-10-22 10:13:54 +0000christo(~chris@81.96.113.213) (Ping timeout: 258 seconds)
2020-10-22 10:15:51 +0000mapperr(~mapperr@vmi389916.contaboserver.net) (Remote host closed the connection)
2020-10-22 10:16:48 +0000mapperr(~mapperr@vmi389916.contaboserver.net)
2020-10-22 10:17:01 +0000rprije(~rprije@110-175-117-18.tpgi.com.au) (Ping timeout: 264 seconds)
2020-10-22 10:17:39 +0000kuribas(~user@ptr-25vy0i7rxaeig7h3jwv.18120a2.ip6.access.telenet.be)
2020-10-22 10:20:31 +0000tsdgeos(~tsdgeos@195.206.169.184) (Ping timeout: 246 seconds)
2020-10-22 10:24:49 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 10:25:50 +0000 <dminuoso> Alexthek1d: https://www.haskell.org/cabal/download.html
2020-10-22 10:25:57 +0000 <dminuoso> There's windows binaries there
2020-10-22 10:26:08 +0000 <Alexthek1d> ye found it already
2020-10-22 10:26:09 +0000 <Alexthek1d> thanks
2020-10-22 10:26:12 +0000Kolkrabe(~user@unaffiliated/siracusa) (Quit: Bye!)
2020-10-22 10:26:24 +0000 <dminuoso> Alexthek1d: by the way, how did the build fail exactly?
2020-10-22 10:26:38 +0000 <Alexthek1d> same error https://github.com/facebook/duckling/issues/510
2020-10-22 10:27:01 +0000 <Alexthek1d> trying the fix by bmoore117 now
2020-10-22 10:28:04 +0000Perry79(6ee39f85@110.227.159.133) (Remote host closed the connection)
2020-10-22 10:29:40 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-22 10:32:56 +0000forgottenone(~forgotten@176.88.100.210)
2020-10-22 10:33:08 +0000eyenx(~eyenxeyen@unaffiliated/eye/x-1653358) (Quit: killed)
2020-10-22 10:34:08 +0000eyenx(~eyenxeyen@unaffiliated/eye/x-1653358)
2020-10-22 10:35:05 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 10:39:57 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 10:41:07 +0000ericsagnes(~ericsagne@2405:6580:0:5100:edb7:2e5e:75c7:865c) (Ping timeout: 260 seconds)
2020-10-22 10:42:55 +0000 <Alexthek1d> dminuoso, error is fixed . now i get a second one after 56/66
2020-10-22 10:43:05 +0000 <Alexthek1d> oh no
2020-10-22 10:43:15 +0000 <Alexthek1d> second run and it seems to work now
2020-10-22 10:43:16 +0000 <Alexthek1d> lol
2020-10-22 10:43:31 +0000klixto(~klixto@49.188.65.219) (Quit: WeeChat 2.9)
2020-10-22 10:45:08 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 10:45:59 +0000 <dminuoso> Mmm, does lens come with an iso `itself :: Iso' a a` ?
2020-10-22 10:46:03 +0000 <dminuoso> where itself = iso id id
2020-10-22 10:46:39 +0000 <dminuoso> Oh. I guess I can just use `id`
2020-10-22 10:46:41 +0000 <dminuoso> haha
2020-10-22 10:48:42 +0000eyenx(~eyenxeyen@unaffiliated/eye/x-1653358) (Quit: killed)
2020-10-22 10:49:43 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-10-22 10:50:29 +0000eyenx(~eyenxeyen@unaffiliated/eye/x-1653358)
2020-10-22 10:51:19 +0000Chi1thangoo(~Chi1thang@87.112.60.168)
2020-10-22 10:53:06 +0000ericsagnes(~ericsagne@2405:6580:0:5100:e4cc:251e:e67d:9b13)
2020-10-22 10:54:36 +0000Guest88073lep-delete
2020-10-22 10:55:05 +0000stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 10:55:23 +0000stefan-__(~cri@42dots.de)
2020-10-22 10:57:27 +0000cfricke(~cfricke@unaffiliated/cfricke) (Read error: Connection reset by peer)
2020-10-22 10:58:33 +0000cfricke(~cfricke@unaffiliated/cfricke)
2020-10-22 10:59:36 +0000 <Alexthek1d> i have the exe now
2020-10-22 11:00:02 +0000 <Alexthek1d> can't run it tho. Neither stack nor cabal works
2020-10-22 11:01:44 +0000kiwi_35(66b6dd1d@gateway/web/cgi-irc/kiwiirc.com/ip.102.182.221.29)
2020-10-22 11:02:12 +0000voet(~voet@84.39.117.57)
2020-10-22 11:03:52 +0000kiwi_35(66b6dd1d@gateway/web/cgi-irc/kiwiirc.com/ip.102.182.221.29) (Client Quit)
2020-10-22 11:04:48 +0000son0p(~son0p@181.58.39.86)
2020-10-22 11:06:25 +0000m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-22 11:06:42 +0000 <lortabac> Alexthek1d: you don't need stack (nor cabal) to run the executable
2020-10-22 11:06:46 +0000cfricke(~cfricke@unaffiliated/cfricke) (Read error: Connection reset by peer)
2020-10-22 11:06:48 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 11:06:50 +0000 <lortabac> you just have to execute it
2020-10-22 11:06:50 +0000machinedgod(~machinedg@24.105.81.50)
2020-10-22 11:08:39 +0000 <Alexthek1d> lortabac, when i try this i get:
2020-10-22 11:08:40 +0000 <Alexthek1d> "Exception while reading snapshot from https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/9/10.yaml:
2020-10-22 11:08:45 +0000 <Alexthek1d> oh no
2020-10-22 11:08:47 +0000 <Alexthek1d> wrong
2020-10-22 11:09:01 +0000 <Alexthek1d> duckling-example-exe.exe: /usr/share/zoneinfo/: getDirectoryContents:findFirstFile: does not exist (The system cannot find the path specified.)
2020-10-22 11:09:01 +0000 <Alexthek1d> this
2020-10-22 11:09:50 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 11:09:55 +0000 <ridcully> are you on windows? i doubt windows has those files
2020-10-22 11:11:59 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds)
2020-10-22 11:12:31 +0000 <lortabac> Alexthek1d: maybe the example requires some files to be present
2020-10-22 11:12:40 +0000 <lortabac> did you try running the ducking executable?
2020-10-22 11:12:45 +0000 <lortabac> *duckling
2020-10-22 11:13:01 +0000 <kuribas> hi, does something like this exists? Let's say a datastructure a :-> b, which means b depends on a. So I have a function initialize :: MyData -> (MyData :-> DependendData).
2020-10-22 11:13:23 +0000 <kuribas> Then they idea is to be able to incrementally update a, and b gets updated automatically.
2020-10-22 11:13:26 +0000 <Alexthek1d> i compiled on my windows 10 and try to run it on windows server
2020-10-22 11:13:31 +0000 <kuribas> but without recomputing all of b.
2020-10-22 11:13:33 +0000 <Alexthek1d> lortabac, yes
2020-10-22 11:13:43 +0000brisbin(~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 246 seconds)
2020-10-22 11:13:51 +0000 <ridcully> the example directly tries to load this directory
2020-10-22 11:14:04 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-10-22 11:14:06 +0000 <ridcully> (or rather the timezone data therein)
2020-10-22 11:14:21 +0000 <kuribas> for example for a word processor ui, I have Document :-> Intermediate :-> GraphicElements
2020-10-22 11:14:29 +0000 <lortabac> Alexthek1d: and?
2020-10-22 11:14:46 +0000 <lortabac> did it work?
2020-10-22 11:15:15 +0000 <Alexthek1d> lortabac, it gives me the error above
2020-10-22 11:15:41 +0000 <lortabac> I'm not familiar with this package, but the error is about duckling-example-exe
2020-10-22 11:16:00 +0000 <lortabac> I was asking if you have tried running duckling-exe (or whatever it is called)
2020-10-22 11:16:41 +0000 <kuribas> Then I can specify the UI as a single transformation on the source document, but still have good performance.
2020-10-22 11:17:11 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-22 11:18:56 +0000 <Alexthek1d> lortabac, there is duckling-example-exe.exe only
2020-10-22 11:19:05 +0000 <lortabac> oh
2020-10-22 11:19:37 +0000 <lortabac> then I guess it has never been tested on Windows
2020-10-22 11:21:38 +0000 <lortabac> given the name of the executable, I suppose duckling is meant to be used as a library
2020-10-22 11:21:59 +0000 <lortabac> you can take inspiration from the example and build your own executable
2020-10-22 11:22:49 +0000DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-22 11:23:22 +0000DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-22 11:27:21 +0000 <typetetris> https://www.irccloud.com/pastebin/cL3DJSYB/
2020-10-22 11:27:43 +0000Stanley00(~stanley00@unaffiliated/stanley00) ()
2020-10-22 11:27:55 +0000 <typetetris> Is that a bad idea for prod builds?
2020-10-22 11:28:34 +0000Ariakenom(~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se)
2020-10-22 11:28:34 +0000stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 11:28:53 +0000stefan-__(~cri@42dots.de)
2020-10-22 11:30:15 +0000 <merijn> typetetris: O2 generally takes a lot longer to compile and may not have any impact on a significant umber of workloads
2020-10-22 11:31:01 +0000 <typetetris> So its up to experimentation of it is worthwhile.
2020-10-22 11:31:11 +0000 <typetetris> if not of
2020-10-22 11:31:59 +0000 <merijn> yeah
2020-10-22 11:32:20 +0000 <merijn> O1 you should always do, though
2020-10-22 11:32:39 +0000avoandmayo(~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 11:34:03 +0000 <dminuoso> typetetris: If your builds run in CI and are not time sensitive, then O2 is fine.
2020-10-22 11:35:09 +0000Maxdamantus(~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 265 seconds)
2020-10-22 11:36:34 +0000Maxdamantus(~Maxdamant@unaffiliated/maxdamantus)
2020-10-22 11:41:59 +0000plutoniix(~q@175.176.222.7) (Quit: Leaving)
2020-10-22 11:44:26 +0000GyroW_(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-22 11:44:43 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 11:44:43 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 11:44:43 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 11:45:37 +0000dhil(~dhil@195.213.192.122)
2020-10-22 11:48:05 +0000Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 256 seconds)
2020-10-22 11:48:19 +0000Sanchayan(~Sanchayan@122.181.211.206)
2020-10-22 11:51:20 +0000olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds)
2020-10-22 11:51:22 +0000 <typetetris> hmm, O2 made ghc 8.10.2 panic on my code. That means I am a bad haskell coder :)
2020-10-22 11:52:00 +0000 <maerwald> 8.10.2 is also a bit more segfaulty than 8.8.4 or 8.6.5
2020-10-22 11:52:22 +0000Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 11:52:38 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-10-22 11:54:32 +0000Ariakenom(~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Ping timeout: 272 seconds)
2020-10-22 11:56:58 +0000hackageantiope-shell 7.5.3 - Please see the README on Github at <https://github.com/arbor/antiope#readme> https://hackage.haskell.org/package/antiope-shell-7.5.3 (arbornetworks)
2020-10-22 11:57:58 +0000hackageantiope-core 7.5.3, antiope-sns 7.5.3, antiope-es 7.5.3, antiope-dynamodb 7.5.3, antiope-contract 7.5.3, antiope-athena 7.5.3, antiope-optparse-applicative 7.5.3, antiope-messages 7.5.3, antiope-sqs 7.5.3, antiope-s3 7.5.3 (arbornetworks)
2020-10-22 12:00:01 +0000voet(~voet@84.39.117.57) ()
2020-10-22 12:02:09 +0000edk_deadk
2020-10-22 12:03:10 +0000urodna(~urodna@unaffiliated/urodna)
2020-10-22 12:03:52 +0000SanchayanM(~Sanchayan@106.200.205.180)
2020-10-22 12:04:21 +0000 <Alexthek1d> lortabac, just read this "However you will still face issues when running it, as it needs to be built and run under something like MSYS2 or Cygwin, it needs linux stuff like /usr/share/zoneinfo"
2020-10-22 12:04:28 +0000 <Alexthek1d> https://github.com/facebook/duckling/issues/510
2020-10-22 12:04:49 +0000Sanchayan(~Sanchayan@122.181.211.206) (Ping timeout: 246 seconds)
2020-10-22 12:05:39 +0000bitmapper(uid464869@gateway/web/irccloud.com/x-fjkcgpxmhvapxtfm) (Quit: Connection closed for inactivity)
2020-10-22 12:07:17 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476)
2020-10-22 12:08:03 +0000SanchayanM(~Sanchayan@106.200.205.180) (Client Quit)
2020-10-22 12:08:59 +0000Maxdamantus(~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 260 seconds)
2020-10-22 12:09:32 +0000GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-22 12:09:42 +0000GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-22 12:09:42 +0000GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-22 12:09:42 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 12:10:34 +0000Maxdamantus(~Maxdamant@unaffiliated/maxdamantus)
2020-10-22 12:13:22 +0000Chi1thangoo(~Chi1thang@87.112.60.168) (Ping timeout: 256 seconds)
2020-10-22 12:15:21 +0000geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-22 12:17:03 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-22 12:17:40 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-22 12:17:50 +0000geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-22 12:20:31 +0000texasmynsted(~texasmyns@104.140.52.99)
2020-10-22 12:21:11 +0000acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-22 12:22:06 +0000Ariakenom(~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se)
2020-10-22 12:22:49 +0000Kolkrabe(~user@unaffiliated/siracusa)
2020-10-22 12:24:39 +0000chindy(~quassel@51.15.63.78) (Remote host closed the connection)
2020-10-22 12:25:31 +0000chindy(~quassel@51.15.63.78)
2020-10-22 12:27:10 +0000brisbin(~patrick@pool-173-49-158-4.phlapa.fios.verizon.net)
2020-10-22 12:29:15 +0000berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2020-10-22 12:29:51 +0000berberman(~berberman@unaffiliated/berberman)
2020-10-22 12:30:43 +0000 <typetetris> 8.8.4 works fine
2020-10-22 12:31:28 +0000hackagecall-alloy 0.2.0.6 - A simple library to call Alloy given a specification https://hackage.haskell.org/package/call-alloy-0.2.0.6 (marcellus)
2020-10-22 12:33:23 +0000acidjnk_new3(~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de)
2020-10-22 12:34:48 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-22 12:35:09 +0000babygnu(~robert@gateway/tor-sasl/babygnu)
2020-10-22 12:36:09 +0000Sarma(~Amras@unaffiliated/amras0000)
2020-10-22 12:36:37 +0000acidjnk_new2(~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 12:37:22 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 12:39:43 +0000notnatebtw(~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-22 12:40:13 +0000Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 12:42:02 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-22 12:42:02 +0000tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 272 seconds)
2020-10-22 12:42:45 +0000geekosaur(82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-22 12:43:17 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-22 12:43:19 +0000Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 246 seconds)
2020-10-22 12:44:15 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-22 12:45:04 +0000carlomagno1(~cararell@148.87.23.5)
2020-10-22 12:45:05 +0000geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-22 12:47:12 +0000carlomagno(~cararell@148.87.23.9) (Remote host closed the connection)
2020-10-22 12:50:21 +0000invaser(~Thunderbi@31.148.23.125)
2020-10-22 12:50:37 +0000StoneToad(~StoneToad@199-167-119-239.ppp.storm.ca) (Ping timeout: 264 seconds)
2020-10-22 12:52:36 +0000tirej(~tirej@unaffiliated/tirej)
2020-10-22 12:55:16 +0000pixel_(~pixel_@178.238.229.54)
2020-10-22 12:56:36 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2020-10-22 12:56:37 +0000geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds)
2020-10-22 12:56:53 +0000vacm(~vacwm@70.23.92.191)
2020-10-22 12:59:53 +0000GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 12:59:54 +0000GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 12:59:54 +0000GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-22 13:00:19 +0000GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-22 13:01:34 +0000hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-10-22 13:02:46 +0000shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-22 13:02:54 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-22 13:04:51 +0000shatriff(~vitaliish@176.52.219.10)
2020-10-22 13:05:11 +0000 <AWizzArd> Why is mapM_ in prelude but not traverse_ ?
2020-10-22 13:05:30 +0000 <AWizzArd> Historical reasons?
2020-10-22 13:06:03 +0000 <geekosaur> yes
2020-10-22 13:07:04 +0000 <typetetris> My ghc panic with ghc 8.10.2 was related to polysemy-plugin, removing that and `-fplugin=Polysemy.Plugin` from my project made the panic go away.
2020-10-22 13:07:42 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 13:07:55 +0000son0p(~son0p@181.58.39.86) (Quit: leaving)
2020-10-22 13:08:55 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 13:09:21 +0000christo(~chris@81.96.113.213)
2020-10-22 13:10:53 +0000sandman13(~sandman@unaffiliated/sandman13)
2020-10-22 13:12:12 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 13:12:27 +0000 <AWizzArd> geekosaur: do you think ghc will stick with those historical decisions or clean this at some point up, and move/remove certain functions?
2020-10-22 13:12:36 +0000 <sandman13> Hi, I have a directory that is tracked by git and has few Haskell files. How can I setup stack without deleting the repo and starting from scratch?
2020-10-22 13:13:06 +0000 <sandman13> I tried stack new <already_existing_directory> but it refused to setup as directory already existed
2020-10-22 13:13:30 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 13:13:49 +0000 <geekosaur> AWizzArd, there is a library proposals process for such changes
2020-10-22 13:13:58 +0000erolm_a(~erolm_a@82.24.185.133) (Ping timeout: 260 seconds)
2020-10-22 13:14:30 +0000 <merijn> geekosaur: Incorrect
2020-10-22 13:14:36 +0000 <merijn> geekosaur: Prelude is in the Report
2020-10-22 13:14:48 +0000 <merijn> the library proposals process is for non-report libraries only
2020-10-22 13:15:02 +0000 <merijn> Good freaking luck getting people to accept Prelude changes
2020-10-22 13:15:10 +0000 <geekosaur> we aleady violate the Report in a few places (notably some Applicative stuff iirc)
2020-10-22 13:15:27 +0000 <merijn> geekosaur: Yes, and if you recall the mailing list drama involved for those...
2020-10-22 13:15:35 +0000 <geekosaur> and of course there's AMP which completely violates the Report
2020-10-22 13:15:46 +0000 <merijn> AMP took months/years of mailing list skirmishes to pass
2020-10-22 13:16:07 +0000 <merijn> And there are very vocal people who oppose to any *growth* of Prelude
2020-10-22 13:16:25 +0000christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-22 13:16:37 +0000 <merijn> So the realistic time frame for "traverse_" moving to Prelude are very slim
2020-10-22 13:16:38 +0000christo(~chris@81.96.113.213)
2020-10-22 13:18:08 +0000 <yushyin> haskell2020 now!
2020-10-22 13:18:51 +0000visage_(~visage_@unaffiliated/visage/x-6658724)
2020-10-22 13:19:10 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 13:19:33 +0000 <merijn> yushyin: Everyone wants a new standard because they get all the cool new extensions, nobody wants to do the work to specify the extensions
2020-10-22 13:19:34 +0000 <geekosaur> the kind of yammering merijn is talking about is part of why h2020 is dead, I suspect
2020-10-22 13:19:45 +0000 <merijn> geekosaur: Well, not quite
2020-10-22 13:20:09 +0000 <merijn> geekosaur: HaskellPrime keeps dying because people want to do the cool Prelude refactors, but not the "how do we specify extension X?" work
2020-10-22 13:20:20 +0000 <merijn> HaskellPrime keeps being restarted and dying for that reason
2020-10-22 13:20:31 +0000tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com)
2020-10-22 13:21:31 +0000 <yushyin> my comment was meant rather sarcastically
2020-10-22 13:22:18 +0000__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-22 13:23:42 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 13:25:03 +0000invaser(~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-10-22 13:28:19 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 13:30:16 +0000Stanley00(~stanley00@unaffiliated/stanley00)
2020-10-22 13:30:34 +0000shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:dc3b:a165:56fa:c9b) (Remote host closed the connection)
2020-10-22 13:31:01 +0000Chi1thangoo(~Chi1thang@87.112.60.168)
2020-10-22 13:32:59 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-22 13:33:51 +0000rotaerk(rotaerk@2600:3c02::f03c:91ff:fe70:4a45) (Ping timeout: 272 seconds)
2020-10-22 13:34:56 +0000Stanley00(~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer)
2020-10-22 13:36:22 +0000geekosaur(82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-22 13:36:39 +0000erolm_a(~erolm_a@62.18.212.252)
2020-10-22 13:38:05 +0000geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-22 13:38:14 +0000sandman13(~sandman@unaffiliated/sandman13) (Quit: Leaving...)
2020-10-22 13:38:59 +0000ph88(~ph88@ip5f5af0cc.dynamic.kabel-deutschland.de)
2020-10-22 13:39:42 +0000daydaynatation(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2020-10-22 13:40:11 +0000 <daydaynatation> what does the tilde mean? ~(f, s') <- mf s
2020-10-22 13:40:27 +0000 <merijn> daydaynatation: Lazy pattern
2020-10-22 13:40:48 +0000 <ph88> is this a promoted datatype which needs DataKinds extension? type Foo = '("Bar", String)
2020-10-22 13:40:59 +0000 <daydaynatation> merijn: thx
2020-10-22 13:40:59 +0000ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-10-22 13:41:05 +0000 <merijn> daydaynatation: So the pattern forcing is delayed until you evaluate the f or s'
2020-10-22 13:41:10 +0000justsomeguy(~justsomeg@216.186.218.241)
2020-10-22 13:41:11 +0000justsomeguy(~justsomeg@216.186.218.241) (Changing host)
2020-10-22 13:41:11 +0000justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-10-22 13:41:24 +0000geekosaur(82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-22 13:41:51 +0000 <daydaynatation> merijn: when would you use it?
2020-10-22 13:42:01 +0000ukari(~ukari@unaffiliated/ukari)
2020-10-22 13:42:26 +0000 <merijn> daydaynatation: usually in a recursive binding where the pattern you're computing depends on the result of the pattern match
2020-10-22 13:42:28 +0000acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 246 seconds)
2020-10-22 13:44:04 +0000conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 13:44:17 +0000MVQq(~anja@198.254.202.72) (Quit: q)
2020-10-22 13:44:55 +0000MarcelineVQ(~anja@198.254.202.72)
2020-10-22 13:46:22 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 13:47:34 +0000 <siraben> daydaynatation: you should not use it when you have more than one constructor for the data type, see the Implications section of https://wiki.haskell.org/Lazy_pattern_match
2020-10-22 13:48:26 +0000fendor__(~fendor@91.141.1.218.wireless.dyn.drei.com)
2020-10-22 13:48:56 +0000rotaerk(~rotaerk@ender.afternet.org)
2020-10-22 13:50:45 +0000fendor(~fendor@91.141.3.69.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-10-22 13:50:52 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-10-22 13:51:52 +0000Raito_Bezarius(~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (Remote host closed the connection)
2020-10-22 13:52:38 +0000Raito_Bezarius(~Raito_Bez@unaffiliated/raito-bezarius/x-8764578)
2020-10-22 13:53:22 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:158c:de0d:7c87:d7c7)
2020-10-22 13:53:27 +0000pixel_(~pixel_@178.238.229.54) (Remote host closed the connection)
2020-10-22 13:53:46 +0000 <siraben> Have people here used AutoBench https://github.com/mathandley/AutoBench or is there a better alternative?
2020-10-22 13:53:59 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:158c:de0d:7c87:d7c7) (Client Quit)
2020-10-22 13:54:21 +0000 <hyperisco> No [cradle](https://github.com/mpickering/hie-bios#hie-bios) found for .stack-work\dist\29cc6475\build\weave\autogen\...
2020-10-22 13:54:21 +0000 <hyperisco> Proceeding with [implicit cradle](https://hackage.haskell.org/package/implicit-hie)
2020-10-22 13:55:15 +0000 <hyperisco> I get that error every time I save a file in VSCode using the Haskell IDE extension. I have created a cradle yaml for my project. How can I know where it is looking for the cradle config?
2020-10-22 13:56:45 +0000stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 13:56:55 +0000stefan-__(~cri@42dots.de)
2020-10-22 13:57:30 +0000sendak(~sendak@94.229.74.91)
2020-10-22 13:59:31 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 14:00:38 +0000conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 14:01:45 +0000acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-22 14:03:24 +0000jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-10-22 14:03:56 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 256 seconds)
2020-10-22 14:07:04 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 14:08:41 +0000cfricke(~cfricke@unaffiliated/cfricke)
2020-10-22 14:10:50 +0000ubert1(~Thunderbi@ip5b407406.dynamic.kabel-deutschland.de)
2020-10-22 14:11:40 +0000cfricke(~cfricke@unaffiliated/cfricke) (Client Quit)
2020-10-22 14:11:43 +0000dhil(~dhil@195.213.192.122) (Ping timeout: 260 seconds)
2020-10-22 14:11:51 +0000ubert(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Ping timeout: 272 seconds)
2020-10-22 14:11:51 +0000ubert1ubert
2020-10-22 14:11:52 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 14:11:57 +0000StoneToad(~StoneToad@199-167-119-164.ppp.storm.ca)
2020-10-22 14:12:48 +0000invaser(~Thunderbi@31.148.23.125)
2020-10-22 14:13:53 +0000mceier(~mceier@89-68-132-187.dynamic.chello.pl) (Quit: leaving)
2020-10-22 14:14:31 +0000daydaynatation(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection)
2020-10-22 14:14:42 +0000GyroW_(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-22 14:15:01 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 14:15:02 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 14:15:02 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 14:16:02 +0000cfricke(~cfricke@unaffiliated/cfricke)
2020-10-22 14:16:12 +0000mceier(~mceier@89-68-132-187.dynamic.chello.pl)
2020-10-22 14:17:59 +0000ddellacosta(~dd@86.106.121.168)
2020-10-22 14:19:29 +0000jjhoo(jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (Ping timeout: 246 seconds)
2020-10-22 14:20:08 +0000jjhoo(jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi)
2020-10-22 14:22:02 +0000Sheilong(uid293653@gateway/web/irccloud.com/x-usqgjetlamaxjqlh)
2020-10-22 14:24:04 +0000conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 14:24:16 +0000dhil(~dhil@openvpn-125-1027.inf.ed.ac.uk)
2020-10-22 14:25:04 +0000stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-22 14:25:22 +0000stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-22 14:26:53 +0000alp(~alp@88.126.45.36) (Remote host closed the connection)
2020-10-22 14:27:14 +0000alp(~alp@2a01:e0a:58b:4920:1917:422e:237d:9e1)
2020-10-22 14:30:22 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:8c51:e657:bdba:514a)
2020-10-22 14:30:25 +0000DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-10-22 14:31:44 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:8c51:e657:bdba:514a) (Client Quit)
2020-10-22 14:31:58 +0000karanlikmadde(~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) (Quit: karanlikmadde)
2020-10-22 14:32:45 +0000Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-22 14:33:03 +0000babygnu(~robert@gateway/tor-sasl/babygnu) (Ping timeout: 240 seconds)
2020-10-22 14:33:05 +0000conal(~conal@ip-66-115-176-174.creativelink.net) (Read error: Connection reset by peer)
2020-10-22 14:33:46 +0000babygnu(~robert@gateway/tor-sasl/babygnu)
2020-10-22 14:34:56 +0000karanlikmadde(~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9)
2020-10-22 14:35:16 +0000conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 14:35:23 +0000irc_user(uid423822@gateway/web/irccloud.com/x-smhoufshstxnpiwh)
2020-10-22 14:35:36 +0000Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 256 seconds)
2020-10-22 14:36:20 +0000shafox(~shafox@106.51.234.111)
2020-10-22 14:36:28 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 14:40:55 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-22 14:43:35 +0000knupfer(~Thunderbi@200116b824e61300a15c6f312f497d6e.dip.versatel-1u1.de)
2020-10-22 14:44:43 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 14:46:11 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 14:46:26 +0000bitmapper(uid464869@gateway/web/irccloud.com/x-odbovwgffdjqqzdy)
2020-10-22 14:47:00 +0000 <fendor_> hyperisco, it looks for the cradle config in some parent directory starting from the workspace directory
2020-10-22 14:49:31 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-10-22 14:50:00 +0000Deide(~Deide@217.155.19.23)
2020-10-22 14:50:00 +0000hnOsmium0001(uid453710@gateway/web/irccloud.com/x-kxtnycxbgunquota)
2020-10-22 14:50:33 +0000 <dminuoso> ph88: Yes.
2020-10-22 14:54:17 +0000alp(~alp@2a01:e0a:58b:4920:1917:422e:237d:9e1) (Ping timeout: 272 seconds)
2020-10-22 14:54:45 +0000Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2020-10-22 14:55:44 +0000Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-10-22 14:56:22 +0000Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-22 14:57:57 +0000texasmynsted(~texasmyns@104.140.52.99) (Remote host closed the connection)
2020-10-22 14:58:54 +0000fendor_(~fendor@194-96-53-70.hdsl.highway.telekom.at) (Remote host closed the connection)
2020-10-22 14:59:29 +0000kini(~kini@unaffiliated/kini) (Remote host closed the connection)
2020-10-22 15:00:02 +0000sendak(~sendak@94.229.74.91) ()
2020-10-22 15:02:42 +0000bartemius(~bartemius@109.252.20.20) (Remote host closed the connection)
2020-10-22 15:03:35 +0000ericsagnes(~ericsagne@2405:6580:0:5100:e4cc:251e:e67d:9b13) (Ping timeout: 246 seconds)
2020-10-22 15:04:51 +0000GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-22 15:05:10 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 15:05:10 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 15:05:10 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 15:06:57 +0000borne(~fritjof@2001:638:708:30da:8b44:3a14:fa2c:31b3) (Ping timeout: 272 seconds)
2020-10-22 15:07:29 +0000seanvert(~user@177.84.244.242)
2020-10-22 15:08:31 +0000kini(~kini@unaffiliated/kini)
2020-10-22 15:08:32 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 15:10:39 +0000Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 15:11:09 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 15:11:20 +0000Deide(~Deide@217.155.19.23)
2020-10-22 15:11:59 +0000raichoo(~raichoo@213.240.178.58)
2020-10-22 15:12:57 +0000Deide(~Deide@217.155.19.23) (Client Quit)
2020-10-22 15:13:32 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 15:14:15 +0000Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds)
2020-10-22 15:14:32 +0000Deide(~Deide@217.155.19.23)
2020-10-22 15:15:56 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-22 15:16:00 +0000ericsagnes(~ericsagne@2405:6580:0:5100:7866:3a49:bf86:234b)
2020-10-22 15:17:57 +0000cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-22 15:21:26 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 15:22:22 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-22 15:23:33 +0000lidenbrock(bd21e61f@189.33.230.31)
2020-10-22 15:25:22 +0000 <ph88> dminuoso, i had another type type Qux = Quz [Foo, AnotherFoo] and i don't understand why this list here (of which i think it's a type list) does not need that ' in front of it like '[ .. ]
2020-10-22 15:26:06 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 15:26:47 +0000polyrain(~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 15:27:41 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-22 15:27:58 +0000jneira(501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250) (Ping timeout: 272 seconds)
2020-10-22 15:28:42 +0000kritzefitz(~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-10-22 15:31:06 +0000kritzefitz(~kritzefit@212.86.56.80)
2020-10-22 15:31:09 +0000kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-22 15:31:46 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 15:32:36 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:ccf3:9e4f:a615:179a)
2020-10-22 15:33:29 +0000 <lortabac> ph88: ' does not have any semantic meaning, it's just for name disambiguation, it means "search this name in the namespace of data constructors"
2020-10-22 15:34:34 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-22 15:35:12 +0000 <lortabac> so if the namespace is clear the single quote is not needed
2020-10-22 15:35:45 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-22 15:36:51 +0000conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 15:38:27 +0000hackagetzdata 0.2.20201021.0 - Time zone database (as files and as a module) https://hackage.haskell.org/package/tzdata-0.2.20201021.0 (MihalyBarasz)
2020-10-22 15:38:28 +0000stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 15:38:40 +0000stefan-__(~cri@42dots.de)
2020-10-22 15:39:21 +0000lidenbrock(bd21e61f@189.33.230.31) ()
2020-10-22 15:40:47 +0000knupfer(~Thunderbi@200116b824e61300a15c6f312f497d6e.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-22 15:41:04 +0000knupfer(~Thunderbi@200116b824e6130098a94da731634c1e.dip.versatel-1u1.de)
2020-10-22 15:43:07 +0000vicfred(~vicfred@unaffiliated/vicfred)
2020-10-22 15:44:14 +0000vicfred(~vicfred@unaffiliated/vicfred) (Max SendQ exceeded)
2020-10-22 15:44:16 +0000xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds)
2020-10-22 15:44:42 +0000vicfred(~vicfred@unaffiliated/vicfred)
2020-10-22 15:45:54 +0000vicfred(~vicfred@unaffiliated/vicfred) (Max SendQ exceeded)
2020-10-22 15:46:24 +0000vicfred(~vicfred@unaffiliated/vicfred)
2020-10-22 15:46:51 +0000texasmynsted(~texasmyns@104.140.52.115)
2020-10-22 15:48:45 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-22 15:49:17 +0000isBEKaml(~~.~@42.110.181.139)
2020-10-22 15:50:17 +0000acidjnk_new3(~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 15:52:02 +0000texasmynsted(~texasmyns@104.140.52.115) (Ping timeout: 272 seconds)
2020-10-22 15:52:36 +0000 <tomsmeding> ph88: does that even compile? I don't think it does
2020-10-22 15:52:48 +0000 <tomsmeding> or perhaps with DataKinds?
2020-10-22 15:53:48 +0000isBEKaml(~~.~@42.110.181.139) (Changing host)
2020-10-22 15:53:48 +0000isBEKaml(~~.~@unaffiliated/isbekaml)
2020-10-22 15:54:22 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:ccf3:9e4f:a615:179a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 15:55:27 +0000 <tomsmeding> I see with a number of extensions it does compile
2020-10-22 15:55:28 +0000beaups(~beaups@84.39.117.57)
2020-10-22 15:55:40 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-22 15:55:45 +0000tomsmedingrequests to ignore my comments, I also don't know exactly how this all works
2020-10-22 15:55:56 +0000bartemius(~bartemius@109-252-20-20.nat.spd-mgts.ru)
2020-10-22 15:57:27 +0000Tops2(~Tobias@dyndsl-095-033-023-169.ewe-ip-backbone.de)
2020-10-22 15:58:17 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 15:58:18 +0000alp(~alp@2a01:e0a:58b:4920:5923:f989:36c2:80ef)
2020-10-22 15:58:41 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 16:00:28 +0000chele(~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-10-22 16:00:33 +0000Rudd0(~Rudd0@185.189.115.108)
2020-10-22 16:02:10 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-22 16:06:38 +0000ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-10-22 16:07:40 +0000ukari(~ukari@unaffiliated/ukari)
2020-10-22 16:07:58 +0000hackagetz 0.1.3.5 - Efficient time zone handling https://hackage.haskell.org/package/tz-0.1.3.5 (MihalyBarasz)
2020-10-22 16:08:22 +0000dhil(~dhil@openvpn-125-1027.inf.ed.ac.uk) (Ping timeout: 260 seconds)
2020-10-22 16:10:48 +0000acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2020-10-22 16:12:05 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 16:14:11 +0000mshinesimon
2020-10-22 16:16:57 +0000 <kuribas> isn't there a library for quickly making form based UIs for editing configuration?
2020-10-22 16:17:07 +0000 <kuribas> and exporting to XML?
2020-10-22 16:17:45 +0000 <Uniaika> not that I know of
2020-10-22 16:19:20 +0000xerox_(~xerox@unaffiliated/xerox)
2020-10-22 16:21:42 +0000geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-22 16:21:50 +0000dhil(~dhil@195.213.192.122)
2020-10-22 16:21:54 +0000 <maerwald> persistent doesn't have `updateMany`?
2020-10-22 16:22:07 +0000 <merijn> maerwald: Probably no
2020-10-22 16:22:29 +0000 <merijn> maerwald: Why are you using persistent?
2020-10-22 16:22:39 +0000 <maerwald> It was not my choice.
2020-10-22 16:22:50 +0000 <merijn> maerwald: This does not surprise me ;)
2020-10-22 16:23:11 +0000 <maerwald> SQL is already a DSL
2020-10-22 16:23:20 +0000 <maerwald> I don't know why I need a shitty on top
2020-10-22 16:23:28 +0000invaser(~Thunderbi@31.148.23.125) (Ping timeout: 246 seconds)
2020-10-22 16:23:40 +0000mceier(~mceier@89-68-132-187.dynamic.chello.pl) (Quit: leaving)
2020-10-22 16:23:53 +0000 <maerwald> (that goes for all ORMs)
2020-10-22 16:24:03 +0000erolm_a(~erolm_a@62.18.212.252) (Ping timeout: 256 seconds)
2020-10-22 16:24:28 +0000hackagecobot-io 0.1.3.8 - Biological data file formats and IO https://hackage.haskell.org/package/cobot-io-0.1.3.8 (ozzzzz)
2020-10-22 16:24:35 +0000erolm_a(~erolm_a@62.18.212.252)
2020-10-22 16:24:46 +0000invaser(~Thunderbi@31.148.23.125)
2020-10-22 16:26:29 +0000geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-22 16:28:12 +0000Ariakenom(~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: Leaving)
2020-10-22 16:28:57 +0000hackagengx-export-tools-extra 0.5.6.0 - More extra tools for Nginx haskell module https://hackage.haskell.org/package/ngx-export-tools-extra-0.5.6.0 (lyokha)
2020-10-22 16:29:30 +0000solonarv(~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr)
2020-10-22 16:31:11 +0000mceier(~mceier@89-68-132-187.dynamic.chello.pl)
2020-10-22 16:31:46 +0000mceier(~mceier@89-68-132-187.dynamic.chello.pl) (Client Quit)
2020-10-22 16:32:11 +0000Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2020-10-22 16:33:26 +0000mceier(~mceier@89-68-132-187.dynamic.chello.pl)
2020-10-22 16:37:15 +0000borne(~fritjof@200116b86425bd0087e6f2bfc1189587.dip.versatel-1u1.de)
2020-10-22 16:37:35 +0000ubert(~Thunderbi@ip5b407406.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-10-22 16:37:50 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 16:39:28 +0000bergsans(~bergsans@c80-217-8-29.bredband.comhem.se) (Remote host closed the connection)
2020-10-22 16:41:58 +0000cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-22 16:42:12 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 16:42:17 +0000walt(~ggVGc@141-136-155-251.dsl.iskon.hr)
2020-10-22 16:42:27 +0000walt(~ggVGc@141-136-155-251.dsl.iskon.hr) (Client Quit)
2020-10-22 16:42:50 +0000Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 16:44:28 +0000hackagedarcs 2.16.3 - a distributed, interactive, smart revision control system https://hackage.haskell.org/package/darcs-2.16.3 (bfrk)
2020-10-22 16:45:29 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 16:46:34 +0000Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 256 seconds)
2020-10-22 16:47:15 +0000acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-22 16:49:03 +0000isBEKaml(~~.~@unaffiliated/isbekaml) (Quit: Leaving)
2020-10-22 16:50:46 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2020-10-22 16:52:43 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-22 16:52:51 +0000cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-22 16:52:58 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-10-22 16:53:45 +0000Lycurgus(~niemand@98.4.96.235)
2020-10-22 16:54:34 +0000DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-22 16:56:59 +0000Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-22 16:57:43 +0000tomboy64(~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds)
2020-10-22 16:58:32 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-22 16:58:40 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 16:58:59 +0000tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2020-10-22 17:00:14 +0000awasey(~awasey@cpc105064-sgyl40-2-0-cust444.18-2.cable.virginm.net)
2020-10-22 17:02:15 +0000fendor__fendor
2020-10-22 17:02:34 +0000Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 17:03:12 +0000kuribas(~user@ptr-25vy0i7rxaeig7h3jwv.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2020-10-22 17:03:49 +0000awasey(~awasey@cpc105064-sgyl40-2-0-cust444.18-2.cable.virginm.net) (Client Quit)
2020-10-22 17:04:50 +0000Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 258 seconds)
2020-10-22 17:05:02 +0000irc_user(uid423822@gateway/web/irccloud.com/x-smhoufshstxnpiwh) (Quit: Connection closed for inactivity)
2020-10-22 17:05:53 +0000LKoen(~LKoen@81.255.219.130)
2020-10-22 17:06:36 +0000Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 17:09:17 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 17:09:33 +0000 <monsterchrom> "As a convenience, GHC allows you to omit the quote mark when the name is unambiguous."
2020-10-22 17:10:16 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 17:10:24 +0000 <Uniaika> monsterchrom: wait what
2020-10-22 17:10:27 +0000Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds)
2020-10-22 17:10:40 +0000 <monsterchrom> When you use DataKinds.
2020-10-22 17:12:00 +0000 <monsterchrom> And in the case of type-level list, "For type-level lists of two or more elements, such as the signature of foo2 above, the quote may be omitted because the meaning is unambiguous."
2020-10-22 17:12:18 +0000 <monsterchrom> Or, meta-ly, an exercise in reading the GHC user's guide.
2020-10-22 17:14:15 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds)
2020-10-22 17:16:49 +0000justachejustHaunted
2020-10-22 17:17:27 +0000invaser(~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-10-22 17:18:59 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 17:23:25 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-22 17:26:17 +0000GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-22 17:26:35 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 17:26:36 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 17:26:36 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 17:27:33 +0000mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Ping timeout: 272 seconds)
2020-10-22 17:30:21 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:ccf3:9e4f:a615:179a)
2020-10-22 17:31:59 +0000alp(~alp@2a01:e0a:58b:4920:5923:f989:36c2:80ef) (Ping timeout: 272 seconds)
2020-10-22 17:36:56 +0000taurux(~taurux@net-188-218-229-119.cust.vodafonedsl.it) (Ping timeout: 256 seconds)
2020-10-22 17:37:15 +0000stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 17:37:34 +0000stefan-__(~cri@42dots.de)
2020-10-22 17:38:34 +0000taurux(~taurux@net-130-25-101-151.cust.vodafonedsl.it)
2020-10-22 17:40:14 +0000Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 17:40:58 +0000Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 272 seconds)
2020-10-22 17:42:45 +0000knupfer(~Thunderbi@200116b824e6130098a94da731634c1e.dip.versatel-1u1.de) (Remote host closed the connection)
2020-10-22 17:42:53 +0000knupfer(~Thunderbi@200116b824e6130008091b7016d3a056.dip.versatel-1u1.de)
2020-10-22 17:43:07 +0000redeemed`(~rd@79.115.163.113) (Quit: q)
2020-10-22 17:43:09 +0000raichoo(~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-10-22 17:43:47 +0000MarcelineVQ(~anja@198.254.202.72) (Read error: Connection reset by peer)
2020-10-22 17:44:30 +0000MarcelineVQ(~anja@198.254.202.72)
2020-10-22 17:45:21 +0000conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 17:45:32 +0000geekosaur69(82659a09@host154-009.vpn.uakron.edu)
2020-10-22 17:46:42 +0000mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-22 17:48:24 +0000geekosaur(82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-22 17:49:00 +0000geekosaur69(82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-22 17:49:41 +0000geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-22 17:53:12 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 17:55:00 +0000Ariakenom(~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se)
2020-10-22 17:55:07 +0000invaser(~Thunderbi@31.148.23.125)
2020-10-22 17:56:10 +0000xlei(znc@unaffiliated/xlei) (Quit: ZNC - https://znc.in)
2020-10-22 17:57:25 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-22 17:57:28 +0000geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds)
2020-10-22 17:59:17 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-22 17:59:46 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 17:59:51 +0000asheshambasta(~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds)
2020-10-22 18:00:02 +0000beaups(~beaups@84.39.117.57) ()
2020-10-22 18:00:26 +0000xlei(znc@unaffiliated/xlei)
2020-10-22 18:01:54 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 18:02:29 +0000conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 18:02:39 +0000knightpp_(~knightpp@195.189.234.98)
2020-10-22 18:02:56 +0000knightpp_(~knightpp@195.189.234.98) (Client Quit)
2020-10-22 18:03:03 +0000conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 18:03:11 +0000Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 18:04:11 +0000thir(~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2020-10-22 18:05:03 +0000Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds)
2020-10-22 18:06:27 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-22 18:08:12 +0000ystael(~ystael@209.6.50.55) (Ping timeout: 272 seconds)
2020-10-22 18:09:15 +0000pjrt(~pjrt@pool-108-21-216-76.nycmny.fios.verizon.net)
2020-10-22 18:10:50 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 18:10:51 +0000thir(~thir@p4febc6a5.dip0.t-ipconnect.de)
2020-10-22 18:11:05 +0000alp(~alp@2a01:e0a:58b:4920:44cc:a22e:2b7b:c759)
2020-10-22 18:12:09 +0000Quarl(~Quarl@94.191.136.95.mobile.tre.se)
2020-10-22 18:12:09 +0000geekosaur(82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-22 18:14:40 +0000dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Remote host closed the connection)
2020-10-22 18:15:06 +0000dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2020-10-22 18:15:25 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-22 18:15:35 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 18:15:52 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 18:16:06 +0000raichoo(~raichoo@dslb-084-062-118-149.084.062.pools.vodafone-ip.de)
2020-10-22 18:16:21 +0000GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-22 18:16:40 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 18:16:40 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 18:16:40 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 18:18:23 +0000conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 18:25:35 +0000erolm_a(~erolm_a@62.18.212.252) (Ping timeout: 260 seconds)
2020-10-22 18:25:56 +0000erolm_a(~erolm_a@62.18.212.252)
2020-10-22 18:28:27 +0000jle`(~mstksg@cpe-23-240-75-236.socal.res.rr.com)
2020-10-22 18:28:27 +0000jle`(~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host)
2020-10-22 18:28:27 +0000jle`(~mstksg@unaffiliated/mstksg)
2020-10-22 18:32:18 +0000geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-22 18:33:03 +0000erolm_a(~erolm_a@62.18.212.252) (Ping timeout: 260 seconds)
2020-10-22 18:33:50 +0000erolm_a(~erolm_a@62.18.212.252)
2020-10-22 18:35:11 +0000chaosmasttter(~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de)
2020-10-22 18:39:55 +0000notnatebtw(~nate@110.138.18.157)
2020-10-22 18:41:26 +0000GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-22 18:41:43 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 18:41:43 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 18:41:43 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 18:45:52 +0000thc202(~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds)
2020-10-22 18:47:38 +0000conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 18:50:39 +0000Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 18:52:10 +0000Iwawa(~mdomin45@cpe-24-211-129-187.nc.res.rr.com)
2020-10-22 18:52:30 +0000irc_user(uid423822@gateway/web/irccloud.com/x-zwkowpuhxqfhjstz)
2020-10-22 18:52:53 +0000acidjnk_new3(~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de)
2020-10-22 18:52:53 +0000Pitaya(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds)
2020-10-22 18:55:01 +0000Plantain(~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 246 seconds)
2020-10-22 18:55:30 +0000Guest76304(~davidfisc@178.238.229.54)
2020-10-22 18:55:42 +0000Kaivo(~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) (Ping timeout: 272 seconds)
2020-10-22 18:56:42 +0000bartemius(~bartemius@109-252-20-20.nat.spd-mgts.ru) (Remote host closed the connection)
2020-10-22 18:58:01 +0000Kaivo(~Kaivo@104-200-86-99.mc.derytele.com)
2020-10-22 19:01:14 +0000jneira(501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250)
2020-10-22 19:02:14 +0000tomboy64(~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection)
2020-10-22 19:03:14 +0000tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2020-10-22 19:03:29 +0000berberman_(~berberman@unaffiliated/berberman)
2020-10-22 19:04:27 +0000berberman(~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2020-10-22 19:05:12 +0000Kaivo(~Kaivo@104-200-86-99.mc.derytele.com) (Ping timeout: 272 seconds)
2020-10-22 19:06:21 +0000alp(~alp@2a01:e0a:58b:4920:44cc:a22e:2b7b:c759) (Ping timeout: 272 seconds)
2020-10-22 19:07:11 +0000Franciman(~francesco@host-82-54-10-114.retail.telecomitalia.it) (Quit: Leaving)
2020-10-22 19:07:21 +0000Kaivo(~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com)
2020-10-22 19:08:43 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 19:08:57 +0000hackageversions 4.0.1 - Types and parsers for software version numbers. https://hackage.haskell.org/package/versions-4.0.1 (fosskers)
2020-10-22 19:09:13 +0000 <dminuoso> monsterchrom: I personally think keeping them as separate namespaces was a mistake.
2020-10-22 19:09:47 +0000 <dminuoso> What does it even mean "when the name is unambiguous"?
2020-10-22 19:10:08 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 19:10:44 +0000 <dminuoso> Given `data Foo = Foo`, is the reference to Foo ambiguous? `type F = Identity Foo`
2020-10-22 19:11:10 +0000ystael(~ystael@209.6.50.55)
2020-10-22 19:11:18 +0000hiroaki(~hiroaki@2a02:908:4b18:e20::e363)
2020-10-22 19:13:01 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 19:14:16 +0000acidjnk_new2(~acidjnk@p200300d0c72378771d1e3adff3a8980c.dip0.t-ipconnect.de)
2020-10-22 19:14:25 +0000 <dminuoso> There's of course possible answers that include "Of course it's not, Foo couldn't possibly be the data constructor". But isn't it GHCs job to report when the user might have misspecified a program that can, with some consideration, still type check?
2020-10-22 19:15:13 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds)
2020-10-22 19:15:15 +0000 <hyperisco> somehow when I call stack build now it just hangs
2020-10-22 19:15:28 +0000Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-22 19:16:22 +0000conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 19:17:57 +0000acidjnk_new3(~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 19:18:15 +0000conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 19:19:09 +0000jespada(~jespada@90.254.243.98) (Ping timeout: 265 seconds)
2020-10-22 19:19:18 +0000 <dminuoso> hyperisco: Too much use of UndecideableInstances or TyFams? :>
2020-10-22 19:19:23 +0000Quarl(~Quarl@94.191.136.95.mobile.tre.se) (Read error: Connection reset by peer)
2020-10-22 19:19:32 +0000conal(~conal@ip-66-115-176-174.creativelink.net) (Client Quit)
2020-10-22 19:19:41 +0000 <hyperisco> I didn't change any code =\ well this is just my luck lately
2020-10-22 19:21:14 +0000jespada(~jespada@90.254.243.98)
2020-10-22 19:21:39 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Read error: Connection reset by peer)
2020-10-22 19:22:00 +0000knupfer(~Thunderbi@200116b824e6130008091b7016d3a056.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2020-10-22 19:22:15 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-22 19:23:22 +0000thir(~thir@p4febc6a5.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-22 19:25:13 +0000fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2020-10-22 19:28:00 +0000kav(~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) (Ping timeout: 272 seconds)
2020-10-22 19:28:03 +0000thir(~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de)
2020-10-22 19:30:29 +0000aarvar(~foewfoiew@50.35.43.33)
2020-10-22 19:30:49 +0000conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 19:30:59 +0000aarvar(~foewfoiew@50.35.43.33) ()
2020-10-22 19:31:16 +0000reppertj(~textual@pool-96-246-209-59.nycmny.fios.verizon.net)
2020-10-22 19:31:34 +0000GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-22 19:31:54 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 19:31:54 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 19:31:54 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 19:32:20 +0000alp(~alp@2a01:e0a:58b:4920:d80c:9dfe:7aa1:7540)
2020-10-22 19:34:13 +0000thir(~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-22 19:38:34 +0000 <fresheyeball> is there any way to make jsaddle-warp debugging more reliable?
2020-10-22 19:39:10 +0000mbomba(~mbomba@142.114.9.241)
2020-10-22 19:39:13 +0000shafox(~shafox@106.51.234.111) (Remote host closed the connection)
2020-10-22 19:39:49 +0000 <fresheyeball> hamishmack: it looks like I am going to be building more and more stuff on your work
2020-10-22 19:40:03 +0000 <fresheyeball> would you be willing to do a call with me and talk about some stuff with jsaddle?
2020-10-22 19:41:08 +0000ericsagnes(~ericsagne@2405:6580:0:5100:7866:3a49:bf86:234b) (Ping timeout: 246 seconds)
2020-10-22 19:42:28 +0000coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-22 19:43:32 +0000Alexthek1d(~JJJ@p5b3ae7e8.dip0.t-ipconnect.de) (Quit: Leaving)
2020-10-22 19:47:00 +0000Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-10-22 19:47:03 +0000kav(~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi)
2020-10-22 19:47:06 +0000Tario(~Tario@201.192.165.173)
2020-10-22 19:47:16 +0000knupfer(~Thunderbi@mue-88-130-61-228.dsl.tropolys.de)
2020-10-22 19:48:11 +0000erolm_a(~erolm_a@62.18.212.252) (Ping timeout: 260 seconds)
2020-10-22 19:48:31 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-22 19:49:54 +0000oisdk_(~oisdk@2001:bb6:3329:d100:110c:4b45:443f:14f0) (Quit: oisdk_)
2020-10-22 19:50:32 +0000dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-10-22 19:51:23 +0000erolm_a(~erolm_a@62.18.212.252)
2020-10-22 19:51:53 +0000 <merijn> dminuoso: Easy, "Just" in a type is unambigously datakinds, unless you first define a new "Just" type
2020-10-22 19:52:32 +0000 <merijn> % :i Identity
2020-10-22 19:52:32 +0000 <yahb> merijn: type Identity :: * -> *; newtype Identity a = Identity {runIdentity :: a}; -- Defined in `Data.Functor.Identity'; instance Applicative Identity -- Defined in `Data.Functor.Identity'; instance Eq a => Eq (Identity a) -- Defined in `Data.Functor.Identity'; instance Functor Identity -- Defined in `Data.Functor.Identity'; instance Monad Identity -- Defined in `Data.Functor.Identity'; instance Monoid a =>
2020-10-22 19:52:48 +0000 <merijn> dminuoso: That one is also unambiguous, since the kind is * :p
2020-10-22 19:53:02 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 19:53:09 +0000raichoo(~raichoo@dslb-084-062-118-149.084.062.pools.vodafone-ip.de) (Quit: Lost terminal)
2020-10-22 19:53:20 +0000 <dminuoso> merijn: Since they occupy the same namespace, I'm not willing to accept that
2020-10-22 19:53:34 +0000ericsagnes(~ericsagne@2405:6580:0:5100:e405:3b15:8133:b765)
2020-10-22 19:54:09 +0000 <dminuoso> But really, my arguments boil down to "they shouldn't occupy the same namespace in the first place"
2020-10-22 19:57:03 +0000notnatebtw(~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-22 19:57:28 +0000notnatebtw(~nate@110.138.18.157)
2020-10-22 19:57:32 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 19:57:59 +0000stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 19:58:10 +0000stefan-__(~cri@42dots.de)
2020-10-22 19:59:41 +0000DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-10-22 20:00:00 +0000conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 20:00:29 +0000conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 20:00:54 +0000conal(~conal@ip-66-115-176-174.creativelink.net) (Client Quit)
2020-10-22 20:02:09 +0000stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 20:02:23 +0000stefan-__(~cri@42dots.de)
2020-10-22 20:03:20 +0000rprije(~rprije@110-175-117-18.tpgi.com.au)
2020-10-22 20:05:53 +0000zariuq(~zar@fw1.ciirc.cvut.cz) (Remote host closed the connection)
2020-10-22 20:06:05 +0000zariuq(~zar@fw1.ciirc.cvut.cz)
2020-10-22 20:06:46 +0000thir(~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de)
2020-10-22 20:08:31 +0000justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Remote host closed the connection)
2020-10-22 20:08:40 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2020-10-22 20:08:56 +0000justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-10-22 20:09:35 +0000forgottenone(~forgotten@176.88.100.210) (Read error: Connection reset by peer)
2020-10-22 20:10:05 +0000conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 20:10:37 +0000djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-22 20:11:01 +0000p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 264 seconds)
2020-10-22 20:12:00 +0000zephyz(~zephyz@2a02:c7f:b0ff:7000:817:8e89:a6:b588)
2020-10-22 20:13:17 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 20:14:19 +0000justan0theruser(~justanoth@unaffiliated/justanotheruser)
2020-10-22 20:14:32 +0000thir(~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 20:14:32 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-22 20:15:31 +0000p8m(p8m@gateway/vpn/protonvpn/p8m)
2020-10-22 20:16:39 +0000ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-10-22 20:18:03 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-22 20:18:25 +0000borne(~fritjof@200116b86425bd0087e6f2bfc1189587.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-10-22 20:18:55 +0000stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 20:19:10 +0000stefan-__(~cri@42dots.de)
2020-10-22 20:19:13 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds)
2020-10-22 20:19:39 +0000conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 20:21:21 +0000conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 20:21:35 +0000conal(~conal@ip-66-115-176-174.creativelink.net) (Client Quit)
2020-10-22 20:22:12 +0000conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 20:22:23 +0000conal(~conal@ip-66-115-176-174.creativelink.net) (Client Quit)
2020-10-22 20:23:42 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 20:25:54 +0000stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 20:26:10 +0000stefan-__(~cri@42dots.de)
2020-10-22 20:28:04 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 20:28:05 +0000erolm_a(~erolm_a@62.18.212.252) (Ping timeout: 240 seconds)
2020-10-22 20:29:08 +0000erolm_a(~erolm_a@62.18.212.252)
2020-10-22 20:31:03 +0000Majiir(~Majiir@2601:18c:ca00:a400:211:32ff:fe42:6eda) (Quit: CUT THE HARDLINES!!)
2020-10-22 20:31:16 +0000 <monsterchrom> dminuoso: I think that automatic promotion-pun is wrong in the first place. Note that the need for the singletons library implies that automatic promotion-pun doesn't even buy any superficial convenience, lack alone fundamental benenfits.
2020-10-22 20:31:17 +0000coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-22 20:32:50 +0000 <monsterchrom> Instead, "data X = A | B" should only give "X :: Type, A, B :: X", and for the promotion, one must write separately "kind X2 = A2 | B2".
2020-10-22 20:33:22 +0000 <monsterchrom> Either that, or automatic promotion-pun should automatically induce what singletons now does.
2020-10-22 20:33:43 +0000elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-10-22 20:33:52 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 20:34:22 +0000invaser(~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-10-22 20:37:18 +0000knupfer(~Thunderbi@mue-88-130-61-228.dsl.tropolys.de) (Ping timeout: 260 seconds)
2020-10-22 20:37:27 +0000hackagekeep-alive 0.1.0.0 - TCP keep alive implementation https://hackage.haskell.org/package/keep-alive-0.1.0.0 (3kyro)
2020-10-22 20:38:15 +0000geekosaur(82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-22 20:38:16 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 20:40:38 +0000hiroaki(~hiroaki@2a02:908:4b18:e20::e363) (Ping timeout: 246 seconds)
2020-10-22 20:42:23 +0000xff0x(~fox@2001:1a81:52d2:ca00:89ce:9368:e8a5:941e) (Ping timeout: 246 seconds)
2020-10-22 20:43:02 +0000conal(~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 20:43:08 +0000MindlessDrone(~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds)
2020-10-22 20:43:23 +0000xff0x(~fox@2001:1a81:52d2:ca00:522a:154a:cc26:5e43)
2020-10-22 20:45:45 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-22 20:48:19 +0000crestfallen(~John@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-22 20:48:50 +0000howdoi(uid224@gateway/web/irccloud.com/x-pqhdvcgecdtzmnpf)
2020-10-22 20:51:05 +0000thir(~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de)
2020-10-22 20:51:48 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-22 20:51:59 +0000MindlessDrone(~MindlessD@unaffiliated/mindlessdrone)
2020-10-22 20:54:29 +0000britva(~britva@2a02:aa13:7240:2980:b1bf:9c31:7687:bea1)
2020-10-22 20:54:38 +0000mbomba(~mbomba@142.114.9.241) (Quit: WeeChat 2.9)
2020-10-22 20:54:50 +0000cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-22 20:55:55 +0000thir(~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-22 20:55:58 +0000hackagekeep-alive 0.1.1.0 - TCP keep alive implementation https://hackage.haskell.org/package/keep-alive-0.1.1.0 (3kyro)
2020-10-22 20:57:11 +0000ericsagnes(~ericsagne@2405:6580:0:5100:e405:3b15:8133:b765) (Ping timeout: 272 seconds)
2020-10-22 20:59:05 +0000chaosmasttter(~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-22 21:00:01 +0000Guest76304(~davidfisc@178.238.229.54) ()
2020-10-22 21:01:25 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 21:01:37 +0000ComposerMike(~Mike@047-037-150-174.res.spectrum.com)
2020-10-22 21:03:39 +0000hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 258 seconds)
2020-10-22 21:05:02 +0000irc_user(uid423822@gateway/web/irccloud.com/x-zwkowpuhxqfhjstz) (Quit: Connection closed for inactivity)
2020-10-22 21:05:09 +0000avoandmayo(~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-22 21:05:55 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-10-22 21:06:10 +0000 <ComposerMike> I started getting AesonExcpetions when Stack tries to download the resolver build plan .. this seems to have happened right after I tried to use ghcup to install a default system ghc.. any ideas?
2020-10-22 21:06:17 +0000stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 21:06:26 +0000stefan-__(~cri@42dots.de)
2020-10-22 21:06:34 +0000crestfallen(~John@135-180-15-188.fiber.dynamic.sonic.net) (Remote host closed the connection)
2020-10-22 21:07:31 +0000crestfallen(~John@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-22 21:07:36 +0000 <ComposerMike> for instance, “Error in $.pcakages.cassave.contraints.flags[‘bytestring-lt_0_1_4’]: invalid file name”
2020-10-22 21:08:01 +0000mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 246 seconds)
2020-10-22 21:08:23 +0000Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer)
2020-10-22 21:08:52 +0000conal(~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 21:09:15 +0000Lord_of_Life(~Lord@46.217.219.190)
2020-10-22 21:09:16 +0000Lord_of_Life(~Lord@46.217.219.190) (Changing host)
2020-10-22 21:09:16 +0000Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-10-22 21:09:22 +0000ericsagnes(~ericsagne@2405:6580:0:5100:15c:9b88:93:51eb)
2020-10-22 21:10:58 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 21:11:14 +0000hololeap(~hololeap@unaffiliated/hololeap) (Ping timeout: 272 seconds)
2020-10-22 21:11:14 +0000hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-22 21:11:45 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 21:12:34 +0000crestfallen(~John@135-180-15-188.fiber.dynamic.sonic.net) (Remote host closed the connection)
2020-10-22 21:12:37 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 21:12:49 +0000conal(~conal@64.71.133.70)
2020-10-22 21:12:55 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 21:13:03 +0000ComposerMike(~Mike@047-037-150-174.res.spectrum.com) (Quit: ComposerMike)
2020-10-22 21:13:26 +0000 <merijn> Which stack version?
2020-10-22 21:13:38 +0000crestfallen(~John@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-22 21:14:23 +0000hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-22 21:15:47 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 21:24:13 +0000conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-22 21:24:50 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 21:25:52 +0000erolm_a(~erolm_a@62.18.212.252) (Ping timeout: 246 seconds)
2020-10-22 21:25:59 +0000son0p(~son0p@181.136.122.143)
2020-10-22 21:26:20 +0000erolm_a(~erolm_a@62.18.212.252)
2020-10-22 21:27:29 +0000karanlikmadde(~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9) (Quit: karanlikmadde)
2020-10-22 21:27:56 +0000hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-10-22 21:30:11 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-22 21:30:44 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-22 21:31:14 +0000conal(~conal@64.71.133.70)
2020-10-22 21:32:32 +0000karanlikmadde(~karanlikm@2a01:c23:644a:cd00:7c72:1147:1d73:30c9)
2020-10-22 21:33:43 +0000ech(~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-22 21:34:01 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-22 21:34:07 +0000britva(~britva@2a02:aa13:7240:2980:b1bf:9c31:7687:bea1) (Quit: This computer has gone to sleep)
2020-10-22 21:35:46 +0000Ariakenom(~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: Leaving)
2020-10-22 21:36:09 +0000hiroaki(~hiroaki@2a02:908:4b18:e20::e363)
2020-10-22 21:36:46 +0000GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-22 21:36:56 +0000GyroW(~GyroW@d54c03e98.access.telenet.be)
2020-10-22 21:36:56 +0000GyroW(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-22 21:36:56 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-22 21:37:00 +0000hiroaki(~hiroaki@2a02:908:4b18:e20::e363) (Remote host closed the connection)
2020-10-22 21:37:09 +0000polyrain(~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a)
2020-10-22 21:37:28 +0000mbomba(~mbomba@142.114.9.241)
2020-10-22 21:38:00 +0000hiroaki(~hiroaki@2a02:908:4b18:e20::e363)
2020-10-22 21:40:46 +0000Tops2(~Tobias@dyndsl-095-033-023-169.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-10-22 21:42:34 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 21:43:04 +0000crestfallen(~John@135-180-15-188.fiber.dynamic.sonic.net) (Remote host closed the connection)
2020-10-22 21:45:58 +0000crestfallen_(~John@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-22 21:46:25 +0000LKoen(~LKoen@81.255.219.130) (Remote host closed the connection)
2020-10-22 21:46:57 +0000conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-22 21:47:11 +0000ech(~user@gateway/tor-sasl/ech)
2020-10-22 21:47:59 +0000pjrt(~pjrt@pool-108-21-216-76.nycmny.fios.verizon.net) (Quit: WeeChat 2.9)
2020-10-22 21:48:11 +0000sqrt2_(~ben@unaffiliated/sqrt2) (Ping timeout: 246 seconds)
2020-10-22 21:48:14 +0000conal(~conal@64.71.133.70)
2020-10-22 21:48:59 +0000dansho(~dansho@ip68-108-167-185.lv.lv.cox.net)
2020-10-22 21:49:20 +0000irc_user(uid423822@gateway/web/irccloud.com/x-ytqlliqaiojyqsrz)
2020-10-22 21:50:02 +0000 <dansho> does anyone know how to do a 1d convolution on multiple channel data with massiv?
2020-10-22 21:50:11 +0000sqrt2(~ben@unaffiliated/sqrt2)
2020-10-22 21:50:21 +0000 <dansho> i have a 6x3 input (6 samples, 3 channels)
2020-10-22 21:51:01 +0000worc3131(~quassel@2a02:c7f:c026:9500:a0d2:b9d1:42a4:69b4) (Ping timeout: 272 seconds)
2020-10-22 21:51:01 +0000 <dansho> and stencil 3x3 (width 3, channels 3)
2020-10-22 21:51:56 +0000 <dansho> mapStencil seems to be doing a 2d convolution though so it produces a 6x3 output instead of 6x1
2020-10-22 21:52:57 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-10-22 21:53:04 +0000polyrain(~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 21:53:09 +0000babygnu(~robert@gateway/tor-sasl/babygnu) (Remote host closed the connection)
2020-10-22 21:53:27 +0000a3Dman(~3Dman@unaffiliated/a3dman) (Ping timeout: 260 seconds)
2020-10-22 21:53:28 +0000babygnu(~robert@gateway/tor-sasl/babygnu)
2020-10-22 21:54:18 +0000cohn(~noone@unaffiliated/cohn) (Ping timeout: 265 seconds)
2020-10-22 21:54:34 +0000cohn(~noone@unaffiliated/cohn)
2020-10-22 21:55:07 +0000rotaerk(~rotaerk@ender.afternet.org) (Ping timeout: 260 seconds)
2020-10-22 21:55:30 +0000a3Dman(~3Dman@unaffiliated/a3dman)
2020-10-22 21:56:11 +0000mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-22 21:57:06 +0000rprije(~rprije@110-175-117-18.tpgi.com.au) (Ping timeout: 256 seconds)
2020-10-22 21:57:22 +0000rprije(~rprije@194-193-168-77.tpgi.com.au)
2020-10-22 21:57:41 +0000AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Read error: Connection reset by peer)
2020-10-22 21:58:30 +0000notnatebtw(~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-22 21:58:58 +0000notnatebtw(~nate@110.138.18.157)
2020-10-22 22:02:04 +0000GyroW_(~GyroW@d54C03E98.access.telenet.be)
2020-10-22 22:02:04 +0000GyroW_(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-22 22:02:04 +0000GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-22 22:02:23 +0000jb55(~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds)
2020-10-22 22:02:55 +0000technician1138(~wircer@62.144.c10008-a77.dsl-dynamic.vsi.ru)
2020-10-22 22:03:03 +0000GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-22 22:03:14 +0000technician1138(~wircer@62.144.c10008-a77.dsl-dynamic.vsi.ru) ("wIRC")
2020-10-22 22:03:19 +0000jsynacek(~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 246 seconds)
2020-10-22 22:03:51 +0000oats(~hurr@durr/im/a/sheep) (Quit: until later, my friends)
2020-10-22 22:03:56 +0000Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-22 22:04:19 +0000hiroaki(~hiroaki@2a02:908:4b18:e20::e363) (Ping timeout: 272 seconds)
2020-10-22 22:04:28 +0000oats(~hurr@durr/im/a/sheep)
2020-10-22 22:04:40 +0000chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-22 22:05:03 +0000N3RGY(~N3RGY@65.141.87.122)
2020-10-22 22:05:57 +0000falafel(~falafel@71-34-132-121.clsp.qwest.net)
2020-10-22 22:06:21 +0000Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-10-22 22:07:09 +0000 <N3RGY> Hey all. Having a weird issue. I have a device with a quectel EG25 4G modem. The first two times I booted up, ugen recognized the device and then u3g recognized the device and made /dev/cuaUxxx devices. I can still see this in /var/log/messages. No problem. But subsequent times I turned on the device, ugen sees the modem, but u3g doesn't do anything. Any idea what could be going wrong?
2020-10-22 22:08:11 +0000Merfont(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 260 seconds)
2020-10-22 22:08:51 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 22:08:59 +0000coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-22 22:09:06 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-22 22:10:11 +0000notnatebtw(~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-22 22:11:25 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-22 22:11:33 +0000 <N3RGY> Oops sorry wrong channel!
2020-10-22 22:12:41 +0000conal_(~conal@66.115.157.144)
2020-10-22 22:13:13 +0000conal_(~conal@66.115.157.144) (Client Quit)
2020-10-22 22:13:25 +0000jb55(~jb55@gateway/tor-sasl/jb55)
2020-10-22 22:13:33 +0000conal(~conal@64.71.133.70) (Ping timeout: 260 seconds)
2020-10-22 22:14:13 +0000texasmynsted(~texasmyns@104.140.52.115)
2020-10-22 22:15:49 +0000rprije(~rprije@194-193-168-77.tpgi.com.au) (Ping timeout: 264 seconds)
2020-10-22 22:15:50 +0000texasmynsted(~texasmyns@104.140.52.115) (Read error: Connection reset by peer)
2020-10-22 22:15:53 +0000Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 260 seconds)
2020-10-22 22:16:14 +0000conal(~conal@66.115.157.144)
2020-10-22 22:20:52 +0000justsomeguy(~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-22 22:22:55 +0000xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds)
2020-10-22 22:23:32 +0000danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 246 seconds)
2020-10-22 22:23:36 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-22 22:24:08 +0000valli1(~valli@139.28.218.148)
2020-10-22 22:24:46 +0000babygnu(~robert@gateway/tor-sasl/babygnu) (Remote host closed the connection)
2020-10-22 22:28:43 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2020-10-22 22:30:04 +0000conal(~conal@66.115.157.144) (Quit: Computer has gone to sleep.)
2020-10-22 22:30:17 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 22:30:38 +0000conal(~conal@66.115.157.144)
2020-10-22 22:31:11 +0000conal(~conal@66.115.157.144) (Client Quit)
2020-10-22 22:32:39 +0000fraktor(~walt@129.93.191.18)
2020-10-22 22:33:14 +0000 <fraktor> So I'm trying to learn Parsec, and I wrote this method to parse a Float. It seems like a pretty bad way to do it though, and I'm wondering if someone could help me understand a better way to do this. https://hastebin.com/qatizuxebe.hs
2020-10-22 22:33:20 +0000conal(~conal@66.115.157.144)
2020-10-22 22:33:33 +0000conal(~conal@66.115.157.144) (Client Quit)
2020-10-22 22:35:39 +0000pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 258 seconds)
2020-10-22 22:37:45 +0000pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-10-22 22:39:02 +0000 <ph88> thank you for the clarification lortabac
2020-10-22 22:39:14 +0000Guest18(bc1a97dc@gateway/web/cgi-irc/kiwiirc.com/ip.188.26.151.220)
2020-10-22 22:39:21 +0000N3RGY_(~N3RGY@65.141.87.122)
2020-10-22 22:39:41 +0000conal(~conal@66.115.157.144)
2020-10-22 22:39:46 +0000 <Guest18> hello peeps, anyone know a good online haskell repl i could use while my linux comp is unavailable?
2020-10-22 22:40:08 +0000 <Guest18> the one on repl.it is really annoying me with it's bugs
2020-10-22 22:40:57 +0000acidjnk_new2(~acidjnk@p200300d0c72378771d1e3adff3a8980c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 22:41:39 +0000 <maerwald> It's not a particularly strong business model :)
2020-10-22 22:41:44 +0000falafel(~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection)
2020-10-22 22:42:08 +0000falafel(~falafel@71-34-132-121.clsp.qwest.net)
2020-10-22 22:43:07 +0000N3RGY(~N3RGY@65.141.87.122) (Ping timeout: 265 seconds)
2020-10-22 22:43:25 +0000N3RGY(~N3RGY@65.141.87.122)
2020-10-22 22:43:27 +0000 <lambdabot> Maybe I should set up a Patreon ;-)
2020-10-22 22:44:19 +0000 <Guest18> did the lambdabot just gain sentience?
2020-10-22 22:44:34 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2020-10-22 22:44:49 +0000 <Guest18> i'm sorry of the things i told you in confidence, lambdabot
2020-10-22 22:44:54 +0000 <int-e> It's a different niche... but it is kind of offering free computing resources to the masses.
2020-10-22 22:44:55 +0000hekkaidekapus_hekkaidekapus
2020-10-22 22:45:24 +0000 <int-e> Guest18: Don't worry, there are no logs or people reading them.
2020-10-22 22:46:03 +0000 <Guest18> so i take it there are no good repls out there?
2020-10-22 22:46:07 +0000 <int-e> But it does have a feature for sending messages to the channel, which I just (ab?)used.
2020-10-22 22:47:01 +0000N3RGY_(~N3RGY@65.141.87.122) (Ping timeout: 264 seconds)
2020-10-22 22:47:13 +0000poljar1(~poljar@93-143-177-96.adsl.net.t-com.hr)
2020-10-22 22:47:54 +0000 <hekkaidekapus> fraktor: It is probably not a good idea to roll your own float parser. Background:
2020-10-22 22:48:03 +0000 <int-e> Guest18: I'm vaguely aware that such sites exist. Does tio.run do Haskell?
2020-10-22 22:48:08 +0000Tario(~Tario@201.192.165.173) (Ping timeout: 272 seconds)
2020-10-22 22:48:10 +0000 <hekkaidekapus> @where floating-point -- fraktor
2020-10-22 22:48:10 +0000 <lambdabot> "What Every Programmer Should Know About Floating-Point Arithmetic" at <http://floating-point-gui.de/> and "What Every Computer Scientist Should Know About Floating-Point Arithmetic" by David
2020-10-22 22:48:10 +0000 <lambdabot> Goldberg in 1991 at <http://docs.sun.com/source/806-3568/ncg_goldberg.html> and <http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.244>
2020-10-22 22:48:42 +0000 <hekkaidekapus> fraktor: But you could try <https://hackage.haskell.org/package/megaparsec-9.0.0/docs/Text-Megaparsec-Char-Lexer.html#v:float>
2020-10-22 22:49:24 +0000poljar(~poljar@93-139-70-179.adsl.net.t-com.hr) (Ping timeout: 265 seconds)
2020-10-22 22:49:28 +0000Tario(~Tario@201.192.165.173)
2020-10-22 22:50:18 +0000 <Guest18> int-e: it does
2020-10-22 22:50:30 +0000 <Guest18> I hope it handles IO better than repl.it
2020-10-22 22:50:32 +0000 <Guest18> thank you
2020-10-22 22:51:26 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-22 22:51:53 +0000 <fraktor> hekkaidekapus: So what I'm doing is using Parsec to determine which characters are part of the float and then `read`, so it's still pretty straightforward.
2020-10-22 22:52:18 +0000olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-22 22:52:40 +0000 <Guest18> Another question: if i have two ints, and wanted to divide them (not div, but /) why won't haskell let me?
2020-10-22 22:52:51 +0000 <Guest18> If you need more context
2020-10-22 22:53:28 +0000 <Guest18> I have a function that counts how many letters are different in two given strings. For example "hello" and "hellq" would be 1
2020-10-22 22:53:57 +0000 <Guest18> And I use genericLength to get the length of those strings
2020-10-22 22:54:10 +0000 <Guest18> But for some reason it won't let me divide them
2020-10-22 22:54:24 +0000 <int-e> :t genericLength
2020-10-22 22:54:25 +0000 <lambdabot> Num i => [a] -> i
2020-10-22 22:54:35 +0000denisse(~spaceCat@gateway/tor-sasl/alephzer0)
2020-10-22 22:55:05 +0000amagi_(~amagi@113.101.23.223) (Ping timeout: 240 seconds)
2020-10-22 22:55:20 +0000jedws(~jedws@101.184.148.229)
2020-10-22 22:56:04 +0000 <Guest18> Ok, so the typeclass is Num, and so if i make the first function also return a num, it should work?
2020-10-22 22:56:16 +0000 <bliminse> Guest18: to divide 2 ints with / call fromIntegral on each of them
2020-10-22 22:56:32 +0000 <hekkaidekapus> fraktor: I don’t understand well what you’re trying to do. Do you want to extract sub-strings that could be converted to floats?
2020-10-22 22:56:42 +0000texasmynsted(~texasmyns@104.140.52.115)
2020-10-22 22:57:00 +0000 <int-e> Something doesn't add up. Anyway, the usual conversion functions are: fromIntegral, realToFrac, and floor/round/ceiling to get back to integers.
2020-10-22 22:57:18 +0000amagi(~amagi@113.101.23.223)
2020-10-22 22:57:21 +0000texasmyn_(~texasmyns@104.140.52.115)
2020-10-22 22:57:33 +0000 <Guest18> Actually, it worked just by putting the Num constraint on the first functrion
2020-10-22 22:58:40 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-22 22:58:42 +0000texasmyn_(~texasmyns@104.140.52.115) (Client Quit)
2020-10-22 22:58:45 +0000rotaerk(rotaerk@2600:3c02::f03c:91ff:fe70:4a45)
2020-10-22 22:58:55 +0000 <Guest18> https://pastebin.pl/view/7e4a65f8
2020-10-22 22:58:58 +0000 <Guest18> For reference
2020-10-22 22:59:02 +0000texasmyn_(~texasmyns@104.140.52.115)
2020-10-22 22:59:45 +0000 <Guest18> It should calculate the percentage to which the second string is like the first
2020-10-22 23:00:00 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 23:00:04 +0000 <Guest18> It takes a key string, and several other strings
2020-10-22 23:00:07 +0000texasmynsted(~texasmyns@104.140.52.115) (Read error: Connection reset by peer)
2020-10-22 23:00:26 +0000 <Guest18> For every one, if the percentage is bigger than 0.9, it prints pass otherwise fail
2020-10-22 23:00:49 +0000mbomba(~mbomba@142.114.9.241) (Quit: WeeChat 2.9)
2020-10-22 23:00:59 +0000conal(~conal@66.115.157.144) (Quit: Computer has gone to sleep.)
2020-10-22 23:01:16 +0000 <Guest18> Wait, that's not the right code
2020-10-22 23:01:38 +0000 <Guest18> https://pastebin.pl/view/49dd7475
2020-10-22 23:01:45 +0000 <Guest18> This is the working version
2020-10-22 23:01:53 +0000texasmyn_(~texasmyns@104.140.52.115) (Client Quit)
2020-10-22 23:02:24 +0000 <Guest18> The key and the other strings are guaranteed to be of the same length
2020-10-22 23:02:56 +0000conal(~conal@66.115.157.144)
2020-10-22 23:03:13 +0000 <Guest18> I know I could have done better, maybe do the nums function with a fold or something, but i had a few minutes to do this
2020-10-22 23:03:20 +0000seanvert(~user@177.84.244.242) (Ping timeout: 256 seconds)
2020-10-22 23:03:24 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2020-10-22 23:04:30 +0000 <Guest18> Suggestions?
2020-10-22 23:05:06 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-22 23:05:07 +0000vk3wtf(~doc@14-202-30-62.static.tpgi.com.au) (Quit: WeeChat 2.7.1)
2020-10-22 23:05:37 +0000vk3wtf(~doc@14-202-30-62.static.tpgi.com.au)
2020-10-22 23:10:53 +0000jiribenes(~jiribenes@rosa.jiribenes.com) (Remote host closed the connection)
2020-10-22 23:11:11 +0000geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-22 23:12:25 +0000 <Guest18> num key sub = foldr (\(x,y) b -> if x == y then b+1 else b) 0 $ zip key sub -- i reckon this is better
2020-10-22 23:12:51 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-22 23:13:02 +0000xff0x(~fox@2001:1a81:52d2:ca00:522a:154a:cc26:5e43) (Ping timeout: 260 seconds)
2020-10-22 23:13:14 +0000dansho(~dansho@ip68-108-167-185.lv.lv.cox.net) (Remote host closed the connection)
2020-10-22 23:13:37 +0000xff0x(~fox@2001:1a81:52d2:ca00:c409:1d88:453d:35d6)
2020-10-22 23:13:39 +0000dansho(~dansho@ip68-108-167-185.lv.lv.cox.net)
2020-10-22 23:15:16 +0000elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2020-10-22 23:15:46 +0000dqd(id@wikipedia/dqd) (Ping timeout: 246 seconds)
2020-10-22 23:15:49 +0000StoneToad(~StoneToad@199-167-119-164.ppp.storm.ca) (Ping timeout: 264 seconds)
2020-10-22 23:16:15 +0000StoneToad_(~StoneToad@199-167-119-164.ppp.storm.ca)
2020-10-22 23:16:18 +0000 <Guest18> Really, any suggestions whatsoever are welcome
2020-10-22 23:17:01 +0000 <hekkaidekapus> fraktor: I’m going away. In the meantime, here is something to chew on. Your bespoke parser would recognise "+45.6". Now try Text.Megaparsec.Char.Lexer.float with that to see what you get. Also:
2020-10-22 23:17:18 +0000 <hekkaidekapus> > isIEE 45.6 -- fraktor
2020-10-22 23:17:20 +0000 <lambdabot> error:
2020-10-22 23:17:20 +0000 <lambdabot> • Variable not in scope: isIEE :: t0 -> t
2020-10-22 23:17:20 +0000 <lambdabot> • Perhaps you meant ‘isIEEE’ (imported from Prelude)
2020-10-22 23:17:35 +0000 <hekkaidekapus> > isIEEE 45.6 -- fraktor
2020-10-22 23:17:37 +0000 <lambdabot> True
2020-10-22 23:17:43 +0000 <hekkaidekapus> > isIEEE +45.6 -- fraktor
2020-10-22 23:17:45 +0000 <lambdabot> error:
2020-10-22 23:17:45 +0000 <lambdabot> • No instance for (Fractional (Double -> Bool))
2020-10-22 23:17:45 +0000 <lambdabot> arising from a use of ‘e_1456’
2020-10-22 23:19:43 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 23:20:15 +0000 <int-e> :t isIEEE
2020-10-22 23:20:17 +0000 <lambdabot> RealFloat a => a -> Bool
2020-10-22 23:22:43 +0000conal(~conal@66.115.157.144) (Quit: Computer has gone to sleep.)
2020-10-22 23:24:00 +0000dqd(id@wikipedia/dqd)
2020-10-22 23:24:35 +0000conal(~conal@66.115.157.144)
2020-10-22 23:25:30 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-10-22 23:26:47 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:ccf3:9e4f:a615:179a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 23:28:37 +0000invaser(~Thunderbi@31.148.23.125)
2020-10-22 23:29:28 +0000conal(~conal@66.115.157.144) (Client Quit)
2020-10-22 23:30:14 +0000christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-22 23:31:38 +0000texasmynsted(~texasmyns@104.140.52.115)
2020-10-22 23:32:22 +0000fraktor(~walt@129.93.191.18) (Quit: WeeChat 2.8)
2020-10-22 23:33:56 +0000falafel(~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 256 seconds)
2020-10-22 23:34:02 +0000ensyde(~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 260 seconds)
2020-10-22 23:35:39 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 23:36:56 +0000son0p(~son0p@181.136.122.143) (Quit: leaving)
2020-10-22 23:37:33 +0000invaser(~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-10-22 23:40:05 +0000acertain_(uid470584@gateway/web/irccloud.com/x-nuijhjibtvepkxua)
2020-10-22 23:40:05 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-22 23:42:05 +0000erolm_a(~erolm_a@62.18.212.252) (Ping timeout: 256 seconds)
2020-10-22 23:42:23 +0000erolm_a(~erolm_a@62.18.212.252)
2020-10-22 23:43:29 +0000acertain(~acertain@unaffiliated/fread2281) (Disconnected by services)
2020-10-22 23:43:30 +0000acertain_acertain
2020-10-22 23:43:43 +0000acertain-(~acertain@unaffiliated/fread2281)
2020-10-22 23:46:45 +0000acertain-(~acertain@unaffiliated/fread2281) (Client Quit)
2020-10-22 23:47:28 +0000conal(~conal@66.115.157.144)
2020-10-22 23:47:35 +0000brisbin(~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 260 seconds)
2020-10-22 23:48:45 +0000conal(~conal@66.115.157.144) (Client Quit)
2020-10-22 23:49:25 +0000erolm_a(~erolm_a@62.18.212.252) (Ping timeout: 264 seconds)
2020-10-22 23:49:25 +0000stefan-__(~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 23:49:41 +0000stefan-__(~cri@42dots.de)
2020-10-22 23:50:36 +0000erolm_a(~erolm_a@62.18.212.252)
2020-10-22 23:52:08 +0000geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds)
2020-10-22 23:52:55 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-22 23:55:00 +0000dhil(~dhil@195.213.192.122) (Ping timeout: 258 seconds)
2020-10-22 23:55:02 +0000irc_user(uid423822@gateway/web/irccloud.com/x-ytqlliqaiojyqsrz) (Quit: Connection closed for inactivity)
2020-10-22 23:57:27 +0000N3RGY(~N3RGY@65.141.87.122) (Remote host closed the connection)
2020-10-22 23:57:59 +0000christo(~chris@81.96.113.213)
2020-10-22 23:58:02 +0000N3RGY(~N3RGY@65.141.87.122)
2020-10-22 23:58:54 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 23:59:13 +0000texasmynsted(~texasmyns@104.140.52.115) ()
2020-10-22 23:59:32 +0000texasmynsted(~texasmyns@104.140.52.115)
2020-10-22 23:59:42 +0000Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)