2020/10/08

2020-10-08 00:00:29 +0200cosimone(~cosimone@2001:b07:ae5:db26:f68c:50ff:fe0b:b774) (Remote host closed the connection)
2020-10-08 00:00:56 +0200cosimone(~cosimone@2001:b07:ae5:db26:f68c:50ff:fe0b:b774)
2020-10-08 00:02:01 +0200sand_dull(~theuser@104.140.53.43) (Ping timeout: 246 seconds)
2020-10-08 00:02:21 +0200 <sm[m]> frdg: -i is a ghc/ghci option adding source directories
2020-10-08 00:04:05 +0200grfn(sid449115@gateway/web/irccloud.com/x-wfhscjdtkvezcxxr) (Ping timeout: 240 seconds)
2020-10-08 00:04:07 +0200taurux(~taurux@net-188-152-14-152.cust.dsl.teletu.it) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-08 00:04:23 +0200jonge(jonge@kofferbomber.org) (Quit: quit)
2020-10-08 00:04:31 +0200grfn(sid449115@gateway/web/irccloud.com/x-hlnwfgmeeatrrnpe)
2020-10-08 00:04:32 +0200le_jonge(jonge@kofferbomber.org)
2020-10-08 00:05:45 +0200patrick1(~tarpk@ool-182dc9b3.dyn.optonline.net) (Ping timeout: 240 seconds)
2020-10-08 00:06:05 +0200darjeeling_(~darjeelin@115.215.43.235) (Ping timeout: 240 seconds)
2020-10-08 00:06:05 +0200Papa(~papa@unaffiliated/papa) (Ping timeout: 240 seconds)
2020-10-08 00:06:05 +0200Entroacceptor(~mad@mad.unserver.de) (Ping timeout: 240 seconds)
2020-10-08 00:06:05 +0200WzC(~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 240 seconds)
2020-10-08 00:06:05 +0200freeside(~ubuntu@ec2-52-58-69-57.eu-central-1.compute.amazonaws.com) (Ping timeout: 240 seconds)
2020-10-08 00:06:17 +0200WzC(~Frank@77-162-168-71.fixed.kpn.net)
2020-10-08 00:06:25 +0200ishutin_(~Ishutin@193-110-63-54.cable-modem.hdsnet.hu) (Ping timeout: 240 seconds)
2020-10-08 00:06:25 +0200ft(~ft@shell.chaostreff-dortmund.de) (Ping timeout: 240 seconds)
2020-10-08 00:06:25 +0200aidecoe(~aidecoe@unaffiliated/aidecoe) (Ping timeout: 240 seconds)
2020-10-08 00:06:27 +0200taurux(~taurux@net-188-152-14-152.cust.vodafonedsl.it)
2020-10-08 00:06:45 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds)
2020-10-08 00:06:45 +0200juri_(~juri@178.63.35.222) (Ping timeout: 240 seconds)
2020-10-08 00:06:45 +0200cjh`(chris@segfault.net.nz) (Ping timeout: 240 seconds)
2020-10-08 00:06:52 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2020-10-08 00:07:03 +0200freeside(~ubuntu@ec2-52-58-69-57.eu-central-1.compute.amazonaws.com)
2020-10-08 00:07:05 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Ping timeout: 240 seconds)
2020-10-08 00:07:07 +0200patrick1(~tarpk@ool-182dc9b3.dyn.optonline.net)
2020-10-08 00:07:09 +0200ft(~ft@shell.chaostreff-dortmund.de)
2020-10-08 00:07:09 +0200Entroacceptor(~mad@mad.unserver.de)
2020-10-08 00:07:11 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-08 00:07:31 +0200aidecoe(~aidecoe@unaffiliated/aidecoe)
2020-10-08 00:07:36 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-10-08 00:07:42 +0200cjh`(chris@segfault.net.nz)
2020-10-08 00:07:45 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2020-10-08 00:07:47 +0200juri_(~juri@178.63.35.222)
2020-10-08 00:08:05 +0200jchia_(~jchia@58.32.35.239) (Ping timeout: 240 seconds)
2020-10-08 00:08:12 +0200sand_dull(~theuser@104.140.53.43)
2020-10-08 00:09:05 +0200saurik(saurik@carrier.saurik.com) (Ping timeout: 240 seconds)
2020-10-08 00:09:25 +0200sudden(~lax@unaffiliated/laxask) (Ping timeout: 240 seconds)
2020-10-08 00:09:42 +0200Papa(~papa@unaffiliated/papa)
2020-10-08 00:09:45 +0200_ashbreeze_(~mark@72-161-255-197.dyn.centurytel.net) (Ping timeout: 240 seconds)
2020-10-08 00:10:23 +0200darjeeling_(~darjeelin@115.215.43.235)
2020-10-08 00:10:24 +0200saurik(saurik@carrier.saurik.com)
2020-10-08 00:10:37 +0200sudden(~lax@unaffiliated/laxask)
2020-10-08 00:10:46 +0200jchia_(~jchia@45.32.62.73)
2020-10-08 00:11:01 +0200_ashbreeze_(~mark@72-161-253-219.dyn.centurytel.net)
2020-10-08 00:11:49 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 258 seconds)
2020-10-08 00:12:08 +0200cosimone(~cosimone@2001:b07:ae5:db26:f68c:50ff:fe0b:b774) (Remote host closed the connection)
2020-10-08 00:12:38 +0200cosimone(~cosimone@2001:b07:ae5:db26:f68c:50ff:fe0b:b774)
2020-10-08 00:13:49 +0200jchia_(~jchia@45.32.62.73) (Remote host closed the connection)
2020-10-08 00:14:36 +0200ishutin(~Ishutin@193-110-63-54.cable-modem.hdsnet.hu)
2020-10-08 00:14:46 +0200jchia_(~jchia@45.32.62.73)
2020-10-08 00:15:48 +0200jchia_(~jchia@45.32.62.73) (Remote host closed the connection)
2020-10-08 00:16:43 +0200jchia_(~jchia@45.32.62.73)
2020-10-08 00:17:45 +0200jchia_(~jchia@45.32.62.73) (Remote host closed the connection)
2020-10-08 00:18:39 +0200jchia_(~jchia@45.32.62.73)
2020-10-08 00:19:41 +0200jchia_(~jchia@45.32.62.73) (Remote host closed the connection)
2020-10-08 00:20:05 +0200dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.8)
2020-10-08 00:20:26 +0200jchia_(~jchia@58.32.35.239)
2020-10-08 00:20:38 +0200urdh(~urdh@unaffiliated/urdh) (Ping timeout: 256 seconds)
2020-10-08 00:21:01 +0200sedeki(~textual@unaffiliated/sedeki)
2020-10-08 00:21:25 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2020-10-08 00:22:23 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-08 00:22:41 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-08 00:22:56 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-08 00:22:56 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-08 00:22:56 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-08 00:24:49 +0200sedeki(~textual@unaffiliated/sedeki) (Client Quit)
2020-10-08 00:25:45 +0200ent(entgod@kapsi.fi) (Ping timeout: 240 seconds)
2020-10-08 00:25:49 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 246 seconds)
2020-10-08 00:27:30 +0200ryansmccoy(~ryansmcco@156.96.151.132) (Ping timeout: 256 seconds)
2020-10-08 00:27:42 +0200ryansmccoy(~ryansmcco@156.96.151.132)
2020-10-08 00:28:25 +0200sand_dull(~theuser@104.140.53.43) (Ping timeout: 240 seconds)
2020-10-08 00:32:01 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-08 00:33:35 +0200liff(liff@kapsi.fi) (Ping timeout: 244 seconds)
2020-10-08 00:33:36 +0200voyons_calisse(~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-08 00:34:14 +0200voyons_calisse(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-08 00:34:42 +0200gienah(~mwright@gentoo/developer/gienah)
2020-10-08 00:36:50 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-08 00:36:50 +0200ralejs_(~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-08 00:37:06 +0200 <frdg> sm[m]: oh. Is this is why I need to put my modules in the app directory?
2020-10-08 00:37:11 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-08 00:38:11 +0200fendor(~fendor@178.115.131.141.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-08 00:38:18 +0200 <sm[m]> ghc looks for them in the current directory and any additional ones specified with -i
2020-10-08 00:38:41 +0200 <frdg> ok thanks
2020-10-08 00:40:39 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494)
2020-10-08 00:40:50 +0200cosimone(~cosimone@2001:b07:ae5:db26:f68c:50ff:fe0b:b774) (Remote host closed the connection)
2020-10-08 00:42:36 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-08 00:44:39 +0200aarvar(~foewfoiew@50.35.43.33)
2020-10-08 00:46:16 +0200liff(liff@kapsi.fi)
2020-10-08 00:46:17 +0200cosimone(~cosimone@2001:b07:ae5:db26:f68c:50ff:fe0b:b774)
2020-10-08 00:46:50 +0200oisdk(~oisdk@2001:bb6:3329:d100:9cdf:5974:56ad:fa2f)
2020-10-08 00:48:46 +0200macrover(~macrover@ip70-189-231-35.lv.lv.cox.net) ("Killed buffer")
2020-10-08 00:50:41 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 265 seconds)
2020-10-08 00:50:50 +0200jedws(~jedws@121.209.161.98)
2020-10-08 00:50:58 +0200nemesit|znc(~nemesit@2a01:488:66:1000:2ea3:4eeb:0:1) (Ping timeout: 244 seconds)
2020-10-08 00:51:17 +0200ent(entgod@kapsi.fi)
2020-10-08 00:52:32 +0200mirrorbird(~psutcliff@2a00:801:3f8:10df:3fb2:3ec3:6676:3873) (Remote host closed the connection)
2020-10-08 00:53:27 +0200MarcelineVQ(~anja@198.254.202.72)
2020-10-08 00:55:29 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-08 00:58:00 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Client Quit)
2020-10-08 01:00:49 +0200whiteline(~whiteline@unaffiliated/whiteline) (Ping timeout: 264 seconds)
2020-10-08 01:01:01 +0200urdh(~urdh@unaffiliated/urdh)
2020-10-08 01:02:23 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds)
2020-10-08 01:06:45 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-08 01:08:27 +0200jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-10-08 01:08:28 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 01:12:49 +0200shatriff_(~vitaliish@217.27.153.240)
2020-10-08 01:13:57 +0200mirrorbird(~psutcliff@2a00:801:3f8:10df:3fb2:3ec3:6676:3873)
2020-10-08 01:14:18 +0200sand_dull(~theuser@104.140.53.43)
2020-10-08 01:14:51 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-08 01:16:07 +0200theDon(~td@muedsl-82-207-238-023.citykom.de) (Ping timeout: 240 seconds)
2020-10-08 01:16:25 +0200shatriff(~vitaliish@88.155.140.206) (Ping timeout: 264 seconds)
2020-10-08 01:17:24 +0200theDon(~td@muedsl-82-207-238-023.citykom.de)
2020-10-08 01:18:42 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-08 01:20:57 +0200hackagecapnp 0.6.0.1 - Cap'n Proto for Haskell https://hackage.haskell.org/package/capnp-0.6.0.1 (isd)
2020-10-08 01:22:06 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Ping timeout: 265 seconds)
2020-10-08 01:22:08 +0200conal(~conal@209.58.130.230) (Quit: Computer has gone to sleep.)
2020-10-08 01:24:28 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-08 01:26:35 +0200xsperry(~as@unaffiliated/xsperry) (Ping timeout: 256 seconds)
2020-10-08 01:27:07 +0200frdg(60e94035@pool-96-233-64-53.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-10-08 01:27:45 +0200cosimone(~cosimone@2001:b07:ae5:db26:f68c:50ff:fe0b:b774) (Quit: cosimone)
2020-10-08 01:27:58 +0200sfvm(~sfvm@37.228.215.148) (Ping timeout: 260 seconds)
2020-10-08 01:29:31 +0200sfvm(~sfvm@37.228.244.67)
2020-10-08 01:33:13 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 264 seconds)
2020-10-08 01:33:51 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 01:38:06 +0200 <L29Ah> have anyone performed the weak pointer-based memory leak detection feat on recent ghc? it seems to me that performGC isn't enough to get rid of garbage these days, or otherwise my weak pointer target somehow survives it even though it's never ever used in the code except in the weak pointer creation, as seen in dyepack example
2020-10-08 01:38:15 +0200L29Ahnudges lukelau_
2020-10-08 01:39:24 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-08 01:40:45 +0200alp(~alp@2a01:e0a:58b:4920:8975:d95d:2784:c8c1) (Ping timeout: 272 seconds)
2020-10-08 01:44:13 +0200sfvm(~sfvm@37.228.244.67) (Ping timeout: 246 seconds)
2020-10-08 01:45:36 +0200coot(~coot@37.30.49.218.nat.umts.dynamic.t-mobile.pl)
2020-10-08 01:45:51 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-08 01:46:07 +0200sfvm(~sfvm@37.228.215.148)
2020-10-08 01:46:10 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-08 01:46:11 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-08 01:46:11 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-08 01:47:22 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-10-08 01:48:57 +0200sand_dull(~theuser@104.140.53.43) (Ping timeout: 260 seconds)
2020-10-08 01:49:10 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-08 01:50:18 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com)
2020-10-08 01:50:43 +0200shatriff_(~vitaliish@217.27.153.240) (Remote host closed the connection)
2020-10-08 01:51:21 +0200evanjs(~evanjs@075-129-188-019.res.spectrum.com) (Quit: ZNC 1.8.1 - https://znc.in)
2020-10-08 01:51:45 +0200 <Axman6> L29Ah: I don't know what you're talking about but would love to know more
2020-10-08 01:53:33 +0200earfluffy(~earfluffy@c-73-59-30-29.hsd1.wa.comcast.net)
2020-10-08 01:54:04 +0200earfluffy(~earfluffy@c-73-59-30-29.hsd1.wa.comcast.net) (Client Quit)
2020-10-08 01:54:38 +0200evanjs(~evanjs@075-129-188-019.res.spectrum.com)
2020-10-08 01:55:01 +0200 <L29Ah> Axman6: https://lukelau.me/haskell/posts/leak/
2020-10-08 01:55:07 +0200CMCDragonkai1(~Thunderbi@120.17.135.143)
2020-10-08 01:56:02 +0200L29Ahnudges mpickering
2020-10-08 01:57:22 +0200earfluffy(~earfluffy@c-73-59-30-29.hsd1.wa.comcast.net)
2020-10-08 01:57:22 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-08 01:58:02 +0200 <Axman6> Thanks
2020-10-08 01:58:15 +0200renzhi(~renzhi@modemcable070.17-177-173.mc.videotron.ca)
2020-10-08 01:59:03 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-08 01:59:30 +0200earfluffy(~earfluffy@c-73-59-30-29.hsd1.wa.comcast.net) (Client Quit)
2020-10-08 02:01:31 +0200Graypup__graypup_
2020-10-08 02:01:50 +0200graypup_Graypup_
2020-10-08 02:01:51 +0200polyrain(~polyrain@130.102.13.177)
2020-10-08 02:02:35 +0200Barras2(~Barras2@185.244.214.216) (Read error: Connection reset by peer)
2020-10-08 02:03:03 +0200Tops2(~Tobias@dyndsl-095-033-024-193.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-10-08 02:03:06 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-08 02:03:34 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-08 02:06:49 +0200solonarv(~solonarv@adijon-655-1-70-207.w90-13.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-10-08 02:08:16 +0200afwingnut(~af_wingnu@ip174-79-2-139.mc.at.cox.net)
2020-10-08 02:09:19 +0200afwingnut(~af_wingnu@ip174-79-2-139.mc.at.cox.net) ()
2020-10-08 02:15:23 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-08 02:15:32 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-08 02:17:12 +0200cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 265 seconds)
2020-10-08 02:18:31 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2020-10-08 02:19:47 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-08 02:20:14 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-10-08 02:20:27 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-10-08 02:21:25 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-08 02:23:23 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds)
2020-10-08 02:25:22 +0200m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 256 seconds)
2020-10-08 02:26:07 +0200nineonine(~nineonine@216.81.48.202) (Remote host closed the connection)
2020-10-08 02:26:09 +0200cyphase(~cyphase@unaffiliated/cyphase)
2020-10-08 02:26:36 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-08 02:27:00 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-08 02:27:59 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-08 02:29:48 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-10-08 02:30:28 +0200spew(uid195861@gateway/web/irccloud.com/x-ffyhszedcgmomanr) (Quit: Connection closed for inactivity)
2020-10-08 02:30:51 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-08 02:32:03 +0200borne(~fritjof@200116b8643e710004885e7781e78f4d.dip.versatel-1u1.de) (Ping timeout: 272 seconds)
2020-10-08 02:32:49 +0200Christo(516071d5@81.96.113.213) (Remote host closed the connection)
2020-10-08 02:35:53 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-08 02:36:11 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-08 02:36:11 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-08 02:36:11 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-08 02:37:05 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-08 02:40:58 +0200hackagereanimate-svg 0.12.2.1 - SVG file loader and serializer https://hackage.haskell.org/package/reanimate-svg-0.12.2.1 (DavidHimmelstrup)
2020-10-08 02:42:05 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 02:43:15 +0200Buntspecht(~user@unaffiliated/siracusa) (Quit: Bye!)
2020-10-08 02:43:34 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 272 seconds)
2020-10-08 02:45:17 +0200mirrorbirdmockduck
2020-10-08 02:48:19 +0200gxt(~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-10-08 02:49:05 +0200gxt(~gxt@gateway/tor-sasl/gxt)
2020-10-08 02:49:23 +0200mockduck(~psutcliff@2a00:801:3f8:10df:3fb2:3ec3:6676:3873) (Quit: Leaving)
2020-10-08 02:49:53 +0200taurux(~taurux@net-188-152-14-152.cust.vodafonedsl.it) (Ping timeout: 256 seconds)
2020-10-08 02:50:00 +0200sand_dull(~theuser@104.140.53.43)
2020-10-08 02:50:56 +0200taurux(~taurux@net-130-25-214-55.cust.vodafonedsl.it)
2020-10-08 02:53:01 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2020-10-08 02:54:41 +0200seawalk(~seawalk@185.163.110.116)
2020-10-08 02:54:59 +0200conal(~conal@209.58.130.230)
2020-10-08 02:56:45 +0200giaco(~jack@2-238-151-49.ip244.fastwebnet.it) (Ping timeout: 240 seconds)
2020-10-08 02:57:52 +0200giaco(~jack@2-238-151-49.ip244.fastwebnet.it)
2020-10-08 03:02:54 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-08 03:09:07 +0200plutoniix(~q@175.176.222.7)
2020-10-08 03:10:34 +0200giaco(~jack@2-238-151-49.ip244.fastwebnet.it) (Remote host closed the connection)
2020-10-08 03:11:16 +0200giaco(~jack@2-238-151-49.ip244.fastwebnet.it)
2020-10-08 03:12:41 +0200coot(~coot@37.30.49.218.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-08 03:16:37 +0200darjeeling_(~darjeelin@115.215.43.235) (Ping timeout: 246 seconds)
2020-10-08 03:16:55 +0200Gerula(~Gerula@unaffiliated/gerula)
2020-10-08 03:17:04 +0200darjeeling_(~darjeelin@115.215.43.235)
2020-10-08 03:17:37 +0200kl1xto(~klixto@130.220.8.130)
2020-10-08 03:18:05 +0200Gerula_(~Gerula@unaffiliated/gerula) (Ping timeout: 260 seconds)
2020-10-08 03:21:49 +0200sand_dull(~theuser@104.140.53.43) (Ping timeout: 260 seconds)
2020-10-08 03:26:30 +0200CMCDragonkai1(~Thunderbi@120.17.135.143) (Read error: Connection reset by peer)
2020-10-08 03:28:05 +0200conal(~conal@209.58.130.230) (Quit: Computer has gone to sleep.)
2020-10-08 03:28:25 +0200Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-10-08 03:28:35 +0200oisdk(~oisdk@2001:bb6:3329:d100:9cdf:5974:56ad:fa2f) (Quit: oisdk)
2020-10-08 03:33:27 +0200Saukk(~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2)
2020-10-08 03:39:13 +0200totallynotnate(~nate@110.137.154.49)
2020-10-08 03:41:01 +0200Gurkenglas_(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 264 seconds)
2020-10-08 03:41:50 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 272 seconds)
2020-10-08 03:42:27 +0200xff0x(~fox@2001:1a81:5374:e100:d048:1f00:80fa:e49e) (Ping timeout: 240 seconds)
2020-10-08 03:43:26 +0200polyrain(~polyrain@130.102.13.177) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-08 03:44:43 +0200xff0x(~fox@2001:1a81:53a8:5900:d048:1f00:80fa:e49e)
2020-10-08 03:46:47 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 240 seconds)
2020-10-08 03:47:23 +0200renzhi(~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 260 seconds)
2020-10-08 03:49:15 +0200andos(~dan@162.246.216.28)
2020-10-08 03:52:03 +0200voyons_calisse(~dan@107-190-41-58.cpe.teksavvy.com) (Ping timeout: 260 seconds)
2020-10-08 03:53:07 +0200DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-10-08 03:57:33 +0200brandly(~brandly@c-73-68-15-46.hsd1.ma.comcast.net)
2020-10-08 03:58:42 +0200argent0(~argent0@168.227.96.2)
2020-10-08 04:06:19 +0200reallymemorable(~quassel@ip68-9-215-56.ri.ri.cox.net)
2020-10-08 04:09:41 +0200bahamas(~lucian@188.24.181.166)
2020-10-08 04:09:41 +0200bahamas(~lucian@188.24.181.166) (Changing host)
2020-10-08 04:09:41 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-08 04:13:03 +0200theDon(~td@muedsl-82-207-238-023.citykom.de) (Ping timeout: 260 seconds)
2020-10-08 04:14:12 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-08 04:14:28 +0200theDon(~td@muedsl-82-207-238-010.citykom.de)
2020-10-08 04:14:40 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds)
2020-10-08 04:18:07 +0200lagothrix(~lagothrix@unaffiliated/lagothrix) (Killed (orwell.freenode.net (Nickname regained by services)))
2020-10-08 04:18:15 +0200lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-10-08 04:24:43 +0200brandly(~brandly@c-73-68-15-46.hsd1.ma.comcast.net) (Ping timeout: 260 seconds)
2020-10-08 04:26:40 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-08 04:26:47 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-08 04:30:57 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 258 seconds)
2020-10-08 04:32:40 +0200drbean(~drbean@TC210-63-209-170.static.apol.com.tw)
2020-10-08 04:35:31 +0200argent0(~argent0@168.227.96.2) (Quit: leaving)
2020-10-08 04:37:02 +0200toorevitimirp(~tooreviti@117.182.180.245)
2020-10-08 04:40:13 +0200frot-lab(3b47f017@gateway/web/cgi-irc/kiwiirc.com/ip.59.71.240.23)
2020-10-08 04:40:45 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2020-10-08 04:41:18 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-08 04:44:22 +0200frot-lab(3b47f017@gateway/web/cgi-irc/kiwiirc.com/ip.59.71.240.23) ()
2020-10-08 04:45:52 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-czqzwifwdwgxyvlx) ()
2020-10-08 04:46:35 +0200wallacer3(~quassel@ns3134113.ip-37-187-4.eu) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2020-10-08 04:49:49 +0200dnaos(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-08 04:50:16 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-08 04:52:00 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-08 04:52:17 +0200andos(~dan@162.246.216.28) (Ping timeout: 256 seconds)
2020-10-08 04:53:40 +0200wallacer3(~quassel@ns3134113.ip-37-187-4.eu)
2020-10-08 04:54:03 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-08 04:55:06 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 258 seconds)
2020-10-08 04:56:37 +0200_vaibhavingale_(~Adium@203.188.228.27) (Quit: Leaving.)
2020-10-08 04:59:14 +0200wallacer3(~quassel@ns3134113.ip-37-187-4.eu) (Read error: Connection reset by peer)
2020-10-08 04:59:32 +0200polyrain(~polyrain@2001:8003:e501:6901:5812:b5a0:77ca:ac9e)
2020-10-08 04:59:49 +0200wallacer3(~quassel@ns3134113.ip-37-187-4.eu)
2020-10-08 05:00:01 +0200seawalk(~seawalk@185.163.110.116) ()
2020-10-08 05:04:25 +0200thc202(~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds)
2020-10-08 05:07:42 +0200sand_dull(~theuser@104.140.53.43)
2020-10-08 05:07:54 +0200drbean(~drbean@TC210-63-209-170.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in)
2020-10-08 05:08:28 +0200aarvar(~foewfoiew@50.35.43.33) (Ping timeout: 260 seconds)
2020-10-08 05:10:06 +0200brandly(~brandly@c-73-68-15-46.hsd1.ma.comcast.net)
2020-10-08 05:15:34 +0200kayvan(~user@52-119-115-243.PUBLIC.monkeybrains.net) (Ping timeout: 272 seconds)
2020-10-08 05:22:34 +0200kl1xto(~klixto@130.220.8.130) (Quit: WeeChat 2.9)
2020-10-08 05:22:56 +0200polyrain(~polyrain@2001:8003:e501:6901:5812:b5a0:77ca:ac9e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-08 05:23:47 +0200Tario(~Tario@201.192.165.173)
2020-10-08 05:25:34 +0200 <Tario> Hello
2020-10-08 05:25:42 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-08 05:25:45 +0200Tario(~Tario@201.192.165.173) (Client Quit)
2020-10-08 05:25:51 +0200 <lemmih> Hello there.
2020-10-08 05:25:55 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds)
2020-10-08 05:25:57 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds)
2020-10-08 05:27:16 +0200Tario(~Tario@201.192.165.173)
2020-10-08 05:27:39 +0200 <Tario> timed out
2020-10-08 05:28:05 +0200sand_dull(~theuser@104.140.53.43) (Ping timeout: 240 seconds)
2020-10-08 05:30:02 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-08 05:31:29 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-08 05:34:45 +0200aarvar(~foewfoiew@50.35.43.33)
2020-10-08 05:35:12 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 272 seconds)
2020-10-08 05:35:55 +0200ddellacosta(~dd@86.106.121.168) (Ping timeout: 256 seconds)
2020-10-08 05:36:51 +0200 <Axman6> Hello Tario
2020-10-08 05:37:18 +0200 <Tario> Hello hello!
2020-10-08 05:38:00 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 05:38:06 +0200sand_dull(~theuser@104.140.53.43)
2020-10-08 05:38:20 +0200 <Axman6> lemmih also said hello :) How can we help?
2020-10-08 05:39:49 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Client Quit)
2020-10-08 05:39:57 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-08 05:40:06 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 05:41:30 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-08 05:42:30 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-08 05:44:42 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 272 seconds)
2020-10-08 05:45:22 +0200isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com)
2020-10-08 05:47:14 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 272 seconds)
2020-10-08 05:51:41 +0200conal(~conal@209.58.130.230)
2020-10-08 05:51:47 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 240 seconds)
2020-10-08 05:52:05 +0200brandly(~brandly@c-73-68-15-46.hsd1.ma.comcast.net) (Ping timeout: 260 seconds)
2020-10-08 05:53:52 +0200Saukk(~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2) (Remote host closed the connection)
2020-10-08 05:54:07 +0200Tario(~Tario@201.192.165.173)
2020-10-08 05:54:48 +0200xPaw1(~xPaw@217.146.82.202)
2020-10-08 05:55:22 +0200 <Tario> I got disc for a moment there, poor connection from my end
2020-10-08 05:55:33 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-08 05:56:33 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-08 05:56:51 +0200 <Tario> I was going to ask mainly for some help with a Yesod project I've been working on
2020-10-08 05:56:52 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-08 05:56:52 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-08 05:56:52 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-08 05:57:37 +0200 <Tario> Mostly documentation or examples on how to implement Json web tokens into a mini-REST API
2020-10-08 05:58:20 +0200 <Tario> And how to perform authentication with JWT + Yesod in this API
2020-10-08 05:58:28 +0200 <sm[m]> Tario: tried the yesod book and the examples in the repo/wiki ?
2020-10-08 05:58:50 +0200 <Tario> Im trying the Yesod book yes
2020-10-08 05:59:09 +0200polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 272 seconds)
2020-10-08 05:59:20 +0200 <Tario> I haven't checked the wiki/repo, though
2020-10-08 06:00:04 +0200 <Tario> Also I've found some interesting blogs on how to create rest API's with Yesod. They've been of great help too!
2020-10-08 06:00:41 +0200polyrain(~polyrain@2001:8003:e501:6901:5812:b5a0:77ca:ac9e)
2020-10-08 06:00:57 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-08 06:01:23 +0200Clough(~Cain@194-193-61-41.tpgi.com.au)
2020-10-08 06:02:14 +0200SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2020-10-08 06:03:15 +0200SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net)
2020-10-08 06:04:32 +0200zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2020-10-08 06:04:53 +0200mmohammadi981266(~mmohammad@5.238.172.236)
2020-10-08 06:05:22 +0200 <Tario> Is this the repo you were mentioning?
2020-10-08 06:05:22 +0200 <Tario> https://github.com/yesodweb/yesod
2020-10-08 06:05:28 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-08 06:05:42 +0200zaquest(~notzaques@5.128.210.178)
2020-10-08 06:06:43 +0200gxt(~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds)
2020-10-08 06:09:17 +0200gxt(~gxt@gateway/tor-sasl/gxt)
2020-10-08 06:11:10 +0200conal(~conal@209.58.130.230) (Quit: Computer has gone to sleep.)
2020-10-08 06:12:26 +0200conal(~conal@209.58.130.230)
2020-10-08 06:12:45 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2020-10-08 06:12:51 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-10-08 06:14:36 +0200 <sm[m]> Tario: yes, in that repo's wiki there's a cookbook that might have something
2020-10-08 06:23:07 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds)
2020-10-08 06:23:52 +0200mmohammadi981266(~mmohammad@5.238.172.236) (Quit: I quit (╯°□°)╯︵ ┻━┻)
2020-10-08 06:28:19 +0200Jeanne-Kamikaze(~Jeanne-Ka@68.235.43.166)
2020-10-08 06:29:23 +0200Clough(~Cain@194-193-61-41.tpgi.com.au) (Read error: Connection reset by peer)
2020-10-08 06:32:00 +0200yxe_tim(4640087f@S010664777daccce3.ss.shawcable.net)
2020-10-08 06:34:06 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com)
2020-10-08 06:34:36 +0200 <yxe_tim> Hello, (hopefully a quick question), I have installed haskell on wsl2 using ghcup (8.10.2) and then built ghcide, but vscode keeps displaying an error that ghcide was compiled against 8.10.1, does anyone have any experience setting up this toolchain? (WSL2, VSCode, Haskell Extension)
2020-10-08 06:35:01 +0200wz1000(~wz1000@static.11.113.47.78.clients.your-server.de)
2020-10-08 06:35:11 +0200 <yxe_tim> (WSL2 ubuntu 20.04)
2020-10-08 06:36:23 +0200 <Axman6> what does ghcide version say its GHC version is, and is VS Code pointing to the same ghcide executable as the one you're checking?
2020-10-08 06:36:44 +0200 <Axman6> uh, ghcide --version
2020-10-08 06:36:47 +0200day_(~Unknown@unaffiliated/day)
2020-10-08 06:36:57 +0200 <Axman6> (though the former works... but then gives an error
2020-10-08 06:36:58 +0200 <Axman6> )
2020-10-08 06:37:25 +0200jneira_(~jneira@153.red-176-87-39.dynamicip.rima-tde.net)
2020-10-08 06:39:57 +0200day(~Unknown@unaffiliated/day) (Ping timeout: 256 seconds)
2020-10-08 06:39:58 +0200day_day
2020-10-08 06:42:44 +0200 <yxe_tim> In terminal it says "ghcide version: 0.4.0 (GHC: 8.10) (PATH: ~/.cabal/store/ghc-8.10.2/ghcide-0.4.0-13cf00411000e3d4a0caf0088b938e894a101bcba94c7f863c33d2e1fab1f877/bin/ghcide)", which is what I expect. Is there a way to ask the Haskell language server what version of ghcide it is using? using `find` I don't see an obvious alternate copy
2020-10-08 06:44:36 +0200 <Axman6> if you open the VS code console with ctrl-` and then go to putput, select "Haskell (haskell-server)" and scrol to the top it should it should print out something like: ghcide version: 0.1.0.0 (GHC: 8.8.3) (PATH: /Users/REDACTED/.local/bin/haskell-language-server-wrapper) (GIT hash: d2654185eef1b0d703cebc694e85438e20600e37)
2020-10-08 06:46:57 +0200 <yxe_tim> `haskell-language-server version: 0.5.0.0 (GHC: 8.10.1)` somehow I have an older one, okay well there's my answer I guess :)
2020-10-08 06:47:11 +0200 <Axman6> does it show the path too?
2020-10-08 06:47:50 +0200 <yxe_tim> yes `(PATH: ~/.ghcup/bin/haskell-language-server-8.10.1~0.5.0)` which is I think the default install location for `ghcup`
2020-10-08 06:49:13 +0200 <Axman6> the Haskell VS Code plugin will also install the appropriate hls for your project IIRC
2020-10-08 06:49:36 +0200 <Axman6> I'm not sure therte's much need to do it via ghcup if you're using VS code, but I could be mistaken
2020-10-08 06:52:04 +0200 <yxe_tim> I removed it with `ghcup` and then reinstalled and now there is no error. 🤷🏻‍♂️
2020-10-08 06:52:40 +0200 <yxe_tim> appreciate your help, thanks Axman
2020-10-08 06:56:33 +0200 <Axman6> All good :)
2020-10-08 06:57:02 +0200shafox(~shafox@106.51.234.111)
2020-10-08 06:57:09 +0200 <Axman6> that's probably the first time I've ever been able to help with a haskell on windows problem... WSL is truly a game changer in supporting the platform =)
2020-10-08 06:57:45 +0200isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Ping timeout: 240 seconds)
2020-10-08 07:00:40 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-08 07:04:56 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-08 07:08:25 +0200polyrain_(~polyrain@203.51.166.163)
2020-10-08 07:09:42 +0200shatriff(~vitaliish@217.27.153.240)
2020-10-08 07:10:17 +0200bitmagie(~Thunderbi@200116b8069ae700f8d11cefa1f5b393.dip.versatel-1u1.de)
2020-10-08 07:10:22 +0200polyrain(~polyrain@2001:8003:e501:6901:5812:b5a0:77ca:ac9e) (Ping timeout: 260 seconds)
2020-10-08 07:11:27 +0200zincy__(~tom@host86-169-79-54.range86-169.btcentralplus.com)
2020-10-08 07:11:37 +0200zincy_(~tom@2a00:23c8:970a:3501:38a6:4546:df42:c1cb) (Remote host closed the connection)
2020-10-08 07:14:19 +0200bitmagie(~Thunderbi@200116b8069ae700f8d11cefa1f5b393.dip.versatel-1u1.de) (Client Quit)
2020-10-08 07:15:14 +0200gienah(~mwright@gentoo/developer/gienah) (Quit: leaving)
2020-10-08 07:15:45 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-08 07:16:20 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-08 07:16:22 +0200jneira_(~jneira@153.red-176-87-39.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-10-08 07:16:36 +0200bahamas(~lucian@unaffiliated/bahamas) (Client Quit)
2020-10-08 07:20:54 +0200DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-10-08 07:33:30 +0200alp(~alp@2a01:e0a:58b:4920:d4de:2729:ba08:af8)
2020-10-08 07:33:38 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-08 07:33:39 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2020-10-08 07:33:45 +0200yoeljacobsen(~yoel.jaco@5.28.167.89)
2020-10-08 07:33:52 +0200yoja(~yoel.jaco@5.28.167.89)
2020-10-08 07:34:02 +0200yoja(~yoel.jaco@5.28.167.89) (Remote host closed the connection)
2020-10-08 07:34:13 +0200isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com)
2020-10-08 07:37:07 +0200sand_dull(~theuser@104.140.53.43) (Ping timeout: 260 seconds)
2020-10-08 07:38:23 +0200coot(~coot@37.30.49.218.nat.umts.dynamic.t-mobile.pl)
2020-10-08 07:38:50 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-08 07:39:00 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-08 07:39:01 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-08 07:39:01 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-08 07:39:06 +0200knupfer(~Thunderbi@200116b82ce4df00342d492c1199dfa9.dip.versatel-1u1.de)
2020-10-08 07:39:57 +0200gienah(~mwright@gentoo/developer/gienah)
2020-10-08 07:43:36 +0200Dungdv(abf4bce2@gateway/web/cgi-irc/kiwiirc.com/ip.171.244.188.226)
2020-10-08 07:44:25 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2020-10-08 07:47:28 +0200aqd(~aqd@87-92-145-87.rev.dnainternet.fi)
2020-10-08 07:47:40 +0200 <Dungdv> hello everyone
2020-10-08 07:48:22 +0200Jeanne-Kamikaze(~Jeanne-Ka@68.235.43.166) (Ping timeout: 256 seconds)
2020-10-08 07:50:18 +0200yxe_tim(4640087f@S010664777daccce3.ss.shawcable.net) (Remote host closed the connection)
2020-10-08 07:50:26 +0200blackfield(~blackfiel@unaffiliated/blackfield)
2020-10-08 07:51:44 +0200zenzenzen(5cf785e2@92.247.133.226)
2020-10-08 07:52:26 +0200Lycurgus(~niemand@98.4.96.130)
2020-10-08 07:52:59 +0200 <yushyin> hello Dungdv
2020-10-08 07:53:40 +0200zenzenzen(5cf785e2@92.247.133.226) (Remote host closed the connection)
2020-10-08 07:54:36 +0200jneira_(~jneira@153.red-176-87-39.dynamicip.rima-tde.net)
2020-10-08 08:00:02 +0200xPaw1(~xPaw@217.146.82.202) ()
2020-10-08 08:02:45 +0200jneira_(~jneira@153.red-176-87-39.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
2020-10-08 08:11:56 +0200carlomagno(~cararell@inet-hqmc01-o.oracle.com) (Remote host closed the connection)
2020-10-08 08:14:12 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-08 08:14:39 +0200Ariakenom(~Ariakenom@193.254.193.1)
2020-10-08 08:15:26 +0200isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Ping timeout: 272 seconds)
2020-10-08 08:18:29 +0200howdoi(uid224@gateway/web/irccloud.com/x-sgkwzvljtciaifbw) (Quit: Connection closed for inactivity)
2020-10-08 08:19:10 +0200rihards(~rihards@balticom-142-78-50.balticom.lv)
2020-10-08 08:20:16 +0200dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-10-08 08:21:49 +0200strugglingming(sid10571@gateway/web/irccloud.com/x-pwoyzccowxbiqivf) ()
2020-10-08 08:22:21 +0200blackfield(~blackfiel@unaffiliated/blackfield) ("Leaving")
2020-10-08 08:24:08 +0200sfvm(~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine)
2020-10-08 08:24:34 +0200Sgeo_(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-08 08:29:21 +0200yoneda(~mike@193.206.102.122)
2020-10-08 08:34:19 +0200alp(~alp@2a01:e0a:58b:4920:d4de:2729:ba08:af8) (Ping timeout: 272 seconds)
2020-10-08 08:35:29 +0200psydruid(psydruidma@gateway/shell/matrix.org/x-qycprfpnsgiilolx) (Quit: killed)
2020-10-08 08:35:29 +0200domenkozar[m](domenkozar@NixOS/user/domenkozar) (Quit: killed)
2020-10-08 08:35:29 +0200fgaz(fgazmatrix@gateway/shell/matrix.org/x-byybigschvhjswcv) (Quit: killed)
2020-10-08 08:35:29 +0200johnnyboy[m](gifumatrix@gateway/shell/matrix.org/x-kitekitskrpvnyuf) (Quit: killed)
2020-10-08 08:35:29 +0200ThaEwat(thaewraptm@gateway/shell/matrix.org/x-kcvetqrftbkjcjnk) (Quit: killed)
2020-10-08 08:35:29 +0200maralorn(maralornma@gateway/shell/matrix.org/x-lyakyxofyblijwix) (Quit: killed)
2020-10-08 08:35:29 +0200rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-fljfbjfqcfnnurou) (Quit: killed)
2020-10-08 08:35:29 +0200siraben(sirabenmat@gateway/shell/matrix.org/x-pdgeahbvmgwapgfg) (Quit: killed)
2020-10-08 08:35:29 +0200SlackIntegration(slackbotma@gateway/shell/matrix.org/x-lohsrmorokvdbpoj) (Quit: killed)
2020-10-08 08:35:29 +0200sureyeaah(shauryab98@gateway/shell/matrix.org/x-wiylhkbwoygscvln) (Quit: killed)
2020-10-08 08:35:29 +0200lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-bqfspchyhjmzptxd) (Quit: killed)
2020-10-08 08:35:29 +0200themsay[m](themsaymat@gateway/shell/matrix.org/x-jlhxzzruldlhmmgy) (Quit: killed)
2020-10-08 08:35:30 +0200Fernando-Basso[m(fernando-b@gateway/shell/matrix.org/x-kjhiolswkwzfuios) (Quit: killed)
2020-10-08 08:35:30 +0200michaelpj(michaelpjm@gateway/shell/matrix.org/x-gysseraqrfhmwgck) (Quit: killed)
2020-10-08 08:35:30 +0200vaibhavsagar(vaibhavsag@gateway/shell/matrix.org/x-ddqgmqbfchwrxzrv) (Quit: killed)
2020-10-08 08:35:30 +0200nihilazo(nihilazoma@gateway/shell/matrix.org/x-zdmbqmhsvrlzerts) (Quit: killed)
2020-10-08 08:35:30 +0200bonvoyage[m](bonvoyageu@gateway/shell/matrix.org/x-hymtyjvtcgjioftl) (Quit: killed)
2020-10-08 08:35:30 +0200PotatoHatsue(berbermanp@gateway/shell/matrix.org/x-mxhezacflqkmnnqy) (Quit: killed)
2020-10-08 08:35:30 +0200chreekat[m](chreekatma@gateway/shell/matrix.org/x-khznwzleexjszxwr) (Quit: killed)
2020-10-08 08:35:30 +0200Ericson2314(ericson231@gateway/shell/matrix.org/x-oinfesutpjbypdbj) (Quit: killed)
2020-10-08 08:35:30 +0200drozdziak1(drozdziak1@gateway/shell/matrix.org/x-ceruyhaykumzhfys) (Quit: killed)
2020-10-08 08:35:30 +0200JoelMcCracken[m](joelmccrac@gateway/shell/matrix.org/x-sbadlxunmwfvpibq) (Quit: killed)
2020-10-08 08:35:32 +0200hsiktas[m](hsiktasmat@gateway/shell/matrix.org/x-vdqlhkexdidlyisd) (Quit: killed)
2020-10-08 08:35:32 +0200iinuwa(iinuwamatr@gateway/shell/matrix.org/x-rwunwqpobfulimir) (Quit: killed)
2020-10-08 08:35:32 +0200texasmynsted[m](mmynstedko@gateway/shell/matrix.org/x-fkezaphacwvtlqpz) (Quit: killed)
2020-10-08 08:35:32 +0200theduke(thedukem1@gateway/shell/matrix.org/x-luggxubwimubmsjx) (Quit: killed)
2020-10-08 08:35:33 +0200ciderpunx[m](ciderpunxm@gateway/shell/matrix.org/x-phmdrdggcgnremri) (Quit: killed)
2020-10-08 08:35:33 +0200jeffcasavant[m](jeffcasava@gateway/shell/matrix.org/x-ofvxwwxtfcqijigf) (Quit: killed)
2020-10-08 08:35:33 +0200itai33[m](itai33matr@gateway/shell/matrix.org/x-jbkgbtontlzajfgn) (Quit: killed)
2020-10-08 08:35:34 +0200mikr[m](mikrdavral@gateway/shell/matrix.org/x-tfhuakjmvnwwteem) (Quit: killed)
2020-10-08 08:35:35 +0200io_r_us[m](commandlin@gateway/shell/matrix.org/x-crnvroklodstbzyd) (Quit: killed)
2020-10-08 08:35:35 +0200kadoban(kadobanmat@gateway/shell/matrix.org/x-wocksmmwkounohnb) (Quit: killed)
2020-10-08 08:35:37 +0200alexfmpe(alexfmpema@gateway/shell/matrix.org/x-qrzkwyigmywmhwge) (Quit: killed)
2020-10-08 08:35:38 +0200GuillaumeChrel[m(guillaumec@gateway/shell/matrix.org/x-pdeyeszckwgtpgil) (Quit: killed)
2020-10-08 08:35:38 +0200jtojnar(jtojnarmat@gateway/shell/matrix.org/x-qekearxjjpjsmkuo) (Quit: killed)
2020-10-08 08:35:38 +0200alvinsj[m](alvinsjmat@gateway/shell/matrix.org/x-jqdmywmvtnmoacsc) (Quit: killed)
2020-10-08 08:35:41 +0200CaptainFox[m](onianimatr@gateway/shell/matrix.org/x-uumbggmsnsagdxwx) (Quit: killed)
2020-10-08 08:35:42 +0200sm[m](simonmicma@gateway/shell/matrix.org/x-yvxnqtqblglugklz) (Quit: killed)
2020-10-08 08:35:43 +0200lambdaclan(lambdaclan@gateway/shell/matrix.org/x-efvydivpqgisspda) (Quit: killed)
2020-10-08 08:35:43 +0200jlv(jlvjustinl@gateway/shell/matrix.org/x-kumwswmhehdpzhpj) (Quit: killed)
2020-10-08 08:35:43 +0200sajith[m](sajithmatr@gateway/shell/matrix.org/x-qjvxnirdozyhnxza) (Quit: killed)
2020-10-08 08:35:43 +0200ethercrow[m](ethercrowm@gateway/shell/matrix.org/x-qohfilkcpvembqbq) (Quit: killed)
2020-10-08 08:35:46 +0200steve[m](stevetrout@gateway/shell/matrix.org/x-tlcohkujmhffqlxo) (Quit: killed)
2020-10-08 08:35:47 +0200tttom[m](tttommatri@gateway/shell/matrix.org/x-kcrlxfyqsxsceyrq) (Quit: killed)
2020-10-08 08:35:47 +0200DavSanchez[m](davsanchez@gateway/shell/matrix.org/x-cshiyvdondwsassq) (Quit: killed)
2020-10-08 08:35:49 +0200boistordu1(boistordum@gateway/shell/matrix.org/x-hweoscsbacvjfdbp) (Quit: killed)
2020-10-08 08:35:50 +0200albestro[m](albestroma@gateway/shell/matrix.org/x-tndqscinbariykar) (Quit: killed)
2020-10-08 08:35:51 +0200gmind[m](gmindmatri@gateway/shell/matrix.org/x-edoxmxjonitwjqca) (Quit: killed)
2020-10-08 08:35:51 +0200jkaye[m](jkayematri@gateway/shell/matrix.org/x-xhxhthjkcoydgzvg) (Quit: killed)
2020-10-08 08:35:51 +0200avocado(renningmat@gateway/shell/matrix.org/x-fezyrhgjfnmnkpkv) (Quit: killed)
2020-10-08 08:35:52 +0200unclechu(unclechuma@gateway/shell/matrix.org/x-ebrfkfjlsjzowlvv) (Quit: killed)
2020-10-08 08:35:53 +0200pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-olxoybsjhfaojatm) (Quit: killed)
2020-10-08 08:35:54 +0200macerbi[m](macerbimat@gateway/shell/matrix.org/x-ccvzntcdselawgmn) (Quit: killed)
2020-10-08 08:35:54 +0200dyniec[m](dyniecmatr@gateway/shell/matrix.org/x-tgoncauijaxjhpus) (Quit: killed)
2020-10-08 08:35:54 +0200srid(sridmatrix@gateway/shell/matrix.org/x-znyovjxuqshvxpdw) (Quit: killed)
2020-10-08 08:35:54 +0200jiribenes1(jbjiribene@gateway/shell/matrix.org/x-zwblivezdhcvoksn) (Quit: killed)
2020-10-08 08:35:54 +0200materialfuture[m(materialfu@gateway/shell/matrix.org/x-kcdvxjwcqyagisvj) (Quit: killed)
2020-10-08 08:35:54 +0200betrion[m](betrionmat@gateway/shell/matrix.org/x-ayssoeksjulbrphq) (Quit: killed)
2020-10-08 08:35:56 +0200mmynsted[m](mmynstedtc@gateway/shell/matrix.org/x-znpwlmrtpibaqhgv) (Quit: killed)
2020-10-08 08:35:56 +0200hnOsmium0001[m](hnosmium00@gateway/shell/matrix.org/x-sylhtdjktmpomitu) (Quit: killed)
2020-10-08 08:35:57 +0200sepp2k(sepp2kmatr@gateway/shell/matrix.org/x-ycdinvigeuvebcbs) (Quit: killed)
2020-10-08 08:35:58 +0200tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-08 08:37:50 +0200tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net)
2020-10-08 08:37:58 +0200wei2912(~wei2912@unaffiliated/wei2912)
2020-10-08 08:39:04 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-08 08:39:33 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494)
2020-10-08 08:40:08 +0200hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 272 seconds)
2020-10-08 08:40:36 +0200chele(~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-10-08 08:41:58 +0200macerbi[m](macerbimat@gateway/shell/matrix.org/x-zpwleyxpnqtsfatt)
2020-10-08 08:42:08 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-10-08 08:42:22 +0200shatriff(~vitaliish@217.27.153.240) (Remote host closed the connection)
2020-10-08 08:46:08 +0200hyiltiz(~quassel@82.118.227.47)
2020-10-08 08:46:08 +0200hyiltiz(~quassel@82.118.227.47) (Changing host)
2020-10-08 08:46:08 +0200hyiltiz(~quassel@unaffiliated/hyiltiz)
2020-10-08 08:46:29 +0200proteusguy(~proteusgu@cm-58-10-208-180.revip7.asianet.co.th) (Remote host closed the connection)
2020-10-08 08:46:36 +0200mmohammadi981266(~mmohammad@5.238.172.236)
2020-10-08 08:46:42 +0200jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-08 08:47:32 +0200xsperry(~as@unaffiliated/xsperry)
2020-10-08 08:48:54 +0200proteusguy(~proteusgu@cm-58-10-208-180.revip7.asianet.co.th)
2020-10-08 08:50:12 +0200dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.8)
2020-10-08 08:51:00 +0200Oejet(~Oejet@185.163.110.116)
2020-10-08 08:55:56 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 08:56:01 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-10-08 08:56:36 +0200lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-pimzqasrmmczjhys)
2020-10-08 08:56:36 +0200siraben(sirabenmat@gateway/shell/matrix.org/x-ykymenvgfoixvnor)
2020-10-08 08:56:36 +0200domenkozar[m](domenkozar@NixOS/user/domenkozar)
2020-10-08 08:56:36 +0200jtojnar(jtojnarmat@gateway/shell/matrix.org/x-sxfbmpglnidreblu)
2020-10-08 08:56:36 +0200iinuwa(iinuwamatr@gateway/shell/matrix.org/x-ojhvzvdjehejmjyl)
2020-10-08 08:56:36 +0200maralorn(maralornma@gateway/shell/matrix.org/x-xcbwgmzbnjbofzkc)
2020-10-08 08:56:36 +0200SlackIntegration(slackbotma@gateway/shell/matrix.org/x-esxicxmpfxumgwpu)
2020-10-08 08:56:36 +0200chreekat[m](chreekatma@gateway/shell/matrix.org/x-lhpszfbfikwwpjcq)
2020-10-08 08:56:36 +0200pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-nxhnwnrcnkxvbjgw)
2020-10-08 08:56:36 +0200lambdaclan(lambdaclan@gateway/shell/matrix.org/x-nfskoikomeigrjig)
2020-10-08 08:56:36 +0200hsiktas[m](hsiktasmat@gateway/shell/matrix.org/x-kynxvphdyxwicwmr)
2020-10-08 08:56:36 +0200boistordu1(boistordum@gateway/shell/matrix.org/x-ewqvhlmcmyyidprx)
2020-10-08 08:56:36 +0200hnOsmium0001[m](hnosmium00@gateway/shell/matrix.org/x-asylavqwpoyheblp)
2020-10-08 08:56:36 +0200PotatoHatsue(berbermanp@gateway/shell/matrix.org/x-ltxkvqlzigmwjcmb)
2020-10-08 08:56:37 +0200bonvoyage[m](bonvoyageu@gateway/shell/matrix.org/x-flypodpwywfnwhbp)
2020-10-08 08:56:37 +0200psydruid(psydruidma@gateway/shell/matrix.org/x-jnnvasqbzlbcdazz)
2020-10-08 08:56:37 +0200kadoban(kadobanmat@gateway/shell/matrix.org/x-hygrfqqyfjnsdlux)
2020-10-08 08:56:37 +0200JoelMcCracken[m](joelmccrac@gateway/shell/matrix.org/x-iuizycevqaqwplpt)
2020-10-08 08:56:37 +0200sm[m](simonmicma@gateway/shell/matrix.org/x-smgmdfguunjmvhtb)
2020-10-08 08:56:37 +0200johnnyboy[m](gifumatrix@gateway/shell/matrix.org/x-sdbsmmdtbhtyarzx)
2020-10-08 08:56:37 +0200Fernando-Basso[m(fernando-b@gateway/shell/matrix.org/x-usbqwwyedusymiyx)
2020-10-08 08:56:37 +0200themsay[m](themsaymat@gateway/shell/matrix.org/x-doisvmaprkvtlian)
2020-10-08 08:56:38 +0200io_r_us[m](commandlin@gateway/shell/matrix.org/x-hfbhrzjwkhpdkxmx)
2020-10-08 08:56:38 +0200rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-frefqrwfmvpulcxq)
2020-10-08 08:56:38 +0200drozdziak1(drozdziak1@gateway/shell/matrix.org/x-aitoffbhswubbvqs)
2020-10-08 08:56:38 +0200ThaEwat(thaewraptm@gateway/shell/matrix.org/x-kkakwchgdjgshfvf)
2020-10-08 08:56:38 +0200Noughtmare[m](naughtmare@gateway/shell/matrix.org/x-pxgtffywirgpojke)
2020-10-08 08:56:38 +0200nihilazo(nihilazoma@gateway/shell/matrix.org/x-ynhyzeaxhyhpxjcx)
2020-10-08 08:56:38 +0200srid(sridmatrix@gateway/shell/matrix.org/x-xvfelxeqgrijfein)
2020-10-08 08:56:38 +0200alvinsj[m](alvinsjmat@gateway/shell/matrix.org/x-mkainprhrhntgffj)
2020-10-08 08:56:38 +0200sureyeaah(shauryab98@gateway/shell/matrix.org/x-bexfvkzxvxsukjbn)
2020-10-08 08:56:38 +0200michaelpj(michaelpjm@gateway/shell/matrix.org/x-lalgvgrwwexhlata)
2020-10-08 08:56:39 +0200vaibhavsagar(vaibhavsag@gateway/shell/matrix.org/x-lbhwkudhrzavozue)
2020-10-08 08:56:39 +0200theduke(thedukem1@gateway/shell/matrix.org/x-ywjhvhoswxgzllwc)
2020-10-08 08:56:39 +0200texasmynsted[m](mmynstedko@gateway/shell/matrix.org/x-yvkblthijyxthcsw)
2020-10-08 08:56:39 +0200unclechu(unclechuma@gateway/shell/matrix.org/x-siyegrvxmbqkrarq)
2020-10-08 08:56:39 +0200fgaz(fgazmatrix@gateway/shell/matrix.org/x-xkyvxxetlscnwafl)
2020-10-08 08:56:39 +0200avocado(renningmat@gateway/shell/matrix.org/x-endygctswlrgzoes)
2020-10-08 08:56:39 +0200Ericson2314(ericson231@gateway/shell/matrix.org/x-msawmwnrrupoyzdw)
2020-10-08 08:56:42 +0200dyniec[m](dyniecmatr@gateway/shell/matrix.org/x-eqsqupnlptqjhopn)
2020-10-08 08:56:42 +0200jeffcasavant[m](jeffcasava@gateway/shell/matrix.org/x-ftcflntfpsfawcth)
2020-10-08 08:56:43 +0200betrion[m](betrionmat@gateway/shell/matrix.org/x-jtuvgpaxjhagltpq)
2020-10-08 08:56:43 +0200DavSanchez[m](davsanchez@gateway/shell/matrix.org/x-khetygqiqqqbmftv)
2020-10-08 08:56:43 +0200albestro[m](albestroma@gateway/shell/matrix.org/x-jhifwvtorjzyapnj)
2020-10-08 08:56:43 +0200jlv(jlvjustinl@gateway/shell/matrix.org/x-nbdlzwzqhzqhqeta)
2020-10-08 08:56:44 +0200ciderpunx[m](ciderpunxm@gateway/shell/matrix.org/x-eiqlaujdcrrjihof)
2020-10-08 08:56:44 +0200CaptainFox[m](onianimatr@gateway/shell/matrix.org/x-qldffscxaigohrqf)
2020-10-08 08:56:44 +0200sajith[m](sajithmatr@gateway/shell/matrix.org/x-nztmgmuycmbqrvoe)
2020-10-08 08:56:44 +0200tttom[m](tttommatri@gateway/shell/matrix.org/x-vdmmnqhiwsxbsrdk)
2020-10-08 08:56:44 +0200jiribenes1(jbjiribene@gateway/shell/matrix.org/x-yrsznrpwsgeimxjz)
2020-10-08 08:56:44 +0200mmynsted[m](mmynstedtc@gateway/shell/matrix.org/x-weneqjetvglndztb)
2020-10-08 08:56:44 +0200materialfuture[m(materialfu@gateway/shell/matrix.org/x-natatakpvirpbwzh)
2020-10-08 08:56:45 +0200itai33[m](itai33matr@gateway/shell/matrix.org/x-cwbivzdyksbwtkzq)
2020-10-08 08:56:45 +0200jkaye[m](jkayematri@gateway/shell/matrix.org/x-sacwexxudjndlbhb)
2020-10-08 08:56:45 +0200mikr[m](mikrdavral@gateway/shell/matrix.org/x-ertglelnvdyfmpmz)
2020-10-08 08:56:45 +0200gmind[m](gmindmatri@gateway/shell/matrix.org/x-xxubemmtfzohlasf)
2020-10-08 08:56:45 +0200GuillaumeChrel[m(guillaumec@gateway/shell/matrix.org/x-kgpqbbuzoemsaame)
2020-10-08 08:56:45 +0200ethercrow[m](ethercrowm@gateway/shell/matrix.org/x-cngkbkqzfiyaehzq)
2020-10-08 08:56:45 +0200sepp2k(sepp2kmatr@gateway/shell/matrix.org/x-lbhxftmcyljkcwmt)
2020-10-08 08:56:45 +0200steve[m](stevetrout@gateway/shell/matrix.org/x-rgbkimcdwvsztugz)
2020-10-08 08:56:45 +0200alexfmpe(alexfmpema@gateway/shell/matrix.org/x-puoreeslprltamlk)
2020-10-08 08:56:51 +0200dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-10-08 08:57:47 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-08 08:59:07 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 240 seconds)
2020-10-08 08:59:47 +0200alp(~alp@88.126.45.36)
2020-10-08 09:00:25 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-08 09:05:51 +0200tzh(~tzh@2601:448:c500:5300::143b) (Quit: zzz)
2020-10-08 09:07:38 +0200jespada(~jespada@90.254.245.15)
2020-10-08 09:08:45 +0200taurux(~taurux@net-130-25-214-55.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2020-10-08 09:09:25 +0200jedws(~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-08 09:10:06 +0200taurux(~taurux@net-188-152-69-171.cust.dsl.teletu.it)
2020-10-08 09:10:25 +0200Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 240 seconds)
2020-10-08 09:14:22 +0200boistordu1(boistordum@gateway/shell/matrix.org/x-ewqvhlmcmyyidprx) (Quit: Idle for 30+ days)
2020-10-08 09:14:35 +0200todda7(~torstein@athedsl-4367507.home.otenet.gr) (Ping timeout: 240 seconds)
2020-10-08 09:16:00 +0200dnaos(~dan@107-190-41-58.cpe.teksavvy.com) (Quit: Leaving)
2020-10-08 09:19:01 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-08 09:19:02 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-08 09:19:02 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-08 09:19:18 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-08 09:25:47 +0200Ariakenom(~Ariakenom@193.254.193.1) (Ping timeout: 240 seconds)
2020-10-08 09:29:44 +0200macerbi[m](macerbimat@gateway/shell/matrix.org/x-zpwleyxpnqtsfatt) ("Kicked by @appservice-irc:matrix.org : Idle for 30+ days")
2020-10-08 09:33:00 +0200jespada(~jespada@90.254.245.15) (*.net *.split)
2020-10-08 09:33:00 +0200steve[m](stevetrout@gateway/shell/matrix.org/x-rgbkimcdwvsztugz) (*.net *.split)
2020-10-08 09:33:00 +0200tttom[m](tttommatri@gateway/shell/matrix.org/x-vdmmnqhiwsxbsrdk) (*.net *.split)
2020-10-08 09:33:00 +0200jiribenes1(jbjiribene@gateway/shell/matrix.org/x-yrsznrpwsgeimxjz) (*.net *.split)
2020-10-08 09:33:00 +0200jlv(jlvjustinl@gateway/shell/matrix.org/x-nbdlzwzqhzqhqeta) (*.net *.split)
2020-10-08 09:33:00 +0200jeffcasavant[m](jeffcasava@gateway/shell/matrix.org/x-ftcflntfpsfawcth) (*.net *.split)
2020-10-08 09:33:00 +0200proteusguy(~proteusgu@cm-58-10-208-180.revip7.asianet.co.th) (*.net *.split)
2020-10-08 09:33:00 +0200texasmynsted[m](mmynstedko@gateway/shell/matrix.org/x-yvkblthijyxthcsw) (*.net *.split)
2020-10-08 09:33:00 +0200Fernando-Basso[m(fernando-b@gateway/shell/matrix.org/x-usbqwwyedusymiyx) (*.net *.split)
2020-10-08 09:33:00 +0200lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-pimzqasrmmczjhys) (*.net *.split)
2020-10-08 09:33:00 +0200chele(~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (*.net *.split)
2020-10-08 09:33:00 +0200ThaEwat(thaewraptm@gateway/shell/matrix.org/x-kkakwchgdjgshfvf) (*.net *.split)
2020-10-08 09:33:00 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494) (*.net *.split)
2020-10-08 09:33:00 +0200liff(liff@kapsi.fi) (*.net *.split)
2020-10-08 09:33:00 +0200Nascha(sid212230@gateway/web/irccloud.com/x-pcsyzkuvukkkrkpv) (*.net *.split)
2020-10-08 09:33:00 +0200Raito_Bezarius(~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (*.net *.split)
2020-10-08 09:33:00 +0200cheers(user@unaffiliated/cheers) (*.net *.split)
2020-10-08 09:33:00 +0200arahael(~arahael@203.194.43.207) (*.net *.split)
2020-10-08 09:33:01 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (*.net *.split)
2020-10-08 09:33:01 +0200ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf) (*.net *.split)
2020-10-08 09:33:01 +0200joshmeredith(sid387798@gateway/web/irccloud.com/x-lhhtwrcyukiolswv) (*.net *.split)
2020-10-08 09:33:01 +0200pong(chiya@2406:3003:2077:2341::babe) (*.net *.split)
2020-10-08 09:33:01 +0200coeus(~coeus@p200300d02724ef00d20f0ecf5ac74df4.dip0.t-ipconnect.de) (*.net *.split)
2020-10-08 09:33:01 +0200nopf(~frosch@static.179.17.76.144.clients.your-server.de) (*.net *.split)
2020-10-08 09:33:01 +0200M2tias(m2@seri.fi) (*.net *.split)
2020-10-08 09:33:09 +0200liff(liff@kapsi.fi)
2020-10-08 09:33:11 +0200Nascha(sid212230@gateway/web/irccloud.com/x-edmffyxxtctzvskg)
2020-10-08 09:33:18 +0200chele(~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-10-08 09:33:31 +0200proteusguy(~proteusgu@cm-58-10-208-180.revip7.asianet.co.th)
2020-10-08 09:33:52 +0200Raito_Bezarius(~Raito_Bez@unaffiliated/raito-bezarius/x-8764578)
2020-10-08 09:34:11 +0200cheers(user@unaffiliated/cheers)
2020-10-08 09:35:48 +0200tttom[m](tttommatri@gateway/shell/matrix.org/x-tfjycddkqvetadxg)
2020-10-08 09:35:49 +0200jlv(jlvjustinl@gateway/shell/matrix.org/x-edyheupziglvmygt)
2020-10-08 09:35:49 +0200steve[m](stevetrout@gateway/shell/matrix.org/x-giosogvjuwgmzgeq)
2020-10-08 09:36:45 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2020-10-08 09:36:51 +0200macrover(~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-10-08 09:37:04 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494)
2020-10-08 09:37:19 +0200jespada(~jespada@90.254.245.15)
2020-10-08 09:37:42 +0200texasmynsted[m](mmynstedko@gateway/shell/matrix.org/x-kjavtksplelfadkn)
2020-10-08 09:38:23 +0200Ariakenom(~Ariakenom@193.254.193.1)
2020-10-08 09:38:31 +0200Fernando-Basso[m(fernando-b@gateway/shell/matrix.org/session)
2020-10-08 09:38:31 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-08 09:38:31 +0200jiribenes1(jbjiribene@gateway/shell/matrix.org/session)
2020-10-08 09:38:31 +0200jeffcasavant[m](jeffcasava@gateway/shell/matrix.org/session)
2020-10-08 09:38:31 +0200arahael(~arahael@203.194.43.207)
2020-10-08 09:38:31 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-10-08 09:38:31 +0200ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf)
2020-10-08 09:38:31 +0200joshmeredith(sid387798@gateway/web/irccloud.com/x-lhhtwrcyukiolswv)
2020-10-08 09:38:31 +0200pong(chiya@2406:3003:2077:2341::babe)
2020-10-08 09:38:31 +0200coeus(~coeus@p200300d02724ef00d20f0ecf5ac74df4.dip0.t-ipconnect.de)
2020-10-08 09:38:31 +0200nopf(~frosch@static.179.17.76.144.clients.your-server.de)
2020-10-08 09:38:31 +0200M2tias(m2@seri.fi)
2020-10-08 09:38:31 +0200jeffcasavant[m](jeffcasava@gateway/shell/matrix.org/session) (Changing host)
2020-10-08 09:38:31 +0200jeffcasavant[m](jeffcasava@gateway/shell/matrix.org/x-ksjiuklwciszscec)
2020-10-08 09:38:32 +0200jiribenes1(jbjiribene@gateway/shell/matrix.org/session) (Changing host)
2020-10-08 09:38:32 +0200jiribenes1(jbjiribene@gateway/shell/matrix.org/x-oeyhikodljyfssef)
2020-10-08 09:38:32 +0200Fernando-Basso[m(fernando-b@gateway/shell/matrix.org/session) (Changing host)
2020-10-08 09:38:32 +0200Fernando-Basso[m(fernando-b@gateway/shell/matrix.org/x-ukhpvkodxcjgraor)
2020-10-08 09:38:34 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-08 09:38:34 +0200Sigyn(sigyn@freenode/utility-bot/sigyn) (Quit: i've seen things you people wouldn't believe. spam bots on fire off the shoulder of sigyn. i watched k-line beams glitter in the dark near the Tannhäuser Gate. all these moments will be lost in time, like tears in rain. time to /die)
2020-10-08 09:39:05 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-08 09:39:17 +0200Sigyn(sigyn@freenode/utility-bot/sigyn)
2020-10-08 09:39:17 +0200ChanServ+o Sigyn
2020-10-08 09:39:40 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-08 09:41:07 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-08 09:42:07 +0200fendor(~fendor@e237-037.eduroam.tuwien.ac.at)
2020-10-08 09:44:22 +0200fendor_(~fendor@t204-126.demo.tuwien.ac.at)
2020-10-08 09:44:23 +0200tb-test(~Thunderbi@2601:14d:4100:112c:cff4:7114:bc84:3722)
2020-10-08 09:44:37 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-10-08 09:45:49 +0200ryansmccoy(~ryansmcco@156.96.151.132) (Ping timeout: 264 seconds)
2020-10-08 09:46:17 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-08 09:46:25 +0200fendor(~fendor@e237-037.eduroam.tuwien.ac.at) (Ping timeout: 240 seconds)
2020-10-08 09:46:28 +0200GyroW(~GyroW@d54c03e98.access.telenet.be)
2020-10-08 09:46:28 +0200GyroW(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-08 09:46:28 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-08 09:46:45 +0200ryansmccoy(~ryansmcco@193.37.254.27)
2020-10-08 09:46:57 +0200yoja(~yoel.jaco@89.237.109.192)
2020-10-08 09:47:03 +0200Lycurgus(~niemand@98.4.96.130) (Quit: Exeunt)
2020-10-08 09:48:05 +0200macrover(~macrover@ip70-189-231-35.lv.lv.cox.net) ("Killed buffer")
2020-10-08 09:48:46 +0200whiteline(~whiteline@unaffiliated/whiteline)
2020-10-08 09:49:24 +0200todda7(~torstein@athedsl-317312.home.otenet.gr)
2020-10-08 09:50:09 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-08 09:50:10 +0200fendor_(~fendor@t204-126.demo.tuwien.ac.at) (Quit: Leaving)
2020-10-08 09:50:11 +0200yoeljacobsen(~yoel.jaco@5.28.167.89) (Ping timeout: 240 seconds)
2020-10-08 09:51:44 +0200raichoo(~raichoo@213.240.178.58)
2020-10-08 09:53:33 +0200Saukk(~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2)
2020-10-08 09:54:07 +0200cfricke(~cfricke@unaffiliated/cfricke)
2020-10-08 09:57:16 +0200John20(~John@82.46.59.122)
2020-10-08 10:00:00 +0200cpressey(~cpressey@79-72-202-104.dynamic.dsl.as9105.com)
2020-10-08 10:00:07 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-08 10:00:38 +0200avocado(renningmat@gateway/shell/matrix.org/x-endygctswlrgzoes) (Quit: Idle for 30+ days)
2020-10-08 10:05:09 +0200Tario(~Tario@201.192.165.173)
2020-10-08 10:08:08 +0200spinnylights(~zoe@pool-100-6-142-89.pitbpa.fios.verizon.net)
2020-10-08 10:10:42 +0200 <spinnylights> hiya haskellers—if i run `stack setup` in a new stack project, it tries to pull down and build ghc 8.8.4, but the build fails due to a sanity check; the error is "Could not load module Distribution.Simple; It is a member of the hidden package Cabal-3.0.1.0"
2020-10-08 10:10:53 +0200 <spinnylights> this is on arch linux, ghc installed via ghcup
2020-10-08 10:11:17 +0200 <spinnylights> i've googled about it a bit but i've only found stuff related to people hitting errors like this on their own projects, not on ghc itself, unless i'm confused about something
2020-10-08 10:12:53 +0200 <maerwald> spinnylights: which ghc does it actually use? do you have one installed via arch repo?
2020-10-08 10:13:44 +0200 <spinnylights> if i run `which ghc` it gives the ghc installed via ghcup, which is 8.8.4; i also have ghc 8.10.2 installed globally via arch repos
2020-10-08 10:14:01 +0200hnOsmium0001(uid453710@gateway/web/irccloud.com/x-lpqxrmosfmyrgeny) (Quit: Connection closed for inactivity)
2020-10-08 10:14:03 +0200 <spinnylights> do you think stack is getting confused by that?
2020-10-08 10:14:24 +0200 <maerwald> it should use its own, unless you tell it otherwise, but not sure
2020-10-08 10:14:35 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2020-10-08 10:14:38 +0200 <spinnylights> yeah, i was under the impression that stack wouldn't use either of them
2020-10-08 10:15:18 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-10-08 10:15:26 +0200 <spinnylights> i could try telling ghcup to use 8.10.2 and see if it makes any difference i guess
2020-10-08 10:16:36 +0200 <spinnylights> seems like it still wants to pull down 8.8.4, but we'll see what happens i guess
2020-10-08 10:17:42 +0200 <spinnylights> same thing :/ this is after wiping out the ghc-tinfo6-8.8.4 stuff in ~/.stack
2020-10-08 10:17:52 +0200kritzefitz(~kritzefit@2003:5b:203b:103:367c:3073:81cb:7f0f)
2020-10-08 10:18:12 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-08 10:22:01 +0200DTZUZU_DTZUZU
2020-10-08 10:22:36 +0200borne(~fritjof@200116b864a02a00739dc2dd650b1f65.dip.versatel-1u1.de)
2020-10-08 10:23:27 +0200hackageyesod-filter 0.1.0.2 - Automatic filter generator for Yesod https://hackage.haskell.org/package/yesod-filter-0.1.0.2 (KenzoYotsuya)
2020-10-08 10:27:12 +0200 <spinnylights> i'm going to try using the nightly resolver instead and see if that makes a difference—i notice that the 8.8.4 lts release came out only 5 days ago so maybe i've hit a bug
2020-10-08 10:28:06 +0200 <maerwald> just use the previous one
2020-10-08 10:28:09 +0200 <maerwald> e.g. 16.15
2020-10-08 10:29:10 +0200 <spinnylights> okay nightly did work—i'll try 16.15 then
2020-10-08 10:29:24 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-08 10:30:32 +0200 <spinnylights> well 16.16 i guess
2020-10-08 10:33:22 +0200 <spinnylights> same thing :/ i kind of suspect it'll do this for every 8.8.4 lts resolver; let's see about the 8.8.3 lts, wonder what happens there
2020-10-08 10:33:42 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-08 10:34:07 +0200 <spinnylights> no trouble there either—seems to be specific to 8.8.4
2020-10-08 10:35:09 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com)
2020-10-08 10:35:13 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-08 10:35:13 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-08 10:35:13 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-08 10:36:05 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-08 10:36:17 +0200knupfer(~Thunderbi@200116b82ce4df00342d492c1199dfa9.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-08 10:36:40 +0200 <gentauro> is this a joke or did somebody implement "clippy"? https://asciinema.org/a/xkqfc5Fst9yC5gDaPskiNE5au xD
2020-10-08 10:37:05 +0200chaosmasttter(~chaosmast@p200300c4a70b40010854fe5f0255a133.dip0.t-ipconnect.de)
2020-10-08 10:37:29 +0200 <Taneb> gentauro: it's entirely possible that both are the cae
2020-10-08 10:37:39 +0200 <opqdonut> it's a very popular feature in kakoune I hear
2020-10-08 10:38:01 +0200 <opqdonut> originally an easter egg?
2020-10-08 10:38:30 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-08 10:39:18 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494)
2020-10-08 10:39:38 +0200 <gentauro> Taneb: `cae`? What does that mean?
2020-10-08 10:39:47 +0200 <Taneb> Typo for "case"
2020-10-08 10:39:58 +0200 <Taneb> (it's early and I didn't sleep well)
2020-10-08 10:40:03 +0200 <gentauro> aha
2020-10-08 10:40:25 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com) (Ping timeout: 264 seconds)
2020-10-08 10:41:10 +0200mcc(~pbodev1@5-15-16-231.residential.rdsnet.ro)
2020-10-08 10:41:34 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-08 10:42:13 +0200 <gentauro> I really need to find an alternative to `intero` on my NixOS. I think it's the last `stable channel` that will allow for the usage of `intero`, then I must move on (which is pretty sad)
2020-10-08 10:42:23 +0200 <gentauro> so getting a "clippy" could be fun :)
2020-10-08 10:45:58 +0200hackageopenapi3 3.0.0 - OpenAPI 3.0 data model https://hackage.haskell.org/package/openapi3-3.0.0 (maksbotan)
2020-10-08 10:49:47 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-08 10:51:08 +0200mcc(~pbodev1@5-15-16-231.residential.rdsnet.ro) (Quit: Nettalk6 - www.ntalk.de)
2020-10-08 10:53:23 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-08 10:53:38 +0200Guest_58(c317ab17@195-23-171-23.net.novis.pt)
2020-10-08 10:54:42 +0200m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-08 10:55:30 +0200mcc(~pbodev1@5-15-16-231.residential.rdsnet.ro)
2020-10-08 10:56:02 +0200 <Guest_58> i have a question. Im trying to isntall haskell on my mac, using the ghcup installer, where i just copy the link to my terminal and the code get downloaded by itself. But when its being unpacked it says that i need to update my mac, however, when i try to update it says that i have no updates avalible
2020-10-08 10:56:25 +0200uwap(~uwap@genja.uwap.name) (Quit: ZNC 1.8.0 - https://znc.in)
2020-10-08 10:57:55 +0200zebrag(~inkbottle@aaubervilliers-654-1-112-132.w86-198.abo.wanadoo.fr)
2020-10-08 10:58:26 +0200Guest_58(c317ab17@195-23-171-23.net.novis.pt) (Remote host closed the connection)
2020-10-08 10:58:50 +0200inkbottle(~inkbottle@aaubervilliers-654-1-100-191.w86-212.abo.wanadoo.fr) (Ping timeout: 272 seconds)
2020-10-08 11:00:02 +0200Oejet(~Oejet@185.163.110.116) ()
2020-10-08 11:02:13 +0200 <yushyin> maerwald: ^ ~.~
2020-10-08 11:02:23 +0200 <maerwald> I don't have a mac
2020-10-08 11:02:31 +0200 <yushyin> I know!
2020-10-08 11:03:36 +0200 <yushyin> but why is macOS + ghcup such a bad experience, or is it just the users?
2020-10-08 11:03:52 +0200 <maerwald> because of mac?
2020-10-08 11:05:21 +0200uwap(~uwap@genja.uwap.name)
2020-10-08 11:05:28 +0200hackageservant-openapi3 2.0.0 - Generate a Swagger/OpenAPI/OAS 3.0 specification for your servant API. https://hackage.haskell.org/package/servant-openapi3-2.0.0 (maksbotan)
2020-10-08 11:05:52 +0200 <tomsmeding> interesting report; maybe their hardware is old and ghc wants a newer macos version that cannot (officially) be installed on that machine?
2020-10-08 11:06:04 +0200plutoniix(~q@175.176.222.7) (Remote host closed the connection)
2020-10-08 11:07:28 +0200 <c_wraith> Part of it is that OS X has decided to split its bash configuration across two files, and ghcup often updates the wrong one
2020-10-08 11:07:45 +0200 <maerwald> that's already fixed
2020-10-08 11:07:53 +0200 <maerwald> (blatantly)
2020-10-08 11:07:55 +0200 <c_wraith> people still ask about it frequently
2020-10-08 11:08:08 +0200plutoniix(~q@175.176.222.7)
2020-10-08 11:08:45 +0200 <c_wraith> like, I remember at least two people in the last week with that issue
2020-10-08 11:10:44 +0200gnumonik(~gnumonik@c-73-170-91-210.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-10-08 11:17:10 +0200cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 246 seconds)
2020-10-08 11:17:31 +0200erikd(~erikd@hendrix.mega-nerd.net)
2020-10-08 11:17:31 +0200erikd(~erikd@hendrix.mega-nerd.net) (Remote host closed the connection)
2020-10-08 11:18:37 +0200knupfer(~Thunderbi@i5E86B40F.versanet.de)
2020-10-08 11:18:37 +0200Buntspecht(~user@unaffiliated/siracusa)
2020-10-08 11:18:40 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-08 11:21:05 +0200ryansmccoy(~ryansmcco@193.37.254.27) (Ping timeout: 240 seconds)
2020-10-08 11:21:22 +0200ryansmccoy(~ryansmcco@156.96.151.132)
2020-10-08 11:22:01 +0200sirkitree(~sirkitree@185.204.1.185)
2020-10-08 11:22:47 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-08 11:25:18 +0200dsal(sid13060@gateway/web/irccloud.com/x-xyknplqixjlyzxrc) (Ping timeout: 260 seconds)
2020-10-08 11:25:18 +0200jonrh(sid5185@gateway/web/irccloud.com/x-kooeapdfcwrhfwoh) (Ping timeout: 260 seconds)
2020-10-08 11:25:25 +0200toorevitimirp(~tooreviti@117.182.180.245) (Ping timeout: 264 seconds)
2020-10-08 11:25:30 +0200jonrh(sid5185@gateway/web/irccloud.com/x-aveafoxnyeedadix)
2020-10-08 11:25:43 +0200bloodstalker(~bloodstal@46.166.187.178) (Ping timeout: 258 seconds)
2020-10-08 11:25:53 +0200ProofTechnique(sid79547@gateway/web/irccloud.com/x-kqyovfdcbjptkkuq) (Ping timeout: 260 seconds)
2020-10-08 11:25:53 +0200verement(~anonymous@cpe-76-167-229-223.san.res.rr.com) (Ping timeout: 260 seconds)
2020-10-08 11:25:53 +0200taktoa[c](sid282096@gateway/web/irccloud.com/x-tjocifgnxfmoncuq) (Ping timeout: 260 seconds)
2020-10-08 11:26:28 +0200systemfault(sid267009@gateway/web/irccloud.com/x-dhvxgxaiixztrssx) (Ping timeout: 260 seconds)
2020-10-08 11:26:32 +0200verement(~anonymous@cpe-76-167-229-223.san.res.rr.com)
2020-10-08 11:27:03 +0200jle`(~mstksg@unaffiliated/mstksg) (Ping timeout: 260 seconds)
2020-10-08 11:27:03 +0200CindyLinz(~cindy_utf@112.121.78.20) (Ping timeout: 260 seconds)
2020-10-08 11:27:14 +0200bloodstalker(~bloodstal@46.166.187.178)
2020-10-08 11:27:36 +0200dsal(sid13060@gateway/web/irccloud.com/x-kjyjumpbtqbmmaod)
2020-10-08 11:28:04 +0200CindyLinz(~cindy_utf@112.121.78.20)
2020-10-08 11:28:34 +0200ProofTechnique(sid79547@gateway/web/irccloud.com/x-hfhkxxflhnjauuaj)
2020-10-08 11:28:34 +0200systemfault(sid267009@gateway/web/irccloud.com/x-htxicjxaklgtpnib)
2020-10-08 11:28:36 +0200taktoa[c](sid282096@gateway/web/irccloud.com/x-glimjsfxdcqvfuja)
2020-10-08 11:28:53 +0200jle`(~mstksg@unaffiliated/mstksg)
2020-10-08 11:31:20 +0200thc202(~thc202@unaffiliated/thc202)
2020-10-08 11:31:49 +0200jchia_(~jchia@58.32.35.239) (Quit: Leaving.)
2020-10-08 11:34:24 +0200christo(516071d5@81.96.113.213)
2020-10-08 11:35:53 +0200 <christo> hey guys, anyone know if i can set cabal build to default to cabal v1-build and same with other commands?
2020-10-08 11:36:24 +0200 <dcoutts> christo: you can use an older release of cabal where it still defaulted to v1
2020-10-08 11:37:57 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-08 11:38:07 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-08 11:38:07 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-08 11:38:07 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-08 11:38:17 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-08 11:39:41 +0200shatriff(~vitaliish@88.155.84.139)
2020-10-08 11:42:35 +0200Ariakenom(~Ariakenom@193.254.193.1) (Ping timeout: 240 seconds)
2020-10-08 11:42:47 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-08 11:44:27 +0200kritzefitz(~kritzefit@2003:5b:203b:103:367c:3073:81cb:7f0f) (Ping timeout: 240 seconds)
2020-10-08 11:45:08 +0200 <christo> dcoutts, you know how i can find which version defaults to v1?
2020-10-08 11:45:28 +0200 <dcoutts> christo: check the changelog, it was probably 3.0
2020-10-08 11:48:14 +0200clever(~clever@NixOS/user/clever) (Ping timeout: 272 seconds)
2020-10-08 11:50:21 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-10-08 11:51:49 +0200 <jackdk> https://hackage.haskell.org/package/cabal-install-3.2.0.0/changelog
2020-10-08 11:52:07 +0200 <jackdk> 3.0.0.0: Legacy commands are now only accessible with the `v1-` prefixes, and the `v2-`commands are the new default.
2020-10-08 11:52:29 +0200polux2001(~polux@51.15.169.172) (Quit: Ping timeout (120 seconds))
2020-10-08 11:52:47 +0200polux2001(~polux@51.15.169.172)
2020-10-08 11:53:10 +0200mcc2(~pbodev1@5-15-16-231.residential.rdsnet.ro)
2020-10-08 11:53:18 +0200bloodstalker(~bloodstal@46.166.187.178) (Ping timeout: 272 seconds)
2020-10-08 11:54:11 +0200bloodstalker(~bloodstal@46.166.187.188)
2020-10-08 11:54:29 +0200clever(~clever@NixOS/user/clever)
2020-10-08 11:55:47 +0200mcc(~pbodev1@5-15-16-231.residential.rdsnet.ro) (Ping timeout: 240 seconds)
2020-10-08 11:55:48 +0200anoe(~anoe@delanoe.org) (Remote host closed the connection)
2020-10-08 11:56:25 +0200knupfer(~Thunderbi@i5E86B40F.versanet.de) (Ping timeout: 240 seconds)
2020-10-08 11:56:27 +0200kritzefitz(~kritzefit@2003:5b:203b:100:c23e:baff:feb8:8cdb)
2020-10-08 11:57:23 +0200yoja(~yoel.jaco@89.237.109.192) (Ping timeout: 240 seconds)
2020-10-08 11:57:26 +0200 <christo> jackdk so 2.4 then?
2020-10-08 11:58:49 +0200 <jackdk> if that's what the changelog says
2020-10-08 11:59:42 +0200knupfer(~Thunderbi@i5E86B40F.versanet.de)
2020-10-08 12:00:04 +0200totallynotnate(~nate@110.137.154.49) (Quit: WeeChat 2.9)
2020-10-08 12:00:26 +0200Rudd0(~Rudd0@185.189.115.98)
2020-10-08 12:02:44 +0200 <christo> when using ghcup to install different cabal version
2020-10-08 12:02:48 +0200 <christo> is it:
2020-10-08 12:02:58 +0200 <christo> ghcup install cabal 2.4.1.0
2020-10-08 12:03:03 +0200 <christo> having issues with that
2020-10-08 12:03:16 +0200anoe(~anoe@delanoe.org)
2020-10-08 12:06:12 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds)
2020-10-08 12:06:19 +0200GyroW_(~GyroW@d54C03E98.access.telenet.be)
2020-10-08 12:06:19 +0200GyroW_(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-08 12:06:19 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-08 12:06:38 +0200 <maerwald> "having issues" isn't very specific
2020-10-08 12:07:50 +0200todda7(~torstein@athedsl-317312.home.otenet.gr) (Ping timeout: 265 seconds)
2020-10-08 12:10:10 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-08 12:10:10 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-08 12:10:10 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-08 12:10:27 +0200 <christo> ye, my bad. have it working now. thx jackdk dcoutts
2020-10-08 12:10:37 +0200todda7(~torstein@2a02:587:d3b:1b36:e92e:3500:403:694a)
2020-10-08 12:11:00 +0200 <christo> i'm trying to get haskell language server support working for the Euterpea music lib in vs code
2020-10-08 12:11:05 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-08 12:11:35 +0200 <maerwald> I'm not sure that will work with an old cabal
2020-10-08 12:12:56 +0200giaco(~jack@2-238-151-49.ip244.fastwebnet.it) (Ping timeout: 272 seconds)
2020-10-08 12:13:04 +0200 <maerwald> note that ghcup can install hls too
2020-10-08 12:13:47 +0200giaco(~jack@2-238-151-49.ip244.fastwebnet.it)
2020-10-08 12:15:49 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-10-08 12:17:07 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-08 12:18:04 +0200ryansmccoy(~ryansmcco@156.96.151.132) (Ping timeout: 246 seconds)
2020-10-08 12:18:06 +0200Gurkenglas_(~Gurkengla@unaffiliated/gurkenglas)
2020-10-08 12:18:25 +0200ryansmccoy(~ryansmcco@193.37.254.27)
2020-10-08 12:19:59 +0200 <christo> maerwald i've tried most things to get HLS to provide support for Euterpea but no luck
2020-10-08 12:20:05 +0200alp(~alp@88.126.45.36) (Ping timeout: 240 seconds)
2020-10-08 12:20:21 +0200 <christo> so for euterpea to work ghc has to be set lower, i'm uisng 8.6.4
2020-10-08 12:20:22 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-08 12:20:24 +0200 <christo> but
2020-10-08 12:20:40 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-08 12:20:40 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-08 12:20:40 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-08 12:20:45 +0200mozzarella(~sam@unaffiliated/sam113101) (Remote host closed the connection)
2020-10-08 12:20:46 +0200 <christo> euterpea only builds and works when you use the v1 style cabal commands
2020-10-08 12:21:10 +0200 <christo> i've changed cabal to 2.4.1.0 and ghc at 8.6.4
2020-10-08 12:21:16 +0200 <christo> and from the cmd line project works
2020-10-08 12:21:40 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-08 12:21:42 +0200 <christo> but haskell language server in vs code still gives me a msg saying it can't resolve Euterpea dependency
2020-10-08 12:21:59 +0200 <christo> even though the project is building from cmd line
2020-10-08 12:22:07 +0200mozzarella(~sam@unaffiliated/sam113101)
2020-10-08 12:23:44 +0200yoja(~yoel.jaco@89.237.109.192)
2020-10-08 12:23:59 +0200alp(~alp@2a01:e0a:58b:4920:4d3:fcd8:bff8:2549)
2020-10-08 12:26:57 +0200Tops2(~Tobias@dyndsl-095-033-023-047.ewe-ip-backbone.de)
2020-10-08 12:27:45 +0200knupfer1(~Thunderbi@200116b82ce4df0088357864009e671d.dip.versatel-1u1.de)
2020-10-08 12:27:46 +0200knupfer(~Thunderbi@i5E86B40F.versanet.de) (Quit: knupfer)
2020-10-08 12:27:46 +0200knupfer1knupfer
2020-10-08 12:28:16 +0200jpcooper(~user@unaffiliated/jpcooper)
2020-10-08 12:28:19 +0200jpcooper(~user@unaffiliated/jpcooper) ()
2020-10-08 12:29:08 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-08 12:29:19 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-08 12:29:19 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-08 12:29:19 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-08 12:34:43 +0200livvy(~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds)
2020-10-08 12:34:43 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-08 12:36:47 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-08 12:37:14 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-08 12:37:14 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-08 12:37:14 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-08 12:37:31 +0200worc3131(~quassel@2a02:c7f:c026:9500:7d0b:65d0:38a4:4786) (Ping timeout: 272 seconds)
2020-10-08 12:38:12 +0200__monty__(~toonn@unaffiliated/toonn)
2020-10-08 12:38:27 +0200hackageHsOpenSSL 0.11.4.20 - Partial OpenSSL binding for Haskell https://hackage.haskell.org/package/HsOpenSSL-0.11.4.20 (VladimirShabanov)
2020-10-08 12:38:42 +0200Ariakenom(~Ariakenom@193.254.193.1)
2020-10-08 12:41:14 +0200nemesit|znc(~nemesit@2a01:488:66:1000:2ea3:4eeb:0:1)
2020-10-08 12:41:19 +0200matthias_goergen(ca85cca7@202.133.204.167)
2020-10-08 12:41:27 +0200tb-test(~Thunderbi@2601:14d:4100:112c:cff4:7114:bc84:3722) (Ping timeout: 260 seconds)
2020-10-08 12:41:44 +0200matthias_goergenmatthiasgoergens
2020-10-08 12:41:53 +0200matthiasgoergensmatthias_gorgens
2020-10-08 12:43:18 +0200 <matthias_gorgens> Hello! I have a monad computation that runs in RWS. Specifically, for the config provided by the Reader bit, I have a list of values. So I typically run my RWS computation multiple times.
2020-10-08 12:43:43 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-08 12:43:55 +0200ericsagnes(~ericsagne@2405:6580:0:5100:11f9:52f9:c5f:a031) (Ping timeout: 240 seconds)
2020-10-08 12:44:25 +0200 <matthias_gorgens> Now I want to add the ability for my computations to communicate: basically somehow add an operation `collect :: a -> m [a]` that you give a value and that returns the values given by your own computation and those of all the other computations running in lockstep.
2020-10-08 12:44:46 +0200 <matthias_gorgens> (It's fine for `collect` to fail, if the different computations somehow get out of lockstep.)
2020-10-08 12:44:52 +0200 <matthias_gorgens> Any idea how to implement this?
2020-10-08 12:45:12 +0200 <matthias_gorgens> I am thinking of something with coroutines or continuations.
2020-10-08 12:47:32 +0200 <matthias_gorgens> (If I need to restrict the values that `collect` can transmit to a single type, that's not ideal, but still ok.)
2020-10-08 12:48:37 +0200 <davean> christo: euterpea only builds with v1 commands?
2020-10-08 12:49:18 +0200yoja(~yoel.jaco@89.237.109.192) (Ping timeout: 260 seconds)
2020-10-08 12:49:32 +0200 <maerwald> it looks like an abandoned project
2020-10-08 12:56:33 +0200ericsagnes(~ericsagne@2405:6580:0:5100:1051:6dd6:ffb:a01a)
2020-10-08 12:56:45 +0200Stanley00(~stanley00@unaffiliated/stanley00) ()
2020-10-08 12:57:06 +0200 <davean> christo: I just build it with v2-build, I think you might be confused about the problem
2020-10-08 12:59:41 +0200 <christo> davean i mean, i want to use the package in a personal cabal project and have haskell language support for the Euterpea API
2020-10-08 13:00:07 +0200 <christo> i want to use the Euterpea package in a personal cabal project as a dependency*
2020-10-08 13:00:26 +0200 <davean> Right, so?
2020-10-08 13:00:43 +0200jbomo(~dkd@47.155.81.252)
2020-10-08 13:01:31 +0200 <christo> whenever i use the package as a dependency i always get a cannot resolve dependency error from HLS in vs code and it breaks/or interrupts rather all of other code suggestion support through the project
2020-10-08 13:01:35 +0200Dungdv(abf4bce2@gateway/web/cgi-irc/kiwiirc.com/ip.171.244.188.226) (Quit: Connection closed)
2020-10-08 13:02:44 +0200 <christo> i want ide features with coding a euterpea project basically
2020-10-08 13:02:57 +0200 <davean> Right so why do you think this has to do with v1 vs v2?
2020-10-08 13:03:16 +0200jbomo(~dkd@47.155.81.252) ()
2020-10-08 13:03:20 +0200 <christo> on the website it said euterpea only builds with v1
2020-10-08 13:03:29 +0200 <christo> or the package as a dependency does
2020-10-08 13:03:39 +0200 <christo> haskell language server
2020-10-08 13:03:45 +0200 <christo> by default calls cabal build
2020-10-08 13:03:51 +0200 <christo> when doing checks i think
2020-10-08 13:03:54 +0200 <christo> not v1-build
2020-10-08 13:05:50 +0200 <christo> maybe only way around this is to build the Euterpea project itself so i can get code completetion/suggestions?
2020-10-08 13:06:08 +0200 <christo> and create my own files within the project for playing around with it
2020-10-08 13:08:07 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds)
2020-10-08 13:08:23 +0200christo(516071d5@81.96.113.213) (Remote host closed the connection)
2020-10-08 13:08:41 +0200Zetagon(~leo@c151-177-52-233.bredband.comhem.se)
2020-10-08 13:08:48 +0200toorevitimirp(~tooreviti@117.182.180.245)
2020-10-08 13:11:27 +0200 <davean> The issue is just its Setup, you can build it with v2 just fine, just specify the Cabal version.
2020-10-08 13:12:07 +0200 <yushyin> they left :/
2020-10-08 13:12:14 +0200cfricke(~cfricke@unaffiliated/cfricke)
2020-10-08 13:13:49 +0200 <davean> I think they just really wanted to think the problem was what they thought it was :/
2020-10-08 13:17:57 +0200wei2912(~wei2912@unaffiliated/wei2912) (Quit: Lost terminal)
2020-10-08 13:18:11 +0200xsperry(~as@unaffiliated/xsperry) (Ping timeout: 240 seconds)
2020-10-08 13:18:40 +0200urodna(~urodna@unaffiliated/urodna)
2020-10-08 13:20:17 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-08 13:22:02 +0200shatriff_(~vitaliish@193.239.152.9)
2020-10-08 13:23:07 +0200todda7(~torstein@2a02:587:d3b:1b36:e92e:3500:403:694a) (Ping timeout: 272 seconds)
2020-10-08 13:23:23 +0200Franciman(~francesco@host-95-247-31-62.retail.telecomitalia.it)
2020-10-08 13:24:45 +0200shatriff(~vitaliish@88.155.84.139) (Ping timeout: 240 seconds)
2020-10-08 13:25:07 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-08 13:27:43 +0200cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-08 13:28:17 +0200machinedgod(~machinedg@24.105.81.50)
2020-10-08 13:29:58 +0200hackagehsinspect 0.0.17 - Inspect Haskell source files. https://hackage.haskell.org/package/hsinspect-0.0.17 (tseenshe)
2020-10-08 13:31:12 +0200roconnor(~roconnor@host-45-78-225-249.dyn.295.ca)
2020-10-08 13:32:08 +0200alp(~alp@2a01:e0a:58b:4920:4d3:fcd8:bff8:2549) (Remote host closed the connection)
2020-10-08 13:32:33 +0200alp(~alp@2a01:e0a:58b:4920:490:f804:4532:9fca)
2020-10-08 13:32:52 +0200shatriff_(~vitaliish@193.239.152.9) (Remote host closed the connection)
2020-10-08 13:35:57 +0200ericsagnes(~ericsagne@2405:6580:0:5100:1051:6dd6:ffb:a01a) (Ping timeout: 260 seconds)
2020-10-08 13:37:17 +0200ClaudiusMaximus(~claude@198.123.199.146.dyn.plus.net)
2020-10-08 13:37:53 +0200jedws(~jedws@121.209.161.98)
2020-10-08 13:37:57 +0200ClaudiusMaximus(~claude@198.123.199.146.dyn.plus.net) (Changing host)
2020-10-08 13:37:57 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2020-10-08 13:39:52 +0200hekkaidekapus[(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-08 13:40:15 +0200jedws(~jedws@121.209.161.98) (Client Quit)
2020-10-08 13:41:43 +0200hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-08 13:44:23 +0200rprije(~rprije@203.214.95.251) (Ping timeout: 256 seconds)
2020-10-08 13:48:05 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Quit: cosimone)
2020-10-08 13:48:18 +0200ericsagnes(~ericsagne@2405:6580:0:5100:d198:9f67:639d:eb47)
2020-10-08 13:50:28 +0200alx741(~alx741@186.178.110.191) (Ping timeout: 272 seconds)
2020-10-08 13:50:58 +0200tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net) ()
2020-10-08 13:52:31 +0200nuh^(nuh@ip98-184-89-2.mc.at.cox.net)
2020-10-08 13:58:13 +0200ericsagnes(~ericsagne@2405:6580:0:5100:d198:9f67:639d:eb47) (Quit: WeeChat 2.7.1)
2020-10-08 13:58:38 +0200ericsagnes(~ericsagne@2405:6580:0:5100:d198:9f67:639d:eb47)
2020-10-08 13:59:29 +0200ericsagnes(~ericsagne@2405:6580:0:5100:d198:9f67:639d:eb47) (Client Quit)
2020-10-08 13:59:50 +0200ericsagnes(~ericsagne@2405:6580:0:5100:d198:9f67:639d:eb47)
2020-10-08 14:00:01 +0200sirkitree(~sirkitree@185.204.1.185) ()
2020-10-08 14:01:45 +0200chaosmasttter(~chaosmast@p200300c4a70b40010854fe5f0255a133.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-08 14:02:43 +0200alx741(~alx741@186.178.110.231)
2020-10-08 14:06:27 +0200cpressey(~cpressey@79-72-202-104.dynamic.dsl.as9105.com) (Quit: Lunch)
2020-10-08 14:08:07 +0200seanvert(~user@177.84.244.242)
2020-10-08 14:10:54 +0200matthias_gorgens(ca85cca7@202.133.204.167) (Ping timeout: 245 seconds)
2020-10-08 14:11:33 +0200plutoniix(~q@175.176.222.7) (Quit: Leaving)
2020-10-08 14:12:18 +0200dyeplexer(~lol@unaffiliated/terpin)
2020-10-08 14:13:18 +0200 <Tario> Alright, thank you sm! I'll take a look on the repos wiki
2020-10-08 14:14:19 +0200 <codedmart> I am trying to use http-conduit to download a file and stream to s3 using amazonka-s3-streaming. I am seeing this error: https://gist.github.com/codedmart/d3c5f008c4a8ad27b24e649f8771a590
2020-10-08 14:14:38 +0200 <codedmart> Anyone that can provide some ideas/clues to what I am missing here.
2020-10-08 14:15:10 +0200rihards(~rihards@balticom-142-78-50.balticom.lv) (Quit: rihards)
2020-10-08 14:15:25 +0200carlomagno(~cararell@inet-hqmc02-o.oracle.com)
2020-10-08 14:17:24 +0200 <jackdk> codedmart: looks like the commit that fixes the problem -- https://github.com/brendanhay/amazonka/commit/83dc7ad38a76e1db5f2490d7c7d8e269df8976aa -- hasn't yet made it into an amazonka release.
2020-10-08 14:18:13 +0200 <codedmart> jackdk Ah I missed that :(. Thanks!
2020-10-08 14:19:04 +0200 <jackdk> yeah, the slow rate of PR merges in amazonka is a tragedy
2020-10-08 14:19:37 +0200 <sshine> I'm getting a type error I don't understand. http://pastie.org/p/3PpeaPreqcmDAG87HAFhVD - https://github.com/sshine/dagger2/blob/more-foldfix/src/Dagger/Contract/Traversal.hs - somewhere in my code, word = Integer gets assumed, but I don't know why.
2020-10-08 14:20:51 +0200NinjaTrappeur1(~ninja@unaffiliated/ninjatrappeur)
2020-10-08 14:21:27 +0200xsperry(~as@unaffiliated/xsperry)
2020-10-08 14:21:44 +0200Lthere(~Lthere@185.244.214.216)
2020-10-08 14:21:48 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-08 14:21:56 +0200 <siraben> How do I get `[Maybe String]` out of a prism? I ahve `myCSV ^? namedCsv . rows . column @String "Timestamp"` but it gives me a single result.
2020-10-08 14:22:01 +0200NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur) (Ping timeout: 272 seconds)
2020-10-08 14:22:03 +0200bloodstalker(~bloodstal@46.166.187.188) (Ping timeout: 260 seconds)
2020-10-08 14:23:06 +0200fendor(~fendor@e237-037.eduroam.tuwien.ac.at)
2020-10-08 14:23:43 +0200John20(~John@82.46.59.122) (Ping timeout: 246 seconds)
2020-10-08 14:24:12 +0200Dungdv(01346eb4@gateway/web/cgi-irc/kiwiirc.com/ip.1.52.110.180)
2020-10-08 14:24:26 +0200st8less(~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c)
2020-10-08 14:24:33 +0200 <carbolymer> how lightweight is thread from forkIO? i need to push data to rabbitmq (couple times per second) and I plan to wrap each call in `async` - is it a good idea or would it be better to create channel/queue and separate long-living thread to read from that queue and push to rabbit?
2020-10-08 14:25:45 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-08 14:26:34 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-08 14:26:52 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-08 14:27:29 +0200 <sshine> hmm, it seems that I'm messing up mutually recursing two Fix types a slight bit...
2020-10-08 14:27:48 +0200 <sshine> hi siraben :)
2020-10-08 14:28:07 +0200 <siraben> Hi sshine
2020-10-08 14:28:07 +0200sshinedoesn't know lenses.
2020-10-08 14:28:25 +0200 <siraben> sshine: the github link seems broken?
2020-10-08 14:28:26 +0200oisdk(~oisdk@2001:bb6:3329:d100:9cdf:5974:56ad:fa2f)
2020-10-08 14:28:31 +0200 <sshine> eh.
2020-10-08 14:28:34 +0200 <sshine> d'oh.
2020-10-08 14:29:07 +0200 <sshine> there!
2020-10-08 14:29:12 +0200ixlun(~matthew@213.205.241.94)
2020-10-08 14:29:28 +0200 <siraben> Why is it called foldFix instead of cata now?
2020-10-08 14:29:48 +0200knupfer(~Thunderbi@200116b82ce4df0088357864009e671d.dip.versatel-1u1.de) (Remote host closed the connection)
2020-10-08 14:29:50 +0200 <sshine> they changed it in 0.3, I think
2020-10-08 14:29:56 +0200knupfer(~Thunderbi@200116b82ce4df008572ba0750ed6f70.dip.versatel-1u1.de)
2020-10-08 14:30:02 +0200 <siraben> catamorphism is standard terminology in literature
2020-10-08 14:30:03 +0200 <siraben> Heh
2020-10-08 14:30:03 +0200Saukk(~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2) (Remote host closed the connection)
2020-10-08 14:30:10 +0200fendor_(~fendor@t204-126.demo.tuwien.ac.at)
2020-10-08 14:30:12 +0200 <sshine> I don't know... maybe the foobarmorphisms sound scary.
2020-10-08 14:30:15 +0200 <sshine> sure
2020-10-08 14:30:27 +0200 <sshine> I am certainly confused. :-D
2020-10-08 14:30:56 +0200 <siraben> sshine: what's the function supposed to do?
2020-10-08 14:31:03 +0200fendor(~fendor@e237-037.eduroam.tuwien.ac.at) (Ping timeout: 260 seconds)
2020-10-08 14:31:23 +0200nuh^(nuh@ip98-184-89-2.mc.at.cox.net) ()
2020-10-08 14:31:43 +0200[exa]writes down foobarmorphism as a general morphism placeholder
2020-10-08 14:32:01 +0200aarvar(~foewfoiew@50.35.43.33) (Ping timeout: 258 seconds)
2020-10-08 14:32:09 +0200cfricke(~cfricke@unaffiliated/cfricke)
2020-10-08 14:32:25 +0200tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net)
2020-10-08 14:33:03 +0200 <sshine> siraben, gather a list of transfers identified by their parameter. so initially a [(asset, party)]. but because of other combinators, I'm actually gathering an [(asset, party, Expr word oracle)] with Expr being another Fix type. what I think I'm forgetting is to add 'Fix' to the value 'Const 1'.
2020-10-08 14:33:17 +0200chaosmasttter(~chaosmast@p200300c4a70b40010854fe5f0255a133.dip0.t-ipconnect.de)
2020-10-08 14:33:30 +0200 <[exa]> carbolymer: forkIO is almost free, these threads are very "green". by the `thread` for comparison, y[4~ou mean an actual spawned pthread?
2020-10-08 14:33:35 +0200 <sshine> siraben, this is my first use of Data.Fix, so I'm not sured to wrap everything in Fix.
2020-10-08 14:33:37 +0200 <siraben> sshine: yes that would appear to fix the type error
2020-10-08 14:33:43 +0200Ariakenom(~Ariakenom@193.254.193.1) (Ping timeout: 260 seconds)
2020-10-08 14:34:41 +0200 <sshine> that Fix'ed it.
2020-10-08 14:34:59 +0200 <siraben> Interesting, why use Data.Fix over the recursion schemes library?
2020-10-08 14:35:20 +0200 <sshine> I don't know yet. I have only tried one and not the other. :) I did look at recursion-schemes earlier.
2020-10-08 14:35:45 +0200 <yushyin> (recursion schemes calls it cata)
2020-10-08 14:35:48 +0200knupfer(~Thunderbi@200116b82ce4df008572ba0750ed6f70.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-08 14:35:58 +0200knupfer(~Thunderbi@200116b82ce4df00a491ec6bd8ca5a82.dip.versatel-1u1.de)
2020-10-08 14:36:05 +0200knupfer(~Thunderbi@200116b82ce4df00a491ec6bd8ca5a82.dip.versatel-1u1.de) (Client Quit)
2020-10-08 14:36:19 +0200 <sshine> doesn't recursion-schemes mainly provide ListF, NonEmptyF, TreeF? this is a specific AST type...
2020-10-08 14:36:20 +0200 <siraben> sshine: I like recursion schemes because it matches the theoretical background better
2020-10-08 14:36:21 +0200knupfer(~Thunderbi@200116b82ce4df00593bab4749daa8c7.dip.versatel-1u1.de)
2020-10-08 14:36:28 +0200knupfer(~Thunderbi@200116b82ce4df00593bab4749daa8c7.dip.versatel-1u1.de) (Client Quit)
2020-10-08 14:36:38 +0200 <sshine> siraben, "matches the theoretical background better" = uses cata, para, hylo naming?
2020-10-08 14:36:38 +0200knupfer(~Thunderbi@200116b82ce4df00d51320b28b670a21.dip.versatel-1u1.de)
2020-10-08 14:36:46 +0200 <siraben> data ListF a b = Nil | Cons a b; type instance Base [a] = ListF a, which makes the concept of initial algebra for lists
2020-10-08 14:36:50 +0200knupfer(~Thunderbi@200116b82ce4df00d51320b28b670a21.dip.versatel-1u1.de) (Client Quit)
2020-10-08 14:36:51 +0200 <siraben> clearer*
2020-10-08 14:36:58 +0200knupfer(~Thunderbi@200116b82ce4df00e02e11e95168b2ca.dip.versatel-1u1.de)
2020-10-08 14:37:05 +0200knupfer(~Thunderbi@200116b82ce4df00e02e11e95168b2ca.dip.versatel-1u1.de) (Client Quit)
2020-10-08 14:37:08 +0200 <sshine> ah
2020-10-08 14:37:27 +0200knupfer(~Thunderbi@200116b82ce4df0054f91f9fd769e65c.dip.versatel-1u1.de)
2020-10-08 14:37:30 +0200 <sshine> I'm not sure how to use recursion-schemes on arbitrary syntax trees that aren't lists and rose-trees.
2020-10-08 14:37:58 +0200shatriff(~vitaliish@88.155.84.139)
2020-10-08 14:38:14 +0200knupfer(~Thunderbi@200116b82ce4df0054f91f9fd769e65c.dip.versatel-1u1.de) (Client Quit)
2020-10-08 14:39:24 +0200 <siraben> sshine: Similar to how you did it in src/Dagger/Contract.hs, define the base functor then `Fix` it
2020-10-08 14:39:36 +0200knupfer(~Thunderbi@200116b82ce4df004016f923e09abad3.dip.versatel-1u1.de)
2020-10-08 14:39:52 +0200 <siraben> Argh, lenses have such poor type errors
2020-10-08 14:39:58 +0200livvy(~livvy@gateway/tor-sasl/livvy)
2020-10-08 14:41:32 +0200cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 265 seconds)
2020-10-08 14:41:35 +0200John20(~John@82.46.59.122)
2020-10-08 14:41:35 +0200 <sshine> ah, I wasn't looking in Data.Functor.Foldable.TH which appears to have the recipe for doing this to your own type... I try to avoid TH when I can get most without.
2020-10-08 14:41:45 +0200 <sshine> siraben, optics!
2020-10-08 14:42:34 +0200 <siraben> sshine: oh great, now the code would look even more natural than writing in open recursive style
2020-10-08 14:42:55 +0200 <sshine> siraben, apropos?
2020-10-08 14:43:17 +0200 <siraben> apropos?
2020-10-08 14:43:32 +0200 <sshine> oh you mean using data-fix / recursion-schemes is a boon?
2020-10-08 14:43:37 +0200 <sshine> it certainly seems so :)
2020-10-08 14:43:37 +0200 <siraben> sshine: Oh I was referring to your TH discovery
2020-10-08 14:43:40 +0200 <sshine> ah
2020-10-08 14:44:42 +0200 <siraben> IMO using these abstractions are nice but when they start impacting readability for others, I weigh that too. Even beginner Haskellers can read a normal `Expr a` declaration, so that's great.
2020-10-08 14:44:52 +0200 <sshine> yes.
2020-10-08 14:45:23 +0200 <sshine> I'm still evaluating whether Fix will mess up things or make things easier for people less experienced than myself.
2020-10-08 14:45:59 +0200 <sshine> there will be a bunch of 'Fix' constructors, like the bug I experienced, that will clutter the view.
2020-10-08 14:47:14 +0200 <siraben> sshine: Is this a new smart contract language?
2020-10-08 14:47:16 +0200 <sshine> I compared the optparse-generic library with/without TH magic for type-level --help hints... there is very little overhead and it is easily extensible without having to understand how it does what it does.
2020-10-08 14:47:36 +0200 <sshine> siraben, no, it's the same. I'm just generalising the Contract type so that it can more easily target multiple blockchains.
2020-10-08 14:47:44 +0200 <troydm> hey guys! I'm trying to implement show for IOUArray and I'm getting ‘show’ is not a (visible) method of class ‘IOUArray’, with GHC 8.2.2, any suggestions&
2020-10-08 14:47:46 +0200 <troydm> ?
2020-10-08 14:48:08 +0200 <carbolymer> [exa], thanks; by long-living thread I meant another thread from forkIO - but If they're very "green" I think wrapping each rabbimq publish in `async` will be fine in my case;)
2020-10-08 14:48:29 +0200 <sshine> siraben, also, the original author of the compiler simplified a few things and I added let-expressions.
2020-10-08 14:49:04 +0200 <sshine> siraben, but it's mostly the same concept, just different ideas of execution runtimes. :)
2020-10-08 14:49:15 +0200 <sshine> siraben, how's your macro language going?
2020-10-08 14:49:40 +0200 <siraben> sshine: Perhaps we should move this conversation to the evm-lang-design gitter channel
2020-10-08 14:50:16 +0200 <[exa]> carbolymer: yeah, in fact that's the recommended way for network programming afaik
2020-10-08 14:50:28 +0200hackagestylish-haskell 0.12.2.0 - Haskell code prettifier https://hackage.haskell.org/package/stylish-haskell-0.12.2.0 (JasperVanDerJeugt)
2020-10-08 14:50:57 +0200 <carbolymer> [exa], to spawn new threads when pushing things to avoid blocking?
2020-10-08 14:50:57 +0200jonatanb(~jonatanb@79.184.190.239.ipv4.supernova.orange.pl)
2020-10-08 14:51:47 +0200 <[exa]> carbolymer: yeah, the threads are cheap and the internal eventloop is pretty good. you may also check the rabbitmq wrapper, I'd expect that it already does something like that internally
2020-10-08 14:51:57 +0200hackagenetwork-transport-tests 0.3.0 - Unit tests for Network.Transport implementations https://hackage.haskell.org/package/network-transport-tests-0.3.0 (FacundoDominguez)
2020-10-08 14:52:38 +0200 <[exa]> troydm: can you share a bit of code that doesn't work? (first guess, are you writing the instance of Show?)
2020-10-08 14:54:36 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-08 14:55:21 +0200 <carbolymer> [exa], you mean amqp library? the publishMsg pushes message to mvar and blocks, hence why I want to wrap it in async
2020-10-08 14:56:14 +0200 <troydm> [exa]: https://pastebin.com/BZ08cd7X
2020-10-08 14:56:17 +0200 <troydm> [exa]: yes
2020-10-08 14:56:38 +0200aarvar(~foewfoiew@50.35.43.33)
2020-10-08 14:56:39 +0200 <[exa]> carbolymer: maybe better have a channel for throwing the messages at, and a "worker thread" that just forwards the stuff to publishMsg ?
2020-10-08 14:57:37 +0200 <carbolymer> [exa], yep, but if those threads are so "green" is it worth the effort to implement this "worker thread"?
2020-10-08 14:57:51 +0200 <[exa]> carbolymer: I wouldn't bother until there's a proof that it's too slow
2020-10-08 14:58:05 +0200 <carbolymer> [exa], that's exactly my reasoning ;)
2020-10-08 14:58:07 +0200 <[exa]> how many thousand messages per second do you want to pass through? :D
2020-10-08 14:58:26 +0200 <jackdk> sshine: if you're doing languagey-stuff with recursion schemes, this post might interest you: http://newartisans.com/2018/04/win-for-recursion-schemes/
2020-10-08 14:58:33 +0200knupfer(~Thunderbi@200116b82ce4df004016f923e09abad3.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-08 14:58:42 +0200knupfer(~Thunderbi@200116b82ce4df0065b7390434ba158b.dip.versatel-1u1.de)
2020-10-08 14:59:05 +0200 <carbolymer> [exa], a dozen of messages per second in high traffic ;]
2020-10-08 14:59:18 +0200 <[exa]> troydm: okay, you need to write a Show behind the =>, this way you are instancing IOUArray typeclass
2020-10-08 14:59:28 +0200 <[exa]> carbolymer: </care>
2020-10-08 14:59:43 +0200 <carbolymer> yeah
2020-10-08 15:00:17 +0200 <troydm> [exa]: oic
2020-10-08 15:00:48 +0200 <[exa]> troydm: I guess the instance should read "If the HType e is showable, IOUArray i e should also be showable" right?
2020-10-08 15:01:33 +0200 <troydm> [exa]: yeah, well, sometimes I have no idea what I'm writing and if it compiles it usually works, but I have no idea how it works
2020-10-08 15:02:33 +0200 <troydm> [exa]: I just need to make instance of IOUArray Int64 HType showable
2020-10-08 15:02:44 +0200 <troydm> [exa]: and I'm bit struggling
2020-10-08 15:02:52 +0200chaosmasttter(~chaosmast@p200300c4a70b40010854fe5f0255a133.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-08 15:03:16 +0200cpressey(~cpressey@79-72-202-104.dynamic.dsl.as9105.com)
2020-10-08 15:03:28 +0200 <[exa]> troydm: you are using HType there as a higher-order type constant, which it is not. I guess you want:
2020-10-08 15:03:30 +0200seanvert(~user@177.84.244.242) (Read error: Connection reset by peer)
2020-10-08 15:03:37 +0200 <sshine> jackdk, thanks! I am.
2020-10-08 15:04:10 +0200 <[exa]> troydm: instance Show e => Show (IOUArray i e) where .... (which says "IOUArray of e's is showable if there's a way of showing he e's)
2020-10-08 15:04:28 +0200 <[exa]> *the
2020-10-08 15:05:05 +0200Gurkenglas_(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-10-08 15:06:05 +0200 <sshine> jackdk, excellent article, thank you. :)
2020-10-08 15:06:13 +0200 <sshine> jackdk, I
2020-10-08 15:06:20 +0200 <sshine> jackdk, I'll look into it and do a comparison.
2020-10-08 15:06:26 +0200 <troydm> [exa]: Could not deduce (MArray IOUArray e [])
2020-10-08 15:06:28 +0200 <troydm> arising from a use of ‘getElems’
2020-10-08 15:06:33 +0200 <troydm> [exa]: is what I get
2020-10-08 15:06:45 +0200 <troydm> [exa]: when I change it to what you've suggested
2020-10-08 15:06:52 +0200 <[exa]> ok we're getting closer
2020-10-08 15:07:03 +0200 <troydm> [exa]: which is a bit confusing
2020-10-08 15:07:09 +0200chaosmasttter(~chaosmast@p200300c4a70b40010854fe5f0255a133.dip0.t-ipconnect.de)
2020-10-08 15:07:33 +0200 <[exa]> it also needs some assurance that you are not running this on an array that wouldn't have a workable getElems
2020-10-08 15:08:01 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net)
2020-10-08 15:08:26 +0200 <[exa]> troydm: (also that `i` is an actual index as in Ix )
2020-10-08 15:08:51 +0200 <[exa]> you can have a look at the type of getElems here https://hackage.haskell.org/package/array-0.5.4.0/docs/Data-Array-MArray.html#v:getElems to see how much assurance it requires to work
2020-10-08 15:08:56 +0200jedws(~jedws@121.209.161.98)
2020-10-08 15:10:14 +0200 <[exa]> you actually need to declare your typeclass instance with the same (or stricter) conditions, because otherwise you'd be "promising" to deliver instances that can not work
2020-10-08 15:11:42 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-10-08 15:12:17 +0200 <[exa]> so in our case, the instance should read, very roughly: If `i` is an Ix index, if `e` is showable by Show, and if the IOUArray forms a `MArray IOUArray e m` for some `m`, you can also show `IOUArray i e`
2020-10-08 15:12:23 +0200shatriff(~vitaliish@88.155.84.139) (Remote host closed the connection)
2020-10-08 15:13:23 +0200hololeap(~hololeap@unaffiliated/hololeap) (Ping timeout: 240 seconds)
2020-10-08 15:13:51 +0200 <[exa]> now you should notice the obvious problem; `getElems` is a monadic action of the monad `m`, I'm not sure you'll be able to fit that into a normal `show` that must return a "pure" String
2020-10-08 15:16:01 +0200 <troydm> [exa]: No instance for (MArray IOUArray HType []) <= what's [] in this?
2020-10-08 15:16:13 +0200ddellacosta(~dd@86.106.121.168)
2020-10-08 15:16:35 +0200Habib(~Habib@178.239.161.88)
2020-10-08 15:16:45 +0200 <[exa]> troydm: you are trying to use `map show` on `m e` returned from getElems, so it assumes that you know what are you doing and that m==[]
2020-10-08 15:17:07 +0200chaosmasttter(~chaosmast@p200300c4a70b40010854fe5f0255a133.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-08 15:17:12 +0200 <troydm> [exa]: ohh fuck I've missed that m a part of getElems
2020-10-08 15:17:14 +0200 <[exa]> obviously that MArray instance does not exist, I assume it will require `m` to be IO or something similarly powerful
2020-10-08 15:17:26 +0200 <troydm> [exa]: are there any good MArray examples out there
2020-10-08 15:17:51 +0200 <[exa]> yeah, as MVector... :]
2020-10-08 15:17:57 +0200 <troydm> ohh I've could do the obvious, unsafeIOPerform
2020-10-08 15:18:03 +0200 <[exa]> please don't :D
2020-10-08 15:18:16 +0200 <[exa]> btw why do you need the thing mutable?
2020-10-08 15:19:12 +0200 <troydm> [exa]: well I'm trying to write R7RS scheme interpreter, so I need a vector elements to be mutable
2020-10-08 15:19:26 +0200seanvert(~user@177.84.244.242)
2020-10-08 15:19:47 +0200spew(uid195861@gateway/web/irccloud.com/x-ypeilgetepuhkpyp)
2020-10-08 15:22:24 +0200 <troydm> [exa]: well, even with unsafePerformIO, I get No instance for (MArray IOUArray HType IO)
2020-10-08 15:23:07 +0200 <dminuoso> Is there a way to have `foo $ \do -> \n ...` with the following block at the same indention as `foo`?
2020-10-08 15:23:23 +0200 <dminuoso> I have the problem of deeply nested callbacks here
2020-10-08 15:23:28 +0200 <dminuoso> Or is ContT my only solution here?
2020-10-08 15:24:33 +0200knupfer(~Thunderbi@200116b82ce4df0065b7390434ba158b.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-08 15:24:46 +0200knupfer(~Thunderbi@200116b82ce4df007893e071bdb5e1dd.dip.versatel-1u1.de)
2020-10-08 15:25:50 +0200knupfer1(~Thunderbi@200116b82ce4df00b8b6b0ef9e67ac14.dip.versatel-1u1.de)
2020-10-08 15:25:51 +0200knupfer(~Thunderbi@200116b82ce4df007893e071bdb5e1dd.dip.versatel-1u1.de) (Read error: Connection reset by peer)
2020-10-08 15:25:51 +0200knupfer1knupfer
2020-10-08 15:26:42 +0200knupfer(~Thunderbi@200116b82ce4df00b8b6b0ef9e67ac14.dip.versatel-1u1.de) (Client Quit)
2020-10-08 15:26:51 +0200knupfer(~Thunderbi@200116b82ce4df00300ce483b7c28dd1.dip.versatel-1u1.de)
2020-10-08 15:28:08 +0200mav1(~mav@ip-88-152-10-227.hsi03.unitymediagroup.de)
2020-10-08 15:28:26 +0200solonarv(~solonarv@adijon-655-1-70-207.w90-13.abo.wanadoo.fr)
2020-10-08 15:28:27 +0200jedws(~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-08 15:28:46 +0200martin02(silas@hund.fs.lmu.de) (Quit: WeeChat 2.3)
2020-10-08 15:29:17 +0200 <[exa]> troydm: okay, then it should _not_ have any showable representation, a mutable state cannot be exported. Just supply a dummy
2020-10-08 15:29:26 +0200shatriff(~vitaliish@88.155.187.71)
2020-10-08 15:29:39 +0200Ariakenom(~Ariakenom@193.254.193.1)
2020-10-08 15:30:21 +0200sirfrankiecrisp6(2e8c01af@46.140.1.175)
2020-10-08 15:30:45 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 15:31:26 +0200sirfrankiecrisp6(2e8c01af@46.140.1.175) (Remote host closed the connection)
2020-10-08 15:32:03 +0200sirfrankiecrisp(~user@46.140.1.175)
2020-10-08 15:32:21 +0200seanvert(~user@177.84.244.242) (Remote host closed the connection)
2020-10-08 15:33:03 +0200andreas303(~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds)
2020-10-08 15:34:04 +0200martin02(silas@hund.fs.lmu.de)
2020-10-08 15:34:32 +0200knupfer(~Thunderbi@200116b82ce4df00300ce483b7c28dd1.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-08 15:34:41 +0200sirfrankiecrisp(~user@46.140.1.175) (Remote host closed the connection)
2020-10-08 15:34:48 +0200knupfer(~Thunderbi@200116b82ce4df0089eeab40cb981b9d.dip.versatel-1u1.de)
2020-10-08 15:34:57 +0200Amras(~Amras@unaffiliated/amras0000)
2020-10-08 15:35:15 +0200fendor_fendor
2020-10-08 15:35:40 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-08 15:37:11 +0200knupfer(~Thunderbi@200116b82ce4df0089eeab40cb981b9d.dip.versatel-1u1.de) (Client Quit)
2020-10-08 15:37:14 +0200knupfer1(~Thunderbi@200116b82ce4df00707cd182bbf7282c.dip.versatel-1u1.de)
2020-10-08 15:37:19 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-08 15:37:39 +0200chaosmasttter(~chaosmast@p200300c4a70b40010854fe5f0255a133.dip0.t-ipconnect.de)
2020-10-08 15:37:48 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494)
2020-10-08 15:38:06 +0200andreas303(~andreas@gateway/tor-sasl/andreas303)
2020-10-08 15:38:43 +0200 <cohn> can anyone recommend any books on learning parallel and concurrent Haskell? The book by Simon Marlow seems to be a good bit out of date at this point.
2020-10-08 15:38:53 +0200 <dminuoso> cohn: Simon Marlows book.
2020-10-08 15:39:14 +0200 <dminuoso> There are no other good resources Im aware of.
2020-10-08 15:39:32 +0200knupfer1(~Thunderbi@200116b82ce4df00707cd182bbf7282c.dip.versatel-1u1.de) (Client Quit)
2020-10-08 15:39:40 +0200knupfer(~Thunderbi@200116b82ce4df00c08e8b8123e096f3.dip.versatel-1u1.de)
2020-10-08 15:39:57 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-08 15:41:10 +0200knupfer1(~Thunderbi@200116b82ce4df00fc254dbd4df5ac33.dip.versatel-1u1.de)
2020-10-08 15:41:11 +0200knupfer(~Thunderbi@200116b82ce4df00c08e8b8123e096f3.dip.versatel-1u1.de) (Read error: Connection reset by peer)
2020-10-08 15:41:11 +0200knupfer1knupfer
2020-10-08 15:41:31 +0200 <cohn> dminuoso: ok. I ask because I've worked through a few examples and it seems like some of the syntax used in the book is no longer valid
2020-10-08 15:41:45 +0200 <dminuoso> Can you give some examples?
2020-10-08 15:43:13 +0200 <cohn> GHC complains about this line for one: https://github.com/simonmar/parconc-examples/blob/master/Sudoku.hs#L77
2020-10-08 15:43:31 +0200 <dminuoso> Can you share the diagnostic it gives?
2020-10-08 15:43:34 +0200 <cohn> even tried setting it up in an isolated Stack environment and no good
2020-10-08 15:43:38 +0200 <cohn> sure, one sec
2020-10-08 15:44:17 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-08 15:44:33 +0200lep-delete(~lep@94.31.82.44) (Read error: Connection reset by peer)
2020-10-08 15:44:54 +0200lep-delete(~lep@94.31.82.44)
2020-10-08 15:45:12 +0200lep-deletetest
2020-10-08 15:45:16 +0200testGuest40023
2020-10-08 15:45:47 +0200 <cohn> https://pastebin.com/LLndiZyi
2020-10-08 15:45:59 +0200cfricke(~cfricke@unaffiliated/cfricke)
2020-10-08 15:46:00 +0200 <cohn> that's actually from the HLS, but you get the idea
2020-10-08 15:46:01 +0200 <cohn> :D
2020-10-08 15:46:52 +0200 <dminuoso> cohn: Do you have overloaded strings turned on?
2020-10-08 15:47:14 +0200 <cohn> yes
2020-10-08 15:47:26 +0200 <dminuoso> Try giving the string an explicit annotation then.
2020-10-08 15:47:26 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-10-08 15:47:40 +0200 <cohn> like "foo" :: String?
2020-10-08 15:47:42 +0200jneira_(~jneira@80.30.101.206)
2020-10-08 15:47:48 +0200roconnor(~roconnor@host-45-78-225-249.dyn.295.ca) (Read error: Connection reset by peer)
2020-10-08 15:47:49 +0200 <dminuoso> Yeah
2020-10-08 15:47:53 +0200 <dminuoso> Or actually, do you have OverloadedLists as well?
2020-10-08 15:48:10 +0200 <cohn> no
2020-10-08 15:48:13 +0200 <cohn> try it?
2020-10-08 15:48:22 +0200 <dminuoso> No.
2020-10-08 15:48:32 +0200 <dminuoso> % :set -XOverloadedStrings
2020-10-08 15:48:32 +0200 <yahb> dminuoso:
2020-10-08 15:48:35 +0200polyrain_(~polyrain@203.51.166.163) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-08 15:49:10 +0200 <dminuoso> % regularGrid g = if all (`elem` "0.-123456789") g then Just g else Nothing
2020-10-08 15:49:10 +0200 <yahb> dminuoso: ; <interactive>:83:21: error:; Ambiguous occurrence `all'; It could refer to; either `Text.all', imported from `Data.Text'; or `Prelude.all', imported from `Prelude' (and originally defined in `Data.Foldable')
2020-10-08 15:49:14 +0200 <dminuoso> % :set -XNoOverloadedStrings
2020-10-08 15:49:15 +0200 <yahb> dminuoso:
2020-10-08 15:49:16 +0200 <dminuoso> % regularGrid g = if all (`elem` "0.-123456789") g then Just g else Nothing
2020-10-08 15:49:16 +0200 <yahb> dminuoso: ; <interactive>:85:21: error:; Ambiguous occurrence `all'; It could refer to; either `Text.all', imported from `Data.Text'; or `Prelude.all', imported from `Prelude' (and originally defined in `Data.Foldable')
2020-10-08 15:49:22 +0200 <dminuoso> % regularGrid g = if Prelude.all (`elem` "0.-123456789") g then Just g else Nothing
2020-10-08 15:49:22 +0200 <yahb> dminuoso:
2020-10-08 15:49:35 +0200 <dminuoso> cohn: Ah I mispasted. But anyway, OverloadedStrings is the cause here.
2020-10-08 15:49:40 +0200 <dminuoso> Consider:
2020-10-08 15:50:09 +0200 <dminuoso> "0.-123456789" is a polymorphic type, but so is `elem`
2020-10-08 15:50:15 +0200 <cohn> I ran `stack ghci`, got the error, then entered `:set -XOverloadedStrings` into ghci followed by `:r`. Same error. :
2020-10-08 15:50:23 +0200 <dminuoso> So it cant infer that "0.-123..." is even a list
2020-10-08 15:50:36 +0200 <dminuoso> cohn: No, you need to set -XNoOverloadedStrings
2020-10-08 15:50:40 +0200 <cohn> oh!
2020-10-08 15:50:42 +0200 <dminuoso> Just to verify locally
2020-10-08 15:50:44 +0200 <cohn> lemme try that
2020-10-08 15:50:44 +0200 <dminuoso> But anyway
2020-10-08 15:50:46 +0200 <dminuoso> 15:47:40 cohn | like "foo" :: String?
2020-10-08 15:50:51 +0200 <dminuoso> That is a drop-in workaround.
2020-10-08 15:51:05 +0200 <dminuoso> Or you annotate `elem`
2020-10-08 15:51:25 +0200 <cohn> ok, it works when using `:set -XNoOverloadedStrings`
2020-10-08 15:51:28 +0200 <cohn> interdesting
2020-10-08 15:51:40 +0200 <dminuoso> cohn: Consider this trivial example:
2020-10-08 15:51:42 +0200 <dminuoso> % :t elem
2020-10-08 15:51:42 +0200 <yahb> dminuoso: (Foldable t, Eq a) => a -> t a -> Bool
2020-10-08 15:51:52 +0200 <dminuoso> % :t null
2020-10-08 15:51:52 +0200 <yahb> dminuoso: ; <interactive>:1:1: error:; Ambiguous occurrence `null'; It could refer to; either `Text.null', imported from `Data.Text'; or `Prelude.null', imported from `Prelude' (and originally defined in `Data.Foldable')
2020-10-08 15:51:55 +0200 <dminuoso> % :t Prelude.null
2020-10-08 15:51:55 +0200 <yahb> dminuoso: Foldable t => t a -> Bool
2020-10-08 15:52:04 +0200 <dminuoso> % :t fromString "foo"
2020-10-08 15:52:04 +0200 <yahb> dminuoso: IsString a => a
2020-10-08 15:52:14 +0200 <dminuoso> Prelude.null (fromString "foo")
2020-10-08 15:52:23 +0200 <dminuoso> What should that give you? What Foldable instance should be selected?
2020-10-08 15:52:58 +0200 <dminuoso> So it's your mistake at the end for using OverloadedStrings. :)
2020-10-08 15:53:04 +0200 <cohn> hah
2020-10-08 15:53:06 +0200 <cohn> good point
2020-10-08 15:53:30 +0200 <cohn> yea, I can see why GHC would get confused
2020-10-08 15:53:43 +0200 <cohn> dminuoso: thanks so much!
2020-10-08 15:53:51 +0200 <dminuoso> You're welcome.
2020-10-08 15:53:58 +0200jneira_(~jneira@80.30.101.206) (Ping timeout: 272 seconds)
2020-10-08 15:54:04 +0200 <cohn> :D
2020-10-08 15:56:02 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net)
2020-10-08 15:57:22 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
2020-10-08 15:57:28 +0200shatriff(~vitaliish@88.155.187.71) (Remote host closed the connection)
2020-10-08 15:57:54 +0200 <cohn> dminuoso: I can't build the package the author published for the book: https://hackage.haskell.org/package/parconc-examples
2020-10-08 15:58:09 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2020-10-08 15:58:19 +0200 <cohn> though it seems like a problem with a 3rd party package and not the parconc-examples package
2020-10-08 15:58:55 +0200 <dminuoso> Do you get some particular error message?
2020-10-08 15:58:57 +0200hackageboilerplate 0.0.2 - Generate Haskell boilerplate. https://hackage.haskell.org/package/boilerplate-0.0.2 (tseenshe)
2020-10-08 15:59:04 +0200 <cohn> I get this: https://pastebin.com/gZpSC8kv
2020-10-08 16:00:36 +0200 <cohn> using cabal to build seems to pinpoint the problem: https://pastebin.com/vBuc4FrW
2020-10-08 16:00:36 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-10-08 16:01:10 +0200 <dminuoso> In case of `cabal` the problem is that your GHC is too new.
2020-10-08 16:01:18 +0200 <dminuoso> The package is no longer maintained, so you need an older GHC
2020-10-08 16:01:20 +0200fendor_(~fendor@e237-037.eduroam.tuwien.ac.at)
2020-10-08 16:01:28 +0200 <dminuoso> Unless you're willing to experiment bumping the bounds.
2020-10-08 16:01:33 +0200 <cohn> not really. ; )
2020-10-08 16:01:36 +0200jneira_(~jneira@209.red-81-39-173.dynamicip.rima-tde.net)
2020-10-08 16:01:40 +0200 <cohn> easy enough to just ghcup
2020-10-08 16:01:42 +0200 <dminuoso> Right
2020-10-08 16:02:03 +0200 <dminuoso> 8.6.5 should be fine
2020-10-08 16:02:15 +0200 <dminuoso> no wait, you need 8.4
2020-10-08 16:03:10 +0200mmohammadi981266(~mmohammad@5.238.172.236) (Quit: I quit (╯°□°)╯︵ ┻━┻)
2020-10-08 16:03:27 +0200fendor(~fendor@t204-126.demo.tuwien.ac.at) (Ping timeout: 240 seconds)
2020-10-08 16:03:58 +0200 <sshine> bumping bounds isn't hard or longwinded, though.
2020-10-08 16:04:33 +0200jneira_(~jneira@209.red-81-39-173.dynamicip.rima-tde.net) (Read error: No route to host)
2020-10-08 16:04:37 +0200 <cohn> sshine: it would just require some code refactoring, then submit a Github PR?
2020-10-08 16:04:44 +0200Dungdv(01346eb4@gateway/web/cgi-irc/kiwiirc.com/ip.1.52.110.180) (Ping timeout: 272 seconds)
2020-10-08 16:04:49 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-08 16:04:50 +0200 <sshine> yup!
2020-10-08 16:04:58 +0200cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-08 16:04:59 +0200jneira_(~jneira@209.red-81-39-173.dynamicip.rima-tde.net)
2020-10-08 16:05:10 +0200 <sshine> and in the meantime, you can always refer to your copy of the github repo.
2020-10-08 16:05:38 +0200 <cohn> that could be an interesting project to help me get more experience reading/writing Haskell code.
2020-10-08 16:05:41 +0200 <sshine> cohn, probably only changing the bounds in the .cabal file.
2020-10-08 16:05:58 +0200hackagenetwork-transport-tcp 0.8.0 - TCP instantiation of Network.Transport https://hackage.haskell.org/package/network-transport-tcp-0.8.0 (FacundoDominguez)
2020-10-08 16:06:00 +0200 <cohn> oh
2020-10-08 16:07:54 +0200 <dminuoso> cohn: In general Id prefer to bump bounds. Even if it is some minor work, it's contributions that everybody else will benefit from.
2020-10-08 16:09:16 +0200Sanchayan(~Sanchayan@171.76.78.119)
2020-10-08 16:11:07 +0200aqd(~aqd@87-92-145-87.rev.dnainternet.fi) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-08 16:11:23 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-08 16:11:32 +0200haasn(~haasn@mpv/developer/haasn) (Quit: WeeChat 3.0-dev)
2020-10-08 16:11:57 +0200 <cohn> agreed
2020-10-08 16:12:09 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494)
2020-10-08 16:14:18 +0200ulidtko(~ulidtko@193.111.48.79) (Remote host closed the connection)
2020-10-08 16:14:32 +0200todda7(~torstein@athedsl-4367507.home.otenet.gr)
2020-10-08 16:14:32 +0200ulidtko(~ulidtko@193.111.48.79)
2020-10-08 16:14:57 +0200hackagecapnp 0.6.0.2 - Cap'n Proto for Haskell https://hackage.haskell.org/package/capnp-0.6.0.2 (isd)
2020-10-08 16:15:38 +0200shatriff(~vitaliish@88.155.187.71)
2020-10-08 16:17:55 +0200ericsagnes(~ericsagne@2405:6580:0:5100:d198:9f67:639d:eb47) (Ping timeout: 272 seconds)
2020-10-08 16:19:10 +0200catchme(uid355354@gateway/web/irccloud.com/x-ewqbboqewsctmvnj)
2020-10-08 16:19:44 +0200jneira_(~jneira@209.red-81-39-173.dynamicip.rima-tde.net) (Ping timeout: 258 seconds)
2020-10-08 16:19:54 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net)
2020-10-08 16:21:28 +0200hackagemmsyn7s 0.9.0.0 - Shows a sorted list of the Ukrainian sounds representations that can be used by mmsyn7 series of programs https://hackage.haskell.org/package/mmsyn7s-0.9.0.0 (OleksandrZhabenko)
2020-10-08 16:22:28 +0200hackagephonetic-languages-rhythmicity 0.1.0.0 - Allows to estimate the rhythmicity metrices for the text (usually, the Ukrainian poetic one) https://hackage.haskell.org/package/phonetic-languages-rhythmicity-0.1.0.0 (OleksandrZhabenko)
2020-10-08 16:22:28 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-08 16:23:04 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-08 16:23:18 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494)
2020-10-08 16:24:15 +0200alp(~alp@2a01:e0a:58b:4920:490:f804:4532:9fca) (Ping timeout: 272 seconds)
2020-10-08 16:26:21 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-08 16:26:35 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-10-08 16:26:36 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded)
2020-10-08 16:26:39 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-08 16:26:39 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-08 16:26:39 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-08 16:26:50 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-10-08 16:27:25 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-08 16:27:28 +0200Sanchayan(~Sanchayan@171.76.78.119) (Quit: leaving)
2020-10-08 16:27:58 +0200haasn(~nand@mpv/developer/haasn)
2020-10-08 16:29:52 +0200ericsagnes(~ericsagne@2405:6580:0:5100:aced:b361:828c:f8f1)
2020-10-08 16:32:47 +0200polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2020-10-08 16:34:28 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Ping timeout: 260 seconds)
2020-10-08 16:37:31 +0200mav1(~mav@ip-88-152-10-227.hsi03.unitymediagroup.de) (Ping timeout: 260 seconds)
2020-10-08 16:38:21 +0200fendor__(~fendor@t204-126.demo.tuwien.ac.at)
2020-10-08 16:38:47 +0200mav1(~mav@ip-88-152-10-227.hsi03.unitymediagroup.de)
2020-10-08 16:40:34 +0200fendor_(~fendor@e237-037.eduroam.tuwien.ac.at) (Ping timeout: 246 seconds)
2020-10-08 16:40:52 +0200shatriff(~vitaliish@88.155.187.71) (Remote host closed the connection)
2020-10-08 16:40:58 +0200hackagefuthark 0.18.1 - An optimising compiler for a functional, array-oriented language. https://hackage.haskell.org/package/futhark-0.18.1 (TroelsHenriksen)
2020-10-08 16:45:04 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-08 16:47:40 +0200fendor__fendor
2020-10-08 16:48:29 +0200cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 258 seconds)
2020-10-08 16:48:37 +0200todda7(~torstein@athedsl-4367507.home.otenet.gr) (Quit: Konversation terminated!)
2020-10-08 16:48:51 +0200todda7(~torstein@athedsl-4367507.home.otenet.gr)
2020-10-08 16:48:58 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-fjyvjeiwkooixfuo) (Quit: Connection closed for inactivity)
2020-10-08 16:49:25 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 264 seconds)
2020-10-08 16:50:27 +0200hackagephonetic-languages-rhythmicity 0.1.0.1 - Allows to estimate the rhythmicity metrices for the text (usually, the Ukrainian poetic one) https://hackage.haskell.org/package/phonetic-languages-rhythmicity-0.1.0.1 (OleksandrZhabenko)
2020-10-08 16:51:30 +0200nados(~dan@162.246.216.28)
2020-10-08 16:53:57 +0200hackagederive-topdown 0.0.2.2 - Help Haskellers derive class instances for composited data types. https://hackage.haskell.org/package/derive-topdown-0.0.2.2 (songzh)
2020-10-08 16:55:47 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
2020-10-08 16:58:35 +0200hnOsmium0001(uid453710@gateway/web/irccloud.com/x-fnhpronrbczootvp)
2020-10-08 17:00:02 +0200Lthere(~Lthere@185.244.214.216) ()
2020-10-08 17:00:27 +0200hackageuniqueness-periods-vector-properties 0.4.0.0 - Metrices for the maximum element for the uniqueness-periods-vector packages family. https://hackage.haskell.org/package/uniqueness-periods-vector-properties-0.4.0.0 (OleksandrZhabenko)
2020-10-08 17:00:40 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 17:01:55 +0200ixian(~mgold@terra.bitplane.org) (Ping timeout: 240 seconds)
2020-10-08 17:02:07 +0200 <dminuoso> ghc: panic! (the 'impossible' happened) (GHC version 8.10.1:Loading temp shared object failed: /run/user/1000/ghc16141_0/libghc_5.so: undefined symbol: crypt
2020-10-08 17:02:09 +0200 <dminuoso> Bingo!
2020-10-08 17:02:20 +0200ixian(~mgold@terra.bitplane.org)
2020-10-08 17:02:43 +0200 <dminuoso> Ah, wrong channel
2020-10-08 17:02:58 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net)
2020-10-08 17:06:55 +0200alp(~alp@2a01:e0a:58b:4920:2089:d0d:8a96:a625)
2020-10-08 17:08:04 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net) (Ping timeout: 272 seconds)
2020-10-08 17:09:38 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net)
2020-10-08 17:10:29 +0200chaosmasttter(~chaosmast@p200300c4a70b40010854fe5f0255a133.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-08 17:10:44 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-08 17:11:25 +0200Bakun(~bakun@p548de9c9.dip0.t-ipconnect.de)
2020-10-08 17:11:27 +0200hackageuniqueness-periods-vector-properties 0.4.0.1 - Metrices for the maximum element for the uniqueness-periods-vector packages family. https://hackage.haskell.org/package/uniqueness-periods-vector-properties-0.4.0.1 (OleksandrZhabenko)
2020-10-08 17:13:18 +0200Bakun(~bakun@p548de9c9.dip0.t-ipconnect.de) (Quit: WeeChat 2.8)
2020-10-08 17:14:24 +0200o1lo01ol_(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 256 seconds)
2020-10-08 17:18:47 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
2020-10-08 17:19:11 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net)
2020-10-08 17:20:06 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-10-08 17:22:54 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-08 17:24:47 +0200todda7(~torstein@athedsl-4367507.home.otenet.gr) (Ping timeout: 240 seconds)
2020-10-08 17:24:47 +0200fendor_(~fendor@2001:629:3200:547:455f:533c:2a97:94e2)
2020-10-08 17:25:25 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net) (Ping timeout: 264 seconds)
2020-10-08 17:25:32 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-08 17:26:18 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-08 17:26:28 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-08 17:26:28 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-08 17:26:28 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-08 17:27:01 +0200 <tomsmeding> 'impossible'
2020-10-08 17:27:07 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-08 17:27:19 +0200fendor(~fendor@t204-126.demo.tuwien.ac.at) (Ping timeout: 265 seconds)
2020-10-08 17:27:57 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net)
2020-10-08 17:28:30 +0200 <dminuoso> Yeah.. Im really staring at the weirdest wall ever.
2020-10-08 17:29:13 +0200 <dminuoso> https://gist.github.com/dminuoso/0932484d82167ffad98baaf3348f5126
2020-10-08 17:29:19 +0200 <dminuoso> This is enough to completely bug out GHC :S
2020-10-08 17:29:29 +0200 <dminuoso> On some strange linker errors on a completely unrelated library
2020-10-08 17:30:05 +0200 <Cheery> When I paste stuff into slack or discourse, it summarizes the link for me. I'd love to have that in my blog as well.
2020-10-08 17:30:07 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-08 17:30:45 +0200 <sshine> I'm sure there's a javascript for it.
2020-10-08 17:31:16 +0200 <dminuoso> Im fairly sure that both slack and discourse use some "standard" library js library too.
2020-10-08 17:31:48 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-08 17:32:37 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-08 17:32:55 +0200 <monochrom> @quote autrijus impossible
2020-10-08 17:32:55 +0200 <lambdabot> autrijus says: Perl: "Easy things are easy, hard things are possible" <autrijus> Haskell: "Hard things are easy, the impossible just happened"
2020-10-08 17:34:08 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-08 17:34:52 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-08 17:38:35 +0200toorevitimirp(~tooreviti@117.182.180.245) (Remote host closed the connection)
2020-10-08 17:38:47 +0200 <Cheery> :D I saw somebody has written a summarizer in haskell.
2020-10-08 17:39:00 +0200 <Cheery> https://github.com/amliby/summary
2020-10-08 17:39:04 +0200 <tomsmeding> dminuoso: well at least you have a nice, small test case :)
2020-10-08 17:40:00 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net) (Remote host closed the connection)
2020-10-08 17:40:20 +0200 <siraben> Does anyone know if Emacs' `lsp-haskell` package has support for case splitting yet?
2020-10-08 17:40:24 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net)
2020-10-08 17:40:32 +0200 <siraben> It's been added in haskell-language-server 0.5.0.0
2020-10-08 17:40:37 +0200 <Cheery> I'm too old to write a html parser myself when I need one. Not youthful enough to read a spec.
2020-10-08 17:41:15 +0200 <Cheery> I'm glad I found a good HTML5 parser though.
2020-10-08 17:43:18 +0200__skn(~sunil@sec.nimmagadda.net)
2020-10-08 17:43:36 +0200andos(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-08 17:46:22 +0200nados(~dan@162.246.216.28) (Ping timeout: 258 seconds)
2020-10-08 17:47:07 +0200ixlun(~matthew@213.205.241.94) (Ping timeout: 240 seconds)
2020-10-08 17:48:13 +0200Ariakenom(~Ariakenom@193.254.193.1) (Ping timeout: 264 seconds)
2020-10-08 17:49:33 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2020-10-08 17:50:01 +0200 <siraben> Ok so it looks like I have to do `s-l a a` to show the list of actions
2020-10-08 17:50:09 +0200 <siraben> Holy hell, this is insane, like Agda-style holes.
2020-10-08 17:51:19 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-08 17:51:32 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Remote host closed the connection)
2020-10-08 17:51:41 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-08 17:52:00 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-08 17:52:35 +0200conal(~conal@209.58.130.230) (Quit: Computer has gone to sleep.)
2020-10-08 17:53:02 +0200 <dminuoso> tomsmeding: One that makes absolute no sense.
2020-10-08 17:53:14 +0200 <tomsmeding> those are the best
2020-10-08 17:53:21 +0200 <dminuoso> What does quasiquoters have to do with linking completely unrelated external libraries...
2020-10-08 17:53:26 +0200 <dminuoso> Im smelling some memory corruption here.
2020-10-08 17:53:30 +0200 <tomsmeding> ooooooooh
2020-10-08 17:53:32 +0200 <dminuoso> Or some internal corruption
2020-10-08 17:53:45 +0200 <tomsmeding> I've always known that TH is trouble
2020-10-08 17:53:57 +0200 <dminuoso> well, QQ are much more harmless.
2020-10-08 17:54:12 +0200 <dminuoso> In fact, the splice is just an Exp splice..
2020-10-08 17:54:22 +0200 <dminuoso> It doesn't get more harmless than that. :(
2020-10-08 17:54:27 +0200 <tomsmeding> claim :)
2020-10-08 17:54:32 +0200 <tomsmeding> apparently
2020-10-08 17:54:39 +0200 <dminuoso> Well who knows
2020-10-08 17:54:49 +0200 <dminuoso> Perhaps this is just some unrelated bug that my code shuffling manifests.
2020-10-08 17:54:55 +0200leungbk(~user@2605:e000:1315:706:1e77:a69f:2d77:7de4)
2020-10-08 17:55:05 +0200 <dminuoso> Ill have to do a bisect on ghc
2020-10-08 17:55:21 +0200 <monochrom> yikes
2020-10-08 17:56:05 +0200 <dminuoso> In fact, if you looked at the QQ, it's like a totally trivial 3 lines QQ...
2020-10-08 17:56:12 +0200 <monochrom> maybe also reproduce it on another computer, just to be sure you don't have a RAM problem
2020-10-08 17:56:30 +0200 <dminuoso> Well I have 16GiB of ram. This module is very harmless otherwise
2020-10-08 17:56:40 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 17:56:43 +0200 <monochrom> I mean faulty RAM
2020-10-08 17:56:55 +0200 <dminuoso> Well, this triggers *very* consistently with the diff applied...
2020-10-08 17:56:59 +0200 <dminuoso> by very I mean 100%
2020-10-08 17:57:20 +0200 <leungbk> Would anyone mind helping me make this more memory-efficient and idiomatic? https://paste.debian.net/1166370
2020-10-08 17:57:46 +0200 <leungbk> I tried running my solution in a practice coding competition but the automated judge said it used too much memory.
2020-10-08 17:57:55 +0200 <dminuoso> leungbk: run with `+RTS p -RTS` and include the output
2020-10-08 17:57:57 +0200sfvm(~sfvm@37.228.215.148)
2020-10-08 17:59:57 +0200hackageHaTeX 3.22.3.0 - The Haskell LaTeX library. https://hackage.haskell.org/package/HaTeX-3.22.3.0 (DanielDiaz)
2020-10-08 18:00:41 +0200cpressey(~cpressey@79-72-202-104.dynamic.dsl.as9105.com) (Quit: WeeChat 1.9.1)
2020-10-08 18:00:43 +0200 <leungbk> dminuoso: I'm not entirely sure how to execute it locally. Whenever I compile with `ghc dijkstra.hs` and `ghc -o a.out dijkstra.o`, I get errors like `error: undefined reference to 'containerszm0zi6zi2zi1_DataziSetziInternal_minView`
2020-10-08 18:01:01 +0200 <leungbk> Which is weird since `containers` is built in to ghc 8.8.4
2020-10-08 18:01:05 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-08 18:01:19 +0200oisdk(~oisdk@2001:bb6:3329:d100:9cdf:5974:56ad:fa2f) (Quit: oisdk)
2020-10-08 18:01:53 +0200zacts_(~zacts@dragora/developer/zacts)
2020-10-08 18:02:08 +0200zacts_(~zacts@dragora/developer/zacts) (Client Quit)
2020-10-08 18:03:16 +0200 <c_wraith> skip the second line. ghc builds the binary as its output unless you ask it to do otherwise, and has for like 10 years now
2020-10-08 18:03:39 +0200zacts_(~zacts@dragora/developer/zacts)
2020-10-08 18:04:21 +0200leungbk(~user@2605:e000:1315:706:1e77:a69f:2d77:7de4) (Remote host closed the connection)
2020-10-08 18:04:23 +0200zacts_zacts
2020-10-08 18:04:44 +0200zacts(~zacts@dragora/developer/zacts) (Client Quit)
2020-10-08 18:05:08 +0200leungbk(~user@2605:e000:1315:706:1e77:a69f:2d77:7de4)
2020-10-08 18:05:11 +0200zacts(~zacts@dragora/developer/zacts)
2020-10-08 18:07:22 +0200 <leungbk> Sorry, my irc client died just now and didn't save the chat log; would someone mind reposting the `+RTS -p ...` bit from a few mins ago?
2020-10-08 18:07:29 +0200xff0x(~fox@2001:1a81:53a8:5900:d048:1f00:80fa:e49e) (Ping timeout: 272 seconds)
2020-10-08 18:07:43 +0200 <monochrom> <dminuoso> leungbk: run with `+RTS p -RTS` and include the output
2020-10-08 18:07:53 +0200 <c_wraith> for compiling locally, just use `ghc dijkstra.hs`
2020-10-08 18:08:03 +0200xff0x(~fox@2001:1a81:53a8:5900:4dd1:b846:131b:3964)
2020-10-08 18:08:06 +0200 <c_wraith> it compiles and links in a single invocation
2020-10-08 18:08:44 +0200yoneda(~mike@193.206.102.122) (Quit: leaving)
2020-10-08 18:09:16 +0200isovector1(~isovector@172.103.216.166)
2020-10-08 18:09:17 +0200isovector1(~isovector@172.103.216.166) (Remote host closed the connection)
2020-10-08 18:09:51 +0200 <c_wraith> anyway, it's very probable there's a space leak in the foldl' starting on line 18.
2020-10-08 18:10:32 +0200 <dminuoso> Keep in mind you'll have to compile the program and dependencies with profiling
2020-10-08 18:10:40 +0200 <dminuoso> So it's probably best to quickly wrap that into a cabal project
2020-10-08 18:10:54 +0200 <c_wraith> all the foldl' is doing is making sure the tuple is evaluated. That's probably not what you meant.
2020-10-08 18:11:21 +0200howdoi(uid224@gateway/web/irccloud.com/x-matykgsofoxxiiee)
2020-10-08 18:11:27 +0200 <leungbk> dminuoso: So, `./dijkstra +RTS p -RTS`? The executable says `dijkstra: unexpected RTS argument: p`.
2020-10-08 18:11:43 +0200 <c_wraith> you need to add -rtsopts to the flags when compiling
2020-10-08 18:11:59 +0200 <leungbk> This is simply a standalone file for a practice coding competition.
2020-10-08 18:12:48 +0200cyphase(~cyphase@unaffiliated/cyphase)
2020-10-08 18:13:32 +0200 <leungbk> c_wraith: I think that's what I meant? I wanted the tuple to be evaled since I needed to construct an updated distance/predecessor/set to use for the next call of `loop`
2020-10-08 18:14:11 +0200 <c_wraith> you want *the components* of the tuple to be evaluated.
2020-10-08 18:14:22 +0200 <c_wraith> You're telling it to stop after it gets the (,,) constructor
2020-10-08 18:15:06 +0200quicksilver(~jules@roobarb.crazydogs.org) (Ping timeout: 256 seconds)
2020-10-08 18:15:13 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 264 seconds)
2020-10-08 18:15:21 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-08 18:15:21 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-08 18:15:21 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-08 18:16:07 +0200chele(~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-10-08 18:16:08 +0200 <monochrom> TIL: cabal repl sets the environment variable HASKELL_DIST_DIR to e.g. /home/trebla/tmp/quv/dist-newstyle/build/x86_64-linux/ghc-8.8.4/quv-0.1.0.0/x/quv
2020-10-08 18:16:23 +0200dan64-(~dan64@dannyadam.com) (Quit: ZNC - http://znc.in)
2020-10-08 18:16:38 +0200 <leungbk> I'm confused. How would I evaluate the components of the tuple without doing something like a simultaneous fold of the tuple's components?
2020-10-08 18:17:00 +0200 <c_wraith> leungbk: in particular, nothing in the loop causes the second or third elements of the tuple to be evaluated during the loop.
2020-10-08 18:17:29 +0200 <Cale> leungbk: Either pattern matching on them, or using seq would do it.
2020-10-08 18:17:37 +0200 <monochrom> I was kind of looking for that because if you use --builddir=foo then it will be s/dist-newstyle/foo/ and I was wondering if I wrote my own tool how would I know that.
2020-10-08 18:17:55 +0200 <c_wraith> So both of those elements are chains of thunks that refer to the entire history of Set/Map insert calls
2020-10-08 18:18:44 +0200 <leungbk> c_wraith: So strict-eval would solve the memory issue? That's unexpected to me since Set and IntMap.strict are evaluated strictly afaiu.
2020-10-08 18:19:27 +0200hackagereflex-dom-pandoc 0.6.0.0 - Render Pandoc documents to HTML using reflex-dom https://hackage.haskell.org/package/reflex-dom-pandoc-0.6.0.0 (sridca)
2020-10-08 18:19:29 +0200 <c_wraith> The easiest fix is turning on the BangPatterns extension and modifying the lambda to look at (!oldDistances, !oldTree, !oldPredecessors)
2020-10-08 18:20:46 +0200 <c_wraith> leungbk: that means *when they are forced to be evaluated* that they will be evaluated "fully" (to within the requirements of the type. Set only evaluates as much as necessary to balance the tree, Map only evaluates the keys as much as necessary to balance the tree and the values to WHNF)
2020-10-08 18:20:51 +0200 <monochrom> The example I shown was from an exe-only package. I wonder if it's different for a lib package, or I guess more precisely a lib target "cabal repl exe:..." vs "cabal repl lib:..."
2020-10-08 18:21:36 +0200 <c_wraith> leungbk: but your loop never does anything to cause oldTree or oldPredecessors to be evaluated at all.
2020-10-08 18:21:42 +0200 <monochrom> c_wraith: Good eyes, I missed that.
2020-10-08 18:21:45 +0200quicksilver(~jules@roobarb.crazydogs.org)
2020-10-08 18:22:12 +0200 <c_wraith> leungbk: all it does with them is throw them into a thunk behind the (,,) constructor
2020-10-08 18:22:54 +0200tzh(~tzh@2601:448:c500:5300::143b)
2020-10-08 18:23:10 +0200 <c_wraith> leungbk: and so when foldl' forces the state to WHNF for the next iteration, the (,,) constructor is evaluated, but no further.
2020-10-08 18:23:38 +0200 <c_wraith> monochrom: It's the first thing I look for when someone asks about too much memory use :)
2020-10-08 18:23:38 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-08 18:23:59 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494)
2020-10-08 18:24:12 +0200oisdk(~oisdk@2001:bb6:3329:d100:7807:4c86:5073:949e)
2020-10-08 18:24:35 +0200alp(~alp@2a01:e0a:58b:4920:2089:d0d:8a96:a625) (Ping timeout: 272 seconds)
2020-10-08 18:24:35 +0200Franciman(~francesco@host-95-247-31-62.retail.telecomitalia.it) (Quit: Leaving)
2020-10-08 18:25:06 +0200 <monochrom> I looked for that too, but failed.
2020-10-08 18:25:26 +0200 <leungbk> c_wraith: Thanks a lot, I think I'm getting a better sense of the issue. I'll need to investigate more on my own.
2020-10-08 18:25:43 +0200 <monochrom> I stopped after I checked that "nextDist = du + weight" is kosher because "nextDist < ..." happened right away.
2020-10-08 18:26:27 +0200conal(~conal@64.71.133.70)
2020-10-08 18:27:12 +0200hari1(~hari@195.206.169.184)
2020-10-08 18:27:37 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-08 18:27:49 +0200conal(~conal@64.71.133.70) (Client Quit)
2020-10-08 18:28:21 +0200geekosaur(ac3a3bad@172.58.59.173)
2020-10-08 18:29:42 +0200psygate(~psygate@unaffiliated/psygate)
2020-10-08 18:31:22 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-08 18:31:40 +0200knupfer(~Thunderbi@200116b82ce4df00fc254dbd4df5ac33.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-08 18:31:55 +0200knupfer(~Thunderbi@200116b82ce4df0099f7a7f92d599557.dip.versatel-1u1.de)
2020-10-08 18:31:58 +0200knupfer(~Thunderbi@200116b82ce4df0099f7a7f92d599557.dip.versatel-1u1.de) (Client Quit)
2020-10-08 18:32:25 +0200knupfer(~Thunderbi@200116b82ce4df000c5e28fdad441edb.dip.versatel-1u1.de)
2020-10-08 18:32:25 +0200knupfer(~Thunderbi@200116b82ce4df000c5e28fdad441edb.dip.versatel-1u1.de) (Client Quit)
2020-10-08 18:32:26 +0200conal(~conal@64.71.133.70)
2020-10-08 18:32:40 +0200knupfer(~Thunderbi@200116b82ce4df005d12f8a54a91044c.dip.versatel-1u1.de)
2020-10-08 18:33:08 +0200jonatanb(~jonatanb@79.184.190.239.ipv4.supernova.orange.pl) (Quit: Leaving...)
2020-10-08 18:34:07 +0200brandly(~brandly@c-73-68-15-46.hsd1.ma.comcast.net)
2020-10-08 18:35:31 +0200 <troydm> what's easies way to strip .0 from number?
2020-10-08 18:36:04 +0200 <troydm> like I have Double, and I want to print it without leading .0
2020-10-08 18:36:22 +0200borne(~fritjof@200116b864a02a00739dc2dd650b1f65.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-08 18:39:18 +0200mgalese(60e67243@pool-96-230-114-67.bstnma.fios.verizon.net)
2020-10-08 18:40:43 +0200fendor_(~fendor@2001:629:3200:547:455f:533c:2a97:94e2) (Remote host closed the connection)
2020-10-08 18:41:27 +0200 <[exa]> troydm: can you throw a few examples?
2020-10-08 18:41:49 +0200 <[exa]> 'stripping .0' sounds like 'round' or 'truncate' but no idea if that's precisely what you wanted
2020-10-08 18:42:01 +0200 <troydm> [exa]: nvm, figured it out
2020-10-08 18:42:11 +0200 <[exa]> uh ok
2020-10-08 18:42:49 +0200 <geekosaur> sounds like they discovered printf %g appending ".0" and wanting it not to
2020-10-08 18:42:59 +0200 <geekosaur> or show
2020-10-08 18:44:18 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-08 18:44:27 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-08 18:45:13 +0200 <Clint> people use %g?
2020-10-08 18:45:33 +0200 <geekosaur> someone asked abou it the other day in here
2020-10-08 18:46:20 +0200 <Clint> hmm
2020-10-08 18:46:49 +0200 <geekosaur> of course, there's also "people use printf?" but there's no accounting for taste
2020-10-08 18:47:12 +0200 <geekosaur> but I think showGFloat has the same behavior
2020-10-08 18:49:01 +0200 <maralorn> Does anyone know of a Code formater that preserves or even introduces { ; } for all layout blocks?
2020-10-08 18:49:58 +0200 <geekosaur> does SPJ count?
2020-10-08 18:50:39 +0200 <c_wraith> he's not very automatic
2020-10-08 18:52:23 +0200livvy(~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds)
2020-10-08 18:55:05 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds)
2020-10-08 18:55:50 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net) (Remote host closed the connection)
2020-10-08 18:56:21 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-08 18:56:42 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Remote host closed the connection)
2020-10-08 18:56:45 +0200 <maralorn> Who?
2020-10-08 18:57:12 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-08 18:57:59 +0200 <ski> SPJ
2020-10-08 18:58:49 +0200geekosaur(ac3a3bad@172.58.59.173) (Ping timeout: 245 seconds)
2020-10-08 18:59:44 +0200mgalese(60e67243@pool-96-230-114-67.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-10-08 19:00:47 +0200 <monochrom> haha
2020-10-08 19:01:48 +0200 <monochrom> I think the real objection is economical. SPJ is too expensive to hire for code formatting.
2020-10-08 19:02:20 +0200 <maerwald> wow, that would be a boss move...
2020-10-08 19:02:34 +0200 <maerwald> "what's your code formatter?" - "SPJ"
2020-10-08 19:02:36 +0200kritzefitz(~kritzefit@2003:5b:203b:100:c23e:baff:feb8:8cdb) (Remote host closed the connection)
2020-10-08 19:02:39 +0200 <dolio> I would never let SPJ format my code.
2020-10-08 19:02:41 +0200 <monochrom> hehe
2020-10-08 19:02:50 +0200 <dolio> He uses all kinds of braces and semicolons.
2020-10-08 19:03:08 +0200 <monochrom> That's exactly what maralorn was looking for.
2020-10-08 19:03:08 +0200nineonine(~nineonine@216.81.48.202)
2020-10-08 19:03:20 +0200 <maerwald> a man with taste
2020-10-08 19:03:28 +0200geekosaur(ac3a3b6c@172.58.59.108)
2020-10-08 19:03:44 +0200 <monochrom> I used to do that. But only to make an old emacs haskell-mode indenter happy.
2020-10-08 19:03:47 +0200 <dolio> Oh, I see. :)
2020-10-08 19:04:12 +0200 <monochrom> But it's really old, today's version works much better now, no need to help it with SPJ format.
2020-10-08 19:04:19 +0200alp(~alp@2a01:e0a:58b:4920:b162:4ee9:a508:6abf)
2020-10-08 19:04:56 +0200 <maralorn> Wait, are you telling me he's the only one who likes that code style?
2020-10-08 19:04:57 +0200knupfer(~Thunderbi@200116b82ce4df005d12f8a54a91044c.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-08 19:05:05 +0200 <maralorn> I admit I think ghc and #haskell-onliners are the only two places I have ever seen them used.^^
2020-10-08 19:05:06 +0200 <Habib> why does cabal v2-install work the first time i install a package then fail subsequent times until i clear the store and the environment file?
2020-10-08 19:05:09 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-08 19:05:11 +0200 <Habib> https://pastebin.com/raw/HB6R1fdw
2020-10-08 19:05:13 +0200knupfer(~Thunderbi@i5E86B40F.versanet.de)
2020-10-08 19:05:14 +0200 <Cale> The GHC source code is like a Haskell style guide in the form of a cautionary tale
2020-10-08 19:05:24 +0200raichoo(~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-10-08 19:05:29 +0200psygate(~psygate@unaffiliated/psygate) (Quit: Leaving)
2020-10-08 19:06:09 +0200 <dolio> SPJ is the only one I know of. It's possible some of the other original folks like it.
2020-10-08 19:06:17 +0200 <maerwald> Habib: because env files are awful and no one uses them
2020-10-08 19:06:17 +0200 <maralorn> You know, that conversation only made me want that feature so much more.
2020-10-08 19:06:25 +0200 <Cale> I think Richard likes it as well
2020-10-08 19:06:30 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net) (Remote host closed the connection)
2020-10-08 19:06:30 +0200knupfer(~Thunderbi@i5E86B40F.versanet.de) (Client Quit)
2020-10-08 19:06:34 +0200knupfer1(~Thunderbi@200116b82ce4df00a0bd07f956f29bb7.dip.versatel-1u1.de)
2020-10-08 19:06:51 +0200 <Cale> But moreso, the thing I really can't stand is all the incomprehensibly abbreviated names
2020-10-08 19:07:24 +0200zacts(~zacts@dragora/developer/zacts) (Quit: leaving)
2020-10-08 19:07:29 +0200 <maralorn> So, what formatter do you people recommend should I make "Add --spj flag" PR against?
2020-10-08 19:07:44 +0200 <Habib> maerwald: but cabal uses a default environment file, anyway
2020-10-08 19:07:47 +0200mav1(~mav@ip-88-152-10-227.hsi03.unitymediagroup.de) (Ping timeout: 240 seconds)
2020-10-08 19:07:55 +0200 <maralorn> Cale: That's true. Those are offensive.
2020-10-08 19:08:10 +0200 <Habib> if i didn't specify the environment, it'd just mean it affects my default environment file
2020-10-08 19:08:13 +0200zacts(~zacts@dragora/developer/zacts)
2020-10-08 19:08:36 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-08 19:08:50 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-08 19:08:50 +0200 <dolio> Richard's a new kid, though. :)
2020-10-08 19:08:51 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-08 19:08:51 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-08 19:08:56 +0200 <ghoulguy> Habib: What version of cabal-install are you asking about?
2020-10-08 19:08:58 +0200knupfer1knupfer
2020-10-08 19:09:12 +0200 <Habib> i'm trying to install some packages to a separate store for strictly ghci use, so i can create some nice helper functions in ghci, then remove them from scope completely and even hide the packages/package-db after i'm done so they don't conflict with my usual package db
2020-10-08 19:09:21 +0200 <Habib> cabal-install 3.2.0.0
2020-10-08 19:09:32 +0200 <Habib> sorry, my bad, 3.4.0.0
2020-10-08 19:10:08 +0200 <monochrom> I think I don't have this problem with 3.2
2020-10-08 19:10:41 +0200 <dolio> Did Miranda have a non-layout syntax that served as the target for layout? I was kind of wondering if SPJ is the only reason Haskell does.
2020-10-08 19:10:41 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-08 19:11:12 +0200nshepperd(~nshepperd@pool-96-239-61-124.nycmny.fios.verizon.net) (Ping timeout: 256 seconds)
2020-10-08 19:11:14 +0200 <Habib> i want to run a :!cabal v2-install --options-for-separate-store packages... at the start of my ghci, so i can always have the right dependencies, use them, then hide them once the helper functions have been defined
2020-10-08 19:11:33 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494)
2020-10-08 19:13:14 +0200 <maralorn> otoh, naming variables is one of the three great challenges of programming. so having any policy for it is much more important, than which policy.
2020-10-08 19:14:48 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net)
2020-10-08 19:14:51 +0200 <Habib> i think i installed 3.4.0.0 to get access to the 3.4.0.0 format version so i didn't have to specify default-language in my cabal file (it's optional in later version), but ended up deciding i want the default-language explicit anyway, so i guess i could downgrade and try again
2020-10-08 19:15:00 +0200 <Habib> 3.4.0.0 is in rc stage anyway
2020-10-08 19:18:04 +0200brandly(~brandly@c-73-68-15-46.hsd1.ma.comcast.net) (Ping timeout: 246 seconds)
2020-10-08 19:18:13 +0200 <Habib> hmm… 3.2.0.0 behaves the same
2020-10-08 19:18:54 +0200Gurkenglas_(~Gurkengla@unaffiliated/gurkenglas)
2020-10-08 19:19:27 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
2020-10-08 19:19:43 +0200 <monochrom> Then again I didn't try for packages like process that already come with GHC. I only tried like hmatrix and vector and random.
2020-10-08 19:21:37 +0200 <Habib> monochrom: when you say process comes with ghc, do you mean as part of the haskell platform?
2020-10-08 19:21:55 +0200 <Habib> because i can't import it without installing it
2020-10-08 19:21:55 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-08 19:22:15 +0200 <monochrom> "comes with haskell platform" is true but much weaker than "comes with GHC"
2020-10-08 19:22:20 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net)
2020-10-08 19:22:28 +0200hackagecommander-cli 0.10.1.0 - A command line argument/option parser library https://hackage.haskell.org/package/commander-cli-0.10.1.0 (sgschlesinger)
2020-10-08 19:22:35 +0200LKoen(~LKoen@81.255.219.130)
2020-10-08 19:22:46 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494)
2020-10-08 19:22:48 +0200 <Habib> i don't understand how it comes with ghc then, if i can't import it without installing it with cabal
2020-10-08 19:23:05 +0200 <geekosaur> if you installed ghc from some OS package then it may have been split out by the packager
2020-10-08 19:23:08 +0200 <Habib> what libraries come with ghc then?
2020-10-08 19:23:21 +0200 <geekosaur> if you install from a tarball or ghcup then you have process and a few other libraries
2020-10-08 19:23:45 +0200 <Habib> is there an authoritative list of libraries that come with ghc vs. the haskell platform
2020-10-08 19:23:48 +0200 <monochrom> Everything here comes with GHC 8.10.1: https://downloads.haskell.org/~ghc/8.10.1/docs/html/libraries/index.html
2020-10-08 19:23:57 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-10-08 19:24:21 +0200 <Habib> the conflict message does seem to point to a conflict between that version of process and the version of ghc
2020-10-08 19:24:38 +0200 <Habib> but i don't understand why it only conflicts after it's already successfully installed teh first time
2020-10-08 19:24:38 +0200andos(~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-08 19:25:10 +0200andos(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-08 19:25:21 +0200 <monochrom> Is there, really, a version of haskell platform that has/uses/whatever GHC 8.10.1 ??!!!
2020-10-08 19:26:00 +0200zacts(~zacts@dragora/developer/zacts) (Quit: leaving)
2020-10-08 19:26:06 +0200 <Habib> and even then, if i install the exact version that comes with ghc 8.10.1, which is 1.6.8.2, it fails
2020-10-08 19:26:13 +0200 <monochrom> More generally, Haskell Platform is basically an obsoleted concept. There hasn't been any update.
2020-10-08 19:26:23 +0200 <Habib> monochrom: i don't know, i don't even know if the platform is still around
2020-10-08 19:26:51 +0200 <monochrom> But your GHC is 8.10.1 so you are not using any kind of Haskell Platform.
2020-10-08 19:26:58 +0200 <Habib> next question i should ask is why my bloody irc client won't even scroll automatically
2020-10-08 19:27:19 +0200 <Habib> sorry… i don't actually want to ask that
2020-10-08 19:27:57 +0200zacts(~zacts@dragora/developer/zacts)
2020-10-08 19:28:23 +0200 <Habib> anyway, regardless, process-1.6.8.2 comes with ghc 8.10.1, which is what i'm on
2020-10-08 19:28:27 +0200 <AWizzArd> Are Snaplets something that might be called "Middleware" in other servers?
2020-10-08 19:28:37 +0200 <Habib> yet it succeeds installation the first time, then fails any subsequent installs
2020-10-08 19:28:45 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
2020-10-08 19:29:04 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net)
2020-10-08 19:29:05 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-10-08 19:30:23 +0200oisdk(~oisdk@2001:bb6:3329:d100:7807:4c86:5073:949e) (Quit: oisdk)
2020-10-08 19:31:51 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-10-08 19:32:01 +0200LKoen(~LKoen@81.255.219.130) (Remote host closed the connection)
2020-10-08 19:32:59 +0200alp(~alp@2a01:e0a:58b:4920:b162:4ee9:a508:6abf) (Ping timeout: 272 seconds)
2020-10-08 19:33:19 +0200Franciman(~francesco@host-95-247-31-62.retail.telecomitalia.it)
2020-10-08 19:33:42 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-08 19:37:39 +0200Guest_46(50ec28e9@ip-233.net-80-236-40.suresnes.rev.numericable.fr)
2020-10-08 19:38:34 +0200nshepperd(~nshepperd@pool-96-239-61-124.nycmny.fios.verizon.net)
2020-10-08 19:38:54 +0200zacts(~zacts@dragora/developer/zacts) (Quit: leaving)
2020-10-08 19:39:07 +0200 <Habib> hmm, looks like i do have process in my default package db
2020-10-08 19:39:17 +0200zacts(~zacts@dragora/developer/zacts)
2020-10-08 19:39:48 +0200 <Habib> i just didn't know it was a default package at the time, so i wanted to ensure it was installed by cabal and that if it tried to install it and it was already installed, it wouldn't fail
2020-10-08 19:40:36 +0200oisdk(~oisdk@2001:bb6:3329:d100:7807:4c86:5073:949e)
2020-10-08 19:41:16 +0200 <Habib> still, this behaviour isn't expected
2020-10-08 19:41:29 +0200vicfred(~vicfred@unaffiliated/vicfred)
2020-10-08 19:41:37 +0200 <Habib> is System.Process part of Haskell2010?
2020-10-08 19:41:51 +0200 <geekosaur> no
2020-10-08 19:42:19 +0200 <geekosaur> it is part of the implementation of ghc, hence of ghc-lib which is part of ghc
2020-10-08 19:43:02 +0200dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2020-10-08 19:43:07 +0200 <Habib> just checked, it isn't
2020-10-08 19:43:25 +0200Cthalupa(~cthulhu@47.186.39.187) (Ping timeout: 264 seconds)
2020-10-08 19:43:28 +0200 <Habib> ack, i keep repeating what people have already said
2020-10-08 19:43:40 +0200 <Habib> i really need to get my irc scroll checked
2020-10-08 19:45:09 +0200 <Habib> i'm gonna try this on a clean environment with a non-bundled library like aeson
2020-10-08 19:46:11 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-08 19:47:08 +0200fendor(~fendor@77.119.131.69.wireless.dyn.drei.com)
2020-10-08 19:47:28 +0200hackagecommander-cli 0.10.1.1 - A command line argument/option parser library https://hackage.haskell.org/package/commander-cli-0.10.1.1 (sgschlesinger)
2020-10-08 19:48:10 +0200jneira_(~jneira@118.red-176-83-71.dynamicip.rima-tde.net) (Ping timeout: 246 seconds)
2020-10-08 19:48:33 +0200jneira(501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) (Quit: Connection closed)
2020-10-08 19:49:51 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-08 19:50:45 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-08 19:52:00 +0200 <Habib> hmm, aeson just says “Up to date” when installing it and it's already there. something weird going on with process, perhaps due to being a bundled library already
2020-10-08 19:53:38 +0200jneira_(~jneira@225.red-176-87-26.dynamicip.rima-tde.net)
2020-10-08 19:54:03 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-08 19:55:09 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-08 19:56:17 +0200int-e(~noone@int-e.eu) (Remote host closed the connection)
2020-10-08 19:56:35 +0200sbp(~sbp@2001:19f0:6800:1102:5400:ff:fe11:39a1)
2020-10-08 19:56:39 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-08 19:57:35 +0200 <sbp> anybody know if Chris Penner hangs around here?
2020-10-08 19:57:59 +0200geekosaur(ac3a3b6c@172.58.59.108) (Ping timeout: 245 seconds)
2020-10-08 20:00:02 +0200hari1(~hari@195.206.169.184) ()
2020-10-08 20:01:36 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-10-08 20:02:58 +0200knupfer(~Thunderbi@200116b82ce4df00a0bd07f956f29bb7.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-08 20:03:10 +0200knupfer(~Thunderbi@200116b82ce4df00a0bd07f956f29bb7.dip.versatel-1u1.de)
2020-10-08 20:04:56 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-08 20:05:07 +0200jneira_(~jneira@225.red-176-87-26.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-10-08 20:05:18 +0200jneira_(~jneira@80.30.101.206)
2020-10-08 20:08:45 +0200geekosaur(ac3a3ed8@172.58.62.216)
2020-10-08 20:16:44 +0200 <dsal> I've seen him now and then.
2020-10-08 20:18:15 +0200catchme(uid355354@gateway/web/irccloud.com/x-ewqbboqewsctmvnj) (Quit: Connection closed for inactivity)
2020-10-08 20:19:52 +0200andos(~dan@107-190-41-58.cpe.teksavvy.com) (Quit: Leaving)
2020-10-08 20:21:03 +0200nados(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-08 20:21:17 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-08 20:21:48 +0200variable(~variable@185.244.214.216)
2020-10-08 20:22:11 +0200variableGuest36719
2020-10-08 20:23:13 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-08 20:23:37 +0200snyp(~rksht@49.207.204.102)
2020-10-08 20:23:53 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494)
2020-10-08 20:24:18 +0200 <snyp> "StateT Maybe a" vs "MaybeT State a" - don't you have to read the implementation to see how they're different?
2020-10-08 20:25:22 +0200Tops21(~Tobias@dyndsl-095-033-023-047.ewe-ip-backbone.de)
2020-10-08 20:25:25 +0200zaquest(~notzaques@5.128.210.178) (Ping timeout: 264 seconds)
2020-10-08 20:26:15 +0200 <geekosaur> no? you know that if the outer MaybeT fails you lose the State inside, whereas if reversed you keep the state, because it's outside
2020-10-08 20:27:56 +0200 <sbp> dsal: ah. under what nickname?
2020-10-08 20:28:01 +0200zaquest(~notzaques@5.128.210.178)
2020-10-08 20:28:05 +0200LKoen(~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr)
2020-10-08 20:28:24 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
2020-10-08 20:28:47 +0200 <lyxia> sbp: he's on slack (functionalprogramming) under his own name.
2020-10-08 20:28:59 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2020-10-08 20:29:03 +0200Tops2(~Tobias@dyndsl-095-033-023-047.ewe-ip-backbone.de) (Ping timeout: 265 seconds)
2020-10-08 20:29:32 +0200zacts(~zacts@dragora/developer/zacts) (Quit: leaving)
2020-10-08 20:30:04 +0200 <snyp> geekosaur: Does "MaybeT State a" ever make sense to use?
2020-10-08 20:30:12 +0200zacts(~zacts@dragora/developer/zacts)
2020-10-08 20:30:26 +0200 <geekosaur> if the state is irrelevant in case of failure, yes
2020-10-08 20:30:58 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-08 20:31:44 +0200PerryThePlatypus(b644f401@182.68.244.1)
2020-10-08 20:31:56 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-08 20:32:21 +0200chaosmasttter(~chaosmast@p200300c4a70b40010854fe5f0255a133.dip0.t-ipconnect.de)
2020-10-08 20:32:39 +0200isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com)
2020-10-08 20:33:33 +0200Gurkenglas_Gurkenglas
2020-10-08 20:33:47 +0200ericsagnes(~ericsagne@2405:6580:0:5100:aced:b361:828c:f8f1) (Ping timeout: 272 seconds)
2020-10-08 20:34:10 +0200 <AWizzArd> Can I use the unicode char `μ` in data constructors? I.e. data TimeUnit = NS | μs | MS | S
2020-10-08 20:34:32 +0200 <geekosaur> it's a letter character, so yes
2020-10-08 20:34:37 +0200 <ski> > isUpper 'μ'
2020-10-08 20:34:40 +0200 <lambdabot> False
2020-10-08 20:34:50 +0200 <geekosaur> oh, good point
2020-10-08 20:34:52 +0200 <PerryThePlatypus> Hey, I wanted to improve my Haskell skillz. I wanted to try LeetCode but unfortunately they do not support Haskell. Any alternatives in mind? I don't need online IDE.
2020-10-08 20:34:56 +0200 <geekosaur> has to be uppercase
2020-10-08 20:35:35 +0200 <AWizzArd> Okay.
2020-10-08 20:35:47 +0200 <ski> @unmtl StateT s (MaybeT m) a
2020-10-08 20:35:47 +0200 <lambdabot> s -> m (Maybe (a, s))
2020-10-08 20:35:48 +0200 <ski> @unmtl MaybeT (StateT s m) a
2020-10-08 20:35:49 +0200 <lambdabot> s -> m (Maybe a, s)
2020-10-08 20:35:51 +0200 <ski> snyp ^
2020-10-08 20:36:17 +0200 <geekosaur> hm
2020-10-08 20:36:18 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-08 20:36:49 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494)
2020-10-08 20:37:25 +0200John20(~John@82.46.59.122) (Ping timeout: 264 seconds)
2020-10-08 20:37:26 +0200 <AWizzArd> > isUpper 'Μ'
2020-10-08 20:37:29 +0200 <lambdabot> True
2020-10-08 20:37:36 +0200PerryThePlatypus(b644f401@182.68.244.1) (Remote host closed the connection)
2020-10-08 20:37:45 +0200 <AWizzArd> > (isUpper 'Μ', 'Μ' == 'M')
2020-10-08 20:37:47 +0200 <lambdabot> (True,False)
2020-10-08 20:37:54 +0200phaul(~phaul@ruby/staff/phaul)
2020-10-08 20:38:07 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-08 20:38:44 +0200int-e(~noone@silicon.int-e.eu)
2020-10-08 20:39:39 +0200Wuzzy(~Wuzzy@p5790e6f5.dip0.t-ipconnect.de)
2020-10-08 20:41:15 +0200 <ski> > map isUpper "µ㎲𝜇"
2020-10-08 20:41:17 +0200 <lambdabot> [False,False,False]
2020-10-08 20:41:21 +0200ystael(~ystael@209.6.50.55) (Read error: Connection reset by peer)
2020-10-08 20:43:02 +0200 <snyp> @unmtl StateT s (Maybe a)
2020-10-08 20:43:02 +0200 <lambdabot> err: `StateT s (Maybe a)' is not applied to enough arguments, giving `/\A. s -> Maybe a (A, s)'
2020-10-08 20:43:58 +0200 <ski> drop the brackets
2020-10-08 20:43:59 +0200conal(~conal@64.71.133.70)
2020-10-08 20:44:10 +0200phaul(~phaul@ruby/staff/phaul) (Ping timeout: 246 seconds)
2020-10-08 20:44:31 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Quit: cosimone)
2020-10-08 20:45:41 +0200Cthalupa(~cthulhu@47.186.47.75)
2020-10-08 20:45:47 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds)
2020-10-08 20:45:52 +0200ericsagnes(~ericsagne@2405:6580:0:5100:1c60:69e9:f30b:d7e8)
2020-10-08 20:46:38 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-08 20:47:06 +0200phaul(~phaul@ruby/staff/phaul)
2020-10-08 20:47:11 +0200ystael(~ystael@209.6.50.55)
2020-10-08 20:47:25 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-08 20:48:28 +0200 <sm[m]> @freenode_PerryThePlatypus:matrix.org: exercism, project Euler, code.world
2020-10-08 20:48:28 +0200 <lambdabot> Unknown command, try @list
2020-10-08 20:49:33 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-08 20:49:43 +0200GyroW(~GyroW@d54c03e98.access.telenet.be)
2020-10-08 20:49:43 +0200GyroW(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-08 20:49:43 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-08 20:49:52 +0200Zetagon(~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-10-08 20:51:17 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-08 20:51:52 +0200jneira(501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206)
2020-10-08 20:52:09 +0200skilooks at sm[m]
2020-10-08 20:53:08 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-jxsyyeiuxmytinai)
2020-10-08 20:53:45 +0200phaul(~phaul@ruby/staff/phaul) (Ping timeout: 240 seconds)
2020-10-08 20:54:46 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-08 20:55:03 +0200tomsmedingcarefully notes that the intended recipient of that message had already left the chat
2020-10-08 21:01:27 +0200ashbreeze(~mark@72-161-253-219.dyn.centurytel.net)
2020-10-08 21:02:08 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-10-08 21:03:45 +0200_ashbreeze_(~mark@72-161-253-219.dyn.centurytel.net) (Ping timeout: 240 seconds)
2020-10-08 21:04:05 +0200conal(~conal@64.71.133.70) (Remote host closed the connection)
2020-10-08 21:04:18 +0200conal_(~conal@64.71.133.70)
2020-10-08 21:04:26 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-10-08 21:05:36 +0200John20(~John@82.46.59.122)
2020-10-08 21:07:09 +0200_ashbreeze_(~mark@72-161-48-15.dyn.centurytel.net)
2020-10-08 21:08:33 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-08 21:09:13 +0200ashbreeze(~mark@72-161-253-219.dyn.centurytel.net) (Ping timeout: 256 seconds)
2020-10-08 21:11:15 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-08 21:11:16 +0200vicfred(~vicfred@unaffiliated/vicfred) (Ping timeout: 256 seconds)
2020-10-08 21:12:22 +0200conal_(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-08 21:12:30 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2020-10-08 21:13:21 +0200conal(~conal@64.71.133.70)
2020-10-08 21:13:42 +0200 <sm[m]> urggggh did it again. Apologies. Well maybe someone else cares
2020-10-08 21:15:01 +0200 <int-e> > (2^^(-1074), (2^^(-537))^2) -- meh.
2020-10-08 21:15:04 +0200 <lambdabot> (0.0,5.0e-324)
2020-10-08 21:16:03 +0200 <geekosaur> have some floating point
2020-10-08 21:16:12 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-08 21:16:39 +0200 <int-e> I guess a ^^ b does 1/(a^(-b)) for negative b, not (1/a)^(-b)
2020-10-08 21:17:07 +0200 <int-e> > (1/2^1074, (1/2)^1074)
2020-10-08 21:17:10 +0200 <lambdabot> (0.0,5.0e-324)
2020-10-08 21:19:43 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-08 21:22:03 +0200ryansmccoy(~ryansmcco@193.37.254.27) (Ping timeout: 260 seconds)
2020-10-08 21:22:26 +0200ryansmccoy(~ryansmcco@156.96.151.132)
2020-10-08 21:23:47 +0200 <int-e> (but neither implementation is strictly better than the other, so best to accept the behavior as it is)
2020-10-08 21:24:41 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-08 21:25:57 +0200hackagehakyll-alectryon 0.1.1.0 - Hakyll extension for rendering Coq code using Alectryon https://hackage.haskell.org/package/hakyll-alectryon-0.1.1.0 (lyxia)
2020-10-08 21:26:40 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-08 21:26:44 +0200 <proofofme> Hello. How do I print this data type to the console? Maybe [String]
2020-10-08 21:27:02 +0200 <phadej> print
2020-10-08 21:27:49 +0200 <proofofme> No instance for (Show (IO (Maybe [String])))
2020-10-08 21:27:49 +0200 <proofofme> arising from a use of ‘print’
2020-10-08 21:28:20 +0200 <phadej> do { x <- thatIOAction; print x }
2020-10-08 21:29:10 +0200 <proofofme> Yes!!! Thank you phadej
2020-10-08 21:32:22 +0200isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Ping timeout: 265 seconds)
2020-10-08 21:36:04 +0200 <leungbk> Why does valgrind report an 80-byte leak for a hello-world.hs file with `main = print "hello"` compiled with `ghc hello.hs`? Are there other compilation flags I need to give ghc?
2020-10-08 21:36:04 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-08 21:36:11 +0200alp(~alp@88.126.45.36)
2020-10-08 21:36:15 +0200zacts(~zacts@dragora/developer/zacts) (Quit: leaving)
2020-10-08 21:36:19 +0200geekosaur(ac3a3ed8@172.58.62.216) (Ping timeout: 245 seconds)
2020-10-08 21:36:49 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494)
2020-10-08 21:37:54 +0200 <ski> proofofme : also `print =<< thatIOAction'
2020-10-08 21:38:40 +0200 <tomsmeding> (not sure if it's good to give beginners =<< instead of the standard >>=)
2020-10-08 21:38:42 +0200 <monochrom> valgrind is the wrong tool for GHC-generated executables.
2020-10-08 21:38:53 +0200Ariakenom(~Ariakenom@h-155-4-221-50.NA.cust.bahnhof.se)
2020-10-08 21:39:25 +0200 <proofofme> ski, that worked as well! How should I use the standard binding operator instead, tomsmeding?
2020-10-08 21:39:36 +0200 <tomsmeding> proofofme: thatIOAction >>= print
2020-10-08 21:39:37 +0200 <tomsmeding> :p
2020-10-08 21:39:42 +0200 <tomsmeding> it's the same thing, but with the arguments flipped
2020-10-08 21:39:43 +0200 <ski> you can say .. what tomsmeding said, as well
2020-10-08 21:39:45 +0200 <ski> yes
2020-10-08 21:39:55 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-08 21:39:56 +0200wroathe_(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 21:39:59 +0200 <ski> sometimes the ordering for `=<<' reads more nicely
2020-10-08 21:40:00 +0200 <proofofme> ah! I see
2020-10-08 21:40:04 +0200 <ski> (also `<=<')
2020-10-08 21:40:05 +0200borne(~fritjof@200116b864a02a00739dc2dd650b1f65.dip.versatel-1u1.de)
2020-10-08 21:40:11 +0200 <proofofme> is <=< different?
2020-10-08 21:40:15 +0200 <ski> yes
2020-10-08 21:40:18 +0200 <tomsmeding> and >=> and all the plethora of operators that exist
2020-10-08 21:40:34 +0200 <ski> `<=<' composes two "monadic functions"
2020-10-08 21:40:35 +0200 <tomsmeding> it's not productive to get lost in the swamp of operators at first I think :)
2020-10-08 21:40:40 +0200 <tomsmeding> and I think monochrom will agree
2020-10-08 21:41:14 +0200 <tomsmeding> since >>= is the core operator from the Monad class; =<< is (trivially) defined in terms of >>=
2020-10-08 21:41:28 +0200 <ski> proofofme : but when you're starting, i think it's good to focus on `do'-notation and `return'/`pure', and then learn how the former maps to `>>=' and `>>' (or perhaps learn about them, before `do')
2020-10-08 21:41:53 +0200shafox(~shafox@106.51.234.111) (Remote host closed the connection)
2020-10-08 21:41:54 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Read error: Connection reset by peer)
2020-10-08 21:42:07 +0200 <tomsmeding> I guess depending on your prior programming experience, or general exposure to mathematics :p
2020-10-08 21:42:24 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-08 21:42:29 +0200 <proofofme> I've been studying category theory (I'm like 70% of the way through the standard curriculum) and reading some articles. I'm building a very small scraper script to get more familiar
2020-10-08 21:42:33 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-10-08 21:43:07 +0200 <tomsmeding> I say understand >>= first, then understand how do-notation is expressed in terms of it :p
2020-10-08 21:43:19 +0200 <monochrom> If you're from category theory, then you already know join, and you just need "m >>= k = join (fmap f m)"
2020-10-08 21:43:49 +0200 <monochrom> well, you know join under a Greek name. But it's:
2020-10-08 21:43:53 +0200 <monochrom> @type join
2020-10-08 21:43:55 +0200 <lambdabot> Monad m => m (m a) -> m a
2020-10-08 21:44:13 +0200 <proofofme> hmmm
2020-10-08 21:44:41 +0200oisdk(~oisdk@2001:bb6:3329:d100:7807:4c86:5073:949e) (Quit: oisdk)
2020-10-08 21:44:45 +0200Guest_46(50ec28e9@ip-233.net-80-236-40.suresnes.rev.numericable.fr) (Remote host closed the connection)
2020-10-08 21:45:36 +0200 <monochrom> You probably also already know Kleisli arrows. In that case, that's >=>.
2020-10-08 21:46:13 +0200 <monochrom> or rather, >=> is the arrow composition for Kleisli arrows.
2020-10-08 21:46:14 +0200 <sbp> lyxia: thanks
2020-10-08 21:46:16 +0200sbp(~sbp@2001:19f0:6800:1102:5400:ff:fe11:39a1) ("WeeChat 2.8")
2020-10-08 21:46:30 +0200 <proofofme> Interesting
2020-10-08 21:47:02 +0200wroathe_(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-08 21:47:22 +0200geekosaur(ac3a3eec@172.58.62.236)
2020-10-08 21:48:29 +0200isovector1(~isovector@172.103.216.166)
2020-10-08 21:49:56 +0200isovector1(~isovector@172.103.216.166) (Client Quit)
2020-10-08 21:50:28 +0200skiidly wonders what CT concepts proofofme's covered
2020-10-08 21:50:32 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-08 21:50:55 +0200 <proofofme> I lightly understand what you said above and made a list to refamiliarize myself
2020-10-08 21:51:47 +0200knupfer(~Thunderbi@200116b82ce4df00a0bd07f956f29bb7.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-08 21:52:02 +0200 <proofofme> I've watched up to Chapter 7 in Bartosz Milewski's Category Theory playlist
2020-10-08 21:52:35 +0200 <proofofme> So "a monad is simply a monoid in the category of endofunctors" makes full sense to me now :)
2020-10-08 21:53:34 +0200 <proofofme> I've also been learning abstract algebra and some number theory. I am no expert by any means though.
2020-10-08 21:54:11 +0200 <monochrom> err typo. m >>= k = join (fmap k m)
2020-10-08 21:54:47 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-08 21:57:26 +0200int-e(~noone@silicon.int-e.eu) (Quit: leaving)
2020-10-08 21:57:42 +0200int-e(~noone@int-e.eu)
2020-10-08 22:01:51 +0200alp(~alp@88.126.45.36) (Ping timeout: 260 seconds)
2020-10-08 22:01:57 +0200hackageneuron 1.0.0.0 - Future-proof system for plain-text notes. https://hackage.haskell.org/package/neuron-1.0.0.0 (sridca)
2020-10-08 22:03:27 +0200hackagelorentz 0.6.2 - EDSL for the Michelson Language https://hackage.haskell.org/package/lorentz-0.6.2 (gromak)
2020-10-08 22:03:31 +0200MVQq(~anja@198.254.202.72)
2020-10-08 22:03:36 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-08 22:03:36 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-08 22:03:36 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-08 22:04:19 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 246 seconds)
2020-10-08 22:06:18 +0200MarcelineVQ(~anja@198.254.202.72) (Ping timeout: 256 seconds)
2020-10-08 22:07:14 +0200rprije(~rprije@203.214.95.251)
2020-10-08 22:09:29 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-08 22:09:32 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-10-08 22:10:38 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-08 22:14:11 +0200conal(~conal@64.71.133.70)
2020-10-08 22:17:09 +0200ashbreeze(~mark@72-161-252-12.dyn.centurytel.net)
2020-10-08 22:18:25 +0200_ashbreeze_(~mark@72-161-48-15.dyn.centurytel.net) (Ping timeout: 240 seconds)
2020-10-08 22:18:49 +0200John20(~John@82.46.59.122) (Ping timeout: 264 seconds)
2020-10-08 22:20:50 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 22:20:57 +0200thc202(~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds)
2020-10-08 22:25:47 +0200ashbreeze(~mark@72-161-252-12.dyn.centurytel.net) (Ping timeout: 240 seconds)
2020-10-08 22:27:19 +0200geekosaur(ac3a3eec@172.58.62.236) (Remote host closed the connection)
2020-10-08 22:27:21 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-08 22:27:58 +0200ashbreeze(~mark@72-161-252-12.dyn.centurytel.net)
2020-10-08 22:35:01 +0200ashbreeze(~mark@72-161-252-12.dyn.centurytel.net) (Ping timeout: 264 seconds)
2020-10-08 22:36:40 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-10-08 22:37:18 +0200ryansmccoy(~ryansmcco@156.96.151.132) (Ping timeout: 260 seconds)
2020-10-08 22:37:47 +0200ryansmccoy(~ryansmcco@156.96.151.132)
2020-10-08 22:41:22 +0200coot(~coot@37.30.49.218.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 256 seconds)
2020-10-08 22:45:26 +0200alp(~alp@2a01:e0a:58b:4920:ac57:f0c6:c76e:e7d6)
2020-10-08 22:46:10 +0200phaul(~phaul@ruby/staff/phaul)
2020-10-08 22:46:48 +0200balbirs(~balbirs__@bilbo.ozlabs.org) (Quit: ZNC 1.7.5+deb1 - https://znc.in)
2020-10-08 22:47:31 +0200balbirs(~balbirs__@ozlabs.org)
2020-10-08 22:48:53 +0200frdg(47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-10-08 22:49:01 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-bssvxoobsmajjsoa) (Quit: Connection closed for inactivity)
2020-10-08 22:54:01 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-08 22:55:20 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Remote host closed the connection)
2020-10-08 22:55:50 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-08 23:00:01 +0200Guest36719(~variable@185.244.214.216) ()
2020-10-08 23:01:23 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 23:02:07 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-08 23:05:45 +0200Franciman(~francesco@host-95-247-31-62.retail.telecomitalia.it) (Quit: Leaving)
2020-10-08 23:07:00 +0200mcc2(~pbodev1@5-15-16-231.residential.rdsnet.ro) (Quit: Nettalk6 - www.ntalk.de)
2020-10-08 23:13:04 +0200ClaudiusMaximus(~claude@198.123.199.146.dyn.plus.net)
2020-10-08 23:13:17 +0200ClaudiusMaximus(~claude@198.123.199.146.dyn.plus.net) (Changing host)
2020-10-08 23:13:17 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2020-10-08 23:14:27 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds)
2020-10-08 23:17:07 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-08 23:20:27 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 260 seconds)
2020-10-08 23:21:58 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 23:22:16 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-10-08 23:22:38 +0200_vaibhavingale_(~Adium@203.188.228.27) (Quit: Leaving.)
2020-10-08 23:23:15 +0200psygate(~psygate@unaffiliated/psygate)
2020-10-08 23:23:31 +0200borne(~fritjof@200116b864a02a00739dc2dd650b1f65.dip.versatel-1u1.de) (Ping timeout: 272 seconds)
2020-10-08 23:23:51 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Client Quit)
2020-10-08 23:24:08 +0200justsomeguy(~justsomeg@2603:9000:960a:fc00:c4d2:5b73:c7b7:3a2b)
2020-10-08 23:24:08 +0200justsomeguy(~justsomeg@2603:9000:960a:fc00:c4d2:5b73:c7b7:3a2b) (Changing host)
2020-10-08 23:24:08 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-10-08 23:26:45 +0200Tops21(~Tobias@dyndsl-095-033-023-047.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-10-08 23:28:22 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-08 23:28:29 +0200Ariakenom(~Ariakenom@h-155-4-221-50.NA.cust.bahnhof.se) (Quit: Leaving)
2020-10-08 23:28:32 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-08 23:28:33 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-08 23:28:33 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-08 23:30:44 +0200radge(~dav@84.45.212.159)
2020-10-08 23:31:56 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-08 23:32:41 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-08 23:33:34 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-08 23:34:55 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Quit: cosimone)
2020-10-08 23:36:50 +0200borne(~fritjof@200116b864a02a00739dc2dd650b1f65.dip.versatel-1u1.de)
2020-10-08 23:36:59 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 246 seconds)
2020-10-08 23:37:47 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-08 23:39:00 +0200zacts(~zacts@dragora/developer/zacts)
2020-10-08 23:40:41 +0200kreetx(~markus@228-90-235-80.dyn.estpak.ee)
2020-10-08 23:41:12 +0200radge(~dav@84.45.212.159) (Quit: WeeChat 2.9)
2020-10-08 23:41:51 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Quit: WeeChat 2.8)
2020-10-08 23:44:14 +0200LKoen(~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-08 23:44:30 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-08 23:46:23 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-10-08 23:46:51 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-08 23:47:47 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-08 23:50:29 +0200worc3131(~quassel@2a02:c7f:c026:9500:7d0b:65d0:38a4:4786)
2020-10-08 23:50:31 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-08 23:51:11 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-08 23:53:38 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-08 23:53:46 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-08 23:53:47 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-08 23:53:47 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-08 23:54:45 +0200oisdk(~oisdk@2001:bb6:3329:d100:7807:4c86:5073:949e)
2020-10-08 23:54:53 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-08 23:55:16 +0200zacts(~zacts@dragora/developer/zacts) (Quit: leaving)
2020-10-08 23:55:49 +0200zacts(~zacts@dragora/developer/zacts)
2020-10-08 23:56:02 +0200thir(~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-08 23:56:25 +0200frank001(~frank001@178.162.212.214)
2020-10-08 23:57:07 +0200 <dolio> (=<<) is good because it shows how homomorphisms of free algebras `m a -> m b` arise from maps `a -> m b`.
2020-10-08 23:57:27 +0200st8less(~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c) (Ping timeout: 240 seconds)
2020-10-08 23:57:43 +0200conal(~conal@64.71.133.70)
2020-10-08 23:58:45 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-08 23:59:07 +0200conal(~conal@64.71.133.70) (Client Quit)