2023/07/09

2023-07-09 00:00:57 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-09 00:05:47 +0200nick4(~nick@98.186.195.59)
2023-07-09 00:07:32 +0200ryantrinkle(~ryantrink@89.247.249.243)
2023-07-09 00:07:54 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-07-09 00:08:39 +0200michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2023-07-09 00:12:08 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-07-09 00:13:08 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection)
2023-07-09 00:13:46 +0200Inst_(~Inst@2601:6c4:4081:2fc0:390f:7fa0:d024:ef82)
2023-07-09 00:14:54 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e)
2023-07-09 00:15:06 +0200Inst(~Inst@2601:6c4:4081:2fc0:1933:a56d:b98f:3d34) (Ping timeout: 246 seconds)
2023-07-09 00:17:29 +0200acidjnk(~acidjnk@p200300d6e7072f9278793b6e90b80047.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-07-09 00:20:17 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2023-07-09 00:20:37 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-09 00:20:54 +0200nick3(~nick@2600:8807:9084:7800:e4b1:ee77:6917:e9b6)
2023-07-09 00:21:16 +0200nick4(~nick@98.186.195.59) (Ping timeout: 245 seconds)
2023-07-09 00:27:01 +0200caryhartline(~caryhartl@168.182.58.169) (Quit: caryhartline)
2023-07-09 00:27:08 +0200Guest8835(~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2023-07-09 00:28:32 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 246 seconds)
2023-07-09 00:29:23 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2023-07-09 00:30:08 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-07-09 00:36:16 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds)
2023-07-09 00:36:44 +0200shachaf(~shachaf@user/shachaf) (Ping timeout: 240 seconds)
2023-07-09 00:37:39 +0200shachaf(~shachaf@user/shachaf)
2023-07-09 00:37:51 +0200 <DigitalKiwi> https://github.com/pcapriotti/optparse-applicative does this do what you want
2023-07-09 00:40:26 +0200NinjaTrappeur(~ninja@user/ninjatrappeur) (Quit: WeeChat 4.0.0)
2023-07-09 00:43:44 +0200NinjaTrappeur(~ninja@user/ninjatrappeur)
2023-07-09 00:44:06 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-07-09 00:54:31 +0200gurkenglas(~gurkengla@dynamic-046-114-179-053.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-07-09 01:08:24 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-09 01:13:35 +0200xsarnik(xsarnik@lounge.fi.muni.cz) (Server closed connection)
2023-07-09 01:13:49 +0200xsarnik(xsarnik@lounge.fi.muni.cz)
2023-07-09 01:22:51 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-09 01:25:23 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds)
2023-07-09 01:25:36 +0200tackleton(~tackleton@services.tilde.club) (Leaving)
2023-07-09 01:27:34 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-07-09 01:33:45 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-07-09 01:48:56 +0200tureba(~tureba@tureba.org) (Server closed connection)
2023-07-09 01:49:12 +0200tureba(~tureba@tureba.org)
2023-07-09 01:49:49 +0200mauke_(~mauke@user/mauke)
2023-07-09 01:49:59 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-07-09 01:51:16 +0200mauke(~mauke@user/mauke) (Ping timeout: 245 seconds)
2023-07-09 01:51:17 +0200mauke_mauke
2023-07-09 01:52:16 +0200extor(~extor@ns3018124.ip-149-202-82.eu) (Server closed connection)
2023-07-09 01:55:15 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-09 01:58:08 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds)
2023-07-09 01:58:51 +0200gry(quasselcor@botters/gry)
2023-07-09 02:00:42 +0200bilegeek(~bilegeek@2600:1008:b090:53d6:88cd:ebb9:ed8:e04f)
2023-07-09 02:02:09 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-07-09 02:02:20 +0200califax(~califax@user/califx) (Remote host closed the connection)
2023-07-09 02:07:06 +0200extor(~extor@ns3018124.ip-149-202-82.eu)
2023-07-09 02:07:50 +0200buckwheatsuperpo(~buckwheat@209.122.211.192)
2023-07-09 02:07:55 +0200califax(~califax@user/califx)
2023-07-09 02:08:51 +0200nick3(~nick@2600:8807:9084:7800:e4b1:ee77:6917:e9b6) (Ping timeout: 246 seconds)
2023-07-09 02:10:40 +0200buckwheat(~buckwheat@209.122.211.192) (Ping timeout: 250 seconds)
2023-07-09 02:12:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-09 02:12:48 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2023-07-09 02:13:42 +0200puke(~puke@user/puke) (Ping timeout: 250 seconds)
2023-07-09 02:16:22 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-07-09 02:19:11 +0200buckwheatsuperpo(~buckwheat@209.122.211.192) (Ping timeout: 245 seconds)
2023-07-09 02:19:12 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds)
2023-07-09 02:28:03 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) (Remote host closed the connection)
2023-07-09 02:29:28 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e)
2023-07-09 02:31:44 +0200jmcantrell(~jmcantrel@user/jmcantrell)
2023-07-09 02:34:30 +0200gry(quasselcor@botters/gry) (Ping timeout: 240 seconds)
2023-07-09 02:41:26 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-07-09 02:51:36 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-07-09 02:55:03 +0200captnemo(~captnemo@193.32.127.239)
2023-07-09 02:56:33 +0200gry(quasselcor@botters/gry)
2023-07-09 02:56:34 +0200captnemo(~captnemo@193.32.127.239) (Client Quit)
2023-07-09 03:00:27 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2023-07-09 03:03:00 +0200Kal(~Kaladin@157-131-203-194.fiber.dynamic.sonic.net)
2023-07-09 03:04:43 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-07-09 03:05:12 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds)
2023-07-09 03:09:53 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 246 seconds)
2023-07-09 03:10:37 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-07-09 03:16:44 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-07-09 03:22:15 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Server closed connection)
2023-07-09 03:22:41 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2023-07-09 03:23:35 +0200shailangsa(~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Server closed connection)
2023-07-09 03:26:02 +0200Kal(~Kaladin@157-131-203-194.fiber.dynamic.sonic.net) (Quit: Leaving)
2023-07-09 03:32:51 +0200Kal(~Kaladin@157-131-203-194.fiber.dynamic.sonic.net)
2023-07-09 03:36:20 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-09 03:50:22 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2023-07-09 03:55:23 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds)
2023-07-09 03:55:35 +0200extor(~extor@ns3018124.ip-149-202-82.eu) (Remote host closed the connection)
2023-07-09 03:58:24 +0200ryantrinkle(~ryantrink@89.247.249.243) (Ping timeout: 246 seconds)
2023-07-09 03:58:57 +0200Kaladin(~Kaladin@157-131-203-194.fiber.dynamic.sonic.net) (Quit: Leaving)
2023-07-09 03:59:12 +0200Kal(~Kaladin@157-131-203-194.fiber.dynamic.sonic.net) (Quit: Leaving)
2023-07-09 04:00:16 +0200buckwheatsuperpo(~buckwheat@209.122.211.192)
2023-07-09 04:04:19 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2023-07-09 04:05:33 +0200falafel(~falafel@2603-7000-a700-8710-6d3c-702b-e64d-309f.res6.spectrum.com)
2023-07-09 04:05:59 +0200Kaladin(~Kaladin@157-131-203-194.fiber.dynamic.sonic.net)
2023-07-09 04:06:06 +0200foul_owl(~kerry@185.219.141.164) (Ping timeout: 246 seconds)
2023-07-09 04:06:16 +0200buckwheatsuperpo(~buckwheat@209.122.211.192) (Ping timeout: 245 seconds)
2023-07-09 04:06:18 +0200shailangsa(~shailangs@host86-186-196-224.range86-186.btcentralplus.com)
2023-07-09 04:10:51 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-07-09 04:13:10 +0200Ekho(~Ekho@user/ekho)
2023-07-09 04:13:35 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-07-09 04:13:35 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-07-09 04:13:35 +0200finn_elijaFinnElija
2023-07-09 04:14:06 +0200greentail(~greentail@user/clcuc)
2023-07-09 04:15:13 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection)
2023-07-09 04:15:25 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-09 04:16:15 +0200td_(~td@i53870908.versanet.de) (Ping timeout: 246 seconds)
2023-07-09 04:18:24 +0200td_(~td@i53870924.versanet.de)
2023-07-09 04:18:48 +0200Kaladin(~Kaladin@157-131-203-194.fiber.dynamic.sonic.net) (Quit: Leaving)
2023-07-09 04:20:31 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2023-07-09 04:25:39 +0200Kaladin(~Kaladin@157-131-203-194.fiber.dynamic.sonic.net)
2023-07-09 04:27:31 +0200bontaq(~user@ool-45779b84.dyn.optonline.net)
2023-07-09 04:32:09 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection)
2023-07-09 04:32:22 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds)
2023-07-09 04:34:17 +0200finsternis(~X@23.226.237.192) (Read error: Connection reset by peer)
2023-07-09 04:37:26 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2023-07-09 04:46:16 +0200puke(~puke@user/puke)
2023-07-09 04:49:03 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection)
2023-07-09 04:49:15 +0200Dykam(Dykam@dykam.nl) (Server closed connection)
2023-07-09 04:49:24 +0200Dykam(Dykam@dykam.nl)
2023-07-09 04:52:40 +0200notzmv(~zmv@user/notzmv)
2023-07-09 04:54:21 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2023-07-09 04:54:55 +0200shane(~shane@ana.rch.ist) (Server closed connection)
2023-07-09 04:55:02 +0200shane(~shane@ana.rch.ist)
2023-07-09 04:57:41 +0200Kaladin(~Kaladin@157-131-203-194.fiber.dynamic.sonic.net) (Quit: Leaving)
2023-07-09 05:02:31 +0200aforemny(~aforemny@i59F516EA.versanet.de) (Ping timeout: 245 seconds)
2023-07-09 05:03:22 +0200aforemny(~aforemny@2001:9e8:6cd4:1d00:e69f:6745:746d:f22)
2023-07-09 05:05:38 +0200Inst__(~Inst@2601:6c4:4081:2fc0:d08:24ab:c7c7:32)
2023-07-09 05:07:55 +0200m5zs7k(aquares@web10.mydevil.net) (Server closed connection)
2023-07-09 05:08:15 +0200m5zs7k(aquares@web10.mydevil.net)
2023-07-09 05:08:22 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection)
2023-07-09 05:08:53 +0200Inst_(~Inst@2601:6c4:4081:2fc0:390f:7fa0:d024:ef82) (Ping timeout: 246 seconds)
2023-07-09 05:09:36 +0200Inst_(~Inst@2601:6c4:4081:2fc0:c44f:4502:9d9a:a4ee)
2023-07-09 05:13:05 +0200Inst__(~Inst@2601:6c4:4081:2fc0:d08:24ab:c7c7:32) (Ping timeout: 246 seconds)
2023-07-09 05:13:39 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2023-07-09 05:15:39 +0200Inst__(~Inst@2601:6c4:4081:2fc0:9113:ccda:f02f:14f7)
2023-07-09 05:16:36 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Server closed connection)
2023-07-09 05:16:55 +0200tabemann(~tabemann@2600:1700:7990:24e0:8a68:ec61:bce2:eeda)
2023-07-09 05:18:46 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-07-09 05:19:02 +0200Inst_(~Inst@2601:6c4:4081:2fc0:c44f:4502:9d9a:a4ee) (Ping timeout: 246 seconds)
2023-07-09 05:24:15 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001) (Server closed connection)
2023-07-09 05:24:36 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001)
2023-07-09 05:25:05 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-09 05:27:26 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-09 05:40:19 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2023-07-09 05:43:07 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-07-09 05:43:28 +0200Inst_(~Inst@2601:6c4:4081:2fc0:20b6:c93:deed:f829)
2023-07-09 05:44:38 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-07-09 05:47:02 +0200Inst__(~Inst@2601:6c4:4081:2fc0:9113:ccda:f02f:14f7) (Ping timeout: 246 seconds)
2023-07-09 05:50:45 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-07-09 06:01:41 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-07-09 06:02:25 +0200aforemny_(~aforemny@2001:9e8:6cd9:7c00:15ed:5932:50be:137e)
2023-07-09 06:03:34 +0200aforemny(~aforemny@2001:9e8:6cd4:1d00:e69f:6745:746d:f22) (Ping timeout: 260 seconds)
2023-07-09 06:04:13 +0200trev(~trev@user/trev)
2023-07-09 06:07:28 +0200Inst__(~Inst@2601:6c4:4081:2fc0:ac1b:f7a6:a12f:689a)
2023-07-09 06:11:03 +0200Inst_(~Inst@2601:6c4:4081:2fc0:20b6:c93:deed:f829) (Ping timeout: 246 seconds)
2023-07-09 06:12:44 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds)
2023-07-09 06:13:39 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-07-09 06:19:46 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-07-09 06:20:00 +0200pyooque(~puke@user/puke)
2023-07-09 06:20:00 +0200puke(~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services)))
2023-07-09 06:20:00 +0200pyooquepuke
2023-07-09 06:21:10 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2023-07-09 06:22:26 +0200puke(~puke@user/puke)
2023-07-09 06:39:38 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2023-07-09 06:49:33 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection)
2023-07-09 06:50:15 +0200dsrt^(~cd@24.125.210.85) (Ping timeout: 246 seconds)
2023-07-09 06:51:16 +0200ceoltb^(~cd@24.125.210.85) (Ping timeout: 245 seconds)
2023-07-09 06:53:07 +0200bilegeek(~bilegeek@2600:1008:b090:53d6:88cd:ebb9:ed8:e04f) (Quit: Leaving)
2023-07-09 06:54:51 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2023-07-09 07:08:15 +0200Flow(~none@gentoo/developer/flow) (Server closed connection)
2023-07-09 07:09:01 +0200Flow(~none@gentoo/developer/flow)
2023-07-09 07:14:15 +0200foul_owl(~kerry@71.212.137.212)
2023-07-09 07:17:06 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 245 seconds)
2023-07-09 07:18:49 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-09 07:23:21 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-07-09 07:32:02 +0200nyc(~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) (Read error: Connection reset by peer)
2023-07-09 07:37:24 +0200Pickchea(~private@user/pickchea)
2023-07-09 07:56:35 +0200Daniel[m]1(~danieltan@2001:470:69fc:105::3:6e5e) (Server closed connection)
2023-07-09 08:01:47 +0200falafel(~falafel@2603-7000-a700-8710-6d3c-702b-e64d-309f.res6.spectrum.com) (Ping timeout: 264 seconds)
2023-07-09 08:14:01 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-07-09 08:20:47 +0200jargon(~jargon@184.101.73.95)
2023-07-09 08:23:21 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds)
2023-07-09 08:24:10 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-07-09 08:24:59 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-07-09 08:25:55 +0200res0nat0r0844909(~Fletch@fenrir.whatbox.ca) (Server closed connection)
2023-07-09 08:26:07 +0200res0nat0r0844909(~Fletch@fenrir.whatbox.ca)
2023-07-09 08:27:52 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-09 08:30:09 +0200acidjnk(~acidjnk@p200300d6e7072f931909551b2e55e54a.dip0.t-ipconnect.de)
2023-07-09 08:30:16 +0200gmg(~user@user/gehmehgeh)
2023-07-09 08:35:22 +0200Guest8058(~finn@176-151-21-224.abo.bbox.fr)
2023-07-09 08:44:55 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-07-09 08:48:06 +0200misterfish(~misterfis@178.228.204.193)
2023-07-09 08:58:29 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-07-09 08:59:23 +0200jargon(~jargon@184.101.73.95) (Ping timeout: 264 seconds)
2023-07-09 09:06:40 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-09 09:10:27 +0200jsomedon(uid606872@id-606872.hampstead.irccloud.com)
2023-07-09 09:11:04 +0200sefidel(~sefidel@user/sefidel) (Remote host closed the connection)
2023-07-09 09:11:47 +0200sefidel(~sefidel@user/sefidel)
2023-07-09 09:16:00 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-09 09:20:58 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-07-09 09:21:14 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 246 seconds)
2023-07-09 09:24:06 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-07-09 09:25:10 +0200img(~img@user/img)
2023-07-09 09:29:00 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds)
2023-07-09 09:29:20 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-07-09 09:31:02 +0200misterfish(~misterfis@178.228.204.193) (Ping timeout: 245 seconds)
2023-07-09 09:37:48 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net)
2023-07-09 09:38:13 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-07-09 09:39:06 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2023-07-09 09:40:21 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-07-09 09:40:54 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds)
2023-07-09 09:42:37 +0200hisa38770(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net)
2023-07-09 09:44:06 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-07-09 09:44:08 +0200hisa3877(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 246 seconds)
2023-07-09 09:44:09 +0200hisa38770hisa3877
2023-07-09 09:46:59 +0200img(~img@user/img)
2023-07-09 09:47:14 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) (Remote host closed the connection)
2023-07-09 09:49:01 +0200mei(~mei@user/mei) (Quit: mei)
2023-07-09 09:51:29 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-09 09:54:17 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-09 09:57:01 +0200mei(~mei@user/mei)
2023-07-09 09:57:16 +0200kristjansson_(sid126207@id-126207.tinside.irccloud.com) (Server closed connection)
2023-07-09 09:57:50 +0200kristjansson_(sid126207@id-126207.tinside.irccloud.com)
2023-07-09 09:59:56 +0200tv1(~tv@user/tv) (Server closed connection)
2023-07-09 10:00:20 +0200tv1(~tv@user/tv)
2023-07-09 10:01:01 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-09 10:03:27 +0200gurkenglas(~gurkengla@dynamic-046-114-183-037.46.114.pool.telefonica.de)
2023-07-09 10:03:57 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 245 seconds)
2023-07-09 10:04:25 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2023-07-09 10:09:56 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
2023-07-09 10:14:36 +0200Guest8058(~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 245 seconds)
2023-07-09 10:15:50 +0200retropikzel(9d1a4f9f46@2604:bf00:561:2000::ce)
2023-07-09 10:15:55 +0200retropikzel(9d1a4f9f46@2604:bf00:561:2000::ce) ()
2023-07-09 10:15:59 +0200retropikzel(9d1a4f9f46@2604:bf00:561:2000::ce)
2023-07-09 10:26:26 +0200ripspin(~chatzilla@1.145.166.1)
2023-07-09 10:29:29 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds)
2023-07-09 10:31:28 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-07-09 10:39:25 +0200Guest8058(~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr)
2023-07-09 10:42:05 +0200titibandit(~titibandi@user/titibandit)
2023-07-09 10:42:32 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2023-07-09 10:42:35 +0200driib(~driib@vmi931078.contaboserver.net) (Server closed connection)
2023-07-09 10:43:03 +0200driib(~driib@vmi931078.contaboserver.net)
2023-07-09 10:46:09 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-07-09 10:46:38 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-07-09 10:47:43 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-07-09 10:51:16 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 245 seconds)
2023-07-09 10:51:52 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2023-07-09 10:54:15 +0200juri_(~juri@84-19-175-187.pool.ovpn.com) (Server closed connection)
2023-07-09 10:54:31 +0200juri_(~juri@84-19-175-187.pool.ovpn.com)
2023-07-09 10:57:44 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-09 11:01:59 +0200alexherbo2(~alexherbo@2a02-8440-2440-365a-180d-d29f-879c-caf2.rev.sfr.net)
2023-07-09 11:16:16 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Server closed connection)
2023-07-09 11:18:36 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-09 11:19:07 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-07-09 11:19:19 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-09 11:24:53 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-09 11:28:32 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-07-09 11:29:14 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds)
2023-07-09 11:29:54 +0200Lord_of_Life_Lord_of_Life
2023-07-09 11:31:35 +0200mmhat(~mmh@p200300f1c731a3dfee086bfffe095315.dip0.t-ipconnect.de)
2023-07-09 11:32:06 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-07-09 11:35:28 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-09 11:36:07 +0200alternateved(77c0810639@2604:bf00:561:2000::11f0)
2023-07-09 11:44:13 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-09 11:51:32 +0200Midjak(~Midjak@82.66.147.146)
2023-07-09 11:59:36 +0200Guest8058(~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 245 seconds)
2023-07-09 12:00:01 +0200pie_(~pie_bnc@user/pie/x-2818909) ()
2023-07-09 12:09:37 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-07-09 12:09:37 +0200pie_(~pie_bnc@user/pie/x-2818909) (Client Quit)
2023-07-09 12:10:03 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-07-09 12:10:03 +0200pie_(~pie_bnc@user/pie/x-2818909) (Client Quit)
2023-07-09 12:11:02 +0200Guest8058(~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr)
2023-07-09 12:12:06 +0200titibandit(~titibandi@user/titibandit)
2023-07-09 12:15:42 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-07-09 12:15:45 +0200pie_(~pie_bnc@user/pie/x-2818909) (Client Quit)
2023-07-09 12:23:13 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-09 12:27:27 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-07-09 12:31:58 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
2023-07-09 12:32:00 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-07-09 12:32:24 +0200misterfish(~misterfis@87.215.131.102)
2023-07-09 12:33:05 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-09 12:33:41 +0200pie_(~pie_bnc@user/pie/x-2818909) (Client Quit)
2023-07-09 12:33:59 +0200alexherbo2(~alexherbo@2a02-8440-2440-365a-180d-d29f-879c-caf2.rev.sfr.net) (Ping timeout: 246 seconds)
2023-07-09 12:34:24 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-07-09 12:37:56 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-07-09 12:40:34 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-07-09 12:40:47 +0200pie_(~pie_bnc@user/pie/x-2818909) (Client Quit)
2023-07-09 12:43:20 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-07-09 12:43:31 +0200__monty__(~toonn@user/toonn)
2023-07-09 12:44:42 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-07-09 12:49:07 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-09 12:49:09 +0200greentail(~greentail@user/clcuc) (Remote host closed the connection)
2023-07-09 12:49:27 +0200greentail(~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2)
2023-07-09 12:52:06 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2023-07-09 12:54:16 +0200alternat`(~user@77-254-166-50.dynamic.inetia.pl)
2023-07-09 12:54:26 +0200alternat`(~user@77-254-166-50.dynamic.inetia.pl) (Remote host closed the connection)
2023-07-09 12:57:30 +0200pie_(~pie_bnc@user/pie/x-2818909) ()
2023-07-09 13:00:06 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-07-09 13:00:33 +0200bontaq(~user@ool-45779b84.dyn.optonline.net)
2023-07-09 13:00:38 +0200pie_(~pie_bnc@user/pie/x-2818909) (Client Quit)
2023-07-09 13:01:50 +0200buckwheatsuperpo(~buckwheat@209.122.211.192)
2023-07-09 13:02:04 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-07-09 13:03:24 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-07-09 13:04:09 +0200greentail(~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2) (Remote host closed the connection)
2023-07-09 13:04:13 +0200mrmr(~mrmr@user/mrmr)
2023-07-09 13:04:32 +0200greentail(~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2)
2023-07-09 13:06:26 +0200img(~img@user/img)
2023-07-09 13:07:38 +0200img(~img@user/img) (Client Quit)
2023-07-09 13:08:39 +0200titibandit(~titibandi@user/titibandit)
2023-07-09 13:10:45 +0200img(~img@user/img)
2023-07-09 13:11:03 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds)
2023-07-09 13:13:00 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-07-09 13:18:45 +0200Guest8058(~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2023-07-09 13:20:22 +0200remedan_(~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 246 seconds)
2023-07-09 13:23:35 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-07-09 13:24:26 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-09 13:33:04 +0200n0den1te(~n0den1te@150.107.26.7)
2023-07-09 13:33:46 +0200mstksg(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 245 seconds)
2023-07-09 13:35:58 +0200mstksg(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2023-07-09 13:41:21 +0200euandreh(~Thunderbi@189.6.18.7)
2023-07-09 13:43:39 +0200greentail(~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2) (Remote host closed the connection)
2023-07-09 13:44:38 +0200greentail(~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2)
2023-07-09 13:44:49 +0200pie_(~pie_bnc@user/pie/x-2818909) ()
2023-07-09 13:45:00 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-07-09 13:45:45 +0200n0den1te(~n0den1te@150.107.26.7) (Quit: leaving)
2023-07-09 13:46:22 +0200Guest93(~Guest93@156.146.59.21)
2023-07-09 13:47:01 +0200Guest93(~Guest93@156.146.59.21) (Client Quit)
2023-07-09 13:47:06 +0200talismanick(~user@76.133.152.122) (Ping timeout: 245 seconds)
2023-07-09 13:47:28 +0200pie_(~pie_bnc@user/pie/x-2818909) (Read error: Connection reset by peer)
2023-07-09 13:47:45 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-07-09 13:51:02 +0200Guest8058(~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr)
2023-07-09 13:52:42 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds)
2023-07-09 13:57:56 +0200shriekingnoise_(~shrieking@186.137.175.87) (Ping timeout: 245 seconds)
2023-07-09 14:01:14 +0200jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2023-07-09 14:06:18 +0200hellwolf(~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection)
2023-07-09 14:12:04 +0200Guest8058(~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)
2023-07-09 14:15:05 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-07-09 14:16:26 +0200APic(apic@apic.name) (Quit: [TLS] Client upgrade)
2023-07-09 14:16:39 +0200APic(apic@apic.name)
2023-07-09 14:17:53 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-07-09 14:22:18 +0200hellwolf(~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee)
2023-07-09 14:23:40 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2023-07-09 14:24:39 +0200Guest8058(~finn@176-151-21-224.abo.bbox.fr)
2023-07-09 14:38:12 +0200euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 246 seconds)
2023-07-09 14:39:54 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-09 14:41:44 +0200euandreh(~Thunderbi@189.6.18.7)
2023-07-09 14:44:30 +0200Guest8058(~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 246 seconds)
2023-07-09 14:45:01 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-07-09 14:48:27 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-07-09 14:50:48 +0200Guest8058(~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr)
2023-07-09 14:54:39 +0200greentail(~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2) (Remote host closed the connection)
2023-07-09 14:54:57 +0200greentail(~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2)
2023-07-09 15:00:27 +0200orcus-(~orcus@81.78.253.214)
2023-07-09 15:00:35 +0200elkcl(~elkcl@37.204.145.186) (Ping timeout: 264 seconds)
2023-07-09 15:01:03 +0200orcus-(~orcus@81.78.253.214) (Client Quit)
2023-07-09 15:11:34 +0200pie_(~pie_bnc@user/pie/x-2818909) ()
2023-07-09 15:11:52 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-07-09 15:15:20 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz)
2023-07-09 15:15:47 +0200greentail(~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2) (Ping timeout: 246 seconds)
2023-07-09 15:18:56 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 246 seconds)
2023-07-09 15:19:43 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-07-09 15:22:39 +0200Guest8058(~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2023-07-09 15:36:18 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
2023-07-09 15:37:05 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2023-07-09 15:40:01 +0200qqq(~qqq@92.43.167.61) (Ping timeout: 245 seconds)
2023-07-09 15:46:26 +0200Lycurgus(~juan@user/Lycurgus)
2023-07-09 15:54:20 +0200azr4e1(~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b)
2023-07-09 16:02:52 +0200Guest8058(~finn@176-151-21-224.abo.bbox.fr)
2023-07-09 16:08:46 +0200greentail(~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2)
2023-07-09 16:11:22 +0200alexherbo2(~alexherbo@2a02-8440-2440-dc83-04a1-86ac-a42f-a013.rev.sfr.net)
2023-07-09 16:15:13 +0200alexherbo2(~alexherbo@2a02-8440-2440-dc83-04a1-86ac-a42f-a013.rev.sfr.net) (Remote host closed the connection)
2023-07-09 16:17:06 +0200pie_(~pie_bnc@user/pie/x-2818909) (Ping timeout: 252 seconds)
2023-07-09 16:21:26 +0200Guest8058(~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 260 seconds)
2023-07-09 16:24:25 +0200__monty__(~toonn@user/toonn)
2023-07-09 16:28:01 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-09 16:28:50 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-07-09 16:30:55 +0200jargon(~jargon@184.101.73.95)
2023-07-09 16:34:36 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-09 16:35:13 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-09 16:36:16 +0200ddellacosta(~ddellacos@143.244.47.70) (Ping timeout: 245 seconds)
2023-07-09 16:37:54 +0200pie_(~pie_bnc@user/pie/x-2818909)
2023-07-09 16:39:28 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-07-09 16:52:29 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e)
2023-07-09 16:56:16 +0200euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 245 seconds)
2023-07-09 16:56:52 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) (Ping timeout: 245 seconds)
2023-07-09 16:57:50 +0200euandreh(~Thunderbi@189.6.18.7)
2023-07-09 17:02:39 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-07-09 17:06:06 +0200nick3(~nick@2600:8807:9084:7800:e4b1:ee77:6917:e9b6)
2023-07-09 17:10:37 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds)
2023-07-09 17:11:04 +0200titibandit(~titibandi@user/titibandit)
2023-07-09 17:22:17 +0200nick3(~nick@2600:8807:9084:7800:e4b1:ee77:6917:e9b6) (Ping timeout: 245 seconds)
2023-07-09 17:32:51 +0200connrs(~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in)
2023-07-09 17:33:07 +0200connrs(~connrs@user/connrs)
2023-07-09 17:36:16 +0200gentauro(~gentauro@user/gentauro) (Ping timeout: 250 seconds)
2023-07-09 17:36:34 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2023-07-09 17:36:52 +0200azr4e1(~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b) (Ping timeout: 240 seconds)
2023-07-09 17:38:50 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-07-09 17:41:05 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-07-09 17:44:36 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 245 seconds)
2023-07-09 17:45:49 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-07-09 17:55:46 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1)
2023-07-09 18:01:45 +0200buckwheat(~buckwheat@209.122.211.192)
2023-07-09 18:03:15 +0200yangby(~secret@115.220.174.68)
2023-07-09 18:05:52 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-09 18:11:23 +0200buckwheat(~buckwheat@209.122.211.192) (Ping timeout: 264 seconds)
2023-07-09 18:13:33 +0200ryantrinkle(~ryantrink@80.149.170.9)
2023-07-09 18:21:22 +0200greentail(~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2) (Ping timeout: 260 seconds)
2023-07-09 18:23:36 +0200yangby(~secret@115.220.174.68) (Quit: Go out for a walk and buy a drink.)
2023-07-09 18:25:33 +0200buckwheat(~buckwheat@209.122.211.192)
2023-07-09 18:27:01 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-07-09 18:27:01 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-07-09 18:27:01 +0200wroathe(~wroathe@user/wroathe)
2023-07-09 18:27:56 +0200johnw_(~johnw@69.62.242.138)
2023-07-09 18:28:00 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds)
2023-07-09 18:28:22 +0200johnw(~johnw@216.93.230.148) (Ping timeout: 260 seconds)
2023-07-09 18:30:41 +0200greentail(~greentail@2804:214:860a:b6a7:92c9:8d84:1d9b:639c)
2023-07-09 18:31:09 +0200buckwheat(~buckwheat@209.122.211.192) (Remote host closed the connection)
2023-07-09 18:31:13 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-07-09 18:31:19 +0200infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2023-07-09 18:31:44 +0200buckwheat(~buckwheat@209.122.211.192)
2023-07-09 18:33:26 +0200infinity0(~infinity0@pwned.gg)
2023-07-09 18:35:17 +0200buckwheat(~buckwheat@209.122.211.192) (Remote host closed the connection)
2023-07-09 18:40:12 +0200Vq(~vq@90-227-195-9-no77.tbcn.telia.com) (Quit: Server maintenance)
2023-07-09 18:42:26 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-07-09 18:47:32 +0200ystael(~ystael@user/ystael)
2023-07-09 18:47:59 +0200nick3(~nick@2600:8807:9084:7800:156f:70d2:8216:3372)
2023-07-09 18:49:42 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-07-09 18:50:14 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-07-09 18:51:11 +0200Tlsx(~rscastilh@187.40.124.54)
2023-07-09 18:51:15 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2023-07-09 18:54:11 +0200ystael(~ystael@user/ystael) (Ping timeout: 246 seconds)
2023-07-09 19:05:57 +0200Vq(~vq@90-227-195-9-no77.tbcn.telia.com)
2023-07-09 19:07:41 +0200nyc(~nyc@user/nyc)
2023-07-09 19:09:36 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-07-09 19:09:36 +0200wroathe(~wroathe@50.205.197.50)
2023-07-09 19:09:37 +0200wroathe(~wroathe@50.205.197.50) (Changing host)
2023-07-09 19:09:37 +0200wroathe(~wroathe@user/wroathe)
2023-07-09 19:13:21 +0200ryantrinkle(~ryantrink@80.149.170.9) (Ping timeout: 245 seconds)
2023-07-09 19:16:08 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-07-09 19:21:22 +0200ddellacosta(~ddellacos@143.244.47.83)
2023-07-09 19:29:11 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 245 seconds)
2023-07-09 19:29:17 +0200jsomedon(uid606872@id-606872.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-09 19:33:01 +0200buckwheat(~buckwheat@209.122.211.192)
2023-07-09 19:34:36 +0200buckwheat(~buckwheat@209.122.211.192) (Remote host closed the connection)
2023-07-09 19:38:27 +0200ripspin(~chatzilla@1.145.166.1) (Remote host closed the connection)
2023-07-09 19:40:57 +0200mechap(~mechap@user/mechap)
2023-07-09 19:41:44 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-09 19:44:23 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds)
2023-07-09 19:54:26 +0200delYsid(~user@user/delYsid)
2023-07-09 19:59:55 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-09 20:00:32 +0200falafel(~falafel@2603-7000-a700-8710-299a-43b3-78f1-709f.res6.spectrum.com)
2023-07-09 20:04:10 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-07-09 20:07:20 +0200nick3(~nick@2600:8807:9084:7800:156f:70d2:8216:3372) (Ping timeout: 246 seconds)
2023-07-09 20:09:38 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e)
2023-07-09 20:19:42 +0200Volt_(~Volt_@c-73-47-181-152.hsd1.ma.comcast.net)
2023-07-09 20:20:47 +0200nick3(~nick@2600:8807:9084:7800:156f:70d2:8216:3372)
2023-07-09 20:21:29 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2023-07-09 20:24:52 +0200nick3(~nick@2600:8807:9084:7800:156f:70d2:8216:3372) (Ping timeout: 240 seconds)
2023-07-09 20:24:55 +0200dibblego(~dibblego@116.255.1.157)
2023-07-09 20:24:55 +0200dibblego(~dibblego@116.255.1.157) (Changing host)
2023-07-09 20:24:55 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-09 20:25:43 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-09 20:30:12 +0200titibandit(~titibandi@user/titibandit)
2023-07-09 20:33:06 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-07-09 20:34:11 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-07-09 20:36:07 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-09 20:41:01 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-07-09 20:41:23 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2023-07-09 20:45:34 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds)
2023-07-09 20:46:09 +0200nick3(~nick@2600:8807:9084:7800:156f:70d2:8216:3372)
2023-07-09 20:50:06 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-09 20:51:43 +0200 <energizer> is there a name for the kind of scans that return n+1 elements?
2023-07-09 20:52:27 +0200 <monochrom> scanl and scanr return n+1 elements. So you can use either name.
2023-07-09 20:52:35 +0200 <monochrom> > scanl (+) 0 [1,2,3]
2023-07-09 20:52:37 +0200 <lambdabot> [0,1,3,6]
2023-07-09 20:52:53 +0200DavidB(~DavidB@185.224.57.167)
2023-07-09 20:52:57 +0200 <monochrom> I wonder if scanl1 returns n+1 elements...
2023-07-09 20:53:03 +0200 <monochrom> > scanl1 (+) [1,2,3]
2023-07-09 20:53:04 +0200 <lambdabot> [1,3,6]
2023-07-09 20:53:17 +0200 <dolio> No, because it runs scanl on (n-1) elements. :)
2023-07-09 20:53:27 +0200 <monochrom> Ugh hahahah
2023-07-09 20:54:26 +0200nick3(~nick@2600:8807:9084:7800:156f:70d2:8216:3372) (Ping timeout: 260 seconds)
2023-07-09 20:54:43 +0200 <EvanR> two off by 1 errors make a right
2023-07-09 20:55:10 +0200finsternis(~X@23.226.237.192)
2023-07-09 20:55:17 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-07-09 20:55:17 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-07-09 20:55:17 +0200wroathe(~wroathe@user/wroathe)
2023-07-09 20:55:47 +0200hgolden(~hgolden@2603-8000-9d00-3ed1-7b72-5998-97ad-985d.res6.spectrum.com) (Remote host closed the connection)
2023-07-09 20:56:39 +0200hgolden(~hgolden@2603-8000-9d00-3ed1-7b72-5998-97ad-985d.res6.spectrum.com)
2023-07-09 20:58:30 +0200 <energizer> there's no name that refers to both of them?
2023-07-09 20:58:40 +0200biberu(~biberu@user/biberu)
2023-07-09 20:58:41 +0200 <energizer> like "prescan" or something
2023-07-09 20:59:39 +0200trev(~trev@user/trev) (Quit: trev)
2023-07-09 21:00:01 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-07-09 21:01:29 +0200elkcl(~elkcl@broadband-95-84-180-37.ip.moscow.rt.ru)
2023-07-09 21:03:21 +0200johnw_(~johnw@69.62.242.138) (Ping timeout: 245 seconds)
2023-07-09 21:07:28 +0200Guest8058(~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr)
2023-07-09 21:08:04 +0200Volt_(~Volt_@c-73-47-181-152.hsd1.ma.comcast.net) (Quit: )
2023-07-09 21:10:21 +0200fendor(~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0)
2023-07-09 21:12:10 +0200michalz(~michalz@185.246.207.218)
2023-07-09 21:13:58 +0200DavidB(~DavidB@185.224.57.167) (Quit: Client closed)
2023-07-09 21:21:44 +0200hueso(~root@user/hueso) (Quit: hueso)
2023-07-09 21:23:21 +0200nick3(~nick@2600:8807:9084:7800:156f:70d2:8216:3372)
2023-07-09 21:25:20 +0200hueso(~root@user/hueso)
2023-07-09 21:26:42 +0200johnw(~johnw@69.62.242.138)
2023-07-09 21:27:32 +0200nick3(~nick@2600:8807:9084:7800:156f:70d2:8216:3372) (Ping timeout: 240 seconds)
2023-07-09 21:32:36 +0200ddellacosta(~ddellacos@143.244.47.83) (Ping timeout: 246 seconds)
2023-07-09 21:33:27 +0200ddellacosta(~ddellacos@143.244.47.83)
2023-07-09 21:34:07 +0200titiband1t(~titibandi@user/titibandit)
2023-07-09 21:35:24 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2023-07-09 21:35:35 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) (Remote host closed the connection)
2023-07-09 21:36:51 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e)
2023-07-09 21:41:06 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-07-09 21:41:26 +0200jinsun(~jinsun@user/jinsun)
2023-07-09 21:42:12 +0200nick3(~nick@2600:8807:9084:7800:156f:70d2:8216:3372)
2023-07-09 21:45:26 +0200hisa3877(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 245 seconds)
2023-07-09 21:51:23 +0200Inst_(~Inst@2601:6c4:4081:2fc0:3d93:58ae:6f7f:58ed)
2023-07-09 21:54:47 +0200sm[i](~smi]@plaintextaccounting/sm)
2023-07-09 21:55:00 +0200Inst__(~Inst@2601:6c4:4081:2fc0:ac1b:f7a6:a12f:689a) (Ping timeout: 246 seconds)
2023-07-09 21:56:38 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-09 21:59:16 +0200kodin(~talha@39.51.223.201)
2023-07-09 22:08:04 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-07-09 22:13:25 +0200kodin(~talha@39.51.223.201) ()
2023-07-09 22:16:42 +0200Guest8058(~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2023-07-09 22:17:01 +0200zeenk(~zeenk@2a02:2f04:a00b:1800::7fe)
2023-07-09 22:17:04 +0200Feuermagier_(~Feuermagi@user/feuermagier)
2023-07-09 22:17:04 +0200FeuermagierGuest9048
2023-07-09 22:17:04 +0200Guest9048(~Feuermagi@user/feuermagier) (Killed (zirconium.libera.chat (Nickname regained by services)))
2023-07-09 22:17:04 +0200Feuermagier_Feuermagier
2023-07-09 22:17:57 +0200mechap(~mechap@user/mechap) (Quit: WeeChat 4.0.1)
2023-07-09 22:18:45 +0200 <dsal> paramorphism?
2023-07-09 22:19:04 +0200Pickchea(~private@user/pickchea)
2023-07-09 22:23:08 +0200pavonia(~user@user/siracusa)
2023-07-09 22:24:41 +0200Guest2(~Guest2@cpc84147-pool16-2-0-cust143.15-1.cable.virginm.net)
2023-07-09 22:27:43 +0200Guest8058(~finn@176-151-21-224.abo.bbox.fr)
2023-07-09 22:28:43 +0200bratwurst(~dfadsva@2604:3d09:207f:f650::5b03)
2023-07-09 22:30:51 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-07-09 22:30:57 +0200sm[i](~smi]@plaintextaccounting/sm) (Quit: Ping timeout (120 seconds))
2023-07-09 22:31:00 +0200 <bratwurst> hi, it was suggested i post here. i was just curious what people thought about how i reduced my gui
2023-07-09 22:31:06 +0200 <bratwurst> :: c
2023-07-09 22:31:06 +0200 <bratwurst> <bratwurst> handleEvent :: a -> c -> (b, c)
2023-07-09 22:31:06 +0200 <bratwurst> <bratwurst> what do you think?
2023-07-09 22:31:14 +0200 <bratwurst> er, whoops, one sec
2023-07-09 22:31:25 +0200 <bratwurst> class Render c => Widget a b c where
2023-07-09 22:31:25 +0200 <bratwurst> box :: Box
2023-07-09 22:31:25 +0200 <bratwurst> thing :: c
2023-07-09 22:31:25 +0200 <bratwurst> handleEvent :: a -> c -> (b, c)
2023-07-09 22:31:47 +0200 <bratwurst> an example use would be 'Widget Key AppEvent WidgetInternalState'
2023-07-09 22:32:00 +0200danse-nr3(~francesco@151.47.230.150)
2023-07-09 22:32:18 +0200 <bratwurst> the idea being a widget is a map from an <a> to a <b>, while holding some state of type c
2023-07-09 22:32:53 +0200 <EvanR> a map from a to b while "holding" state c sounds vaguely like an arrow based thing
2023-07-09 22:33:25 +0200 <bratwurst> huh, those have been on my reading list for awhile. so i reinvented them?
2023-07-09 22:33:52 +0200 <EvanR> not exactly, and they might not get what you want either
2023-07-09 22:33:53 +0200 <bratwurst> so maybe i should catch up on my arrows reading
2023-07-09 22:34:14 +0200 <EvanR> one possible avenue to go is to hide the state c from the external API
2023-07-09 22:34:41 +0200 <EvanR> if the point is to render it, you can export an Image from all widget regardless of the state type
2023-07-09 22:35:19 +0200 <bratwurst> yes, the idea is to generate the image based on the internal state. eg, a tree widget remembering what's expanded and how much it is scrolled
2023-07-09 22:35:38 +0200 <bratwurst> stuff having to do with the app is not managed by the gui
2023-07-09 22:35:49 +0200 <bratwurst> instead the gui is seen as an event transformer
2023-07-09 22:36:07 +0200 <EvanR> event transformer sounds like stream transducers
2023-07-09 22:36:11 +0200 <bratwurst> it takes gui events and generates app events, which are handled by separate logic
2023-07-09 22:36:23 +0200 <EvanR> which are simpler than arrows by far
2023-07-09 22:36:58 +0200 <bratwurst> i have only vaguely heard of stream transducers. my reading list just got bigger
2023-07-09 22:37:32 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-07-09 22:37:34 +0200 <monochrom> Oh! Then https://hackage.haskell.org/package/machines >:)
2023-07-09 22:41:25 +0200greentail(~greentail@2804:214:860a:b6a7:92c9:8d84:1d9b:639c) (Changing host)
2023-07-09 22:41:25 +0200greentail(~greentail@user/clcuc)
2023-07-09 22:42:07 +0200titiband1t(~titibandi@user/titibandit) (Remote host closed the connection)
2023-07-09 22:44:06 +0200 <bratwurst> that is some fun reading. thank you monochrom
2023-07-09 22:44:29 +0200 <bratwurst> you guys know you're distracting me right? i'm supposed to finish my gui but instead im reading
2023-07-09 22:44:29 +0200nick3(~nick@2600:8807:9084:7800:156f:70d2:8216:3372) (Ping timeout: 246 seconds)
2023-07-09 22:45:46 +0200 <monochrom> I am against instant gratification.
2023-07-09 22:46:10 +0200 <monochrom> When ESR talked about the cathedral and the bazaar, I sided with cathedral.
2023-07-09 22:46:11 +0200 <EvanR> heinrich apfulmus's blog has some good nuggets of wisdom on this
2023-07-09 22:46:25 +0200 <EvanR> GUI stuff
2023-07-09 22:46:45 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-07-09 22:46:48 +0200 <EvanR> when anyone has put a lot of work into the exact thing you're doing, read their whole blog
2023-07-09 22:46:50 +0200hugo(znc@verdigris.lysator.liu.se)
2023-07-09 22:47:09 +0200 <mauke> I hope it's actually apfelmus
2023-07-09 22:47:12 +0200 <mauke> (applesauce)
2023-07-09 22:48:00 +0200Tlsx(~rscastilh@187.40.124.54) ()
2023-07-09 22:48:06 +0200 <EvanR> oops yeah, Apfelmus
2023-07-09 22:48:14 +0200 <EvanR> I also introduce a single char error in his name
2023-07-09 22:48:20 +0200 <EvanR> always*
2023-07-09 22:49:29 +0200 <monochrom> instance Applicative Purée where ... -- apful mus
2023-07-09 22:50:18 +0200 <monochrom> (I also believe in dad jokes. :) )
2023-07-09 22:51:40 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-07-09 22:53:17 +0200hellwolf(~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection)
2023-07-09 22:53:29 +0200fun-safe-math(~fun-safe-@c-24-21-226-85.hsd1.or.comcast.net)
2023-07-09 22:57:50 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-07-09 22:58:01 +0200 <EvanR> bratwurst, https://apfelmus.nfshost.com/blog/2012/03/29-frp-three-principles-bidirectional-gui.html
2023-07-09 22:58:34 +0200nick3(~nick@2600:8807:9084:7800:156f:70d2:8216:3372)
2023-07-09 22:59:08 +0200Guest72(~Guest72@p200300ef9728cc6d1ad384d4e6e1e592.dip0.t-ipconnect.de)
2023-07-09 23:00:15 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-07-09 23:01:50 +0200Guest8058(~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 260 seconds)
2023-07-09 23:05:43 +0200 <bratwurst> EvanR: yes, bidirectional stuff. i've had certain libraries on my list for awhile now. if only i could just read everything at once
2023-07-09 23:05:57 +0200 <bratwurst> he makes good points
2023-07-09 23:06:23 +0200 <Guest72> Is "head ((((([] ++ [1]) ++ [2]) ++ [3]) ++ [4]) ++ [5])" O(n) or O(n*n)? I think is O(n*n) because parens are on left and every ++ must again visit same numbers as last ++. But authors says complexity of head is O(n).
2023-07-09 23:06:23 +0200Feuermagier(~Feuermagi@user/feuermagier) (Quit: Leaving)
2023-07-09 23:07:45 +0200 <EvanR> you ++ N times and after that you can access the first element
2023-07-09 23:07:46 +0200 <geekosaur> complexity of head doesn't include complexity of building its parameter
2023-07-09 23:08:17 +0200 <monochrom> If you print the whole list or ask for the final element, that will be quadratic.
2023-07-09 23:08:57 +0200 <geekosaur> but I think ++ is lazy so you don't actually pay for the whole thing?
2023-07-09 23:08:57 +0200 <monochrom> But the first list node takes only linear time to finalize.
2023-07-09 23:09:16 +0200 <EvanR> @src (++)
2023-07-09 23:09:16 +0200 <lambdabot> [] ++ ys = ys
2023-07-09 23:09:26 +0200wroathe(~wroathe@user/wroathe)
2023-07-09 23:09:52 +0200 <monochrom> I'm actually looking for a lazy evaluation exam question. This looks like suitable!
2023-07-09 23:10:42 +0200 <geekosaur> lazy eval version of a math question with a hidden *0 ?
2023-07-09 23:11:24 +0200 <monochrom> It's a Haskell exam question, not a math exam question.
2023-07-09 23:11:30 +0200 <geekosaur> exactly
2023-07-09 23:11:39 +0200 <EvanR> > last (undefined ++ [1])
2023-07-09 23:11:41 +0200 <lambdabot> *Exception: Prelude.undefined
2023-07-09 23:11:47 +0200 <EvanR> not lazy enough
2023-07-09 23:12:07 +0200 <geekosaur> you put it on the left, it's the right we care about
2023-07-09 23:12:16 +0200 <geekosaur> can't be lazy in both
2023-07-09 23:12:18 +0200 <EvanR> not in the head question
2023-07-09 23:12:38 +0200 <EvanR> yeah lazy in the 2nd argument
2023-07-09 23:13:01 +0200 <probie> > head ((((([] ++ [1]) ++ undefined) ++ undefined) ++ undefined) ++ undefined)
2023-07-09 23:13:02 +0200 <lambdabot> 1
2023-07-09 23:13:07 +0200 <EvanR> > head ([0] ++ undefined)
2023-07-09 23:13:08 +0200 <lambdabot> 0
2023-07-09 23:13:29 +0200 <Guest72> Haskell not evaluating every ++ but only evaluating first step of every ++? Will I get list where head is known but unevaluated ++ inside?
2023-07-09 23:13:54 +0200 <EvanR> in your question it has to evaluate every ++, but that doesn't mean it builds the entire list each time
2023-07-09 23:14:24 +0200 <geekosaur> uh? that's the same fixity as not having the parens, isn't it?
2023-07-09 23:14:24 +0200 <EvanR> like the last two examples show
2023-07-09 23:14:41 +0200 <monochrom> (++) is right-associative
2023-07-09 23:14:46 +0200 <geekosaur> oh
2023-07-09 23:16:18 +0200 <monochrom> Beautifully (!) (++) is denotationally associative, even in the presence of (++). So you will have to use benchmarking to tell the difference in performance.
2023-07-09 23:16:26 +0200 <probie> ([a,b] ++ [c,d]) ++ [e,f] => (a:([b] ++ [c,d])) ++ [e,f] => a:(([b] ++ [c,d]) ++ [e,f]
2023-07-09 23:16:34 +0200 <monochrom> err, even in the presence of bottom.
2023-07-09 23:16:42 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-07-09 23:19:07 +0200 <Guest72> I will evaluate on paper. If linear this should take 5 steps. Maybe then I understand.
2023-07-09 23:19:46 +0200 <monochrom> Yes.
2023-07-09 23:19:59 +0200 <monochrom> "shut up and calculate"
2023-07-09 23:21:04 +0200 <EvanR> unless evaluation would require selector thunks
2023-07-09 23:21:13 +0200 <EvanR> strikethrough
2023-07-09 23:21:50 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) (Remote host closed the connection)
2023-07-09 23:25:01 +0200euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 245 seconds)
2023-07-09 23:25:15 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-07-09 23:25:56 +0200euandreh(~Thunderbi@189.6.18.7)
2023-07-09 23:28:56 +0200johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2023-07-09 23:29:48 +0200michalz(~michalz@185.246.207.218) (Remote host closed the connection)
2023-07-09 23:32:45 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-07-09 23:32:51 +0200biberu\(~biberu@user/biberu)
2023-07-09 23:34:53 +0200 <Guest72> Is correct?
2023-07-09 23:34:55 +0200 <Guest72> head (((([] ++ [1]) ++ [2]) ++ [3]) ++ [4])
2023-07-09 23:34:55 +0200 <Guest72> head ((([1] ++ [2]) ++ [3]) ++ [4])
2023-07-09 23:34:56 +0200 <Guest72> head (((1 : ([] ++ [2]) ++ [3]) ++ [4])
2023-07-09 23:34:56 +0200 <Guest72> head ((1 : ([] ++ [2] ++ [3]) ++ [4])
2023-07-09 23:34:57 +0200 <Guest72> head (1 : ([] ++ [2] ++ [3] ++ [4]))
2023-07-09 23:34:57 +0200 <Guest72> 1
2023-07-09 23:35:49 +0200 <monochrom> yes
2023-07-09 23:35:51 +0200biberu(~biberu@user/biberu) (Ping timeout: 245 seconds)
2023-07-09 23:35:51 +0200biberu\biberu
2023-07-09 23:35:55 +0200 <Guest72> thank you!
2023-07-09 23:37:11 +0200acidjnk(~acidjnk@p200300d6e7072f931909551b2e55e54a.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2023-07-09 23:39:35 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds)
2023-07-09 23:40:59 +0200Guest2(~Guest2@cpc84147-pool16-2-0-cust143.15-1.cable.virginm.net) (Quit: Client closed)
2023-07-09 23:42:18 +0200extor(~extor@ns3018124.ip-149-202-82.eu)
2023-07-09 23:42:35 +0200 <EvanR> too bad we can't hardware accelerate the shifting of parentheses
2023-07-09 23:42:55 +0200 <EvanR> (lisp machines)
2023-07-09 23:45:26 +0200danse-nr3(~francesco@151.47.230.150) (Ping timeout: 245 seconds)
2023-07-09 23:47:53 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-09 23:48:29 +0200disco-dave(~disco-dav@2600:4040:7024:3300:ced3:f253:1888:e1fb)
2023-07-09 23:49:29 +0200fendor(~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) (Remote host closed the connection)
2023-07-09 23:49:34 +0200disco-dave(~disco-dav@2600:4040:7024:3300:ced3:f253:1888:e1fb) (Client Quit)
2023-07-09 23:50:23 +0200euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 264 seconds)
2023-07-09 23:55:32 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-07-09 23:56:35 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2023-07-09 23:57:07 +0200 <Guest72> If operators have same fixity like : and ++ in "1 : (calculation) ++ [3]) then left operator has first right?
2023-07-09 23:57:10 +0200gurkenglas(~gurkengla@dynamic-046-114-183-037.46.114.pool.telefonica.de) (Ping timeout: 250 seconds)
2023-07-09 23:57:29 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-07-09 23:57:58 +0200 <monochrom> They are both infixr 5. See the r there.
2023-07-09 23:58:11 +0200 <monochrom> You can find out from :info : ++