IRCBrowse

2021/04/16

2021-04-16 00:00:17 +0200xelxebar_(~xelxebar@gateway/tor-sasl/xelxebar)
2021-04-16 00:00:25 +0200Rudd0(~Rudd0@185.189.115.108)
2021-04-16 00:01:04 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-04-16 00:01:09 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds)
2021-04-16 00:01:11 +0200L1Cafe(~L1Cafe@kydara.com) (Ping timeout: 240 seconds)
2021-04-16 00:02:25 +0200 <maerwald> so yeah... the proper way would have been to fix PVP and then allow non-maintainer updates with revisions as proper part of the package version
2021-04-16 00:02:43 +0200 <maerwald> instead now revisions are something infrastructure specific...
2021-04-16 00:04:04 +0200fendor(~fendor@178.165.129.79.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-04-16 00:04:24 +0200kiweun(~kiweun@2607:fea8:2a62:9600:2b:3073:f6f8:6923) (Ping timeout: 258 seconds)
2021-04-16 00:06:55 +0200quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
2021-04-16 00:07:48 +0200Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-04-16 00:10:04 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77)
2021-04-16 00:10:26 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-04-16 00:10:33 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2021-04-16 00:11:01 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-16 00:12:21 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-16 00:13:08 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-16 00:14:22 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds)
2021-04-16 00:14:38 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-04-16 00:14:49 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-16 00:16:07 +0200L1Cafe(~L1Cafe@kydara.com)
2021-04-16 00:16:42 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-16 00:17:49 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:511c:6dec:57c0:cac4) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-16 00:19:25 +0200neiluj(~jco@unaffiliated/neiluj) (Ping timeout: 260 seconds)
2021-04-16 00:20:04 +0200jakalx(~jakalx@base.jakalx.net)
2021-04-16 00:21:21 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net) (Quit: Leaving)
2021-04-16 00:22:21 +0200Tario(~Tario@201.192.165.173)
2021-04-16 00:22:37 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-16 00:22:56 +0200fiedlr(~fiedlr@83.148.33.254) (Remote host closed the connection)
2021-04-16 00:28:07 +0200ddellacosta(~ddellacos@86.106.143.196)
2021-04-16 00:28:52 +0200kristijonas_(~kristijon@78-56-32-39.static.zebra.lt)
2021-04-16 00:29:14 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt) (Read error: Connection reset by peer)
2021-04-16 00:30:07 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Ping timeout: 260 seconds)
2021-04-16 00:32:40 +0200ddellacosta(~ddellacos@86.106.143.196) (Ping timeout: 252 seconds)
2021-04-16 00:33:52 +0200son0p(~ff@181.136.122.143) (Remote host closed the connection)
2021-04-16 00:35:27 +0200ph88(~ph88@2a02:8109:9e00:7e5c:4503:1bda:8362:f720)
2021-04-16 00:37:15 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Read error: Connection reset by peer)
2021-04-16 00:37:37 +0200friel-(Sputnik@cpe0c473d6a72b3-cm0c473d6a72b0.cpe.net.fido.ca)
2021-04-16 00:37:49 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-16 00:37:58 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2021-04-16 00:39:55 +0200ph88(~ph88@2a02:8109:9e00:7e5c:4503:1bda:8362:f720) (Ping timeout: 260 seconds)
2021-04-16 00:40:33 +0200Guest53443(~textual@mskresolve-a.mskcc.org) (Ping timeout: 240 seconds)
2021-04-16 00:42:45 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-16 00:43:19 +0200edge563(~edge563@gateway/tor-sasl/edge563) (Quit: edge563)
2021-04-16 00:44:46 +0200jao(~jao@pdpc/supporter/professional/jao) (Ping timeout: 252 seconds)
2021-04-16 00:44:46 +0200seanparsons(~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Ping timeout: 252 seconds)
2021-04-16 00:45:22 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-04-16 00:46:27 +0200kiweun(~kiweun@2607:fea8:2a62:9600:d9af:dd7d:b8a9:dce)
2021-04-16 00:47:14 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-16 00:47:17 +0200seanparsons(~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net)
2021-04-16 00:48:37 +0200jao(~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
2021-04-16 00:51:11 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77)
2021-04-16 00:51:53 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-16 00:52:04 +0200rprije(~rprije@59-102-63-15.tpgi.com.au)
2021-04-16 00:53:29 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-04-16 00:55:13 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds)
2021-04-16 00:55:49 +0200usr25(~J@33.red-83-63-129.staticip.rima-tde.net) (Ping timeout: 265 seconds)
2021-04-16 00:57:27 +0200dunj3(~dunj3@2001:16b8:30dd:8b00:33d6:e798:cf85:ced0) (Remote host closed the connection)
2021-04-16 00:58:02 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-16 01:00:56 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-16 01:02:22 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-16 01:03:12 +0200madjestic[m](madjesticm@gateway/shell/matrix.org/x-ktewxaguqqmdajwc)
2021-04-16 01:03:31 +0200mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-04-16 01:03:48 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-04-16 01:05:07 +0200epicte7us(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-16 01:06:06 +0200maroloccio(~marolocci@pousada3ja.mma.com.br) (Quit: WeeChat 3.1)
2021-04-16 01:06:10 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-16 01:06:23 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-04-16 01:06:27 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 265 seconds)
2021-04-16 01:07:52 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds)
2021-04-16 01:10:41 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-16 01:11:36 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-16 01:11:54 +0200pfurla_(~pfurla@216.151.180.220)
2021-04-16 01:12:20 +0200usr25(~J@132.pool85-48-187.static.orange.es)
2021-04-16 01:12:32 +0200usr25(~J@132.pool85-48-187.static.orange.es) (Read error: Connection reset by peer)
2021-04-16 01:14:06 +0200ph88(~ph88@2a02:8109:9e00:7e5c:4503:1bda:8362:f720)
2021-04-16 01:14:12 +0200vs^(vs@ip98-184-89-2.mc.at.cox.net) ()
2021-04-16 01:15:01 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-04-16 01:16:08 +0200Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-04-16 01:16:41 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-04-16 01:18:50 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-04-16 01:18:52 +0200eacameron(uid256985@gateway/web/irccloud.com/x-rzlatralzulvgovn) (Quit: Connection closed for inactivity)
2021-04-16 01:19:23 +0200dhil(~dhil@80.208.56.181) (Ping timeout: 268 seconds)
2021-04-16 01:19:29 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-16 01:27:08 +0200carlomagno(~cararell@148.87.23.7) (Remote host closed the connection)
2021-04-16 01:27:28 +0200Tario(~Tario@201.192.165.173)
2021-04-16 01:27:33 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-16 01:28:41 +0200carlomagno(~cararell@148.87.23.7)
2021-04-16 01:32:34 +0200carlomagno(~cararell@148.87.23.7) (Client Quit)
2021-04-16 01:33:55 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-16 01:36:20 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-16 01:36:23 +0200ph88(~ph88@2a02:8109:9e00:7e5c:4503:1bda:8362:f720) (Ping timeout: 260 seconds)
2021-04-16 01:36:38 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net)
2021-04-16 01:39:16 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-16 01:40:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 01:42:38 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-04-16 01:44:11 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-04-16 01:44:43 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-04-16 01:45:41 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-16 01:49:47 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 246 seconds)
2021-04-16 01:52:13 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-16 01:53:56 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-04-16 01:53:57 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-16 01:56:33 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-16 02:00:02 +0200Alleria(~textual@2603-7000-3040-0000-8949-8f11-a2f4-9520.res6.spectrum.com)
2021-04-16 02:00:26 +0200AlleriaGuest71715
2021-04-16 02:01:54 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b)
2021-04-16 02:02:16 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b) (Client Quit)
2021-04-16 02:03:14 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Remote host closed the connection)
2021-04-16 02:04:13 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-16 02:04:13 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b)
2021-04-16 02:04:23 +0200Guest71715(~textual@2603-7000-3040-0000-8949-8f11-a2f4-9520.res6.spectrum.com) (Ping timeout: 258 seconds)
2021-04-16 02:10:17 +0200desmond373(~circuser-@180.150.112.239)
2021-04-16 02:14:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-16 02:15:17 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-04-16 02:16:17 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-04-16 02:17:34 +0200acidjnk_new(~acidjnk@p200300d0c72b9573286e28f39b70c9d3.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-04-16 02:18:00 +0200acidjnk_new(~acidjnk@p200300d0c72b9573286e28f39b70c9d3.dip0.t-ipconnect.de)
2021-04-16 02:26:44 +0200slack1256(~slack1256@200-112-78-209.baf.movistar.cl)
2021-04-16 02:29:09 +0200ddellacosta(~ddellacos@86.106.143.248)
2021-04-16 02:33:32 +0200ddellacosta(~ddellacos@86.106.143.248) (Ping timeout: 246 seconds)
2021-04-16 02:37:35 +0200gawen(~gawen@movzbl.root.sx) (Quit: cya)
2021-04-16 02:38:14 +0200dpl(~dpl@77-121-78-163.chn.volia.net)
2021-04-16 02:40:20 +0200gawen(~gawen@movzbl.root.sx)
2021-04-16 02:41:22 +0200 <desmond373> is there some simple way to map a list of indicies to a list and return the list in the new order? e.g [0,1,3,2]->[1,2,3,4,5]->[1,2,4,3]]
2021-04-16 02:42:12 +0200 <Axman6> > let reorder is xs = map (xs !!) is
2021-04-16 02:42:14 +0200 <lambdabot> <no location info>: error:
2021-04-16 02:42:14 +0200 <lambdabot> not an expression: ‘let reorder is xs = map (xs !!) is’
2021-04-16 02:42:19 +0200v01d4lph4(~v01d4lph4@122.160.65.250)
2021-04-16 02:42:26 +0200 <Axman6> > let reorder is xs = map (xs !!) is in reorder [0,1,3,2] [1,2,3,4,5]
2021-04-16 02:42:28 +0200 <lambdabot> [1,2,4,3]
2021-04-16 02:42:30 +0200jophish(~joemonoid@li1766-207.members.linode.com) ("User left")
2021-04-16 02:44:26 +0200 <desmond373> thanks!
2021-04-16 02:47:34 +0200v01d4lph4(~v01d4lph4@122.160.65.250) (Ping timeout: 268 seconds)
2021-04-16 02:47:54 +0200thc202(~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds)
2021-04-16 02:56:18 +0200epicte7us(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-04-16 02:56:31 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-ylxdmaadjlaxocvo) ()
2021-04-16 02:57:16 +0200 <desmond373> it took me until just then to figure out how that works an now i feel stupid
2021-04-16 02:59:00 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-16 03:00:35 +0200ericsagnes(~ericsagne@2405:6580:0:5100:335e:738b:9066:e6) (Ping timeout: 248 seconds)
2021-04-16 03:01:13 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-16 03:05:33 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-16 03:07:27 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-16 03:08:26 +0200malumore(~malumore@151.62.126.218) (Ping timeout: 240 seconds)
2021-04-16 03:10:04 +0200viluon(uid453725@gateway/web/irccloud.com/x-sdeodmvqokbrtcvh) (Quit: Connection closed for inactivity)
2021-04-16 03:11:35 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b)
2021-04-16 03:11:48 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b) (Read error: Connection reset by peer)
2021-04-16 03:12:14 +0200dpl(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 268 seconds)
2021-04-16 03:13:04 +0200ericsagnes(~ericsagne@2405:6580:0:5100:fcb5:fe0b:76b4:5550)
2021-04-16 03:16:22 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-04-16 03:16:47 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-16 03:17:39 +0200xff0x(~xff0x@2001:1a81:5212:400:5254:5969:59c7:5023) (Ping timeout: 260 seconds)
2021-04-16 03:19:25 +0200xff0x(~xff0x@2001:1a81:5248:9d00:9381:fa96:9ca3:9618)
2021-04-16 03:20:10 +0200BalterNotz(790ddae7@121.13.218.231)
2021-04-16 03:22:32 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2021-04-16 03:25:27 +0200rajivr(uid269651@gateway/web/irccloud.com/x-grpkmlokorxpefir)
2021-04-16 03:27:52 +0200nineonin_(~nineonine@50.216.62.2) (Ping timeout: 240 seconds)
2021-04-16 03:28:37 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-04-16 03:30:23 +0200drbean_(~drbean@TC210-63-209-186.static.apol.com.tw)
2021-04-16 03:31:16 +0200nineonine(~nineonine@50.216.62.2)
2021-04-16 03:32:03 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-16 03:33:16 +0200ukari(~ukari@unaffiliated/ukari)
2021-04-16 03:39:23 +0200kiweun(~kiweun@2607:fea8:2a62:9600:d9af:dd7d:b8a9:dce) (Remote host closed the connection)
2021-04-16 03:40:31 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-16 03:44:59 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-04-16 03:46:12 +0200 <infinisil> Axman6: Huh, how does `is` work?
2021-04-16 03:47:42 +0200kiweun(~kiweun@2607:fea8:2a62:9600:cd10:8f6:88a1:a322)
2021-04-16 03:50:06 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-04-16 03:51:13 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds)
2021-04-16 03:51:55 +0200nvmd(~nvmd@177.30.111.232) (Quit: Later nerds.)
2021-04-16 03:53:37 +0200danso(~dan@23-233-111-52.cpe.pppoe.ca) (Ping timeout: 260 seconds)
2021-04-16 03:53:42 +0200BalterNotz(790ddae7@121.13.218.231) (Ping timeout: 240 seconds)
2021-04-16 03:53:45 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-04-16 03:55:24 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 268 seconds)
2021-04-16 03:58:20 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Remote host closed the connection)
2021-04-16 03:59:33 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77)
2021-04-16 04:00:30 +0200vicfred(~vicfred@unaffiliated/vicfred) (Remote host closed the connection)
2021-04-16 04:00:51 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-04-16 04:01:48 +0200vicfred(~vicfred@unaffiliated/vicfred) (Max SendQ exceeded)
2021-04-16 04:02:49 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-04-16 04:03:59 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds)
2021-04-16 04:06:06 +0200 <xsperry> infinisil, it is just a variable name (list of indices)
2021-04-16 04:06:26 +0200 <infinisil> Ohh lol, I see
2021-04-16 04:07:01 +0200 <infinisil> And here I thought it was some fancy weird Haskell feature for assigning values
2021-04-16 04:09:17 +0200__minoru__shirae(~shiraeesh@109.166.58.206)
2021-04-16 04:10:56 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 04:12:33 +0200vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-04-16 04:15:27 +0200glgirl(339ea683@gateway/web/cgi-irc/kiwiirc.com/ip.51.158.166.131)
2021-04-16 04:15:42 +0200 <glgirl> glguy: come give me a kiss
2021-04-16 04:15:46 +0200 <glgirl> im ur soulmate
2021-04-16 04:15:50 +0200 <glgirl> Uploaded file: https://uploads.kiwiirc.com/files/51ae74ae910573ebf8288299c7005f58/image.png
2021-04-16 04:15:53 +0200vicfred(vicfred@gateway/vpn/mullvad/vicfred)
2021-04-16 04:16:23 +0200esp32_prog(~esp32_pro@37.120.201.122) (Ping timeout: 268 seconds)
2021-04-16 04:18:52 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-16 04:19:13 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-16 04:23:11 +0200glgirlglgirl2
2021-04-16 04:23:39 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-04-16 04:24:22 +0200friel-(Sputnik@cpe0c473d6a72b3-cm0c473d6a72b0.cpe.net.fido.ca) (Remote host closed the connection)
2021-04-16 04:27:35 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-16 04:28:09 +0200ukari(~ukari@unaffiliated/ukari)
2021-04-16 04:28:58 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-16 04:30:02 +0200ChanServ+o edwardk
2021-04-16 04:31:08 +0200edwardk+b *!*@*/web/cgi-irc/kiwiirc.com/ip.51.158.166.131
2021-04-16 04:31:13 +0200glgirl2edwardkglgirl2
2021-04-16 04:31:13 +0200edwardk+b glgirl2!*@*
2021-04-16 04:36:25 +0200danso(~dan@23-233-111-52.cpe.pppoe.ca)
2021-04-16 04:36:30 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:11f1:9ae5:d0dd:a8b2)
2021-04-16 04:39:03 +0200 <Axman6> desmond373: obviously this function is unsafe, so use care
2021-04-16 04:40:45 +0200 <desmond373> yeah i was thinking of trying to throw a maybe in there to handle Indices that are too large, but i left it seeing as its just a practice problem.
2021-04-16 04:42:20 +0200nineonine(~nineonine@50.216.62.2) (Ping timeout: 246 seconds)
2021-04-16 04:44:55 +0200theDon(~td@94.134.91.244) (Ping timeout: 265 seconds)
2021-04-16 04:45:21 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-16 04:46:31 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-16 04:46:42 +0200theDon(~td@94.134.91.133)
2021-04-16 04:47:56 +0200desmond373(~circuser-@180.150.112.239) (Remote host closed the connection)
2021-04-16 04:49:10 +0200FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-04-16 04:49:10 +0200finn_elijaGuest63390
2021-04-16 04:49:10 +0200FinnElijafinn_elija
2021-04-16 04:49:41 +0200esp32_prog(~esp32_pro@37.120.201.122)
2021-04-16 04:52:21 +0200Guest63390(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-04-16 04:52:57 +0200ddellacosta(~ddellacos@86.106.143.196)
2021-04-16 04:53:12 +0200 <dmj`> edwardk:
2021-04-16 04:53:14 +0200 <dmj`> nice ban :)
2021-04-16 04:53:16 +0200 <dmj`> haha
2021-04-16 04:55:28 +0200egorbelibov(~65676f72@2001:8a0:5708:2a00:6084:24f9:c0d1:3aaf)
2021-04-16 04:56:21 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-04-16 04:57:35 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-16 04:57:46 +0200ddellacosta(~ddellacos@86.106.143.196) (Ping timeout: 252 seconds)
2021-04-16 04:59:02 +0200slack1256(~slack1256@200-112-78-209.baf.movistar.cl) (Remote host closed the connection)
2021-04-16 05:00:04 +0200Alleria(~textual@2603-7000-3040-0000-8949-8f11-a2f4-9520.res6.spectrum.com)
2021-04-16 05:00:19 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-16 05:00:27 +0200AlleriaGuest71948
2021-04-16 05:00:52 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds)
2021-04-16 05:01:21 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2021-04-16 05:04:27 +0200Guest71948(~textual@2603-7000-3040-0000-8949-8f11-a2f4-9520.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-04-16 05:05:29 +0200vicfred(vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-04-16 05:07:08 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net)
2021-04-16 05:09:47 +0200nineonine(~nineonine@50.216.62.2)
2021-04-16 05:10:02 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-04-16 05:13:34 +0200nineonine(~nineonine@50.216.62.2) (Remote host closed the connection)
2021-04-16 05:13:45 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-04-16 05:14:02 +0200nineonine(~nineonine@50.216.62.2)
2021-04-16 05:14:22 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-eeudlqiuuwrtzpbi) (Quit: Connection closed for inactivity)
2021-04-16 05:15:09 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-16 05:15:48 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:11f1:9ae5:d0dd:a8b2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-16 05:15:53 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-16 05:18:24 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77)
2021-04-16 05:18:31 +0200alx741(~alx741@181.196.68.193) (Quit: alx741)
2021-04-16 05:18:38 +0200desmond373(~desmond37@180.150.112.239)
2021-04-16 05:21:07 +0200esp32_prog(~esp32_pro@37.120.201.122) (Ping timeout: 268 seconds)
2021-04-16 05:21:51 +0200loller_(uid358106@gateway/web/irccloud.com/x-vwcbjpedwymxmltm) (Quit: Connection closed for inactivity)
2021-04-16 05:24:11 +0200puffnfresh1(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 240 seconds)
2021-04-16 05:27:02 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-16 05:31:13 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-16 05:31:32 +0200vicfred_(~vicfred@unaffiliated/vicfred)
2021-04-16 05:31:49 +0200apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-04-16 05:33:47 +0200vicfred(~vicfred@unaffiliated/vicfred) (Ping timeout: 246 seconds)
2021-04-16 05:34:04 +0200kayvan(~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 268 seconds)
2021-04-16 05:35:54 +0200kayvan(~user@52-119-115-185.PUBLIC.monkeybrains.net)
2021-04-16 05:37:04 +0200nyd(~nyd@unaffiliated/elysian)
2021-04-16 05:38:02 +0200Tario(~Tario@201.192.165.173)
2021-04-16 05:39:03 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds)
2021-04-16 05:39:19 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a582:5ae0:47b5:20e5)
2021-04-16 05:39:30 +0200vicfred__(~vicfred@unaffiliated/vicfred)
2021-04-16 05:41:18 +0200Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-04-16 05:42:26 +0200vicfred_(~vicfred@unaffiliated/vicfred) (Ping timeout: 265 seconds)
2021-04-16 05:42:56 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-04-16 05:45:14 +0200puffnfresh1(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-04-16 05:49:04 +0200Sonderblade(~helloman@2a02:aa1:100d:fe6f:6a75:3fbc:c81a:1def)
2021-04-16 05:53:47 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-04-16 05:54:07 +0200hyperisco_(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer)
2021-04-16 06:01:53 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-16 06:02:26 +0200apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 268 seconds)
2021-04-16 06:02:30 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-16 06:03:43 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-16 06:04:54 +0200vicfred__(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-04-16 06:07:04 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-16 06:11:46 +0200__minoru__shirae(~shiraeesh@109.166.58.206) (Ping timeout: 240 seconds)
2021-04-16 06:14:11 +0200JanBessa1(~JanB@85-22-17-38.ip.dokom21.de)
2021-04-16 06:16:55 +0200howdoi(uid224@gateway/web/irccloud.com/x-jxdeabbswteucrim)
2021-04-16 06:16:58 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-04-16 06:17:11 +0200JanBessai(~JanB@85-22-21-116.ip.dokom21.de) (Ping timeout: 240 seconds)
2021-04-16 06:19:38 +0200sgibber2018(d055ed90@208.85.237.144)
2021-04-16 06:24:46 +0200Stanley|00(~stanley00@unaffiliated/stanley00)
2021-04-16 06:25:29 +0200aerona(~aerona@2600:6c54:4600:f300:9051:460a:b720:8d59) (Quit: Leaving)
2021-04-16 06:26:49 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-16 06:26:53 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds)
2021-04-16 06:27:13 +0200ericsagnes(~ericsagne@2405:6580:0:5100:fcb5:fe0b:76b4:5550) (Ping timeout: 250 seconds)
2021-04-16 06:27:46 +0200ace89320(~ace89320@cpe-76-88-177-21.hawaii.res.rr.com)
2021-04-16 06:30:20 +0200kayvan(~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection)
2021-04-16 06:31:43 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a582:5ae0:47b5:20e5) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-16 06:34:50 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a582:5ae0:47b5:20e5)
2021-04-16 06:38:24 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-16 06:38:37 +0200hexable(~cmo@S010610561191f5d6.lb.shawcable.net)
2021-04-16 06:39:27 +0200ericsagnes(~ericsagne@2405:6580:0:5100:eb42:97e1:2138:8966)
2021-04-16 06:39:54 +0200hexable(~cmo@S010610561191f5d6.lb.shawcable.net) (Client Quit)
2021-04-16 06:40:20 +0200hexable(~cmo@S010610561191f5d6.lb.shawcable.net)
2021-04-16 06:40:27 +0200hexable(~cmo@S010610561191f5d6.lb.shawcable.net) (Remote host closed the connection)
2021-04-16 06:41:32 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 06:42:34 +0200sgibber2018(d055ed90@208.85.237.144) (Quit: Connection closed)
2021-04-16 06:42:44 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-04-16 06:44:23 +0200ericsagn1(~ericsagne@2405:6580:0:5100:cac:8636:1ade:e81c)
2021-04-16 06:44:59 +0200ericsagnes(~ericsagne@2405:6580:0:5100:eb42:97e1:2138:8966) (Ping timeout: 258 seconds)
2021-04-16 06:46:09 +0200zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-04-16 06:48:41 +0200horatiohb(~horatiohb@165.227.120.74) (Ping timeout: 268 seconds)
2021-04-16 06:49:13 +0200imes(~imes@120.89.104.111)
2021-04-16 06:52:32 +0200zaquest(~notzaques@5.128.210.178)
2021-04-16 06:54:14 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 268 seconds)
2021-04-16 06:55:41 +0200myShoggoth(~myShoggot@97-120-72-12.ptld.qwest.net) (Ping timeout: 260 seconds)
2021-04-16 06:58:01 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-16 06:58:33 +0200Tario(~Tario@201.192.165.173)
2021-04-16 07:01:55 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-mduldyizmjdpywto) (Quit: Connection closed for inactivity)
2021-04-16 07:02:37 +0200bobajett(~user@2001:470:0:301::1e)
2021-04-16 07:03:34 +0200imes(~imes@120.89.104.111) (Quit: Leaving)
2021-04-16 07:04:10 +0200tionos-(~tionos@2a0b:b7c4:1:731::1)
2021-04-16 07:04:11 +0200tionos(~tionos@we.like.to.party.intercop.de) (Ping timeout: 240 seconds)
2021-04-16 07:11:20 +0200ace89320(~ace89320@cpe-76-88-177-21.hawaii.res.rr.com) (Quit: leaving)
2021-04-16 07:13:43 +0200 <bobajett> hello, how can I write this function? foo ['a','b','c'] => [['A','b','c'], ['a','B','c], ['a','b','C']]
2021-04-16 07:14:36 +0200 <bobajett> in other words I want to map over the list, but return the mapped item along with the whole list
2021-04-16 07:15:38 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-16 07:18:22 +0200ddellacosta(~ddellacos@86.106.143.183)
2021-04-16 07:19:46 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-16 07:20:07 +0200nineonine(~nineonine@50.216.62.2) (Remote host closed the connection)
2021-04-16 07:21:03 +0200desmond373(~desmond37@180.150.112.239) (Remote host closed the connection)
2021-04-16 07:21:11 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Read error: No route to host)
2021-04-16 07:22:58 +0200ddellacosta(~ddellacos@86.106.143.183) (Ping timeout: 252 seconds)
2021-04-16 07:24:56 +0200Blkt(~Blkt@2a01:4f8:200:2425::adda) (Remote host closed the connection)
2021-04-16 07:25:12 +0200Blkt(~Blkt@2a01:4f8:200:2425::adda)
2021-04-16 07:26:17 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-16 07:28:26 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de)
2021-04-16 07:29:17 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 246 seconds)
2021-04-16 07:31:11 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-04-16 07:31:44 +0200grumble(~Thunderbi@freenode/staff/grumble) (Ping timeout: 608 seconds)
2021-04-16 07:31:53 +0200drbean_(~drbean@TC210-63-209-186.static.apol.com.tw) (Ping timeout: 240 seconds)
2021-04-16 07:34:49 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-16 07:37:35 +0200seveg(~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Ping timeout: 260 seconds)
2021-04-16 07:39:58 +0200seveg(~gabriel@188-167-252-202.dynamic.chello.sk)
2021-04-16 07:40:08 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-04-16 07:42:26 +0200drbean_(~drbean@TC210-63-209-87.static.apol.com.tw)
2021-04-16 07:44:13 +0200pfurla_(~pfurla@216.151.180.220) (Ping timeout: 240 seconds)
2021-04-16 07:45:18 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-04-16 07:46:19 +0200 <gnumonic> bobajett i think this does what you want (although i don't think it's very efficient) https://gist.github.com/gnumonik/1ae4bb58f2535ebbe1deff0129fbb1fc
2021-04-16 07:47:27 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-16 07:49:18 +0200wonko7(~wonko7@62.115.229.50)
2021-04-16 07:54:53 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:a582:5ae0:47b5:20e5) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-16 07:55:41 +0200jao(~jao@pdpc/supporter/professional/jao) (Ping timeout: 240 seconds)
2021-04-16 07:55:48 +0200monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2021-04-16 07:55:50 +0200 <bobajett> @gnumonic thanks! This looks a little complicated to newbie me. I was wondering if there was some idiomatic solution to such problems.
2021-04-16 07:55:50 +0200 <lambdabot> Unknown command, try @list
2021-04-16 07:55:52 +0200v01d4lph4(~v01d4lph4@122.160.65.250)
2021-04-16 07:55:59 +0200 <bobajett> I came up with:
2021-04-16 07:56:25 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-16 07:56:31 +0200 <bobajett> someFunc xs = map (\(i, x) -> replace xs i (toUpper x)) $ zip [1..] xs
2021-04-16 07:56:53 +0200 <bobajett> replace xs i y = take (i-1) xs ++ [y] ++ drop i xs
2021-04-16 07:59:14 +0200Sonderblade(~helloman@2a02:aa1:100d:fe6f:6a75:3fbc:c81a:1def) (Quit: Konversation terminated!)
2021-04-16 07:59:36 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds)
2021-04-16 08:00:38 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-16 08:03:29 +0200 <dmwit> > [pre ++ toUpper mid ++ post | pre <- inits "abc" | mid:post <- tails "abc"]
2021-04-16 08:03:31 +0200 <lambdabot> error:
2021-04-16 08:03:31 +0200 <lambdabot> • Couldn't match expected type ‘[Char]’ with actual type ‘Char’
2021-04-16 08:03:31 +0200 <lambdabot> • In the first argument of ‘(++)’, namely ‘toUpper mid’
2021-04-16 08:03:40 +0200 <dmwit> > [pre ++ [toUpper mid] ++ post | pre <- inits "abc" | mid:post <- tails "abc"]
2021-04-16 08:03:42 +0200 <lambdabot> ["Abc","aBc","abC"]
2021-04-16 08:03:44 +0200 <gnumonic> well that's shorter than what I did :P My intuition is that it's probably not a function where you'd reach for map. I mean the part that makes the uppercase chars is map-ey (there's probably a mapwithindex function somewhere that'd be good for that)
2021-04-16 08:03:47 +0200 <dmwit> bobajett: ^
2021-04-16 08:05:07 +0200 <dmwit> Usually indexing is a sign you're Doing It Wrong.
2021-04-16 08:05:34 +0200 <gnumonic> actually yeah that list comprehension solution is probably the best. i need to use those more. i know how they work and all but a comprehension is almost never the first thing that occurs to me
2021-04-16 08:09:37 +0200 <bobajett> dmwit: Nice! thanks!
2021-04-16 08:12:58 +0200monochrom(trebla@216.138.220.146)
2021-04-16 08:13:59 +0200bobajett(~user@2001:470:0:301::1e) (Quit: ERC Version 5.3 (IRC client for Emacs))
2021-04-16 08:13:59 +0200qwerty2o(~qwerty2o@93-172-139-92.bb.netvision.net.il)
2021-04-16 08:14:04 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77)
2021-04-16 08:15:14 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-04-16 08:15:53 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-04-16 08:16:46 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds)
2021-04-16 08:18:31 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds)
2021-04-16 08:22:18 +0200_xor(~xor@74.215.46.133) (Ping timeout: 240 seconds)
2021-04-16 08:23:53 +0200_xor(~xor@74.215.46.133)
2021-04-16 08:26:55 +0200ambiso99211(~ambiso@209.182.239.205) (Quit: Ping timeout (120 seconds))
2021-04-16 08:27:10 +0200ambiso99211(~ambiso@209.182.239.205)
2021-04-16 08:27:19 +0200michalz(~user@185.246.204.56)
2021-04-16 08:30:29 +0200chele(~chele@5.53.222.202)
2021-04-16 08:32:02 +0200malumore(~malumore@151.62.123.125)
2021-04-16 08:32:25 +0200malumore(~malumore@151.62.123.125) (Remote host closed the connection)
2021-04-16 08:32:43 +0200malumore(~malumore@151.62.123.125)
2021-04-16 08:33:50 +0200ddellacosta(~ddellacos@86.106.143.40)
2021-04-16 08:36:32 +0200magthe(~magthe@c83-252-48-230.bredband.comhem.se)
2021-04-16 08:37:25 +0200tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io) (Remote host closed the connection)
2021-04-16 08:37:52 +0200ddellacosta(~ddellacos@86.106.143.40) (Ping timeout: 240 seconds)
2021-04-16 08:39:58 +0200echoreply(~echoreply@unaffiliated/echoreply) (Quit: WeeChat 1.9.1)
2021-04-16 08:40:26 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-04-16 08:40:27 +0200echoreply(~echoreply@unaffiliated/echoreply)
2021-04-16 08:40:33 +0200tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io)
2021-04-16 08:40:37 +0200nineonine(~nineonine@50.216.62.2)
2021-04-16 08:40:51 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-04-16 08:43:45 +0200nineonine(~nineonine@50.216.62.2) (Remote host closed the connection)
2021-04-16 08:44:23 +0200nineonine(~nineonine@50.216.62.2)
2021-04-16 08:47:28 +0200Sorny(~Sornaensi@077213199124.dynamic.telenor.dk)
2021-04-16 08:52:08 +0200Sornaensis(~Sornaensi@79.142.232.102)
2021-04-16 08:53:35 +0200Varis(~Tadas@unaffiliated/varis)
2021-04-16 08:54:26 +0200Sorny(~Sornaensi@077213199124.dynamic.telenor.dk) (Ping timeout: 240 seconds)
2021-04-16 08:57:03 +0200 <glguy> % let thing f xs = [xs | (xs, True) <- runStateT (traverse (\x -> StateT $ \s -> [(f x, True) | not s] ++ [(x, s)]) xs) False] in thing toUpper "abc"
2021-04-16 08:57:03 +0200 <yahb> glguy: ["Abc","aBc","abC"]
2021-04-16 08:57:15 +0200 <glguy> Weee
2021-04-16 08:57:34 +0200knupfer(~Thunderbi@200116b82be894004c696bfffe2c72c9.dip.versatel-1u1.de)
2021-04-16 08:57:36 +0200 <gnumonic> welp that's the idiomatic solution :P
2021-04-16 08:57:51 +0200 <glguy> That was hard to do on a phone
2021-04-16 08:57:52 +0200knupfer(~Thunderbi@200116b82be894004c696bfffe2c72c9.dip.versatel-1u1.de) (Client Quit)
2021-04-16 08:58:04 +0200knupfer(~Thunderbi@200116b82be894005038e5d10273cf38.dip.versatel-1u1.de)
2021-04-16 08:58:38 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-04-16 08:59:17 +0200heebo(~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net)
2021-04-16 08:59:41 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 240 seconds)
2021-04-16 08:59:46 +0200 <glguy> I like the inits/tails solution better, of course
2021-04-16 09:01:21 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-16 09:01:45 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection)
2021-04-16 09:01:48 +0200 <gnumonic> now i feel like my solution is boring :-( time to see if i can do it with the store comonad. or at the type level. or...
2021-04-16 09:02:11 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-16 09:02:26 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds)
2021-04-16 09:04:28 +0200s00pcan(~chris@107.181.165.217)
2021-04-16 09:07:08 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-16 09:09:29 +0200ddellacosta(~ddellacos@83.143.246.110)
2021-04-16 09:12:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 09:13:58 +0200ddellacosta(~ddellacos@83.143.246.110) (Ping timeout: 240 seconds)
2021-04-16 09:14:56 +0200magthe(~magthe@c83-252-48-230.bredband.comhem.se) (Quit: WeeChat 3.1)
2021-04-16 09:16:53 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection)
2021-04-16 09:16:56 +0200vilpan(~0@212.117.1.172)
2021-04-16 09:17:32 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net)
2021-04-16 09:21:30 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-16 09:23:12 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-04-16 09:25:48 +0200darkon(~darkon@90.212.77.86)
2021-04-16 09:26:18 +0200dpl(~dpl@77-121-78-163.chn.volia.net)
2021-04-16 09:27:39 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-16 09:27:40 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-16 09:27:56 +0200knupfer(~Thunderbi@200116b82be894005038e5d10273cf38.dip.versatel-1u1.de) (Remote host closed the connection)
2021-04-16 09:32:01 +0200s00pcan(~chris@107.181.165.217) (Ping timeout: 265 seconds)
2021-04-16 09:32:07 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-16 09:32:26 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-16 09:32:30 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 265 seconds)
2021-04-16 09:33:07 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:d1b3:8e6:fe83:6a87) (Ping timeout: 250 seconds)
2021-04-16 09:33:53 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com)
2021-04-16 09:34:58 +0200nineonine(~nineonine@50.216.62.2) (Ping timeout: 252 seconds)
2021-04-16 09:35:19 +0200jophish(~joemonoid@li1766-207.members.linode.com)
2021-04-16 09:36:27 +0200jophish__(ca536851@202.83.104.81)
2021-04-16 09:37:03 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-04-16 09:38:44 +0200knupfer(~Thunderbi@200116b82be894005038e5d10273cf38.dip.versatel-1u1.de)
2021-04-16 09:39:15 +0200jophish__(ca536851@202.83.104.81) (Client Quit)
2021-04-16 09:39:17 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:3c9f:7dbb:c98e:3fdd)
2021-04-16 09:40:41 +0200chele_(~chele@5.53.222.202)
2021-04-16 09:41:22 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
2021-04-16 09:41:35 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-04-16 09:42:53 +0200chele(~chele@5.53.222.202) (Ping timeout: 240 seconds)
2021-04-16 09:44:30 +0200 <gnumonic> comonad solution. actually i kinda like this https://gist.github.com/gnumonik/5e1682b6ec02e25c1bbdf97b4811ee00
2021-04-16 09:45:02 +0200 <gnumonic> store comonad is a good comonad
2021-04-16 09:45:21 +0200chele_chele
2021-04-16 09:46:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-16 09:48:19 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-16 09:49:09 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds)
2021-04-16 09:52:47 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-04-16 09:54:41 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 240 seconds)
2021-04-16 09:54:52 +0200__minoru__shirae(~shiraeesh@109.166.58.206)
2021-04-16 09:55:56 +0200ph88(~ph88@2a02:8109:9e00:7e5c:4503:1bda:8362:f720)
2021-04-16 10:00:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 10:01:15 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-04-16 10:02:04 +0200motersen(~motersen@gateway/tor-sasl/motersen) (Remote host closed the connection)
2021-04-16 10:03:07 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-04-16 10:05:32 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-16 10:05:34 +0200fendor(~fendor@178.165.131.109.wireless.dyn.drei.com)
2021-04-16 10:06:26 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 246 seconds)
2021-04-16 10:06:59 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga)
2021-04-16 10:09:20 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-16 10:09:33 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-04-16 10:10:10 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 252 seconds)
2021-04-16 10:10:39 +0200freeman42x(~40726@2a02:2f0c:5a03:4a00:fd37:92df:20ce:93e3)
2021-04-16 10:10:55 +0200freeman42x(~40726@2a02:2f0c:5a03:4a00:fd37:92df:20ce:93e3) (Max SendQ exceeded)
2021-04-16 10:12:25 +0200Stanley|00Stanley00
2021-04-16 10:12:26 +0200freeman42x(~40726@2a02:2f0c:5a03:4a00:fd37:92df:20ce:93e3)
2021-04-16 10:12:44 +0200__minoru__shirae(~shiraeesh@109.166.58.206) (Ping timeout: 246 seconds)
2021-04-16 10:13:16 +0200hahalps(284a4c12@40.74.76.18)
2021-04-16 10:13:27 +0200notzmv(~zmv@unaffiliated/zmv)
2021-04-16 10:13:33 +0200jophish(~joemonoid@li1766-207.members.linode.com) (Quit: Bridge terminating on SIGTERM)
2021-04-16 10:14:12 +0200gitgood(~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Quit: Probably away to do something really awesome)
2021-04-16 10:14:18 +0200hahalps(284a4c12@40.74.76.18) (Client Quit)
2021-04-16 10:14:32 +0200hahalps(284a4c12@40.74.76.18)
2021-04-16 10:15:53 +0200qwerty2o(~qwerty2o@93-172-139-92.bb.netvision.net.il) (Ping timeout: 246 seconds)
2021-04-16 10:18:08 +0200thc202(~thc202@unaffiliated/thc202)
2021-04-16 10:19:32 +0200howdoi(uid224@gateway/web/irccloud.com/x-jxdeabbswteucrim) (Quit: Connection closed for inactivity)
2021-04-16 10:20:12 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-04-16 10:21:04 +0200__minoru__shirae(~shiraeesh@109.166.58.206)
2021-04-16 10:22:04 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-16 10:22:35 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net)
2021-04-16 10:23:56 +0200ph88(~ph88@2a02:8109:9e00:7e5c:4503:1bda:8362:f720) (Quit: Leaving)
2021-04-16 10:24:04 +0200drbean_(~drbean@TC210-63-209-87.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-04-16 10:26:04 +0200ddellacosta(~ddellacos@86.106.143.118)
2021-04-16 10:29:04 +0200rdd(~rdd@c-407ce255.012-81-73746f39.cust.ownit.se)
2021-04-16 10:30:18 +0200ddellacosta(~ddellacos@86.106.143.118) (Ping timeout: 252 seconds)
2021-04-16 10:35:16 +0200esp32_prog(~esp32_pro@37.120.201.122)
2021-04-16 10:38:41 +0200heebo(~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) (Ping timeout: 240 seconds)
2021-04-16 10:40:42 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Remote host closed the connection)
2021-04-16 10:41:01 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-04-16 10:44:36 +0200xourt(d4c620ea@212-198-32-234.rev.numericable.fr)
2021-04-16 10:44:48 +0200xourt(d4c620ea@212-198-32-234.rev.numericable.fr) (Client Quit)
2021-04-16 10:47:44 +0200kuribas(~user@ptr-25vy0i78n44u7lpjmac.18120a2.ip6.access.telenet.be)
2021-04-16 10:48:27 +0200ericsagn1(~ericsagne@2405:6580:0:5100:cac:8636:1ade:e81c) (Ping timeout: 260 seconds)
2021-04-16 10:53:22 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net)
2021-04-16 10:55:26 +0200esp32_prog(~esp32_pro@37.120.201.122) (Ping timeout: 260 seconds)
2021-04-16 10:57:46 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-16 10:58:34 +0200hahalps(284a4c12@40.74.76.18) (Quit: Connection closed)
2021-04-16 11:00:03 +0200my_name_is_not_j(mynameisno@gateway/shell/matrix.org/x-luedefgkawhdrktp) (Quit: Idle for 30+ days)
2021-04-16 11:00:23 +0200esp32_prog(~esp32_pro@37.120.201.122)
2021-04-16 11:00:47 +0200vilpan(~0@212.117.1.172) ()
2021-04-16 11:00:51 +0200ericsagn1(~ericsagne@2405:6580:0:5100:4a57:5ae3:5d9f:3382)
2021-04-16 11:02:25 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-16 11:03:55 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-16 11:06:04 +0200esp32_prog(~esp32_pro@37.120.201.122) (Remote host closed the connection)
2021-04-16 11:06:16 +0200mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 252 seconds)
2021-04-16 11:07:41 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-16 11:08:26 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer)
2021-04-16 11:08:32 +0200mrchampion(~mrchampio@38.18.109.23)
2021-04-16 11:10:44 +0200darko_(~darkon@90.212.77.86)
2021-04-16 11:13:13 +0200darkon(~darkon@90.212.77.86) (Ping timeout: 260 seconds)
2021-04-16 11:14:31 +0200cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 252 seconds)
2021-04-16 11:16:05 +0200dave_uy(~david@108.61.193.26) (Ping timeout: 246 seconds)
2021-04-16 11:16:18 +0200dave_uy5(~david@108.61.193.26)
2021-04-16 11:26:01 +0200quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in)
2021-04-16 11:26:11 +0200__minoru__shirae(~shiraeesh@109.166.58.206) (Ping timeout: 268 seconds)
2021-04-16 11:29:09 +0200DavidEichmann(~david@47.27.93.209.dyn.plus.net)
2021-04-16 11:32:10 +0200blissful(~blissful@unaffiliated/azuline) (Quit: owo)
2021-04-16 11:32:31 +0200blissful(~blissful@unaffiliated/azuline)
2021-04-16 11:33:06 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-16 11:33:26 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-16 11:33:33 +0200Chai-T-Rex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds)
2021-04-16 11:33:36 +0200ddellacosta(~ddellacos@86.106.143.92)
2021-04-16 11:34:04 +0200Chai-T-Rex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-04-16 11:35:07 +0200__minoru__shirae(~shiraeesh@109.166.58.206)
2021-04-16 11:35:09 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2021-04-16 11:36:03 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2021-04-16 11:38:08 +0200ddellacosta(~ddellacos@86.106.143.92) (Ping timeout: 252 seconds)
2021-04-16 11:42:15 +0200fiedlr(~fiedlr@83.148.33.254) (Remote host closed the connection)
2021-04-16 11:42:31 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-16 11:46:34 +0200__minoru__shirae(~shiraeesh@109.166.58.206) (Ping timeout: 252 seconds)
2021-04-16 11:47:07 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-16 11:47:15 +0200hiroaki_(~hiroaki@2a02:908:4b18:8c40:8064:bb06:bb40:a0be) (Ping timeout: 260 seconds)
2021-04-16 11:49:06 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-16 11:51:10 +0200Feuermagier(~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e)
2021-04-16 11:54:48 +0200Maxdamantus(~Maxdamant@unaffiliated/maxdamantus) (Quit: Lost terminal)
2021-04-16 11:55:06 +0200ericsagn1(~ericsagne@2405:6580:0:5100:4a57:5ae3:5d9f:3382) (Ping timeout: 258 seconds)
2021-04-16 11:55:14 +0200Maxdamantus(~Maxdamant@unaffiliated/maxdamantus)
2021-04-16 11:57:23 +0200ubert1(~Thunderbi@91.141.0.255.wireless.dyn.drei.com)
2021-04-16 11:58:46 +0200hiroaki_(~hiroaki@2a02:908:4b18:8c40:8c7f:db9f:4c52:d3d3)
2021-04-16 12:01:16 +0200pierremoine(d466243c@212.102.36.60)
2021-04-16 12:01:22 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 265 seconds)
2021-04-16 12:02:01 +0200pierremoine(d466243c@212.102.36.60) ()
2021-04-16 12:03:00 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-04-16 12:04:04 +0200ubert(~Thunderbi@178.115.128.32.wireless.dyn.drei.com)
2021-04-16 12:04:25 +0200ubert1(~Thunderbi@91.141.0.255.wireless.dyn.drei.com) (Ping timeout: 268 seconds)
2021-04-16 12:04:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-16 12:05:57 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 12:06:53 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-04-16 12:07:11 +0200ericsagn1(~ericsagne@2405:6580:0:5100:2a0f:6893:58ea:35ea)
2021-04-16 12:08:47 +0200Rudd0(~Rudd0@185.189.115.103)
2021-04-16 12:08:58 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-16 12:09:35 +0200RusAlex(~Chel@unaffiliated/rusalex) (Ping timeout: 265 seconds)
2021-04-16 12:09:54 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-04-16 12:11:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-16 12:11:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 12:13:41 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-16 12:13:52 +0200dhil(~dhil@80.208.56.181)
2021-04-16 12:15:13 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-16 12:15:49 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77)
2021-04-16 12:16:36 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-16 12:16:38 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-16 12:17:30 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 12:18:09 +0200RusAlex(~Chel@unaffiliated/rusalex)
2021-04-16 12:20:24 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds)
2021-04-16 12:20:54 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-16 12:21:40 +0200ukari(~ukari@unaffiliated/ukari)
2021-04-16 12:24:58 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-04-16 12:25:01 +0200thevishy(~Nishant@117.216.194.189)
2021-04-16 12:27:53 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-04-16 12:28:48 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 12:29:28 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-04-16 12:30:33 +0200Natch(~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection)
2021-04-16 12:33:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-16 12:34:01 +0200Alleria(~textual@zrcout.mskcc.org)
2021-04-16 12:34:04 +0200gawen(~gawen@movzbl.root.sx) (Quit: cya)
2021-04-16 12:34:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 12:34:26 +0200AlleriaGuest46592
2021-04-16 12:34:26 +0200gawen(~gawen@movzbl.root.sx)
2021-04-16 12:35:16 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-04-16 12:35:18 +0200MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾)
2021-04-16 12:35:56 +0200MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru)
2021-04-16 12:36:18 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-04-16 12:38:31 +0200glguy(x@freenode/staff/haskell.developer.glguy) (Read error: Connection reset by peer)
2021-04-16 12:39:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-16 12:40:09 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-16 12:40:19 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 12:44:11 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 240 seconds)
2021-04-16 12:44:11 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-16 12:45:12 +0200thblt(~thblt@unaffiliated/thblt)
2021-04-16 12:47:38 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-16 12:48:51 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-16 12:50:04 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-04-16 12:51:19 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-16 12:51:43 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 12:51:52 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-16 12:52:10 +0200ubert(~Thunderbi@178.115.128.32.wireless.dyn.drei.com) (Remote host closed the connection)
2021-04-16 12:55:50 +0200DavidEichmann(~david@47.27.93.209.dyn.plus.net) (Ping timeout: 246 seconds)
2021-04-16 12:57:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-04-16 12:57:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 12:57:57 +0200unyu(~pyon@unaffiliated/pyon)
2021-04-16 12:59:36 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-16 12:59:58 +0200UmlGG(2505f1ad@ip2505f1ad.dynamic.kabel-deutschland.de)
2021-04-16 13:00:59 +0200fiedlr(~fiedlr@83.148.33.254) (Remote host closed the connection)
2021-04-16 13:01:33 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-16 13:02:24 +0200ukari(~ukari@unaffiliated/ukari)
2021-04-16 13:04:51 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-04-16 13:05:11 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-16 13:05:27 +0200Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-04-16 13:06:06 +0200vk3fajo(~vk3fajo@pa49-183-165-249.pa.vic.optusnet.com.au)
2021-04-16 13:06:06 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-04-16 13:07:08 +0200DavidEichmann(~david@147.136.46.217.dyn.plus.net)
2021-04-16 13:15:39 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-16 13:19:59 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-16 13:20:50 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:441:ad95:9496:73d9)
2021-04-16 13:23:46 +0200cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 252 seconds)
2021-04-16 13:24:11 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-04-16 13:25:17 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-16 13:25:54 +0200drbean_(~drbean@TC210-63-209-13.static.apol.com.tw)
2021-04-16 13:26:45 +0200 <kuribas> I am wondering if "lmap f" can be more descriptive than (. f) in some cases...
2021-04-16 13:27:07 +0200knupfer(~Thunderbi@200116b82be894005038e5d10273cf38.dip.versatel-1u1.de) (Quit: knupfer)
2021-04-16 13:27:39 +0200knupfer(~Thunderbi@200116b82be894005038e5d10273cf38.dip.versatel-1u1.de)
2021-04-16 13:29:58 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-16 13:30:30 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-16 13:34:46 +0200vchlup(~vchlup@nat.brnet.cz) (Ping timeout: 240 seconds)
2021-04-16 13:34:57 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-16 13:35:08 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-04-16 13:39:18 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:441:ad95:9496:73d9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-16 13:42:14 +0200jneira(501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) (Quit: Connection closed)
2021-04-16 13:42:49 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-04-16 13:43:57 +0200Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds)
2021-04-16 13:45:37 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-04-16 13:47:43 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-04-16 13:47:53 +0200Guest46592(~textual@zrcout.mskcc.org) (Ping timeout: 240 seconds)
2021-04-16 13:48:07 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-04-16 13:49:45 +0200Stanley|00(~stanley00@unaffiliated/stanley00)
2021-04-16 13:50:02 +0200Alleria(~textual@mskresolve-a.mskcc.org)
2021-04-16 13:50:25 +0200AlleriaGuest17968
2021-04-16 13:51:11 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-04-16 13:51:15 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-16 13:52:05 +0200ukari(~ukari@unaffiliated/ukari)
2021-04-16 13:52:18 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-04-16 13:52:22 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 252 seconds)
2021-04-16 13:52:27 +0200ihower(~ihower@139.28.218.148) (Remote host closed the connection)
2021-04-16 13:54:16 +0200jlamothe(~jlamothe@198.251.57.81) (Quit: leaving)
2021-04-16 13:56:14 +0200larryba(~bc8134e3@217.29.117.252)
2021-04-16 13:56:40 +0200 <larryba> hi. can someone test this on *nix? System.FilePath.Glob.match "t*" "/bin/test.exe"
2021-04-16 13:56:58 +0200 <larryba> I expected it to return True, but it is returning False
2021-04-16 13:57:11 +0200 <larryba> > System.FilePath.Glob.match "t*" "/bin/test.exe"
2021-04-16 13:57:13 +0200 <lambdabot> error:
2021-04-16 13:57:13 +0200 <lambdabot> Not in scope: ‘System.FilePath.Glob.match’
2021-04-16 13:57:13 +0200 <lambdabot> No module named ‘System.FilePath.Glob’ is imported.
2021-04-16 13:57:20 +0200ddellacosta(~ddellacos@86.106.143.222)
2021-04-16 13:57:27 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-kijutxhapbomxwul)
2021-04-16 13:57:46 +0200vk3fajo(~vk3fajo@pa49-183-165-249.pa.vic.optusnet.com.au) ("Leaving")
2021-04-16 14:02:04 +0200UmlGG(2505f1ad@ip2505f1ad.dynamic.kabel-deutschland.de) (Quit: Connection closed)
2021-04-16 14:02:09 +0200ddellacosta(~ddellacos@86.106.143.222) (Ping timeout: 260 seconds)
2021-04-16 14:03:16 +0200malumore(~malumore@151.62.123.125) (Ping timeout: 260 seconds)
2021-04-16 14:04:11 +0200seveg(~gabriel@188-167-252-202.dynamic.chello.sk) (Ping timeout: 240 seconds)
2021-04-16 14:06:35 +0200seveg(~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk)
2021-04-16 14:06:58 +0200Deide(~Deide@217.155.19.23)
2021-04-16 14:07:30 +0200larryba(~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (EOF))
2021-04-16 14:08:32 +0200larryba(~bc8134e3@217.29.117.252)
2021-04-16 14:10:26 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-qepxyqcskivgrzsl)
2021-04-16 14:11:24 +0200larryba(~bc8134e3@217.29.117.252) (Client Quit)
2021-04-16 14:11:37 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds)
2021-04-16 14:13:32 +0200 <thblt> larryba: should it? Shouldn't the glob be "/**/t*"?
2021-04-16 14:14:24 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net)
2021-04-16 14:15:35 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-16 14:15:48 +0200 <hpc> he left
2021-04-16 14:16:07 +0200 <merijn> I already said that in #haskell-beginners
2021-04-16 14:17:38 +0200Stanley|00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-04-16 14:17:56 +0200jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se) (Quit: Leaving)
2021-04-16 14:19:11 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-16 14:20:11 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2021-04-16 14:21:11 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-04-16 14:21:53 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds)
2021-04-16 14:22:53 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net)
2021-04-16 14:23:04 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-16 14:23:18 +0200rprije(~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 240 seconds)
2021-04-16 14:23:27 +0200 <thblt> Ha sorry, I'm not there.
2021-04-16 14:23:44 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-04-16 14:23:59 +0200edge563(~edge563@gateway/tor-sasl/edge563)
2021-04-16 14:27:10 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds)
2021-04-16 14:28:27 +0200djanatyn1djanatyn
2021-04-16 14:29:04 +0200_ashbreeze_(~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection)
2021-04-16 14:29:18 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-16 14:29:33 +0200byorgey(~byorgey@155.138.238.211) (Quit: leaving)
2021-04-16 14:29:39 +0200urodna(~urodna@unaffiliated/urodna)
2021-04-16 14:30:20 +0200malumore(~malumore@151.62.123.125)
2021-04-16 14:30:37 +0200_ashbreeze_(~mark@64.85.214.234.reverse.socket.net)
2021-04-16 14:30:44 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77)
2021-04-16 14:32:04 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net)
2021-04-16 14:33:50 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-04-16 14:35:35 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:441:ad95:9496:73d9)
2021-04-16 14:37:09 +0200DTZUZU_(~DTZUZO@205.ip-149-56-132.net)
2021-04-16 14:37:41 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds)
2021-04-16 14:37:41 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds)
2021-04-16 14:37:52 +0200malumore(~malumore@151.62.123.125) (Ping timeout: 240 seconds)
2021-04-16 14:38:01 +0200malumore(~malumore@151.62.123.125)
2021-04-16 14:38:22 +0200malumore(~malumore@151.62.123.125) (Remote host closed the connection)
2021-04-16 14:38:41 +0200malumore(~malumore@151.62.123.125)
2021-04-16 14:41:11 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-16 14:45:13 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:441:ad95:9496:73d9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-16 14:45:59 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 268 seconds)
2021-04-16 14:48:32 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-04-16 14:49:36 +0200sm2n(~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca) (Remote host closed the connection)
2021-04-16 14:49:49 +0200sm2n(~sm2n@70.54.76.62)
2021-04-16 14:52:54 +0200Kaeipi(~Kaiepi@47.54.252.148)
2021-04-16 14:54:25 +0200vv8(~egp_@2.95.117.163) (Ping timeout: 260 seconds)
2021-04-16 14:54:46 +0200Kaeipi(~Kaiepi@47.54.252.148) (Read error: No route to host)
2021-04-16 14:55:11 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2021-04-16 14:55:13 +0200Kaeipi(~Kaiepi@47.54.252.148)
2021-04-16 14:55:58 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-04-16 14:57:15 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-16 14:58:08 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-04-16 15:00:14 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-16 15:03:50 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Remote host closed the connection)
2021-04-16 15:03:57 +0200Sorna(~Sornaensi@077213199124.dynamic.telenor.dk)
2021-04-16 15:04:06 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77)
2021-04-16 15:04:09 +0200ddellacosta(~ddellacos@86.106.143.92)
2021-04-16 15:07:43 +0200Sornaensis(~Sornaensi@79.142.232.102) (Ping timeout: 252 seconds)
2021-04-16 15:08:29 +0200ddellacosta(~ddellacos@86.106.143.92) (Ping timeout: 246 seconds)
2021-04-16 15:11:55 +0200son0p(~ff@181.136.122.143)
2021-04-16 15:19:49 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2021-04-16 15:20:28 +0200carlomagno(~cararell@148.87.23.11)
2021-04-16 15:20:44 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-16 15:26:56 +0200Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2021-04-16 15:27:08 +0200horatiohb(~horatiohb@104.236.205.187)
2021-04-16 15:28:32 +0200Sorny(~Sornaensi@79.142.232.102.static.router4.bolignet.dk)
2021-04-16 15:28:35 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-16 15:29:00 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-16 15:29:11 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2021-04-16 15:30:58 +0200Sorna(~Sornaensi@077213199124.dynamic.telenor.dk) (Ping timeout: 240 seconds)
2021-04-16 15:38:21 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2021-04-16 15:38:30 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-16 15:38:34 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-04-16 15:38:38 +0200kuribas(~user@ptr-25vy0i78n44u7lpjmac.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-04-16 15:39:26 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2021-04-16 15:40:24 +0200darkon(~darkon@90.212.77.86)
2021-04-16 15:42:05 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-04-16 15:42:56 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-04-16 15:43:08 +0200darko_(~darkon@90.212.77.86) (Ping timeout: 246 seconds)
2021-04-16 15:43:51 +0200kristijonas_(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-04-16 15:43:52 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-16 15:44:02 +0200howdoi(uid224@gateway/web/irccloud.com/x-sbirtyqsxkkyetzh)
2021-04-16 15:44:14 +0200kristijonas_(~kristijon@78-56-32-39.static.zebra.lt)
2021-04-16 15:45:21 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-04-16 15:45:58 +0200alx741(~alx741@181.196.68.193)
2021-04-16 15:46:56 +0200seven_three(~user@pool-96-233-64-53.bstnma.fios.verizon.net)
2021-04-16 15:48:06 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection)
2021-04-16 15:48:19 +0200 <seven_three> Is there a nicer way to derive from Num here? This isnt even complete yet. http://dpaste.com/FGM4RN8N8
2021-04-16 15:48:57 +0200drbean_(~drbean@TC210-63-209-13.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-04-16 15:49:19 +0200lawid(~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Quit: lawid)
2021-04-16 15:50:34 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-16 15:51:56 +0200boxscape(54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220)
2021-04-16 15:51:57 +0200boxscape(54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Client Quit)
2021-04-16 15:52:01 +0200lawid(~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8)
2021-04-16 15:52:44 +0200mozzarella(~sam@unaffiliated/sam113101) (Remote host closed the connection)
2021-04-16 15:53:16 +0200jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-04-16 15:53:28 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-hrpqjuatvrzojcmn)
2021-04-16 15:54:06 +0200mozzarella(~sam@unaffiliated/sam113101)
2021-04-16 15:57:10 +0200Ranhir(~Ranhir@157.97.53.139)
2021-04-16 16:00:39 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-16 16:00:45 +0200Tario(~Tario@201.192.165.173)
2021-04-16 16:03:35 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-16 16:05:20 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-16 16:06:33 +0200pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-04-16 16:07:05 +0200Jd007(~Jd007@162.156.11.151)
2021-04-16 16:07:56 +0200__monty__(~toonn@unaffiliated/toonn)
2021-04-16 16:09:25 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-16 16:10:29 +0200acidjnk_new(~acidjnk@p200300d0c72b9573286e28f39b70c9d3.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-04-16 16:11:40 +0200byorgey(~byorgey@155.138.238.211)
2021-04-16 16:13:05 +0200glguy(x@freenode/staff/haskell.developer.glguy)
2021-04-16 16:17:15 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:7969:a01b:88d1:8650)
2021-04-16 16:17:41 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-04-16 16:18:25 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:441:ad95:9496:73d9)
2021-04-16 16:19:14 +0200jumper149(~jumper149@80.240.31.34)
2021-04-16 16:19:17 +0200kristijonas_(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-04-16 16:19:41 +0200kristijonas_(~kristijon@78-56-32-39.static.zebra.lt)
2021-04-16 16:22:14 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-04-16 16:22:59 +0200seven_three(~user@pool-96-233-64-53.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)")
2021-04-16 16:26:14 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-04-16 16:27:48 +0200qwerty2o(~qwerty2o@93-172-139-92.bb.netvision.net.il)
2021-04-16 16:28:21 +0200 <qwerty2o> hi. is there a way to write this without explicitly declaring a and b?
2021-04-16 16:28:28 +0200 <qwerty2o> pow a b = a ^ b `mod` 10
2021-04-16 16:29:11 +0200 <geekosaur> @pl \a b -> a ^ b `mod` 10
2021-04-16 16:29:11 +0200 <lambdabot> (. (`mod` 10)) . (^)
2021-04-16 16:29:13 +0200 <qwerty2o> i thought something like pow = (^) >>= (`mod` 10) but idk i guess
2021-04-16 16:29:18 +0200 <qwerty2o> not
2021-04-16 16:29:34 +0200 <geekosaur> there's a pointfree way to write lots of things. whether it's worth it is another question
2021-04-16 16:30:38 +0200 <qwerty2o> lambdabot, can you explain?
2021-04-16 16:31:08 +0200 <merijn> qwerty2o: Well, no, because its a bot :p
2021-04-16 16:31:25 +0200 <qwerty2o> oh oops
2021-04-16 16:31:34 +0200 <qwerty2o> seems it doesn't work anyway
2021-04-16 16:32:06 +0200 <qwerty2o> geekosaur, lets say it is
2021-04-16 16:32:11 +0200 <qwerty2o> u have an idea?
2021-04-16 16:32:22 +0200 <qwerty2o> i thought i could compose the two in a way
2021-04-16 16:32:46 +0200carlomagno1(~cararell@148.87.23.6)
2021-04-16 16:32:50 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-16 16:33:54 +0200carlomagno(~cararell@148.87.23.11) (Ping timeout: 268 seconds)
2021-04-16 16:34:40 +0200 <geekosaur> ah, as I feared @pl doesn't handle operator precedence
2021-04-16 16:34:48 +0200 <geekosaur> which makes the result even uglier
2021-04-16 16:35:08 +0200 <geekosaur> @pl \a b -> (a ^ b) `mod` 10
2021-04-16 16:35:09 +0200 <lambdabot> flip flip 10 . (mod .) . (^)
2021-04-16 16:36:43 +0200 <qwerty2o> mmm so no?
2021-04-16 16:37:18 +0200 <geekosaur> tbh "if you have to ask, the best answer is no"
2021-04-16 16:37:43 +0200 <qwerty2o> saddening
2021-04-16 16:37:52 +0200 <geekosaur> one should go for readability over cleverness
2021-04-16 16:37:58 +0200 <[exa]> y tho, your code will be readable! ;]
2021-04-16 16:38:06 +0200 <geekosaur> @quote kernighan clever
2021-04-16 16:38:06 +0200 <lambdabot> No quotes for this person. Take a stress pill and think things over.
2021-04-16 16:38:11 +0200 <geekosaur> bah
2021-04-16 16:38:22 +0200 <geekosaur> @quote twice.as.clever
2021-04-16 16:38:22 +0200 <lambdabot> No quotes match. My brain just exploded
2021-04-16 16:38:36 +0200 <geekosaur> thought we had that one. ah well
2021-04-16 16:39:10 +0200 <qwerty2o> i actually thought it could be nice since it's pretty straightforward what the two functions recieve and return
2021-04-16 16:39:17 +0200 <geekosaur> anyway the bot gave you an answer, it's just an ugly one
2021-04-16 16:39:24 +0200 <geekosaur> the "flip flip" thing
2021-04-16 16:39:47 +0200 <geekosaur> (which is usually a warning that you shouldn't pointfree that expression)
2021-04-16 16:39:54 +0200 <qwerty2o> yeah that's bad
2021-04-16 16:42:03 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-16 16:43:18 +0200 <lambdabot> *cough* do I have the rona?
2021-04-16 16:43:40 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-16 16:45:06 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-16 16:46:43 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 252 seconds)
2021-04-16 16:48:29 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net)
2021-04-16 16:48:39 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-16 16:50:34 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2021-04-16 16:53:53 +0200carlomagno1(~cararell@148.87.23.6) (Ping timeout: 240 seconds)
2021-04-16 16:56:16 +0200carlomagno(~cararell@148.87.23.10)
2021-04-16 16:59:12 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-04-16 16:59:19 +0200ajc_(~ajc@69.231.232.79) (Read error: Connection reset by peer)
2021-04-16 17:00:01 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-16 17:00:50 +0200Varis(~Tadas@unaffiliated/varis) (Read error: Connection reset by peer)
2021-04-16 17:03:27 +0200adius(sid321344@gateway/web/irccloud.com/x-yfsibqzgqazbvhna) ()
2021-04-16 17:04:07 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds)
2021-04-16 17:04:12 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-04-16 17:06:16 +0200__minoru__shirae(~shiraeesh@109.166.58.206)
2021-04-16 17:10:15 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-16 17:10:31 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2021-04-16 17:11:12 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-16 17:13:03 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-04-16 17:14:46 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-04-16 17:16:56 +0200__minoru__shirae(~shiraeesh@109.166.58.206) (Ping timeout: 246 seconds)
2021-04-16 17:17:15 +0200concept21(~concept2@unaffiliated/tubo)
2021-04-16 17:18:35 +0200ericsagn1(~ericsagne@2405:6580:0:5100:2a0f:6893:58ea:35ea) (Ping timeout: 260 seconds)
2021-04-16 17:18:40 +0200concept2(~concept2@unaffiliated/tubo) (Read error: Connection reset by peer)
2021-04-16 17:18:40 +0200concept21concept2
2021-04-16 17:18:46 +0200wrunt(~ajc@vmx14030.hosting24.com.au) (Ping timeout: 252 seconds)
2021-04-16 17:19:11 +0200wrunt(~ajc@vmx14030.hosting24.com.au)
2021-04-16 17:20:19 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net)
2021-04-16 17:20:51 +0200mapperr(~mapperr@vmi389916.contaboserver.net) (Remote host closed the connection)
2021-04-16 17:21:55 +0200mapperr(~mapperr@vmi389916.contaboserver.net)
2021-04-16 17:22:52 +0200myShoggoth(~myShoggot@97-120-72-12.ptld.qwest.net)
2021-04-16 17:22:53 +0200tstat_tstat
2021-04-16 17:24:23 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 258 seconds)
2021-04-16 17:27:59 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Quit: leaving)
2021-04-16 17:29:33 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2021-04-16 17:30:10 +0200romesrf(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-04-16 17:30:21 +0200xelxebar_(~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds)
2021-04-16 17:31:50 +0200nineonine(~nineonine@2604:3d08:7785:9600:8da3:57c2:b9e6:3845)
2021-04-16 17:32:01 +0200ericsagn1(~ericsagne@2405:6580:0:5100:902:be93:ec35:bb2b)
2021-04-16 17:32:22 +0200nineonine(~nineonine@2604:3d08:7785:9600:8da3:57c2:b9e6:3845) (Remote host closed the connection)
2021-04-16 17:32:34 +0200 <romesrf> hello! i have an issue with parsec, something i would hope to fix with `try` but haven't been able to. here's a working minimal example that showcases my problem: https://paste.tomsmeding.com/Iaj8UZyY - annotated with the issue
2021-04-16 17:33:34 +0200 <romesrf> i'll keep trying to fix it meanwhile but have been at this for some time and some help would be really appreciated :)
2021-04-16 17:34:05 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-16 17:34:48 +0200nineonine(~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849)
2021-04-16 17:34:59 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-04-16 17:35:34 +0200__minoru__shirae(~shiraeesh@109.166.58.206)
2021-04-16 17:36:15 +0200 <monochrom> I would first put "try letunit <|> letin" on the same line, or use explicit parentheses, to ensure that the computer is not misreading me.
2021-04-16 17:36:15 +0200romesrf_(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-04-16 17:37:46 +0200 <dmj`> could combine them, result <- (fmap Left (char '_')) <|> (fmap Right (many1 letter)), then you could case match on which one you got back
2021-04-16 17:37:52 +0200romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds)
2021-04-16 17:39:19 +0200 <monochrom> Meta-ly, I find let-var and let-wildcard sufficiently related that I may merge letin and letunit in the first place.
2021-04-16 17:39:19 +0200nineonine(~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) (Ping timeout: 250 seconds)
2021-04-16 17:40:18 +0200 <romesrf_> for this small example yes, but my issue is in a bigger parser that "needs" multiple letin constructors to "break down" basic types
2021-04-16 17:40:33 +0200 <dmj`> what monochrom said
2021-04-16 17:40:37 +0200nineonine(~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849)
2021-04-16 17:40:45 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 17:40:54 +0200 <monochrom> They literally differ in only one small spot. I would use "pat <- fmap Left (char '_') <|> fmap Right (many1 letter)" to address the difference.
2021-04-16 17:41:06 +0200 <dmj`> again what monochrom said
2021-04-16 17:41:07 +0200 <romesrf_> yeah that's what dmj` said too
2021-04-16 17:41:09 +0200 <romesrf_> ahahaha
2021-04-16 17:41:53 +0200 <romesrf_> i could try to merge all my letins into one big one, but it would kind of lose clarity
2021-04-16 17:42:12 +0200 <romesrf_> i wonder why the `try` isn't working like this
2021-04-16 17:42:42 +0200 <monochrom> In this case there are two clarities: clarity at the tree level, vs clarity at the forest level. And they are in conflict.
2021-04-16 17:42:44 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-16 17:43:14 +0200 <monochrom> What I mean is, you look at the code of letin and letunit, it violates DRY.
2021-04-16 17:43:58 +0200 <romesrf_> you're right, i should make a parser func for the deconstruction and call it in between the let =in...
2021-04-16 17:44:03 +0200 <monochrom> If you RY you usually gain clarity at the tree level, every tree is clear on its own, you lose sight that at the forest level you have two trees that are really the same.
2021-04-16 17:44:30 +0200 <romesrf_> thanks for the insight. i'll try it
2021-04-16 17:45:47 +0200 <monochrom> In this specific scenerio, I am inspired by Haskell's "let <pattern> = <expr> in <expr>" this is one single concept that spans a wide range of <pattern>s, no one seriously split this by different patterns. Oh one possible <pattern> is <var>, big deal.
2021-04-16 17:46:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-16 17:46:26 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-16 17:46:34 +0200 <romesrf_> :) you make a compelling argument
2021-04-16 17:46:36 +0200__minoru__shirae(~shiraeesh@109.166.58.206) (Remote host closed the connection)
2021-04-16 17:47:54 +0200__minoru__shirae(~shiraeesh@109.166.58.206)
2021-04-16 17:50:12 +0200nineonin_(~nineonine@50.216.62.2)
2021-04-16 17:50:23 +0200 <monochrom> For "<|> letin" on its own line, you need to know a treacherous detail of Haskell layout. The compiler is required to search for a place to inserting "}" until it finds how to make your code legal.
2021-04-16 17:51:59 +0200nineonine(~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) (Ping timeout: 258 seconds)
2021-04-16 17:52:03 +0200 <monochrom> Now, you have got "try letunit" and "<|> letin" aligned, so you have already forced a semicolon between them, "try letunit ; <|> letin", so the "}" is not going after them.
2021-04-16 17:52:48 +0200 <monochrom> BUT! The compiler sees that the "}" can go between them, "try letunit } <|> letin". That's the only way to make your code legal.
2021-04-16 17:53:06 +0200 <monochrom> You now have "do { ... ; try letunit} <|> letin".
2021-04-16 17:53:16 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-16 17:59:27 +0200 <romesrf_> OH
2021-04-16 17:59:34 +0200 <romesrf_> that's also really insightful hahahah
2021-04-16 18:00:06 +0200MahmoudMAZOUZ[m](mazouzmaen@gateway/shell/matrix.org/x-imqdkovzqltlmznc) (Quit: Idle for 30+ days)
2021-04-16 18:00:07 +0200 <romesrf_> but i'm still going to change it up to use a new datatype "Pattern", and then use the "Pattern" in a general letin :: Parser Expr to return an Expr
2021-04-16 18:00:11 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-16 18:00:16 +0200 <romesrf_> you convinced me :)
2021-04-16 18:00:23 +0200 <monochrom> :)
2021-04-16 18:00:44 +0200jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-04-16 18:01:23 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-16 18:04:04 +0200jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-04-16 18:04:20 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-16 18:05:50 +0200barzo(~sosal@188.119.23.191)
2021-04-16 18:06:08 +0200HannaM(~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2021-04-16 18:06:35 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-16 18:09:43 +0200juuandyy(~juuandyy@90.106.228.121)
2021-04-16 18:11:02 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-16 18:15:49 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-16 18:17:53 +0200knupfer(~Thunderbi@200116b82be894005038e5d10273cf38.dip.versatel-1u1.de) (Ping timeout: 250 seconds)
2021-04-16 18:21:06 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds)
2021-04-16 18:21:35 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-16 18:26:14 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-04-16 18:26:34 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net) ()
2021-04-16 18:28:56 +0200jonatan(~nate@h77-53-70-163.cust.a3fiber.se)
2021-04-16 18:29:17 +0200Varis(~Tadas@unaffiliated/varis)
2021-04-16 18:29:43 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net)
2021-04-16 18:32:16 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net)
2021-04-16 18:35:51 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net) ()
2021-04-16 18:36:55 +0200gitgood(~gitgood@80-44-9-246.dynamic.dsl.as9105.com)
2021-04-16 18:38:17 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-ffewfqkvmgmtpxhy)
2021-04-16 18:39:31 +0200nrh^(nrh@ip98-184-89-2.mc.at.cox.net)
2021-04-16 18:43:28 +0200jumper149(~jumper149@80.240.31.34) (Quit: WeeChat 3.1)
2021-04-16 18:43:49 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-16 18:45:31 +0200jespada(~jespada@90.254.243.187) (Quit: Leaving)
2021-04-16 18:46:26 +0200dpl(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-04-16 18:49:59 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-16 18:53:36 +0200Sornaensis(~Sornaensi@077213199124.dynamic.telenor.dk)
2021-04-16 18:54:25 +0200HannaM(~quassel@p54849510.dip0.t-ipconnect.de)
2021-04-16 18:54:56 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-04-16 18:57:05 +0200Sorny(~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 260 seconds)
2021-04-16 18:57:55 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-16 18:57:59 +0200jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2021-04-16 18:58:21 +0200jb55(~jb55@gateway/tor-sasl/jb55)
2021-04-16 18:58:55 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-04-16 19:00:38 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-04-16 19:03:39 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-04-16 19:04:08 +0200NieDzejkob(~quassel@195.149.98.3) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-04-16 19:04:24 +0200NieDzejkob(~quassel@195.149.98.3)
2021-04-16 19:07:49 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-04-16 19:13:30 +0200howdoi(uid224@gateway/web/irccloud.com/x-sbirtyqsxkkyetzh) (Quit: Connection closed for inactivity)
2021-04-16 19:14:17 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-04-16 19:16:23 +0200xff0x(~xff0x@2001:1a81:5248:9d00:9381:fa96:9ca3:9618) (Ping timeout: 250 seconds)
2021-04-16 19:17:17 +0200xff0x(~xff0x@2001:1a81:526f:3a00:9b6e:f4dc:2aa2:1178)
2021-04-16 19:18:24 +0200juuandyy(~juuandyy@90.106.228.121) (Quit: Konversation terminated!)
2021-04-16 19:18:38 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds)
2021-04-16 19:19:12 +0200elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-16 19:21:38 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds)
2021-04-16 19:21:50 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-04-16 19:22:03 +0200barzo(~sosal@188.119.23.191) (Read error: Connection reset by peer)
2021-04-16 19:23:14 +0200quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
2021-04-16 19:23:15 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-04-16 19:24:41 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-04-16 19:26:47 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-04-16 19:28:15 +0200JanBessa1(~JanB@85-22-17-38.ip.dokom21.de) (Quit: Lost terminal)
2021-04-16 19:28:25 +0200malumore(~malumore@151.62.123.125) (Ping timeout: 268 seconds)
2021-04-16 19:29:56 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 246 seconds)
2021-04-16 19:30:22 +0200gaff(~user@49.207.220.137)
2021-04-16 19:30:58 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-04-16 19:31:43 +0200 <gaff> when i run cabal test --enable-coverage, it generates the hpc files, but when i view the HTML, all coverage information shows 0. i am using cabal 3.4
2021-04-16 19:32:04 +0200 <gaff> any idea why?
2021-04-16 19:32:38 +0200 <gaff> also, if i run hpc report on the .tix file, it indeed shows coverage info
2021-04-16 19:33:37 +0200jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-04-16 19:34:04 +0200 <gaff> so it looks like there is some problem with the HTML report cabal generates.
2021-04-16 19:34:13 +0200hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 240 seconds)
2021-04-16 19:34:49 +0200 <romesrf_> btw monochrom i did it with the patterns successfully
2021-04-16 19:34:59 +0200 <monochrom> :)
2021-04-16 19:35:01 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-16 19:36:11 +0200 <gaff> appreciate any help.
2021-04-16 19:37:20 +0200hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-04-16 19:39:18 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds)
2021-04-16 19:42:06 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 19:42:15 +0200 <Uniaika> tdammers: do you need help with taking care of ginger?
2021-04-16 19:44:30 +0200gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-04-16 19:45:28 +0200UpstreamSalmon(uid12077@gateway/web/irccloud.com/x-hrpllydlluhojkqp)
2021-04-16 19:47:04 +0200nvmd(~nvmd@177.30.111.232)
2021-04-16 19:47:24 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-16 19:48:22 +0200malumore(~malumore@151.62.123.125)
2021-04-16 19:48:23 +0200 <gaff> no modules are listed in the HTML hpc report after cabal test
2021-04-16 19:49:14 +0200dhil(~dhil@80.208.56.181) (Quit: Leaving)
2021-04-16 19:49:42 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-04-16 19:50:13 +0200gentauro(~gentauro@unaffiliated/gentauro)
2021-04-16 19:50:43 +0200rajivr(uid269651@gateway/web/irccloud.com/x-grpkmlokorxpefir) (Quit: Connection closed for inactivity)
2021-04-16 19:51:01 +0200bitmagie(~Thunderbi@200116b806152100bd99821fc90873a1.dip.versatel-1u1.de)
2021-04-16 19:51:38 +0200bitmagie(~Thunderbi@200116b806152100bd99821fc90873a1.dip.versatel-1u1.de) (Client Quit)
2021-04-16 19:51:44 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-04-16 19:53:14 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection)
2021-04-16 19:53:22 +0200 <gaff> also, i am using ghc 8.10.4
2021-04-16 19:53:37 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-04-16 19:54:00 +0200 <gaff> is the hpc integration broken in cabal 3.4?
2021-04-16 19:54:03 +0200Pickchea(~private@unaffiliated/pickchea)
2021-04-16 19:54:47 +0200pavonia(~user@unaffiliated/siracusa)
2021-04-16 19:58:42 +0200carlomagno1(~cararell@148.87.23.8)
2021-04-16 20:00:52 +0200carlomagno(~cararell@148.87.23.10) (Ping timeout: 240 seconds)
2021-04-16 20:01:17 +0200jaykru(~user@unaffiliated/jaykru)
2021-04-16 20:02:03 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-04-16 20:03:13 +0200 <justsomeguy> Is there something similar to a "debug mode", that allows you to determine where a name comes from by annotating where it was defined?
2021-04-16 20:04:18 +0200 <justsomeguy> So I could run ''definedIn f'', and get the source file and line number (or lexical scope) that ''f'' comes from?
2021-04-16 20:04:19 +0200mouseghost(~draco@87-206-9-185.dynamic.chello.pl)
2021-04-16 20:04:19 +0200mouseghost(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-04-16 20:04:19 +0200mouseghost(~draco@wikipedia/desperek)
2021-04-16 20:04:27 +0200 <jaykru> perhaps this would be useful? https://hackage.haskell.org/package/loch-th-0.2.2/docs/Debug-Trace-LocationTH.html
2021-04-16 20:05:45 +0200 <jaykru> __LOCATION__ in particular looks promising for what you're after
2021-04-16 20:06:41 +0200chele(~chele@5.53.222.202) (Remote host closed the connection)
2021-04-16 20:06:58 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net)
2021-04-16 20:07:13 +0200malumore(~malumore@151.62.123.125) (Ping timeout: 240 seconds)
2021-04-16 20:07:32 +0200 <justsomeguy> It looks useful. I've never used template haskell before, though.
2021-04-16 20:07:57 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-04-16 20:08:14 +0200v01d4lph4(~v01d4lph4@122.160.65.250) (Remote host closed the connection)
2021-04-16 20:08:28 +0200 <jaykru> i think you could just enable TH and then use __LOCATION__ as a blackbox. but as a disclaimer i'm no expert and haven't tried this before.
2021-04-16 20:09:00 +0200 <justsomeguy> Well, thanks for pointing me to this. I'll experiment with it a bit and see how it goes :^).
2021-04-16 20:10:18 +0200DavidEichmann(~david@147.136.46.217.dyn.plus.net) (Remote host closed the connection)
2021-04-16 20:11:21 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-04-16 20:12:13 +0200myShoggoth(~myShoggot@97-120-72-12.ptld.qwest.net) (Ping timeout: 260 seconds)
2021-04-16 20:12:38 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-16 20:13:57 +0200gaff(~user@49.207.220.137) (Quit: ERC (IRC client for Emacs 27.1))
2021-04-16 20:14:14 +0200epicte7us(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-16 20:15:09 +0200myShoggoth(~myShoggot@75.164.11.109)
2021-04-16 20:15:50 +0200seveg(~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Quit: WeeChat 3.1)
2021-04-16 20:16:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-16 20:16:46 +0200seveg(~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk)
2021-04-16 20:17:11 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds)
2021-04-16 20:17:47 +0200dpl(~dpl@77-121-78-163.chn.volia.net)
2021-04-16 20:18:45 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
2021-04-16 20:19:41 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 265 seconds)
2021-04-16 20:20:50 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 268 seconds)
2021-04-16 20:23:11 +0200superstar64(6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net)
2021-04-16 20:25:25 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-04-16 20:27:03 +0200malumore(~malumore@151.62.123.125)
2021-04-16 20:28:33 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-16 20:28:36 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-16 20:30:52 +0200elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds)
2021-04-16 20:30:57 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-16 20:32:27 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-16 20:33:09 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-16 20:33:22 +0200Feuermagier(~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection)
2021-04-16 20:33:56 +0200jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-04-16 20:43:03 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-16 20:43:48 +0200fiedlr(~fiedlr@83.148.33.254) (Remote host closed the connection)
2021-04-16 20:43:51 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-16 20:45:11 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-04-16 20:48:08 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 252 seconds)
2021-04-16 20:50:21 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-04-16 20:56:49 +0200knupfer(~Thunderbi@200116b82be894008dbdccb75603bf46.dip.versatel-1u1.de)
2021-04-16 20:59:48 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2021-04-16 21:00:02 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-16 21:00:22 +0200johnw(~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2021-04-16 21:05:09 +0200DavidEichmann(~david@147.136.46.217.dyn.plus.net)
2021-04-16 21:06:53 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-16 21:09:04 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-16 21:09:16 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net)
2021-04-16 21:09:52 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-04-16 21:10:14 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net) (Remote host closed the connection)
2021-04-16 21:10:33 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-04-16 21:10:36 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net)
2021-04-16 21:11:05 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-16 21:11:11 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-16 21:11:19 +0200 <nicholasbulka> so, obviously new to haskell - why does the type of floor say (RealFrac, Integral b) => a -> b instead of, say, Real -> Integer or something
2021-04-16 21:13:25 +0200 <Uniaika> nicholasbulka: to enable a to be both a Real and a Fractional
2021-04-16 21:13:42 +0200 <Uniaika> and Integral is the mix of Real + Enum
2021-04-16 21:14:14 +0200ep1ctetus_(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-16 21:14:49 +0200 <Uniaika> nicholasbulka: so I guess the short answer is "for more polymorphism"
2021-04-16 21:15:12 +0200 <nicholasbulka> that makes sense. I'm reading that floats are a subset of fractional
2021-04-16 21:15:28 +0200 <tomjaguarpaw> What we call a "constructor" actually both constructs and destructs. It is a function and a pattern. This nomenclature is a bit unfortunate. Is there any way to describe the "function only" aspect of a "constructor" in the same way that "pattern" describes the other part?
2021-04-16 21:16:20 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-04-16 21:16:31 +0200 <Uniaika> tomjaguarpaw: I don't make such a distinction in my head
2021-04-16 21:16:40 +0200 <Uniaika> they are the two sides of the same coin
2021-04-16 21:16:58 +0200 <Uniaika> if I want a "pattern" that doesn't build, I make an accessor
2021-04-16 21:17:01 +0200minoru_shiraeesh(~shiraeesh@5.101.59.131)
2021-04-16 21:17:06 +0200__minoru__shirae(~shiraeesh@109.166.58.206) (Ping timeout: 252 seconds)
2021-04-16 21:17:34 +0200epicte7us(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 268 seconds)
2021-04-16 21:19:26 +0200 <nicholasbulka> I get the distinction between Fractional and Floating. What is the difference between Real and a Floating ?
2021-04-16 21:20:22 +0200 <nicholasbulka> oh this is sort of helping ...
2021-04-16 21:20:22 +0200 <nicholasbulka> http://www.cantab.net/users/antoni.diller/haskell/units/unit03.html
2021-04-16 21:21:29 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-16 21:21:36 +0200 <tomjaguarpaw> Uniaika: It's important when naming things in lensy libraries. "Review/review" are incomprehensible names compared to "Constructor/construct". Unfortunately "Constructor" is overloaded ...
2021-04-16 21:22:16 +0200conal(~conal@64.71.133.70)
2021-04-16 21:24:48 +0200 <Uniaika> tomjaguarpaw: hmm I see your need
2021-04-16 21:25:43 +0200 <tomjaguarpaw> Ideally "AffineTraversal" should be called "Pattern"
2021-04-16 21:25:59 +0200 <tomjaguarpaw> Then either "Prism" should be called "Constructor" or "Review" should be called "Constructor", but it's hard to say which ... either choice will upset someone.
2021-04-16 21:32:40 +0200romesrf_(~romesrf@44.190.189.46.rev.vodafone.pt) (Ping timeout: 265 seconds)
2021-04-16 21:33:59 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-04-16 21:34:13 +0200 <tomjaguarpaw> Uniaika: See https://github.com/well-typed/optics/issues/420 for my work in this direction (and https://github.com/tomjaguarpaw/tilapia/issues/75)
2021-04-16 21:34:25 +0200conal(~conal@64.71.133.70)
2021-04-16 21:35:09 +0200fiedlr(~fiedlr@83.148.33.254) (Remote host closed the connection)
2021-04-16 21:35:23 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-16 21:35:46 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-04-16 21:36:39 +0200ericsagn1(~ericsagne@2405:6580:0:5100:902:be93:ec35:bb2b) (Ping timeout: 260 seconds)
2021-04-16 21:37:03 +0200thevishy(~Nishant@117.216.194.189) (Quit: Leaving)
2021-04-16 21:38:52 +0200CrazyPython(~crazypyth@98.122.164.118)
2021-04-16 21:39:49 +0200superstar64(6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed)
2021-04-16 21:40:57 +0200dpl_(~dpl@77-121-78-163.chn.volia.net)
2021-04-16 21:41:31 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-04-16 21:43:28 +0200Guest17968(~textual@mskresolve-a.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com)
2021-04-16 21:43:46 +0200dpl(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-04-16 21:49:23 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-04-16 21:49:28 +0200ericsagn1(~ericsagne@2405:6580:0:5100:f42f:2cd9:4893:4d87)
2021-04-16 21:52:07 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-16 21:53:22 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-04-16 21:53:44 +0200conal(~conal@64.71.133.70)
2021-04-16 21:55:11 +0200UpstreamSalmon(uid12077@gateway/web/irccloud.com/x-hrpllydlluhojkqp) (Quit: Connection closed for inactivity)
2021-04-16 21:56:13 +0200Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-04-16 21:56:50 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds)
2021-04-16 21:57:30 +0200Alleria(~textual@zrcout.mskcc.org)
2021-04-16 21:57:56 +0200AlleriaGuest45254
2021-04-16 21:59:02 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-04-16 21:59:03 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-04-16 21:59:20 +0200Lord_of_Life_Lord_of_Life
2021-04-16 22:01:22 +0200 <monochrom> No, what we call constructors don't destruct. The destruction is done by pattern matching.
2021-04-16 22:01:57 +0200 <monochrom> Since you are writing a pattern, the pattern has to cite the constructor so that you can match against it.
2021-04-16 22:02:25 +0200_xor(~xor@74.215.46.133) (Ping timeout: 252 seconds)
2021-04-16 22:02:38 +0200 <monochrom> Even in the regex world, if you write "c*" no one reasons "the c there destructs".
2021-04-16 22:02:53 +0200romesrf_(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-04-16 22:03:34 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-16 22:03:49 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-04-16 22:04:54 +0200ep1ctetus_(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Quit: Leaving)
2021-04-16 22:05:41 +0200petersen(~petersen@redhat/juhp) (Ping timeout: 260 seconds)
2021-04-16 22:06:00 +0200jrm(~jrm@freebsd/developer/jrm) (Quit: ciao)
2021-04-16 22:07:46 +0200jrm(~jrm@freebsd/developer/jrm)
2021-04-16 22:07:49 +0200conal_(~conal@64.71.133.70)
2021-04-16 22:08:29 +0200petersen(~petersen@redhat/juhp)
2021-04-16 22:12:14 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 22:13:23 +0200fiedlr(~fiedlr@83.148.33.254) (Remote host closed the connection)
2021-04-16 22:14:19 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-16 22:14:46 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-16 22:18:07 +0200jrm(~jrm@freebsd/developer/jrm) (Quit: ciao)
2021-04-16 22:20:30 +0200syntactic_sugar(~syntactic@c-67-169-78-228.hsd1.ca.comcast.net)
2021-04-16 22:21:32 +0200syntactic_sugar(~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit)
2021-04-16 22:22:45 +0200jrm(~jrm@freebsd/developer/jrm)
2021-04-16 22:24:32 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-16 22:25:56 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2021-04-16 22:26:10 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-16 22:26:55 +0200romesrf_(~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1)
2021-04-16 22:28:31 +0200tsaka__(~torstein@athedsl-4519432.home.otenet.gr)
2021-04-16 22:28:41 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-16 22:29:22 +0200todda7(~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 252 seconds)
2021-04-16 22:31:07 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-04-16 22:32:41 +0200joncol(~jco@c83-248-173-38.bredband.comhem.se)
2021-04-16 22:33:26 +0200hexfive(~hexfive@50.35.83.177)
2021-04-16 22:33:26 +0200hexfive(~hexfive@50.35.83.177) (Client Quit)
2021-04-16 22:34:06 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-16 22:34:31 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-16 22:36:08 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-04-16 22:37:25 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-16 22:38:45 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds)
2021-04-16 22:38:53 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-16 22:42:38 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-04-16 22:42:44 +0200syntactic_sugar(~syntactic@c-67-169-78-228.hsd1.ca.comcast.net)
2021-04-16 22:46:23 +0200Rudd0^(~Rudd0@185.189.115.103)
2021-04-16 22:46:32 +0200Rudd0^(~Rudd0@185.189.115.103) (Remote host closed the connection)
2021-04-16 22:46:59 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-16 22:49:10 +0200Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 252 seconds)
2021-04-16 22:49:31 +0200W3BV1P3R(~W3BV1P3R@c-73-5-91-226.hsd1.tn.comcast.net)
2021-04-16 22:50:25 +0200W3BV1P3R(~W3BV1P3R@c-73-5-91-226.hsd1.tn.comcast.net) (Client Quit)
2021-04-16 22:52:30 +0200Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-04-16 22:52:34 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-16 22:52:40 +0200 <qwerty2o> im looking to implement a fast exponent function, is there a haskell utility that can help me with that (or on that related note, an interesting algorithm that i could try and implement)?
2021-04-16 22:53:23 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
2021-04-16 22:53:53 +0200Varis(~Tadas@unaffiliated/varis)
2021-04-16 22:54:49 +0200egorbelibov(~65676f72@2001:8a0:5708:2a00:6084:24f9:c0d1:3aaf) (Read error: Connection reset by peer)
2021-04-16 22:56:35 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-16 22:59:20 +0200syntactic_sugar(~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar)
2021-04-16 22:59:23 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:441:ad95:9496:73d9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-16 22:59:46 +0200Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-04-16 23:00:37 +0200 <jaykru> qwerty2o: try this: https://en.wikipedia.org/wiki/Exponentiation_by_squaring and then do the modular version. see if you can prove that the modular version is fast in terms of the length of the binary-encoded input data. i can't think of any particular haskell library that would be needed to implement this idea. in general, IMO, writing everything yourself is instructive for problems like this.
2021-04-16 23:01:19 +0200 <SrPx> https://github.com/uwu-tech/Kind/blob/master/blog/1-beyond-inductive-datatypes.md
2021-04-16 23:01:30 +0200 <monochrom> The standard library's ^ operator already uses such an algorithm.
2021-04-16 23:02:51 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-04-16 23:02:57 +0200 <jaykru> sure. i think the qwerty2o was looking for an exercise, but i might be wrong. the stdlib implementation would be a good thing to compare their solution with :)
2021-04-16 23:03:15 +0200 <monochrom> http://hackage.haskell.org/package/base-4.15.0.0/docs/src/GHC-Real.html#%5e is the source code
2021-04-16 23:03:52 +0200joncol(~jco@c83-248-173-38.bredband.comhem.se) (Ping timeout: 240 seconds)
2021-04-16 23:04:45 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-16 23:04:57 +0200 <jaykru> that's some interesting code. i didn't know about the RULES pragma
2021-04-16 23:05:04 +0200vicfred_(~vicfred@unaffiliated/vicfred)
2021-04-16 23:06:04 +0200tsaka__(~torstein@athedsl-4519432.home.otenet.gr) (Quit: Konversation terminated!)
2021-04-16 23:06:16 +0200vicfred(~vicfred@unaffiliated/vicfred) (Read error: Connection reset by peer)
2021-04-16 23:06:35 +0200 <monochrom> Yikes haha this is known as "sorry excuse for constant folding"
2021-04-16 23:07:00 +0200 <jaykru> i don't really see the point of this pragma; why not just do a pattern match in the language?
2021-04-16 23:07:44 +0200 <jaykru> and what's going on with the useless `let` in the right-hand sides?
2021-04-16 23:08:30 +0200 <monochrom> There is still a runtime difference between "during run time do a compare and then a conditional branch" and "during run time there is no conditional branching the code is u*u*u*u"
2021-04-16 23:09:06 +0200nrh^(nrh@ip98-184-89-2.mc.at.cox.net) ()
2021-04-16 23:09:11 +0200 <monochrom> But I don't know what's the author's motivation.
2021-04-16 23:10:24 +0200 <monochrom> That "let" is memoization vs recomputation when "x" is an arbitrary expression.
2021-04-16 23:11:11 +0200 <jaykru> is it actually memoization in lazy evaluation?
2021-04-16 23:11:12 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-04-16 23:11:20 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-16 23:11:34 +0200 <monochrom> lazy evaluation has a memoization part. I am referring to that part.
2021-04-16 23:11:40 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-16 23:11:57 +0200 <monochrom> err I mean "yes" :)
2021-04-16 23:12:24 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-16 23:13:07 +0200 <jaykru> oh right, haskell laziness = call-by-name + memoization. but i wonder why evaluating say x*x*x*x wouldn't cache x on its first evaluation whereas let u = x in u*u*u*u would
2021-04-16 23:13:43 +0200 <ep1ctetus> Is it a good practice to write IO actions into your own typeclass, so that you can test them outside of IO? As described in this post: https://making.pusher.com/unit-testing-io-in-haskell/
2021-04-16 23:13:51 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-04-16 23:14:00 +0200 <monochrom> But if you do "(fib 100)*(fib 100)*(fib 100)" that will be recomputation rather than reuse.
2021-04-16 23:14:14 +0200 <qwerty2o> jakalx, you mean this: https://en.wikipedia.org/wiki/Modular_exponentiation
2021-04-16 23:14:18 +0200 <qwerty2o> ?
2021-04-16 23:14:53 +0200 <monochrom> It's when you do either "let u = fib 100 in u*u*u" or "(\u -> u*u*u) (fib 100)" that you enjoy the reuse.
2021-04-16 23:14:56 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-04-16 23:15:27 +0200 <jaykru> qwerty2o: that is indeed the problem, the other link i sent talks about how to use repeated squaring to solve that problem as well. scroll down a bit :)
2021-04-16 23:15:43 +0200 <monochrom> ep1ctetus: Yes IMO when within reason.
2021-04-16 23:16:10 +0200 <jaykru> monochrom: oh i see. so haskell only caches computations when associated with an identifier rather than, say, application expressions.
2021-04-16 23:17:39 +0200 <jaykru> and i guess the reason you need to introduce `u` is that the `x` in the RULE is some sort of weird metavariable rather than a proper haskell variable
2021-04-16 23:18:14 +0200 <monochrom> Yeah
2021-04-16 23:19:37 +0200 <ep1ctetus> monochrom: I've read various things about how it's unwieldy to make new Monad Transformers, but this post makes it seem like no big deal
2021-04-16 23:19:57 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-04-16 23:20:35 +0200 <monochrom> Monad transformers are on the instance side. But MonadHTTP is on the class side.
2021-04-16 23:21:07 +0200 <monochrom> And nothing says that you must or must not use, say, StateT for your instance of MonadHTTP.
2021-04-16 23:21:32 +0200 <ep1ctetus> ah, right, that makes sense
2021-04-16 23:22:34 +0200 <monochrom> And even the critiques against the classes in mtl is that MonadState, MonadReader, MonadWriter are too broad to be meaningful. The very same critiques conclude that you should design your own domain-specific MonadHTTP class.
2021-04-16 23:22:46 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2021-04-16 23:25:13 +0200 <monochrom> On the instance side, it is OK to newtype-wrap around StateT (X,Y) (ReaderT Z IO). This satisfies both encapsulation and don't-reinvent-the-wheel.
2021-04-16 23:26:33 +0200 <ep1ctetus> Yes, the Real World Haskell book has good examples of this
2021-04-16 23:26:48 +0200 <monochrom> But it is really the same logic as "should I use (Int, Double) or should define data MyType = Make Int Double", "should I use type Level = Int or should I use newtype Level = Level Int"
2021-04-16 23:27:34 +0200tumdedum(~tumdedum@unaffiliated/espiral) (Ping timeout: 276 seconds)
2021-04-16 23:28:06 +0200tumdedum(~tumdedum@unaffiliated/espiral)
2021-04-16 23:28:51 +0200hiroaki_(~hiroaki@2a02:908:4b18:8c40:8c7f:db9f:4c52:d3d3) (Ping timeout: 248 seconds)
2021-04-16 23:29:07 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-04-16 23:29:58 +0200Guest45254(~textual@zrcout.mskcc.org) (Ping timeout: 240 seconds)
2021-04-16 23:31:39 +0200 <ep1ctetus> It's considered safer to use newtype, right? Because when you just use plain type or a plain tuple you're open to bad values that are the correct type
2021-04-16 23:31:51 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2021-04-16 23:32:01 +0200eacameron(uid256985@gateway/web/irccloud.com/x-mgmmticzouvypcht)
2021-04-16 23:32:57 +0200 <monochrom> Yes. And also machine-checked meaningful type names.
2021-04-16 23:34:27 +0200jlode21(54d781ab@84.215.129.171)
2021-04-16 23:34:56 +0200 <jlode21> Hey. I'm trying to multiply together two `Nat`s (from GHC.TypeLits). Should this be extremely difficult?
2021-04-16 23:35:15 +0200 <monochrom> Yes.
2021-04-16 23:35:19 +0200 <jlode21> :k! (1 :: Nat) + (1 :: Nat)
2021-04-16 23:35:22 +0200 <jlode21> gives me 1 as a result
2021-04-16 23:35:36 +0200 <jlode21> Replacing + by * gives
2021-04-16 23:35:38 +0200 <jlode21> Expected kind ‘* -> Nat -> k0’, but ‘5 :: Nat’ has kind ‘Nat’
2021-04-16 23:35:50 +0200 <jlode21> Err, and I'm obviously using other numbers than 1 :))
2021-04-16 23:35:57 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-16 23:36:02 +0200 <monochrom> Haha that's not even extremely difficult. It's extremely wrong. >:)
2021-04-16 23:36:42 +0200 <jlode21> How so? (: I don't see how I could be making any mistakes by replacing + by *
2021-04-16 23:37:08 +0200 <monochrom> Well, 1+1=1 is extremely wrong.
2021-04-16 23:37:10 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-04-16 23:37:43 +0200 <monochrom> But * = Type so I don't think the computer is understanding you when you write "1*1".
2021-04-16 23:37:44 +0200 <jlode21> Haha, d'oh
2021-04-16 23:38:12 +0200 <jlode21> That's not what I'm actually getting. I just made up an example, and I'm really bad at arithmetic
2021-04-16 23:38:21 +0200 <monochrom> There is an extension, something like NoStarType, that you could use to regain * as a binary operator
2021-04-16 23:38:49 +0200 <monochrom> NoStarIsType is closer. I'm too lazy to look it up.
2021-04-16 23:39:24 +0200 <hpc> imagine a reasonable name for StarIsType and add "No" to it
2021-04-16 23:39:30 +0200 <jlode21> Thank you!
2021-04-16 23:39:47 +0200 <jlode21> I was unable to find anything useful via google
2021-04-16 23:39:51 +0200 <hpc> all of the No* extensions are turning off a yes extension
2021-04-16 23:40:18 +0200 <jlode21> I'd expect something like this to be explained under `type family n * m` in GHC.TypeLits
2021-04-16 23:40:19 +0200 <monochrom> Yeah it's from StarIsType
2021-04-16 23:43:08 +0200Alleria(~textual@2603-7000-3040-0000-7880-0355-734f-9c41.res6.spectrum.com)
2021-04-16 23:43:26 +0200 <jlode21> Now, in there an alternative way to say `Type` if I can't say it with * (since I just disabled that)?
2021-04-16 23:43:27 +0200Alleria(~textual@2603-7000-3040-0000-7880-0355-734f-9c41.res6.spectrum.com) (Client Quit)
2021-04-16 23:44:10 +0200fendor(~fendor@178.165.131.109.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-04-16 23:44:15 +0200 <jlode21> Guess that's Data.Kind (Type)
2021-04-16 23:45:01 +0200 <monochrom> Yeah import it from Data.Kind then you can use it.
2021-04-16 23:45:11 +0200 <jlode21> Sorry, I'll stop rubber ducking. That's a lot for the help :)
2021-04-16 23:45:19 +0200 <monochrom> :)
2021-04-16 23:45:20 +0200 <jlode21> Would have never found NoStarIsType on my own
2021-04-16 23:45:31 +0200 <jlode21> Thanks a lot*
2021-04-16 23:46:38 +0200 <zzz> does anyone have a suggestion of a vector graphics library for animating basic geometric shapes with antialiasing and whatnot?
2021-04-16 23:47:46 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-04-16 23:48:13 +0200spacebase(~spacebase@97-118-136-127.hlrn.qwest.net)
2021-04-16 23:48:34 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds)
2021-04-16 23:48:34 +0200mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 252 seconds)
2021-04-16 23:51:14 +0200mrchampion(~mrchampio@38.18.109.23)
2021-04-16 23:51:26 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2021-04-16 23:51:43 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-04-16 23:51:52 +0200 <monochrom> I haven't done vector graphics but http://hackage.haskell.org/package/diagrams
2021-04-16 23:53:57 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-04-16 23:54:06 +0200myShoggoth(~myShoggot@75.164.11.109) (Ping timeout: 240 seconds)
2021-04-16 23:54:40 +0200myShoggoth(~myShoggot@75.164.11.109)
2021-04-16 23:55:47 +0200 <edwardk> diagrams can spit out svg and you can use the quality of the svg renderer you use to get fancy antialiasing
2021-04-16 23:55:47 +0200syntactic_sugar(~syntactic@c-67-169-78-228.hsd1.ca.comcast.net)
2021-04-16 23:56:06 +0200syntactic_sugar(~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit)
2021-04-16 23:56:30 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection)