2021/06/06

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