Home liberachat/#haskell: Logs Calendar

Logs on 2021-06-06 (liberachat/#haskell)

00:04:02 → Toast52 joins (~Toast52@151.192.167.120)
00:04:36 × pierrot quits (~pi@user/pierrot) (Remote host closed the connection)
00:06:29 × xff0x quits (~xff0x@2001:1a81:53bd:ad00:83e3:594a:8633:1f79) (Ping timeout: 244 seconds)
00:07:40 → xff0x joins (~xff0x@2001:1a81:53f2:9700:8751:d09f:3a3:681c)
00:07:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
00:09:35 × hololeap quits (hololeap@user/hololeap) (Remote host closed the connection)
00:10:38 → pierrot joins (~pi@user/pierrot)
00:12:47 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection)
00:17:14 → Guest33 joins (~Guest33@69.158.246.217)
00:17:20 × altern quits (~Sergii@altern.corbina.com.ua) (Ping timeout: 272 seconds)
00:17:33 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
00:23:15 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 245 seconds)
00:28:33 × slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: Lost terminal)
00:29:56 × shriekingnoise quits (~shrieking@186.137.144.80) (Read error: Connection reset by peer)
00:30:01 → slowButPresent joins (~slowButPr@user/slowbutpresent)
00:30:21 → ddellacosta joins (~ddellacos@89.46.62.108)
00:32:01 → jaevanko joins (~jaevanko@2600:1700:1330:2bef:3811:9ded:8910:1357)
00:32:55 × jaevanko quits (~jaevanko@2600:1700:1330:2bef:3811:9ded:8910:1357) (Client Quit)
00:34:54 × ddellacosta quits (~ddellacos@89.46.62.108) (Ping timeout: 244 seconds)
00:35:14 → hmmmas joins (~chenqisu1@183.217.201.236)
00:41:52 × Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa)
00:42:17 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
00:43:07 × junkicide quits (~user@2a01:e0a:195:20c0:a95e:73ee:468d:e1b6) (Ping timeout: 268 seconds)
00:44:33 → cat32 joins (~cat@c-71-198-154-51.hsd1.ca.comcast.net)
00:45:13 × cat32 quits (~cat@c-71-198-154-51.hsd1.ca.comcast.net) (Client Quit)
00:45:25 → cat34 joins (~cat@c-71-198-154-51.hsd1.ca.comcast.net)
00:46:07 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
00:46:36 × Guest33 quits (~Guest33@69.158.246.217) (Quit: Client closed)
00:49:11 × pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.6.4 - http://znc.in)
00:49:45 → pierrot joins (~pi@user/pierrot)
00:50:42 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
00:53:32 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com)
00:57:54 → ddellacosta joins (~ddellacos@86.106.121.248)
00:59:42 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
01:01:06 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
01:01:34 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Client Quit)
01:02:25 × ddellacosta quits (~ddellacos@86.106.121.248) (Ping timeout: 245 seconds)
01:03:25 → pe200012 joins (~pe200012@58.248.179.178)
01:04:00 × pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.6.4 - http://znc.in)
01:04:35 → pierrot joins (~pi@user/pierrot)
01:05:02 → bitmapper joins (uid464869@id-464869.tooting.irccloud.com)
01:06:43 → ddellacosta joins (~ddellacos@89.45.224.183)
01:06:55 → myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net)
01:07:45 × immae quits (~immae@2a01:4f8:141:53e7::) (Quit: WeeChat 2.9)
01:08:12 → immae joins (~immae@2a01:4f8:141:53e7::)
01:09:30 × geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 245 seconds)
01:11:30 × aerona quits (~aerona@2600:6c54:4600:f300:8166:afd5:9294:f1a6) (Quit: Leaving)
01:11:44 → aerona joins (~aerona@2600:6c54:4600:f300:8166:afd5:9294:f1a6)
01:13:09 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98)
01:15:09 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
01:15:54 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
01:16:35 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds)
01:17:05 × xff0x quits (~xff0x@2001:1a81:53f2:9700:8751:d09f:3a3:681c) (Ping timeout: 265 seconds)
01:17:23 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 252 seconds)
01:17:55 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
01:18:56 → xff0x joins (~xff0x@2001:1a81:53fc:900:3f16:186f:3986:9c65)
01:26:21 → ell joins (~ellie@user/ellie)
01:27:18 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98)
01:29:59 × hexo quits (~hexo@user/hexo) (Ping timeout: 268 seconds)
01:35:36 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
01:36:39 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
01:50:42 × stefan-_ quits (~cri@42dots.de) (Ping timeout: 264 seconds)
01:53:01 × Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:c4cd:bb0f:bbfb:d57f) (Read error: Connection reset by peer)
01:54:27 → stefan-_ joins (~cri@42dots.de)
01:59:47 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
02:00:23 → doyougnu joins (~user@c-67-168-253-231.hsd1.or.comcast.net)
02:04:01 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
02:07:52 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
02:07:52 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (tungsten.libera.chat (Nickname regained by services)))
02:07:52 finn_elija is now known as FinnElija
02:14:28 → Izem joins (~Izem@bras-base-london1483w-grc-38-65-95-41-91.dsl.bell.ca)
02:16:03 × cat34 quits (~cat@c-71-198-154-51.hsd1.ca.comcast.net) (Quit: Connection closed)
02:18:50 → kirelagin[m] joins (~kirelagin@2001:470:69fc:105::f85)
02:24:29 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 252 seconds)
02:25:59 kirelagin[m] is now known as kirelagin
02:26:26 × kirelagin quits (~kirelagin@2001:470:69fc:105::f85) (Quit: node-irc says goodbye)
02:26:45 → kirelagin joins (~kirelagin@2001:470:69fc:105::f85)
02:27:12 × kirelagin quits (~kirelagin@2001:470:69fc:105::f85) (Client Quit)
02:27:28 → kirelagin joins (~kirelagin@2001:470:69fc:105::f85)
02:27:39 × td_ quits (~td@muedsl-82-207-238-014.citykom.de) (Ping timeout: 265 seconds)
02:27:50 × pe200012 quits (~pe200012@58.248.179.178) (Ping timeout: 245 seconds)
02:27:53 → pe200012_ joins (~pe200012@58.248.179.178)
02:29:07 → td_ joins (~td@muedsl-82-207-238-175.citykom.de)
02:29:42 × hiruji` quits (~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6) (Ping timeout: 272 seconds)
02:29:56 ← kirelagin parts (~kirelagin@2001:470:69fc:105::f85) ()
02:30:48 → hiruji joins (~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6)
02:33:37 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection)
02:35:48 ← Izem parts (~Izem@bras-base-london1483w-grc-38-65-95-41-91.dsl.bell.ca) ()
02:37:50 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
02:45:24 → Bartosz joins (~textual@24.35.90.211)
02:45:46 × egoist quits (~egoist@186.235.82.52) (Quit: WeeChat 3.1)
02:46:20 × hmmmas quits (~chenqisu1@183.217.201.236) (Quit: Leaving.)
02:48:12 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
02:49:00 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection)
02:49:12 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
02:52:33 → wei2912 joins (~wei2912@112.199.250.21)
02:53:40 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 245 seconds)
02:54:25 → ddellaco_ joins (~ddellacos@86.106.121.26)
02:59:08 × ddellaco_ quits (~ddellacos@86.106.121.26) (Ping timeout: 252 seconds)
03:04:34 → justsomeguy joins (~justsomeg@user/justsomeguy)
03:05:14 → ikex joins (~ash@user/ikex)
03:07:54 → dyeplexer joins (~dyeplexer@user/dyeplexer)
03:11:29 × ddellacosta quits (~ddellacos@89.45.224.183) (Remote host closed the connection)
03:11:40 × Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
03:12:36 × shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
03:13:00 × Erutuon quits (~Erutuon@user/erutuon) (Quit: WeeChat 2.8)
03:13:10 → Erutuon joins (~Erutuon@user/erutuon)
03:16:06 → ddellacosta joins (~ddellacos@86.106.121.222)
03:19:37 × jlamothe quits (~jlamothe@198.251.57.81) (Remote host closed the connection)
03:23:02 × chexum quits (~chexum@gateway/tor-sasl/chexum) (Remote host closed the connection)
03:23:31 → chexum joins (~chexum@gateway/tor-sasl/chexum)
03:26:46 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
03:27:51 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds)
03:27:59 Lord_of_Life_ is now known as Lord_of_Life
03:32:03 × kadoban quits (~kadoban@user/kadoban) (Read error: Connection reset by peer)
03:32:04 × hjulle[m] quits (~hjullemat@2001:470:69fc:105::1dd) (Remote host closed the connection)
03:32:04 × adziahel[m] quits (~adziahelm@2001:470:69fc:105::b4d) (Read error: Connection reset by peer)
03:32:04 × tomferon[m] quits (~tomferon@2001:470:69fc:105::268) (Read error: Connection reset by peer)
03:32:04 × cdsmith quits (~cdsmithma@2001:470:69fc:105::284) (Read error: Connection reset by peer)
03:32:04 × cdepillabout[m] quits (~cdepillab@2001:470:69fc:105::3d3) (Read error: Connection reset by peer)
03:32:04 × Morrow[m] quits (~morrowmma@2001:470:69fc:105::1d0) (Read error: Connection reset by peer)
03:32:04 × sm[m] quits (~sm@plaintextaccounting/sm) (Write error: Connection reset by peer)
03:32:04 × ru0mad[m] quits (~ru0madmat@2001:470:69fc:105::9b2) (Read error: Connection reset by peer)
03:32:04 × ac quits (~aloiscoch@2001:470:69fc:105::65) (Write error: Connection reset by peer)
03:32:04 × peddie quits (~peddie@2001:470:69fc:105::25d) (Read error: Connection reset by peer)
03:32:04 × maerwald[m] quits (~maerwaldm@2001:470:69fc:105::1ee) (Remote host closed the connection)
03:32:04 × MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (Write error: Connection reset by peer)
03:32:04 × fgaz quits (~fgaz@2001:470:69fc:105::842) (Write error: Connection reset by peer)
03:32:04 × psydroid quits (~psydroidm@user/psydroid) (Write error: Connection reset by peer)
03:32:04 × siraben quits (~siraben@user/siraben) (Write error: Connection reset by peer)
03:32:04 × ServerStatsDisco quits (~serversta@2001:470:69fc:105::1a) (Write error: Connection reset by peer)
03:32:04 × Soft quits (~soft-matr@2001:470:69fc:105::c75) (Read error: Connection reset by peer)
03:32:04 × amesgen[m] quits (~amesgenam@2001:470:69fc:105::82b) (Read error: Connection reset by peer)
03:32:04 × kosmikus[m] quits (~andresloe@2001:470:69fc:105::95d) (Read error: Connection reset by peer)
03:32:04 × eddiemundo quits (~eddiemund@2001:470:69fc:105::a9c) (Read error: Connection reset by peer)
03:32:04 × Drezil quits (~drezilkif@2001:470:69fc:105::7f8) (Read error: Connection reset by peer)
03:32:04 × Artem[m] quits (~artemtype@2001:470:69fc:105::75b) (Read error: Connection reset by peer)
03:32:04 × jaror[m] quits (~jaror@2001:470:69fc:105::265) (Read error: Connection reset by peer)
03:32:04 × marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (Read error: Connection reset by peer)
03:32:04 × srid[m] quits (~sridmatri@2001:470:69fc:105::1c2) (Read error: Connection reset by peer)
03:32:04 × zwro[m] quits (~zwromatri@2001:470:69fc:105::1d4) (Read error: Connection reset by peer)
03:32:04 × bb010g quits (~bb010gmat@2001:470:69fc:105::9a5) (Read error: Connection reset by peer)
03:32:04 × Las[m] quits (~lasmatrix@2001:470:69fc:105::74e) (Write error: Connection reset by peer)
03:32:04 × fabfianda[m] quits (~fabfianda@2001:470:69fc:105::6db) (Write error: Connection reset by peer)
03:32:04 × the-coot[m] quits (~the-cootm@2001:470:69fc:105::95f) (Remote host closed the connection)
03:32:04 × maralorn quits (~maralorn@2001:470:69fc:105::251) (Read error: Connection reset by peer)
03:32:49 → maerwald[m] joins (~maerwaldm@2001:470:69fc:105::1ee)
03:34:21 × pe200012_ quits (~pe200012@58.248.179.178) (Ping timeout: 265 seconds)
03:34:23 → pe200012 joins (~pe200012@119.145.72.136)
03:34:57 → siraben joins (~siraben@user/siraben)
03:34:57 → ac joins (~aloiscoch@2001:470:69fc:105::65)
03:34:57 → sm[m] joins (~sm@plaintextaccounting/sm)
03:34:57 → psydroid joins (~psydroidm@2001:470:69fc:105::165)
03:34:57 → MatrixTravelerbo joins (~voyagert2@2001:470:69fc:105::22)
03:34:57 → fgaz joins (~fgaz@2001:470:69fc:105::842)
03:34:57 → maralorn joins (~maralorn@2001:470:69fc:105::251)
03:34:58 → peddie joins (~peddie@2001:470:69fc:105::25d)
03:34:58 → fabfianda[m] joins (~fabfianda@2001:470:69fc:105::6db)
03:34:58 → Las[m] joins (~lasmatrix@2001:470:69fc:105::74e)
03:34:58 → ServerStatsDisco joins (~serversta@2001:470:69fc:105::1a)
03:34:59 → the-coot[m] joins (~the-cootm@2001:470:69fc:105::95f)
03:34:59 → kadoban joins (~kadoban@user/kadoban)
03:35:09 → hjulle[m] joins (~hjullemat@2001:470:69fc:105::1dd)
03:35:09 → srid[m] joins (~sridmatri@2001:470:69fc:105::1c2)
03:35:09 → Morrow[m] joins (~morrowmma@2001:470:69fc:105::1d0)
03:35:10 → jaror[m] joins (~jaror@2001:470:69fc:105::265)
03:35:10 → zwro[m] joins (~zwromatri@2001:470:69fc:105::1d4)
03:35:10 → tomferon[m] joins (~tomferon@2001:470:69fc:105::268)
03:35:10 → bb010g joins (~bb010gmat@2001:470:69fc:105::9a5)
03:35:10 → Drezil joins (~drezilkif@2001:470:69fc:105::7f8)
03:35:10 → Artem[m] joins (~artemtype@2001:470:69fc:105::75b)
03:35:10 → marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8)
03:35:11 → cdepillabout[m] joins (~cdepillab@2001:470:69fc:105::3d3)
03:35:11 → ru0mad[m] joins (~ru0madmat@2001:470:69fc:105::9b2)
03:35:11 → amesgen[m] joins (~amesgenam@2001:470:69fc:105::82b)
03:35:11 → adziahel[m] joins (~adziahelm@2001:470:69fc:105::b4d)
03:35:11 → eddiemundo joins (~eddiemund@2001:470:69fc:105::a9c)
03:35:11 → cdsmith joins (~cdsmithma@2001:470:69fc:105::284)
03:35:12 → kosmikus[m] joins (~andresloe@2001:470:69fc:105::95d)
03:35:12 → Soft joins (~soft-matr@2001:470:69fc:105::c75)
03:36:55 → otto_s joins (~user@p4ff27879.dip0.t-ipconnect.de)
03:39:52 × otto_s_ quits (~user@p5de2f70a.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
03:40:38 × unyu quits (~pyon@user/pyon) (Quit: WeeChat 3.1)
03:44:56 × Henson quits (~kvirc@23-233-1-122.cpe.pppoe.ca) (Quit: sleep time!)
03:45:19 → hololeap joins (hololeap@user/hololeap)
03:45:26 → altern joins (~Sergii@altern.corbina.com.ua)
03:55:53 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
04:02:36 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 244 seconds)
04:02:59 × danso quits (~danso@23-233-111-52.cpe.pppoe.ca) (Read error: Connection reset by peer)
04:03:17 → danso joins (~danso@23-233-111-52.cpe.pppoe.ca)
04:08:45 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
04:09:50 → jlamothe joins (~jlamothe@198.251.57.81)
04:13:20 × HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving)
04:13:24 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
04:18:37 → Guest57 joins (~Guest57@122.182.222.241)
04:19:27 × Guest57 quits (~Guest57@122.182.222.241) (Client Quit)
04:19:48 → Guest18 joins (~Guest18@122.182.222.241)
04:20:21 × Guest18 quits (~Guest18@122.182.222.241) (Client Quit)
04:22:13 → larkfisherman joins (~larkfishe@178.77.36.35)
04:23:47 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 244 seconds)
04:26:48 × alx741 quits (~alx741@186.178.108.47) (Quit: alx741)
04:26:54 × larkfisherman quits (~larkfishe@178.77.36.35) (Remote host closed the connection)
04:33:36 → Pixi_ joins (~Pixi@user/pixi)
04:33:42 → larkfisherman joins (~larkfishe@178.77.36.35)
04:34:19 → anonymous joins (~river@tilde.team/user/river)
04:34:28 → tabemann_ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
04:34:38 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
04:34:44 → poljar joins (~poljar@78-2-43-255.adsl.net.t-com.hr)
04:34:46 → abbie2 joins (~abbie@user/abbie)
04:34:48 → SquidDev9 joins (~SquidDev@autoclave.squiddev.cc)
04:34:53 → infinisi1 joins (~infinisil@mail.infinisil.com)
04:34:58 → yaroot8 joins (~yaroot@6.3.30.125.dy.iij4u.or.jp)
04:35:04 → thelounge923 joins (~thelounge@cpe-23-240-28-18.socal.res.rr.com)
04:35:06 → dsal_ joins (sid13060@id-13060.tooting.irccloud.com)
04:35:20 → sclv_ joins (sid39734@haskell/developer/sclv)
04:35:24 → _73` joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net)
04:35:32 → CodeKiwi joins (~kiwi@2604:a880:400:d0::12fc:5001)
04:35:45 → grfn_ joins (sid449115@id-449115.brockwell.irccloud.com)
04:35:47 → terrorjack2 joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com)
04:35:52 → obviyus_ joins (sid415299@user/obviyus)
04:35:52 → conjunctive_ joins (sid433686@id-433686.brockwell.irccloud.com)
04:35:55 → nitrix_ joins (~nitrix@ns569831.ip-51-79-81.net)
04:35:59 → FragByte_ joins (~christian@user/fragbyte)
04:36:03 → rizary_andika__ joins (sid220347@id-220347.tooting.irccloud.com)
04:36:03 → jrm2 joins (~jrm@156.34.187.65)
04:36:06 → mrusme joins (~mrus@149.28.61.155)
04:36:09 → connrs_ joins (~connrs@user/connrs)
04:36:10 → Philonous_ joins (~Philonous@user/philonous)
04:36:10 → anderson_ joins (~ande@134.209.221.71)
04:36:17 → betelgeuse01 joins (~john2gb@94-225-47-8.access.telenet.be)
04:36:46 → sm_ joins (~user@plaintextaccounting/sm)
04:36:59 → forell_ joins (~forell@host-178-216-90-220.sta.tvknaszapraca.pl)
04:37:10 → Rembane_ joins (~Rembane@li346-36.members.linode.com)
04:37:15 → SIben_ joins (~SIben@ns3106586.ip-5-135-191.eu)
04:37:32 → piele_ joins (~piele@tbonesteak.creativeserver.net)
04:37:34 → wagle_ joins (~wagle@quassel.wagle.io)
04:37:45 × FragByte quits (~christian@user/fragbyte) (Ping timeout: 264 seconds)
04:37:45 × forell quits (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Ping timeout: 264 seconds)
04:37:45 × lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 264 seconds)
04:37:45 × obviyus quits (sid415299@user/obviyus) (Ping timeout: 264 seconds)
04:37:45 × dsal quits (sid13060@tooting.irccloud.com) (Ping timeout: 264 seconds)
04:37:45 × eight quits (~eight@user/eight) (Ping timeout: 264 seconds)
04:37:45 × kmein quits (~weechat@user/kmein) (Ping timeout: 264 seconds)
04:37:45 × connrs quits (~connrs@user/connrs) (Ping timeout: 264 seconds)
04:37:45 × qoelet quits (~kumo@139.180.144.166) (Ping timeout: 264 seconds)
04:37:45 × grfn quits (sid449115@brockwell.irccloud.com) (Ping timeout: 264 seconds)
04:37:45 × meridion quits (~meridion@punt.hetgrotebos.org) (Ping timeout: 264 seconds)
04:37:45 × infinisil quits (~infinisil@mail.infinisil.com) (Ping timeout: 264 seconds)
04:37:45 × pieguy128_ quits (~pieguy128@bras-base-mtrlpq5031w-grc-57-65-92-163-194.dsl.bell.ca) (Ping timeout: 264 seconds)
04:37:45 × river quits (~river@tilde.team/user/river) (Ping timeout: 264 seconds)
04:37:45 × anderson quits (~ande@134.209.221.71) (Ping timeout: 264 seconds)
04:37:45 × thelounge92 quits (~thelounge@cpe-23-240-28-18.socal.res.rr.com) (Ping timeout: 264 seconds)
04:37:45 × amk quits (~amk@176.61.106.150) (Ping timeout: 264 seconds)
04:37:45 × Pixi quits (~Pixi@user/pixi) (Ping timeout: 264 seconds)
04:37:45 × betelgeuse0 quits (~john2gb@94-225-47-8.access.telenet.be) (Ping timeout: 264 seconds)
04:37:45 × jrm quits (~jrm@156.34.187.65) (Ping timeout: 264 seconds)
04:37:45 × hiptobecubic quits (~john@c-73-55-99-95.hsd1.fl.comcast.net) (Ping timeout: 264 seconds)
04:37:45 × bcmiller quits (~bm3719@66.42.95.185) (Ping timeout: 264 seconds)
04:37:45 × yahb quits (xsbot@user/mniip/bot/yahb) (Ping timeout: 264 seconds)
04:37:45 × aravk quits (~aravk@user/aravk) (Ping timeout: 264 seconds)
04:37:45 × bah quits (~bah@l1.tel) (Ping timeout: 264 seconds)
04:37:45 × hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 264 seconds)
04:37:45 × conjunctive quits (sid433686@brockwell.irccloud.com) (Ping timeout: 264 seconds)
04:37:45 × sclv quits (sid39734@haskell/developer/sclv) (Ping timeout: 264 seconds)
04:37:45 × m1dnight quits (~christoph@188.ip-51-91-158.eu) (Ping timeout: 264 seconds)
04:37:45 × gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 264 seconds)
04:37:45 × tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 264 seconds)
04:37:45 × mrus quits (~mrus@149.28.61.155) (Ping timeout: 264 seconds)
04:37:45 × guibou quits (~guibou@163.172.83.213) (Ping timeout: 264 seconds)
04:37:45 × micro quits (~micro@user/micro) (Ping timeout: 264 seconds)
04:37:45 × SIben quits (~SIben@ns3106586.ip-5-135-191.eu) (Ping timeout: 264 seconds)
04:37:45 × Rembane quits (~Rembane@li346-36.members.linode.com) (Ping timeout: 264 seconds)
04:37:45 × eeva quits (~Samae@marvid.fr) (Ping timeout: 264 seconds)
04:37:45 × DigitalKiwi quits (~kiwi@192.241.157.119) (Ping timeout: 264 seconds)
04:37:45 × mmaruseacph2 quits (~mihai@198.199.100.72) (Ping timeout: 264 seconds)
04:37:45 × Philonous quits (~Philonous@user/philonous) (Read error: Connection reset by peer)
04:37:45 × sm quits (~user@plaintextaccounting/sm) (Read error: Connection reset by peer)
04:37:46 → lambdabot joins (~lambdabot@silicon.int-e.eu)
04:37:46 → yahb joins (xsbot@178.219.36.155)
04:37:46 × wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 264 seconds)
04:37:46 × _73 quits (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
04:37:46 × otulp quits (~otulp@ti0187q162-2423.bb.online.no) (Ping timeout: 264 seconds)
04:37:46 × yaroot quits (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Ping timeout: 264 seconds)
04:37:46 × nitrix quits (~nitrix@user/nitrix) (Ping timeout: 264 seconds)
04:37:46 × poljar1 quits (~poljar@78-2-43-255.adsl.net.t-com.hr) (Ping timeout: 264 seconds)
04:37:46 × aji quits (~alex@prickle.ajitek.net) (Ping timeout: 264 seconds)
04:37:46 × juri_ quits (~juri@178.63.35.222) (Ping timeout: 264 seconds)
04:37:46 × superbil quits (~superbil@1-34-176-171.HINET-IP.hinet.net) (Ping timeout: 264 seconds)
04:37:46 × rizary_andika_ quits (sid220347@tooting.irccloud.com) (Ping timeout: 264 seconds)
04:37:46 × piele quits (~piele@tbonesteak.creativeserver.net) (Ping timeout: 264 seconds)
04:37:46 × terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Ping timeout: 264 seconds)
04:37:46 × SquidDev quits (~SquidDev@autoclave.squiddev.cc) (Ping timeout: 264 seconds)
04:37:46 × abbie quits (~abbie@user/abbie) (Ping timeout: 264 seconds)
04:37:46 → qoelet joins (~kumo@139.180.144.166)
04:37:46 FragByte_ is now known as FragByte
04:37:46 × yahb quits (xsbot@178.219.36.155) (Changing host)
04:37:46 → yahb joins (xsbot@user/mniip/bot/yahb)
04:37:46 dsal_ is now known as dsal
04:37:46 thelounge923 is now known as thelounge92
04:37:46 grfn_ is now known as grfn
04:37:46 yaroot8 is now known as yaroot
04:37:46 SquidDev9 is now known as SquidDev
04:37:46 × lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host)
04:37:46 → lambdabot joins (~lambdabot@haskell/bot/lambdabot)
04:37:47 obviyus_ is now known as obviyus
04:37:47 terrorjack2 is now known as terrorjack
04:37:47 sclv_ is now known as sclv
04:37:48 rizary_andika__ is now known as rizary_andika_
04:37:48 conjunctive_ is now known as conjunctive
04:37:51 → juri__ joins (~juri@178.63.35.222)
04:37:51 → otulp_ joins (~otulp@ti0187q162-2423.bb.online.no)
04:37:51 jrm2 is now known as jrm
04:37:51 abbie2 is now known as abbie
04:37:51 otulp_ is now known as otulp
04:37:55 → bcmiller joins (~bm3719@66.42.95.185)
04:37:59 → gabiruh joins (~gabiruh@vps19177.publiccloud.com.br)
04:38:00 × Scraeling quits (~Scraeling@user/scraeling) (Remote host closed the connection)
04:38:03 → eight joins (~eight@user/eight)
04:38:03 → meridion joins (~meridion@punt.hetgrotebos.org)
04:38:05 → aravk joins (~aravk@user/aravk)
04:38:06 → pieguy128 joins (~pieguy128@bas1-montreal02-65-92-163-194.dsl.bell.ca)
04:38:16 → kmein joins (~weechat@user/kmein)
04:38:19 → bah joins (~bah@l1.tel)
04:38:19 → micro joins (~micro@user/micro)
04:38:22 → aji joins (~alex@prickle.ajitek.net)
04:38:23 → hpc joins (~juzz@98.169.35.13)
04:38:28 → superbil joins (~superbil@1-34-176-171.HINET-IP.hinet.net)
04:38:32 → m1dnight joins (~christoph@188.ip-51-91-158.eu)
04:38:39 → Scraeling joins (~Scraeling@34.84.165.63)
04:38:48 → mmaruseacph2 joins (~mihai@198.199.100.72)
04:42:46 → amk joins (~amk@176.61.106.150)
04:43:41 → heartles_xyz joins (~heartlles@2601:1c0:6000:43f0::b82)
04:43:47 ← heartles_xyz parts (~heartlles@2601:1c0:6000:43f0::b82) ()
04:45:26 → guibou joins (~guibou@163.172.83.213)
04:48:04 × boxscape quits (~boxscape@user/boxscape) (Ping timeout: 244 seconds)
04:51:57 → reumeth joins (~reumeth@user/reumeth)
04:52:10 × Toast52 quits (~Toast52@151.192.167.120) (Ping timeout: 266 seconds)
04:53:01 → hmmmas joins (~chenqisu1@183.217.201.236)
04:55:55 × pe200012 quits (~pe200012@119.145.72.136) (Quit: Konversation terminated!)
04:56:16 → ddellaco_ joins (~ddellacos@89.46.62.117)
04:56:42 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 264 seconds)
04:58:28 → Erutuon joins (~Erutuon@user/erutuon)
04:58:41 × larkfisherman quits (~larkfishe@178.77.36.35) (Remote host closed the connection)
04:59:34 → larkfisherman joins (~larkfishe@178.77.36.35)
04:59:40 × nitrix_ quits (~nitrix@ns569831.ip-51-79-81.net) (Changing host)
04:59:40 → nitrix_ joins (~nitrix@user/nitrix)
04:59:47 nitrix_ is now known as nitrix
05:01:04 × ddellaco_ quits (~ddellacos@89.46.62.117) (Ping timeout: 272 seconds)
05:02:13 → rk04 joins (~rk04@user/rajk)
05:05:46 → pasko__ joins (~larkfishe@178.77.35.8)
05:06:04 × pasko__ quits (~larkfishe@178.77.35.8) (Remote host closed the connection)
05:06:26 → pasko__ joins (~larkfishe@178.77.35.8)
05:08:05 × AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.)
05:08:40 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
05:09:33 × larkfisherman quits (~larkfishe@178.77.36.35) (Ping timeout: 272 seconds)
05:12:52 × johnw quits (~johnw@2600:1700:cf00:db0:1519:fa63:98ad:1b6e) (Ping timeout: 244 seconds)
05:13:01 × pasko__ quits (~larkfishe@178.77.35.8) (Quit: Leaving)
05:23:13 → johnw joins (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0)
05:25:38 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
05:31:28 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
05:32:45 × img quits (~img@2405:6580:b1c0:2500:9987:109a:ace3:e76f) (Changing host)
05:32:45 → img joins (~img@user/img)
05:35:23 × danso quits (~danso@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.1)
05:36:12 × hmmmas quits (~chenqisu1@183.217.201.236) (Quit: Leaving.)
05:37:07 → danso joins (~danso@23-233-111-52.cpe.pppoe.ca)
05:47:06 → Bartosz joins (~textual@24.35.90.211)
05:49:08 → Toast52 joins (~Toast52@151.192.167.120)
05:52:40 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
05:53:22 → dunkeln joins (~dunkeln@94.129.65.28)
05:55:04 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
05:57:29 × justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
05:57:34 × aerona quits (~aerona@2600:6c54:4600:f300:8166:afd5:9294:f1a6) (Read error: Connection reset by peer)
05:58:05 → justsomeguy joins (~justsomeg@user/justsomeguy)
06:13:39 × malvo quits (~malvo@malvo.org) (Ping timeout: 268 seconds)
06:14:39 → malvo joins (~malvo@malvo.org)
06:19:18 → shriekingnoise joins (~shrieking@186.137.144.80)
06:19:19 × shriekingnoise quits (~shrieking@186.137.144.80) (Client Quit)
06:21:47 → notzmv joins (~zmv@user/notzmv)
06:26:49 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 272 seconds)
06:28:27 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
06:35:33 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
06:36:29 × kosmikus[m] quits (~andresloe@2001:470:69fc:105::95d) (*.net *.split)
06:36:29 × Soft quits (~soft-matr@2001:470:69fc:105::c75) (*.net *.split)
06:36:29 × cdepillabout[m] quits (~cdepillab@2001:470:69fc:105::3d3) (*.net *.split)
06:36:29 × amesgen[m] quits (~amesgenam@2001:470:69fc:105::82b) (*.net *.split)
06:36:29 × zwro[m] quits (~zwromatri@2001:470:69fc:105::1d4) (*.net *.split)
06:36:29 × the-coot[m] quits (~the-cootm@2001:470:69fc:105::95f) (*.net *.split)
06:36:29 × maralorn quits (~maralorn@2001:470:69fc:105::251) (*.net *.split)
06:36:29 × fgaz quits (~fgaz@2001:470:69fc:105::842) (*.net *.split)
06:36:29 × maerwald[m] quits (~maerwaldm@2001:470:69fc:105::1ee) (*.net *.split)
06:36:29 × ac quits (~aloiscoch@2001:470:69fc:105::65) (*.net *.split)
06:36:29 × sm[m] quits (~sm@plaintextaccounting/sm) (*.net *.split)
06:36:29 × psydroid quits (~psydroidm@2001:470:69fc:105::165) (*.net *.split)
06:36:29 × MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (*.net *.split)
06:36:29 × azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (*.net *.split)
06:36:29 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (*.net *.split)
06:36:29 × GIANTWORLDKEEPER quits (~pjetcetal@2.95.204.25) (*.net *.split)
06:36:29 × dwt_ quits (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) (*.net *.split)
06:36:29 × abrar quits (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (*.net *.split)
06:36:29 × opqdonut quits (opqdonut@pseudo.fixme.fi) (*.net *.split)
06:36:29 × ozzymcduff quits (~mathieu@81-234-151-21-no94.tbcn.telia.com) (*.net *.split)
06:36:29 × Pent quits (sid313808@id-313808.tooting.irccloud.com) (*.net *.split)
06:36:29 × Megant quits (megant@user/megant) (*.net *.split)
06:36:29 × liskin quits (~liskin@ackle.nomi.cz) (*.net *.split)
06:36:29 × pie_bnc quits (~pie_bnc@user/pie/x-2818909) (*.net *.split)
06:36:29 × bsima quits (~bsima@simatime.com) (*.net *.split)
06:36:29 × ham quits (~ham4@user/ham) (*.net *.split)
06:36:29 × jiribenes quits (~jiribenes@rosa.jiribenes.com) (*.net *.split)
06:36:29 × NemesisD quits (sid24071@2001:67c:2f08:4::5e07) (*.net *.split)
06:36:29 × iphy quits (sid67735@2001:67c:2f08:4::1:897) (*.net *.split)
06:36:30 × edwardk quits (sid47016@haskell/developer/edwardk) (*.net *.split)
06:36:30 × Aighearach quits (~paris@c-71-63-160-210.hsd1.or.comcast.net) (*.net *.split)
06:36:30 × amir quits (sid22336@user/amir) (*.net *.split)
06:36:30 × agander_m quits (sid407952@id-407952.tinside.irccloud.com) (*.net *.split)
06:36:30 × bramhaag quits (~bramhaag@endeavour.servers.alpaca.engineer) (*.net *.split)
06:36:30 × keltono quits (~kelton@x-160-94-179-178.acm.umn.edu) (*.net *.split)
06:36:30 × mstruebing quits (~maex@2001:41d0:8:93c7::1) (*.net *.split)
06:36:30 × dexterfoo quits (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split)
06:36:30 × teehemkay quits (sid14792@id-14792.tooting.irccloud.com) (*.net *.split)
06:36:30 × bcoppens quits (~bartcopp@vpn2.bartcoppens.be) (*.net *.split)
06:36:30 × ajb quits (~ajb@cupid.whatbox.ca) (*.net *.split)
06:36:30 × tomboy64 quits (~tomboy64@user/tomboy64) (*.net *.split)
06:36:30 × nf quits (~n@monade.li) (*.net *.split)
06:36:30 × dcoutts quits (~duncan@94.186.125.91.dyn.plus.net) (*.net *.split)
06:36:30 × bwe quits (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split)
06:36:30 × incertia quits (~incertia@d4-50-26-103.nap.wideopenwest.com) (*.net *.split)
06:36:30 × vgtw quits (~vgtw@c-9164205c.07-348-756d651.bbcust.telenor.se) (*.net *.split)
06:36:30 × platz quits (~platz@user/platz) (*.net *.split)
06:36:30 × lisq quits (~quassel@lis.moe) (*.net *.split)
06:36:30 × T_S_ quits (sid501726@id-501726.highgate.irccloud.com) (*.net *.split)
06:36:30 × Reyu[M] quits (~reyureyuz@matrix.reyuzenfold.com) (*.net *.split)
06:36:30 × bbhoss quits (sid18216@id-18216.tinside.irccloud.com) (*.net *.split)
06:36:30 × esclear quits (~esclear@phobos.esclear.de) (*.net *.split)
06:36:30 × statusfailed quits (~statusfai@statusfailed.com) (*.net *.split)
06:36:30 × integral quits (sid296274@user/integral) (*.net *.split)
06:36:30 × tomsmeding quits (~tomsmedin@2a03:b0c0:0:1010::767:3001) (*.net *.split)
06:36:30 × acid quits (~acid@user/acid) (*.net *.split)
06:36:30 × joeyh quits (~joeyh@kitenet.net) (*.net *.split)
06:36:30 × adamse quits (sid72084@user/adamse) (*.net *.split)
06:36:30 × absence quits (torgeihe@hildring.pvv.ntnu.no) (*.net *.split)
06:36:30 × kritzefitz quits (~kritzefit@picard.host.weltraumschlangen.de) (*.net *.split)
06:36:30 × remexre quits (~nathan@user/remexre) (*.net *.split)
06:36:30 × ski quits (~ski@ed-3358-10.studat.chalmers.se) (*.net *.split)
06:36:30 × kaychaks_ quits (sid236345@id-236345.brockwell.irccloud.com) (*.net *.split)
06:36:30 × tnks quits (sid412124@id-412124.brockwell.irccloud.com) (*.net *.split)
06:36:30 × Patternmaster quits (~georg@li1192-118.members.linode.com) (*.net *.split)
06:36:30 × tureba quits (tureba@tureba.org) (*.net *.split)
06:36:30 × koz quits (~koz@121.99.240.58) (*.net *.split)
06:36:30 × Aleksejs quits (~Aleksejs@haskell.lv) (*.net *.split)
06:37:09 → Soft joins (~soft-matr@2001:470:69fc:105::c75)
06:37:09 → kosmikus[m] joins (~andresloe@2001:470:69fc:105::95d)
06:37:09 → amesgen[m] joins (~amesgenam@2001:470:69fc:105::82b)
06:37:09 → cdepillabout[m] joins (~cdepillab@2001:470:69fc:105::3d3)
06:37:09 → zwro[m] joins (~zwromatri@2001:470:69fc:105::1d4)
06:37:09 → the-coot[m] joins (~the-cootm@2001:470:69fc:105::95f)
06:37:09 → maralorn joins (~maralorn@2001:470:69fc:105::251)
06:37:09 → fgaz joins (~fgaz@2001:470:69fc:105::842)
06:37:09 → MatrixTravelerbo joins (~voyagert2@2001:470:69fc:105::22)
06:37:09 → psydroid joins (~psydroidm@2001:470:69fc:105::165)
06:37:09 → sm[m] joins (~sm@plaintextaccounting/sm)
06:37:09 → ac joins (~aloiscoch@2001:470:69fc:105::65)
06:37:09 → maerwald[m] joins (~maerwaldm@2001:470:69fc:105::1ee)
06:37:09 → azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
06:37:09 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
06:37:09 → GIANTWORLDKEEPER joins (~pjetcetal@2.95.204.25)
06:37:09 → dwt_ joins (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net)
06:37:09 → abrar joins (~abrar@static-108-2-152-54.phlapa.fios.verizon.net)
06:37:09 → opqdonut joins (opqdonut@pseudo.fixme.fi)
06:37:09 → ozzymcduff joins (~mathieu@81-234-151-21-no94.tbcn.telia.com)
06:37:09 → bramhaag joins (~bramhaag@endeavour.servers.alpaca.engineer)
06:37:09 → Pent joins (sid313808@id-313808.tooting.irccloud.com)
06:37:09 → Megant joins (megant@user/megant)
06:37:09 → liskin joins (~liskin@ackle.nomi.cz)
06:37:09 → ham joins (~ham4@user/ham)
06:37:09 → bsima joins (~bsima@simatime.com)
06:37:09 → pie_bnc joins (~pie_bnc@user/pie/x-2818909)
06:37:09 → edwardk joins (sid47016@haskell/developer/edwardk)
06:37:09 → NemesisD joins (sid24071@2001:67c:2f08:4::5e07)
06:37:09 → iphy joins (sid67735@2001:67c:2f08:4::1:897)
06:37:09 → jiribenes joins (~jiribenes@rosa.jiribenes.com)
06:37:09 → agander_m joins (sid407952@id-407952.tinside.irccloud.com)
06:37:09 → amir joins (sid22336@user/amir)
06:37:09 → Aighearach joins (~paris@c-71-63-160-210.hsd1.or.comcast.net)
06:37:09 → mstruebing joins (~maex@2001:41d0:8:93c7::1)
06:37:09 → keltono joins (~kelton@x-160-94-179-178.acm.umn.edu)
06:37:09 → teehemkay joins (sid14792@id-14792.tooting.irccloud.com)
06:37:09 → ajb joins (~ajb@cupid.whatbox.ca)
06:37:09 → dexterfoo joins (dexter@2a01:7e00::f03c:91ff:fe86:59ec)
06:37:09 → bcoppens joins (~bartcopp@vpn2.bartcoppens.be)
06:37:09 → tomboy64 joins (~tomboy64@user/tomboy64)
06:37:09 → nf joins (~n@monade.li)
06:37:09 → esclear joins (~esclear@phobos.esclear.de)
06:37:09 → dcoutts joins (~duncan@94.186.125.91.dyn.plus.net)
06:37:09 → vgtw joins (~vgtw@c-9164205c.07-348-756d651.bbcust.telenor.se)
06:37:09 → bwe joins (~bwe@2a01:4f8:1c1c:4878::2)
06:37:09 → incertia joins (~incertia@d4-50-26-103.nap.wideopenwest.com)
06:37:09 → platz joins (~platz@user/platz)
06:37:09 → lisq joins (~quassel@lis.moe)
06:37:09 → T_S_ joins (sid501726@id-501726.highgate.irccloud.com)
06:37:09 → Reyu[M] joins (~reyureyuz@matrix.reyuzenfold.com)
06:37:09 → bbhoss joins (sid18216@id-18216.tinside.irccloud.com)
06:37:09 → acid joins (~acid@user/acid)
06:37:09 → statusfailed joins (~statusfai@statusfailed.com)
06:37:09 → integral joins (sid296274@user/integral)
06:37:09 → tomsmeding joins (~tomsmedin@2a03:b0c0:0:1010::767:3001)
06:37:09 → joeyh joins (~joeyh@kitenet.net)
06:37:09 → adamse joins (sid72084@user/adamse)
06:37:09 → absence joins (torgeihe@hildring.pvv.ntnu.no)
06:37:09 → kritzefitz joins (~kritzefit@picard.host.weltraumschlangen.de)
06:37:09 → remexre joins (~nathan@user/remexre)
06:37:09 → ski joins (~ski@ed-3358-10.studat.chalmers.se)
06:37:09 → kaychaks_ joins (sid236345@id-236345.brockwell.irccloud.com)
06:37:09 → tnks joins (sid412124@id-412124.brockwell.irccloud.com)
06:37:09 → Patternmaster joins (~georg@li1192-118.members.linode.com)
06:37:09 → tureba joins (tureba@tureba.org)
06:37:09 → koz joins (~koz@121.99.240.58)
06:37:09 → Aleksejs joins (~Aleksejs@haskell.lv)
06:37:10 × azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Remote host closed the connection)
06:37:22 → azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
06:42:01 × azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer)
06:43:32 × myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 252 seconds)
06:46:16 → notzmv joins (~zmv@user/notzmv)
06:50:56 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
06:52:59 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
06:55:35 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds)
06:56:58 × rk04 quits (~rk04@user/rajk) (Ping timeout: 272 seconds)
06:57:05 Pixi_ is now known as Pixi
06:57:25 → ddellaco_ joins (~ddellacos@86.106.121.45)
06:58:19 → rk04 joins (~rk04@user/rajk)
06:59:03 × Pixi quits (~Pixi@user/pixi) (Quit: Leaving)
06:59:31 → Toast52_ joins (~Toast52@151.192.167.120)
07:00:12 × Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
07:00:43 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
07:00:59 → lavaman joins (~lavaman@98.38.249.169)
07:01:05 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
07:01:14 → wonko joins (~wjc@62.115.229.50)
07:01:49 → tose joins (~tose@ip-85-160-1-51.eurotel.cz)
07:02:17 × ddellaco_ quits (~ddellacos@86.106.121.45) (Ping timeout: 272 seconds)
07:02:22 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds)
07:02:24 → bfrk joins (~Thunderbi@200116b845b1f5008103f1add8a488d1.dip.versatel-1u1.de)
07:02:47 juri__ is now known as juri_
07:03:33 × Toast52 quits (~Toast52@151.192.167.120) (Ping timeout: 272 seconds)
07:05:15 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
07:07:00 → Pixi joins (~Pixi@user/pixi)
07:11:10 → Morrow joins (~Morrow@147.161.12.45)
07:20:18 × img quits (~img@user/img) (Quit: ZNC 1.8.1 - https://znc.in)
07:21:57 → img joins (~img@user/img)
07:24:32 → azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
07:28:21 × img quits (~img@user/img) (Quit: ZNC 1.8.1 - https://znc.in)
07:29:59 → img joins (~img@user/img)
07:38:42 → gehmehgeh joins (~user@user/gehmehgeh)
07:39:22 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
07:40:45 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 245 seconds)
07:43:15 × doyougnu quits (~user@c-67-168-253-231.hsd1.or.comcast.net) (Ping timeout: 245 seconds)
07:46:36 → fendor joins (~fendor@77.119.131.188.wireless.dyn.drei.com)
07:47:49 × img quits (~img@user/img) (Quit: ZNC 1.8.1 - https://znc.in)
07:48:52 → img joins (~img@user/img)
07:59:00 × m1dnight quits (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1)
07:59:08 → m1dnight joins (~christoph@188.ip-51-91-158.eu)
08:00:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
08:00:15 → zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41)
08:00:54 × hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
08:01:44 → lavaman joins (~lavaman@98.38.249.169)
08:02:05 ← bfrk parts (~Thunderbi@200116b845b1f5008103f1add8a488d1.dip.versatel-1u1.de) ()
08:02:47 × dunkeln quits (~dunkeln@94.129.65.28) (Quit: leaving)
08:02:47 → pe200012 joins (~pe200012@119.145.72.136)
08:04:24 → a6a45081-2b83 joins (~aditya@223.235.239.159)
08:06:30 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
08:07:25 → hendursa1 joins (~weechat@user/hendursaga)
08:10:10 × hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 252 seconds)
08:11:43 × tose quits (~tose@ip-85-160-1-51.eurotel.cz) (Ping timeout: 264 seconds)
08:13:26 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
08:15:03 → img joins (~img@user/img)
08:18:01 × slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving)
08:26:09 connrs_ is now known as connrs
08:26:35 × connrs quits (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in)
08:26:54 → connrs joins (~connrs@user/connrs)
08:28:39 × connrs quits (~connrs@user/connrs) (Client Quit)
08:29:00 → connrs joins (~connrs@user/connrs)
08:29:59 → mc47 joins (~yecinem@89.246.239.190)
08:30:19 × rk04 quits (~rk04@user/rajk) (Ping timeout: 272 seconds)
08:35:06 → unyu joins (~pyon@user/pyon)
08:35:11 anonymous is now known as river
08:39:19 → Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:190a:219e:41c6:abab)
08:43:20 → rk04 joins (~rk04@user/rajk)
08:50:15 × p3n quits (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in)
08:50:40 → p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
08:52:11 → arjun joins (~user@user/arjun)
08:52:29 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
08:53:07 × rk04 quits (~rk04@user/rajk) (Ping timeout: 264 seconds)
08:53:22 → zmt01 joins (~zmt00@user/zmt00)
08:53:52 → spatchkaa_ joins (~spatchkaa@S010600fc8da47b63.gv.shawcable.net)
08:53:53 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
08:54:37 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
08:54:56 → mpt joins (~tom@2a02:908:1862:49e0::5)
08:56:10 → mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
08:56:16 → img joins (~img@user/img)
08:56:38 × spatchkaa quits (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) (Ping timeout: 252 seconds)
08:56:38 × zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 252 seconds)
08:58:15 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 245 seconds)
08:58:32 → ddellaco_ joins (~ddellacos@86.106.121.64)
08:59:58 → safinaskar joins (~user@109-252-90-89.nat.spd-mgts.ru)
09:00:46 <safinaskar> it is possible to have multiple type contructors with same name? say, "data X = A | B; data Y = A | C". i want to refer to such constructors similary to this: X.A, Y.A
09:01:28 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
09:01:35 <Hecate> I think so
09:01:48 <safinaskar> i meant data constructors, of course
09:02:04 <tomsmeding> safinaskar: I believe only if you put them in different modules and import those modules qualified
09:02:10 <Hecate> yep ^
09:03:03 → img joins (~img@user/img)
09:03:07 <safinaskar> tomsmeding: and what if they are defined in same module?
09:03:22 <safinaskar> i want something similar to "enum class" in modern c++
09:03:32 <tomsmeding> not sure if haskell has that
09:03:38 × ddellaco_ quits (~ddellacos@86.106.121.64) (Ping timeout: 272 seconds)
09:04:27 <arjun> Hi Hecate
09:04:55 <Hecate> hey arjun, what's up?
09:05:17 <arjun> nm, how ya doin
09:05:26 <Hecate> fairly good, thank you
09:05:29 <Hecate> it's sunny out here
09:06:49 <arjun> lazy sunday afternoons are the Best
09:07:26 × mpt quits (~tom@2a02:908:1862:49e0::5) (Ping timeout: 272 seconds)
09:15:59 → ddellaco_ joins (~ddellacos@89.46.62.87)
09:16:07 → amahl joins (~amahl@dxv5skyynkqvp8m1tfzny-3.rev.dnainternet.fi)
09:17:47 → nschoe joins (~quassel@2a01:e0a:8e:a190:c15d:5a01:4be7:b626)
09:20:07 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
09:20:59 × ddellaco_ quits (~ddellacos@89.46.62.87) (Ping timeout: 272 seconds)
09:24:52 × ikex quits (~ash@user/ikex) (Quit: WeeChat 3.2-dev)
09:25:59 ← jakalx parts (~jakalx@base.jakalx.net) ()
09:26:19 × amk quits (~amk@176.61.106.150) (Read error: Connection reset by peer)
09:27:32 <juri_> wheee...
09:28:02 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection)
09:28:33 <juri_> actually made an Org for haskell-based manufacturing tools on github. https://github.com/Haskell-Things . almost looks professional. :)
09:29:00 <Hecate> juri_: woop woop
09:29:25 <Rembane_> juri_: 100% pro!
09:30:28 <juri_> One of these days, i'll get the slicer working correctly. this is the year, i feel it. :P
09:31:46 <Rembane_> The year of slicer on the desktop? :)
09:31:50 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
09:32:11 <juri_> oh god no. no-one has desktop CPUs that are reasonable for slicing. :P
09:33:18 <Rembane_> :D
09:33:47 → ddellaco_ joins (~ddellacos@89.46.62.82)
09:34:02 → lavaman joins (~lavaman@98.38.249.169)
09:35:32 <arjun> juri_: no one has desktop CPU's. period. T_T
09:36:00 → amk joins (~amk@176.61.106.150)
09:36:23 <arjun> i've been looking into getting pc parts. and between the lockdowns, pandemic, scalping and supply shortage
09:36:42 <arjun> its just bad rn : /
09:36:58 <Rembane_> Oh yes.
09:38:15 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds)
09:38:43 × ddellaco_ quits (~ddellacos@89.46.62.82) (Ping timeout: 264 seconds)
09:46:48 × pe200012 quits (~pe200012@119.145.72.136) (Remote host closed the connection)
09:47:19 → pe200012 joins (~pe200012@58.248.179.178)
09:49:03 → wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
09:50:42 → ddellaco_ joins (~ddellacos@89.46.62.17)
09:51:06 → neceve joins (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130)
09:53:54 → jakalx joins (~jakalx@base.jakalx.net)
09:55:39 × ddellaco_ quits (~ddellacos@89.46.62.17) (Ping timeout: 268 seconds)
09:57:30 × wonko quits (~wjc@62.115.229.50) (Ping timeout: 268 seconds)
10:00:01 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
10:02:48 → Torro joins (Torro@gateway/vpn/protonvpn/torro)
10:04:06 × a6a45081-2b83 quits (~aditya@223.235.239.159) (Quit: Konversation terminated!)
10:06:55 × azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 264 seconds)
10:07:26 → azeem joins (~azeem@176.201.18.235)
10:08:32 × Torro quits (Torro@gateway/vpn/protonvpn/torro) (Quit: leaving)
10:09:41 → ddellaco_ joins (~ddellacos@89.46.62.117)
10:14:42 × ddellaco_ quits (~ddellacos@89.46.62.117) (Ping timeout: 264 seconds)
10:16:03 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
10:24:19 × azeem quits (~azeem@176.201.18.235) (Ping timeout: 264 seconds)
10:24:33 → azeem joins (~azeem@176.201.18.235)
10:24:55 × oxide quits (~lambda@user/oxide) (Ping timeout: 245 seconds)
10:25:21 × azeem quits (~azeem@176.201.18.235) (Read error: Connection reset by peer)
10:25:54 → ddellaco_ joins (~ddellacos@89.46.62.92)
10:26:54 → oxide joins (~lambda@user/oxide)
10:27:14 → azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
10:28:21 × pe200012 quits (~pe200012@58.248.179.178) (Remote host closed the connection)
10:28:29 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98)
10:28:48 → pe200012 joins (~pe200012@119.145.72.136)
10:30:48 × ddellaco_ quits (~ddellacos@89.46.62.92) (Ping timeout: 268 seconds)
10:32:39 × nschoe quits (~quassel@2a01:e0a:8e:a190:c15d:5a01:4be7:b626) (Ping timeout: 268 seconds)
10:32:41 <maerwald> arjun: I needed a very specific crimp tool for my keyboard project... and due to all the mess, the price went up to 1600$ for that tool
10:32:51 <maerwald> it's maybe worth 20 bucks
10:33:16 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 268 seconds)
10:34:07 <maerwald> put your electronics projects on hold for a while
10:34:11 <arjun> maerwald: you could get probably 5 high-end keyboards for that lol?
10:34:29 <maerwald> yeah... or just us fkn pliers for crimping lol
10:34:40 <arjun> HANDS
10:34:43 <arjun> TEETH
10:34:49 <arjun> YEAEAAAARH+GGGHH
10:35:54 <maerwald> it also helped me discover that precicion tweezers can indeed pierce through your finger nails
10:36:10 <maerwald> wouldn't have found out otherwise
10:37:48 × V quits (~v@anomalous.eu) (Remote host closed the connection)
10:39:54 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 272 seconds)
10:43:24 → ddellaco_ joins (~ddellacos@89.46.62.131)
10:43:45 ← safinaskar parts (~user@109-252-90-89.nat.spd-mgts.ru) ()
10:44:56 → Topsi joins (~Tobias@dyndsl-095-033-023-170.ewe-ip-backbone.de)
10:45:59 → pritambaral joins (~pritam@user/pritambaral)
10:48:23 × ddellaco_ quits (~ddellacos@89.46.62.131) (Ping timeout: 272 seconds)
10:50:23 × mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection)
10:53:52 → tose joins (~tose@ip-37-188-247-48.eurotel.cz)
10:55:23 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
10:55:32 → huria4 joins (~huria4@c-24-30-27-91.hsd1.ga.comcast.net)
11:00:25 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds)
11:00:43 → ddellaco_ joins (~ddellacos@86.106.121.39)
11:03:49 → lavaman joins (~lavaman@98.38.249.169)
11:05:20 × ddellaco_ quits (~ddellacos@86.106.121.39) (Ping timeout: 268 seconds)
11:09:39 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
11:10:00 → xaio joins (~xaio@93.123.22.142)
11:10:30 × tose quits (~tose@ip-37-188-247-48.eurotel.cz) (Ping timeout: 264 seconds)
11:10:56 × mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 272 seconds)
11:13:14 × vicfred quits (~vicfred@user/vicfred) (Quit: Leaving)
11:14:30 × arjun quits (~user@user/arjun) (Ping timeout: 245 seconds)
11:14:59 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds)
11:16:40 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
11:20:33 → tose joins (~tose@ip-37-188-247-48.eurotel.cz)
11:20:36 × huria4 quits (~huria4@c-24-30-27-91.hsd1.ga.comcast.net) (Quit: Leaving)
11:24:37 → kuttler joins (~kuttler@105.163.2.237)
11:31:31 × wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal)
11:35:13 → ddellaco_ joins (~ddellacos@86.106.121.100)
11:38:28 ← jakalx parts (~jakalx@base.jakalx.net) ()
11:39:30 × ddellaco_ quits (~ddellacos@86.106.121.100) (Ping timeout: 245 seconds)
11:40:06 → arjun joins (~user@user/arjun)
11:43:41 → imdoor joins (~imdoor@balticom-142-78-50.balticom.lv)
11:46:23 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
11:46:34 → sailboat joins (uid503239@id-503239.tinside.irccloud.com)
11:47:25 × Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 245 seconds)
11:49:23 → Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
11:50:45 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
11:54:19 → ddellaco_ joins (~ddellacos@86.106.121.100)
11:59:00 → rk04 joins (~rk04@user/rajk)
11:59:06 × ddellaco_ quits (~ddellacos@86.106.121.100) (Ping timeout: 264 seconds)
12:02:06 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
12:04:08 → jakalx joins (~jakalx@base.jakalx.net)
12:07:36 × xaio quits (~xaio@93.123.22.142) (Quit: Client closed)
12:07:53 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
12:11:11 → ddellaco_ joins (~ddellacos@89.46.62.60)
12:12:22 × amahl quits (~amahl@dxv5skyynkqvp8m1tfzny-3.rev.dnainternet.fi) (Remote host closed the connection)
12:12:53 <arjun> writeFile "path/lol.txt" "hi lol"
12:13:12 <arjun> file doesn't exist. how do i tell it to make the file and write if it doesn't exist
12:13:28 <arjun> is there a mode setting or a seprate function for this ?
12:13:28 <maerwald> arjun: you mean `path` doesn't exist?
12:13:55 <maerwald> writeFile already creates the file if non-existent
12:14:01 <maerwald> this is likely an issue with directory
12:14:19 <arjun> Exception: /home/arjun/Documents/projects/AssGen/output/lol.html: openFile: does not exist (No such file or directory)
12:14:37 <arjun> right. i haven't made the `output` dir
12:14:52 <maerwald> @hoogle createDirectoryIfMissing
12:14:52 <lambdabot> System.Directory createDirectoryIfMissing :: Bool -> FilePath -> IO ()
12:14:52 <lambdabot> UnliftIO.Directory createDirectoryIfMissing :: MonadIO m => Bool -> FilePath -> m ()
12:14:52 <lambdabot> System.Path.Directory createDirectoryIfMissing :: AbsRel ar => Bool -> DirPath ar -> IO ()
12:15:07 ← kuttler parts (~kuttler@105.163.2.237) (WeeChat 2.8)
12:15:32 <arjun> gotcha' thanks maerwald:
12:16:15 × ddellaco_ quits (~ddellacos@89.46.62.60) (Ping timeout: 268 seconds)
12:18:40 × tose quits (~tose@ip-37-188-247-48.eurotel.cz) (Ping timeout: 245 seconds)
12:21:05 → UpstreamSalmon joins (uid12077@id-12077.stonehaven.irccloud.com)
12:21:05 × azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer)
12:21:13 → azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
12:22:42 → drdo joins (~drdo@overlord0.drdo.eu)
12:25:09 → ixlun joins (~matthew@109.249.184.235)
12:26:55 pja pats hoogle
12:28:16 <ixlun> Hi all. I've got a quick question. Suppose I have [IO Int]. I can use `sequence` to run all those actions and get a nice result. However, if I want to `intersperse (threadDelay n)`, I can't since `()` won't match `Int`. Is there a way around this?
12:28:48 → ddellaco_ joins (~ddellacos@89.46.62.60)
12:28:52 × pierrot quits (~pi@user/pierrot) (Remote host closed the connection)
12:30:02 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98)
12:30:37 → pierrot joins (~pi@user/pierrot)
12:30:59 <tomsmeding> @botsnack
12:30:59 <lambdabot> :)
12:31:00 <maerwald> `intersperse (threadDelay n >> pure 0)`
12:31:52 <ixlun> maerwald: Ah, sneaky!
12:32:04 <maerwald> or turn it into Maybe/Nothing
12:32:08 <tomsmeding> \l -> case l of [] -> [] ; x:xs -> x : map (threadDelay n >>) xs
12:33:31 × ddellaco_ quits (~ddellacos@89.46.62.60) (Ping timeout: 268 seconds)
12:34:58 <ixlun> got it. Thanks for the info maerwald and tomsmeding !
12:35:10 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 272 seconds)
12:39:13 × azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer)
12:42:09 → jakzale joins (uid499518@id-499518.charlton.irccloud.com)
12:45:18 → boxscape joins (~boxscape@user/boxscape)
12:47:12 → Deide joins (~Deide@wire.desu.ga)
12:47:12 × Deide quits (~Deide@wire.desu.ga) (Changing host)
12:47:12 → Deide joins (~Deide@user/deide)
12:48:55 × arjun quits (~user@user/arjun) (Ping timeout: 264 seconds)
12:49:07 × berberman quits (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
12:49:57 → berberman joins (~berberman@user/berberman)
12:51:30 → azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
12:53:24 × psydroid quits (~psydroidm@2001:470:69fc:105::165) (Changing host)
12:53:24 → psydroid joins (~psydroidm@user/psydroid)
12:55:00 CodeKiwi is now known as DigitalKiwi
12:58:51 × azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer)
13:01:01 → alx741 joins (~alx741@186.178.108.47)
13:02:24 → dunkeln joins (~dunkeln@94.129.65.28)
13:05:46 → Guest22 joins (~Guest22@host-92-19-48-226.as13285.net)
13:05:49 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
13:06:39 → azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
13:07:41 <Guest22> hi guys, i'm new to functional programming. i have a question about it not specific to Haskell (I'm using JavaScript), is that ok?
13:11:26 <pja> Hi level questions might get an answer, for anything specific to JS you’re probably better off asking in a JS specific channel.
13:12:17 <Guest22> thanks, that's what i'm going for basically so i know which terms to google
13:12:27 <Guest22> and work out how they apply to JS
13:13:31 × ixlun quits (~matthew@109.249.184.235) (Ping timeout: 264 seconds)
13:14:13 × gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer)
13:14:50 → gentauro joins (~gentauro@user/gentauro)
13:15:03 <Guest22> sorry i'm giving myself a headache trying to express a pretty simple problem by thinking about it functionally
13:15:17 <Guest22> i have a grid which is an array of arrays
13:15:30 <Guest22> i want to remove the top element of the column and add one at the bottom
13:17:25 <Guest22> so like one way would be grid.map(column.drop(1)).map(column.add(thing))
13:17:47 <Guest22> but instead of calling map repeatedly, is there a way through like partial application or something to call it once?
13:19:28 → ddellaco_ joins (~ddellacos@86.106.121.100)
13:21:10 <Guest22> my other idea was to make a function that does both operations and pass that into map (think that's called function composition)
13:22:27 × ddellacosta quits (~ddellacos@86.106.121.222) (Remote host closed the connection)
13:22:36 → ddellacosta joins (~ddellacos@86.106.121.222)
13:23:09 → cfricke joins (~cfricke@user/cfricke)
13:23:34 → AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net)
13:24:05 × ddellaco_ quits (~ddellacos@86.106.121.100) (Ping timeout: 245 seconds)
13:25:20 × rk04 quits (~rk04@user/rajk) (Ping timeout: 245 seconds)
13:26:28 → yd502 joins (~yd502@240e:46c:3280:7ae6:b451:ac25:8be1:56d2)
13:28:24 <lyxia> ^ This is the way.
13:28:40 <lyxia> map f . map g = map (f . g)
13:29:43 × yaroot quits (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat)
13:30:23 <Guest22> ok i think i get you
13:30:26 <Guest22> thanks very much
13:30:36 → yaroot joins (~yaroot@6.3.30.125.dy.iij4u.or.jp)
13:30:52 ← _73` parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2))
13:30:53 → shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net)
13:30:54 × blizzard quits (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) (Ping timeout: 264 seconds)
13:30:59 <Guest22> that makes it easier if i don't have to look up how currying works or anything!
13:33:00 × ddellacosta quits (~ddellacos@86.106.121.222) (Remote host closed the connection)
13:33:28 → blizzard joins (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com)
13:35:19 → amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
13:37:05 → ddellacosta joins (~ddellacos@86.106.121.43)
13:38:11 × Guest22 quits (~Guest22@host-92-19-48-226.as13285.net) (Quit: Client closed)
13:39:52 → ddellaco_ joins (~ddellacos@89.46.62.196)
13:39:52 <pja> Javascript functional libraries usually do function composition of this form with a function called pipe() if my quick googling is to be believed.
13:41:27 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
13:41:58 × ddellacosta quits (~ddellacos@86.106.121.43) (Ping timeout: 268 seconds)
13:42:13 × hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1)
13:42:49 → hendursaga joins (~weechat@user/hendursaga)
13:43:41 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
13:43:49 → geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com)
13:47:01 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
13:50:32 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.1)
13:53:42 → notzmv joins (~zmv@user/notzmv)
13:55:28 → machinedgod joins (~machinedg@24.105.81.50)
13:58:46 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
13:59:01 × Morrow quits (~Morrow@147.161.12.45) (Ping timeout: 272 seconds)
14:00:23 × ddellaco_ quits (~ddellacos@89.46.62.196) (Remote host closed the connection)
14:00:46 → myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net)
14:01:22 → featurebug joins (~gaura@49.205.122.48)
14:04:44 × berberman quits (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
14:05:35 → berberman joins (~berberman@user/berberman)
14:06:18 <maerwald> > let pipe = foldr (.) id in pipe [reverse, reverse] $ "yes"
14:06:19 <lambdabot> "yes"
14:06:36 <maerwald> > let pipe = foldr (.) id in pipe [reverse, reverse, reverse] $ "yes"
14:06:37 <lambdabot> "sey"
14:06:58 <maerwald> we have it too, lol
14:08:22 <boxscape> % ala Endo foldMap [reverse, reverse, reverse] "foo"
14:08:22 <yahb> boxscape: "oof"
14:08:36 → Toast52__ joins (~Toast52@151.192.167.120)
14:10:19 → oak- joins (~oakuniver@2001:470:69fc:105::fcd)
14:11:46 → ddellacosta joins (~ddellacos@89.46.62.21)
14:12:19 × Toast52_ quits (~Toast52@151.192.167.120) (Ping timeout: 272 seconds)
14:13:29 → peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
14:14:02 × blizzard quits (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) (Ping timeout: 268 seconds)
14:14:55 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 245 seconds)
14:16:30 × ddellacosta quits (~ddellacos@89.46.62.21) (Ping timeout: 272 seconds)
14:16:31 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
14:18:41 × featurebug quits (~gaura@49.205.122.48) (Remote host closed the connection)
14:21:10 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
14:22:48 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
14:23:04 → tose joins (~tose@ip-85-160-1-174.eurotel.cz)
14:25:42 × yd502 quits (~yd502@240e:46c:3280:7ae6:b451:ac25:8be1:56d2) (Ping timeout: 244 seconds)
14:26:20 → jespada joins (~jespada@90.254.242.55)
14:26:22 → gbear joins (~user@88.160.31.174)
14:26:46 × tose quits (~tose@ip-85-160-1-174.eurotel.cz) (Client Quit)
14:27:07 → tose joins (~tose@ip-85-160-1-174.eurotel.cz)
14:28:53 → ddellacosta joins (~ddellacos@89.46.62.21)
14:30:19 × boxscape quits (~boxscape@user/boxscape) (Ping timeout: 264 seconds)
14:31:26 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98)
14:33:14 × ddellacosta quits (~ddellacos@89.46.62.21) (Ping timeout: 252 seconds)
14:35:39 → ddellacosta joins (~ddellacos@89.45.224.53)
14:35:59 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 252 seconds)
14:37:05 × dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 252 seconds)
14:39:00 → ikex joins (~ash@user/ikex)
14:39:16 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
14:46:15 → ddellaco_ joins (~ddellacos@86.106.121.40)
14:50:06 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
14:50:46 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer)
14:50:57 × ddellaco_ quits (~ddellacos@86.106.121.40) (Ping timeout: 272 seconds)
14:51:06 → boxscape joins (~boxscape@user/boxscape)
14:51:35 → dunkeln joins (~dunkeln@94.129.65.28)
14:51:55 × geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds)
14:56:00 → geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com)
14:56:35 × neceve quits (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 268 seconds)
14:56:43 × dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds)
14:56:58 → blizzard joins (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com)
15:03:04 × shailangsa quits (~shailangs@host86-186-177-181.range86-186.btcentralplus.com) (Remote host closed the connection)
15:03:12 → ddellaco_ joins (~ddellacos@89.46.62.50)
15:05:43 × tose quits (~tose@ip-85-160-1-174.eurotel.cz) (Ping timeout: 264 seconds)
15:06:06 → lavaman joins (~lavaman@98.38.249.169)
15:06:43 → aerona joins (~aerona@2600:6c54:4600:f300:1c:eb15:276e:4179)
15:08:07 × ddellaco_ quits (~ddellacos@89.46.62.50) (Ping timeout: 264 seconds)
15:10:09 × renzhi quits (~xp@2607:fa49:6500:bc00::e7b) (Ping timeout: 268 seconds)
15:10:47 → dunkeln joins (~dunkeln@94.129.65.28)
15:11:07 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
15:12:00 × amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection)
15:13:17 → vicentius joins (~vicentius@user/vicentius)
15:17:22 × blizzard quits (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) (Ping timeout: 244 seconds)
15:17:48 <boxscape> hm I just realized I've never seen ala used with anything other than foldMap
15:17:53 <boxscape> all the examples in haddock also use foldMap
15:19:22 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
15:19:48 → amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
15:22:15 → Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net)
15:22:37 × ddellacosta quits (~ddellacos@89.45.224.53) (Ping timeout: 272 seconds)
15:24:52 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98)
15:25:24 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
15:26:48 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds)
15:30:45 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
15:36:16 × pe200012 quits (~pe200012@119.145.72.136) (Quit: Konversation terminated!)
15:36:29 × gbear quits (~user@88.160.31.174) (Ping timeout: 252 seconds)
15:38:46 → gbear joins (~user@88.160.31.174)
15:39:07 → ddellacosta joins (~ddellacos@86.106.121.27)
15:41:10 → blizzard joins (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com)
15:42:27 ← gbear parts (~user@88.160.31.174) ()
15:44:04 × ddellacosta quits (~ddellacos@86.106.121.27) (Ping timeout: 268 seconds)
15:44:43 → Hanicef joins (~gustaf@81-229-9-108-no92.tbcn.telia.com)
15:46:10 × Toast52__ quits (~Toast52@151.192.167.120) (Ping timeout: 245 seconds)
15:49:04 <boxscape> the libraries implementing it all say it's form Conor McBride's work on Epigram, but without an actual reference where I could read about this particular aspect
15:49:12 → shailangsa joins (~shailangs@host86-186-177-181.range86-186.btcentralplus.com)
15:49:18 → mc47 joins (~yecinem@89.246.239.190)
15:54:36 → Toast52 joins (~Toast52@151.192.167.120)
15:57:29 <boxscape> % ala Product traverse [1..5]
15:57:29 <yahb> boxscape: [1,2,3,4,5]
15:57:30 <boxscape> amazing
15:59:43 → ddellacosta joins (~ddellacos@86.106.143.248)
16:01:20 → gldisater joins (~iefer@2804:14d:3280:59a8:b5b9:ddc7:aec2:cc72)
16:01:20 <boxscape> new id function for obfuscation?
16:01:37 × gldisater quits (~iefer@2804:14d:3280:59a8:b5b9:ddc7:aec2:cc72) (Remote host closed the connection)
16:03:32 → slowButPresent joins (~slowButPr@user/slowbutpresent)
16:04:18 → ddellaco_ joins (~ddellacos@86.106.143.196)
16:05:07 × ddellacosta quits (~ddellacos@86.106.143.248) (Ping timeout: 264 seconds)
16:06:18 <boxscape> % let id' :: a -> a; id' = fromMaybe (fix . const $ fix id) . listToMaybe . ala Product traverse . pure
16:06:18 <yahb> boxscape:
16:07:12 <tomsmeding> % id' 42
16:07:12 <yahb> tomsmeding: 42
16:08:02 → zyklotomic joins (~ethan@23.228.121.194)
16:09:19 × ddellaco_ quits (~ddellacos@86.106.143.196) (Ping timeout: 264 seconds)
16:11:42 × myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds)
16:12:43 → notzmv joins (~zmv@user/notzmv)
16:13:53 × Toast52 quits (~Toast52@151.192.167.120) (Ping timeout: 252 seconds)
16:16:43 <boxscape> okay, I have found Conor using it for something that's not foldMap: `ala Cont traverse` https://www.mail-archive.com/haskell-cafe@haskell.org/msg37213.html
16:17:17 <tomsmeding> why does hlint suggest turning sortBy into sortOn when the two have very different performance semantics
16:17:30 <tomsmeding> s/semantics/characteristics/
16:17:31 → Bartosz joins (~textual@24.35.90.211)
16:17:37 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
16:17:43 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 272 seconds)
16:18:25 <boxscape> isn't sortOn faster? Doesn't hlint suggest faster variants in a few places?
16:18:43 <boxscape> (like turning concat . map f into concatMap f)
16:19:35 <tomsmeding> sortOn first computes and caches a list containing (map f l), then sorts by looking up the keys in that cached list
16:19:52 <tomsmeding> so it calls f only O(n) times, whereas sortBy calls it O(n log n) times
16:19:59 × Bartosz quits (~textual@24.35.90.211) (Client Quit)
16:20:02 <tomsmeding> sortBy is faster if f is cheap, like a simple projection
16:20:11 <boxscape> ah
16:20:27 <tomsmeding> which is nigh always the case for me :p
16:20:31 → Bartosz joins (~textual@24.35.90.211)
16:20:33 <boxscape> right, makes sense
16:24:55 → python476 joins (~user@88.160.31.174)
16:25:08 → __monty__ joins (~toonn@user/toonn)
16:25:31 × vicentius quits (~vicentius@user/vicentius) (Ping timeout: 264 seconds)
16:28:37 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection)
16:29:17 → hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com)
16:29:47 <albet70> how to make a very simple language and use parsec to parse it?
16:30:08 <Hanicef> albet70: well, do you have a design for a simple language?
16:30:31 <albet70> scheme?
16:30:43 <Hanicef> i dont think you need parsec for that :)
16:30:44 → ddellacosta joins (~ddellacos@86.106.121.50)
16:31:13 <Hanicef> afaik parsec is for more complex parsing, but im no expert
16:31:28 <albet70> is there an article to design a simple language?
16:31:29 <boxscape> albet70 there's a free book about using Haskell to write a Scheme interpreter, which does happen to use Parsec https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
16:31:56 <boxscape> ...I guess you could also call it a series of blog posts
16:32:33 anderson_ is now known as anderson
16:32:38 <Hanicef> boxscape: +1, didnt know that existed
16:32:41 <albet70> boxscape, any others like this?
16:32:55 <boxscape> quite possibly, but nothing that I'm aware of
16:33:04 <albet70> I saw a few chapters of it
16:33:16 <albet70> until that environment
16:33:25 <albet70> evaluation
16:33:54 × dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds)
16:34:52 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
16:36:43 × ikex quits (~ash@user/ikex) (Ping timeout: 272 seconds)
16:36:49 → V joins (~v@anomalous.eu)
16:37:07 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
16:38:27 → reumeth2 joins (~reumeth@user/reumeth)
16:38:37 → econo joins (uid147250@user/econo)
16:38:41 × ozzymcduff quits (~mathieu@81-234-151-21-no94.tbcn.telia.com) (Remote host closed the connection)
16:40:25 × pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.6.4 - http://znc.in)
16:41:01 → pierrot joins (~pi@user/pierrot)
16:41:32 × reumeth quits (~reumeth@user/reumeth) (Ping timeout: 272 seconds)
16:41:43 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
16:41:58 × python476 quits (~user@88.160.31.174) (Read error: Connection reset by peer)
16:42:20 → ozzymcduff joins (~mathieu@81-234-151-21-no94.tbcn.telia.com)
16:46:15 → python476 joins (~user@88.160.31.174)
16:49:27 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98)
16:51:54 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
16:52:53 × pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.6.4 - http://znc.in)
16:54:00 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
16:54:12 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 272 seconds)
16:58:36 × ddellacosta quits (~ddellacos@86.106.121.50) (Read error: Connection reset by peer)
16:58:53 → ddellacosta joins (~ddellacos@86.106.121.50)
16:58:59 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
16:59:29 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
17:00:16 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
17:00:57 → abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
17:02:19 → ddellaco_ joins (~ddellacos@89.46.62.25)
17:05:36 → pierrot joins (~pi@user/pierrot)
17:06:20 → ikex joins (~ash@user/ikex)
17:07:19 × alx741 quits (~alx741@186.178.108.47) (Ping timeout: 268 seconds)
17:07:25 × python476 quits (~user@88.160.31.174) (Ping timeout: 245 seconds)
17:08:23 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
17:08:55 × abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection)
17:10:26 → chkno_ joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
17:11:04 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
17:18:06 × Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
17:20:07 → alx741 joins (~alx741@181.196.69.96)
17:21:54 × favonia quits (~favonia@user/favonia) (Ping timeout: 264 seconds)
17:22:20 → favonia joins (~favonia@user/favonia)
17:22:45 × zyklotomic quits (~ethan@23.228.121.194) (Quit: WeeChat 3.1)
17:24:52 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
17:27:01 × yorick quits (~yorick@user/yorick) (Quit: reboot)
17:27:38 → ddellac__ joins (~ddellacos@86.106.143.222)
17:28:05 × ddellaco_ quits (~ddellacos@89.46.62.25) (Ping timeout: 244 seconds)
17:28:05 × ddellacosta quits (~ddellacos@86.106.121.50) (Ping timeout: 244 seconds)
17:28:12 → Bartosz joins (~textual@24.35.90.211)
17:28:35 → ddella___ joins (~ddellacos@89.46.62.60)
17:28:59 → Guest913 joins (~Guest9@103.250.139.185)
17:30:46 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
17:31:59 × ddella___ quits (~ddellacos@89.46.62.60) (Read error: Connection reset by peer)
17:32:38 → ddellacosta joins (~ddellacos@89.46.62.60)
17:33:01 → yorick joins (~yorick@user/yorick)
17:34:33 → zebrag joins (~chris@user/zebrag)
17:35:31 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
17:36:52 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
17:37:21 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
17:41:43 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 264 seconds)
17:45:03 × dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection)
17:46:30 <sclv> i recommend parsec for even simple parsers -- anything more complicated than can be done with just a few string functions at least
17:47:34 <glguy> I'd recommend parsec mostly for the simple parsers
17:47:43 × ddellac__ quits (~ddellacos@86.106.143.222) (Ping timeout: 264 seconds)
17:47:45 → dunkeln joins (~dunkeln@94.129.65.28)
17:47:55 → wonko joins (~wjc@62.115.229.50)
17:47:57 <glguy> If you're doing something big it's better to make a real lexer/parser with something like alex/happy
17:49:14 → Pixi_ joins (~Pixi@user/pixi)
17:49:47 × Hanicef quits (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving)
17:52:05 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
17:52:35 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
17:53:00 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
17:53:07 × Pixi quits (~Pixi@user/pixi) (Ping timeout: 264 seconds)
17:53:29 → ddellaco_ joins (~ddellacos@89.46.62.60)
17:54:17 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
17:55:25 × ddellacosta quits (~ddellacos@89.46.62.60) (Ping timeout: 268 seconds)
17:57:43 × zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
17:58:03 → zebrag joins (~chris@user/zebrag)
18:00:26 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98)
18:03:15 × alx741 quits (~alx741@181.196.69.96) (Ping timeout: 245 seconds)
18:03:40 × ddellaco_ quits (~ddellacos@89.46.62.60) (Ping timeout: 245 seconds)
18:04:45 → vicentius joins (~vicentius@user/vicentius)
18:05:20 × ikex quits (~ash@user/ikex) (Ping timeout: 245 seconds)
18:05:23 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 272 seconds)
18:09:30 × awth13 quits (~user@193.27.14.133) (Remote host closed the connection)
18:10:26 → tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
18:11:30 → dhil joins (~dhil@195.213.192.47)
18:18:59 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
18:19:01 × realtime quits (~realtime@177.18.185.16) (Read error: Connection reset by peer)
18:23:06 × azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer)
18:30:23 → tose joins (~tose@ip-85-160-1-174.eurotel.cz)
18:32:16 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98)
18:32:25 → ddellacosta joins (~ddellacos@86.106.121.100)
18:34:24 × slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving)
18:34:42 → slowButPresent joins (~slowButPr@user/slowbutpresent)
18:36:27 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection)
18:36:34 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98)
18:36:54 × haltux quits (~haltux@a89-154-181-47.cpe.netcabo.pt) (Ping timeout: 264 seconds)
18:37:14 → dcompoze joins (~dcompoze@5E98D6D9.static.tld.pl)
18:37:50 × ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 245 seconds)
18:40:01 × Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
18:41:38 × dcompoze quits (~dcompoze@5E98D6D9.static.tld.pl) (Client Quit)
18:41:55 → dcompoze joins (~dcompoze@5E98D6D9.static.tld.pl)
18:43:19 → azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
18:43:31 × dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds)
18:46:35 → alx741 joins (~alx741@181.196.69.96)
18:48:19 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
18:48:39 × dcompoze quits (~dcompoze@5E98D6D9.static.tld.pl) (Quit: WeeChat 3.1)
18:49:15 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
18:51:50 → v01d4lph4 joins (~v01d4lph4@user/v01d4lph4)
18:52:37 → Erutuon joins (~Erutuon@user/erutuon)
18:53:43 → dcompoze joins (~dcompoze@5E98D6D9.static.tld.pl)
18:54:28 → ddellacosta joins (~ddellacos@89.46.62.71)
18:56:43 × v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 264 seconds)
18:57:28 → Bartosz joins (~textual@24.35.90.211)
19:03:44 → _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net)
19:05:30 <_73> Why when I do both the `k` and `v` need to have Ord instances when using Data.Set.insert to insert into a `Set (k,v)`? I would have thought only the `k` needed an Ord instance. http://dpaste.com/B7HU5B4VP
19:06:03 <geekosaur> you're confusing Set with Map, it sounds like
19:06:11 <geekosaur> you have a single key which is a pair
19:07:31 <_73> so the problem is that I need an Ord instance for the entire `(k,v)`?
19:07:47 <_73> Still then I would think that only requires on Ord instance for the k
19:07:50 <geekosaur> your "v" is not a v. (k,v) is the entire key
19:07:55 → lavaman joins (~lavaman@98.38.249.169)
19:08:00 <geekosaur> you want a Data.Map
19:08:43 <_73> I do want a Set.
19:08:54 <boxscape> _73 with Set (k, v), how would it handle two elements (0, 1) and (0, 2) if it doesn't have a way to compare 1 and 2?
19:11:18 <_73> So this is specific to Sets?
19:12:15 <geekosaur> ? a Set is a collection of unique keys. a Map is a mapping from unique keys to values. it sounds like you want the latter
19:12:17 <boxscape> well, kind of depends on what you mean by "this". Sets require that the type of their elements have an Ord instance. For a pair (k, v) to have an Ord instance (the type of the elements of your Set), both k and v must have an Ord instance
19:12:27 <boxscape> % data A = A
19:12:27 <yahb> boxscape:
19:12:31 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
19:12:33 <boxscape> % (0, A) < (5, A)
19:12:33 <yahb> boxscape: ; <interactive>:72:8: error:; * No instance for (Ord A) arising from a use of `<'; * In the expression: (0, A) < (5, A); In an equation for `it': it = (0, A) < (5, A)
19:12:43 <boxscape> you can't compare these because there's no Ord instance for A
19:13:31 <shachaf> What makes you say you want a Set?
19:14:04 <_73> ohh now I see what is going on. My GHCi example only worked because Int has an Ord instance
19:14:11 <boxscape> right :)
19:14:25 × ddellacosta quits (~ddellacos@89.46.62.71) (Ping timeout: 272 seconds)
19:14:25 <_73> ok now I understand thanks
19:18:04 × pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.6.4 - http://znc.in)
19:18:39 → pierrot joins (~pi@user/pierrot)
19:19:23 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com)
19:21:14 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
19:22:31 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
19:23:06 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
19:25:41 <Hecate> dcoutts: heya, would you happen to have a link to your 2014 paper "Binary serialisation: better, stronger, faster"?
19:26:47 ← justsomeguy parts (~justsomeg@user/justsomeguy) (WeeChat 3.0.1)
19:28:40 → bfrk joins (~Thunderbi@200116b845b1f5008103f1add8a488d1.dip.versatel-1u1.de)
19:30:27 × tose quits (~tose@ip-85-160-1-174.eurotel.cz) (Quit: WeeChat 3.0)
19:30:41 → tose joins (~tose@ip-85-160-1-174.eurotel.cz)
19:32:58 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection)
19:36:33 → machinedgod joins (~machinedg@24.105.81.50)
19:37:55 → vicfred joins (~vicfred@user/vicfred)
19:40:27 × Topsi quits (~Tobias@dyndsl-095-033-023-170.ewe-ip-backbone.de) (Read error: Connection reset by peer)
19:42:55 × shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
19:43:13 × kybr quits (~kybr@ip184-189-221-182.sb.sd.cox.net) (Quit: WeeChat 3.1)
19:46:52 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:d950:8679:5786:8899)
19:51:44 × reumeth2 quits (~reumeth@user/reumeth) (Quit: reumeth2)
19:51:47 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:d950:8679:5786:8899) (Ping timeout: 272 seconds)
19:52:41 × Guest913 quits (~Guest9@103.250.139.185) (Quit: Connection closed)
19:52:45 × vicentius quits (~vicentius@user/vicentius) (Quit: Leaving)
19:54:04 × mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 272 seconds)
19:55:18 → a6a45081-2b83 joins (~aditya@223.235.239.159)
20:00:35 → ddellacosta joins (~ddellacos@86.106.121.17)
20:00:41 × Techcable quits (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in)
20:02:03 → Techcable joins (~Techcable@168.235.93.147)
20:05:07 × ddellacosta quits (~ddellacos@86.106.121.17) (Ping timeout: 264 seconds)
20:05:09 × juhp quits (~juhp@128.106.188.199) (Ping timeout: 244 seconds)
20:05:09 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
20:05:59 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
20:06:06 <tomsmeding> Is it true that you cannot emulate the full power of GADTs using pattern synonyms, in particular existentials?
20:06:15 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
20:06:40 <tomsmeding> I'm trying to convert a GADT to a more efficient representation, providing pattern synonyms to keep existing code working: https://paste.tomsmeding.com/AnurdoDe
20:06:49 tabemann_ is now known as tabemann
20:07:27 → safinaskar joins (~user@109-252-90-89.nat.spd-mgts.ru)
20:07:33 <safinaskar> look at this very interesting piece of code: https://github.com/mpickering/ghc-proposals/blob/splice-imports/proposals/0000-splice-imports.rst#id4
20:07:49 <safinaskar> please, point to some article explaining how such code works
20:07:59 <safinaskar> i. e. when we see so nested template haskell
20:08:03 → juhp joins (~juhp@128.106.188.199)
20:08:46 → softwarm joins (~softwarm@2600:8801:db01:8f0:60c3:f8d4:403b:5c34)
20:09:14 × tose quits (~tose@ip-85-160-1-174.eurotel.cz) (Ping timeout: 268 seconds)
20:10:00 × emliunix quits (~emliunix@103.138.74.59) (Remote host closed the connection)
20:10:16 → ddellacosta joins (~ddellacos@89.46.62.196)
20:10:19 → emliunix joins (~emliunix@103.138.74.59)
20:11:14 × Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
20:13:10 → ddellaco_ joins (~ddellacos@89.46.62.92)
20:14:30 × ddellacosta quits (~ddellacos@89.46.62.196) (Ping timeout: 245 seconds)
20:16:01 <c_wraith> safinaskar: you don't often see such a thing, but it's just evaluated recursively. Need to do a TH splice when running TH code? Just recursively enter the splicing code
20:16:54 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:d950:8679:5786:8899)
20:24:26 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
20:25:22 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
20:25:41 ← _73 parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2))
20:26:51 <safinaskar> c_wraith: thanks
20:27:12 → madjesti1 joins (~madjestic@88-159-247-120.fixed.kpn.net)
20:27:40 pritambaral is now known as prite
20:28:37 <tomsmeding> by the way regarding my question above, I'd be perfectly fine with some unsafeCoerce to achieve this, but I'm afraid it's not possible at all
20:30:28 × xff0x quits (~xff0x@2001:1a81:53fc:900:3f16:186f:3986:9c65) (Ping timeout: 244 seconds)
20:30:45 → xff0x joins (~xff0x@185.65.135.235)
20:31:44 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
20:32:18 → madjestic joins (~madjestic@88-159-247-120.fixed.kpn.net)
20:32:47 × madjestic quits (~madjestic@88-159-247-120.fixed.kpn.net) (Quit: Lost terminal)
20:33:14 × madjesti1 quits (~madjestic@88-159-247-120.fixed.kpn.net) (Quit: leaving)
20:33:44 <shachaf> tomsmeding: Pattern synonyms are a bit after my time, so I'm probably missing something, but what's the double => in those pattern synonyms for?
20:34:02 → madjestic joins (~madjestic@88-159-247-120.fixed.kpn.net)
20:34:55 × xff0x quits (~xff0x@185.65.135.235) (Ping timeout: 245 seconds)
20:35:02 → ixlun joins (~matthew@109.249.184.235)
20:35:14 <shachaf> It seems to compile and behave similarly to the GADT without the () =>.
20:36:58 → xff0x joins (~xff0x@2001:1a81:53fc:900:3f16:186f:3986:9c65)
20:37:36 × ddellaco_ quits (~ddellacos@89.46.62.92) (Remote host closed the connection)
20:41:18 <geekosaur> pattern synonyms can both require and provide contexts, hence the double =>
20:42:32 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
20:44:31 <shachaf> Aha. OK.
20:45:46 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
20:46:20 piele_ is now known as piele
20:46:56 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
20:47:28 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds)
20:49:27 <tomsmeding> shachaf: indeed, the point was that the pattern synonym requires no constraints but provides the equality constraint upon a successful match
20:50:26 <boxscape> hm that seems like terribly confusing syntax
20:50:27 <tomsmeding> if I remove the `() =>` and hence make the equality constraint a required constraint, I can't write 'isZero :: Idx env t -> Bool ; isZero ZeroIdx = True' because the match on ZeroIdx then requires that the 'env' type parameter of isZero equates to a pair, which it doesn't
20:50:31 <boxscape> though I don't have a better suggestion
20:50:36 <tomsmeding> boxscape: don't get me started on that :p
20:50:41 <boxscape> okay :D
20:51:20 <tomsmeding> but I agree
20:52:11 → nattiestnate joins (~nate@180.242.128.159)
20:53:33 × nattiestnate quits (~nate@180.242.128.159) (Client Quit)
20:53:56 ← safinaskar parts (~user@109-252-90-89.nat.spd-mgts.ru) ()
20:54:18 → nattiestnate joins (~nate@180.242.128.159)
20:58:30 <shachaf> tomsmeding: Right, makes sense.
21:01:00 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
21:01:21 → allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com)
21:02:41 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
21:04:04 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
21:04:07 × geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 268 seconds)
21:04:15 allbery_b is now known as geekosaur
21:05:07 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
21:08:01 × xlei quits (znc@pool-68-129-84-118.nycmny.fios.verizon.net) (Excess Flood)
21:08:40 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
21:09:36 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
21:10:10 → ddellacosta joins (~ddellacos@83.143.246.110)
21:10:29 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
21:14:43 × ddellacosta quits (~ddellacos@83.143.246.110) (Ping timeout: 264 seconds)
21:14:43 → xlei joins (znc@pool-68-129-84-118.nycmny.fios.verizon.net)
21:15:41 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
21:17:00 × imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor)
21:18:02 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
21:18:51 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
21:19:19 → ddellacosta joins (~ddellacos@89.45.224.209)
21:19:49 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds)
21:20:46 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
21:21:11 → waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
21:22:01 <boxscape> tomsmeding I imagine this probably wouldn't work for some reason? https://paste.tomsmeding.com/k4XVU1SF
21:23:02 <tomsmeding> boxscape: same thing where that isZero formulation I wrote a few messages back doesn't typecheck
21:23:23 <boxscape> ah, I see
21:24:53 × Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 272 seconds)
21:24:59 → MQ-17J joins (~MQ-17J@8.21.10.116)
21:25:48 tomsmeding is off to bed, I'll check the logs tomorrow :)
21:25:55 <boxscape> good night
21:26:05 <tomsmeding> thanks!
21:28:49 × ddellacosta quits (~ddellacos@89.45.224.209) (Remote host closed the connection)
21:29:00 → ddellacosta joins (~ddellacos@89.45.224.209)
21:31:35 × ixlun quits (~matthew@109.249.184.235) (Ping timeout: 245 seconds)
21:32:26 → w1gz joins (~do@159.89.11.133)
21:36:10 × dhil quits (~dhil@195.213.192.47) (Ping timeout: 245 seconds)
21:38:49 → shanemikel joins (~shanemike@desk.roadwar.net)
21:38:52 × shanemikel quits (~shanemike@desk.roadwar.net) (Client Quit)
21:39:35 × wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
21:39:51 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
21:39:51 × ddellacosta quits (~ddellacos@89.45.224.209) (Remote host closed the connection)
21:40:23 → shanemikel joins (~shanemike@desk.roadwar.net)
21:40:37 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:d950:8679:5786:8899) (Remote host closed the connection)
21:41:24 × a6a45081-2b83 quits (~aditya@223.235.239.159) (Remote host closed the connection)
21:43:31 × superbil quits (~superbil@1-34-176-171.HINET-IP.hinet.net) (Ping timeout: 264 seconds)
21:48:24 × mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection)
21:49:12 → ddellacosta joins (~ddellacos@89.45.224.254)
21:49:23 → dhil joins (~dhil@80.208.56.181)
21:52:45 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
21:53:07 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
21:57:19 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
22:00:44 → ddellaco_ joins (~ddellacos@86.106.121.235)
22:01:49 → ddellac__ joins (~ddellacos@86.106.121.45)
22:02:25 × ddellacosta quits (~ddellacos@89.45.224.254) (Ping timeout: 245 seconds)
22:04:44 <boxscape> out of curiosity does any know off the top of their head whether modeling a free monad as `newtype FreeMonad f x = FreeMonad {runMonad :: ∀ m . Monad m => (f ~> m) -> m x}` or as `data FreeMonad' f a = Pure a | Free (f (FreeMonad' f a))` is faster?
22:04:50 <boxscape> where `type f ~> g = ∀ α . f α -> g α`
22:04:51 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:d950:8679:5786:8899)
22:05:09 <boxscape> i.e. faster in terms of performance
22:05:15 <c_wraith> both are faster
22:05:20 <boxscape> well that's nice
22:05:24 <c_wraith> The question is "at what?"
22:05:27 <boxscape> ah
22:06:05 <c_wraith> the function representation is faster when you just want to build something and then interpret it in a single shot
22:06:24 × ddellac__ quits (~ddellacos@86.106.121.45) (Ping timeout: 268 seconds)
22:06:29 <c_wraith> The data representation is faster when you want to introspect the constructed structure, tearing it down piece by piece
22:06:42 <boxscape> I see
22:06:46 <boxscape> thanks
22:07:31 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
22:07:55 <monochrom> The "free" package has a function that lets you start with the data version and still gain some efficiency when interpreting.
22:08:13 → justsomeguy joins (~justsomeg@user/justsomeguy)
22:08:29 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
22:08:48 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
22:09:04 <boxscape> okay
22:10:07 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
22:10:33 → superbil joins (~superbil@1-34-176-171.HINET-IP.hinet.net)
22:11:04 × ddellaco_ quits (~ddellacos@86.106.121.235) (Remote host closed the connection)
22:13:47 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
22:13:52 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
22:14:00 × xsperry quits (~as@user/xsperry) ()
22:14:48 → xsperry joins (~as@user/xsperry)
22:15:08 × xsperry quits (~as@user/xsperry) (Read error: Connection reset by peer)
22:16:05 → ddellacosta joins (~ddellacos@89.45.224.92)
22:16:31 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:d950:8679:5786:8899) (Remote host closed the connection)
22:16:36 × betelgeuse01 quits (~john2gb@94-225-47-8.access.telenet.be) (Quit: Ping timeout (120 seconds))
22:16:36 × Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:190a:219e:41c6:abab) (Quit: Leaving)
22:18:06 → betelgeuse01 joins (~john2gb@94-225-47-8.access.telenet.be)
22:21:55 × amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 264 seconds)
22:22:14 × ft quits (~ft@shell.chaostreff-dortmund.de) (Quit: leaving)
22:22:31 → ft joins (~ft@shell.chaostreff-dortmund.de)
22:23:02 → shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net)
22:23:07 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:29:01 → ddellaco_ joins (~ddellacos@89.46.62.116)
22:32:40 → hexfive joins (~eric@50.35.83.177)
22:32:50 × hexfive quits (~eric@50.35.83.177) (Client Quit)
22:33:55 × ddellaco_ quits (~ddellacos@89.46.62.116) (Ping timeout: 264 seconds)
22:34:11 → Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net)
22:36:39 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
22:41:32 × gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving)
22:41:35 × dhil quits (~dhil@80.208.56.181) (Ping timeout: 245 seconds)
22:41:52 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
22:44:32 → Sgeo joins (~Sgeo@user/sgeo)
22:46:31 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
22:57:12 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
22:58:33 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
22:59:19 → xsperry joins (~as@user/xsperry)
23:01:57 <monochrom> \∩/ ghcup knows 8.10.5
23:04:47 <geekosaur> hls doesn't, though. and I'm not sure I want to rebuild the universe just yet
23:05:06 <monochrom> I didn't build anything with 8.10.4 :)
23:09:40 → lavaman joins (~lavaman@98.38.249.169)
23:10:42 × ddellacosta quits (~ddellacos@89.45.224.92) (Remote host closed the connection)
23:10:51 → ddellacosta joins (~ddellacos@89.45.224.92)
23:14:06 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds)
23:14:36 → bfrk1 joins (~Thunderbi@200116b8451fe900af67d936efb17ea9.dip.versatel-1u1.de)
23:15:09 <janus> does someone know of a good introduction to the continuation monad?
23:16:53 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:d950:8679:5786:8899)
23:16:59 × bfrk quits (~Thunderbi@200116b845b1f5008103f1add8a488d1.dip.versatel-1u1.de) (Ping timeout: 272 seconds)
23:16:59 bfrk1 is now known as bfrk
23:18:23 <boxscape> janus I thought this was alright https://en.m.wikibooks.org/wiki/Haskell/Continuation_passing_style
23:18:24 × ddellacosta quits (~ddellacos@89.45.224.92) (Ping timeout: 252 seconds)
23:19:02 × V quits (~v@anomalous.eu) (Ping timeout: 252 seconds)
23:19:18 → Flux joins (~Flux@41337027.cst.lightpath.net)
23:19:52 <Flux> I installed a package via "stack build <pkg>" and am trying to import the package but it's not working, any tips on how I might debug this?
23:20:20 <Flux> By not working, I mean it can't find the module when i try to import it
23:21:48 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:d950:8679:5786:8899) (Ping timeout: 272 seconds)
23:23:30 → Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com)
23:25:28 → Toast52 joins (~Toast52@151.192.167.120)
23:27:01 <janus> Flux: you need to make sure that the build environment uses the same stack-lts that you built it with
23:27:15 <Flux> can you explain what that means
23:27:40 <janus> Flux: when you write "stack build <pkg>" in some arbitrary folder, stack will choose some arbitrary compiler version to install the package for
23:27:53 <janus> but most likely you are trying to use it in some project, right?
23:27:58 <Flux> yeah
23:28:08 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
23:28:17 <janus> so if that is the case, it makes more sense to add the dependency to your project configuration so that you can put it in version control and such
23:28:26 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
23:28:33 <Flux> hmm like when i do "stack build" and "stack run" things are ok
23:28:37 <Flux> but i'm trying to mess around in ghci
23:28:40 <Flux> and it's not importing correctly
23:28:50 <geekosaur> stack ghci, or just plain ghci?
23:28:58 <janus> if you don't have a project, and you just want a repl with the package, you can write 'stack repl <pkg>'
23:29:00 <Flux> oh i was using plain ghci
23:29:04 <geekosaur> plain ghci will not see things installed by stack
23:29:22 <Flux> gotcha, didn't know that
23:29:40 × Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
23:29:48 <janus> but better just write a package.yaml, stick it in there, and then you can have version control
23:30:03 <janus> and you can specify the ghc flags and all that jazz
23:31:37 <Flux> what is stack ghci actually doing
23:31:53 <Flux> it's taking an awfully long time
23:32:09 <monochrom> janus: My http://www.vex.net/~trebla/haskell/cont.xhtml is a good introduction to the Cont monad.
23:32:19 <janus> Flux: it will look for a project configuration file, and if it doesn't find one, it will just choose some compiler and lts and download the packages for that
23:32:42 <janus> Flux: so if you have a desired lts or compiler you want to use, better specify it... and if you specify it, why not specify it in a file ;)
23:33:05 <janus> Flux: it is probably taking a long time because it needs to get its own ghc which is separate from the ghci you invoke from the command line
23:33:06 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
23:33:29 <janus> Flux: and if the package you specify has a lot of dependencies, all of those will need to get built for that compiler
23:33:47 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
23:33:48 → fendor_ joins (~fendor@178.165.128.197.wireless.dyn.drei.com)
23:35:21 × zeenk quits (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!)
23:37:00 × fendor quits (~fendor@77.119.131.188.wireless.dyn.drei.com) (Ping timeout: 272 seconds)
23:37:11 × madjestic quits (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 252 seconds)
23:37:39 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds)
23:39:21 <Flux> i see, i think there is a stack.yaml file
23:39:55 × fendor_ quits (~fendor@178.165.128.197.wireless.dyn.drei.com) (Ping timeout: 264 seconds)
23:40:09 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
23:40:12 <Flux> but somehow it cannot satisfy package
23:40:22 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:d950:8679:5786:8899)
23:40:30 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
23:42:36 → fendor joins (~fendor@178.115.130.234.wireless.dyn.drei.com)
23:46:06 <janus> if you can do "stack build <pkg>" in that directory, you should also be able to do "stack repl <pkg>"
23:46:35 <janus> if you can do "stack build <pkg>" in another directory, but not that one, it is probably because that specific lts/ghc version is not compatible with the package
23:46:35 → V joins (~v@anomalous.eu)
23:46:52 <janus> if you tell us the name maybe it is easier to debug, and paste the error in the pastebin in topic
23:47:43 × MQ-17J quits (~MQ-17J@8.21.10.116) (Ping timeout: 264 seconds)
23:48:27 <Flux> sure, i am trying to build hasktorch https://github.com/hasktorch/hasktorch
23:49:07 <Flux> https://paste.tomsmeding.com/3l5bgA93
23:49:08 <Flux> here is the error i am seeing
23:49:45 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
23:52:28 <janus> Flux: which command is that the output of?
23:52:32 <Flux> stack ghci
23:52:44 × Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa)
23:53:00 <Flux> eveyrthing else works (like stack build hasktorch, etc)
23:53:09 <janus> Flux: ok i think that warning says that it wants you to specify package since it doesn't support multiple packages for the ghci
23:53:34 <janus> Flux: so maybe try "stack repl examples" or "stack repl hasktorch" from that same folder?
23:53:55 <Flux> ok that does not work either
23:54:10 → pavonia joins (~user@user/siracusa)
23:54:34 <Flux> stack repl hasktorch worked but not examples
23:55:33 × bfrk quits (~Thunderbi@200116b8451fe900af67d936efb17ea9.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
23:55:52 × Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection)
23:56:06 → Axman6 joins (~Axman6@user/axman6)
23:56:46 → ddellacosta joins (~ddellacos@89.45.224.248)
23:57:55 × waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
23:58:43 → MQ-17J joins (~MQ-17J@8.21.10.116)
23:59:15 → hmmmas joins (~chenqisu1@183.217.201.236)
23:59:18 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
23:59:59 → myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net)

All times are in UTC on 2021-06-06.