IRCBrowse

2021/06/06

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