IRCBrowse

2020/10/24

2020-10-24 00:00:01 +0000ericbsd1(~ericbsd@178.162.204.214) ()
2020-10-24 00:01:07 +0000thir(~thir@p200300f27f19de002cecd531afedd8d6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 00:02:55 +0000falafel(~falafel@71-34-132-121.clsp.qwest.net)
2020-10-24 00:03:43 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:ac30:bbd7:59b:66ab)
2020-10-24 00:04:17 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 00:05:36 +0000thir(~thir@p200300f27f252300edbc47e1ffd73c66.dip0.t-ipconnect.de)
2020-10-24 00:06:42 +0000vacm(~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 00:07:39 +0000p8m_(p8m@gateway/vpn/protonvpn/p8m)
2020-10-24 00:07:48 +0000p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
2020-10-24 00:08:44 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2020-10-24 00:10:27 +0000thir(~thir@p200300f27f252300edbc47e1ffd73c66.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 00:10:40 +0000Jonno_FTW(~come@api.carswap.me) (Ping timeout: 272 seconds)
2020-10-24 00:13:44 +0000kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-24 00:13:50 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds)
2020-10-24 00:15:23 +0000ech(~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-24 00:15:44 +0000ech(~user@gateway/tor-sasl/ech)
2020-10-24 00:16:18 +0000tanuki_(~quassel@173.168.154.189) (Ping timeout: 260 seconds)
2020-10-24 00:16:34 +0000tanuki(~quassel@173.168.154.189)
2020-10-24 00:17:29 +0000Jonno_FTW(~come@api.carswap.me)
2020-10-24 00:22:01 +0000milky1(~milky@185.204.1.185)
2020-10-24 00:22:16 +0000jsynacek_(~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 260 seconds)
2020-10-24 00:22:33 +0000vacm(~vacwm@70.23.92.191)
2020-10-24 00:23:25 +0000olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-24 00:25:07 +0000laserpants(c59d001b@197.157.0.27)
2020-10-24 00:26:30 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 00:26:32 +0000jathan(~jathan@69.61.93.38) (Ping timeout: 260 seconds)
2020-10-24 00:27:46 +0000laserpants(c59d001b@197.157.0.27) (Remote host closed the connection)
2020-10-24 00:29:13 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 00:30:45 +0000Chi1thangoo(~Chi1thang@87.112.60.168) (Ping timeout: 240 seconds)
2020-10-24 00:33:24 +0000jathan(~jathan@69.61.93.38)
2020-10-24 00:35:14 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:ac30:bbd7:59b:66ab) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 00:36:43 +0000ech(~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-24 00:40:02 +0000falafel(~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection)
2020-10-24 00:40:29 +0000falafel(~falafel@71-34-132-121.clsp.qwest.net)
2020-10-24 00:40:49 +0000thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de)
2020-10-24 00:42:36 +0000ech(~user@gateway/tor-sasl/ech)
2020-10-24 00:44:02 +0000Chi1thangoo(~Chi1thang@87.112.60.168)
2020-10-24 00:45:27 +0000thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 00:46:02 +0000ericsagnes(~ericsagne@2405:6580:0:5100:c30c:e109:135c:6061) (Ping timeout: 260 seconds)
2020-10-24 00:46:29 +0000JohnnyL(~john@unaffiliated/johnnyl) (Quit: leaving)
2020-10-24 00:48:32 +0000elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer)
2020-10-24 00:50:42 +0000Lord_of_Life(~Lord@46.217.218.96)
2020-10-24 00:52:06 +0000Lord_of_Life_(~Lord@46.217.218.75) (Ping timeout: 256 seconds)
2020-10-24 00:52:09 +0000steve_(~quassel@ool-18b99d28.dyn.optonline.net)
2020-10-24 00:52:12 +0000steve__(~quassel@ool-18b99d28.dyn.optonline.net)
2020-10-24 00:53:45 +0000falafel(~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 240 seconds)
2020-10-24 00:58:27 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 01:00:05 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-24 01:00:44 +0000erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 258 seconds)
2020-10-24 01:01:23 +0000erolm_a(~erolm_a@62.18.213.68)
2020-10-24 01:02:45 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2020-10-24 01:02:57 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-24 01:06:05 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2020-10-24 01:06:06 +0000steve_(~quassel@ool-18b99d28.dyn.optonline.net) (Ping timeout: 258 seconds)
2020-10-24 01:06:08 +0000steve__(~quassel@ool-18b99d28.dyn.optonline.net) (Ping timeout: 260 seconds)
2020-10-24 01:07:28 +0000hackageweb-routes-happstack 0.23.12.1 - Adds support for using web-routes with Happstack https://hackage.haskell.org/package/web-routes-happstack-0.23.12.1 (JeremyShaw)
2020-10-24 01:08:54 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-24 01:10:39 +0000unlink_(~unlink2@p200300ebcf3c54001b9e8be0a8d0c9c4.dip0.t-ipconnect.de)
2020-10-24 01:11:20 +0000unlink_(~unlink2@p200300ebcf3c54001b9e8be0a8d0c9c4.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-24 01:11:56 +0000Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 256 seconds)
2020-10-24 01:12:48 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 265 seconds)
2020-10-24 01:14:16 +0000p8m(p8m@gateway/vpn/protonvpn/p8m)
2020-10-24 01:14:37 +0000toorevitimirp(~tooreviti@117.182.180.83)
2020-10-24 01:14:57 +0000p8m_(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
2020-10-24 01:19:40 +0000erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 260 seconds)
2020-10-24 01:19:57 +0000dibblego(~dibblego@122-199-1-30.ip4.superloop.com)
2020-10-24 01:19:57 +0000dibblego(~dibblego@122-199-1-30.ip4.superloop.com) (Changing host)
2020-10-24 01:19:57 +0000dibblego(~dibblego@haskell/developer/dibblego)
2020-10-24 01:20:12 +0000Chi1thangoo(~Chi1thang@87.112.60.168) (Ping timeout: 260 seconds)
2020-10-24 01:21:13 +0000erolm_a(~erolm_a@62.18.213.68)
2020-10-24 01:25:05 +0000mnrmnaughmnrgle(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds)
2020-10-24 01:25:14 +0000mbomba(~mbomba@142.114.9.241) (Quit: WeeChat 2.9)
2020-10-24 01:27:14 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 01:27:45 +0000darjeeli1(~darjeelin@122.245.123.118) (Ping timeout: 240 seconds)
2020-10-24 01:28:56 +0000acidjnk_new3(~acidjnk@p200300d0c7237865d5c3bc452ffc90f6.dip0.t-ipconnect.de)
2020-10-24 01:30:07 +0000HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2020-10-24 01:30:07 +0000 <texasmynsted> What is the most common/best way to map a function to the first element of a tuple. I see in hoogle things like mapFst, and many others. I could also just write my own function...
2020-10-24 01:30:24 +0000 <texasmynsted> It feels like Control.Arrow might live in this space.
2020-10-24 01:30:52 +0000 <MarcelineVQ> first of Control.Arrow or Control.Bifunctor
2020-10-24 01:31:08 +0000 <MarcelineVQ> * Data.Bifunctor
2020-10-24 01:32:43 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 01:34:25 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22)
2020-10-24 01:34:28 +0000valdyn_(~valdyn@host-88-217-143-53.customer.m-online.net) (Ping timeout: 260 seconds)
2020-10-24 01:34:29 +0000chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-24 01:34:54 +0000chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-24 01:36:22 +0000 <texasmynsted> okay
2020-10-24 01:36:26 +0000ericsagnes(~ericsagne@2405:6580:0:5100:3075:fc1b:a06c:a2b3)
2020-10-24 01:37:00 +0000theelous3(~theelous3@unaffiliated/theelous3) (Read error: Connection reset by peer)
2020-10-24 01:37:15 +0000 <Squarism> ghoulguy, it took me ages, but with your help i finally was able to complete the "textual" getter function. Learned a bunch. https://paste.ofcode.org/TrYkpAdAC3BKSzy4mBNSSL
2020-10-24 01:38:13 +0000thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de)
2020-10-24 01:38:58 +0000hackagehappstack-hsp 7.3.7.5 - Support for using HSP templates in Happstack https://hackage.haskell.org/package/happstack-hsp-7.3.7.5 (JeremyShaw)
2020-10-24 01:40:44 +0000 <texasmynsted> thank you
2020-10-24 01:44:42 +0000thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 01:45:14 +0000valdyn(~valdyn@host-88-217-143-53.customer.m-online.net)
2020-10-24 01:46:44 +0000erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 260 seconds)
2020-10-24 01:46:54 +0000erolm_a(~erolm_a@62.18.213.68)
2020-10-24 01:49:31 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 01:49:33 +0000 <Squarism> what is a popular "lens" library that doesn have a much dependencies as ordinary lens lib?
2020-10-24 01:50:06 +0000 <Squarism> i just got the impression "lens" had tons of dependencies
2020-10-24 01:52:32 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 01:52:51 +0000Wuzzy(~Wuzzy@p5790ef06.dip0.t-ipconnect.de) (Quit: Wuzzy)
2020-10-24 01:53:40 +0000mnrmnaughmnrgle(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-10-24 01:53:47 +0000xff0x(~fox@2001:1a81:530a:3a00:393a:8eae:c84c:d22c) (Ping timeout: 246 seconds)
2020-10-24 01:55:28 +0000texasmynsted(~texasmyns@185.240.246.92) (Read error: Connection reset by peer)
2020-10-24 01:55:51 +0000xff0x(~fox@2001:1a81:5345:9900:b354:bb80:32a4:609c)
2020-10-24 01:56:05 +0000texasmynsted(~texasmyns@185.240.246.92)
2020-10-24 01:56:19 +0000Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-10-24 01:56:40 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2020-10-24 01:57:34 +0000 <ghoulguy> Squarism: I'd suggest just using lens until you're comfortable with it and know what parts you like. After that you'll be able to assess what you don't mind giving up
2020-10-24 01:58:04 +0000 <ghoulguy> There are a few dependencies, but none of them are that big
2020-10-24 01:58:07 +0000 <Squarism> okok
2020-10-24 01:58:23 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 02:00:42 +0000 <Squarism> ghoulguy, as a follow up to the above problem. I think I actually would be better off to map String -> Lens, in order to both read and write values. Do you think it would be easy to use generics to spit out Maybe (<whatever lens type>)?
2020-10-24 02:02:04 +0000 <ghoulguy> You wouldn't make an actual Lens, you'd make a Traversal (a think that might not visit any data)
2020-10-24 02:02:45 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2020-10-24 02:03:04 +0000sw1nn(~sw1nn@2a00:23c6:2385:3a00:842c:7584:d43a:6b01) (Ping timeout: 244 seconds)
2020-10-24 02:03:04 +0000 <Squarism> okok what do you mean with "a think that might not visit any data"
2020-10-24 02:03:07 +0000 <Squarism> ?
2020-10-24 02:03:13 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22)
2020-10-24 02:03:18 +0000 <ghoulguy> The Nothing part of what you have
2020-10-24 02:03:30 +0000 <ghoulguy> when a particular path doesn't actually reach the value you're interested in
2020-10-24 02:03:44 +0000christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 02:04:31 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 02:05:43 +0000lagothrixGuest96355
2020-10-24 02:05:43 +0000Guest96355(~lagothrix@unaffiliated/lagothrix) (Killed (card.freenode.net (Nickname regained by services)))
2020-10-24 02:05:49 +0000lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-10-24 02:07:19 +0000 <texasmynsted> What is a reasonable way to combine these? https://gist.github.com/mmynsted/da7bc7a118ded64080d87208a0f5c798
2020-10-24 02:08:22 +0000 <texasmynsted> other comments welcome. I just want to improve and I have been looking at code too long today.
2020-10-24 02:08:55 +0000Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds)
2020-10-24 02:09:00 +0000 <texasmynsted> I can't really recall the let/where details for inside a do block
2020-10-24 02:09:01 +0000GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-24 02:09:19 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-24 02:09:20 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-24 02:09:20 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-24 02:09:37 +0000christo(~chris@81.96.113.213)
2020-10-24 02:10:11 +0000 <Squarism> texasmynsted, im not haskell veteran. But I think it would help if you provide more context, types and background.
2020-10-24 02:10:51 +0000ryjm_matrix(~matrixirc@2600:4040:a009:6100:3adc:615b:70b5:b0c) (Quit: killed)
2020-10-24 02:10:58 +0000 <texasmynsted> I am just wanting to combine foo and bar
2020-10-24 02:11:20 +0000 <texasmynsted> foo is Rules UrlPairs
2020-10-24 02:11:31 +0000 <texasmynsted> bar is Rules ()
2020-10-24 02:11:58 +0000 <Squarism> you mean Rules is a semigroup / monoid?
2020-10-24 02:12:18 +0000 <texasmynsted> Rules --> https://jaspervdj.be/hakyll/reference/Hakyll-Core-Rules.html#t:Rules
2020-10-24 02:12:19 +0000Tario(~Tario@200.119.186.205) (Read error: Connection reset by peer)
2020-10-24 02:12:43 +0000Tario(~Tario@200.119.186.205)
2020-10-24 02:13:28 +0000 <texasmynsted> it forms a Monad, Functor, Applicative, and MonadMetaData if I am reading that right.
2020-10-24 02:15:13 +0000theDon(~td@muedsl-82-207-238-026.citykom.de) (Ping timeout: 246 seconds)
2020-10-24 02:15:39 +0000sw1nn(~sw1nn@2a00:23c6:2385:3a00:11be:8bb9:294d:1e35)
2020-10-24 02:16:34 +0000 <MarcelineVQ> bar uses foo, are you wanting to write one definition that replaces them entirely?
2020-10-24 02:16:46 +0000polyrain(~polyrain@58.161.83.164)
2020-10-24 02:17:16 +0000 <MarcelineVQ> *replaces foo and bar entirely
2020-10-24 02:17:22 +0000theDon(~td@muedsl-82-207-238-099.citykom.de)
2020-10-24 02:18:29 +0000danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-24 02:19:16 +0000 <Squarism> ghoulguy, you seem to have an obvious idea in your head there on how to accomplish my above problem. Could you just show a short signature of pseudo code for what you mean?
2020-10-24 02:21:22 +0000 <Squarism> or do you mean Traversal as in what is used by over / view in in lens lib?
2020-10-24 02:21:23 +0000chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-24 02:21:55 +0000chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-24 02:23:25 +0000 <MarcelineVQ> texasmynsted: you should be able to just insert the body you wrote for foo right into bar, e.g. https://gist.github.com/mmynsted/da7bc7a118ded64080d87208a0f5c798
2020-10-24 02:23:26 +0000wroathe_(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 02:24:47 +0000shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-24 02:24:57 +0000wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-24 02:25:31 +0000 <Squarism> yeah, right. its a Traversal i want to make
2020-10-24 02:27:35 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 02:28:08 +0000wroathe_(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-24 02:28:54 +0000polyrain(~polyrain@58.161.83.164) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 02:30:03 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22)
2020-10-24 02:36:07 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 02:38:05 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-24 02:39:39 +0000 <texasmynsted> yes replace both with a single function
2020-10-24 02:40:28 +0000 <texasmynsted> :-)
2020-10-24 02:40:34 +0000jlamothe(~jlamothe@198.251.55.207)
2020-10-24 02:40:59 +0000polyrain(~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e)
2020-10-24 02:41:42 +0000howdoi(uid224@gateway/web/irccloud.com/x-giahkircsluozbqw) (Quit: Connection closed for inactivity)
2020-10-24 02:41:55 +0000 <texasmynsted> Nice thank you MarcelineVQ
2020-10-24 02:45:36 +0000machinedgod(~machinedg@24.105.81.50) (Ping timeout: 265 seconds)
2020-10-24 02:46:40 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 02:50:58 +0000hackagehappstack-jmacro 7.0.12.3 - Support for using JMacro with Happstack https://hackage.haskell.org/package/happstack-jmacro-7.0.12.3 (JeremyShaw)
2020-10-24 02:51:24 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
2020-10-24 02:52:27 +0000ystael(~ystael@209.6.50.55) (Read error: Connection reset by peer)
2020-10-24 02:52:57 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-24 02:55:08 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 02:59:06 +0000polyrain(~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 02:59:33 +0000texasmynsted(~texasmyns@185.240.246.92) (Remote host closed the connection)
2020-10-24 03:00:01 +0000milky1(~milky@185.204.1.185) ()
2020-10-24 03:01:12 +0000burg_philo(~igloo@pool-100-33-61-227.nycmny.fios.verizon.net)
2020-10-24 03:03:27 +0000xff0x(~fox@2001:1a81:5345:9900:b354:bb80:32a4:609c) (Ping timeout: 260 seconds)
2020-10-24 03:05:02 +0000xff0x(~fox@2001:1a81:5355:300:8972:1637:b6e1:e69f)
2020-10-24 03:05:17 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 03:06:13 +0000burg_philo(~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2020-10-24 03:06:45 +0000olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2020-10-24 03:08:22 +0000djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 260 seconds)
2020-10-24 03:10:25 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-24 03:11:26 +0000gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 256 seconds)
2020-10-24 03:12:04 +0000gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2020-10-24 03:12:37 +0000mbomba(~mbomba@142.114.9.241)
2020-10-24 03:16:10 +0000lagothrix(~lagothrix@unaffiliated/lagothrix) (Killed (tolkien.freenode.net (Nickname regained by services)))
2020-10-24 03:16:16 +0000lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-10-24 03:23:28 +0000erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 246 seconds)
2020-10-24 03:24:19 +0000erolm_a(~erolm_a@62.18.213.68)
2020-10-24 03:25:50 +0000DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-24 03:26:37 +0000DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-24 03:27:49 +0000ddellacosta(~dd@86.106.121.168) (Ping timeout: 264 seconds)
2020-10-24 03:33:08 +0000 <jtmar> is it possible to define a pattern that works against multiple types? it looks like associated pattern synonyms were never implemented so I'm wondering if there's an alternative
2020-10-24 03:33:47 +0000erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 260 seconds)
2020-10-24 03:34:34 +0000erolm_a(~erolm_a@62.18.213.68)
2020-10-24 03:38:16 +0000theDon(~td@muedsl-82-207-238-099.citykom.de) (Ping timeout: 260 seconds)
2020-10-24 03:39:37 +0000geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-10-24 03:39:53 +0000theDon(~td@muedsl-82-207-238-136.citykom.de)
2020-10-24 03:40:47 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 03:41:41 +0000thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de)
2020-10-24 03:42:26 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 03:43:52 +0000solonarv(~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-10-24 03:44:11 +0000Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-24 03:44:54 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 03:45:05 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2020-10-24 03:46:17 +0000thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 03:46:23 +0000hololeap(~hololeap@unaffiliated/hololeap)
2020-10-24 03:49:47 +0000 <c_wraith> jtmar: nope. but you can do the dual, by defining an eliminator in a class
2020-10-24 03:50:54 +0000 <jtmar> alright then. thanks.
2020-10-24 03:51:04 +0000Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-24 03:51:56 +0000nados(~dan@69-165-210-185.cable.teksavvy.com) (Quit: Leaving)
2020-10-24 03:58:15 +0000vacm(~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 03:58:38 +0000 <dolio> You can, actually.
2020-10-24 03:59:18 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 03:59:42 +0000 <jtmar> how?
2020-10-24 03:59:45 +0000erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 240 seconds)
2020-10-24 04:00:00 +0000erolm_a(~erolm_a@62.18.213.68)
2020-10-24 04:00:01 +0000 <dolio> https://paste.tomsmeding.com/d8CFDh3q
2020-10-24 04:00:22 +0000Rudd0(~Rudd0@185.189.115.108)
2020-10-24 04:02:05 +0000nshepperd2(~nshepperd@gorgon.zlkj.in) (Quit: The Lounge - https://thelounge.chat)
2020-10-24 04:02:53 +0000 <dolio> Instead of an associated pattern you'd define an overloaded test function, and alias a view pattern using the test function.
2020-10-24 04:03:56 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-10-24 04:04:50 +0000nshepperd2(~nshepperd@li364-218.members.linode.com)
2020-10-24 04:06:42 +0000cp-(~cp-@b157153.ppp.asahi-net.or.jp) (Quit: Disappeared in a puff of smoke)
2020-10-24 04:07:54 +0000elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 04:09:28 +0000cp-(~cp-@b157153.ppp.asahi-net.or.jp)
2020-10-24 04:09:28 +0000Tario(~Tario@200.119.186.205) (Read error: Connection reset by peer)
2020-10-24 04:12:22 +0000Tario(~Tario@201.192.165.173)
2020-10-24 04:12:37 +0000jlamothe(~jlamothe@198.251.55.207) (Quit: leaving)
2020-10-24 04:12:43 +0000 <Squarism> Im not sure I can understand this. https://paste.ofcode.org/iUBMHtVdk2DQtBvxmZzayb
2020-10-24 04:12:44 +0000falafel_(~falafel@71-34-132-121.clsp.qwest.net)
2020-10-24 04:13:12 +0000 <Squarism> type of "preview ( ff2 . _Just . ee1 )" is not even a function, but it can be applied to c3
2020-10-24 04:13:57 +0000Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-24 04:15:49 +0000Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-24 04:17:51 +0000jlamothe(~jlamothe@198.251.55.207)
2020-10-24 04:18:25 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-24 04:19:47 +0000 <jtmar> wow, what an awful hack! it works perfectly. I love it.
2020-10-24 04:20:03 +0000 <hololeap> Squarism: Getting r s a = (a -> Const r a) -> s -> Const r s
2020-10-24 04:20:56 +0000 <jtmar> only took 34 lines of code to overload two patterns for two types ;)
2020-10-24 04:20:58 +0000 <hololeap> so, `preview (ff2 . _Just . ee1)` _is_ a function that takes an `s` argument
2020-10-24 04:21:26 +0000urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-24 04:25:05 +0000olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-24 04:25:49 +0000 <MarcelineVQ> Squarism: consider fmap where the Functor is chosen to be a partially applied function type, i.e. where we take f and substitute (r ->): fmap :: Functor f => (a -> b) -> f a -> f b to fmap :: (a -> b) -> (r -> a) -> (r -> b) m can be chosen similarly
2020-10-24 04:30:01 +0000amagi(~amagi@113.101.23.223) (Quit: Lost terminal)
2020-10-24 04:31:59 +0000 <Squarism> im gonna need to digest this
2020-10-24 04:33:54 +0000conal(~conal@64.71.133.70)
2020-10-24 04:34:36 +0000 <MarcelineVQ> Directly pure 'c' :: Applicative f => f Char but
2020-10-24 04:34:42 +0000 <MarcelineVQ> :t pure 'c' `asAppliedTo` 2
2020-10-24 04:34:43 +0000 <lambdabot> Num a => a -> Char
2020-10-24 04:34:57 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 04:35:47 +0000 <MarcelineVQ> :t pure 'c' `asAppliedTo` (2 :: Int) -- or more directly. f is chosen as Int ->
2020-10-24 04:35:48 +0000 <lambdabot> Int -> Char
2020-10-24 04:39:04 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2020-10-24 04:40:08 +0000coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-24 04:40:38 +0000erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 265 seconds)
2020-10-24 04:41:22 +0000coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-24 04:43:09 +0000day(~Unknown@unaffiliated/day) (Ping timeout: 260 seconds)
2020-10-24 04:44:53 +0000day(~Unknown@unaffiliated/day)
2020-10-24 04:45:20 +0000nshepperd2(~nshepperd@li364-218.members.linode.com) (Quit: The Lounge - https://thelounge.chat)
2020-10-24 04:46:19 +0000nshepperd2(~nshepperd@li364-218.members.linode.com)
2020-10-24 04:46:42 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 04:50:37 +0000elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2020-10-24 04:52:00 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 04:52:59 +0000jbox(~atlas@unaffiliated/jbox)
2020-10-24 05:04:50 +0000vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-24 05:09:23 +0000tuple(~igloo@c-67-169-78-228.hsd1.ca.comcast.net)
2020-10-24 05:10:58 +0000christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 05:11:31 +0000tuple(~igloo@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit)
2020-10-24 05:11:48 +0000tuple(~igloo@c-67-169-78-228.hsd1.ca.comcast.net)
2020-10-24 05:12:06 +0000mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-24 05:12:45 +0000tuple(~igloo@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit)
2020-10-24 05:13:54 +0000xerox_(~xerox@unaffiliated/xerox)
2020-10-24 05:13:56 +0000geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-24 05:17:36 +0000nshepperd1(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 05:17:59 +0000nshepperd(~nshepperd@gorgon.zlkj.in) (Quit: WeeChat 2.9)
2020-10-24 05:18:06 +0000nshepperd1(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit)
2020-10-24 05:18:16 +0000nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 05:19:38 +0000nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit)
2020-10-24 05:20:15 +0000nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 05:20:34 +0000nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit)
2020-10-24 05:23:20 +0000nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 05:23:41 +0000nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit)
2020-10-24 05:23:51 +0000nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 05:25:27 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 05:25:35 +0000day(~Unknown@unaffiliated/day) (Ping timeout: 265 seconds)
2020-10-24 05:26:17 +0000day(~Unknown@unaffiliated/day)
2020-10-24 05:27:32 +0000Tario(~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2020-10-24 05:29:02 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 05:31:05 +0000olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2020-10-24 05:31:18 +0000day_(~Unknown@unaffiliated/day)
2020-10-24 05:31:30 +0000nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Quit: WeeChat 2.9)
2020-10-24 05:31:40 +0000day(~Unknown@unaffiliated/day) (Ping timeout: 260 seconds)
2020-10-24 05:31:46 +0000day_day
2020-10-24 05:32:19 +0000 <hololeap> : fmap (++ " is the number") show 4
2020-10-24 05:32:22 +0000 <hololeap> :t fmap (++ " is the number") show 4
2020-10-24 05:32:24 +0000 <lambdabot> [Char]
2020-10-24 05:32:29 +0000 <hololeap> > fmap (++ " is the number") show 4
2020-10-24 05:32:31 +0000 <lambdabot> "4 is the number"
2020-10-24 05:33:32 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2020-10-24 05:35:17 +0000mbomba(~mbomba@142.114.9.241) (Quit: WeeChat 2.9)
2020-10-24 05:36:01 +0000openstackstatus1(~openstack@94.229.74.91)
2020-10-24 05:38:25 +0000Kolkrabe(~user@unaffiliated/siracusa) (Quit: Bye!)
2020-10-24 05:38:35 +0000 <sureyeaah> How can I create a named socket in unix?
2020-10-24 05:38:56 +0000nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 05:39:43 +0000Tario(~Tario@201.192.165.173)
2020-10-24 05:40:57 +0000hackagegoogle-server-api 0.3.3.1 - Google APIs for server to server applications https://hackage.haskell.org/package/google-server-api-0.3.3.1 (arowM)
2020-10-24 05:41:47 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2020-10-24 05:42:19 +0000thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de)
2020-10-24 05:45:07 +0000sureyeaahsent a long message: < https://matrix.org/_matrix/media/r0/download/matrix.org/nOXlbNDHbFYDdoFCbhdcMctI/message.txt >
2020-10-24 05:45:30 +0000 <sureyeaah> ```No instance for (Protocol Unix) arising from a use of socket```
2020-10-24 05:46:26 +0000wei2912(~wei2912@unaffiliated/wei2912)
2020-10-24 05:46:47 +0000thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 05:47:11 +0000stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-24 05:47:29 +0000stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-24 05:50:24 +0000carlomagno(~cararell@148.87.23.13) (Quit: Leaving.)
2020-10-24 05:52:25 +0000how_does_this_wo(3263cbdb@50.99.203.219)
2020-10-24 05:52:42 +0000christo(~chris@81.96.113.213)
2020-10-24 05:52:49 +0000 <how_does_this_wo> hey! I'm probably thinking about this wrong, but I'm trying to implement a function
2020-10-24 05:53:03 +0000 <how_does_this_wo> parse :: String -> [String]
2020-10-24 05:53:33 +0000 <sureyeaah> I tried `socket :: IO (Socket Unix Stream Default)` and that works. But I'm still not able to create the file based socket.
2020-10-24 05:53:51 +0000 <how_does_this_wo> where it searches the string for valid patterns and then returns a list of everything it can parse out, and I want to create it lazily obviously so I can stream in the data, so is there a way to yield in parse?
2020-10-24 05:54:16 +0000christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 05:54:46 +0000 <how_does_this_wo> cause the only other way I can think of doing it is consing the newest parsed element to the front of the list, piping it through a reverse, and then processing it
2020-10-24 05:55:14 +0000 <how_does_this_wo> but I don't think in that case the laziness can be of any advantage
2020-10-24 05:55:24 +0000atriqTaneb
2020-10-24 05:55:35 +0000 <how_does_this_wo> parse :: [String] -> [String] **
2020-10-24 05:59:37 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 06:00:02 +0000openstackstatus1(~openstack@94.229.74.91) ()
2020-10-24 06:00:02 +0000 <sureyeaah> probably use something like scanl?
2020-10-24 06:00:09 +0000 <sureyeaah> how_does_this_wo:
2020-10-24 06:00:13 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 06:04:45 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2020-10-24 06:05:59 +0000junjie(~Thunderbi@112.49.232.164)
2020-10-24 06:08:10 +0000cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
2020-10-24 06:09:15 +0000how_does_this_wo(3263cbdb@50.99.203.219) (Remote host closed the connection)
2020-10-24 06:13:22 +0000mbomba(~mbomba@142.114.9.241)
2020-10-24 06:15:08 +0000taurux(~taurux@net-188-152-78-51.cust.dsl.teletu.it)
2020-10-24 06:15:49 +0000tito_04(~taurux@net-188-152-78-51.cust.dsl.teletu.it) (Ping timeout: 264 seconds)
2020-10-24 06:17:57 +0000acidjnk_new3(~acidjnk@p200300d0c7237865d5c3bc452ffc90f6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 06:20:00 +0000mbomba(~mbomba@142.114.9.241) (Quit: WeeChat 2.9)
2020-10-24 06:23:10 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 06:27:34 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2020-10-24 06:28:47 +0000Quarl(~Quarl@94.191.136.110.mobile.tre.se)
2020-10-24 06:28:57 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 06:29:14 +0000sfvm(~sfvm@37.228.215.148) (Remote host closed the connection)
2020-10-24 06:32:00 +0000christo(~chris@81.96.113.213)
2020-10-24 06:32:09 +0000christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 06:34:13 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-24 06:37:00 +0000falafel_(~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 260 seconds)
2020-10-24 06:37:05 +0000ggole(~ggole@2001:8003:8119:7200:f40c:8454:96a4:4e08)
2020-10-24 06:38:34 +0000falafel_(~falafel@71-34-132-121.clsp.qwest.net)
2020-10-24 06:42:58 +0000nshepperd2(~nshepperd@li364-218.members.linode.com) (Quit: The Lounge - https://thelounge.chat)
2020-10-24 06:42:58 +0000nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Quit: WeeChat 2.9)
2020-10-24 06:44:02 +0000nshepperd(~nshepperd@li364-218.members.linode.com)
2020-10-24 06:44:09 +0000is_null(~jpic@pdpc/supporter/professional/is-null)
2020-10-24 06:45:16 +0000nshepperd2(~nshepperd@li364-218.members.linode.com)
2020-10-24 06:46:25 +0000nshepperd(~nshepperd@li364-218.members.linode.com) (Client Quit)
2020-10-24 06:46:25 +0000toorevitimirp(~tooreviti@117.182.180.83) (Ping timeout: 264 seconds)
2020-10-24 06:46:41 +0000nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 06:47:07 +0000nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit)
2020-10-24 06:50:03 +0000nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 06:58:06 +0000wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-10-24 07:01:15 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 07:01:22 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 07:07:14 +0000geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds)
2020-10-24 07:14:20 +0000is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 260 seconds)
2020-10-24 07:15:53 +0000Lord_of_Life(~Lord@46.217.218.96) (Changing host)
2020-10-24 07:15:53 +0000Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-10-24 07:17:53 +0000knupfer(~Thunderbi@i59F7FF06.versanet.de)
2020-10-24 07:19:22 +0000revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2020-10-24 07:20:32 +0000revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-10-24 07:21:39 +0000polyrain(~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e)
2020-10-24 07:22:27 +0000knupfer(~Thunderbi@i59F7FF06.versanet.de) (Ping timeout: 260 seconds)
2020-10-24 07:25:19 +0000CMCDragonkai1(~Thunderbi@124.19.3.250)
2020-10-24 07:25:42 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 07:26:24 +0000mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-24 07:29:10 +0000pabelanger1(~pabelange@185.244.214.217)
2020-10-24 07:32:27 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 07:34:05 +0000ps-auxw(~arneb@p548c6f52.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-24 07:34:23 +0000ps-auxw(~arneb@p548c6f52.dip0.t-ipconnect.de)
2020-10-24 07:36:08 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 07:37:35 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-24 07:38:35 +0000jedws(~jedws@101.184.148.229)
2020-10-24 07:40:56 +0000jedws(~jedws@101.184.148.229) (Client Quit)
2020-10-24 07:42:37 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 07:42:48 +0000is_null(~jpic@pdpc/supporter/professional/is-null)
2020-10-24 07:43:50 +0000GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-24 07:44:07 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-24 07:44:07 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-24 07:44:07 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-24 07:44:37 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-24 07:50:36 +0000tefter(~bmaxa@87.250.59.115)
2020-10-24 07:50:47 +0000irc_user(uid423822@gateway/web/irccloud.com/x-alxceqcksustqekt) (Quit: Connection closed for inactivity)
2020-10-24 08:00:08 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 08:01:07 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 08:03:24 +0000jedws(~jedws@101.184.148.229)
2020-10-24 08:06:10 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2020-10-24 08:08:29 +0000coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-24 08:08:44 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 08:11:23 +0000ech(~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-24 08:12:40 +0000geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-24 08:13:25 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-24 08:14:46 +0000Varis(~Tadas@unaffiliated/varis)
2020-10-24 08:20:59 +0000chaosmasttter(~chaosmast@p200300c4a7138f01d15b56f7610b6e80.dip0.t-ipconnect.de)
2020-10-24 08:21:43 +0000Franciman(~francesco@host-82-54-10-114.retail.telecomitalia.it)
2020-10-24 08:22:28 +0000is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 260 seconds)
2020-10-24 08:22:59 +0000Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-24 08:23:02 +0000m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-24 08:26:15 +0000jsynacek_(~jsynacek@ip-185-149-130-112.kmenet.cz)
2020-10-24 08:28:49 +0000jbox(~atlas@unaffiliated/jbox) (Quit: WeeChat 2.9)
2020-10-24 08:28:52 +0000jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2020-10-24 08:29:12 +0000jb55(~jb55@gateway/tor-sasl/jb55)
2020-10-24 08:29:25 +0000falafel_(~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 240 seconds)
2020-10-24 08:32:05 +0000mnrmnaughmnrgle(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds)
2020-10-24 08:34:13 +0000hwabyong(~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com) (Ping timeout: 258 seconds)
2020-10-24 08:34:41 +0000bjs(sid190364@gateway/web/irccloud.com/x-vnofeissxqqkjger) (Ping timeout: 272 seconds)
2020-10-24 08:34:41 +0000graingert(sid128301@gateway/web/irccloud.com/x-yfujwzpliujjotpd) (Ping timeout: 272 seconds)
2020-10-24 08:35:19 +0000metadave(sid28102@gateway/web/irccloud.com/x-homnjybqfevkpyxd) (Ping timeout: 272 seconds)
2020-10-24 08:35:28 +0000metadave(sid28102@gateway/web/irccloud.com/x-usvwvhrdpncruziq)
2020-10-24 08:35:57 +0000ullbeking(sid5364@gateway/web/irccloud.com/x-bvgsyttfzmvalseg) (Ping timeout: 272 seconds)
2020-10-24 08:36:19 +0000bjs(sid190364@gateway/web/irccloud.com/x-gblpydmbtrekwhlk)
2020-10-24 08:36:35 +0000ibloom(sid350277@gateway/web/irccloud.com/x-dcwoytmmqgioqvdo) (Ping timeout: 272 seconds)
2020-10-24 08:36:35 +0000johs(sid246410@gateway/web/irccloud.com/x-jrsdwkwqkuyhnhvg) (Ping timeout: 272 seconds)
2020-10-24 08:36:35 +0000FMJz____(sid279245@gateway/web/irccloud.com/x-vztbmrxtdakgkjkm) (Ping timeout: 272 seconds)
2020-10-24 08:36:35 +0000betawaffle(sid2730@gateway/web/irccloud.com/x-wghvolpocwqebnnh) (Ping timeout: 272 seconds)
2020-10-24 08:37:01 +0000FMJz____(sid279245@gateway/web/irccloud.com/x-uxwggzqsvvuxwnvv)
2020-10-24 08:37:03 +0000graingert(sid128301@gateway/web/irccloud.com/x-tezmjotwcjxceyfv)
2020-10-24 08:37:13 +0000davetapley(sid666@gateway/web/irccloud.com/x-jnosdhgzusdwtedt) (Ping timeout: 272 seconds)
2020-10-24 08:37:24 +0000brettgilio_(~brettgili@brettgilio.com)
2020-10-24 08:37:31 +0000ibloom(sid350277@gateway/web/irccloud.com/x-ccblpzopmwnfxhss)
2020-10-24 08:37:47 +0000johs(sid246410@gateway/web/irccloud.com/x-eafdufqmtlcqylai)
2020-10-24 08:37:51 +0000constR(uid58205@gateway/web/irccloud.com/x-kmhanpixnsfkszux) (Ping timeout: 272 seconds)
2020-10-24 08:37:51 +0000integral(sid296274@p3m/member/integral) (Ping timeout: 272 seconds)
2020-10-24 08:38:20 +0000betawaffle(sid2730@gateway/web/irccloud.com/x-ikvihwtbnolnoplp)
2020-10-24 08:38:30 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 08:38:39 +0000hwabyong(~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com)
2020-10-24 08:38:41 +0000ullbeking(sid5364@gateway/web/irccloud.com/x-bnsgobzuoimopxhi)
2020-10-24 08:39:07 +0000darthThorik(sid39589@gateway/web/irccloud.com/x-dsmbkpzrbucgxzyp) (Ping timeout: 272 seconds)
2020-10-24 08:39:07 +0000rslima_____(sid26145@gateway/web/irccloud.com/x-umtfqvjespivtrcw) (Ping timeout: 272 seconds)
2020-10-24 08:39:07 +0000sclv(sid39734@haskell/developer/sclv) (Ping timeout: 272 seconds)
2020-10-24 08:39:11 +0000davetapley(sid666@gateway/web/irccloud.com/x-unkevmoregbjgeww)
2020-10-24 08:39:45 +0000scav(sid309693@gateway/web/irccloud.com/x-zlttbvsvkfeaapza) (Ping timeout: 272 seconds)
2020-10-24 08:39:47 +0000noan(~noan@2604:a880:400:d0::12fc:5001) (Remote host closed the connection)
2020-10-24 08:40:01 +0000constR(uid58205@gateway/web/irccloud.com/x-ftkkhevjqihigodw)
2020-10-24 08:40:04 +0000integral(sid296274@p3m/member/integral)
2020-10-24 08:40:15 +0000noan(~noan@2604:a880:400:d0::12fc:5001)
2020-10-24 08:40:23 +0000Kamuela(sid111576@gateway/web/irccloud.com/x-uwnwrtcyskakfxsa) (Ping timeout: 272 seconds)
2020-10-24 08:40:25 +0000rslima_____(sid26145@gateway/web/irccloud.com/x-svaniiqnbyfvpeqv)
2020-10-24 08:40:29 +0000sclv(sid39734@haskell/developer/sclv)
2020-10-24 08:40:44 +0000brettgilio(~brettgili@brettgilio.com) (Ping timeout: 258 seconds)
2020-10-24 08:41:01 +0000lally(sid388228@gateway/web/irccloud.com/x-gjvzovhllmqfgnqi) (Ping timeout: 272 seconds)
2020-10-24 08:41:01 +0000ProofTechnique(sid79547@gateway/web/irccloud.com/x-hfhkxxflhnjauuaj) (Ping timeout: 272 seconds)
2020-10-24 08:41:38 +0000darthThorik(sid39589@gateway/web/irccloud.com/x-tjuwgtcbctwqnxiv)
2020-10-24 08:41:39 +0000jonrh(sid5185@gateway/web/irccloud.com/x-aveafoxnyeedadix) (Ping timeout: 272 seconds)
2020-10-24 08:41:41 +0000jedws(~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 08:42:07 +0000jonrh(sid5185@gateway/web/irccloud.com/x-rqaikalmtlmunorz)
2020-10-24 08:42:13 +0000scav(sid309693@gateway/web/irccloud.com/x-techevumsipyqxlk)
2020-10-24 08:42:17 +0000cemerick(sid54985@gateway/web/irccloud.com/x-ykavyokceegcyoba) (Ping timeout: 272 seconds)
2020-10-24 08:42:17 +0000feepo(sid28508@gateway/web/irccloud.com/x-cypejpxsoagndzmj) (Ping timeout: 272 seconds)
2020-10-24 08:42:48 +0000ProofTechnique(sid79547@gateway/web/irccloud.com/x-vnrlcoxvuyddydfi)
2020-10-24 08:42:55 +0000hamishmack(sid389057@gateway/web/irccloud.com/x-rcfovoglewntmycy) (Ping timeout: 272 seconds)
2020-10-24 08:43:04 +0000Kamuela(sid111576@gateway/web/irccloud.com/x-sdeipatzzilccgnx)
2020-10-24 08:43:32 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-24 08:43:33 +0000bitonic(sid61915@gateway/web/irccloud.com/x-jzojjanuxnkhjyaf) (Ping timeout: 272 seconds)
2020-10-24 08:43:37 +0000lally(sid388228@gateway/web/irccloud.com/x-iepgjmxehrzuvipm)
2020-10-24 08:43:40 +0000vqrs(~vqrs@learnprogramming/regular/vqrs) (Ping timeout: 272 seconds)
2020-10-24 08:44:11 +0000jared-w(uid405292@gateway/web/irccloud.com/x-zblwaowsatpvgcgl) (Ping timeout: 272 seconds)
2020-10-24 08:44:11 +0000nh2(sid309956@gateway/web/irccloud.com/x-pqceayhznxhzktfg) (Ping timeout: 272 seconds)
2020-10-24 08:44:17 +0000aarvar(~foewfoiew@50.35.43.33) (Ping timeout: 256 seconds)
2020-10-24 08:44:44 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 08:44:49 +0000Cir0X(sid221743@gateway/web/irccloud.com/x-qlritdmlnfgwpmoo) (Ping timeout: 272 seconds)
2020-10-24 08:45:00 +0000cemerick(sid54985@gateway/web/irccloud.com/x-gqtgtcmcxeexxtnf)
2020-10-24 08:45:01 +0000feepo(sid28508@gateway/web/irccloud.com/x-borbcotgfarenzum)
2020-10-24 08:45:01 +0000__skn-(~sunil@2001:19f0:5:701:5400:ff:fe7c:4e5c)
2020-10-24 08:45:10 +0000jared-w(uid405292@gateway/web/irccloud.com/x-hoqehiufvhduodif)
2020-10-24 08:45:24 +0000vqrs(~vqrs@learnprogramming/regular/vqrs)
2020-10-24 08:45:27 +0000trumpsec(uid470694@gateway/web/irccloud.com/x-bcsxyysvhhhgwdok) (Ping timeout: 272 seconds)
2020-10-24 08:45:27 +0000feepo(sid28508@gateway/web/irccloud.com/x-borbcotgfarenzum) (Excess Flood)
2020-10-24 08:45:47 +0000__skn(~sunil@2001:19f0:5:701:5400:ff:fe7c:4e5c) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-24 08:45:55 +0000bitonic(sid61915@gateway/web/irccloud.com/x-lieuqfwkxlflylio)
2020-10-24 08:45:57 +0000feepo(sid28508@gateway/web/irccloud.com/x-egbgmiozjxqiqiea)
2020-10-24 08:46:08 +0000hamishmack(sid389057@gateway/web/irccloud.com/x-ncidighjmedmicss)
2020-10-24 08:46:17 +0000nh2(sid309956@gateway/web/irccloud.com/x-qvjqdxrjegrjwybj)
2020-10-24 08:46:42 +0000trumpsec(uid470694@gateway/web/irccloud.com/x-vmczzfmprshkgkkv)
2020-10-24 08:46:54 +0000Cir0X(sid221743@gateway/web/irccloud.com/x-sfiedvvxkgjnutkr)
2020-10-24 08:46:55 +0000GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-24 08:47:06 +0000GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-24 08:47:06 +0000GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-24 08:47:06 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-24 08:47:15 +0000blackdog(~blackdog@198.211.112.85) (Ping timeout: 258 seconds)
2020-10-24 08:47:59 +0000blackdog(~blackdog@198.211.112.85)
2020-10-24 08:56:17 +0000coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-24 08:57:29 +0000xff0x(~fox@2001:1a81:5355:300:8972:1637:b6e1:e69f) (Ping timeout: 272 seconds)
2020-10-24 08:58:12 +0000xff0x(~fox@2001:1a81:5355:300:5f2f:52e1:2071:f783)
2020-10-24 09:00:03 +0000pabelanger1(~pabelange@185.244.214.217) ()
2020-10-24 09:03:43 +0000Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2020-10-24 09:05:43 +0000Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2020-10-24 09:06:33 +0000hnOsmium0001(uid453710@gateway/web/irccloud.com/x-hspucayepdiagala) (Quit: Connection closed for inactivity)
2020-10-24 09:06:33 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 09:10:29 +0000Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-24 09:11:02 +0000AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-10-24 09:12:35 +0000bitmagie(~Thunderbi@200116b80696a200e9f8d5f03ffadb0f.dip.versatel-1u1.de)
2020-10-24 09:13:21 +0000fendor(~fendor@178.115.130.82.wireless.dyn.drei.com)
2020-10-24 09:15:29 +0000constR(uid58205@gateway/web/irccloud.com/x-ftkkhevjqihigodw) (Quit: Connection closed for inactivity)
2020-10-24 09:20:32 +0000danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-10-24 09:21:10 +0000ericholscher(~ericholsc@185.163.110.116)
2020-10-24 09:21:32 +0000ixlun(~matthew@213.205.241.94)
2020-10-24 09:22:55 +0000 <ixlun> Hi all, does anyone know why cabal isn't compiling for profiling when I use: `cabal v2-run -p --profiling-detail=all-functions hchess'?
2020-10-24 09:23:34 +0000 <ixlun> all my code recompiled as well as the libraries that it depended on, but when I run with `+RTS -p' I get: `cabal: the flag -p requires the program to be built with -prof'
2020-10-24 09:29:57 +0000 <ixlun> Never mind - I think I've fixed it with `v2-configure'
2020-10-24 09:31:05 +0000christo(~chris@81.96.113.213)
2020-10-24 09:35:13 +0000mnrmnaughmnrgle(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-10-24 09:36:16 +0000DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-24 09:36:47 +0000DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-24 09:37:21 +0000GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-24 09:37:21 +0000GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-24 09:37:21 +0000GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-24 09:37:58 +0000inkbottle(~inkbottle@aaubervilliers-654-1-75-206.w86-212.abo.wanadoo.fr)
2020-10-24 09:38:05 +0000GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-24 09:38:05 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 09:38:37 +0000zebrag(~inkbottle@aaubervilliers-654-1-98-110.w86-212.abo.wanadoo.fr) (Ping timeout: 258 seconds)
2020-10-24 09:43:07 +0000notnatebtw(~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-24 09:43:18 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 09:43:48 +0000thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de)
2020-10-24 09:44:35 +0000acidjnk_new3(~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de)
2020-10-24 09:46:29 +0000is_null(~jpic@pdpc/supporter/professional/is-null)
2020-10-24 09:48:32 +0000thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 09:59:41 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-24 10:01:59 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 10:05:47 +0000chaosmasttter(~chaosmast@p200300c4a7138f01d15b56f7610b6e80.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 10:06:48 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2020-10-24 10:11:37 +0000geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds)
2020-10-24 10:12:56 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 10:16:26 +0000shatriff(~vitaliish@176.52.219.10)
2020-10-24 10:27:26 +0000alp(~alp@2a01:e0a:58b:4920:11:ee7e:2b2d:85c9)
2020-10-24 10:30:58 +0000hackageukrainian-phonetics-basic 0.1.2.0 - A library to work with the basic Ukrainian phonetics and syllable segmentation. https://hackage.haskell.org/package/ukrainian-phonetics-basic-0.1.2.0 (OleksandrZhabenko)
2020-10-24 10:32:54 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-24 10:34:00 +0000shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-24 10:34:59 +0000bitmagie(~Thunderbi@200116b80696a200e9f8d5f03ffadb0f.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-24 10:35:47 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-24 10:35:54 +0000christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 10:36:03 +0000darjeeling_(~darjeelin@122.245.123.118)
2020-10-24 10:39:55 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 10:40:25 +0000CMCDragonkai1(~Thunderbi@124.19.3.250) (Ping timeout: 240 seconds)
2020-10-24 10:42:26 +0000polyrain(~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 10:43:03 +0000polyrain(~polyrain@58.161.83.164)
2020-10-24 10:44:05 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-24 10:47:41 +0000alp(~alp@2a01:e0a:58b:4920:11:ee7e:2b2d:85c9) (Ping timeout: 272 seconds)
2020-10-24 10:48:24 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-24 10:49:26 +0000moy(5a319fdb@lfbn-nan-1-68-219.w90-49.abo.wanadoo.fr)
2020-10-24 10:49:43 +0000Maxdamantus(~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 246 seconds)
2020-10-24 10:49:51 +0000moyGuest54698
2020-10-24 10:50:11 +0000 <Guest54698> Hello o/ I have very basic questions about Haskell arrays, but i kind find the answer on the internet... Is there any simple guide about basic usage of arrays in haskells ?
2020-10-24 10:50:28 +0000 <Guest54698> (my questions are for exemple, how to get an array length, how to append an item into an array, etc...)
2020-10-24 10:50:30 +0000afwingnut(~af_wingnu@ip174-79-2-139.mc.at.cox.net)
2020-10-24 10:50:47 +0000 <Guest54698> can't find*
2020-10-24 10:50:48 +0000ClaudiusMaximus(~claude@198.123.199.146.dyn.plus.net)
2020-10-24 10:50:48 +0000ClaudiusMaximus(~claude@198.123.199.146.dyn.plus.net) (Changing host)
2020-10-24 10:50:48 +0000ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2020-10-24 10:51:26 +0000afwingnut(~af_wingnu@ip174-79-2-139.mc.at.cox.net) ()
2020-10-24 10:51:35 +0000 <Guest54698> (im talking about actual Arrays, indexed list, List are pretty easy to apprehend until now)
2020-10-24 10:51:38 +0000Maxdamantus(~Maxdamant@unaffiliated/maxdamantus)
2020-10-24 10:52:05 +0000 <Rembane> Guest54698: From which module do you import your arrays?
2020-10-24 10:53:12 +0000 <Guest54698> Data.Array for now, but i have no restrictions about it
2020-10-24 10:53:40 +0000 <Guest54698> if there is a better/more modern implementation
2020-10-24 10:55:28 +0000 <Rembane> Guest54698: Data.Vector has a much nicer API in my opinion. https://hackage.haskell.org/package/vector-0.12.1.2
2020-10-24 10:56:44 +0000 <Guest54698> im expecting to use string as indexes, not int
2020-10-24 10:56:59 +0000 <Guest54698> but i will check the vector API for another usage for sure, didnt know about it
2020-10-24 11:03:22 +0000xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds)
2020-10-24 11:03:32 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 11:04:54 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 11:06:45 +0000Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-24 11:11:39 +0000__monty__(~toonn@unaffiliated/toonn)
2020-10-24 11:12:15 +0000 <Guest54698> i would like to have a list of entities indexed by their string ids
2020-10-24 11:14:27 +0000Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2020-10-24 11:15:36 +0000Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-24 11:19:06 +0000DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-10-24 11:19:32 +0000xff0x(~fox@2001:1a81:5355:300:5f2f:52e1:2071:f783) (Ping timeout: 260 seconds)
2020-10-24 11:20:24 +0000xff0x(~fox@2001:1a81:5355:300:36b0:bb39:8493:75d8)
2020-10-24 11:20:59 +0000merby(~ilgaz@176.43.211.208)
2020-10-24 11:21:22 +0000 <merby> hello
2020-10-24 11:22:13 +0000 <Uniaika> heya
2020-10-24 11:22:54 +0000 <merby> first time joining #haskell, seems great!
2020-10-24 11:24:02 +0000Deide(~Deide@217.155.19.23)
2020-10-24 11:26:38 +0000 <__monty__> 't is, merby, 't is.
2020-10-24 11:30:26 +0000alp(~alp@2a01:e0a:58b:4920:dcdd:3edb:3a8b:e055)
2020-10-24 11:31:07 +0000 <nitrix> merby, The channel can get pretty busy during the day, but that shouldn't discourage you from asking questions :)
2020-10-24 11:32:04 +0000 <merijn> Guest54698: Don't you just want a Map, then?
2020-10-24 11:32:48 +0000 <merijn> Guest54698: Data.Map from containers would be the equivalent of python dictionaries/C++'s std::map and probably what you want with string indices :)
2020-10-24 11:35:18 +0000MindlessDrone(~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds)
2020-10-24 11:37:10 +0000MindlessDrone(~MindlessD@unaffiliated/mindlessdrone)
2020-10-24 11:38:03 +0000merby(~ilgaz@176.43.211.208) (Quit: leaving)
2020-10-24 11:46:10 +0000texasmynsted(~texasmyns@62.182.99.148)
2020-10-24 11:49:02 +0000rprije(~rprije@194-193-168-77.tpgi.com.au) (Ping timeout: 260 seconds)
2020-10-24 11:49:48 +0000Quarl(~Quarl@94.191.136.110.mobile.tre.se) (Quit: Leaving.)
2020-10-24 11:50:20 +0000knupfer1(~Thunderbi@i59F7FF06.versanet.de)
2020-10-24 11:50:23 +0000ericsagnes(~ericsagne@2405:6580:0:5100:3075:fc1b:a06c:a2b3) (Ping timeout: 272 seconds)
2020-10-24 11:50:48 +0000geekosaur(ac3a3ed7@172.58.62.215)
2020-10-24 11:51:54 +0000wei2912(~wei2912@unaffiliated/wei2912)
2020-10-24 11:54:11 +0000alp(~alp@2a01:e0a:58b:4920:dcdd:3edb:3a8b:e055) (Ping timeout: 272 seconds)
2020-10-24 11:59:07 +0000texasmynsted(~texasmyns@62.182.99.148) (Remote host closed the connection)
2020-10-24 11:59:47 +0000djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-24 11:59:54 +0000texasmynsted(~texasmyns@62.182.99.148)
2020-10-24 12:00:01 +0000ericholscher(~ericholsc@185.163.110.116) ()
2020-10-24 12:02:17 +0000ericsagnes(~ericsagne@2405:6580:0:5100:551f:7c48:a755:a572)
2020-10-24 12:02:48 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 12:04:49 +0000texasmynsted(~texasmyns@62.182.99.148) (Ping timeout: 265 seconds)
2020-10-24 12:05:36 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 12:05:44 +0000 <Guest54698> merijn it seems that its exactly what i needed indeed :o thank you. For information. haskell array can be indexed with any kind of value right ? Im a bit confused about it now.
2020-10-24 12:06:55 +0000 <merijn> Guest54698: The Array type from Data.Array supports indexing via any type that has an Ix class, so while you *can* theoretically index it using String, but it's not really designed for that
2020-10-24 12:07:25 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2020-10-24 12:07:26 +0000 <merijn> Array is mostly designed for numeric indices (or tuples of numbers)
2020-10-24 12:07:52 +0000knupfer1(~Thunderbi@i59F7FF06.versanet.de) (Ping timeout: 260 seconds)
2020-10-24 12:08:22 +0000ech(~user@gateway/tor-sasl/ech)
2020-10-24 12:08:42 +0000 <merijn> Guest54698: Meanwhile Map is a more traditional "lookup key value pairs" kinda data structure (as I said, comparable to python dictionaries and C++'s std::map)
2020-10-24 12:09:17 +0000 <merijn> Guest54698: Although some of the dynamic languages mix these things together and call map/dictionary data structures "arrays" too and allow indexing them by non-numbers, which confuses things even more :p
2020-10-24 12:09:43 +0000 <merijn> :t (Data.Array.!)
2020-10-24 12:09:44 +0000 <lambdabot> Ix i => Array i e -> i -> e
2020-10-24 12:09:56 +0000shatriff(~vitaliish@80.233.50.115)
2020-10-24 12:10:13 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-10-24 12:10:14 +0000 <merijn> So that's indexable by any type that has an Ix instance (mostly numbers and tuples of numbers, afaik)
2020-10-24 12:10:27 +0000 <merijn> :t Data.Map.lookup
2020-10-24 12:10:27 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-10-24 12:10:28 +0000 <lambdabot> Ord k => k -> M.Map k a -> Maybe a
2020-10-24 12:10:40 +0000p8m_(p8m@gateway/vpn/protonvpn/p8m)
2020-10-24 12:10:57 +0000 <merijn> That works for any key that is orderable
2020-10-24 12:10:59 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-24 12:11:34 +0000p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 258 seconds)
2020-10-24 12:12:11 +0000ech(~user@gateway/tor-sasl/ech) (Remote host closed the connection)
2020-10-24 12:12:49 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 12:14:23 +0000denisse(~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 240 seconds)
2020-10-24 12:16:02 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-10-24 12:16:15 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-24 12:16:49 +0000denisse(~spaceCat@gateway/tor-sasl/alephzer0)
2020-10-24 12:17:25 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-24 12:20:18 +0000ech(~user@gateway/tor-sasl/ech)
2020-10-24 12:21:34 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2020-10-24 12:23:56 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-24 12:26:36 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2020-10-24 12:27:15 +0000aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-24 12:28:27 +0000hackagehttp-client-websockets 0.1.1.0 - Glue code for http-client and websockets https://hackage.haskell.org/package/http-client-websockets-0.1.1.0 (amesgen)
2020-10-24 12:28:35 +0000shatriff(~vitaliish@80.233.50.115) (Remote host closed the connection)
2020-10-24 12:32:23 +0000texasmynsted(~texasmyns@62.182.99.148)
2020-10-24 12:34:29 +0000gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-10-24 12:34:53 +0000Amras(~Amras@unaffiliated/amras0000)
2020-10-24 12:36:02 +0000stefan-__stefan-_
2020-10-24 12:36:27 +0000christo(~chris@81.96.113.213)
2020-10-24 12:36:45 +0000raichoo(~raichoo@dslb-178-001-019-190.178.001.pools.vodafone-ip.de)
2020-10-24 12:36:48 +0000christo(~chris@81.96.113.213) (Read error: Connection reset by peer)
2020-10-24 12:37:01 +0000christo(~chris@81.96.113.213)
2020-10-24 12:38:10 +0000texasmynsted(~texasmyns@62.182.99.148) (Ping timeout: 265 seconds)
2020-10-24 12:38:25 +0000christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 12:41:24 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 12:44:21 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 12:46:08 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-24 12:48:29 +0000rotty(rotty@ghost.xx.vu)
2020-10-24 12:49:26 +0000polyrain(~polyrain@58.161.83.164) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 12:50:17 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 12:50:44 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-24 12:52:13 +0000avn(~avn@78-56-108-78.static.zebra.lt) (Ping timeout: 260 seconds)
2020-10-24 12:53:16 +0000thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de)
2020-10-24 12:53:47 +0000donri(~donri@137.63.71.51)
2020-10-24 12:54:11 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-24 12:54:13 +0000xerox_(~xerox@unaffiliated/xerox)
2020-10-24 12:54:19 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-10-24 12:54:52 +0000stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-24 12:55:09 +0000stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-24 12:56:44 +0000urodna(~urodna@unaffiliated/urodna)
2020-10-24 12:57:52 +0000shafox(~shafox@106.51.234.111)
2020-10-24 12:58:07 +0000thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 12:58:27 +0000p8m_(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
2020-10-24 12:59:12 +0000christo(~chris@81.96.113.213)
2020-10-24 12:59:33 +0000p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-24 13:04:15 +0000christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 13:05:42 +0000Guest_81(2a6ada69@42.106.218.105)
2020-10-24 13:05:42 +0000 <Guest_81> hi
2020-10-24 13:05:58 +0000 <Guest_81> im unable to download ghcup
2020-10-24 13:06:04 +0000 <Guest_81> on my mac
2020-10-24 13:06:59 +0000 <maerwald> Guest_81: why
2020-10-24 13:08:00 +0000son0p(~son0p@181.136.122.143)
2020-10-24 13:08:50 +0000p8m(p8m@gateway/vpn/protonvpn/p8m)
2020-10-24 13:10:46 +0000carlomagno(~cararell@148.87.23.12)
2020-10-24 13:14:14 +0000Guest_81(2a6ada69@42.106.218.105) (Ping timeout: 245 seconds)
2020-10-24 13:14:44 +0000 <joel135> I am trying curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh now in a pretty clean ubuntu 20.04
2020-10-24 13:15:33 +0000Wuzzy(~Wuzzy@p5790ef06.dip0.t-ipconnect.de)
2020-10-24 13:15:44 +0000 <joel135> un/fortunately I don't have a mac to test on
2020-10-24 13:16:45 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 13:17:16 +0000MindlessDrone(~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 256 seconds)
2020-10-24 13:18:20 +0000donri(~donri@137.63.71.51) (Ping timeout: 256 seconds)
2020-10-24 13:18:27 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 13:18:42 +0000invaser(~Thunderbi@31.148.23.125)
2020-10-24 13:19:18 +0000christo(~chris@81.96.113.213)
2020-10-24 13:20:31 +0000MindlessDrone(~MindlessD@unaffiliated/mindlessdrone)
2020-10-24 13:21:53 +0000ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2020-10-24 13:24:05 +0000christo(~chris@81.96.113.213) (Ping timeout: 265 seconds)
2020-10-24 13:27:59 +0000ambiso9(~ambiso@209.182.239.205) (Quit: The Lounge - https://thelounge.chat)
2020-10-24 13:28:52 +0000ambiso9(~ambiso@209.182.239.205)
2020-10-24 13:28:59 +0000polyrain(~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e)
2020-10-24 13:30:08 +0000texasmynsted(~texasmyns@62.182.99.148)
2020-10-24 13:31:07 +0000texasmynsted(~texasmyns@62.182.99.148) (Read error: Connection reset by peer)
2020-10-24 13:31:52 +0000kritzefitz(~kritzefit@212.86.56.80)
2020-10-24 13:33:09 +0000ddellacosta(~dd@86.106.121.168)
2020-10-24 13:33:26 +0000 <tomsmeding> maerwald: do you have a keyword highlight on 'ghcup' :p
2020-10-24 13:34:06 +0000 <maerwald> sure
2020-10-24 13:36:51 +0000mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-24 13:37:12 +0000mirrorbird_(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-24 13:38:43 +0000fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Quit: leaving)
2020-10-24 13:39:52 +0000MindlessDrone(~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds)
2020-10-24 13:40:09 +0000geekosaur(ac3a3ed7@172.58.62.215) (Remote host closed the connection)
2020-10-24 13:42:27 +0000acidjnk_new3(~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 13:45:34 +0000texasmynsted(~texasmyns@62.182.99.148)
2020-10-24 13:46:21 +0000texasmyn_(~texasmyns@62.182.99.148)
2020-10-24 13:46:38 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 13:47:42 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 13:48:35 +0000fendor_(~fendor@178.115.130.136.wireless.dyn.drei.com)
2020-10-24 13:50:11 +0000texasmynsted(~texasmyns@62.182.99.148) (Ping timeout: 265 seconds)
2020-10-24 13:51:14 +0000fendor(~fendor@178.115.130.82.wireless.dyn.drei.com) (Ping timeout: 258 seconds)
2020-10-24 13:52:32 +0000mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-24 13:55:55 +0000Chi1thangoo(~Chi1thang@87.112.60.168)
2020-10-24 13:56:12 +0000jsynacek_(~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 260 seconds)
2020-10-24 13:56:20 +0000toorevitimirp(~tooreviti@117.182.180.36)
2020-10-24 13:57:02 +0000shatriff(~vitaliish@176.52.219.10)
2020-10-24 13:58:02 +0000kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-24 14:00:45 +0000carlomagno(~cararell@148.87.23.12) (Remote host closed the connection)
2020-10-24 14:02:57 +0000hackagecontext 0.1.1.0 - Thread-indexed, nested contexts https://hackage.haskell.org/package/context-0.1.1.0 (jship)
2020-10-24 14:03:37 +0000carlomagno(~cararell@148.87.23.7)
2020-10-24 14:03:45 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 14:03:54 +0000cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-24 14:04:35 +0000carlomagno(~cararell@148.87.23.7) (Remote host closed the connection)
2020-10-24 14:05:27 +0000hackagerank1dynamic 0.4.1 - Like Data.Dynamic/Data.Typeable but with support for rank-1 polymorphic types https://hackage.haskell.org/package/rank1dynamic-0.4.1 (FacundoDominguez)
2020-10-24 14:06:05 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-24 14:08:16 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2020-10-24 14:08:58 +0000tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net) (Read error: Connection reset by peer)
2020-10-24 14:09:19 +0000bartemius(~bartemius@109-252-20-20.nat.spd-mgts.ru) ()
2020-10-24 14:09:39 +0000bartemius(~bartemius@109.252.20.20)
2020-10-24 14:12:13 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 14:12:23 +0000vacm(~vacwm@70.23.92.191)
2020-10-24 14:21:23 +0000dyeplexer(~lol@unaffiliated/terpin)
2020-10-24 14:23:02 +0000carlomagno(~cararell@148.87.23.5)
2020-10-24 14:25:00 +0000texasmyn_(~texasmyns@62.182.99.148) (Remote host closed the connection)
2020-10-24 14:25:19 +0000texasmynsted(~texasmyns@62.182.99.148)
2020-10-24 14:26:39 +0000tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net)
2020-10-24 14:27:34 +0000MindlessDrone(~MindlessD@unaffiliated/mindlessdrone)
2020-10-24 14:30:42 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 14:31:33 +0000machinedgod(~machinedg@24.105.81.50)
2020-10-24 14:35:52 +0000ddellacosta(~dd@86.106.121.168) (Ping timeout: 260 seconds)
2020-10-24 14:38:45 +0000dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 240 seconds)
2020-10-24 14:38:47 +0000ericsagnes(~ericsagne@2405:6580:0:5100:551f:7c48:a755:a572) (Ping timeout: 260 seconds)
2020-10-24 14:38:51 +0000dyeplexer(~lol@unaffiliated/terpin)
2020-10-24 14:41:36 +0000thevishy(~Nishant@103.210.43.2)
2020-10-24 14:42:46 +0000HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Ping timeout: 272 seconds)
2020-10-24 14:43:17 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 14:43:56 +0000meinhof(b2f6bcc4@178.246.188.196)
2020-10-24 14:44:00 +0000bartemius(~bartemius@109.252.20.20) (Remote host closed the connection)
2020-10-24 14:48:28 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-24 14:50:33 +0000ericsagnes(~ericsagne@2405:6580:0:5100:7496:5c58:dab0:e60e)
2020-10-24 14:51:05 +0000DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-24 14:51:24 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 14:51:44 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 14:51:51 +0000alp(~alp@2a01:e0a:58b:4920:f8ae:1b82:109a:d6a2)
2020-10-24 14:52:12 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 14:52:32 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 14:52:59 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 14:53:16 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 14:53:47 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 14:54:45 +0000thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de)
2020-10-24 14:55:06 +0000ruljak(5cf785e2@92.247.133.226)
2020-10-24 14:57:30 +0000elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-10-24 14:58:39 +0000damianfral(~damianfra@177.red-2-142-221.dynamicip.rima-tde.net)
2020-10-24 14:59:27 +0000thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 15:00:35 +0000Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-24 15:03:40 +0000junjie(~Thunderbi@112.49.232.164) (Quit: junjie)
2020-10-24 15:04:25 +0000dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 264 seconds)
2020-10-24 15:04:51 +0000renzhi(~renzhi@modemcable070.17-177-173.mc.videotron.ca)
2020-10-24 15:05:00 +0000acidjnk_new3(~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de)
2020-10-24 15:05:38 +0000dyeplexer(~lol@unaffiliated/terpin)
2020-10-24 15:09:32 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 15:09:58 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 15:10:30 +0000kritzefitz(~kritzefit@212.86.56.80)
2020-10-24 15:13:53 +0000jsynacek_(~jsynacek@ip-185-149-130-112.kmenet.cz)
2020-10-24 15:14:16 +0000kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-24 15:15:35 +0000thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de)
2020-10-24 15:16:02 +0000kritzefitz(~kritzefit@212.86.56.80)
2020-10-24 15:16:06 +0000raichoo(~raichoo@dslb-178-001-019-190.178.001.pools.vodafone-ip.de) (Quit: Lost terminal)
2020-10-24 15:17:52 +0000acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 258 seconds)
2020-10-24 15:18:33 +0000 <maerwald> https://github.com/pcapriotti/optparse-applicative/issues/148 the problem with DSLs... you can never anticipate all use cases
2020-10-24 15:19:47 +0000Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2020-10-24 15:20:05 +0000berberman(~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-24 15:20:12 +0000thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 15:20:29 +0000berberman(~berberman@unaffiliated/berberman)
2020-10-24 15:20:37 +0000texasmynsted(~texasmyns@62.182.99.148) (Remote host closed the connection)
2020-10-24 15:21:17 +0000Lord_of_Life(~Lord@46.217.218.96)
2020-10-24 15:21:18 +0000Lord_of_Life(~Lord@46.217.218.96) (Changing host)
2020-10-24 15:21:18 +0000Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-10-24 15:21:57 +0000dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 260 seconds)
2020-10-24 15:22:37 +0000dyeplexer(~lol@unaffiliated/terpin)
2020-10-24 15:22:42 +0000jedws(~jedws@101.184.148.229)
2020-10-24 15:23:14 +0000jsynacek_(~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 258 seconds)
2020-10-24 15:24:34 +0000meinhof(b2f6bcc4@178.246.188.196) (Remote host closed the connection)
2020-10-24 15:24:38 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 15:25:29 +0000HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2020-10-24 15:26:45 +0000jedws(~jedws@101.184.148.229) (Ping timeout: 240 seconds)
2020-10-24 15:30:49 +0000bitmapper(uid464869@gateway/web/irccloud.com/x-mwjmzzijsisquogc) (Quit: Connection closed for inactivity)
2020-10-24 15:30:51 +0000irc_user(uid423822@gateway/web/irccloud.com/x-ypwtewedsewvdlne)
2020-10-24 15:31:11 +0000 <merijn> maerwald: But you can mostly already implement that behaviour?
2020-10-24 15:31:28 +0000 <maerwald> yeah, it doesn't render properly though
2020-10-24 15:31:52 +0000 <maerwald> e.g. in stack cli you have: --[no-]dump-logs
2020-10-24 15:31:55 +0000 <maerwald> that's proper
2020-10-24 15:32:02 +0000 <merijn> ah, right, but then what you want is probably just "better control over help text", which is somewhere deep down my todo list :p
2020-10-24 15:32:12 +0000coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-24 15:32:50 +0000 <maerwald> in the end you're messing with the internals, which is what I don't like... mix of high-level and low-level API is always awkward
2020-10-24 15:34:09 +0000bitmapper(uid464869@gateway/web/irccloud.com/x-qblnjbdvopnophrh)
2020-10-24 15:34:35 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-24 15:35:15 +0000polyrain(~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 15:36:02 +0000lightwave(uid469838@gateway/web/irccloud.com/x-senxbphlukrorlpa) (Quit: Connection closed for inactivity)
2020-10-24 15:37:22 +0000acidjnk_new3(~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 15:40:05 +0000chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-24 15:40:36 +0000toorevitimirp(~tooreviti@117.182.180.36) (Remote host closed the connection)
2020-10-24 15:40:51 +0000chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-24 15:42:16 +0000constR(uid58205@gateway/web/irccloud.com/x-ncabxfwmsmdkinmh)
2020-10-24 15:43:49 +0000fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2020-10-24 15:46:13 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 15:47:14 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 15:47:51 +0000daphnis(~daphnis@cm-84.214.179.98.getinternet.no)
2020-10-24 15:49:17 +0000mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-24 15:50:17 +0000Zetagon(~leo@c151-177-52-233.bredband.comhem.se)
2020-10-24 15:51:41 +0000 <daphnis> how is --enable-debug-info=1 supposed to be passed with a stack project? (trying to compile xmobar with that option)
2020-10-24 15:55:22 +0000p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 256 seconds)
2020-10-24 15:56:09 +0000Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-24 15:58:45 +0000kish`(~oracle@unaffiliated/oracle)
2020-10-24 15:59:24 +0000justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 272 seconds)
2020-10-24 16:01:45 +0000kish(~oracle@unaffiliated/oracle) (Ping timeout: 256 seconds)
2020-10-24 16:01:46 +0000chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-24 16:01:54 +0000chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-24 16:02:27 +0000hackagecontext 0.1.1.1 - Thread-indexed, nested contexts https://hackage.haskell.org/package/context-0.1.1.1 (jship)
2020-10-24 16:04:35 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 16:07:49 +0000 <tomsmeding> daphnis: you might try 'stack build --no-strip', but not sure
2020-10-24 16:08:09 +0000 <tomsmeding> source: 'stack build --help' :p
2020-10-24 16:09:24 +0000ruljak(5cf785e2@92.247.133.226) (Remote host closed the connection)
2020-10-24 16:09:32 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds)
2020-10-24 16:11:33 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 16:12:58 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 16:14:44 +0000 <tomsmeding> unrelated, does 'stack repl' not work with a local library in the cabal file?
2020-10-24 16:16:32 +0000christo(~chris@81.96.113.213)
2020-10-24 16:18:02 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-24 16:18:55 +0000Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-24 16:20:01 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 16:20:33 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-24 16:20:43 +0000solonarv(~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr)
2020-10-24 16:23:34 +0000geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-24 16:26:45 +0000coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-24 16:30:36 +0000reeiiko(~reeiiko@84.39.116.180)
2020-10-24 16:32:25 +0000bartemius(~bartemius@109.252.20.20)
2020-10-24 16:32:28 +0000hackageZ-IO 0.1.7.0 - Simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.7.0 (winterland)
2020-10-24 16:33:17 +0000wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-10-24 16:33:18 +0000wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-24 16:34:51 +0000p8m(p8m@gateway/vpn/protonvpn/p8m)
2020-10-24 16:35:17 +0000xff0x(~fox@2001:1a81:5355:300:36b0:bb39:8493:75d8) (Remote host closed the connection)
2020-10-24 16:35:35 +0000xff0x(~fox@2001:1a81:5355:300:b6fb:6049:f390:36a1)
2020-10-24 16:36:13 +0000dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Remote host closed the connection)
2020-10-24 16:36:25 +0000zariuq(~zar@fw1.ciirc.cvut.cz) (Remote host closed the connection)
2020-10-24 16:36:38 +0000dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2020-10-24 16:37:24 +0000zariuq(~zar@fw1.ciirc.cvut.cz)
2020-10-24 16:37:57 +0000christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 16:38:16 +0000christo(~chris@81.96.113.213)
2020-10-24 16:41:31 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 16:41:58 +0000christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 16:42:05 +0000daphnis(~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 240 seconds)
2020-10-24 16:42:12 +0000christo(~chris@81.96.113.213)
2020-10-24 16:45:05 +0000Gerula(~Gerula@unaffiliated/gerula) (Quit: Leaving)
2020-10-24 16:45:38 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 16:46:37 +0000GyroW_(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-24 16:46:52 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-24 16:46:53 +0000GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-24 16:46:53 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-24 16:49:20 +0000mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-24 16:49:52 +0000son0p(~son0p@181.136.122.143) (Ping timeout: 258 seconds)
2020-10-24 16:50:37 +0000mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 260 seconds)
2020-10-24 16:50:58 +0000coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-24 16:51:29 +0000son0p(~son0p@181.136.122.143)
2020-10-24 16:53:14 +0000dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 272 seconds)
2020-10-24 16:56:39 +0000daphnis(~daphnis@cm-84.214.179.98.getinternet.no)
2020-10-24 16:57:04 +0000 <ixlun> Does anyone know if there is a way to lift to a pattern in TH?
2020-10-24 16:57:56 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 16:58:09 +0000hnOsmium0001(uid453710@gateway/web/irccloud.com/x-tpxsfbngvqvdwafc)
2020-10-24 17:00:18 +0000jsynacek_(~jsynacek@ip-185-149-130-112.kmenet.cz)
2020-10-24 17:01:22 +0000danza(~francesco@host-87-16-96-139.retail.telecomitalia.it)
2020-10-24 17:03:20 +0000 <ixlun> I found LitP
2020-10-24 17:03:39 +0000 <ixlun> but now I need to lift that into the Q monad
2020-10-24 17:04:45 +0000geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-24 17:06:08 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-24 17:06:50 +0000 <monsterchrom> just use return? Q is a monad.
2020-10-24 17:07:25 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2020-10-24 17:07:38 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-10-24 17:10:48 +0000ddellacosta(~dd@86.106.121.168)
2020-10-24 17:13:29 +0000Gerula(~Gerula@unaffiliated/gerula)
2020-10-24 17:14:22 +0000daphnis(~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 246 seconds)
2020-10-24 17:17:53 +0000Khisanth(~Khisanth@166.sub-174-197-147.myvzw.com) (Read error: No route to host)
2020-10-24 17:18:17 +0000Khisanth(~Khisanth@166.sub-174-197-147.myvzw.com)
2020-10-24 17:22:47 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-24 17:22:57 +0000nlhowell(~nlhowell@don28-11.ln.rinet.ru) (Quit: WeeChat 2.9)
2020-10-24 17:24:55 +0000thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de)
2020-10-24 17:25:25 +0000wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-24 17:27:30 +0000xwl(~user@2a01:c22:c834:6a34:5dc7:2232:115c:751e)
2020-10-24 17:28:01 +0000xwl(~user@2a01:c22:c834:6a34:5dc7:2232:115c:751e) (Client Quit)
2020-10-24 17:28:51 +0000thevishy(~Nishant@103.210.43.2) (Quit: Leaving)
2020-10-24 17:29:22 +0000thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 17:32:25 +0000geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2020-10-24 17:36:28 +0000hackageukrainian-phonetics-basic 0.1.3.0 - A library to work with the basic Ukrainian phonetics and syllable segmentation. https://hackage.haskell.org/package/ukrainian-phonetics-basic-0.1.3.0 (OleksandrZhabenko)
2020-10-24 17:36:40 +0000GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-24 17:36:50 +0000GyroW(~GyroW@d54c03e98.access.telenet.be)
2020-10-24 17:36:51 +0000GyroW(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-24 17:36:51 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-24 17:37:51 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 17:42:13 +0000st8less(~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Ping timeout: 260 seconds)
2020-10-24 17:43:46 +0000aarvar(~foewfoiew@50.35.43.33)
2020-10-24 17:44:25 +0000dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 240 seconds)
2020-10-24 17:46:19 +0000alp(~alp@2a01:e0a:58b:4920:f8ae:1b82:109a:d6a2) (Ping timeout: 272 seconds)
2020-10-24 17:48:19 +0000son0p(~son0p@181.136.122.143) (Ping timeout: 246 seconds)
2020-10-24 17:48:58 +0000dyeplexer(~lol@unaffiliated/terpin)
2020-10-24 17:49:14 +0000Guest54698(5a319fdb@lfbn-nan-1-68-219.w90-49.abo.wanadoo.fr) (Ping timeout: 245 seconds)
2020-10-24 17:49:32 +0000son0p(~son0p@181.136.122.143)
2020-10-24 17:52:15 +0000mirrorbird_(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-24 17:56:11 +0000Patternmaster(~georg@li1192-118.members.linode.com) (Ping timeout: 240 seconds)
2020-10-24 17:58:36 +0000Patternmaster(~georg@li1192-118.members.linode.com)
2020-10-24 17:58:39 +0000mimi_vx(~mimi@2a01:490:16:1026:b095:5d2a:db18:3291)
2020-10-24 17:59:42 +0000daphnis(~daphnis@cm-84.214.179.98.getinternet.no)
2020-10-24 18:00:01 +0000reeiiko(~reeiiko@84.39.116.180) ()
2020-10-24 18:00:39 +0000christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 18:02:01 +0000GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-24 18:02:01 +0000GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-24 18:02:01 +0000GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-24 18:02:32 +0000ixlun(~matthew@213.205.241.94) (Read error: Connection reset by peer)
2020-10-24 18:03:11 +0000christo(~chris@81.96.113.213)
2020-10-24 18:03:29 +0000GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-24 18:05:24 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-24 18:07:13 +0000MindlessDrone(~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds)
2020-10-24 18:09:12 +0000dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2020-10-24 18:10:51 +0000kish`(~oracle@unaffiliated/oracle) (Remote host closed the connection)
2020-10-24 18:11:19 +0000kish(~oracle@unaffiliated/oracle)
2020-10-24 18:11:40 +0000andybkof2001(~andybkof2@201.141.61.28)
2020-10-24 18:11:44 +0000 <andybkof2001> made your area like quebec and speak german, in the frontier méxico with texas,the flag is in the frontier, in horizont orange almost dark like brick in up, in half gray aluminum, and in down blue sky day, with letter L red shinning thick, no very thick just 1 cm and 4 mm with red fire in the right side in line like shadow the same red shinnig 9 mm right, at the left side 1 mm of shadow,
2020-10-24 18:11:44 +0000 <andybkof2001> and in down 3 mm of shadow red shinnig all the shadows stiked at the L the L no with waves in line 9 mm of fire 1 left and 3 in down , the L in the center of the new german flag occupying the entire gray strip with the shadow, the name is Deutcsh, coin deutsches. let the giants play baskectball with the browns.learn german https://app.memrise.com/course/920/5000-german-words-top-87/1/ copy
2020-10-24 18:11:44 +0000 <andybkof2001> the adress of the page, and paste somewhere, for read it later, go at the bookseller and ask for the diccionary english german and read it verbatim, https://www.youtube.com/watch?v=Y6DNjM4s-zw
2020-10-24 18:11:49 +0000andybkof2001(~andybkof2@201.141.61.28) (Remote host closed the connection)
2020-10-24 18:12:08 +0000MindlessDrone(~MindlessD@unaffiliated/mindlessdrone)
2020-10-24 18:12:09 +0000nyaomi(~naomi@cpe-74-75-6-125.maine.res.rr.com) (Ping timeout: 265 seconds)
2020-10-24 18:13:02 +0000kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 272 seconds)
2020-10-24 18:13:55 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-24 18:14:15 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 18:14:35 +0000 <MarcelineVQ> That was kind of poetic until the urls
2020-10-24 18:17:11 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-24 18:18:20 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 18:19:25 +0000ddellacosta(~dd@86.106.121.168) (Ping timeout: 264 seconds)
2020-10-24 18:19:42 +0000mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-24 18:23:42 +0000ixlun(~matthew@213.205.241.94)
2020-10-24 18:23:59 +0000danza(~francesco@host-87-16-96-139.retail.telecomitalia.it) (Quit: Leaving)
2020-10-24 18:25:23 +0000alp(~alp@2a01:e0a:58b:4920:ac5b:158:30e4:51d7)
2020-10-24 18:25:33 +0000elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 18:28:02 +0000 <koz_> The hell did I just read?
2020-10-24 18:28:11 +0000coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-24 18:28:56 +0000mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 256 seconds)
2020-10-24 18:29:49 +0000 <ixlun> Say I had: `Data Foo = Foo Ordering' and then : `x foo = ...'. How could I convert `foo' into a template haskell `Pat'?
2020-10-24 18:30:23 +0000 <ixlun> So far I've got `ConP ''Foo'
2020-10-24 18:31:00 +0000 <ixlun> but I'm unsure how to convert the Ordering type consturctor into a Pat
2020-10-24 18:31:44 +0000geekosaur(82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-24 18:32:47 +0000tomsmedingis going to assume that was a markov chain generator
2020-10-24 18:33:16 +0000 <ixlun> I don't want to have to write: foo2Pat (Foo EQ) = [p|Foo EQ|] for all Ordering
2020-10-24 18:35:03 +0000 <tomsmeding> ixlun: wild guess, would it not just be ConP ''Foo (ConP ''EQ) ?
2020-10-24 18:35:16 +0000 <tomsmeding> or, well, ConP ''Foo [ConP ''EQ]
2020-10-24 18:35:39 +0000 <ixlun> Ahhhhh
2020-10-24 18:36:00 +0000 <ixlun> Didn't get that it would have another ConP as it's child
2020-10-24 18:36:01 +0000 <tomsmeding> EQ is also just a data constructor :)
2020-10-24 18:36:22 +0000 <ixlun> thanks tomsmeding :-)
2020-10-24 18:36:26 +0000 <ixlun> TH is really cool!
2020-10-24 18:37:27 +0000 <chkno> What's the simplest way to use TCP (client & server) while keeping the rest of my program Safe? I'm starting from "error: [-Wunsafe, -Werror=unsafe] ... Network.Socket: Can't be safely imported! The module itself isn't safe." network-simple gives the same error, and pipes-network looks complicated. Should I bite the bullet and learn Pipes or make small module that wraps Network.Socket & mark it
2020-10-24 18:37:33 +0000 <chkno> Trustworthy?
2020-10-24 18:38:23 +0000Kolkrabe(~user@unaffiliated/siracusa)
2020-10-24 18:39:07 +0000avdb(~avdb@ip-62-235-13-212.dsl.scarlet.be)
2020-10-24 18:41:20 +0000incertia(~incertia@d60-65-215-180.col.wideopenwest.com) (Ping timeout: 256 seconds)
2020-10-24 18:42:12 +0000daphnis(~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 260 seconds)
2020-10-24 18:42:36 +0000incertia(~incertia@d60-65-215-180.col.wideopenwest.com)
2020-10-24 18:43:36 +0000DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds)
2020-10-24 18:44:29 +0000isovector1(~isovector@172.103.217.169)
2020-10-24 18:44:35 +0000ericsagnes(~ericsagne@2405:6580:0:5100:7496:5c58:dab0:e60e) (Ping timeout: 272 seconds)
2020-10-24 18:46:16 +0000acidjnk_new3(~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de)
2020-10-24 18:47:57 +0000nyaomi(~naomi@cpe-74-75-6-125.maine.res.rr.com)
2020-10-24 18:50:32 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 18:51:48 +0000GyroW_(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-24 18:51:58 +0000GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-24 18:51:58 +0000GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-24 18:51:58 +0000GyroW(~GyroW@unaffiliated/gyrow)
2020-10-24 18:52:50 +0000geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-24 18:53:05 +0000taurux(~taurux@net-188-152-78-51.cust.dsl.teletu.it) (Ping timeout: 240 seconds)
2020-10-24 18:54:10 +0000brettgilio_(~brettgili@brettgilio.com) (Quit: Long live IRC! <https://brettgilio.com>)
2020-10-24 18:54:13 +0000taurux(~taurux@net-188-152-78-51.cust.vodafonedsl.it)
2020-10-24 18:55:22 +0000aki_(~aki_@195.206.169.184)
2020-10-24 18:56:25 +0000ericsagnes(~ericsagne@2405:6580:0:5100:2c27:27e3:588f:de92)
2020-10-24 18:57:38 +0000 <merijn> Honestly, I don't think anyone's really using SafeHaskell these days
2020-10-24 18:57:43 +0000isovector1(~isovector@172.103.217.169) ("Leaving")
2020-10-24 18:58:09 +0000kritzefitz(~kritzefit@212.86.56.80)
2020-10-24 18:58:10 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 19:00:10 +0000brettgilio(~brettgili@brettgilio.com)
2020-10-24 19:01:17 +0000 <Zetagon> Why not?
2020-10-24 19:03:24 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 19:03:28 +0000berberman_(~berberman@unaffiliated/berberman)
2020-10-24 19:03:52 +0000berberman(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-10-24 19:04:33 +0000st8less(~st8less@inet-167-224-197-181.isp.ozarksgo.net)
2020-10-24 19:04:41 +0000fandi(~fandi@118.97.77.114)
2020-10-24 19:07:54 +0000 <chkno> I suppose I could keep most of my program in transport-agnostic Safe modules and then just mix the TCP in with the rest in an Unsafe top-level Main. I'm using Safe because it came with -Weverything, and because https://wiki.haskell.org/Safe_Haskell says 'it's like -Wall', and I use -Wall (and -Wextra, -pedantic, clang-tidy, ...) when I write C.
2020-10-24 19:10:02 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds)
2020-10-24 19:11:07 +0000Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 265 seconds)
2020-10-24 19:11:43 +0000chaosmasttter(~chaosmast@p200300c4a7138f01d15b56f7610b6e80.dip0.t-ipconnect.de)
2020-10-24 19:12:13 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 19:12:25 +0000elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-24 19:13:27 +0000ddellacosta(~dd@86.106.121.168)
2020-10-24 19:21:01 +0000Varis(~Tadas@unaffiliated/varis) (Quit: Leaving)
2020-10-24 19:22:08 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 19:22:21 +0000avdb(~avdb@ip-62-235-13-212.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-10-24 19:25:53 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 19:26:43 +0000thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de)
2020-10-24 19:27:28 +0000Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2020-10-24 19:30:29 +0000 <merijn> chkno: That's not the case
2020-10-24 19:30:38 +0000 <merijn> chkno: You shouldn't use -Weverything
2020-10-24 19:31:16 +0000 <merijn> -Wall enables everything you should care about, -Weverything includes *lots* of things that are very questionable (i.e. warns about things which aren't wrong)
2020-10-24 19:32:00 +0000steve_(~quassel@ool-18b99d28.dyn.optonline.net)
2020-10-24 19:32:01 +0000steve__(~quassel@ool-18b99d28.dyn.optonline.net)
2020-10-24 19:32:17 +0000Varis(~Tadas@unaffiliated/varis)
2020-10-24 19:32:27 +0000thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 19:32:57 +0000 <christo> hey guys
2020-10-24 19:33:00 +0000 <christo> in acabal project
2020-10-24 19:33:02 +0000 <christo> cabal*
2020-10-24 19:33:14 +0000 <christo> what should i be .gitignore'ing?
2020-10-24 19:33:18 +0000 <merijn> chkno: Actually using Safe means you're going to have to audit your dependencies and mark which ones you're going to trust, or it's not really going to do anything for you :)
2020-10-24 19:33:20 +0000 <christo> dist/ folder?
2020-10-24 19:33:41 +0000 <merijn> christo: dist and dist-newstyle, that should be the only thing cabal really makes
2020-10-24 19:34:05 +0000 <christo> thx, what does those folders contain? the build of the project? after you compile it?
2020-10-24 19:34:13 +0000 <merijn> And if your cabal-install is making dist folders, you probably wanna upgrade to a newer version of cabal-install :p
2020-10-24 19:34:16 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 19:34:33 +0000gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2020-10-24 19:34:37 +0000 <christo> everything i need for cabal is the .cabal file right?
2020-10-24 19:34:46 +0000 <merijn> christo: dist/dist-newstyle contains the build artifacts of your project, yes (dependencies get installed in ~/.cabal)
2020-10-24 19:34:57 +0000 <merijn> christo: Yeah
2020-10-24 19:35:06 +0000bartemius(~bartemius@109.252.20.20) (Remote host closed the connection)
2020-10-24 19:35:16 +0000gentauro(~gentauro@unaffiliated/gentauro)
2020-10-24 19:35:29 +0000 <christo> ok, will do a git -rm -r -cached then i'll double check the command for it lol
2020-10-24 19:35:39 +0000 <christo> thx
2020-10-24 19:36:16 +0000knupfer(~Thunderbi@i59F7FF06.versanet.de)
2020-10-24 19:37:58 +0000Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-24 19:39:02 +0000elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 19:39:04 +0000elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Client Quit)
2020-10-24 19:42:08 +0000lxsameer(~lxsameer@unaffiliated/lxsameer)
2020-10-24 19:42:21 +0000elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 19:42:50 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-24 19:43:20 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-10-24 19:44:21 +0000steve__(~quassel@ool-18b99d28.dyn.optonline.net) (Remote host closed the connection)
2020-10-24 19:44:22 +0000Zetagon(~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-10-24 19:44:46 +0000elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Client Quit)
2020-10-24 19:44:47 +0000 <maerwald> mouse scroll doesn't seem to register in brick
2020-10-24 19:45:02 +0000 <lxsameer> hey folks, f: a -> Mb and g: b -> Mc . the bind for these two would be Mb >>= \b -> Mc . is it correct to say, in order to compose these two to gether weh have to have a function like z: a -> f(a) >>= g ????
2020-10-24 19:45:24 +0000 <lxsameer> is z correct as a composition of f and g ?
2020-10-24 19:47:25 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 19:47:31 +0000tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 19:48:53 +0000elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 19:49:56 +0000cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2020-10-24 19:51:32 +0000mastarija(~mastarija@93-136-107-187.adsl.net.t-com.hr)
2020-10-24 19:52:43 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 19:52:53 +0000conal(~conal@64.71.133.70) (Ping timeout: 260 seconds)
2020-10-24 19:53:03 +0000 <maerwald> Weird, seems mouse wheel up results in KUp event, not in Button event
2020-10-24 19:54:08 +0000 <geekosaur> that's up to the terminal emulator; most translate it before the app running in the terminal can see it
2020-10-24 19:54:24 +0000 <geekosaur> mouse wheel scrolling is just a bit of a hack
2020-10-24 19:57:47 +0000 <geekosaur> (it should be multiple KUp events normally; there's often a configuration knob for how many)
2020-10-24 19:58:01 +0000mastarija(~mastarija@93-136-107-187.adsl.net.t-com.hr) (Quit: Leaving)
2020-10-24 19:58:50 +0000irc_user(uid423822@gateway/web/irccloud.com/x-ypwtewedsewvdlne) (Quit: Connection closed for inactivity)
2020-10-24 19:59:29 +0000vicfred(~vicfred@unaffiliated/vicfred)
2020-10-24 20:00:11 +0000mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-24 20:01:04 +0000invaser(~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-10-24 20:01:09 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-24 20:01:12 +0000ggole(~ggole@2001:8003:8119:7200:f40c:8454:96a4:4e08) (Quit: Leaving)
2020-10-24 20:01:45 +0000jumper149(~jumper149@ip185225.wh.uni-hannover.de)
2020-10-24 20:01:57 +0000hackageaeson-combinators 0.0.4.0 - Aeson combinators for dead simple JSON decoding https://hackage.haskell.org/package/aeson-combinators-0.0.4.0 (MarekFajkus)
2020-10-24 20:03:20 +0000 <geekosaur> hm, although given how hacky that aspect is, it might only be one. (it's not really that kind of UI event in a terminal)
2020-10-24 20:03:58 +0000elpfen[m](elpfenmatr@gateway/shell/matrix.org/x-qyxfulwurvxvqcrl)
2020-10-24 20:07:28 +0000dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2020-10-24 20:08:22 +0000Neo--(~neo@188-230-154-134.dynamic.t-2.net) (Ping timeout: 260 seconds)
2020-10-24 20:09:37 +0000tuple(~igloo@c-67-169-78-228.hsd1.ca.comcast.net)
2020-10-24 20:10:14 +0000tuple(~igloo@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit)
2020-10-24 20:11:30 +0000xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-24 20:12:23 +0000Athas(~athas@2a01:7c8:aaac:1cf:430f:bcbb:6418:e5a7) (Quit: ZNC - http://znc.sourceforge.net)
2020-10-24 20:12:33 +0000Athas(athas@2a01:7c8:aaac:1cf:c447:4462:6f16:b387)
2020-10-24 20:14:31 +0000alp(~alp@2a01:e0a:58b:4920:ac5b:158:30e4:51d7) (Ping timeout: 272 seconds)
2020-10-24 20:15:12 +0000invaser(~Thunderbi@31.148.23.125)
2020-10-24 20:18:05 +0000elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-24 20:18:27 +0000aki_(~aki_@195.206.169.184) (Remote host closed the connection)
2020-10-24 20:18:52 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds)
2020-10-24 20:19:26 +0000 <maerwald> I would have expected alacritty to emit an actual mouse event maybe
2020-10-24 20:20:04 +0000gxt(~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-10-24 20:20:33 +0000 <geekosaur> one could argue the translation is happening at the wrong level, but I suspect nobody would want to fix it
2020-10-24 20:20:55 +0000gxt(~gxt@gateway/tor-sasl/gxt)
2020-10-24 20:21:43 +0000ech(~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-24 20:24:00 +0000ech(~user@gateway/tor-sasl/ech)
2020-10-24 20:24:47 +0000 <geekosaur> iirc it's somewhat painful to do what you want, given that passing mouse events through is itself a hack; they'd have to arrange somehow for the original event to be saved just for mouse mode
2020-10-24 20:25:10 +0000 <maerwald> well, it's kinda confusing, we have mousewheel in two events: VtyEvent https://hackage.haskell.org/package/vty-5.31/docs/Graphics-Vty-Input-Events.html#t:Event and BrickEvent https://hackage.haskell.org/package/brick-0.57/docs/Brick-Types.html#t:BrickEvent but both never trigger lol
2020-10-24 20:25:18 +0000 <geekosaur> (scrolling is not normally a UI event as such)
2020-10-24 20:25:51 +0000 <geekosaur> right, because it's up to the terminal to pass it on and most probably won't
2020-10-24 20:28:06 +0000 <geekosaur> at least, not as button or scroll events
2020-10-24 20:29:19 +0000 <geekosaur> again, you could try reporting it as a bug in alacritty that it gives you an up key instead of a mouse event in that case, but I suspect they'll find it too hard to fix and that's why they send key-up to begin with
2020-10-24 20:29:38 +0000 <maerwald> https://github.com/alacritty/alacritty/issues/2512
2020-10-24 20:29:57 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-24 20:30:03 +0000 <maerwald> so much more you can do with mouse event
2020-10-24 20:30:15 +0000geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-24 20:31:30 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 20:31:48 +0000ozbot(~ozbot@154.13.1.56)
2020-10-24 20:32:54 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-24 20:33:08 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-24 20:33:34 +0000OscarZ(~oscarz@95.175.104.44)
2020-10-24 20:36:01 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-24 20:39:50 +0000geekosaur(82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-24 20:40:22 +0000sfvm(~sfvm@37.228.215.148)
2020-10-24 20:43:52 +0000howdoi(uid224@gateway/web/irccloud.com/x-szummihjpdtceelx)
2020-10-24 20:43:56 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-24 20:44:14 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-24 20:45:02 +0000Gerula(~Gerula@unaffiliated/gerula) ("Leaving")
2020-10-24 20:45:07 +0000jsynacek_(~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 260 seconds)
2020-10-24 20:49:28 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 260 seconds)
2020-10-24 20:50:34 +0000infty(~ubuntu@ec2-3-126-179-254.eu-central-1.compute.amazonaws.com) (Quit: leaving)
2020-10-24 20:51:23 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-24 20:53:37 +0000Franciman(~francesco@host-82-54-10-114.retail.telecomitalia.it) (Quit: Leaving)
2020-10-24 21:00:01 +0000ozbot(~ozbot@154.13.1.56) ()
2020-10-24 21:06:08 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 21:07:07 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-24 21:07:57 +0000hackagemorley 1.8.0 - Developer tools for the Michelson Language https://hackage.haskell.org/package/morley-1.8.0 (gromak)
2020-10-24 21:10:25 +0000britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-24 21:12:00 +0000mursu_mursu
2020-10-24 21:13:50 +0000hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-24 21:15:23 +0000hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-24 21:16:36 +0000trumpsec(uid470694@gateway/web/irccloud.com/x-vmczzfmprshkgkkv) ()
2020-10-24 21:17:09 +0000trumpsec(uid470694@gateway/web/irccloud.com/x-csiitbjsrbpckjts)
2020-10-24 21:22:08 +0000elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-10-24 21:22:30 +0000trumpsecpsych
2020-10-24 21:22:31 +0000GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-24 21:22:31 +0000GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-24 21:22:31 +0000GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-24 21:23:40 +0000GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 272 seconds)
2020-10-24 21:23:40 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-10-24 21:24:34 +0000psych(uid470694@gateway/web/irccloud.com/x-csiitbjsrbpckjts) ()
2020-10-24 21:25:48 +0000knupfer(~Thunderbi@i59F7FF06.versanet.de) (Quit: knupfer)
2020-10-24 21:25:48 +0000knupfer1(~Thunderbi@200116b82cdc6a0038c99fd1ac8ab40b.dip.versatel-1u1.de)
2020-10-24 21:25:58 +0000knupfer1(~Thunderbi@200116b82cdc6a0038c99fd1ac8ab40b.dip.versatel-1u1.de) (Client Quit)
2020-10-24 21:26:09 +0000knupfer(~Thunderbi@200116b82cdc6a00b4a9dbb45e11696e.dip.versatel-1u1.de)
2020-10-24 21:27:16 +0000knupfer(~Thunderbi@200116b82cdc6a00b4a9dbb45e11696e.dip.versatel-1u1.de) (Client Quit)
2020-10-24 21:27:30 +0000knupfer(~Thunderbi@200116b82cdc6a00754e6662daa0832c.dip.versatel-1u1.de)
2020-10-24 21:29:07 +0000p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-10-24 21:29:19 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-24 21:29:49 +0000ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 21:30:10 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 21:32:02 +0000knupfer(~Thunderbi@200116b82cdc6a00754e6662daa0832c.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-24 21:34:57 +0000hackagexlsx 0.8.2 - Simple and incomplete Excel file parser/writer https://hackage.haskell.org/package/xlsx-0.8.2 (KirillZaborsky)
2020-10-24 21:35:39 +0000bartemius(~bartemius@109-252-20-20.nat.spd-mgts.ru)
2020-10-24 21:36:33 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 21:38:12 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-24 21:40:13 +0000bartemius(~bartemius@109-252-20-20.nat.spd-mgts.ru) (Ping timeout: 260 seconds)
2020-10-24 21:41:03 +0000__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-24 21:41:24 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-24 21:43:22 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2020-10-24 21:44:15 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-24 21:45:49 +0000frdg(47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-10-24 21:47:08 +0000 <frdg> adding a function to a `composition pipeline?` will decrease or preserve the size of the compositions image. Is this true and if so is this property named?
2020-10-24 21:48:26 +0000 <c_wraith> where did that question come from? Seems like an odd thing to ask.
2020-10-24 21:49:38 +0000 <monsterchrom> This sounds like a continuation of a misguided line of thought from several days ago.
2020-10-24 21:50:26 +0000 <frdg> I came up with it while learning about monotonicity of entailment
2020-10-24 21:50:37 +0000geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds)
2020-10-24 21:51:19 +0000 <c_wraith> It's also clearly not true with arbitrary functions
2020-10-24 21:51:44 +0000 <frdg> oh
2020-10-24 21:52:18 +0000 <monsterchrom> It is true and boring. It is merely part of the definition of "function" in the first place.
2020-10-24 21:52:26 +0000 <c_wraith> (floor . max 0 . min 1 :: Double -> Int) vs (floor . (*5) . max 0 . min 1 :: Double -> Int)
2020-10-24 21:53:21 +0000 <frdg> terrible timing I must eat dinner.
2020-10-24 21:54:16 +0000chaosmasttter(~chaosmast@p200300c4a7138f01d15b56f7610b6e80.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-24 21:54:19 +0000alp(~alp@2a01:e0a:58b:4920:60bf:7356:ce9b:9eec)
2020-10-24 21:55:38 +0000[42]1(~42]@195.206.169.184)
2020-10-24 21:55:45 +0000taurux(~taurux@net-188-152-78-51.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2020-10-24 21:55:48 +0000son0p(~son0p@181.136.122.143) (Quit: leaving)
2020-10-24 21:56:28 +0000taurux(~taurux@net-188-152-78-90.cust.vodafonedsl.it)
2020-10-24 22:00:27 +0000Rudd0(~Rudd0@185.189.115.108)
2020-10-24 22:00:37 +0000acidjnk_new3(~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 22:00:57 +0000mimi_vx(~mimi@2a01:490:16:1026:b095:5d2a:db18:3291) (Ping timeout: 260 seconds)
2020-10-24 22:01:31 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-24 22:01:53 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 22:05:09 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 22:09:13 +0000machinedgod(~machinedg@24.105.81.50) (Ping timeout: 264 seconds)
2020-10-24 22:12:40 +0000tirej(~tirej@unaffiliated/tirej) (Quit: Lost terminal)
2020-10-24 22:12:44 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-24 22:13:10 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-24 22:13:22 +0000Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-24 22:15:34 +0000machinedgod(~machinedg@24.105.81.50)
2020-10-24 22:17:07 +0000jumper149(~jumper149@ip185225.wh.uni-hannover.de) (Ping timeout: 246 seconds)
2020-10-24 22:18:01 +0000danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-24 22:19:10 +0000jumper149(~jumper149@ip185225.wh.uni-hannover.de)
2020-10-24 22:19:44 +0000Varis(~Tadas@unaffiliated/varis)
2020-10-24 22:20:31 +0000irc_user(uid423822@gateway/web/irccloud.com/x-yozgrvcgtawskeqy)
2020-10-24 22:20:45 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2020-10-24 22:21:45 +0000heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 22:23:23 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-24 22:23:24 +0000pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 260 seconds)
2020-10-24 22:29:17 +0000mbomba(~mbomba@142.114.9.241)
2020-10-24 22:31:56 +0000thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de)
2020-10-24 22:33:10 +0000Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 256 seconds)
2020-10-24 22:34:18 +0000darjeeling_(~darjeelin@122.245.123.118) (Ping timeout: 256 seconds)
2020-10-24 22:34:52 +0000mimi_vx(~mimi@2a01:490:16:1026:b095:5d2a:db18:3291)
2020-10-24 22:36:47 +0000thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 22:37:22 +0000darjeeling_(~darjeelin@122.245.123.118)
2020-10-24 22:41:57 +0000hackagecabal-fmt 0.1.5 - Format .cabal files https://hackage.haskell.org/package/cabal-fmt-0.1.5 (phadej)
2020-10-24 22:44:25 +0000Wuzzy(~Wuzzy@p5790ef06.dip0.t-ipconnect.de) (Quit: Wuzzy)
2020-10-24 22:45:58 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 22:46:07 +0000nukaniko
2020-10-24 22:46:23 +0000justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-24 22:48:38 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Client Quit)
2020-10-24 22:48:39 +0000 <frdg> c_wraith: `(floor . max 0 . min 1 :: Double -> Int) vs (floor . (*5) . max 0 . min 1 :: Double -> Int)` isn't the image of both of these functions infinite?
2020-10-24 22:49:45 +0000 <c_wraith> nope. The first one has the image [0, 1]. the second has the image [0, 1, 2, 3, 4, 5]
2020-10-24 22:50:09 +0000 <c_wraith> err. those are finite sets, not some sort of range notation
2020-10-24 22:51:13 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 22:51:46 +0000 <frdg> I see it now
2020-10-24 22:51:48 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 22:52:33 +0000 <frdg> there goes my theory
2020-10-24 22:54:40 +0000 <monsterchrom> oops
2020-10-24 22:54:42 +0000 <c_wraith> monsterchrom was referring to a simpler statement, which *is* trivially true. Composing two functions together results in an image with a size at most the max of the sizes of the two individual functions.
2020-10-24 22:55:03 +0000 <c_wraith> But when you are allowed to insert intermediate steps, things are no longer that simple
2020-10-24 22:56:04 +0000Foritus(~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2020-10-24 22:56:46 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds)
2020-10-24 22:58:20 +0000Jimi2M0ITI(~JimiMM0JT@unaffiliated/jimimm0jtx)
2020-10-24 22:58:56 +0000Jimi2M0ITI(~JimiMM0JT@unaffiliated/jimimm0jtx) (Client Quit)
2020-10-24 22:59:38 +0000MikeD(ad5822ca@cpe-173-88-34-202.columbus.res.rr.com)
2020-10-24 23:01:48 +0000christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 23:01:52 +0000fendor_(~fendor@178.115.130.136.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-24 23:02:07 +0000Jimi2M0ITI(~JimiMM0JT@unaffiliated/jimimm0jtx)
2020-10-24 23:02:21 +0000alp(~alp@2a01:e0a:58b:4920:60bf:7356:ce9b:9eec) (Ping timeout: 272 seconds)
2020-10-24 23:02:31 +0000vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-24 23:02:56 +0000Jimi2M0ITI(~JimiMM0JT@unaffiliated/jimimm0jtx) (Client Quit)
2020-10-24 23:03:14 +0000renzhi(~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 258 seconds)
2020-10-24 23:03:32 +0000Jimi2M0ITI(~JimiMM0JT@unaffiliated/jimimm0jtx)
2020-10-24 23:03:50 +0000Neo--(~neo@188-230-154-134.dynamic.t-2.net)
2020-10-24 23:04:39 +0000Jimi2M0ITI(~JimiMM0JT@unaffiliated/jimimm0jtx) (Client Quit)
2020-10-24 23:05:22 +0000Foritus(~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net)
2020-10-24 23:08:55 +0000christo(~chris@81.96.113.213)
2020-10-24 23:09:27 +0000mimi_vx(~mimi@2a01:490:16:1026:b095:5d2a:db18:3291) (Ping timeout: 260 seconds)
2020-10-24 23:09:34 +0000kewa(55aec1a1@85.174.193.161)
2020-10-24 23:12:07 +0000Foritus(~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2020-10-24 23:12:44 +0000Foritus(~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net)
2020-10-24 23:12:47 +0000 <kewa> Hi! Is this chat alive?
2020-10-24 23:12:49 +0000Neo--(~neo@188-230-154-134.dynamic.t-2.net) (Ping timeout: 264 seconds)
2020-10-24 23:13:33 +0000christo(~chris@81.96.113.213) (Ping timeout: 260 seconds)
2020-10-24 23:15:55 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 23:16:48 +0000nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 23:19:25 +0000 <Ariakenom> kewa, sure
2020-10-24 23:19:38 +0000xerox_(~xerox@unaffiliated/xerox)
2020-10-24 23:20:45 +0000geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-24 23:23:46 +0000 <koz_> kewa: No, we are all turingrade AIs.
2020-10-24 23:27:21 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 23:29:16 +0000invaser(~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-10-24 23:29:21 +0000kewa(55aec1a1@85.174.193.161) ()
2020-10-24 23:31:05 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-24 23:31:59 +0000dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 258 seconds)
2020-10-24 23:36:00 +0000 <monsterchrom> That counts as alive.
2020-10-24 23:38:56 +0000andybkof2001(~andybkof2@fixed-187-188-9-123.totalplay.net)
2020-10-24 23:38:57 +0000damianfral(~damianfra@177.red-2-142-221.dynamicip.rima-tde.net) (Ping timeout: 260 seconds)
2020-10-24 23:39:05 +0000 <andybkof2001> made your area like quebec and speak german, in the frontier méxico with texas,the flag is in the frontier, in horizont orange almost dark like brick in up, in half gray aluminum, and in down blue sky day, with letter L red shinning thick, no very thick just 1 cm and 4 mm with red fire in the right side in line like shadow the same red shinnig 9 mm right, at the left side 1 mm of shadow,
2020-10-24 23:39:05 +0000 <andybkof2001> and in down 3 mm of shadow red shinnig all the shadows stiked at the L the L no with waves in line 9 mm of fire 1 left and 3 in down , the L in the center of the new german flag occupying the entire gray strip with the shadow, the name is Deutcsh, coin deutsches. let the giants play baskectball with the browns.learn german https://app.memrise.com/course/920/5000-german-words-top-87/1/ copy
2020-10-24 23:39:05 +0000 <andybkof2001> the adress of the page, and paste somewhere, for read it later, go at the bookseller and ask for the diccionary english german and read it verbatim, https://www.youtube.com/watch?v=Y6DNjM4s-zw
2020-10-24 23:40:24 +0000ChanServ+o monsterchrom
2020-10-24 23:40:30 +0000monsterchrom+b *!*@fixed-187-188-9-123.totalplay.net
2020-10-24 23:40:30 +0000andybkof2001monsterchromandybkof2001
2020-10-24 23:40:44 +0000pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-10-24 23:45:17 +0000monsterchrom-b+b *!*@fixed-187-188-9-123.totalplay.net andybkof2001!*@*
2020-10-24 23:45:36 +0000 <monsterchrom> Let's see how well that holds up.
2020-10-24 23:45:45 +0000 <Kolkrabe> Looking at some nicks, I would say the channel is undead rather than alive :p
2020-10-24 23:45:46 +0000monsterchrom-o monsterchrom
2020-10-24 23:45:53 +0000 <monsterchrom> Haha
2020-10-24 23:47:19 +0000kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-24 23:49:09 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 23:54:42 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 23:58:04 +0000Zer000(~Zer000@64.137.132.26)