IRCBrowse

2021/01/20

2021-01-20 00:00:48 +0100jlamothe(~jlamothe@198.251.55.207)
2021-01-20 00:01:09 +0100acidjnk_new(~acidjnk@p200300d0c704e732989dd075055fe92d.dip0.t-ipconnect.de)
2021-01-20 00:02:39 +0100hyperisco(~hyperisco@104-195-141-253.cpe.teksavvy.com) (Ping timeout: 246 seconds)
2021-01-20 00:04:05 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 256 seconds)
2021-01-20 00:07:33 +0100Tario(~Tario@200.119.185.25) (Read error: Connection reset by peer)
2021-01-20 00:07:57 +0100 <__monty__> monochrom: Yeah but that's why their conclusion seems weird. If they control the counter they can encrypt bit by bit as long as they keep track of how many bits have been encrypted so far.
2021-01-20 00:08:39 +0100Tario(~Tario@201.192.165.173)
2021-01-20 00:12:33 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-01-20 00:13:35 +0100LKoen(~LKoen@16.175.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-01-20 00:14:19 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 268 seconds)
2021-01-20 00:14:20 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-01-20 00:14:28 +0100Tario(~Tario@200.119.185.25)
2021-01-20 00:14:53 +0100polyrain(~polyrain@124.177.21.171)
2021-01-20 00:14:53 +0100Tario(~Tario@200.119.185.25) (Read error: Connection reset by peer)
2021-01-20 00:14:54 +0100Guest74635(~textual@zrcout.mskcc.org) (Ping timeout: 246 seconds)
2021-01-20 00:15:04 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net) ()
2021-01-20 00:15:08 +0100Tario(~Tario@201.192.165.173)
2021-01-20 00:15:30 +0100 <monochrom> I think it's a dead horse.
2021-01-20 00:18:29 +0100mirrorbird(~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) (Ping timeout: 272 seconds)
2021-01-20 00:19:00 +0100danvet_(~danvet@212-51-149-96.fiber7.init7.net)
2021-01-20 00:19:45 +0100icebreaker(michalc@unaffiliated/icebreaker) (Ping timeout: 240 seconds)
2021-01-20 00:19:52 +0100icebreaker(michalc@freeshell.de)
2021-01-20 00:19:52 +0100icebreaker(michalc@freeshell.de) (Changing host)
2021-01-20 00:19:52 +0100icebreaker(michalc@unaffiliated/icebreaker)
2021-01-20 00:19:54 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-01-20 00:19:59 +0100mdunnio(~mdunnio@172.97.43.112) (Remote host closed the connection)
2021-01-20 00:24:34 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-20 00:24:41 +0100neiluj(~jco@unaffiliated/neiluj) (Quit: leaving)
2021-01-20 00:24:47 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 00:24:55 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-01-20 00:25:41 +0100harisamin(~harisamin@cpe-67-245-61-239.nyc.res.rr.com)
2021-01-20 00:25:50 +0100 <harisamin> Hi there
2021-01-20 00:26:33 +0100dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 260 seconds)
2021-01-20 00:26:37 +0100 <harisamin> Is there a sql builder library akin to sqlalchemy's query builder (non-ORM one) in haskell?
2021-01-20 00:27:19 +0100 <harisamin> currently using postgresql-simple but need something to be able to build dynamic queries a bit better
2021-01-20 00:27:32 +0100 <harisamin> currently i'm concating sql strings and its getting a bit unwieldy
2021-01-20 00:28:27 +0100 <dminuoso> harisamin: there's simple tricks you can pull off to construct queries with postgresql-simple
2021-01-20 00:28:41 +0100 <dminuoso> harisamin: Can you perhaps share a particularly bad code example?
2021-01-20 00:29:07 +0100fendor(~fendor@178.115.128.149.wireless.dyn.drei.com) (Remote host closed the connection)
2021-01-20 00:29:14 +0100 <harisamin> hm well
2021-01-20 00:29:15 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-01-20 00:29:34 +0100 <harisamin> for one, i realize i might need to use table aliases for some complicated queries that have subqueries
2021-01-20 00:29:36 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 264 seconds)
2021-01-20 00:29:46 +0100 <dminuoso> Use CTEs for those.
2021-01-20 00:30:04 +0100 <dminuoso> And views if they are shared across multiple queries
2021-01-20 00:32:26 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 264 seconds)
2021-01-20 00:32:40 +0100danvet_(~danvet@212-51-149-96.fiber7.init7.net) (Ping timeout: 256 seconds)
2021-01-20 00:33:09 +0100Deide1(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-01-20 00:33:38 +0100polyrain(~polyrain@124.177.21.171) (Quit: Textual IRC Client: www.textualapp.com)
2021-01-20 00:36:13 +0100usr25_tm(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-01-20 00:37:04 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-01-20 00:37:55 +0100quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
2021-01-20 00:39:16 +0100conal(~conal@64.71.133.70)
2021-01-20 00:39:18 +0100p7lpa1ugixavugu(~atomic@2800:810:514:e7:cd02:ce51:d5ac:d9bf) (Quit: AtomicIRC: The nuclear option.)
2021-01-20 00:40:01 +0100p7lpa1ugixavugu(~atomic@2800:810:514:e7:cd02:ce51:d5ac:d9bf)
2021-01-20 00:43:53 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection)
2021-01-20 00:46:19 +0100ransom(~c4264035@2a09:bac0:98::830:861e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-20 00:48:04 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 265 seconds)
2021-01-20 00:53:04 +0100ADG1089_(~adg1089@223.226.159.22) (Ping timeout: 256 seconds)
2021-01-20 00:54:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-20 00:58:39 +0100ulidtko(~ulidtko@193.111.48.79) (Ping timeout: 246 seconds)
2021-01-20 01:00:17 +0100ADG1089__(~aditya@223.226.159.22)
2021-01-20 01:01:27 +0100loller_(uid358106@gateway/web/irccloud.com/x-vgqodrfefzyzpwaq)
2021-01-20 01:04:09 +0100Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2021-01-20 01:04:33 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-20 01:07:24 +0100electricityZZZZ(~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2021-01-20 01:07:44 +0100Codaraxis(~Codaraxis@91.193.4.38) (Ping timeout: 240 seconds)
2021-01-20 01:14:49 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net)
2021-01-20 01:15:16 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-20 01:15:37 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135)
2021-01-20 01:15:46 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-01-20 01:15:50 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net) ()
2021-01-20 01:17:14 +0100uberj(~uberj@unaffiliated/uberj) (Remote host closed the connection)
2021-01-20 01:17:34 +0100uberj(~uberj@unaffiliated/uberj)
2021-01-20 01:18:12 +0100iteratee_(~kyle@162.211.154.4) (Read error: Connection reset by peer)
2021-01-20 01:18:19 +0100iteratee(~kyle@162.211.154.4)
2021-01-20 01:19:03 +0100beka(~beka@gothdyke.mom) (Ping timeout: 260 seconds)
2021-01-20 01:19:24 +0100wagle(~wagle@quassel.wagle.io) (Remote host closed the connection)
2021-01-20 01:20:27 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-01-20 01:20:34 +0100wagle(~wagle@quassel.wagle.io)
2021-01-20 01:20:40 +0100Wuzzy(~Wuzzy@p549c9ab1.dip0.t-ipconnect.de)
2021-01-20 01:20:43 +0100beka(~beka@gothdyke.mom)
2021-01-20 01:25:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-20 01:30:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-01-20 01:34:30 +0100mirrorbird(~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0)
2021-01-20 01:35:18 +0100noecho(~noecho@2a01:4f8:1c0c:80ee::4223) (Quit: ZNC - http://znc.in)
2021-01-20 01:35:49 +0100noecho(~noecho@2a01:4f8:1c0c:80ee::4223)
2021-01-20 01:38:36 +0100noecho(~noecho@2a01:4f8:1c0c:80ee::4223) (Client Quit)
2021-01-20 01:39:12 +0100noecho(~noecho@2a01:4f8:1c0c:80ee::4223)
2021-01-20 01:39:44 +0100eyenx(~eyenxeyen@unaffiliated/eye/x-1653358) (Remote host closed the connection)
2021-01-20 01:40:45 +0100ph88_(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds)
2021-01-20 01:41:22 +0100vs^(vs@ip98-184-89-2.mc.at.cox.net)
2021-01-20 01:44:23 +0100Dominick(Dominick@cpe-66-65-179-161.nyc.res.rr.com)
2021-01-20 01:45:33 +0100eyenx(~eyenxeyen@unaffiliated/eye/x-1653358)
2021-01-20 01:46:20 +0100p8m(p8m@gateway/vpn/protonvpn/p8m) (Remote host closed the connection)
2021-01-20 01:50:27 +0100p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-01-20 01:51:00 +0100former_ocamler(3263cbdb@50.99.203.219)
2021-01-20 01:52:57 +0100jedws(~jedws@121.209.139.157)
2021-01-20 01:56:06 +0100Dominick(Dominick@cpe-66-65-179-161.nyc.res.rr.com) ()
2021-01-20 01:56:32 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2021-01-20 01:57:31 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-20 01:57:56 +0100Ranhir(~Ranhir@157.97.53.139) (Ping timeout: 240 seconds)
2021-01-20 02:00:23 +0100shatriff_(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-20 02:01:06 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-20 02:01:12 +0100WzC(~Frank@77-162-168-71.fixed.kpn.net)
2021-01-20 02:01:25 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-01-20 02:01:56 +0100thc202(~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds)
2021-01-20 02:02:27 +0100jdt_(~jdt@208.85.233.130)
2021-01-20 02:02:32 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-01-20 02:02:33 +0100comerijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-20 02:02:41 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds)
2021-01-20 02:02:41 +0100jedws(~jedws@121.209.139.157) (Ping timeout: 256 seconds)
2021-01-20 02:02:41 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-01-20 02:02:41 +0100jdt(~jdt@208.85.233.130) (Ping timeout: 256 seconds)
2021-01-20 02:02:42 +0100ADG1089__(~aditya@223.226.159.22) (Remote host closed the connection)
2021-01-20 02:02:45 +0100ADG1089_(~aditya@223.226.159.22)
2021-01-20 02:02:46 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Ping timeout: 256 seconds)
2021-01-20 02:02:46 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 256 seconds)
2021-01-20 02:02:46 +0100Deewiant(~deewiant@de1.ut.deewiant.iki.fi) (Ping timeout: 256 seconds)
2021-01-20 02:02:54 +0100jedws(~jedws@121.209.139.157)
2021-01-20 02:03:04 +0100Deewiant(~deewiant@de1.ut.deewiant.iki.fi)
2021-01-20 02:03:20 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-01-20 02:03:20 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds)
2021-01-20 02:03:20 +0100WarzoneCommand(~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 256 seconds)
2021-01-20 02:03:20 +0100statusfailed(~statusfai@statusfailed.com) (Ping timeout: 256 seconds)
2021-01-20 02:03:34 +0100statusfailed(~statusfai@statusfailed.com)
2021-01-20 02:03:36 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-01-20 02:03:39 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-01-20 02:03:55 +0100Lord_of_Life_Lord_of_Life
2021-01-20 02:04:51 +0100conal(~conal@64.71.133.70)
2021-01-20 02:05:03 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-01-20 02:05:32 +0100conal(~conal@64.71.133.70)
2021-01-20 02:05:46 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-01-20 02:06:36 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-20 02:06:43 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-01-20 02:07:01 +0100 <epicte7us> I have a function that takes a record object and an accessor for it. I can use the accessor to get a record out, but how do I get the modified record back into the updated object?
2021-01-20 02:07:48 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-20 02:08:15 +0100dolio(~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-20 02:08:26 +0100 <Axman6> sadly record field accessors aren't first class values, this is oneof the many problems lens exists to solve
2021-01-20 02:08:59 +0100 <epicte7us> ah, I suspected that. Thank you
2021-01-20 02:09:22 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-20 02:09:31 +0100 <Axman6> the function you've described is called "over" in lens land, (a.k.a %~)
2021-01-20 02:09:33 +0100 <Axman6> :t over
2021-01-20 02:09:34 +0100 <lambdabot> ASetter s t a b -> (a -> b) -> s -> t
2021-01-20 02:10:23 +0100 <Axman6> given a lensy thing which can set b's within a t given a's from an s, apply a function of type a -> b to the a's in a given s, and return a t
2021-01-20 02:10:25 +0100former_ocamler(3263cbdb@50.99.203.219) (Ping timeout: 248 seconds)
2021-01-20 02:11:36 +0100dolio(~dolio@haskell/developer/dolio)
2021-01-20 02:11:44 +0100Ranhir(~Ranhir@157.97.53.139)
2021-01-20 02:12:07 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Ping timeout (120 seconds))
2021-01-20 02:13:04 +0100conal(~conal@64.71.133.70)
2021-01-20 02:13:33 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-20 02:15:40 +0100ADG1089_(~aditya@223.226.159.22) (Remote host closed the connection)
2021-01-20 02:15:58 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-01-20 02:16:21 +0100columbarius(~columbari@mue-88-130-54-057.dsl.tropolys.de) (Ping timeout: 246 seconds)
2021-01-20 02:16:21 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net) (Ping timeout: 246 seconds)
2021-01-20 02:17:22 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-20 02:17:23 +0100Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 260 seconds)
2021-01-20 02:17:31 +0100 <Axman6> > [("Hello",True),("world",False)] & each . _1 % map toUpper
2021-01-20 02:17:33 +0100 <lambdabot> error:
2021-01-20 02:17:33 +0100 <lambdabot> • Couldn't match expected type ‘[([Char], Bool)] -> b’
2021-01-20 02:17:33 +0100 <lambdabot> with actual type ‘Ratio ((a1 -> f0 b1) -> s0 -> f0 t0)’
2021-01-20 02:17:51 +0100 <Axman6> % [("Hello",True),("world",False)] & each . _1 % map toUpper
2021-01-20 02:17:52 +0100 <yahb> Axman6: ; <interactive>:29:36: error:; * Couldn't match expected type `[([Char], Bool)] -> b' with actual type `Ratio ((a1 -> f0 b1) -> s0 -> f0 t0)'; * Possible cause: `(%)' is applied to too many arguments; In the second argument of `(&)', namely `each . _1 % map toUpper'; In the expression: [("Hello", True), ("world", False)] & each . _1 % map toUpper; In an equation for `it': it =
2021-01-20 02:18:00 +0100 <Axman6> % [("Hello",True),("world",False)] & each . _1 %~ map toUpper
2021-01-20 02:18:00 +0100 <yahb> Axman6: [("HELLO",True),("WORLD",False)]
2021-01-20 02:18:04 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-01-20 02:18:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-20 02:18:27 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-20 02:18:54 +0100columbarius(~columbari@muedsl-82-207-236-252.citykom.de)
2021-01-20 02:21:06 +0100Benzi-Junior(~BenziJuni@88-149-65-135.du.xdsl.is) (Remote host closed the connection)
2021-01-20 02:21:28 +0100Benzi-Junior(~BenziJuni@88-149-65-135.du.xdsl.is)
2021-01-20 02:21:56 +0100mmmattyx(uid17782@gateway/web/irccloud.com/x-bvruurhqwoxqskjs) (Quit: Connection closed for inactivity)
2021-01-20 02:24:43 +0100 <Axman6> % [("Hello",True),("world",False)] & each . _1 . folded . ifiltered (\i _ -> even i) %~ toUpper
2021-01-20 02:24:43 +0100 <yahb> Axman6: ; <interactive>:31:48: error:; * No instance for (Contravariant Identity) arising from a use of `folded'; * In the first argument of `(.)', namely `folded'; In the second argument of `(.)', namely `folded . ifiltered (\ i _ -> even i)'; In the second argument of `(.)', namely `_1 . folded . ifiltered (\ i _ -> even i)'
2021-01-20 02:25:04 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 02:28:30 +0100 <Axman6> % [("Hello",True),("world",False)] & each . _1 . indexing each . ifiltered (\i _ -> even i) %~ toUpper
2021-01-20 02:28:30 +0100 <yahb> Axman6: [("HeLlO",True),("WoRlD",False)]
2021-01-20 02:29:24 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 256 seconds)
2021-01-20 02:30:22 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-01-20 02:30:55 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-20 02:31:25 +0100comerijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-20 02:33:26 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
2021-01-20 02:33:50 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-01-20 02:34:00 +0100 <Axman6> % :t ipartsOf template
2021-01-20 02:34:00 +0100 <yahb> Axman6: ; <interactive>:1:10: error:; * Couldn't match type `Indexed i0 a (Control.Lens.Internal.Bazaar.BazaarT (Indexed i0) f a a a)' with `a0 -> Control.Lens.Internal.Bazaar.BazaarT (Indexed i0) f a a a0'; Expected type: Traversing (Indexed i0) f t t a a; Actual type: (a0 -> Control.Lens.Internal.Bazaar.BazaarT (Indexed i0) f a a a0) -> t -> Control.Lens.Internal.Bazaar.BazaarT (Indexed i0
2021-01-20 02:35:11 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 02:36:24 +0100mmmattyx(uid17782@gateway/web/irccloud.com/x-gwzbkckhhfkuvffv)
2021-01-20 02:37:26 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Client Quit)
2021-01-20 02:37:28 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Ping timeout (120 seconds))
2021-01-20 02:39:38 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-01-20 02:39:43 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 265 seconds)
2021-01-20 02:39:55 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection)
2021-01-20 02:40:09 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135)
2021-01-20 02:40:42 +0100ransom(~c4264035@8.48.134.30)
2021-01-20 02:41:47 +0100Noldorin(~noldorin@unaffiliated/noldorin)
2021-01-20 02:42:40 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-20 02:43:59 +0100Vq(~vq@90-227-195-41-no77.tbcn.telia.com) (Ping timeout: 258 seconds)
2021-01-20 02:44:52 +0100Vq(~vq@90-227-195-41-no77.tbcn.telia.com)
2021-01-20 02:45:42 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-01-20 02:47:39 +0100epicte7us(~epictetus@ip184-187-162-163.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-01-20 02:48:06 +0100ransom(~c4264035@8.48.134.30) (Ping timeout: 256 seconds)
2021-01-20 02:48:28 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-20 02:49:00 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-01-20 02:49:20 +0100matryoshka(~matryoshk@184.75.223.227)
2021-01-20 02:49:24 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-20 02:49:52 +0100shatriff_(~vitaliish@176-52-216-242.irishtelecom.com) (Ping timeout: 265 seconds)
2021-01-20 02:50:13 +0100matryoshka(~matryoshk@184.75.223.227) (Client Quit)
2021-01-20 02:50:45 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds)
2021-01-20 02:51:16 +0100dorkside(~tdbgamer@208.190.197.222)
2021-01-20 02:51:35 +0100ransom(~c4264035@c-67-176-3-106.hsd1.co.comcast.net)
2021-01-20 02:52:56 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-20 02:53:31 +0100hexfive(~hexfive@50.35.83.177)
2021-01-20 02:54:04 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-01-20 02:54:20 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-01-20 02:55:45 +0100conal(~conal@64.71.133.70)
2021-01-20 02:56:06 +0100rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo)
2021-01-20 02:56:19 +0100rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2021-01-20 02:57:03 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-01-20 02:58:12 +0100jackk_Doe(~jackk@205.178.111.134)
2021-01-20 02:58:32 +0100jollygood2(~bc8134e3@217.29.117.252)
2021-01-20 02:58:59 +0100 <jollygood2> hi. am I confusing haskell and rust, becauze I could swear haskell has extension similar to this one, that allows matching more than one value in pattern match. https://doc.rust-lang.org/book/ch18-03-pattern-syntax.html#multiple-patterns
2021-01-20 02:59:05 +0100 <jollygood2> because*
2021-01-20 02:59:28 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-20 03:00:21 +0100 <jackk_Doe> are you thinking about guards in haskell
2021-01-20 03:00:38 +0100rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Client Quit)
2021-01-20 03:00:55 +0100rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2021-01-20 03:01:13 +0100 <ski> jollygood2 : sadly no disjunction / or- patterns in Haskell
2021-01-20 03:02:20 +0100 <jackk_Doe> you could use guards
2021-01-20 03:02:34 +0100 <ski> depends
2021-01-20 03:02:58 +0100Codaraxis__(~Codaraxis@91.193.4.20)
2021-01-20 03:03:54 +0100frankdmartinez(~frankdmar@208.91.107.132)
2021-01-20 03:04:32 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-01-20 03:06:24 +0100Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 246 seconds)
2021-01-20 03:12:01 +0100cgfuh(~cgfuh@181.167.191.58) (Quit: WeeChat 2.9)
2021-01-20 03:14:50 +0100Wuzzy(~Wuzzy@p549c9ab1.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-01-20 03:16:34 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 272 seconds)
2021-01-20 03:16:51 +0100Noldorin(~noldorin@unaffiliated/noldorin) (Quit: Textual IRC Client: www.textualapp.com)
2021-01-20 03:17:06 +0100fosterite(~fosterite@2600:6c46:7800:fecf:10fd:6431:b9b6:806f)
2021-01-20 03:17:44 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-01-20 03:18:52 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2021-01-20 03:19:50 +0100fosterite(~fosterite@2600:6c46:7800:fecf:10fd:6431:b9b6:806f) (Client Quit)
2021-01-20 03:20:05 +0100Ayo(~quassel@82.177.83.189) (Ping timeout: 240 seconds)
2021-01-20 03:21:20 +0100loli(~loli@024-171-017-003.res.spectrum.com) (Quit: WeeChat 3.0)
2021-01-20 03:22:39 +0100columbarius(~columbari@muedsl-82-207-236-252.citykom.de) (Quit: columbarius)
2021-01-20 03:23:28 +0100jedws(~jedws@121.209.139.157) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-20 03:23:34 +0100loli(~loli@024-171-017-003.res.spectrum.com)
2021-01-20 03:24:43 +0100fosterite(~fosterite@2600:6c46:7800:fecf:10fd:6431:b9b6:806f)
2021-01-20 03:27:13 +0100jedws(~jedws@121.209.139.157)
2021-01-20 03:28:06 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-20 03:28:27 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-20 03:29:30 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-01-20 03:30:06 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-20 03:31:28 +0100jedws(~jedws@121.209.139.157) (Client Quit)
2021-01-20 03:34:13 +0100former_ocamler(3263cbdb@50.99.203.219)
2021-01-20 03:34:44 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-01-20 03:34:45 +0100 <former_ocamler> anyone know an easy way of mapping a STUArray?
2021-01-20 03:35:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-20 03:35:26 +0100 <former_ocamler> actually nvm what i'm trying to do is not map
2021-01-20 03:37:33 +0100 <former_ocamler> is there a way to iterate through all indices of an STUArray inside of a mapM_?
2021-01-20 03:39:31 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-01-20 03:40:55 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-20 03:42:59 +0100 <dibblego> I'd use a traversal for that
2021-01-20 03:44:54 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds)
2021-01-20 03:46:25 +0100brisbin(~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 265 seconds)
2021-01-20 03:46:51 +0100xff0x_(~xff0x@2001:1a81:522c:a800:ae0c:654f:160c:79b4) (Ping timeout: 272 seconds)
2021-01-20 03:48:38 +0100xff0x_(~xff0x@2001:1a81:5251:4200:83c1:52fa:698b:ef1c)
2021-01-20 03:53:31 +0100conal(~conal@64.71.133.70)
2021-01-20 03:53:31 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-01-20 03:54:24 +0100conal(~conal@64.71.133.70)
2021-01-20 03:54:31 +0100ukari(~ukari@unaffiliated/ukari)
2021-01-20 03:54:36 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-01-20 03:54:43 +0100ransom(~c4264035@c-67-176-3-106.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-20 04:00:20 +0100ADG1089_(~adg1089@223.226.159.22)
2021-01-20 04:05:51 +0100mirrorbird(~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) (Ping timeout: 272 seconds)
2021-01-20 04:08:45 +0100 <former_ocamler> anyone know an easy way to parse something like this:
2021-01-20 04:08:45 +0100 <former_ocamler> 2
2021-01-20 04:08:46 +0100 <former_ocamler> 5
2021-01-20 04:08:46 +0100 <former_ocamler> 2
2021-01-20 04:08:47 +0100 <former_ocamler> 1 2
2021-01-20 04:08:47 +0100 <former_ocamler> 3 4
2021-01-20 04:08:48 +0100 <former_ocamler> 2
2021-01-20 04:08:48 +0100 <former_ocamler> 1
2021-01-20 04:08:49 +0100 <former_ocamler> 1 0
2021-01-20 04:08:53 +0100rajivr(uid269651@gateway/web/irccloud.com/x-tobxwiwsbuagpqwc)
2021-01-20 04:09:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-20 04:09:14 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-01-20 04:09:41 +0100 <former_ocamler> anyone know how to parse string where its like: first line indicates number of test cases, next line is p number of pairs, next p lines describe each pair... etc
2021-01-20 04:10:05 +0100 <former_ocamler> easy way of doing this ^
2021-01-20 04:13:51 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-20 04:18:46 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-01-20 04:19:00 +0100plutoniix(~q@ppp-223-24-165-135.revip6.asianet.co.th)
2021-01-20 04:19:00 +0100plutoniix(~q@ppp-223-24-165-135.revip6.asianet.co.th) (Client Quit)
2021-01-20 04:19:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-20 04:19:26 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-20 04:19:29 +0100plutoniix(~q@node-urh.pool-125-24.dynamic.totinternet.net)
2021-01-20 04:22:51 +0100Saukk(~Saukk@83-148-239-3.dynamic.lounea.fi)
2021-01-20 04:23:58 +0100ystael(~ystael@209.6.50.55) (Ping timeout: 260 seconds)
2021-01-20 04:26:45 +0100former_ocamler(3263cbdb@50.99.203.219) (Quit: Ping timeout (120 seconds))
2021-01-20 04:27:34 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-01-20 04:29:50 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-01-20 04:31:44 +0100hacxman(~hexo@gateway/tor-sasl/hexo)
2021-01-20 04:31:48 +0100sorki(~sorki@gateway/tor-sasl/sorki)
2021-01-20 04:32:05 +0100srk(~sorki@gateway/tor-sasl/sorki) (Ping timeout: 268 seconds)
2021-01-20 04:33:19 +0100hexo(~hexo@gateway/tor-sasl/hexo) (Ping timeout: 268 seconds)
2021-01-20 04:33:20 +0100hacxmanhexo
2021-01-20 04:34:42 +0100sorkisrk
2021-01-20 04:35:02 +0100acidjnk_new(~acidjnk@p200300d0c704e732989dd075055fe92d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-01-20 04:35:24 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 04:35:48 +0100 <jackk_Doe> :former_ocamler use parsec and just parse it all as one piece where you parse newlines too
2021-01-20 04:37:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-20 04:37:11 +0100 <Axman6> they left
2021-01-20 04:37:23 +0100theDon(~td@94.134.91.134) (Ping timeout: 264 seconds)
2021-01-20 04:38:46 +0100theDon(~td@94.134.91.113)
2021-01-20 04:39:50 +0100st8less(~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9)
2021-01-20 04:40:04 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 265 seconds)
2021-01-20 04:42:19 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-01-20 04:43:18 +0100DataComputist(~lumeng@50.43.26.251) (Quit: Leaving...)
2021-01-20 04:43:55 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection)
2021-01-20 04:47:12 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-20 04:47:29 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 2.9)
2021-01-20 04:47:32 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-20 04:49:23 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 264 seconds)
2021-01-20 04:50:35 +0100xirhtogal(~lagothrix@unaffiliated/lagothrix)
2021-01-20 04:50:35 +0100lagothrixGuest86117
2021-01-20 04:50:35 +0100xirhtogallagothrix
2021-01-20 04:51:20 +0100vs^(vs@ip98-184-89-2.mc.at.cox.net) ()
2021-01-20 04:51:35 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-01-20 04:54:11 +0100Guest86117(~lagothrix@unaffiliated/lagothrix) (Ping timeout: 264 seconds)
2021-01-20 04:56:01 +0100ADG1089_(~adg1089@223.226.159.22) (Ping timeout: 265 seconds)
2021-01-20 04:56:10 +0100ADG1089_(~adg1089@183.83.46.180)
2021-01-20 04:58:13 +0100jedws(~jedws@121.209.139.157)
2021-01-20 04:58:39 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 05:01:40 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net)
2021-01-20 05:01:50 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-01-20 05:01:56 +0100mmmattyx(uid17782@gateway/web/irccloud.com/x-gwzbkckhhfkuvffv) (Quit: Connection closed for inactivity)
2021-01-20 05:02:58 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 256 seconds)
2021-01-20 05:04:20 +0100Rudd0(~Rudd0@185.189.115.103)
2021-01-20 05:06:11 +0100ADG1089_(~adg1089@183.83.46.180) (Ping timeout: 264 seconds)
2021-01-20 05:06:21 +0100ADG1089_(~adg1089@171.76.179.61)
2021-01-20 05:08:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-20 05:11:39 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-20 05:12:41 +0100 <gentauro> Axman6: `former_ocamler` probably went back to OCaml xD
2021-01-20 05:15:05 +0100 <MarcelineVQ> he's been in and out a couple times
2021-01-20 05:16:33 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-20 05:17:10 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-20 05:18:25 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-01-20 05:20:53 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection)
2021-01-20 05:21:15 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135)
2021-01-20 05:23:13 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds)
2021-01-20 05:23:39 +0100bi_functor(~bi_functo@192-0-134-138.cpe.teksavvy.com)
2021-01-20 05:26:01 +0100nineonine(~nineonine@50.216.62.2)
2021-01-20 05:28:59 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-01-20 05:29:55 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-acrnjrwxdlolicbl)
2021-01-20 05:33:57 +0100Nahra(~Nahra@unaffiliated/nahra)
2021-01-20 05:36:26 +0100dandart(~Thunderbi@home.dandart.co.uk)
2021-01-20 05:39:05 +0100gzj(~gzj@unaffiliated/gzj) (Read error: Connection reset by peer)
2021-01-20 05:39:26 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-20 05:40:47 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-01-20 05:42:52 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-01-20 05:44:08 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-01-20 05:45:30 +0100adeene(~adeene@181.131.0.191)
2021-01-20 05:48:53 +0100harisamin(~harisamin@cpe-67-245-61-239.nyc.res.rr.com) (Remote host closed the connection)
2021-01-20 05:52:18 +0100zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-01-20 05:55:56 +0100fosterite(~fosterite@2600:6c46:7800:fecf:10fd:6431:b9b6:806f) ()
2021-01-20 05:58:32 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-mltnmesrnwlhjcud)
2021-01-20 06:02:43 +0100dandart(~Thunderbi@home.dandart.co.uk) (Ping timeout: 265 seconds)
2021-01-20 06:02:48 +0100Nahra(~Nahra@unaffiliated/nahra) (Quit: leaving)
2021-01-20 06:04:01 +0100bitmagie(~Thunderbi@200116b806940a00a0c647359aec15c6.dip.versatel-1u1.de)
2021-01-20 06:04:25 +0100GZJ0X_(~gzj@unaffiliated/gzj)
2021-01-20 06:04:42 +0100gzj(~gzj@unaffiliated/gzj) (Read error: Connection reset by peer)
2021-01-20 06:05:53 +0100infinity0(~infinity0@freenet/developer/infinity0) (Ping timeout: 246 seconds)
2021-01-20 06:06:06 +0100zebrag(~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-01-20 06:09:55 +0100infinity0(~infinity0@freenet/developer/infinity0)
2021-01-20 06:09:58 +0100bi_functor(~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 265 seconds)
2021-01-20 06:11:30 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-20 06:14:29 +0100rbtEngrDude(~gankoji@ip70-162-69-199.ph.ph.cox.net)
2021-01-20 06:14:36 +0100jedws(~jedws@121.209.139.157) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-20 06:15:00 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-20 06:16:19 +0100ADG1089__(~aditya@223.226.159.22)
2021-01-20 06:16:39 +0100jollygood2(~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (EOF))
2021-01-20 06:16:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-01-20 06:17:09 +0100hyiltiz(~quassel@unaffiliated/hyiltiz) (Quit: hyiltiz)
2021-01-20 06:17:22 +0100ADG1089_(~adg1089@171.76.179.61) (Read error: Connection reset by peer)
2021-01-20 06:17:46 +0100ADG1089_(~adg1089@223.226.159.22)
2021-01-20 06:20:03 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-01-20 06:22:28 +0100ransom(~c4264035@c-73-243-2-10.hsd1.co.comcast.net)
2021-01-20 06:22:34 +0100nineonin_(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-20 06:24:18 +0100ransom(~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Client Quit)
2021-01-20 06:25:11 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 246 seconds)
2021-01-20 06:26:18 +0100bitmagie(~Thunderbi@200116b806940a00a0c647359aec15c6.dip.versatel-1u1.de) (Quit: bitmagie)
2021-01-20 06:28:10 +0100conal(~conal@64.71.133.70)
2021-01-20 06:29:55 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-rjsiiowahomjgmcc) ()
2021-01-20 06:31:37 +0100mirrorbird(~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0)
2021-01-20 06:33:35 +0100nineonin_(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2021-01-20 06:34:13 +0100nineonine(~nineonine@50.216.62.2)
2021-01-20 06:34:34 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-01-20 06:36:26 +0100ixaxaar(~ixaxaar@49.207.210.215)
2021-01-20 06:39:43 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-01-20 06:39:59 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-20 06:40:23 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 264 seconds)
2021-01-20 06:40:54 +0100pavonia(~user@unaffiliated/siracusa)
2021-01-20 06:42:47 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 264 seconds)
2021-01-20 06:44:44 +0100nineonin_(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-20 06:47:40 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 265 seconds)
2021-01-20 06:49:58 +0100Saukk(~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection)
2021-01-20 06:51:15 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-20 06:53:09 +0100coot(~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl)
2021-01-20 07:02:09 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-01-20 07:02:32 +0100frankdmartinez(~frankdmar@208.91.107.132) (Ping timeout: 256 seconds)
2021-01-20 07:02:45 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-20 07:05:43 +0100zaquest(~notzaques@5.128.210.178)
2021-01-20 07:07:14 +0100sgibber2018(d055ed90@208.85.237.144)
2021-01-20 07:09:30 +0100ChrisMarquardt(~ChrisMarq@84.39.116.180)
2021-01-20 07:15:16 +0100knupfer(~Thunderbi@200116b82ca7d100940d25b60b6ef386.dip.versatel-1u1.de)
2021-01-20 07:18:20 +0100hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-01-20 07:25:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-01-20 07:27:38 +0100 <koz_> current_ocamler?
2021-01-20 07:28:45 +0100 <sshine> does anyone know how to parse these 800 numbers?
2021-01-20 07:28:45 +0100 <sshine> 5
2021-01-20 07:28:46 +0100 <sshine> 3
2021-01-20 07:28:48 +0100 <sshine> (just kidding)
2021-01-20 07:28:59 +0100thunderrd(~thunderrd@183.182.115.7) (Remote host closed the connection)
2021-01-20 07:29:13 +0100 <sshine> good morning gentauro :) you're up early / in late?
2021-01-20 07:30:05 +0100 <siraben> sshine: haha
2021-01-20 07:30:07 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-01-20 07:30:25 +0100mirrorbird(~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) (Ping timeout: 272 seconds)
2021-01-20 07:30:29 +0100 <siraben> morning to you too sshine
2021-01-20 07:31:25 +0100 <sshine> hello siraben!
2021-01-20 07:32:24 +0100sword865(uid208942@gateway/web/irccloud.com/x-knjuaxqfvgvongbx)
2021-01-20 07:33:35 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-01-20 07:36:45 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 07:38:56 +0100nineonin_(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2021-01-20 07:39:10 +0100 <gentauro> sshine: for the time being I'm sleeping only 4 hours a day :(
2021-01-20 07:39:48 +0100 <sshine> gentauro, too much work or can't fall asleep?
2021-01-20 07:41:19 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 265 seconds)
2021-01-20 07:41:26 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-20 07:41:28 +0100 <gentauro> I have no clue
2021-01-20 07:41:28 +0100 <gentauro> :|
2021-01-20 07:41:33 +0100 <gentauro> but is not work :)
2021-01-20 07:41:48 +0100ChrisMarquardt(~ChrisMarq@84.39.116.180) (Remote host closed the connection)
2021-01-20 07:43:32 +0100plutoniix(~q@node-urh.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
2021-01-20 07:44:13 +0100 <gentauro> sshine: but good morning :)
2021-01-20 07:46:22 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-01-20 07:46:23 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 260 seconds)
2021-01-20 07:49:06 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-acrnjrwxdlolicbl) (Quit: Connection closed for inactivity)
2021-01-20 07:50:11 +0100Criggie1(~Criggie@195.140.213.38)
2021-01-20 07:50:59 +0100 <sshine> gentauro, have you tried valerian or melatonin?
2021-01-20 07:53:13 +0100sgibber2018(d055ed90@208.85.237.144) (Quit: Ping timeout (120 seconds))
2021-01-20 07:53:32 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-20 07:53:48 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 07:56:11 +0100 <MarcelineVQ> or not being stressed
2021-01-20 07:57:08 +0100 <sshine> that reminds me of the "stop being poor" t-shirt meme :-P
2021-01-20 07:57:15 +0100knupfer(~Thunderbi@200116b82ca7d100940d25b60b6ef386.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2021-01-20 07:58:10 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-01-20 07:58:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-01-20 07:58:43 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 265 seconds)
2021-01-20 08:00:34 +0100 <MarcelineVQ> I always wanted one of those, but I couldn't afford it
2021-01-20 08:01:33 +0100phasespace_(~sar@89-162-33-21.fiber.signal.no) (Ping timeout: 272 seconds)
2021-01-20 08:01:40 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 08:02:02 +0100 <sshine> I lay restless at night thinking about getting one.
2021-01-20 08:02:33 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-01-20 08:02:34 +0100 <MarcelineVQ> chewing bitter and smelly valerian root, ruminating if you will, on the subject
2021-01-20 08:03:15 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2021-01-20 08:06:17 +0100 <gentauro> stressed?
2021-01-20 08:07:08 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 256 seconds)
2021-01-20 08:07:20 +0100 <MarcelineVQ> the most common cause of short sleep cycles
2021-01-20 08:09:52 +0100 <MarcelineVQ> since insomnia is one of the methods humans fall in to as a futile attempt of avoiding being surprised by the coming day
2021-01-20 08:10:23 +0100loller_(uid358106@gateway/web/irccloud.com/x-vgqodrfefzyzpwaq) (Quit: Connection closed for inactivity)
2021-01-20 08:12:06 +0100 <sshine> I do 報復性熬夜 bàofùxìng áoyè revenge bedtime procrastination every Sunday because I stacked my Monday so high.
2021-01-20 08:12:54 +0100 <MarcelineVQ> yes
2021-01-20 08:13:05 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred)
2021-01-20 08:13:31 +0100rbtEngrDude(~gankoji@ip70-162-69-199.ph.ph.cox.net) (Quit: Leaving)
2021-01-20 08:13:43 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-20 08:14:32 +0100 <sshine> but I see that as some kind of unreasonable negotion practice, rather than not being able to fall asleep for no good reason.
2021-01-20 08:15:30 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2021-01-20 08:15:36 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-20 08:15:38 +0100 <MarcelineVQ> there's never a good reason to not being able to fall asleep, sleep is one of the 5 best activities a person can enjoy
2021-01-20 08:16:10 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-20 08:16:26 +0100 <sshine> there are lots of good reasons. but there's never a good reason to not get enough sleep for extended periods of time.
2021-01-20 08:16:53 +0100 <MarcelineVQ> Name one
2021-01-20 08:17:04 +0100 <sshine> name a good reason to not fall asleep? I like to read. :)
2021-01-20 08:17:20 +0100 <MarcelineVQ> I thought you'd say something like, you're on fire
2021-01-20 08:17:25 +0100 <sshine> and I can't read tomorrow, because tomorrow is stacked, haha.
2021-01-20 08:17:36 +0100 <sshine> yeah I was actually gonna say "I'm getting eaten?"
2021-01-20 08:17:39 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-mltnmesrnwlhjcud) (Quit: Connection closed for inactivity)
2021-01-20 08:17:59 +0100 <MarcelineVQ> oh, well, there's all kinds in this world
2021-01-20 08:18:13 +0100 <sshine> but if you're on fire for an extended period of time, you're doing it wrong.
2021-01-20 08:18:13 +0100 <gentauro> 08:07 < MarcelineVQ> the most common cause of short sleep cycles
2021-01-20 08:18:20 +0100 <gentauro> MarcelineVQ: I guess it has to do with age?
2021-01-20 08:18:31 +0100 <gentauro> I noticed that the older I get, the less time I use to sleep
2021-01-20 08:18:39 +0100 <gentauro> it happened to my pops as well
2021-01-20 08:18:45 +0100 <sshine> gentauro, you don't reach 4 hours until you're like 80.
2021-01-20 08:18:51 +0100 <gentauro> and other "old" people I have asked, they say the same
2021-01-20 08:18:55 +0100 <MarcelineVQ> You'r not thaat old though, I can tell
2021-01-20 08:19:07 +0100 <gentauro> sshine: I don't expect to live 80 years in the first place :P
2021-01-20 08:19:15 +0100 <sshine> gentauro, my dad slept at most 5 hours when he was 80. but at 30-40 you still need roughly 8 hours, 7 will do. :)
2021-01-20 08:19:16 +0100 <MarcelineVQ> no one does
2021-01-20 08:19:38 +0100 <sshine> gentauro, have you considered amphetamines then?
2021-01-20 08:19:43 +0100 <gentauro> sshine: I tend to do a 4 + 1
2021-01-20 08:19:51 +0100 <gentauro> 4 hours at night and 1 hour of siesta
2021-01-20 08:19:57 +0100gentaurosiestas are mandatory
2021-01-20 08:20:10 +0100 <sshine> sounds painful
2021-01-20 08:20:16 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-01-20 08:20:32 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds)
2021-01-20 08:21:05 +0100 <sshine> also it sounds like it's something you do because you can only sleep 4 hours a day, so I don't see the point in justifying this as much as involuntarily adapting to it. :)
2021-01-20 08:21:45 +0100phasespace_(~sar@80-89-47-117.inet.signal.no)
2021-01-20 08:23:52 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-01-20 08:23:57 +0100krotkin(4ca491c9@76.164.145.201)
2021-01-20 08:24:47 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-01-20 08:25:23 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 08:26:11 +0100 <sshine> I'd not aim for <7 hours a day on average and call it healthy, given my age and life expectancy goals.
2021-01-20 08:26:22 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-01-20 08:27:00 +0100 <sshine> I just wanna hit 80 and not get alzheimers. :)
2021-01-20 08:27:47 +0100 <gentauro> sshine: as a spaniard, siestas are `mandatory`. If you don't sleep a siesta a day, you can risk loosing your passport (true story)
2021-01-20 08:28:06 +0100gentaurobtw, this is way way off-topic from Haskell, lets take it some other place
2021-01-20 08:28:32 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-01-20 08:28:34 +0100 <sshine> gentauro, sounds like you're putting in the hours for that dual citizenship. ;-)
2021-01-20 08:29:04 +0100 <gentauro> sshine: well I'ven always been able to do more with the same time as everybody else
2021-01-20 08:29:25 +0100 <gentauro> I got my MSc from DIKU in the estipulated time, combined with a full-time job
2021-01-20 08:29:36 +0100krotkin(4ca491c9@76.164.145.201) (Quit: Connection closed)
2021-01-20 08:29:39 +0100 <gentauro> sshine: you know how tough it is to get a degree from DIKU right?
2021-01-20 08:29:48 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 256 seconds)
2021-01-20 08:30:24 +0100gentauroI seem to forget how I did it. I mean, I was even able to go to the gym and train rugby 3 times a week …
2021-01-20 08:30:36 +0100 <gentauro> but again, this is too off-topic from #haskell
2021-01-20 08:31:35 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-20 08:31:54 +0100 <sshine> gentauro, yes, you've told me.
2021-01-20 08:31:56 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-01-20 08:32:24 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 08:32:31 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-01-20 08:32:35 +0100p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 264 seconds)
2021-01-20 08:32:56 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-01-20 08:36:55 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 256 seconds)
2021-01-20 08:41:56 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection)
2021-01-20 08:43:26 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 08:45:21 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 244 seconds)
2021-01-20 08:46:13 +0100frobnicator(~frobnicat@martlubbers.net)
2021-01-20 08:46:24 +0100asheshambasta(~user@ptr-e1lysaumlluc4k1o7mn.18120a2.ip6.access.telenet.be)
2021-01-20 08:46:39 +0100 <frobnicator> can you pattern match on expressions in haskell? I.e.: someFun x = if x =: Just _ then 42 else 38
2021-01-20 08:47:06 +0100GZJ0X_(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-20 08:47:27 +0100GZJ0X_(~gzj@unaffiliated/gzj)
2021-01-20 08:47:41 +0100djbeau(~dbeaureg@148.87.23.5) (Ping timeout: 256 seconds)
2021-01-20 08:48:01 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 265 seconds)
2021-01-20 08:48:58 +0100 <gentauro> frobnicator: try with `someFun (Just x) = …` and `someFun Nothing = …`
2021-01-20 08:49:01 +0100 <gentauro> that would do
2021-01-20 08:49:24 +0100 <gentauro> otherwise you need to use `case x of (Just _) -> 42 …`
2021-01-20 08:50:38 +0100 <frobnicator> okay, that is unfortuante
2021-01-20 08:50:41 +0100 <frobnicator> unfortunate*
2021-01-20 08:52:35 +0100Varis(~Tadas@unaffiliated/varis)
2021-01-20 08:53:40 +0100niekvandepas(~niekvande@2001:985:bebc:1:9458:ea67:4de:2943) (Remote host closed the connection)
2021-01-20 08:53:43 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 08:54:49 +0100 <lortabac> frobnicator: what's the difference between 'case x of' and the syntax you proposed?
2021-01-20 08:56:23 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-01-20 08:57:32 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-01-20 08:59:25 +0100jespada(~jespada@90.254.241.81) (Ping timeout: 240 seconds)
2021-01-20 09:00:14 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 246 seconds)
2021-01-20 09:00:32 +0100mirrorbird(~psutcliff@m83-187-176-118.cust.tele2.se)
2021-01-20 09:01:47 +0100 <gentauro> `match … with`?
2021-01-20 09:02:14 +0100jespada(~jespada@90.254.241.81)
2021-01-20 09:02:20 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 09:03:02 +0100xff0x_(~xff0x@2001:1a81:5251:4200:83c1:52fa:698b:ef1c) (Ping timeout: 264 seconds)
2021-01-20 09:03:41 +0100 <frobnicator> lortabac: the syntax I lent from Clean allows arbitrary pattern matching in expression
2021-01-20 09:03:49 +0100xff0x_(~xff0x@2001:1a81:5251:4200:44d:f0de:d3f6:fec0)
2021-01-20 09:03:59 +0100 <frobnicator> it doesn't span multiple lines (or requires ;) and is very succinct in genera
2021-01-20 09:04:01 +0100 <frobnicator> l
2021-01-20 09:04:21 +0100 <lortabac> interesting
2021-01-20 09:04:33 +0100 <frobnicator> and could very easily be implemented as syntactic sugar for a case expression
2021-01-20 09:04:49 +0100 <MarcelineVQ> fwiw case x of Just _ -> 42; _​ -> 38 is only 1 char longer than if x =: Just _ then 42 else 38 :>
2021-01-20 09:05:07 +0100 <frobnicator> the case expression is more powerful though, it allows naming of values
2021-01-20 09:05:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-20 09:05:44 +0100 <frobnicator> MarcelineVQ: yes, in this particular case, but what if you want to do: isJust x = x =: (Just _), or whatever, isJust is not a great example
2021-01-20 09:05:58 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer)
2021-01-20 09:06:06 +0100 <frobnicator> but this feature is useful if you have a larger function and don't want to pattern match on the top level
2021-01-20 09:06:24 +0100 <lortabac> if I understand correctly it's a boolean pattern-matching?
2021-01-20 09:06:37 +0100niekvandepas(~niekvande@2001:985:bebc:1:d465:9e01:d547:d5df)
2021-01-20 09:06:38 +0100 <frobnicator> yes, the lhs of the operator is an expression and the right hand side a pattern
2021-01-20 09:06:41 +0100 <frobnicator> and it returns a boolean
2021-01-20 09:06:41 +0100 <lortabac> it return True if it matches, and False otherwise
2021-01-20 09:06:46 +0100 <lortabac> ok
2021-01-20 09:07:24 +0100 <frobnicator> for example, if you have a tokeniser with some arbitrarily large token type and you want to match a certain token without having to define all these helper functions
2021-01-20 09:07:56 +0100 <frobnicator> or a parser that works on tokens, you can do something like: pSatisfy (=:(IntToken _))
2021-01-20 09:08:05 +0100 <frobnicator> and match an int token
2021-01-20 09:08:34 +0100 <frobnicator> I know you can derive these helpers if you want with template haskell for example, but still, I think it's quite elegatn
2021-01-20 09:08:42 +0100 <frobnicator> and doesn't require complex machinery
2021-01-20 09:08:45 +0100 <MarcelineVQ> I see, I've made something similar with TH once
2021-01-20 09:08:49 +0100 <MarcelineVQ> oh lel
2021-01-20 09:09:33 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-01-20 09:11:11 +0100niekvandepas(~niekvande@2001:985:bebc:1:d465:9e01:d547:d5df) (Ping timeout: 244 seconds)
2021-01-20 09:12:53 +0100 <idnar> with -XLambdaCase you can write someFun = \case Just _ -> 42; _ -> 38
2021-01-20 09:15:06 +0100GZJ0X_(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-20 09:15:10 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-20 09:15:27 +0100GZJ0X_(~gzj@unaffiliated/gzj)
2021-01-20 09:15:40 +0100howdoi(uid224@gateway/web/irccloud.com/x-axbmoogzhixorxhj) (Quit: Connection closed for inactivity)
2021-01-20 09:20:52 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-01-20 09:20:59 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection)
2021-01-20 09:21:22 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2021-01-20 09:22:40 +0100sgibber2018(d055ed90@208.85.237.144)
2021-01-20 09:27:11 +0100sgibber2018(d055ed90@208.85.237.144) (Client Quit)
2021-01-20 09:27:47 +0100niekvandepas(~niekvande@2001:985:bebc:1:d465:9e01:d547:d5df)
2021-01-20 09:28:03 +0100kritzefitz(~kritzefit@fw-front.credativ.com)
2021-01-20 09:28:32 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-20 09:28:47 +0100niekvandepas(~niekvande@2001:985:bebc:1:d465:9e01:d547:d5df) (Remote host closed the connection)
2021-01-20 09:28:54 +0100niekvandepas(~niekvande@2001:985:bebc:1:d465:9e01:d547:d5df)
2021-01-20 09:33:27 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-01-20 09:37:27 +0100mctpyt(~mctpyt@unaffiliated/mctpyt)
2021-01-20 09:38:09 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-01-20 09:38:23 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-01-20 09:38:32 +0100shatriff_(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-20 09:38:46 +0100mirrorbird_(~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0)
2021-01-20 09:38:56 +0100dorkside3(~tdbgamer@208.190.197.222)
2021-01-20 09:39:40 +0100cole-h_(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-01-20 09:39:52 +0100puffnfre-(~puffnfres@45.76.124.5)
2021-01-20 09:40:15 +0100cheater(~user@unaffiliated/cheater)
2021-01-20 09:40:16 +0100jespada_(~jespada@90.254.241.81)
2021-01-20 09:40:39 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-01-20 09:40:39 +0100puffnfresh_(~puffnfres@45.76.124.5) (Ping timeout: 256 seconds)
2021-01-20 09:40:39 +0100ADG1089__(~aditya@223.226.159.22) (Remote host closed the connection)
2021-01-20 09:40:39 +0100coot_(~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl)
2021-01-20 09:40:40 +0100jespada(~jespada@90.254.241.81) (Ping timeout: 256 seconds)
2021-01-20 09:40:40 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2021-01-20 09:40:40 +0100Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 256 seconds)
2021-01-20 09:40:40 +0100Ranhir(~Ranhir@157.97.53.139) (Ping timeout: 256 seconds)
2021-01-20 09:40:40 +0100thebnq(~bnq@herrokitty.com) (Ping timeout: 256 seconds)
2021-01-20 09:40:46 +0100thebnq(~bnq@herrokitty.com)
2021-01-20 09:40:49 +0100ADG1089(~aditya@223.226.159.22)
2021-01-20 09:40:59 +0100GZJ0X_(~gzj@unaffiliated/gzj) (Read error: Connection reset by peer)
2021-01-20 09:41:04 +0100Ranhir(~Ranhir@157.97.53.139)
2021-01-20 09:41:11 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-20 09:41:12 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 256 seconds)
2021-01-20 09:41:12 +0100mirrorbird(~psutcliff@m83-187-176-118.cust.tele2.se) (Ping timeout: 256 seconds)
2021-01-20 09:41:12 +0100Varis(~Tadas@unaffiliated/varis) (Ping timeout: 256 seconds)
2021-01-20 09:41:12 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 256 seconds)
2021-01-20 09:41:12 +0100zaquest(~notzaques@5.128.210.178) (Ping timeout: 256 seconds)
2021-01-20 09:41:12 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Ping timeout: 256 seconds)
2021-01-20 09:41:12 +0100dorkside(~tdbgamer@208.190.197.222) (Ping timeout: 256 seconds)
2021-01-20 09:41:12 +0100statusfailed(~statusfai@statusfailed.com) (Ping timeout: 256 seconds)
2021-01-20 09:41:12 +0100Deewiant(~deewiant@de1.ut.deewiant.iki.fi) (Ping timeout: 256 seconds)
2021-01-20 09:41:13 +0100otulp(~otulp@ti0187q162-6038.bb.online.no) (Ping timeout: 256 seconds)
2021-01-20 09:41:13 +0100dorkside3dorkside
2021-01-20 09:41:23 +0100Rudd0(~Rudd0@185.189.115.103)
2021-01-20 09:41:27 +0100otulp(~otulp@ti0187q162-6038.bb.online.no)
2021-01-20 09:41:29 +0100statusfailed(~statusfai@statusfailed.com)
2021-01-20 09:41:29 +0100Varis(~Tadas@unaffiliated/varis)
2021-01-20 09:41:30 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-01-20 09:41:30 +0100Deewiant(~deewiant@de1.ut.deewiant.iki.fi)
2021-01-20 09:41:35 +0100zaquest(~notzaques@5.128.210.178)
2021-01-20 09:41:46 +0100coot(~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 256 seconds)
2021-01-20 09:41:47 +0100coot_coot
2021-01-20 09:42:17 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection)
2021-01-20 09:45:09 +0100p-core(~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core)
2021-01-20 09:45:30 +0100p-core(~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56)
2021-01-20 09:53:36 +0100rkrishnan(~glenda@45.32.110.226)
2021-01-20 09:56:08 +0100frobnicator(~frobnicat@martlubbers.net) (Quit: WeeChat 1.6)
2021-01-20 09:56:53 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-01-20 09:57:13 +0100toast52(97c0a219@151.192.162.25)
2021-01-20 09:57:53 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-01-20 09:58:53 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-20 10:02:25 +0100angerman(sid209936@gateway/web/irccloud.com/x-xtkvrytwrycxizka) (Ping timeout: 272 seconds)
2021-01-20 10:02:42 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-20 10:02:49 +0100LKoen(~LKoen@16.175.9.109.rev.sfr.net)
2021-01-20 10:03:22 +0100angerman(sid209936@gateway/web/irccloud.com/x-wycnjozqcgtdbipa)
2021-01-20 10:04:09 +0100Ayo(~quassel@82.177.83.189)
2021-01-20 10:04:09 +0100dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2021-01-20 10:06:23 +0100rkrishnan(~glenda@45.32.110.226) (Ping timeout: 246 seconds)
2021-01-20 10:07:01 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds)
2021-01-20 10:09:18 +0100kuribas(~user@ptr-25vy0i9zig70h8qbxzi.18120a2.ip6.access.telenet.be)
2021-01-20 10:09:26 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-20 10:11:47 +0100Ayo(~quassel@82.177.83.189) (Read error: Connection reset by peer)
2021-01-20 10:12:38 +0100Ayo(~quassel@82.177.83.189)
2021-01-20 10:12:57 +0100xff0x_xff0x
2021-01-20 10:14:27 +0100cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds)
2021-01-20 10:15:48 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-01-20 10:16:32 +0100phaul(~phaul@ruby/staff/phaul) (Ping timeout: 246 seconds)
2021-01-20 10:16:41 +0100Jajik(xchlup2@gateway/shell/fi.muni.cz/x-bsesdxyajdvfiayr) (Quit: Ping timeout (120 seconds))
2021-01-20 10:16:54 +0100MasseR1(~MasseR@51.15.143.128)
2021-01-20 10:17:16 +0100Jajik(xchlup2@gateway/shell/fi.muni.cz/x-utvzwasupevpyrxa)
2021-01-20 10:17:36 +0100NGravity(csp@gateway/shell/xshellz/x-epmrghlaxfnvqxxx) (Ping timeout: 240 seconds)
2021-01-20 10:17:56 +0100vancz(~vancz@unaffiliated/vancz) (Remote host closed the connection)
2021-01-20 10:18:10 +0100pie_(~pie_bnc]@unaffiliated/pie-/x-0787662) (Remote host closed the connection)
2021-01-20 10:18:16 +0100stilgart(~Christoph@chezlefab.net) (Ping timeout: 240 seconds)
2021-01-20 10:18:16 +0100hodapp(~hodapp@react-ams-119225.antiddos.solutions) (Ping timeout: 240 seconds)
2021-01-20 10:18:23 +0100stilgart(~Christoph@chezlefab.net)
2021-01-20 10:18:25 +0100vnz_(~vnz@2001:bc8:604:94f::1)
2021-01-20 10:18:36 +0100quicksilver(~jules@roobarb.crazydogs.org) (Ping timeout: 240 seconds)
2021-01-20 10:18:37 +0100mawk(mawk@serveur.io) (Ping timeout: 240 seconds)
2021-01-20 10:18:37 +0100MasseR(~MasseR@51.15.143.128) (Ping timeout: 240 seconds)
2021-01-20 10:18:37 +0100MasseR1MasseR
2021-01-20 10:18:46 +0100stilgartGuest83406
2021-01-20 10:18:56 +0100vnz(~vnz@unaffiliated/vnz) (Ping timeout: 240 seconds)
2021-01-20 10:18:56 +0100tristanC(~tristanC@unaffiliated/tristanc) (Ping timeout: 240 seconds)
2021-01-20 10:18:56 +0100vnz_vnz
2021-01-20 10:18:57 +0100vnz(~vnz@2001:bc8:604:94f::1) (Changing host)
2021-01-20 10:18:57 +0100vnz(~vnz@unaffiliated/vnz)
2021-01-20 10:18:58 +0100mawk(znc@serveur.io)
2021-01-20 10:19:44 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds)
2021-01-20 10:19:49 +0100NGravity(csp@gateway/shell/xshellz/x-lfganywjcopmceof)
2021-01-20 10:19:56 +0100quicksilver(~jules@roobarb.crazydogs.org)
2021-01-20 10:20:04 +0100tristanC(~tristanC@unaffiliated/tristanc)
2021-01-20 10:20:09 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-01-20 10:20:13 +0100vancz(~vancz@unaffiliated/vancz)
2021-01-20 10:20:23 +0100pie_(~pie_bnc]@unaffiliated/pie-/x-0787662)
2021-01-20 10:20:42 +0100mouseghost(~draco@wikipedia/desperek)
2021-01-20 10:21:30 +0100hodapp(~hodapp@react-ams-119225.antiddos.solutions)
2021-01-20 10:21:48 +0100Franciman(~francesco@host-79-51-37-36.retail.telecomitalia.it)
2021-01-20 10:22:49 +0100phaul(~phaul@ruby/staff/phaul)
2021-01-20 10:25:05 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-20 10:25:17 +0100mouseghostdesperek
2021-01-20 10:25:25 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-01-20 10:26:14 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-20 10:31:14 +0100danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Quit: WeeChat 3.0)
2021-01-20 10:39:59 +0100knupfer(~Thunderbi@200116b82ca7d1005857bb5007b5f094.dip.versatel-1u1.de)
2021-01-20 10:42:40 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135)
2021-01-20 10:43:38 +0100Chousuke(oranenj@coffee.modeemi.fi) (Remote host closed the connection)
2021-01-20 10:44:10 +0100Chousuke(oranenj@coffee.modeemi.fi)
2021-01-20 10:47:31 +0100ubert(~Thunderbi@p200300ecdf1ee016ca5b76fffe29f233.dip0.t-ipconnect.de)
2021-01-20 10:48:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Ping timeout: 264 seconds)
2021-01-20 10:50:29 +0100pavonia(~user@unaffiliated/siracusa) (Ping timeout: 246 seconds)
2021-01-20 10:50:58 +0100mctpyt(~mctpyt@unaffiliated/mctpyt) (Quit: WeeChat 3.0)
2021-01-20 10:51:25 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-01-20 10:52:04 +0100pera(pera@gateway/vpn/mullvad/pera)
2021-01-20 10:56:09 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de)
2021-01-20 10:58:49 +0100Criggie1(~Criggie@195.140.213.38) (Remote host closed the connection)
2021-01-20 10:59:35 +0100Ayo(~quassel@82.177.83.189) (Ping timeout: 264 seconds)
2021-01-20 11:01:36 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-01-20 11:02:06 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-01-20 11:02:23 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-01-20 11:03:40 +0100hekkaidekapus](~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds)
2021-01-20 11:07:09 +0100__monty__(~toonn@unaffiliated/toonn)
2021-01-20 11:09:02 +0100pavonia(~user@unaffiliated/siracusa)
2021-01-20 11:10:09 +0100desperekmouseghost
2021-01-20 11:10:32 +0100xff0x(~xff0x@2001:1a81:5251:4200:44d:f0de:d3f6:fec0) (Ping timeout: 260 seconds)
2021-01-20 11:11:03 +0100xff0x(~xff0x@2001:1a81:5251:4200:d9c5:1c22:ae76:9406)
2021-01-20 11:11:41 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net)
2021-01-20 11:13:46 +0100p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-01-20 11:23:43 +0100MarkusH1(~MarkusH@104.254.90.235)
2021-01-20 11:26:40 +0100toast52(97c0a219@151.192.162.25) (Quit: Ping timeout (120 seconds))
2021-01-20 11:27:31 +0100ADG1089_(~adg1089@223.226.159.22) (Ping timeout: 265 seconds)
2021-01-20 11:29:15 +0100son0p(~son0p@181.58.39.182)
2021-01-20 11:29:52 +0100toast52(97c0a219@151.192.162.25)
2021-01-20 11:32:01 +0100ulidtko(~ulidtko@193.111.48.79)
2021-01-20 11:34:01 +0100ulidtko|k(~ulidtko@194.54.80.38)
2021-01-20 11:36:45 +0100ulidtko(~ulidtko@193.111.48.79) (Ping timeout: 240 seconds)
2021-01-20 11:38:01 +0100cgfuh(~cgfuh@181.167.191.58)
2021-01-20 11:40:01 +0100fendor(~fendor@77.119.128.37.wireless.dyn.drei.com)
2021-01-20 11:42:39 +0100plutoniix(~q@node-urh.pool-125-24.dynamic.totinternet.net)
2021-01-20 11:44:04 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135)
2021-01-20 11:47:14 +0100Nahra(~Nahra@unaffiliated/nahra)
2021-01-20 11:47:56 +0100Alleria(~textual@mskresolve-a.mskcc.org)
2021-01-20 11:48:02 +0100toast52(97c0a219@151.192.162.25) (Quit: Connection closed)
2021-01-20 11:48:11 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-01-20 11:48:19 +0100AlleriaGuest77787
2021-01-20 11:48:38 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Ping timeout: 264 seconds)
2021-01-20 11:49:21 +0100plutoniix(~q@node-urh.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
2021-01-20 11:53:49 +0100ixaxaar(~ixaxaar@49.207.210.215) (Ping timeout: 256 seconds)
2021-01-20 11:54:20 +0100carldd1(~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer)
2021-01-20 11:54:50 +0100carldd1(~carldd@90-224-49-113-no56.tbcn.telia.com)
2021-01-20 11:57:12 +0100Ayo(~quassel@82.177.83.189)
2021-01-20 11:58:05 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-20 11:58:27 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-01-20 12:01:54 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2021-01-20 12:03:41 +0100ixaxaar(~ixaxaar@49.207.210.215)
2021-01-20 12:04:56 +0100MarkusH1(~MarkusH@104.254.90.235) (Ping timeout: 240 seconds)
2021-01-20 12:08:49 +0100thc202(~thc202@unaffiliated/thc202)
2021-01-20 12:11:35 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2021-01-20 12:16:07 +0100cfricke(~cfricke@unaffiliated/cfricke) (Read error: Connection reset by peer)
2021-01-20 12:20:39 +0100sankarshan1(~sankarsha@185.163.110.126)
2021-01-20 12:22:09 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0)
2021-01-20 12:25:28 +0100berberman_(~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-20 12:25:55 +0100berberman(~berberman@unaffiliated/berberman)
2021-01-20 12:26:10 +0100tatooine-sunset(~botond@94-21-74-214.pool.digikabel.hu)
2021-01-20 12:27:19 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-01-20 12:28:41 +0100madjestic(~madjestic@86-88-72-244.fixed.kpn.net)
2021-01-20 12:35:13 +0100knupfer(~Thunderbi@200116b82ca7d1005857bb5007b5f094.dip.versatel-1u1.de) (Remote host closed the connection)
2021-01-20 12:35:26 +0100knupfer(~Thunderbi@200116b82ca7d10041dc4183956ef5af.dip.versatel-1u1.de)
2021-01-20 12:38:33 +0100Tops2(~Tobias@dyndsl-095-033-027-217.ewe-ip-backbone.de)
2021-01-20 12:39:32 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-20 12:43:58 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-20 12:43:58 +0100shatriff_(~vitaliish@176-52-216-242.irishtelecom.com) (Read error: Connection reset by peer)
2021-01-20 12:44:02 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds)
2021-01-20 12:44:14 +0100ph88(~ph88@2a02:8109:9e00:7e5c:3112:8fda:7030:5959)
2021-01-20 12:44:37 +0100hackagehedis 0.14.1 - Client library for the Redis datastore: supports full command set,pipelining. https://hackage.haskell.org/package/hedis-0.14.1 (k_bx)
2021-01-20 12:44:47 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135)
2021-01-20 12:48:31 +0100dandart(~Thunderbi@home.dandart.co.uk)
2021-01-20 12:49:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Ping timeout: 264 seconds)
2021-01-20 12:54:06 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-20 12:54:48 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-01-20 12:57:28 +0100 <Feuermagier> At the introduction of a section I'd like to have a short, annotated list of topics in the section. I'd like to link these to their corresponding subsections.
2021-01-20 12:58:04 +0100 <__monty__> Sounds like a TOC?
2021-01-20 12:58:42 +0100 <merijn> Context?
2021-01-20 12:59:17 +0100 <Feuermagier> __monty__, yeah, like a TOC, but with different titles
2021-01-20 12:59:22 +0100jedws(~jedws@121.209.139.157)
2021-01-20 12:59:51 +0100 <Feuermagier> oh, this isn't the latex channel, sry!
2021-01-20 13:01:18 +0100madjestic(~madjestic@86-88-72-244.fixed.kpn.net) (Remote host closed the connection)
2021-01-20 13:01:24 +0100 <Uniaika> :')
2021-01-20 13:01:36 +0100 <Uniaika> Feuermagier: note that you can make a TOC in your Haddocks for LaTeX :P
2021-01-20 13:01:50 +0100 <hc> well haskell is probably a superset of latex, but still the latex channel might know more ;p
2021-01-20 13:02:11 +0100 <Gurkenglas> Are lens libraries really the best way to get (a -> b) -> (a, c) -> (b, c) these days? :I
2021-01-20 13:02:44 +0100Ayo(~quassel@82.177.83.189) (Ping timeout: 265 seconds)
2021-01-20 13:03:06 +0100royal_screwup21(d5cdc66b@gateway/web/cgi-irc/kiwiirc.com/ip.213.205.198.107)
2021-01-20 13:04:11 +0100nly(~user@unaffiliated/nly)
2021-01-20 13:04:22 +0100 <Uniaika> Gurkenglas: this awfully looks like using first on a bifunctor
2021-01-20 13:04:23 +0100 <merijn> That's just first from Bifunctor
2021-01-20 13:04:25 +0100 <merijn> :t first
2021-01-20 13:04:26 +0100 <lambdabot> Arrow a => a b c -> a (b, d) (c, d)
2021-01-20 13:04:29 +0100 <Uniaika> merijn: raced! hahaha
2021-01-20 13:04:31 +0100 <merijn> hmm, wrong one
2021-01-20 13:04:37 +0100 <Uniaika> :t Data.Bifunctor.first
2021-01-20 13:04:38 +0100 <lambdabot> Bifunctor p => (a -> b) -> p a c -> p b c
2021-01-20 13:04:39 +0100 <nly> how do i print http Request headers?
2021-01-20 13:04:48 +0100 <Uniaika> nly: which library are you using?
2021-01-20 13:05:01 +0100 <nly> Network.Http.Client
2021-01-20 13:06:20 +0100 <nly> ah it's http-streams
2021-01-20 13:08:14 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 268 seconds)
2021-01-20 13:09:01 +0100mirrorbird_(~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) (Remote host closed the connection)
2021-01-20 13:09:16 +0100mirrorbird_(~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0)
2021-01-20 13:09:21 +0100Stanley00(~stanley00@unaffiliated/stanley00) ()
2021-01-20 13:10:14 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 264 seconds)
2021-01-20 13:10:47 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-01-20 13:10:53 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2021-01-20 13:10:57 +0100 <dminuoso> Is there something like monad-logger that runs over arbitrary logging content? Ideally I want to push prettyprinter `Doc T` into the logger
2021-01-20 13:11:14 +0100dandart(~Thunderbi@home.dandart.co.uk) (Ping timeout: 256 seconds)
2021-01-20 13:11:39 +0100 <nly> Uniaika: https://hackage.haskell.org/package/http-streams
2021-01-20 13:11:58 +0100ukari(~ukari@unaffiliated/ukari)
2021-01-20 13:14:07 +0100MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾)
2021-01-20 13:14:45 +0100MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru)
2021-01-20 13:16:08 +0100jedws(~jedws@121.209.139.157) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-20 13:17:41 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-01-20 13:18:26 +0100 <nly> Uniaika: i'm open to using other libraries if this one sucks
2021-01-20 13:18:30 +0100ADG1089(~aditya@223.226.159.22) (Remote host closed the connection)
2021-01-20 13:19:15 +0100fendor_(~fendor@178.165.129.118.wireless.dyn.drei.com)
2021-01-20 13:21:39 +0100fendor(~fendor@77.119.128.37.wireless.dyn.drei.com) (Ping timeout: 256 seconds)
2021-01-20 13:24:00 +0100cole-h_(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
2021-01-20 13:24:14 +0100fendor(~fendor@178.165.128.44.wireless.dyn.drei.com)
2021-01-20 13:25:31 +0100sankarshan1(~sankarsha@185.163.110.126) (Remote host closed the connection)
2021-01-20 13:25:59 +0100fendor_(~fendor@178.165.129.118.wireless.dyn.drei.com) (Ping timeout: 264 seconds)
2021-01-20 13:29:04 +0100ADG1089_(~adg1089@171.76.179.61)
2021-01-20 13:29:44 +0100 <idnar> merijn: the Arrow ver also works ;)
2021-01-20 13:33:06 +0100acidjnk_new(~acidjnk@p200300d0c704e73684c8f29efc47d454.dip0.t-ipconnect.de)
2021-01-20 13:34:04 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection)
2021-01-20 13:34:49 +0100jazzboi(bc00325d@188.0.50.93)
2021-01-20 13:36:21 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-01-20 13:42:56 +0100royal_screwup21(d5cdc66b@gateway/web/cgi-irc/kiwiirc.com/ip.213.205.198.107) (Quit: Connection closed)
2021-01-20 13:43:36 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-20 13:44:23 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 13:45:22 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-01-20 13:45:29 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135)
2021-01-20 13:46:30 +0100orion`1(~orion`@195.140.213.38)
2021-01-20 13:50:03 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Ping timeout: 260 seconds)
2021-01-20 13:51:07 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 256 seconds)
2021-01-20 13:52:16 +0100edge563(~edge563@gateway/tor-sasl/edge563)
2021-01-20 13:52:23 +0100edge563(~edge563@gateway/tor-sasl/edge563) (Client Quit)
2021-01-20 13:52:44 +0100edge563(~edge563@gateway/tor-sasl/edge563)
2021-01-20 13:54:15 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2021-01-20 13:55:16 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 13:55:54 +0100LKoen(~LKoen@16.175.9.109.rev.sfr.net) (Remote host closed the connection)
2021-01-20 13:56:27 +0100boxscape(86ab2d91@gateway/web/cgi-irc/kiwiirc.com/ip.134.171.45.145)
2021-01-20 13:57:30 +0100 <tatooine-sunset> hi! i'm learning haskell and read that you shouldn't put an equals sign after your function signature if you use guards and i'm trying to understand why. if no equals sign is needed, that would mean that those guards are special syntax and not an expression (am I right about that?). why? i tried searching online but i couldn't find the explanation
2021-01-20 13:57:51 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-01-20 13:58:06 +0100 <boxscape> tatooine-sunset guards are indeed special syntax. You still use an equals sign in that case, it just appears after the guard(s)
2021-01-20 13:58:12 +0100 <Uniaika> yup'
2021-01-20 13:58:31 +0100 <boxscape> for example, `f x = x + x` vs `f x | x < 0 = x + x`
2021-01-20 13:58:39 +0100hackageSJW 0.1.2.3 - The Simple Javascript Wrench https://hackage.haskell.org/package/SJW-0.1.2.3 (tissevert)
2021-01-20 13:58:39 +0100urodna(~urodna@unaffiliated/urodna)
2021-01-20 13:59:14 +0100 <boxscape> (this function would throw an error if x were larger or equal to 0)
2021-01-20 13:59:38 +0100hackagehablo 1.1.0.1 - A minimalist static blog generator https://hackage.haskell.org/package/hablo-1.1.0.1 (tissevert)
2021-01-20 14:00:03 +0100Tario(~Tario@201.192.165.173)
2021-01-20 14:00:53 +0100 <tatooine-sunset> ok, i think i'm starting to understand, so they are like pattern matching in that you can define what your function returns for different cases
2021-01-20 14:01:06 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-20 14:01:24 +0100 <ski> tatooine-sunset : you shouldn't put them (equals sign) (directly) after the *signature*, period
2021-01-20 14:01:27 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-01-20 14:01:58 +0100 <tatooine-sunset> there's a pattern matching expression in f#, i think that's why it's so confusing to me
2021-01-20 14:02:09 +0100 <ski> `f :: Integer -> Integer' is the (type) signature. `f x = x + x' is the defining equation
2021-01-20 14:02:12 +0100 <boxscape> tatooine-sunset yes, they are often used together with pattern matching - pattern matching is used to choose behavior based on the structure of a value, guards are used to choose behavior according to arbitrary conditions
2021-01-20 14:02:43 +0100 <ski> tatooine-sunset : which pattern-matching expression do you have in mind ?
2021-01-20 14:03:47 +0100 <tatooine-sunset> ski this: match list with | head :: tail -> (something) | [] -> (something else)
2021-01-20 14:04:09 +0100 <tatooine-sunset> and i think you can also use boolean conditions in the match branches
2021-01-20 14:04:20 +0100 <ski> in Haskell, that's `case list of head:tail -> (something); [] -> (something else)'
2021-01-20 14:04:21 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds)
2021-01-20 14:04:25 +0100 <tatooine-sunset> oh
2021-01-20 14:04:31 +0100 <tatooine-sunset> so there is an expression too
2021-01-20 14:04:34 +0100 <ski> yes
2021-01-20 14:04:38 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-01-20 14:05:00 +0100 <ski> and yes, you can also use guards with `case'-`of'
2021-01-20 14:05:31 +0100 <ski> (the `;' is optional, if you align the branches, on different lines)
2021-01-20 14:05:46 +0100 <tatooine-sunset> great, thanks!
2021-01-20 14:09:14 +0100boxscape11(4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89)
2021-01-20 14:10:58 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2021-01-20 14:12:19 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-20 14:12:39 +0100boxscape(86ab2d91@gateway/web/cgi-irc/kiwiirc.com/ip.134.171.45.145) (Ping timeout: 256 seconds)
2021-01-20 14:13:17 +0100aveltras(uid364989@gateway/web/irccloud.com/x-rflhzmsouqcfptym)
2021-01-20 14:13:39 +0100hackagerz-pipe 0.1.0 - Pipe interface for Rizin https://hackage.haskell.org/package/rz-pipe-0.1.0 (FlorianMaerkl)
2021-01-20 14:14:18 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-01-20 14:15:30 +0100Alleria_(~AllahuAkb@2603-7000-3040-0000-0132-7991-54fc-9d8c.res6.spectrum.com) (Ping timeout: 244 seconds)
2021-01-20 14:16:32 +0100Alleria_(~AllahuAkb@2603-7000-3040-0000-4026-a9ff-e6dc-fee9.res6.spectrum.com)
2021-01-20 14:16:38 +0100 <aveltras> for those running haskell language server with emacs. has anyone encountered a problem where lsp-ui reports a possible code action (via hlint i guess) but when trying to apply it (via lsp-ui-sideline-apply-code-actions), emacs reports "No code actions on the current line" ?
2021-01-20 14:17:53 +0100geekosaur(82650c7c@130.101.12.124)
2021-01-20 14:18:01 +0100ADG1089_(~adg1089@171.76.179.61) (Read error: Connection reset by peer)
2021-01-20 14:18:02 +0100ADG1089__(~aditya@223.226.159.22)
2021-01-20 14:18:24 +0100ADG1089_(~adg1089@223.226.159.22)
2021-01-20 14:20:49 +0100adeene(~adeene@181.131.0.191) (Remote host closed the connection)
2021-01-20 14:20:53 +0100tsaka__(~torstein@athedsl-316921.home.otenet.gr) (Ping timeout: 256 seconds)
2021-01-20 14:21:12 +0100adeene(~adeene@181.131.0.191)
2021-01-20 14:21:36 +0100adeene(~adeene@181.131.0.191) (Read error: Connection reset by peer)
2021-01-20 14:22:12 +0100adeene(~adeene@181.131.0.191)
2021-01-20 14:22:19 +0100tatooine-sunset(~botond@94-21-74-214.pool.digikabel.hu) (Quit: leaving)
2021-01-20 14:28:08 +0100djanatyn_(~djanatyn@ec2-18-209-155-56.compute-1.amazonaws.com) (Disconnected by services)
2021-01-20 14:29:05 +0100jazzboi(bc00325d@188.0.50.93) (Ping timeout: 248 seconds)
2021-01-20 14:29:32 +0100djanatyn_(~djanatyn@ec2-18-209-155-56.compute-1.amazonaws.com)
2021-01-20 14:30:28 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Quit: mputz)
2021-01-20 14:35:03 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 265 seconds)
2021-01-20 14:35:31 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-01-20 14:37:26 +0100adeene(~adeene@181.131.0.191) (Remote host closed the connection)
2021-01-20 14:37:46 +0100adeene(~adeene@181.131.0.191)
2021-01-20 14:37:57 +0100jazzboi(bc0030ac@mwg2.mil.ee)
2021-01-20 14:42:34 +0100 <idnar> aveltras: are you sure it's an action not a warning?
2021-01-20 14:43:39 +0100 <aveltras> idnar: how to differentiate those ? it is "Use newtype instead of data". As i remember it, it used to be a code action
2021-01-20 14:43:55 +0100brisbin(~patrick@pool-173-49-158-4.phlapa.fios.verizon.net)
2021-01-20 14:44:42 +0100 <cnmne[m]> aveltras: the only action that works for me is making imports explicit
2021-01-20 14:44:44 +0100 <cnmne[m]> that I've noticed
2021-01-20 14:45:33 +0100 <cnmne[m]> I'm in the middle of refactoring a lot of config, so wasn't sure it was me or lsp :p
2021-01-20 14:46:03 +0100 <idnar> aveltras: hlint actions look like "Apply hint: …"
2021-01-20 14:46:11 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135)
2021-01-20 14:47:05 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Quit: mputz)
2021-01-20 14:48:12 +0100 <idnar> aveltras: https://usercontent.irccloud-cdn.com/file/8fbjhY2t/image.png
2021-01-20 14:48:57 +0100 <aveltras> idnar: do i have to do anything special to get hlint hints from lsp ?
2021-01-20 14:49:59 +0100 <aveltras> huh, seems using "f x = id x" provides some hlint hints in fact
2021-01-20 14:50:26 +0100 <aveltras> might just be that the newtype hint is not actionable in the end
2021-01-20 14:51:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Ping timeout: 264 seconds)
2021-01-20 14:51:02 +0100 <idnar> aveltras: not all hints have a suggested refactoring, but if "Use newtype instead of data" used to it may be a bug
2021-01-20 14:51:21 +0100 <aveltras> not sure of it either
2021-01-20 14:51:37 +0100hackageservant-serf 0.1.0 - Generates a servant API module https://hackage.haskell.org/package/servant-serf-0.1.0 (goolord)
2021-01-20 14:51:50 +0100 <aveltras> anyway, thanks for your help here
2021-01-20 14:52:25 +0100 <__monty__> If actions are every automatically applied maybe they wanted to avoid changing semantics?
2021-01-20 14:52:49 +0100 <idnar> fwiw https://usercontent.irccloud-cdn.com/file/0FdBwlab/image.png
2021-01-20 14:53:14 +0100ADG1089_(~adg1089@223.226.159.22) (Ping timeout: 256 seconds)
2021-01-20 15:00:53 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-01-20 15:03:47 +0100son0p(~son0p@181.58.39.182) (Quit: Lost terminal)
2021-01-20 15:03:54 +0100jazzboi(bc0030ac@mwg2.mil.ee) (Quit: Ping timeout (120 seconds))
2021-01-20 15:04:09 +0100hyperisco(~hyperisco@104-195-141-253.cpe.teksavvy.com)
2021-01-20 15:04:45 +0100geekosaur(82650c7c@130.101.12.124) (Quit: Ping timeout (120 seconds))
2021-01-20 15:05:05 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-20 15:05:27 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-01-20 15:06:01 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds)
2021-01-20 15:06:05 +0100geekosaur(82650c7c@130.101.12.124)
2021-01-20 15:06:05 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-20 15:06:20 +0100mmmattyx(uid17782@gateway/web/irccloud.com/x-tnfdepzslbdobstg)
2021-01-20 15:06:28 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-01-20 15:07:05 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-20 15:07:29 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-01-20 15:08:05 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-20 15:08:30 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-01-20 15:09:42 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-20 15:12:05 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-20 15:12:16 +0100zebrag(~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr)
2021-01-20 15:12:29 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-01-20 15:13:14 +0100knupfer(~Thunderbi@200116b82ca7d10041dc4183956ef5af.dip.versatel-1u1.de) (Quit: knupfer)
2021-01-20 15:13:21 +0100knupfer(~Thunderbi@200116b82ca7d100647d5a7ae01ad670.dip.versatel-1u1.de)
2021-01-20 15:13:32 +0100zebrag(~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Client Quit)
2021-01-20 15:14:58 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-01-20 15:15:45 +0100zebrag(~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr)
2021-01-20 15:16:00 +0100poscat(~poscat@221.217.131.44)
2021-01-20 15:16:03 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-20 15:16:08 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2021-01-20 15:16:21 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-20 15:17:56 +0100poscat(~poscat@221.217.131.44) (Client Quit)
2021-01-20 15:18:04 +0100ystael(~ystael@209.6.50.55)
2021-01-20 15:18:17 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2021-01-20 15:18:23 +0100adeene(~adeene@181.131.0.191) (Ping timeout: 256 seconds)
2021-01-20 15:19:08 +0100hackagehasbolt 0.1.4.4 - Haskell driver for Neo4j 3+ (BOLT protocol) https://hackage.haskell.org/package/hasbolt-0.1.4.4 (zmactep)
2021-01-20 15:19:53 +0100poscat(~poscat@221.217.131.44)
2021-01-20 15:19:55 +0100NieDzejkob(~quassel@188.123.215.55) (Read error: Connection reset by peer)
2021-01-20 15:20:30 +0100NieDzejkob(~quassel@188.123.215.55)
2021-01-20 15:25:33 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-20 15:26:50 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-01-20 15:27:40 +0100usr25(~usr25@unaffiliated/usr25)
2021-01-20 15:27:44 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-01-20 15:29:37 +0100hackageservant-static-th 1.0.0.0 - Embed a directory of static files in your Servant server https://hackage.haskell.org/package/servant-static-th-1.0.0.0 (cdepillabout)
2021-01-20 15:30:09 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 265 seconds)
2021-01-20 15:31:56 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2021-01-20 15:33:45 +0100Kaivo(~Kaivo@104-200-86-99.mc.derytele.com)
2021-01-20 15:37:25 +0100ADG1089_(~adg1089@223.226.159.22)
2021-01-20 15:40:17 +0100ADG1089_(~adg1089@223.226.159.22) (Read error: Connection reset by peer)
2021-01-20 15:40:23 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 264 seconds)
2021-01-20 15:40:23 +0100darjeeling_(~darjeelin@122.245.218.239) (Ping timeout: 264 seconds)
2021-01-20 15:40:38 +0100cods(~fred@tuxee.net) (Changing host)
2021-01-20 15:40:38 +0100cods(~fred@unaffiliated/cods)
2021-01-20 15:42:13 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-01-20 15:42:42 +0100raym(~ray@45.64.220.99)
2021-01-20 15:45:43 +0100dandart(~Thunderbi@home.dandart.co.uk)
2021-01-20 15:47:34 +0100geekosaur(82650c7c@130.101.12.124) (Quit: Connection closed)
2021-01-20 15:48:34 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-01-20 15:49:25 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-20 15:51:56 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-01-20 15:52:17 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-01-20 15:53:15 +0100darjeeling_(~darjeelin@122.245.209.184)
2021-01-20 15:54:47 +0100jespada_(~jespada@90.254.241.81) (Ping timeout: 264 seconds)
2021-01-20 15:56:42 +0100jespada(~jespada@90.254.241.81)
2021-01-20 15:56:56 +0100usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-01-20 15:57:13 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds)
2021-01-20 16:01:18 +0100plutoniix(~q@node-urh.pool-125-24.dynamic.totinternet.net)
2021-01-20 16:01:27 +0100texasmynsted(~texasmyns@99.96.221.112) (Quit: ZNC - http://znc.in)
2021-01-20 16:02:07 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-01-20 16:06:22 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-20 16:06:35 +0100berberman_(~berberman@unaffiliated/berberman)
2021-01-20 16:07:22 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-01-20 16:07:43 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2021-01-20 16:08:17 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-20 16:09:07 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection)
2021-01-20 16:09:26 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2021-01-20 16:10:53 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-01-20 16:10:56 +0100pera(pera@gateway/vpn/mullvad/pera) (Ping timeout: 240 seconds)
2021-01-20 16:12:11 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 264 seconds)
2021-01-20 16:12:38 +0100 <dminuoso> In constraints I almost always want to use the triplet `(Foo i, Bar i, Quux i) => ...` - what can I do to avoid repeating myself?
2021-01-20 16:13:01 +0100pera(~pera@unaffiliated/pera)
2021-01-20 16:13:02 +0100 <dminuoso> a tyfam to Constraint?
2021-01-20 16:14:10 +0100 <ski> synonym ?
2021-01-20 16:14:36 +0100mdunnio(~mdunnio@172.97.43.112)
2021-01-20 16:14:45 +0100 <dminuoso> Mmm. What would that look like?
2021-01-20 16:15:31 +0100 <dminuoso> ski: Oh wow! Just a type alias works?
2021-01-20 16:15:37 +0100 <dminuoso> I did not think of this
2021-01-20 16:15:39 +0100 <ski> type FooBarQuux i = (Foo i,Bar i,Quux i)
2021-01-20 16:15:51 +0100 <dminuoso> Nifty, thanks.
2021-01-20 16:15:55 +0100 <ski> no need for a family here
2021-01-20 16:15:59 +0100phasespace_(~sar@80-89-47-117.inet.signal.no) (Ping timeout: 246 seconds)
2021-01-20 16:16:28 +0100 <merijn> I think you need ConstraintKinds for that, though
2021-01-20 16:16:32 +0100 <ski> yes
2021-01-20 16:17:18 +0100 <dminuoso> Ah okay, that explains why I didnt consider aliases.
2021-01-20 16:17:25 +0100 <dminuoso> Dont mind extensions at all.
2021-01-20 16:17:30 +0100 <dminuoso> Have half of them turned on anyway
2021-01-20 16:17:44 +0100jneira(501ca940@gateway/web/cgi-irc/kiwiirc.com/ip.80.28.169.64) (Ping timeout: 246 seconds)
2021-01-20 16:19:03 +0100cheater(~user@unaffiliated/cheater)
2021-01-20 16:19:59 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-01-20 16:21:11 +0100zopsi(zopsi@2600:3c00::f03c:91ff:fe14:551f) (Quit: Oops)
2021-01-20 16:21:17 +0100pera(~pera@unaffiliated/pera) (Ping timeout: 256 seconds)
2021-01-20 16:21:41 +0100fangyrn(uid481529@gateway/web/irccloud.com/x-xesfsqwuqeiwgrpr)
2021-01-20 16:28:09 +0100pera(pera@gateway/vpn/mullvad/pera)
2021-01-20 16:29:36 +0100phasespace_(~sar@89-162-33-21.fiber.signal.no)
2021-01-20 16:29:58 +0100tabaqui(~tabaqui@2604:a880:800:c1::21b:3001) (Quit: WeeChat 3.1-dev)
2021-01-20 16:30:12 +0100tabaqui(~tabaqui@2604:a880:800:c1::21b:3001)
2021-01-20 16:31:23 +0100lawid(~quassel@dslb-090-186-099-131.090.186.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
2021-01-20 16:32:11 +0100lawid(~quassel@dslb-090-186-171-072.090.186.pools.vodafone-ip.de)
2021-01-20 16:34:13 +0100tabaqui(~tabaqui@2604:a880:800:c1::21b:3001) (Client Quit)
2021-01-20 16:34:24 +0100tabaqui(~tabaqui@2604:a880:800:c1::21b:3001)
2021-01-20 16:36:01 +0100zopsi(~zopsi@irc.dir.ac)
2021-01-20 16:36:56 +0100jameekim1(~jameekim@mx.nodaplife.me) (Ping timeout: 240 seconds)
2021-01-20 16:37:17 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds)
2021-01-20 16:37:26 +0100jameekim1(~jameekim@mx.nodaplife.me)
2021-01-20 16:39:43 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-01-20 16:39:54 +0100djbeau(~dbeaureg@148.87.23.13)
2021-01-20 16:41:16 +0100ep1ctetus(~epictetus@ip184-187-162-163.sb.sd.cox.net)
2021-01-20 16:41:47 +0100nly(~user@unaffiliated/nly) ("ERC (IRC client for Emacs 27.1)")
2021-01-20 16:44:14 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2021-01-20 16:44:18 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-20 16:44:47 +0100jazzboi(bc0030ac@mwg2.mil.ee)
2021-01-20 16:45:37 +0100hackagefriendly 0.1.0.3 - Attempt to pretty-print any input https://hackage.haskell.org/package/friendly-0.1.0.3 (EdskoDeVries)
2021-01-20 16:46:04 +0100Guest_19(5ae7f7c8@90-231-247-200-no528.tbcn.telia.com)
2021-01-20 16:46:27 +0100Guest_19(5ae7f7c8@90-231-247-200-no528.tbcn.telia.com) (Client Quit)
2021-01-20 16:47:07 +0100hackageghc-datasize 0.2.3 - Determine the size of data structures in GHC's memory https://hackage.haskell.org/package/ghc-datasize-0.2.3 (DennisFelsing)
2021-01-20 16:47:12 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2021-01-20 16:49:35 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 246 seconds)
2021-01-20 16:52:06 +0100vappend(~ezrakilty@75-172-109-5.tukw.qwest.net)
2021-01-20 16:52:23 +0100gxt(~gxt@gateway/tor-sasl/gxt) (Quit: WeeChat 3.0)
2021-01-20 16:55:40 +0100johnw(~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2021-01-20 16:55:52 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-01-20 16:58:52 +0100vpidurr(~jmdurr@ool-182e0115.dyn.optonline.net)
2021-01-20 17:04:56 +0100conal(~conal@64.71.133.70)
2021-01-20 17:04:59 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-20 17:06:38 +0100LKoen(~LKoen@16.175.9.109.rev.sfr.net)
2021-01-20 17:07:43 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-01-20 17:08:55 +0100tabaqui(~tabaqui@2604:a880:800:c1::21b:3001) (Quit: WeeChat 3.1-dev)
2021-01-20 17:13:59 +0100 <idnar> @type \f -> fmap (fmap f .)
2021-01-20 17:14:01 +0100 <lambdabot> (Functor f1, Functor f2) => (a1 -> b) -> f1 (a2 -> f2 a1) -> f1 (a2 -> f2 b)
2021-01-20 17:14:09 +0100sword865(uid208942@gateway/web/irccloud.com/x-knjuaxqfvgvongbx) (Quit: Connection closed for inactivity)
2021-01-20 17:14:49 +0100 <idnar> @hoogle (Functor f1, Functor f2) => (a1 -> b) -> f1 (a2 -> f2 a1) -> f1 (a2 -> f2 b)
2021-01-20 17:14:50 +0100 <lambdabot> No results found
2021-01-20 17:14:54 +0100knupfer(~Thunderbi@200116b82ca7d100647d5a7ae01ad670.dip.versatel-1u1.de) (Remote host closed the connection)
2021-01-20 17:15:03 +0100knupfer(~Thunderbi@200116b82ca7d1001902cef150325763.dip.versatel-1u1.de)
2021-01-20 17:15:16 +0100ubert1(~Thunderbi@p200300ecdf1ee0b4ca5b76fffe29f233.dip0.t-ipconnect.de)
2021-01-20 17:15:28 +0100 <idnar> @hoogle (Functor f2) => (a1 -> b) -> [a2 -> f2 a1] -> [a2 -> f2 b]
2021-01-20 17:15:29 +0100 <lambdabot> No results found
2021-01-20 17:15:42 +0100ubert(~Thunderbi@p200300ecdf1ee016ca5b76fffe29f233.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-01-20 17:15:42 +0100ubert1ubert
2021-01-20 17:16:51 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-20 17:17:56 +0100hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 265 seconds)
2021-01-20 17:18:35 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-01-20 17:19:07 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-01-20 17:20:37 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net) ()
2021-01-20 17:22:21 +0100hyiltiz(~quassel@31.220.5.250)
2021-01-20 17:22:21 +0100hyiltiz(~quassel@31.220.5.250) (Changing host)
2021-01-20 17:22:21 +0100hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-01-20 17:23:39 +0100urodna_(~urodna@unaffiliated/urodna)
2021-01-20 17:24:27 +0100mmmattyx(uid17782@gateway/web/irccloud.com/x-tnfdepzslbdobstg) (Quit: Connection closed for inactivity)
2021-01-20 17:25:07 +0100hackagesequence-formats 1.5.2 - A package with basic parsing utilities for several Bioinformatic data formats. https://hackage.haskell.org/package/sequence-formats-1.5.2 (stephan_schiffels)
2021-01-20 17:26:03 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135)
2021-01-20 17:26:27 +0100urodna(~urodna@unaffiliated/urodna) (Ping timeout: 256 seconds)
2021-01-20 17:27:19 +0100 <ph88> how can i index with hoogle stackage + a bunch of private git repositories ?
2021-01-20 17:29:35 +0100ADG1089__(~aditya@223.226.159.22) (Remote host closed the connection)
2021-01-20 17:32:51 +0100ADG1089_(~adg1089@223.226.159.22)
2021-01-20 17:35:08 +0100hackageunliftio-messagebox 1.0.0 - Fast and robust message queues for concurrent processes https://hackage.haskell.org/package/unliftio-messagebox-1.0.0 (SvenHeyll)
2021-01-20 17:38:02 +0100ADG1089__(~aditya@223.226.159.22)
2021-01-20 17:39:06 +0100nineonine(~nineonine@50.216.62.2)
2021-01-20 17:40:59 +0100lawid(~quassel@dslb-090-186-171-072.090.186.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2021-01-20 17:41:34 +0100lawid(~quassel@ipservice-092-209-135-162.092.209.pools.vodafone-ip.de)
2021-01-20 17:42:55 +0100Tops21(~Tobias@dyndsl-095-033-027-217.ewe-ip-backbone.de)
2021-01-20 17:42:55 +0100lawid(~quassel@ipservice-092-209-135-162.092.209.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2021-01-20 17:43:01 +0100aveltras(uid364989@gateway/web/irccloud.com/x-rflhzmsouqcfptym) (Quit: Connection closed for inactivity)
2021-01-20 17:43:08 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2021-01-20 17:43:53 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds)
2021-01-20 17:44:01 +0100lawid(~quassel@ipservice-092-209-135-162.092.209.pools.vodafone-ip.de)
2021-01-20 17:46:22 +0100LKoen(~LKoen@16.175.9.109.rev.sfr.net) (Remote host closed the connection)
2021-01-20 17:46:56 +0100Tops2(~Tobias@dyndsl-095-033-027-217.ewe-ip-backbone.de) (Ping timeout: 265 seconds)
2021-01-20 17:49:28 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2021-01-20 17:51:57 +0100Tops21(~Tobias@dyndsl-095-033-027-217.ewe-ip-backbone.de) (Ping timeout: 256 seconds)
2021-01-20 17:53:02 +0100acidjnk_new(~acidjnk@p200300d0c704e73684c8f29efc47d454.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-01-20 17:53:21 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-01-20 17:53:29 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-01-20 17:53:38 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net) ()
2021-01-20 17:53:39 +0100viluon(uid453725@gateway/web/irccloud.com/x-zlhfnqvdgfnqyptw)
2021-01-20 17:53:46 +0100Tops2(~Tobias@dyndsl-095-033-093-030.ewe-ip-backbone.de)
2021-01-20 17:54:47 +0100lagothrix(~lagothrix@unaffiliated/lagothrix) (Ping timeout: 264 seconds)
2021-01-20 17:54:49 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-01-20 17:54:51 +0100xirhtogal(~lagothrix@unaffiliated/lagothrix)
2021-01-20 17:54:51 +0100xirhtogallagothrix
2021-01-20 17:55:39 +0100kritzefitz(~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2021-01-20 17:55:41 +0100mark`(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-01-20 17:55:44 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 246 seconds)
2021-01-20 17:56:21 +0100Lord_of_Life_Lord_of_Life
2021-01-20 17:57:51 +0100 <mark`> I cannot figure out the package name to specify in my cabal file so I can import Network.HTTP. It maybe looks like it is called http-4000 but that does not work. This is the package I mean: https://hackage.haskell.org/package/HTTP-4000.3.15/docs/Network-HTTP.html
2021-01-20 17:58:27 +0100 <merijn> mark`: 4000 is the version, not the name
2021-01-20 17:59:11 +0100 <merijn> mark`: Also might wanna consider using http-client instead
2021-01-20 17:59:11 +0100 <mark`> merijn: I have tried to use just `http` but stack says it can't find it. Let me get an example
2021-01-20 17:59:41 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection)
2021-01-20 17:59:44 +0100 <merijn> mark`: Stack does not include all of hackage
2021-01-20 18:00:31 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135)
2021-01-20 18:01:12 +0100 <mmaruseacph2> you can add additional packages to stack.yaml
2021-01-20 18:02:51 +0100 <mark`> https://pastebin.com/M7TZUihC
2021-01-20 18:03:16 +0100 <mark`> oh I will try stack.yaml
2021-01-20 18:04:58 +0100vappend(~ezrakilty@75-172-109-5.tukw.qwest.net) (Remote host closed the connection)
2021-01-20 18:04:59 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-01-20 18:05:58 +0100mark`(~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.1)")
2021-01-20 18:06:01 +0100Tario(~Tario@201.192.165.173)
2021-01-20 18:06:46 +0100 <sm[m]> @freenode_mark`:matrix.org: that package's name is HTTP
2021-01-20 18:06:46 +0100 <lambdabot> Unknown command, try @list
2021-01-20 18:09:22 +0100knupfer(~Thunderbi@200116b82ca7d1001902cef150325763.dip.versatel-1u1.de) (Quit: knupfer)
2021-01-20 18:09:30 +0100knupfer(~Thunderbi@200116b82ca7d10074d9cdfffe563971.dip.versatel-1u1.de)
2021-01-20 18:09:31 +0100knupfer(~Thunderbi@200116b82ca7d10074d9cdfffe563971.dip.versatel-1u1.de) (Client Quit)
2021-01-20 18:09:48 +0100knupfer(~Thunderbi@87.123.206.59)
2021-01-20 18:09:56 +0100geekosaur(82650c7c@130.101.12.124)
2021-01-20 18:10:04 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-01-20 18:10:22 +0100ADG1089_(~adg1089@223.226.159.22) (Read error: Connection reset by peer)
2021-01-20 18:11:44 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-01-20 18:12:13 +0100ADG1089__(~aditya@223.226.159.22) (Remote host closed the connection)
2021-01-20 18:13:03 +0100plutoniix(~q@node-urh.pool-125-24.dynamic.totinternet.net) (Remote host closed the connection)
2021-01-20 18:13:39 +0100conal(~conal@64.71.133.70)
2021-01-20 18:15:27 +0100vappend(~ezrakilty@75-172-109-5.tukw.qwest.net)
2021-01-20 18:17:02 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-01-20 18:19:29 +0100boxscape11(4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) (Quit: Connection closed)
2021-01-20 18:19:36 +0100vappend(~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 240 seconds)
2021-01-20 18:19:41 +0100ADG1089__(~aditya@223.226.159.22)
2021-01-20 18:21:39 +0100jazzboi(bc0030ac@mwg2.mil.ee) (Quit: Connection closed)
2021-01-20 18:22:20 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-01-20 18:23:23 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection)
2021-01-20 18:23:41 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135)
2021-01-20 18:25:36 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 265 seconds)
2021-01-20 18:26:54 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-01-20 18:27:08 +0100cheater(~user@unaffiliated/cheater)
2021-01-20 18:31:37 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds)
2021-01-20 18:34:54 +0100AWizzArd(~code@gehrels.uberspace.de) (Changing host)
2021-01-20 18:34:54 +0100AWizzArd(~code@unaffiliated/awizzard)
2021-01-20 18:35:01 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-01-20 18:35:36 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-01-20 18:37:04 +0100Benzi-Junior(~BenziJuni@88-149-65-135.du.xdsl.is) (Quit: gone)
2021-01-20 18:37:41 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-01-20 18:38:07 +0100milli(~milli@charon.acmeps.com)
2021-01-20 18:39:16 +0100 <frdg> Am I correct to say that once forkIO is called the first time, immediately then the next forkIO expression is evaluated, regardless of if the first forkIO is finished? http://dpaste.com/BYEEUNLGF
2021-01-20 18:40:54 +0100 <frdg> if so then forkIO must somehow immediately signal that it has finished being evaluated.
2021-01-20 18:41:16 +0100 <monochrom> I could just answer "yes" but I think it's more educational to guide you on how you could use good experiments to find out.
2021-01-20 18:41:18 +0100 <geekosaur> er, you do understand the concept of multiple threads, right?
2021-01-20 18:41:25 +0100jameekim1(~jameekim@mx.nodaplife.me) (Ping timeout: 240 seconds)
2021-01-20 18:41:38 +0100 <monochrom> Now, "getURL" involves too many moving parts, so a bad experiment.
2021-01-20 18:41:42 +0100 <geekosaur> forkIO doesn't need to signal anything, it creates a new thread which runs independently of other threads including the main thread
2021-01-20 18:41:55 +0100 <geekosaur> you do signaling there with putMVar and takeMVar
2021-01-20 18:42:37 +0100 <monochrom> But if you replace it with a loop that prints a message every second or something, and never ends, you can make observations that tell you "yes you have perfect concurrency".
2021-01-20 18:43:40 +0100DataComputist(~lumeng@50.43.26.251)
2021-01-20 18:44:20 +0100milli(~milli@charon.acmeps.com) (Read error: Connection reset by peer)
2021-01-20 18:44:43 +0100mrchampion(~mrchampio@38.18.109.23) (Read error: No route to host)
2021-01-20 18:44:44 +0100 <frdg> ok Ill try this to recreate this with print statements
2021-01-20 18:45:33 +0100 <hpc> frdg: you'll want to add some threadDelay statements as well
2021-01-20 18:45:33 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds)
2021-01-20 18:45:47 +0100 <hpc> to really see how timing is affected
2021-01-20 18:46:00 +0100 <frdg> ok I have seen those before
2021-01-20 18:47:19 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-01-20 18:47:47 +0100mrchampion(~mrchampio@38.18.109.23)
2021-01-20 18:47:49 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2021-01-20 18:48:25 +0100Tario(~Tario@201.192.165.173)
2021-01-20 18:48:43 +0100asheshambasta(~user@ptr-e1lysaumlluc4k1o7mn.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds)
2021-01-20 18:49:22 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.1)")
2021-01-20 18:51:38 +0100 <ezzieyguywuf> does anyone know (or can guess) if this issue may be due to the change in aeson-1.5.0.0 where unescaped control characters are no longer allowed? https://github.com/haskell/hackage-security/issues/247
2021-01-20 18:51:43 +0100 <ezzieyguywuf> and if so any suggestions how to resolve it?
2021-01-20 18:52:01 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Ping timeout: 256 seconds)
2021-01-20 18:53:07 +0100hackageunliftio-messagebox 1.0.2 - Fast and robust message queues for concurrent processes https://hackage.haskell.org/package/unliftio-messagebox-1.0.2 (SvenHeyll)
2021-01-20 18:53:21 +0100usr25(~usr25@unaffiliated/usr25)
2021-01-20 18:53:41 +0100deviantfero(~deviantfe@190.150.27.58)
2021-01-20 18:54:19 +0100 <geekosaur> have you tried backing off just aeson to see if it'll pass in that case?
2021-01-20 18:54:38 +0100 <geekosaur> that said, it seems likely given \SI is a control character
2021-01-20 18:55:04 +0100 <geekosaur> > ord '\SI'
2021-01-20 18:55:06 +0100 <lambdabot> 15
2021-01-20 18:56:32 +0100Benzi-Junior(~BenziJuni@88-149-65-135.du.xdsl.is)
2021-01-20 18:57:58 +0100 <ezzieyguywuf> geekosaur: I have not
2021-01-20 18:58:18 +0100 <ezzieyguywuf> but I'd rather patch hackage-security if needed to make it work with the newer aeson
2021-01-20 18:58:24 +0100 <ezzieyguywuf> but I can't make sense of their tests , lol
2021-01-20 18:59:06 +0100geekosaur(82650c7c@130.101.12.124) (Quit: Ping timeout (120 seconds))
2021-01-20 18:59:50 +0100geekosaur(82650c7c@130.101.12.124)
2021-01-20 19:00:54 +0100mirrorbird_(~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) (Quit: Leaving)
2021-01-20 19:06:45 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 240 seconds)
2021-01-20 19:10:02 +0100coeus(~coeus@p200300d0271a71003f6e8216a2f68215.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-01-20 19:10:25 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 240 seconds)
2021-01-20 19:12:18 +0100pjb(~t@2a01cb04063ec5001d96a6f28d2d22b9.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer)
2021-01-20 19:13:26 +0100danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009)
2021-01-20 19:16:11 +0100dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-01-20 19:20:48 +0100ADG1089__(~aditya@223.226.159.22) (Remote host closed the connection)
2021-01-20 19:20:49 +0100Varis(~Tadas@unaffiliated/varis) (Read error: Connection reset by peer)
2021-01-20 19:20:59 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-01-20 19:21:58 +0100Varis(~Tadas@unaffiliated/varis)
2021-01-20 19:22:48 +0100coeus(~coeus@p200300d027207100f750366e91cac75d.dip0.t-ipconnect.de)
2021-01-20 19:23:18 +0100kuribas(~user@ptr-25vy0i9zig70h8qbxzi.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-01-20 19:27:55 +0100vappend(~ezrakilty@75-172-109-5.tukw.qwest.net)
2021-01-20 19:32:05 +0100vappend(~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 240 seconds)
2021-01-20 19:34:59 +0100rajivr(uid269651@gateway/web/irccloud.com/x-tobxwiwsbuagpqwc) (Quit: Connection closed for inactivity)
2021-01-20 19:35:05 +0100pera(pera@gateway/vpn/mullvad/pera) (Ping timeout: 256 seconds)
2021-01-20 19:36:45 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-20 19:37:05 +0100deviantfero(~deviantfe@190.150.27.58) (Ping timeout: 256 seconds)
2021-01-20 19:40:50 +0100xff0x(~xff0x@2001:1a81:5251:4200:d9c5:1c22:ae76:9406) (Ping timeout: 264 seconds)
2021-01-20 19:41:20 +0100xff0x(~xff0x@2001:1a81:5251:4200:6e34:36aa:4649:7f99)
2021-01-20 19:41:50 +0100pera(pera@gateway/vpn/mullvad/pera)
2021-01-20 19:42:09 +0100geekosaur(82650c7c@130.101.12.124) (Ping timeout: 248 seconds)
2021-01-20 19:42:39 +0100 <merijn> What can't you make sense off?
2021-01-20 19:42:47 +0100pjb(~t@2a01cb04063ec500ada756ee9c7d381c.ipv6.abo.wanadoo.fr)
2021-01-20 19:43:30 +0100 <ezzieyguywuf> merijn: I've figured it out.
2021-01-20 19:43:35 +0100 <merijn> tbh, that looks like a bug/change in aeson
2021-01-20 19:43:50 +0100 <ezzieyguywuf> still can't determine if it's a aeson or hackage-security thing though.
2021-01-20 19:44:02 +0100 <ezzieyguywuf> aeson explicitly said "you can't provide non-escaped characters any more"
2021-01-20 19:44:33 +0100 <ezzieyguywuf> I tried manually escaping it in the hackage-security tests to no avail, suggesting that maybe the hackag-security renderCanonicalJSON is to blame, but the docs there suggest that they actually escape things
2021-01-20 19:45:51 +0100 <ezzieyguywuf> this is my patch if you want to follow along, pretty trivial (and somewhat hackey...) https://dpaste.com/HHNJNAN2K
2021-01-20 19:48:25 +0100 <merijn> hackage-security on hackage already supports aeson 1.5 with the latest revision
2021-01-20 19:49:03 +0100 <ezzieyguywuf> merijn: does it?
2021-01-20 19:50:02 +0100 <merijn> https://hackage.haskell.org/package/hackage-security-0.6.0.1/revisions/
2021-01-20 19:50:14 +0100 <ezzieyguywuf> those revisions just modify the cabal file from what I can tell
2021-01-20 19:50:26 +0100 <merijn> ezzieyguywuf: Well it's green in the hackage ci
2021-01-20 19:50:29 +0100 <ezzieyguywuf> hrm
2021-01-20 19:50:34 +0100 <ezzieyguywuf> let me try cabal unpack
2021-01-20 19:50:36 +0100 <merijn> Which means it builds with the latest aeson
2021-01-20 19:50:42 +0100 <ezzieyguywuf> I'm using the hackage-security git right now
2021-01-20 19:50:47 +0100 <merijn> I'm not sure hackage CI runs tests too, though
2021-01-20 19:51:02 +0100 <ezzieyguywuf> it may not, there's actually a hackage-security bug open for this
2021-01-20 19:51:06 +0100 <ezzieyguywuf> I linke it above
2021-01-20 19:52:22 +0100geekosaur(82650c7c@130.101.12.124)
2021-01-20 19:52:43 +0100 <merijn> Your patch changes the string handling, but that's not the failure
2021-01-20 19:53:05 +0100 <merijn> If you pay attention you see that the character is in the *key* of the object
2021-01-20 19:53:41 +0100 <ezzieyguywuf> merijn: 😍 I've been staring at this too long, or I don't gr0k the output properly
2021-01-20 19:53:47 +0100 <ezzieyguywuf> lemme look at the key stuff then...
2021-01-20 19:54:03 +0100 <ezzieyguywuf> ahhhhhh you're right
2021-01-20 19:54:10 +0100 <ezzieyguywuf> but also I've gotten a failure with JSString
2021-01-20 19:54:19 +0100 <merijn> ezzieyguywuf: The quickcheck tests is generating random objects and comparing aeson and canonicalise are producing the same output
2021-01-20 19:54:30 +0100 <ezzieyguywuf> which does not have a key: JSString "\n"
2021-01-20 19:54:35 +0100 <merijn> The output from the failed test is a counterexample
2021-01-20 19:54:44 +0100 <merijn> i.e. an object where the equality does not hold
2021-01-20 19:55:06 +0100 <merijn> Which means that *something* changed in aeson in a way that broke the equality (since hackage-security hasn't changed)
2021-01-20 19:55:06 +0100 <ezzieyguywuf> merijn: indeed, so if you run it a few times, you should eventually get a failure on a JSString rather than the JSArray or JSObject
2021-01-20 19:55:26 +0100deviantfero(~deviantfe@190.150.27.58)
2021-01-20 19:55:58 +0100 <merijn> ezzieyguywuf: So what you wanna do is take the code on both sides of == and check what they generate for one of those broken inputs and why the results differ
2021-01-20 19:56:51 +0100 <merijn> I don't see any mention of changes in aeson's changelog, so that'd seem like an aeson regression
2021-01-20 19:57:00 +0100 <ezzieyguywuf> merijn: half a step ahead of you, already in ghci
2021-01-20 19:57:40 +0100 <ezzieyguywuf> merijn: thy do mention "Aeson no longer accepts unescaped control characters, thanks to Oleg Grenrus." in 1.5.0.0
2021-01-20 19:58:31 +0100 <ezzieyguywuf> I've gotten as far as this in ghci, but replicating the RHS is sort of a chore: eitherDecode (renderCanonicalJSON (JSString "\\n")) :: Either String Value
2021-01-20 19:58:45 +0100MarcelineVQ(~anja@198.254.199.42) (Ping timeout: 240 seconds)
2021-01-20 19:58:46 +0100 <ezzieyguywuf> but if I rerun with a single backslash, I get a Left rather than a Right and I think that's where the issue is
2021-01-20 19:59:18 +0100 <geekosaur> sounds likely, yes
2021-01-20 19:59:40 +0100 <ezzieyguywuf> hm...so the real issue is just that quickcheck doesn't know that
2021-01-20 19:59:47 +0100 <ezzieyguywuf> it doesn't know it has to escape the backslash
2021-01-20 20:00:18 +0100 <geekosaur> it doesn't see the backslash
2021-01-20 20:00:26 +0100 <geekosaur> that's inserted by a Show instance
2021-01-20 20:00:38 +0100 <geekosaur> it's an actual newline (chr 10)
2021-01-20 20:00:40 +0100lawid(~quassel@ipservice-092-209-135-162.092.209.pools.vodafone-ip.de) (Quit: lawid)
2021-01-20 20:01:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection)
2021-01-20 20:01:11 +0100coot(~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-01-20 20:01:43 +0100vappend(~ezrakilty@75-172-109-5.tukw.qwest.net)
2021-01-20 20:02:10 +0100 <ezzieyguywuf> hm, so probably it *is* a real bug in hackage-security then
2021-01-20 20:02:31 +0100 <geekosaur> or just a bug in the test, since QC generating random strings won't avoid control characters
2021-01-20 20:02:32 +0100berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2021-01-20 20:02:36 +0100 <merijn> No, looks more like a bug in the tests
2021-01-20 20:02:39 +0100lawid(~quassel@ipservice-092-209-135-162.092.209.pools.vodafone-ip.de)
2021-01-20 20:02:46 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-01-20 20:03:08 +0100 <merijn> ezzieyguywuf: As in, aeson was fixed to no longer allow control characters, but the check code for the test still allows that
2021-01-20 20:03:24 +0100 <ezzieyguywuf> hmmm
2021-01-20 20:03:28 +0100cheater(~user@unaffiliated/cheater)
2021-01-20 20:03:30 +0100berberman(~berberman@unaffiliated/berberman)
2021-01-20 20:03:31 +0100 <ezzieyguywuf> yes you're probably right
2021-01-20 20:03:39 +0100 <ezzieyguywuf> but that's what I was trying to patch in the test
2021-01-20 20:03:40 +0100 <merijn> ezzieyguywuf: So you get inequality because the generated inputs have control sequences, which the left side accepts, but aeson now rejects (and thus fails to parse)
2021-01-20 20:03:45 +0100 <ezzieyguywuf> I guess non-successfully
2021-01-20 20:03:54 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-01-20 20:04:22 +0100 <ezzieyguywuf> ah, so I have to "sanitize" the input before passing it to renderCanonicalJSON (which is what ultimately calls aeson I think)
2021-01-20 20:05:08 +0100 <merijn> ezzieyguywuf: Naah
2021-01-20 20:05:20 +0100 <merijn> ezzieyguywuf: What you wanna do is 1 of 2 things
2021-01-20 20:05:37 +0100 <merijn> 1) fix the arbitrary instance to stop generating strings with control sequences inside JSValue
2021-01-20 20:05:50 +0100 <ezzieyguywuf> yes I'll do that
2021-01-20 20:05:51 +0100shine44(b753a1ea@183.83.161.234)
2021-01-20 20:05:54 +0100 <geekosaur> I'd be really surprised if an actual JSON key contained a control character
2021-01-20 20:06:11 +0100vappend(~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 264 seconds)
2021-01-20 20:06:23 +0100 <merijn> 2) Keep it as-is and ensure the left side fails if they is a control character
2021-01-20 20:06:36 +0100 <geekosaur> although perhaps I shouldn't be given the kinds of nonsense we see these days
2021-01-20 20:07:01 +0100 <merijn> geekosaur: Let me introduce you to the hell that is "order-dependent JSON" ;)
2021-01-20 20:07:15 +0100shine44(b753a1ea@183.83.161.234) (Client Quit)
2021-01-20 20:08:05 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-01-20 20:08:40 +0100ukari(~ukari@unaffiliated/ukari)
2021-01-20 20:11:04 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135)
2021-01-20 20:11:56 +0100Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 265 seconds)
2021-01-20 20:17:07 +0100hackagesyb 0.7.2.1 - Scrap Your Boilerplate https://hackage.haskell.org/package/syb-0.7.2.1 (SergeyVinokurov)
2021-01-20 20:18:11 +0100pera(pera@gateway/vpn/mullvad/pera) (Ping timeout: 246 seconds)
2021-01-20 20:19:29 +0100geekosaur(82650c7c@130.101.12.124) (Ping timeout: 248 seconds)
2021-01-20 20:20:06 +0100pera(~pera@unaffiliated/pera)
2021-01-20 20:20:11 +0100oliver__(~oliver@pool-72-82-26-21.prvdri.fios.verizon.net)
2021-01-20 20:20:17 +0100oliver__bookshelf__
2021-01-20 20:20:22 +0100bookshelf__(~oliver@pool-72-82-26-21.prvdri.fios.verizon.net) ()
2021-01-20 20:20:33 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-01-20 20:20:56 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-01-20 20:23:35 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving)
2021-01-20 20:26:56 +0100 <ph88> is there any way to force stack to install into the global project when im inside an existing project ?
2021-01-20 20:28:45 +0100 <ph88> would like to generate some documentation in the CI and im not sure if its a good idea to install pandoc on the project
2021-01-20 20:31:59 +0100 <maerwald> cd into a temporary directory first
2021-01-20 20:32:35 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 264 seconds)
2021-01-20 20:32:59 +0100geekosaur(82650c7c@130.101.12.124)
2021-01-20 20:38:52 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-01-20 20:39:33 +0100 <ph88> oki ill try
2021-01-20 20:39:49 +0100jackk_Doe(~jackk@205.178.111.134) (Quit: Going offline, see ya! (www.adiirc.com))
2021-01-20 20:40:02 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-01-20 20:42:28 +0100 <ezzieyguywuf> yup, this fixes it https://dpaste.com/G76DG4K6J
2021-01-20 20:42:39 +0100 <ezzieyguywuf> again, hackey, but proves that the issue is indeed in the test code
2021-01-20 20:46:32 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 246 seconds)
2021-01-20 20:47:18 +0100acidjnk_new(~acidjnk@p200300d0c704e7363958b77079308a33.dip0.t-ipconnect.de)
2021-01-20 20:48:29 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-01-20 20:48:45 +0100pera(~pera@unaffiliated/pera) (Ping timeout: 256 seconds)
2021-01-20 20:49:27 +0100 <ph88> by the way .... if i do stack install pandoc in my project can that mess up my project in any way ?
2021-01-20 20:49:35 +0100deviantfero(~deviantfe@190.150.27.58) (Quit: WeeChat 3.0)
2021-01-20 20:50:45 +0100deviantfero(~deviantfe@190.150.27.58)
2021-01-20 20:52:43 +0100ixaxaar(~ixaxaar@49.207.210.215) (Ping timeout: 256 seconds)
2021-01-20 20:55:39 +0100mdunnio(~mdunnio@172.97.43.112) (Remote host closed the connection)
2021-01-20 20:56:53 +0100jameekim1(~jameekim@mx.nodaplife.me)
2021-01-20 20:59:27 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 21:01:05 +0100seveg(~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Ping timeout: 272 seconds)
2021-01-20 21:02:07 +0100mdunnio(~mdunnio@172.97.43.112)
2021-01-20 21:02:40 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-01-20 21:03:00 +0100deviantfero(~deviantfe@190.150.27.58) (Quit: WeeChat 3.0)
2021-01-20 21:03:18 +0100deviantfero(~deviantfe@190.150.27.58)
2021-01-20 21:03:52 +0100ukari(~ukari@unaffiliated/ukari)
2021-01-20 21:04:01 +0100mmmattyx(uid17782@gateway/web/irccloud.com/x-jsidkumscmhqzcdx)
2021-01-20 21:05:40 +0100jneira(501ca940@gateway/web/cgi-irc/kiwiirc.com/ip.80.28.169.64)
2021-01-20 21:05:53 +0100seveg(~gabriel@188-167-252-202.dynamic.chello.sk)
2021-01-20 21:08:26 +0100 <exarkun> How do I read this? `class Serialize k => StreamCipher k iv | k -> iv where`. I understand `Serialize k` to mean that `k` is a type with an instance of `Serialize`. I don't understand what's going on on the right of the `=>`. What's with the `|` and `->`?
2021-01-20 21:08:41 +0100deviantfero(~deviantfe@190.150.27.58) (Quit: WeeChat 3.0)
2021-01-20 21:08:44 +0100 <ski> it's a functional dependency
2021-01-20 21:08:59 +0100 <[exa]> exarkun: the `StreamCipher k iv` is a normal 2-parameter typeclass
2021-01-20 21:09:22 +0100 <[exa]> the rest behing | says that in various unsure situations, `iv` is completely determined by `k`
2021-01-20 21:09:27 +0100Deide(~Deide@217.155.19.23)
2021-01-20 21:09:46 +0100 <ski> it says that `k' functionally determines `iv', wrt to `StreamCipher k iv'. that means that for each `k', there can be at most one `iv' with an instance `StreamCipher k iv'
2021-01-20 21:10:28 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds)
2021-01-20 21:10:46 +0100 <exarkun> Aha. Thanks.
2021-01-20 21:11:37 +0100 <[exa]> (anyway I should always watch if ski is answering, I have no chance to compete with the precision. :] "in various unsure situations" would probably be better put as "for various ...")
2021-01-20 21:11:52 +0100 <ski> the effect of having the FD on the type class is : (a) it reduces ambiguity, when you use methods of the type class. when it has inferred `StreamCipher k iv0' and also `StreamCipher k iv1', it now knows that `iv0' and `iv1' must be equal, and so it can unify them, reducing the amount of type variables, and helping pinning down which instance to use for each particular use of a method (or of an overloaded
2021-01-20 21:11:58 +0100 <ski> operation using a method)
2021-01-20 21:12:17 +0100deviantfero(~deviantfe@190.150.27.58)
2021-01-20 21:13:02 +0100 <ski> and (b), in order to ensure that it's safe for it to force this unification, it disallows you from actually making two (or more) instances for `StreamCipher k iv', with the same `k', but different `iv's
2021-01-20 21:13:19 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-01-20 21:13:59 +0100conal(~conal@64.71.133.70) (Read error: Connection reset by peer)
2021-01-20 21:14:32 +0100 <ski> logically, you can express what the FD says as `forall k. unique iv. StreamCipher k iv' (where `unique' expresses "exists at most one"). another reformulation of that is `forall k iv0 iv1. (StreamCipher k iv0,StreamCipher k iv1) => iv0 = iv1'
2021-01-20 21:14:50 +0100 <ski> exarkun : making any sense ?
2021-01-20 21:15:05 +0100jespada(~jespada@90.254.241.81) (Ping timeout: 240 seconds)
2021-01-20 21:15:17 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl)
2021-01-20 21:15:17 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-01-20 21:15:17 +0100mouseghost(~draco@wikipedia/desperek)
2021-01-20 21:16:14 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-01-20 21:17:15 +0100 <exarkun> I think I follow the earlier part of the explanation. I don't have a great handle on `forall` yet and I've never seen `unique` before, but at some abstract level it seems to make sense.
2021-01-20 21:17:50 +0100jespada(~jespada@90.254.241.81)
2021-01-20 21:18:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection)
2021-01-20 21:18:07 +0100skinods
2021-01-20 21:18:24 +0100conal(~conal@64.71.133.70)
2021-01-20 21:18:51 +0100 <ski> `forall k. unique iv. StreamCipher k iv' in words reads as "for all types `k', there is at most on type `iv', such that there is an `StreamCipher k iv' instance"
2021-01-20 21:19:17 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-01-20 21:20:07 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-01-20 21:20:13 +0100 <ski> `forall k iv0 iv1. (StreamCipher k iv0,StreamCipher k iv1) => iv0 = iv1' reads "for all types `k',`iv0',`iv1' such that there are instances `StreamCipher k iv0' and `StreamCipher k iv1', `iv0' and `iv1' are equal" (so the two instances `StreamCipher k iv0' and `StreamCipher k iv1' must actually be the same instance, not two distinct ones)
2021-01-20 21:21:33 +0100deviantfero(~deviantfe@190.150.27.58) (Quit: WeeChat 3.0)
2021-01-20 21:21:50 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-01-20 21:21:54 +0100deviantfero(~deviantfe@190.150.27.58)
2021-01-20 21:22:01 +0100 <ezzieyguywuf> ph88: I think `stack install pandoc` will install it in `~/.stack` or something. shouldn't really mess up your poject
2021-01-20 21:22:07 +0100samlamamma(~user@83-92-112-87-cable.dk.customer.tdc.net)
2021-01-20 21:22:09 +0100 <ph88> oki
2021-01-20 21:22:15 +0100 <samlamamma> Reading this: https://en.wikibooks.org/wiki/Haskell/Monad_transformers
2021-01-20 21:22:28 +0100 <samlamamma> Specifically this line: do maybe_value <- runMaybeT x
2021-01-20 21:23:56 +0100 <samlamamma> I really don't get how runMaybeT "unwraps x into an m (Maybe a) computation". How does that work?
2021-01-20 21:25:01 +0100 <exarkun> ski: Thank you
2021-01-20 21:25:17 +0100 <ski> `x' has type `MaybeT m a', and so `runMaybeT x' has type `m (Maybe a)' (since that's how `MaybeT' is defined)
2021-01-20 21:25:45 +0100dennis_(~dennisb@89-160-106-195.cust.bredband2.com) (Quit: Leaving)
2021-01-20 21:25:48 +0100 <ski> so, after `maybe_value <- runMaybeT x', `maybe_value' will be a value of type `Maybe a'
2021-01-20 21:25:55 +0100 <ski> exarkun : np
2021-01-20 21:27:18 +0100deviantfero(~deviantfe@190.150.27.58) (Quit: WeeChat 3.0)
2021-01-20 21:27:24 +0100 <samlamamma> Right, runMaybeT is "a slot to MaybeT which holds a m (Maybe a)"?
2021-01-20 21:27:33 +0100 <ski> yes
2021-01-20 21:27:39 +0100deviantfero(~deviantfe@190.150.27.58)
2021-01-20 21:28:24 +0100deviantfero(~deviantfe@190.150.27.58) (Client Quit)
2021-01-20 21:28:39 +0100cole-h_(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-01-20 21:28:46 +0100deviantfero(~deviantfe@190.150.27.58)
2021-01-20 21:28:55 +0100deviantfero(~deviantfe@190.150.27.58) (Client Quit)
2021-01-20 21:29:16 +0100deviantfero(~deviantfe@190.150.27.58)
2021-01-20 21:29:30 +0100NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur) (Quit: WeeChat 2.9)
2021-01-20 21:29:37 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-01-20 21:30:05 +0100djbeau(~dbeaureg@148.87.23.13) (Ping timeout: 240 seconds)
2021-01-20 21:30:09 +0100 <dminuoso> samlamamma: Note that the prefix "run" is only used handwavingly. Here, it it just a field accessor/function that unwraps the newtype wrapper.
2021-01-20 21:30:13 +0100NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur)
2021-01-20 21:30:43 +0100 <dminuoso> It doesn't actually "do" anything
2021-01-20 21:31:40 +0100atraii(~atraii@2601:681:8800:3a87:c800:2de4:db0b:9f0)
2021-01-20 21:32:05 +0100djbeau(~dbeaureg@148.87.23.11)
2021-01-20 21:32:20 +0100 <davean> exactly true, except for where thats where it is caused to be forced.
2021-01-20 21:32:45 +0100 <davean> (I menat to include an 'often' in there)
2021-01-20 21:33:31 +0100 <monochrom> Sometimes I call it "un" instead of "run".
2021-01-20 21:33:41 +0100 <dminuoso> "get" is also frequently used
2021-01-20 21:33:59 +0100_d0t(void@gateway/vpn/mullvad/d0t/x-89419360)
2021-01-20 21:34:23 +0100 <ski> and `app'
2021-01-20 21:34:52 +0100 <_d0t> ohai! I'm using stack on nixos and when I run `stack build`, stack tries to pull a new copy of ghc from nixpkgs even though I have this version of ghc (albeit with a different hash) already installed. How can I prevent this?
2021-01-20 21:35:21 +0100 <dminuoso> _d0t: Do you have nix enabled in your stack.yaml?
2021-01-20 21:35:28 +0100 <dminuoso> Oh hold on
2021-01-20 21:35:31 +0100 <_d0t> dminuoso: it is enabled on nixos regardless
2021-01-20 21:35:36 +0100 <dminuoso> _d0t: If its a different hash, its not the same ghc.
2021-01-20 21:35:42 +0100 <dminuoso> That's the entire point of it.
2021-01-20 21:35:47 +0100 <maerwald> system-ghc: true
2021-01-20 21:36:11 +0100 <_d0t> dminuoso: how come? I don't think stackage references an exact nix hash. Am I wrong?
2021-01-20 21:36:15 +0100 <geekosaur> in particular anything binary it gets from the cache won't work
2021-01-20 21:36:25 +0100 <_d0t> maerwald: it's ignored
2021-01-20 21:36:45 +0100 <dminuoso> _d0t: Hard to say, I dont know how the ghc derivation works.
2021-01-20 21:36:58 +0100 <dminuoso> _d0t: But if the hash is different, at least *one* of the inputs to the derivation differs.
2021-01-20 21:37:03 +0100 <dminuoso> Which means it's not the same
2021-01-20 21:37:26 +0100 <_d0t> dminuoso: what do you mean differs? From what?
2021-01-20 21:37:39 +0100 <dminuoso> From your system installed ghc.
2021-01-20 21:38:22 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2021-01-20 21:38:32 +0100 <_d0t> dminuoso: I don't think I understand. Do you mean that my copy of stack, that I also pulled from the same nix cache, was built with a different ghc?
2021-01-20 21:38:56 +0100 <davean> No, the GHC being requested *does not have the same configuration* as the one on your system
2021-01-20 21:39:13 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2021-01-20 21:39:22 +0100 <_d0t> davean: ok, but why does stack care? Isn't the same version of ghc enough?
2021-01-20 21:39:25 +0100usr25_tm(~usr25@unaffiliated/usr25)
2021-01-20 21:39:36 +0100 <geekosaur> stack is all about caring about that
2021-01-20 21:39:50 +0100chele_(~chele@ip5b40237d.dynamic.kabel-deutschland.de)
2021-01-20 21:39:57 +0100vicfred_(~vicfred@unaffiliated/vicfred)
2021-01-20 21:40:00 +0100urodna__(~urodna@pool-108-53-252-14.nwrknj.fios.verizon.net)
2021-01-20 21:40:14 +0100dcoutts__(~duncan@33.14.75.194.dyn.plus.net)
2021-01-20 21:40:15 +0100 <dminuoso> _d0t: The stack/nix integration will use the exact GHC from nixpkgs that it wants, with the inputs that it wants.
2021-01-20 21:40:29 +0100 <dminuoso> And if stack requests a GHC with different inputs than what your system has installed, that brings in a different GHC.
2021-01-20 21:40:49 +0100 <_d0t> dminuoso: I think I got it. Thank you!
2021-01-20 21:41:07 +0100 <_d0t> I honestly thought it was only about ghc version and nothing else.
2021-01-20 21:41:10 +0100 <davean> This is the exact thing nixos does
2021-01-20 21:41:15 +0100poscat1(~poscat@221.217.131.44)
2021-01-20 21:41:40 +0100jespada_(~jespada@90.254.241.81)
2021-01-20 21:41:45 +0100zopsi_(zopsi@2600:3c00::f03c:91ff:fe14:551f)
2021-01-20 21:41:50 +0100 <geekosaur> haskell is heavily dependent on exact ABIs
2021-01-20 21:41:54 +0100poscat(~poscat@221.217.131.44) (Ping timeout: 256 seconds)
2021-01-20 21:41:54 +0100ukari(~ukari@unaffiliated/ukari) (Ping timeout: 256 seconds)
2021-01-20 21:41:54 +0100zopsi(~zopsi@irc.dir.ac) (Quit: Oops)
2021-01-20 21:41:54 +0100mawk(znc@serveur.io) (Remote host closed the connection)
2021-01-20 21:41:54 +0100sujeet(sujeet@unaffiliated/freeboson) (Read error: Connection reset by peer)
2021-01-20 21:41:54 +0100hyiltiz(~quassel@unaffiliated/hyiltiz) (Remote host closed the connection)
2021-01-20 21:42:00 +0100NieDzejkob(~quassel@188.123.215.55) (Remote host closed the connection)
2021-01-20 21:42:03 +0100 <geekosaur> or at least ghc is
2021-01-20 21:42:13 +0100ukari(~ukari@unaffiliated/ukari)
2021-01-20 21:42:15 +0100Varis(~Tadas@unaffiliated/varis) (Read error: Connection reset by peer)
2021-01-20 21:42:35 +0100jespada(~jespada@90.254.241.81) (Ping timeout: 256 seconds)
2021-01-20 21:42:35 +0100usr25(~usr25@unaffiliated/usr25) (Ping timeout: 256 seconds)
2021-01-20 21:42:35 +0100vicfred(~vicfred@unaffiliated/vicfred) (Ping timeout: 256 seconds)
2021-01-20 21:42:35 +0100urodna_(~urodna@unaffiliated/urodna) (Ping timeout: 256 seconds)
2021-01-20 21:42:35 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2021-01-20 21:42:35 +0100quicksilver(~jules@roobarb.crazydogs.org) (Ping timeout: 256 seconds)
2021-01-20 21:42:35 +0100dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 256 seconds)
2021-01-20 21:42:43 +0100quicksilver(~jules@roobarb.crazydogs.org)
2021-01-20 21:42:55 +0100sujeet(sujeet@unaffiliated/freeboson)
2021-01-20 21:43:06 +0100 <geekosaur> this is tracked by the hash, so stack will insist on the hash matching what it expects, not just the version because version doesn't necessarily fix the ABI in the presence of cross-module inlining
2021-01-20 21:43:07 +0100hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-01-20 21:43:11 +0100NieDzejkob(~quassel@188.123.215.55)
2021-01-20 21:43:14 +0100 <dminuoso> _d0t: It could be that it differs in some build flag, configuration of GHC, etc...
2021-01-20 21:43:24 +0100mawk(znc@serveur.io)
2021-01-20 21:44:20 +0100 <dminuoso> _d0t: You can compare the derivations in the nix store, and then see how they differ.
2021-01-20 21:44:31 +0100pera(pera@gateway/vpn/mullvad/pera)
2021-01-20 21:44:57 +0100 <dminuoso> https://github.com/Gabriel439/nix-diff might be of interest
2021-01-20 21:46:39 +0100mawk(znc@serveur.io) (Remote host closed the connection)
2021-01-20 21:48:42 +0100kini(~kini@unaffiliated/kini) (Ping timeout: 260 seconds)
2021-01-20 21:50:40 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-01-20 21:50:53 +0100kini(~kini@unaffiliated/kini)
2021-01-20 21:51:57 +0100vappend(~ezrakilty@75-172-109-5.tukw.qwest.net)
2021-01-20 21:53:23 +0100loller_(uid358106@gateway/web/irccloud.com/x-rbveqnsijpscqtso)
2021-01-20 21:54:02 +0100mawk(mawk@serveur.io)
2021-01-20 21:54:25 +0100mawkGuest96903
2021-01-20 21:55:00 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135)
2021-01-20 21:56:05 +0100vappend(~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 240 seconds)
2021-01-20 21:57:29 +0100 <exarkun> So before I go and build my own stream abstraction, _is_ there a medium-level AES-CTR library out there already? It seems like the choices are low-level (block interface) or very high-level (some specific protocol that's not just AES-CTR)?
2021-01-20 21:57:43 +0100johnw(~johnw@haskell/developer/johnw)
2021-01-20 21:58:00 +0100 <exarkun> I did find the StreamCipher class in cryptonite but I don't see that it has any actual instances
2021-01-20 21:58:22 +0100son0p(~son0p@181.136.122.143)
2021-01-20 21:58:54 +0100 <exarkun> (Also it has limited docs so I'm not actually sure what it's for either)
2021-01-20 21:58:58 +0100fangyrn(uid481529@gateway/web/irccloud.com/x-xesfsqwuqeiwgrpr) (Quit: Connection closed for inactivity)
2021-01-20 21:59:01 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-01-20 21:59:11 +0100bi_functor(~bi_functo@192-0-134-138.cpe.teksavvy.com)
2021-01-20 22:00:32 +0100_d0t(void@gateway/vpn/mullvad/d0t/x-89419360) (Quit: Konversation terminated!)
2021-01-20 22:00:34 +0100Guest96903mawk
2021-01-20 22:00:45 +0100 <davean> ts ... not a stream cypher?
2021-01-20 22:00:51 +0100 <davean> is a block cypher
2021-01-20 22:02:06 +0100 <exarkun> There seems to be disagreement over what to call it but you can certainly _use_ AES-CTR as a stream cipher.
2021-01-20 22:02:17 +0100 <exarkun> And lots of people do
2021-01-20 22:02:32 +0100 <exarkun> And the pre-existing protocol I am working with does
2021-01-20 22:03:11 +0100son0p(~son0p@181.136.122.143) (Ping timeout: 264 seconds)
2021-01-20 22:03:22 +0100 <davean> exarkun: how do you use it as a stream cypher? If you encrypt X bytes with it, you don't get X bytes out.
2021-01-20 22:03:44 +0100 <davean> I know of no way to make AES-CTR not block-sized
2021-01-20 22:04:04 +0100 <davean> if I encrypt 7 bits, how big will it be with AES-CTR?
2021-01-20 22:04:08 +0100son0p(~son0p@181.136.122.143)
2021-01-20 22:04:23 +0100 <exarkun> Why wouldn't you get 7 bits out?
2021-01-20 22:05:11 +0100kini(~kini@unaffiliated/kini) (Ping timeout: 260 seconds)
2021-01-20 22:05:12 +0100 <glguy> aes-ctr generates a pseudorandom stream you xor with your plaintext, the ct is thesame length
2021-01-20 22:05:42 +0100 <davean> ah right, ctr, this is why I don't do crypto :)
2021-01-20 22:06:01 +0100arkeet(arkeet@unaffiliated/arkeet) (Quit: ZNC - http://znc.sourceforge.net)
2021-01-20 22:06:44 +0100 <idnar> exarkun: https://hackage.haskell.org/package/cryptonite-0.27/docs/Crypto-Cipher-Types.html#v:ctrCombine
2021-01-20 22:07:29 +0100 <exarkun> idnar: Yea. I think that's a block-mode thing.
2021-01-20 22:09:07 +0100 <koz_> @pl \x -> bool Nothing (Just x) . f $ x
2021-01-20 22:09:07 +0100 <lambdabot> (. f) =<< bool Nothing . Just
2021-01-20 22:09:24 +0100 <koz_> :t guard
2021-01-20 22:09:26 +0100 <lambdabot> Alternative f => Bool -> f ()
2021-01-20 22:10:14 +0100atraii(~atraii@2601:681:8800:3a87:c800:2de4:db0b:9f0) (Ping timeout: 264 seconds)
2021-01-20 22:10:33 +0100conal(~conal@64.71.133.70)
2021-01-20 22:10:47 +0100 <koz_> @pl \x -> guard (f x) $> x
2021-01-20 22:10:48 +0100 <lambdabot> ($>) =<< guard . f
2021-01-20 22:11:02 +0100 <koz_> Wow, even more APLy.
2021-01-20 22:12:18 +0100geekosaur(82650c7c@130.101.12.124) (Quit: Ping timeout (120 seconds))
2021-01-20 22:12:37 +0100carlomagno(~cararell@148.87.23.9)
2021-01-20 22:13:49 +0100geekosaur(82650c7c@130.101.12.124)
2021-01-20 22:14:08 +0100 <idnar> exarkun: oh that doesn't return the updated "IV" :(
2021-01-20 22:14:37 +0100hackagewaargonaut 0.8.0.2 - JSON wrangling https://hackage.haskell.org/package/waargonaut-0.8.0.2 (topos)
2021-01-20 22:15:49 +0100p7lpa1ugixavugu(~atomic@2800:810:514:e7:cd02:ce51:d5ac:d9bf) (Ping timeout: 272 seconds)
2021-01-20 22:15:54 +0100 <exarkun> I mean, you could guess because the update is deterministic and simple (+= len(input) `div` blockSize)
2021-01-20 22:16:00 +0100ericsagnes(~ericsagne@2405:6580:0:5100:3a7c:5d06:5699:8d8b) (Ping timeout: 244 seconds)
2021-01-20 22:16:14 +0100 <exarkun> But I end up with the same bookkeeping hassle as I get with `ctr` (which does return the updated IV)
2021-01-20 22:17:05 +0100 <exarkun> If `length input `mod` blockSize /= 0` I have to take note of the offset, rewind the IV, and slice the overlap off the next piece of output
2021-01-20 22:17:53 +0100pera(pera@gateway/vpn/mullvad/pera) (Ping timeout: 246 seconds)
2021-01-20 22:18:11 +0100 <exarkun> or restructure this part of my code to get rid of the assumption that partial blocks are safe to handle, which is probably the most likely path...
2021-01-20 22:18:31 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-mgqwxumamesppfum)
2021-01-20 22:20:02 +0100kini(~kini@unaffiliated/kini)
2021-01-20 22:22:48 +0100zebrag(~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-01-20 22:23:07 +0100zebrag(~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr)
2021-01-20 22:25:35 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection)
2021-01-20 22:27:38 +0100kini(~kini@unaffiliated/kini) (Ping timeout: 264 seconds)
2021-01-20 22:28:22 +0100ubert(~Thunderbi@p200300ecdf1ee0b4ca5b76fffe29f233.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-01-20 22:28:44 +0100ericsagnes(~ericsagne@2405:6580:0:5100:956:5b56:4aff:9c50)
2021-01-20 22:30:29 +0100samlamamma(~user@83-92-112-87-cable.dk.customer.tdc.net) (Ping timeout: 256 seconds)
2021-01-20 22:31:27 +0100vappend(~ezrakilty@75-172-109-5.tukw.qwest.net)
2021-01-20 22:31:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-01-20 22:33:23 +0100p7lpa1ugixavugu(~atomic@2800:810:514:e7:106f:56:5b7:f864)
2021-01-20 22:33:32 +0100heatsink(~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135)
2021-01-20 22:35:45 +0100vappend(~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 240 seconds)
2021-01-20 22:36:05 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2021-01-20 22:36:59 +0100cole-h_cole-h
2021-01-20 22:37:18 +0100mirrorbird(~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0)
2021-01-20 22:37:21 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2021-01-20 22:38:36 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-01-20 22:39:11 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2021-01-20 22:41:39 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net)
2021-01-20 22:44:52 +0100texasmynsted(~texasmyns@99.96.221.112)
2021-01-20 22:44:53 +0100kini(~kini@unaffiliated/kini)
2021-01-20 22:45:53 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2021-01-20 22:48:22 +0100geekosaur(82650c7c@130.101.12.124) (Quit: Connection closed)
2021-01-20 22:52:06 +0100usr25_tm(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-01-20 22:54:20 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-01-20 22:54:58 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-01-20 22:55:13 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-01-20 22:55:28 +0100LKoen(~LKoen@16.175.9.109.rev.sfr.net)
2021-01-20 22:56:16 +0100conal(~conal@64.71.133.70)
2021-01-20 22:58:09 +0100hololeap(~hololeap@unaffiliated/hololeap) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/)
2021-01-20 22:58:28 +0100hololeap(~hololeap@unaffiliated/hololeap)
2021-01-20 22:59:10 +0100Guest77787(~textual@mskresolve-a.mskcc.org) (Ping timeout: 265 seconds)
2021-01-20 23:00:04 +0100conal_(~conal@64.71.133.70)
2021-01-20 23:00:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-20 23:00:29 +0100Rudd0(~Rudd0@185.189.115.103)
2021-01-20 23:00:37 +0100conal(~conal@64.71.133.70) (Ping timeout: 265 seconds)
2021-01-20 23:05:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-01-20 23:07:00 +0100conal_(~conal@64.71.133.70) (Read error: Connection reset by peer)
2021-01-20 23:08:31 +0100conal(~conal@64.71.133.70)
2021-01-20 23:11:08 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net)
2021-01-20 23:11:08 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-20 23:11:36 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-01-20 23:11:48 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-01-20 23:15:07 +0100knupfer(~Thunderbi@87.123.206.59) (Ping timeout: 265 seconds)
2021-01-20 23:15:38 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-01-20 23:18:59 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-01-20 23:21:11 +0100troydm(~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
2021-01-20 23:22:48 +0100zebrag(~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-01-20 23:23:06 +0100zebrag(~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr)
2021-01-20 23:23:38 +0100Ayo(~quassel@82.177.83.189)
2021-01-20 23:24:41 +0100troydm(~troydm@unaffiliated/troydm)
2021-01-20 23:25:27 +0100DDDD(~DDDD@h-190-15.A400.priv.bahnhof.se) (Ping timeout: 256 seconds)
2021-01-20 23:26:38 +0100hackagephonetic-languages-simplified-examples-common 0.1.1.0 - Some commonly used by phonetic-languages-simplified* series functions. https://hackage.haskell.org/package/phonetic-languages-simplified-examples-common-0.1.1.0 (OleksandrZhabenko)
2021-01-20 23:31:55 +0100cgadski(~cgadski@a95-95-106-208.cpe.netcabo.pt)
2021-01-20 23:35:28 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 260 seconds)
2021-01-20 23:36:10 +0100hyperisco(~hyperisco@104-195-141-253.cpe.teksavvy.com) (Ping timeout: 264 seconds)
2021-01-20 23:37:24 +0100bogdanp(~bogdanp@188.24.80.165)
2021-01-20 23:37:25 +0100ulidtko|k(~ulidtko@194.54.80.38) (Ping timeout: 240 seconds)
2021-01-20 23:38:04 +0100Tops2(~Tobias@dyndsl-095-033-093-030.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-01-20 23:40:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-20 23:40:37 +0100hackagephonetic-languages-simplified-examples-array 0.2.2.0 - Helps to create Ukrainian texts with the given phonetic properties. https://hackage.haskell.org/package/phonetic-languages-simplified-examples-array-0.2.2.0 (OleksandrZhabenko)
2021-01-20 23:41:41 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net) (Quit: ERC (IRC client for Emacs 27.1))
2021-01-20 23:42:11 +0100bogdanp(~bogdanp@188.24.80.165) (Ping timeout: 265 seconds)
2021-01-20 23:42:33 +0100son0p(~son0p@181.136.122.143) (Quit: Lost terminal)
2021-01-20 23:42:41 +0100sagax(~sagax_nb@213.138.71.146) (Ping timeout: 272 seconds)
2021-01-20 23:43:24 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-01-20 23:46:31 +0100ulidtko|k(~ulidtko@193.111.48.79)
2021-01-20 23:48:23 +0100bi_functor(~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 256 seconds)
2021-01-20 23:48:44 +0100mdunnio(~mdunnio@172.97.43.112) (Remote host closed the connection)
2021-01-20 23:48:44 +0100conal(~conal@64.71.133.70)
2021-01-20 23:49:52 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-01-20 23:49:58 +0100Laidroc(~ztang@2603-7081-0a02-9a00-0216-3eff-fe90-5680.res6.spectrum.com)
2021-01-20 23:50:43 +0100Guest59238zzz
2021-01-20 23:53:27 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net) (Ping timeout: 272 seconds)
2021-01-20 23:54:03 +0100ulidtko|k(~ulidtko@193.111.48.79) (Ping timeout: 256 seconds)
2021-01-20 23:55:46 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-01-20 23:58:13 +0100Laidroc(~ztang@2603-7081-0a02-9a00-0216-3eff-fe90-5680.res6.spectrum.com) (Quit: Leaving)
2021-01-20 23:58:21 +0100nineonin_(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-20 23:59:25 +0100 <xe4> when should you use MVar and when should you use IORef?