2023/07/09

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