2023-07-09 00:00:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-07-09 00:05:47 +0200 | nick4 | (~nick@98.186.195.59) |
2023-07-09 00:07:32 +0200 | ryantrinkle | (~ryantrink@89.247.249.243) |
2023-07-09 00:07:54 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2023-07-09 00:08:39 +0200 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
2023-07-09 00:12:08 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2023-07-09 00:13:08 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
2023-07-09 00:13:46 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:390f:7fa0:d024:ef82) |
2023-07-09 00:14:54 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) |
2023-07-09 00:15:06 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:1933:a56d:b98f:3d34) (Ping timeout: 246 seconds) |
2023-07-09 00:17:29 +0200 | acidjnk | (~acidjnk@p200300d6e7072f9278793b6e90b80047.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2023-07-09 00:20:17 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
2023-07-09 00:20:37 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-07-09 00:20:54 +0200 | nick3 | (~nick@2600:8807:9084:7800:e4b1:ee77:6917:e9b6) |
2023-07-09 00:21:16 +0200 | nick4 | (~nick@98.186.195.59) (Ping timeout: 245 seconds) |
2023-07-09 00:27:01 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
2023-07-09 00:27:08 +0200 | Guest8835 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
2023-07-09 00:28:32 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
2023-07-09 00:29:23 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2023-07-09 00:30:08 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
2023-07-09 00:36:16 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds) |
2023-07-09 00:36:44 +0200 | shachaf | (~shachaf@user/shachaf) (Ping timeout: 240 seconds) |
2023-07-09 00:37:39 +0200 | shachaf | (~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 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (Quit: WeeChat 4.0.0) |
2023-07-09 00:43:44 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
2023-07-09 00:44:06 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2023-07-09 00:54:31 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-053.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-07-09 01:08:24 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-07-09 01:13:35 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Server closed connection) |
2023-07-09 01:13:49 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
2023-07-09 01:22:51 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-07-09 01:25:23 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
2023-07-09 01:25:36 +0200 | tackleton | (~tackleton@services.tilde.club) (Leaving) |
2023-07-09 01:27:34 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2023-07-09 01:33:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
2023-07-09 01:48:56 +0200 | tureba | (~tureba@tureba.org) (Server closed connection) |
2023-07-09 01:49:12 +0200 | tureba | (~tureba@tureba.org) |
2023-07-09 01:49:49 +0200 | mauke_ | (~mauke@user/mauke) |
2023-07-09 01:49:59 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-07-09 01:51:16 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 245 seconds) |
2023-07-09 01:51:17 +0200 | mauke_ | mauke |
2023-07-09 01:52:16 +0200 | extor | (~extor@ns3018124.ip-149-202-82.eu) (Server closed connection) |
2023-07-09 01:55:15 +0200 | merijn | (~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 +0200 | gry | (quasselcor@botters/gry) |
2023-07-09 02:00:42 +0200 | bilegeek | (~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 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-07-09 02:07:06 +0200 | extor | (~extor@ns3018124.ip-149-202-82.eu) |
2023-07-09 02:07:50 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
2023-07-09 02:07:55 +0200 | califax | (~califax@user/califx) |
2023-07-09 02:08:51 +0200 | nick3 | (~nick@2600:8807:9084:7800:e4b1:ee77:6917:e9b6) (Ping timeout: 246 seconds) |
2023-07-09 02:10:40 +0200 | buckwheat | (~buckwheat@209.122.211.192) (Ping timeout: 250 seconds) |
2023-07-09 02:12:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-07-09 02:12:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
2023-07-09 02:13:42 +0200 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
2023-07-09 02:16:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
2023-07-09 02:19:11 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 245 seconds) |
2023-07-09 02:19:12 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
2023-07-09 02:28:03 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) (Remote host closed the connection) |
2023-07-09 02:29:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) |
2023-07-09 02:31:44 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) |
2023-07-09 02:34:30 +0200 | gry | (quasselcor@botters/gry) (Ping timeout: 240 seconds) |
2023-07-09 02:41:26 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
2023-07-09 02:51:36 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-07-09 02:55:03 +0200 | captnemo | (~captnemo@193.32.127.239) |
2023-07-09 02:56:33 +0200 | gry | (quasselcor@botters/gry) |
2023-07-09 02:56:34 +0200 | captnemo | (~captnemo@193.32.127.239) (Client Quit) |
2023-07-09 03:00:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2023-07-09 03:03:00 +0200 | Kal | (~Kaladin@157-131-203-194.fiber.dynamic.sonic.net) |
2023-07-09 03:04:43 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-07-09 03:05:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
2023-07-09 03:09:53 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 246 seconds) |
2023-07-09 03:10:37 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-07-09 03:16:44 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-07-09 03:22:15 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Server closed connection) |
2023-07-09 03:22:41 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
2023-07-09 03:23:35 +0200 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Server closed connection) |
2023-07-09 03:26:02 +0200 | Kal | (~Kaladin@157-131-203-194.fiber.dynamic.sonic.net) (Quit: Leaving) |
2023-07-09 03:32:51 +0200 | Kal | (~Kaladin@157-131-203-194.fiber.dynamic.sonic.net) |
2023-07-09 03:36:20 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-07-09 03:50:22 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2023-07-09 03:55:23 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
2023-07-09 03:55:35 +0200 | extor | (~extor@ns3018124.ip-149-202-82.eu) (Remote host closed the connection) |
2023-07-09 03:58:24 +0200 | ryantrinkle | (~ryantrink@89.247.249.243) (Ping timeout: 246 seconds) |
2023-07-09 03:58:57 +0200 | Kaladin | (~Kaladin@157-131-203-194.fiber.dynamic.sonic.net) (Quit: Leaving) |
2023-07-09 03:59:12 +0200 | Kal | (~Kaladin@157-131-203-194.fiber.dynamic.sonic.net) (Quit: Leaving) |
2023-07-09 04:00:16 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
2023-07-09 04:04:19 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
2023-07-09 04:05:33 +0200 | falafel | (~falafel@2603-7000-a700-8710-6d3c-702b-e64d-309f.res6.spectrum.com) |
2023-07-09 04:05:59 +0200 | Kaladin | (~Kaladin@157-131-203-194.fiber.dynamic.sonic.net) |
2023-07-09 04:06:06 +0200 | foul_owl | (~kerry@185.219.141.164) (Ping timeout: 246 seconds) |
2023-07-09 04:06:16 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 245 seconds) |
2023-07-09 04:06:18 +0200 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) |
2023-07-09 04:10:51 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2023-07-09 04:13:10 +0200 | Ekho | (~Ekho@user/ekho) |
2023-07-09 04:13:35 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-07-09 04:13:35 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-07-09 04:13:35 +0200 | finn_elija | FinnElija |
2023-07-09 04:14:06 +0200 | greentail | (~greentail@user/clcuc) |
2023-07-09 04:15:13 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
2023-07-09 04:15:25 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-07-09 04:16:15 +0200 | td_ | (~td@i53870908.versanet.de) (Ping timeout: 246 seconds) |
2023-07-09 04:18:24 +0200 | td_ | (~td@i53870924.versanet.de) |
2023-07-09 04:18:48 +0200 | Kaladin | (~Kaladin@157-131-203-194.fiber.dynamic.sonic.net) (Quit: Leaving) |
2023-07-09 04:20:31 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
2023-07-09 04:25:39 +0200 | Kaladin | (~Kaladin@157-131-203-194.fiber.dynamic.sonic.net) |
2023-07-09 04:27:31 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
2023-07-09 04:32:09 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
2023-07-09 04:32:22 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
2023-07-09 04:34:17 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
2023-07-09 04:37:26 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
2023-07-09 04:46:16 +0200 | puke | (~puke@user/puke) |
2023-07-09 04:49:03 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
2023-07-09 04:49:15 +0200 | Dykam | (Dykam@dykam.nl) (Server closed connection) |
2023-07-09 04:49:24 +0200 | Dykam | (Dykam@dykam.nl) |
2023-07-09 04:52:40 +0200 | notzmv | (~zmv@user/notzmv) |
2023-07-09 04:54:21 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
2023-07-09 04:54:55 +0200 | shane | (~shane@ana.rch.ist) (Server closed connection) |
2023-07-09 04:55:02 +0200 | shane | (~shane@ana.rch.ist) |
2023-07-09 04:57:41 +0200 | Kaladin | (~Kaladin@157-131-203-194.fiber.dynamic.sonic.net) (Quit: Leaving) |
2023-07-09 05:02:31 +0200 | aforemny | (~aforemny@i59F516EA.versanet.de) (Ping timeout: 245 seconds) |
2023-07-09 05:03:22 +0200 | aforemny | (~aforemny@2001:9e8:6cd4:1d00:e69f:6745:746d:f22) |
2023-07-09 05:05:38 +0200 | Inst__ | (~Inst@2601:6c4:4081:2fc0:d08:24ab:c7c7:32) |
2023-07-09 05:07:55 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Server closed connection) |
2023-07-09 05:08:15 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
2023-07-09 05:08:22 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
2023-07-09 05:08:53 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:390f:7fa0:d024:ef82) (Ping timeout: 246 seconds) |
2023-07-09 05:09:36 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:c44f:4502:9d9a:a4ee) |
2023-07-09 05:13:05 +0200 | Inst__ | (~Inst@2601:6c4:4081:2fc0:d08:24ab:c7c7:32) (Ping timeout: 246 seconds) |
2023-07-09 05:13:39 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
2023-07-09 05:15:39 +0200 | Inst__ | (~Inst@2601:6c4:4081:2fc0:9113:ccda:f02f:14f7) |
2023-07-09 05:16:36 +0200 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Server closed connection) |
2023-07-09 05:16:55 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:8a68:ec61:bce2:eeda) |
2023-07-09 05:18:46 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
2023-07-09 05:19:02 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:c44f:4502:9d9a:a4ee) (Ping timeout: 246 seconds) |
2023-07-09 05:24:15 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Server closed connection) |
2023-07-09 05:24:36 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
2023-07-09 05:25:05 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-07-09 05:27:26 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-07-09 05:40:19 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
2023-07-09 05:43:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-07-09 05:43:28 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:20b6:c93:deed:f829) |
2023-07-09 05:44:38 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-07-09 05:47:02 +0200 | Inst__ | (~Inst@2601:6c4:4081:2fc0:9113:ccda:f02f:14f7) (Ping timeout: 246 seconds) |
2023-07-09 05:50:45 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-07-09 06:01:41 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2023-07-09 06:02:25 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd9:7c00:15ed:5932:50be:137e) |
2023-07-09 06:03:34 +0200 | aforemny | (~aforemny@2001:9e8:6cd4:1d00:e69f:6745:746d:f22) (Ping timeout: 260 seconds) |
2023-07-09 06:04:13 +0200 | trev | (~trev@user/trev) |
2023-07-09 06:07:28 +0200 | Inst__ | (~Inst@2601:6c4:4081:2fc0:ac1b:f7a6:a12f:689a) |
2023-07-09 06:11:03 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:20b6:c93:deed:f829) (Ping timeout: 246 seconds) |
2023-07-09 06:12:44 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
2023-07-09 06:13:39 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-07-09 06:19:46 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-07-09 06:20:00 +0200 | pyooque | (~puke@user/puke) |
2023-07-09 06:20:00 +0200 | puke | (~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services))) |
2023-07-09 06:20:00 +0200 | pyooque | puke |
2023-07-09 06:21:10 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
2023-07-09 06:22:26 +0200 | puke | (~puke@user/puke) |
2023-07-09 06:39:38 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
2023-07-09 06:49:33 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
2023-07-09 06:50:15 +0200 | dsrt^ | (~cd@24.125.210.85) (Ping timeout: 246 seconds) |
2023-07-09 06:51:16 +0200 | ceoltb^ | (~cd@24.125.210.85) (Ping timeout: 245 seconds) |
2023-07-09 06:53:07 +0200 | bilegeek | (~bilegeek@2600:1008:b090:53d6:88cd:ebb9:ed8:e04f) (Quit: Leaving) |
2023-07-09 06:54:51 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
2023-07-09 07:08:15 +0200 | Flow | (~none@gentoo/developer/flow) (Server closed connection) |
2023-07-09 07:09:01 +0200 | Flow | (~none@gentoo/developer/flow) |
2023-07-09 07:14:15 +0200 | foul_owl | (~kerry@71.212.137.212) |
2023-07-09 07:17:06 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
2023-07-09 07:18:49 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-07-09 07:23:21 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2023-07-09 07:32:02 +0200 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) (Read error: Connection reset by peer) |
2023-07-09 07:37:24 +0200 | Pickchea | (~private@user/pickchea) |
2023-07-09 07:56:35 +0200 | Daniel[m]1 | (~danieltan@2001:470:69fc:105::3:6e5e) (Server closed connection) |
2023-07-09 08:01:47 +0200 | falafel | (~falafel@2603-7000-a700-8710-6d3c-702b-e64d-309f.res6.spectrum.com) (Ping timeout: 264 seconds) |
2023-07-09 08:14:01 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2023-07-09 08:20:47 +0200 | jargon | (~jargon@184.101.73.95) |
2023-07-09 08:23:21 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
2023-07-09 08:24:10 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2023-07-09 08:24:59 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2023-07-09 08:25:55 +0200 | res0nat0r0844909 | (~Fletch@fenrir.whatbox.ca) (Server closed connection) |
2023-07-09 08:26:07 +0200 | res0nat0r0844909 | (~Fletch@fenrir.whatbox.ca) |
2023-07-09 08:27:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-07-09 08:30:09 +0200 | acidjnk | (~acidjnk@p200300d6e7072f931909551b2e55e54a.dip0.t-ipconnect.de) |
2023-07-09 08:30:16 +0200 | gmg | (~user@user/gehmehgeh) |
2023-07-09 08:35:22 +0200 | Guest8058 | (~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 +0200 | misterfish | (~misterfis@178.228.204.193) |
2023-07-09 08:58:29 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2023-07-09 08:59:23 +0200 | jargon | (~jargon@184.101.73.95) (Ping timeout: 264 seconds) |
2023-07-09 09:06:40 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-07-09 09:10:27 +0200 | jsomedon | (uid606872@id-606872.hampstead.irccloud.com) |
2023-07-09 09:11:04 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
2023-07-09 09:11:47 +0200 | sefidel | (~sefidel@user/sefidel) |
2023-07-09 09:16:00 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-07-09 09:20:58 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
2023-07-09 09:21:14 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 246 seconds) |
2023-07-09 09:24:06 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-07-09 09:25:10 +0200 | img | (~img@user/img) |
2023-07-09 09:29:00 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
2023-07-09 09:29:20 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
2023-07-09 09:31:02 +0200 | misterfish | (~misterfis@178.228.204.193) (Ping timeout: 245 seconds) |
2023-07-09 09:37:48 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
2023-07-09 09:38:13 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
2023-07-09 09:39:06 +0200 | tzh | (~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 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds) |
2023-07-09 09:42:37 +0200 | hisa38770 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
2023-07-09 09:44:06 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-07-09 09:44:08 +0200 | hisa3877 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 246 seconds) |
2023-07-09 09:44:09 +0200 | hisa38770 | hisa3877 |
2023-07-09 09:46:59 +0200 | img | (~img@user/img) |
2023-07-09 09:47:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) (Remote host closed the connection) |
2023-07-09 09:49:01 +0200 | mei | (~mei@user/mei) (Quit: mei) |
2023-07-09 09:51:29 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-07-09 09:54:17 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2023-07-09 09:57:01 +0200 | mei | (~mei@user/mei) |
2023-07-09 09:57:16 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) (Server closed connection) |
2023-07-09 09:57:50 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) |
2023-07-09 09:59:56 +0200 | tv1 | (~tv@user/tv) (Server closed connection) |
2023-07-09 10:00:20 +0200 | tv1 | (~tv@user/tv) |
2023-07-09 10:01:01 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2023-07-09 10:03:27 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-183-037.46.114.pool.telefonica.de) |
2023-07-09 10:03:57 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 245 seconds) |
2023-07-09 10:04:25 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2023-07-09 10:09:56 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
2023-07-09 10:14:36 +0200 | Guest8058 | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 245 seconds) |
2023-07-09 10:15:50 +0200 | retropikzel | (9d1a4f9f46@2604:bf00:561:2000::ce) |
2023-07-09 10:15:55 +0200 | retropikzel | (9d1a4f9f46@2604:bf00:561:2000::ce) () |
2023-07-09 10:15:59 +0200 | retropikzel | (9d1a4f9f46@2604:bf00:561:2000::ce) |
2023-07-09 10:26:26 +0200 | ripspin | (~chatzilla@1.145.166.1) |
2023-07-09 10:29:29 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
2023-07-09 10:31:28 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2023-07-09 10:39:25 +0200 | Guest8058 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
2023-07-09 10:42:05 +0200 | titibandit | (~titibandi@user/titibandit) |
2023-07-09 10:42:32 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
2023-07-09 10:42:35 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Server closed connection) |
2023-07-09 10:43:03 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
2023-07-09 10:46:09 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2023-07-09 10:46:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-07-09 10:47:43 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
2023-07-09 10:51:16 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
2023-07-09 10:51:52 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
2023-07-09 10:54:15 +0200 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Server closed connection) |
2023-07-09 10:54:31 +0200 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
2023-07-09 10:57:44 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-07-09 11:01:59 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2440-365a-180d-d29f-879c-caf2.rev.sfr.net) |
2023-07-09 11:16:16 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Server closed connection) |
2023-07-09 11:18:36 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-07-09 11:19:07 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2023-07-09 11:19:19 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-07-09 11:24:53 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-07-09 11:28:32 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2023-07-09 11:29:14 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
2023-07-09 11:29:54 +0200 | Lord_of_Life_ | Lord_of_Life |
2023-07-09 11:31:35 +0200 | mmhat | (~mmh@p200300f1c731a3dfee086bfffe095315.dip0.t-ipconnect.de) |
2023-07-09 11:32:06 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2023-07-09 11:35:28 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-07-09 11:36:07 +0200 | alternateved | (77c0810639@2604:bf00:561:2000::11f0) |
2023-07-09 11:44:13 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-07-09 11:51:32 +0200 | Midjak | (~Midjak@82.66.147.146) |
2023-07-09 11:59:36 +0200 | Guest8058 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 245 seconds) |
2023-07-09 12:00:01 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
2023-07-09 12:09:37 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
2023-07-09 12:09:37 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (Client Quit) |
2023-07-09 12:10:03 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
2023-07-09 12:10:03 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (Client Quit) |
2023-07-09 12:11:02 +0200 | Guest8058 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
2023-07-09 12:12:06 +0200 | titibandit | (~titibandi@user/titibandit) |
2023-07-09 12:15:42 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
2023-07-09 12:15:45 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (Client Quit) |
2023-07-09 12:23:13 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2023-07-09 12:27:27 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
2023-07-09 12:31:58 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
2023-07-09 12:32:00 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
2023-07-09 12:32:24 +0200 | misterfish | (~misterfis@87.215.131.102) |
2023-07-09 12:33:05 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-07-09 12:33:41 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (Client Quit) |
2023-07-09 12:33:59 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2440-365a-180d-d29f-879c-caf2.rev.sfr.net) (Ping timeout: 246 seconds) |
2023-07-09 12:34:24 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2023-07-09 12:37:56 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
2023-07-09 12:40:34 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
2023-07-09 12:40:47 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (Client Quit) |
2023-07-09 12:43:20 +0200 | waleee | (~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 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
2023-07-09 12:49:07 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-07-09 12:49:09 +0200 | greentail | (~greentail@user/clcuc) (Remote host closed the connection) |
2023-07-09 12:49:27 +0200 | greentail | (~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2) |
2023-07-09 12:52:06 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2023-07-09 12:54:16 +0200 | alternat` | (~user@77-254-166-50.dynamic.inetia.pl) |
2023-07-09 12:54:26 +0200 | alternat` | (~user@77-254-166-50.dynamic.inetia.pl) (Remote host closed the connection) |
2023-07-09 12:57:30 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
2023-07-09 13:00:06 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
2023-07-09 13:00:33 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
2023-07-09 13:00:38 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (Client Quit) |
2023-07-09 13:01:50 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
2023-07-09 13:02:04 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
2023-07-09 13:03:24 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-07-09 13:04:09 +0200 | greentail | (~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2) (Remote host closed the connection) |
2023-07-09 13:04:13 +0200 | mrmr | (~mrmr@user/mrmr) |
2023-07-09 13:04:32 +0200 | greentail | (~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2) |
2023-07-09 13:06:26 +0200 | img | (~img@user/img) |
2023-07-09 13:07:38 +0200 | img | (~img@user/img) (Client Quit) |
2023-07-09 13:08:39 +0200 | titibandit | (~titibandi@user/titibandit) |
2023-07-09 13:10:45 +0200 | img | (~img@user/img) |
2023-07-09 13:11:03 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
2023-07-09 13:13:00 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
2023-07-09 13:18:45 +0200 | Guest8058 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
2023-07-09 13:20:22 +0200 | remedan_ | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 246 seconds) |
2023-07-09 13:23:35 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2023-07-09 13:24:26 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-07-09 13:33:04 +0200 | n0den1te | (~n0den1te@150.107.26.7) |
2023-07-09 13:33:46 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 245 seconds) |
2023-07-09 13:35:58 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
2023-07-09 13:41:21 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
2023-07-09 13:43:39 +0200 | greentail | (~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2) (Remote host closed the connection) |
2023-07-09 13:44:38 +0200 | greentail | (~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2) |
2023-07-09 13:44:49 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
2023-07-09 13:45:00 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
2023-07-09 13:45:45 +0200 | n0den1te | (~n0den1te@150.107.26.7) (Quit: leaving) |
2023-07-09 13:46:22 +0200 | Guest93 | (~Guest93@156.146.59.21) |
2023-07-09 13:47:01 +0200 | Guest93 | (~Guest93@156.146.59.21) (Client Quit) |
2023-07-09 13:47:06 +0200 | talismanick | (~user@76.133.152.122) (Ping timeout: 245 seconds) |
2023-07-09 13:47:28 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (Read error: Connection reset by peer) |
2023-07-09 13:47:45 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
2023-07-09 13:51:02 +0200 | Guest8058 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
2023-07-09 13:52:42 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
2023-07-09 13:57:56 +0200 | shriekingnoise_ | (~shrieking@186.137.175.87) (Ping timeout: 245 seconds) |
2023-07-09 14:01:14 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
2023-07-09 14:06:18 +0200 | hellwolf | (~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection) |
2023-07-09 14:12:04 +0200 | Guest8058 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
2023-07-09 14:15:05 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-07-09 14:16:26 +0200 | APic | (apic@apic.name) (Quit: [TLS] Client upgrade) |
2023-07-09 14:16:39 +0200 | APic | (apic@apic.name) |
2023-07-09 14:17:53 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-07-09 14:22:18 +0200 | hellwolf | (~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee) |
2023-07-09 14:23:40 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2023-07-09 14:24:39 +0200 | Guest8058 | (~finn@176-151-21-224.abo.bbox.fr) |
2023-07-09 14:38:12 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 246 seconds) |
2023-07-09 14:39:54 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-07-09 14:41:44 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
2023-07-09 14:44:30 +0200 | Guest8058 | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 246 seconds) |
2023-07-09 14:45:01 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2023-07-09 14:48:27 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2023-07-09 14:50:48 +0200 | Guest8058 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
2023-07-09 14:54:39 +0200 | greentail | (~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2) (Remote host closed the connection) |
2023-07-09 14:54:57 +0200 | greentail | (~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2) |
2023-07-09 15:00:27 +0200 | orcus- | (~orcus@81.78.253.214) |
2023-07-09 15:00:35 +0200 | elkcl | (~elkcl@37.204.145.186) (Ping timeout: 264 seconds) |
2023-07-09 15:01:03 +0200 | orcus- | (~orcus@81.78.253.214) (Client Quit) |
2023-07-09 15:11:34 +0200 | pie_ | (~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 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
2023-07-09 15:15:47 +0200 | greentail | (~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2) (Ping timeout: 246 seconds) |
2023-07-09 15:18:56 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 246 seconds) |
2023-07-09 15:19:43 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
2023-07-09 15:22:39 +0200 | Guest8058 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
2023-07-09 15:36:18 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
2023-07-09 15:37:05 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2023-07-09 15:40:01 +0200 | qqq | (~qqq@92.43.167.61) (Ping timeout: 245 seconds) |
2023-07-09 15:46:26 +0200 | Lycurgus | (~juan@user/Lycurgus) |
2023-07-09 15:54:20 +0200 | azr4e1 | (~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b) |
2023-07-09 16:02:52 +0200 | Guest8058 | (~finn@176-151-21-224.abo.bbox.fr) |
2023-07-09 16:08:46 +0200 | greentail | (~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2) |
2023-07-09 16:11:22 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2440-dc83-04a1-86ac-a42f-a013.rev.sfr.net) |
2023-07-09 16:15:13 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2440-dc83-04a1-86ac-a42f-a013.rev.sfr.net) (Remote host closed the connection) |
2023-07-09 16:17:06 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 252 seconds) |
2023-07-09 16:21:26 +0200 | Guest8058 | (~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 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-07-09 16:28:50 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
2023-07-09 16:30:55 +0200 | jargon | (~jargon@184.101.73.95) |
2023-07-09 16:34:36 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-07-09 16:35:13 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-07-09 16:36:16 +0200 | ddellacosta | (~ddellacos@143.244.47.70) (Ping timeout: 245 seconds) |
2023-07-09 16:37:54 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
2023-07-09 16:39:28 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2023-07-09 16:52:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) |
2023-07-09 16:56:16 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 245 seconds) |
2023-07-09 16:56:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) (Ping timeout: 245 seconds) |
2023-07-09 16:57:50 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
2023-07-09 17:02:39 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2023-07-09 17:06:06 +0200 | nick3 | (~nick@2600:8807:9084:7800:e4b1:ee77:6917:e9b6) |
2023-07-09 17:10:37 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
2023-07-09 17:11:04 +0200 | titibandit | (~titibandi@user/titibandit) |
2023-07-09 17:22:17 +0200 | nick3 | (~nick@2600:8807:9084:7800:e4b1:ee77:6917:e9b6) (Ping timeout: 245 seconds) |
2023-07-09 17:32:51 +0200 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-07-09 17:33:07 +0200 | connrs | (~connrs@user/connrs) |
2023-07-09 17:36:16 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 250 seconds) |
2023-07-09 17:36:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2023-07-09 17:36:52 +0200 | azr4e1 | (~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b) (Ping timeout: 240 seconds) |
2023-07-09 17:38:50 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2023-07-09 17:41:05 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2023-07-09 17:44:36 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
2023-07-09 17:45:49 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2023-07-09 17:55:46 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
2023-07-09 18:01:45 +0200 | buckwheat | (~buckwheat@209.122.211.192) |
2023-07-09 18:03:15 +0200 | yangby | (~secret@115.220.174.68) |
2023-07-09 18:05:52 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-07-09 18:11:23 +0200 | buckwheat | (~buckwheat@209.122.211.192) (Ping timeout: 264 seconds) |
2023-07-09 18:13:33 +0200 | ryantrinkle | (~ryantrink@80.149.170.9) |
2023-07-09 18:21:22 +0200 | greentail | (~greentail@2804:214:8138:acbf:d227:d151:8ed4:ed2) (Ping timeout: 260 seconds) |
2023-07-09 18:23:36 +0200 | yangby | (~secret@115.220.174.68) (Quit: Go out for a walk and buy a drink.) |
2023-07-09 18:25:33 +0200 | buckwheat | (~buckwheat@209.122.211.192) |
2023-07-09 18:27:01 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-07-09 18:27:01 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-07-09 18:27:01 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-07-09 18:27:56 +0200 | johnw_ | (~johnw@69.62.242.138) |
2023-07-09 18:28:00 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
2023-07-09 18:28:22 +0200 | johnw | (~johnw@216.93.230.148) (Ping timeout: 260 seconds) |
2023-07-09 18:30:41 +0200 | greentail | (~greentail@2804:214:860a:b6a7:92c9:8d84:1d9b:639c) |
2023-07-09 18:31:09 +0200 | buckwheat | (~buckwheat@209.122.211.192) (Remote host closed the connection) |
2023-07-09 18:31:13 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-07-09 18:31:19 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
2023-07-09 18:31:44 +0200 | buckwheat | (~buckwheat@209.122.211.192) |
2023-07-09 18:33:26 +0200 | infinity0 | (~infinity0@pwned.gg) |
2023-07-09 18:35:17 +0200 | buckwheat | (~buckwheat@209.122.211.192) (Remote host closed the connection) |
2023-07-09 18:40:12 +0200 | Vq | (~vq@90-227-195-9-no77.tbcn.telia.com) (Quit: Server maintenance) |
2023-07-09 18:42:26 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2023-07-09 18:47:32 +0200 | ystael | (~ystael@user/ystael) |
2023-07-09 18:47:59 +0200 | nick3 | (~nick@2600:8807:9084:7800:156f:70d2:8216:3372) |
2023-07-09 18:49:42 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2023-07-09 18:50:14 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-07-09 18:51:11 +0200 | Tlsx | (~rscastilh@187.40.124.54) |
2023-07-09 18:51:15 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
2023-07-09 18:54:11 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 246 seconds) |
2023-07-09 19:05:57 +0200 | Vq | (~vq@90-227-195-9-no77.tbcn.telia.com) |
2023-07-09 19:07:41 +0200 | nyc | (~nyc@user/nyc) |
2023-07-09 19:09:36 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2023-07-09 19:09:36 +0200 | wroathe | (~wroathe@50.205.197.50) |
2023-07-09 19:09:37 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
2023-07-09 19:09:37 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-07-09 19:13:21 +0200 | ryantrinkle | (~ryantrink@80.149.170.9) (Ping timeout: 245 seconds) |
2023-07-09 19:16:08 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2023-07-09 19:21:22 +0200 | ddellacosta | (~ddellacos@143.244.47.83) |
2023-07-09 19:29:11 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 245 seconds) |
2023-07-09 19:29:17 +0200 | jsomedon | (uid606872@id-606872.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-07-09 19:33:01 +0200 | buckwheat | (~buckwheat@209.122.211.192) |
2023-07-09 19:34:36 +0200 | buckwheat | (~buckwheat@209.122.211.192) (Remote host closed the connection) |
2023-07-09 19:38:27 +0200 | ripspin | (~chatzilla@1.145.166.1) (Remote host closed the connection) |
2023-07-09 19:40:57 +0200 | mechap | (~mechap@user/mechap) |
2023-07-09 19:41:44 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-07-09 19:44:23 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
2023-07-09 19:54:26 +0200 | delYsid | (~user@user/delYsid) |
2023-07-09 19:59:55 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-07-09 20:00:32 +0200 | falafel | (~falafel@2603-7000-a700-8710-299a-43b3-78f1-709f.res6.spectrum.com) |
2023-07-09 20:04:10 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-07-09 20:07:20 +0200 | nick3 | (~nick@2600:8807:9084:7800:156f:70d2:8216:3372) (Ping timeout: 246 seconds) |
2023-07-09 20:09:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) |
2023-07-09 20:19:42 +0200 | Volt_ | (~Volt_@c-73-47-181-152.hsd1.ma.comcast.net) |
2023-07-09 20:20:47 +0200 | nick3 | (~nick@2600:8807:9084:7800:156f:70d2:8216:3372) |
2023-07-09 20:21:29 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
2023-07-09 20:24:52 +0200 | nick3 | (~nick@2600:8807:9084:7800:156f:70d2:8216:3372) (Ping timeout: 240 seconds) |
2023-07-09 20:24:55 +0200 | dibblego | (~dibblego@116.255.1.157) |
2023-07-09 20:24:55 +0200 | dibblego | (~dibblego@116.255.1.157) (Changing host) |
2023-07-09 20:24:55 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-09 20:25:43 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-07-09 20:30:12 +0200 | titibandit | (~titibandi@user/titibandit) |
2023-07-09 20:33:06 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-07-09 20:34:11 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2023-07-09 20:36:07 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-07-09 20:41:01 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
2023-07-09 20:41:23 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
2023-07-09 20:45:34 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
2023-07-09 20:46:09 +0200 | nick3 | (~nick@2600:8807:9084:7800:156f:70d2:8216:3372) |
2023-07-09 20:50:06 +0200 | Sgeo | (~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 +0200 | DavidB | (~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 +0200 | nick3 | (~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 +0200 | finsternis | (~X@23.226.237.192) |
2023-07-09 20:55:17 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-07-09 20:55:17 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-07-09 20:55:17 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-07-09 20:55:47 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-7b72-5998-97ad-985d.res6.spectrum.com) (Remote host closed the connection) |
2023-07-09 20:56:39 +0200 | hgolden | (~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 +0200 | biberu | (~biberu@user/biberu) |
2023-07-09 20:58:41 +0200 | <energizer> | like "prescan" or something |
2023-07-09 20:59:39 +0200 | trev | (~trev@user/trev) (Quit: trev) |
2023-07-09 21:00:01 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2023-07-09 21:01:29 +0200 | elkcl | (~elkcl@broadband-95-84-180-37.ip.moscow.rt.ru) |
2023-07-09 21:03:21 +0200 | johnw_ | (~johnw@69.62.242.138) (Ping timeout: 245 seconds) |
2023-07-09 21:07:28 +0200 | Guest8058 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
2023-07-09 21:08:04 +0200 | Volt_ | (~Volt_@c-73-47-181-152.hsd1.ma.comcast.net) (Quit: ) |
2023-07-09 21:10:21 +0200 | fendor | (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) |
2023-07-09 21:12:10 +0200 | michalz | (~michalz@185.246.207.218) |
2023-07-09 21:13:58 +0200 | DavidB | (~DavidB@185.224.57.167) (Quit: Client closed) |
2023-07-09 21:21:44 +0200 | hueso | (~root@user/hueso) (Quit: hueso) |
2023-07-09 21:23:21 +0200 | nick3 | (~nick@2600:8807:9084:7800:156f:70d2:8216:3372) |
2023-07-09 21:25:20 +0200 | hueso | (~root@user/hueso) |
2023-07-09 21:26:42 +0200 | johnw | (~johnw@69.62.242.138) |
2023-07-09 21:27:32 +0200 | nick3 | (~nick@2600:8807:9084:7800:156f:70d2:8216:3372) (Ping timeout: 240 seconds) |
2023-07-09 21:32:36 +0200 | ddellacosta | (~ddellacos@143.244.47.83) (Ping timeout: 246 seconds) |
2023-07-09 21:33:27 +0200 | ddellacosta | (~ddellacos@143.244.47.83) |
2023-07-09 21:34:07 +0200 | titiband1t | (~titibandi@user/titibandit) |
2023-07-09 21:35:24 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
2023-07-09 21:35:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) (Remote host closed the connection) |
2023-07-09 21:36:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) |
2023-07-09 21:41:06 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-07-09 21:41:26 +0200 | jinsun | (~jinsun@user/jinsun) |
2023-07-09 21:42:12 +0200 | nick3 | (~nick@2600:8807:9084:7800:156f:70d2:8216:3372) |
2023-07-09 21:45:26 +0200 | hisa3877 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 245 seconds) |
2023-07-09 21:51:23 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:3d93:58ae:6f7f:58ed) |
2023-07-09 21:54:47 +0200 | sm[i] | (~smi]@plaintextaccounting/sm) |
2023-07-09 21:55:00 +0200 | Inst__ | (~Inst@2601:6c4:4081:2fc0:ac1b:f7a6:a12f:689a) (Ping timeout: 246 seconds) |
2023-07-09 21:56:38 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-07-09 21:59:16 +0200 | kodin | (~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 +0200 | kodin | (~talha@39.51.223.201) () |
2023-07-09 22:16:42 +0200 | Guest8058 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
2023-07-09 22:17:01 +0200 | zeenk | (~zeenk@2a02:2f04:a00b:1800::7fe) |
2023-07-09 22:17:04 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
2023-07-09 22:17:04 +0200 | Feuermagier | Guest9048 |
2023-07-09 22:17:04 +0200 | Guest9048 | (~Feuermagi@user/feuermagier) (Killed (zirconium.libera.chat (Nickname regained by services))) |
2023-07-09 22:17:04 +0200 | Feuermagier_ | Feuermagier |
2023-07-09 22:17:57 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.0.1) |
2023-07-09 22:18:45 +0200 | <dsal> | paramorphism? |
2023-07-09 22:19:04 +0200 | Pickchea | (~private@user/pickchea) |
2023-07-09 22:23:08 +0200 | pavonia | (~user@user/siracusa) |
2023-07-09 22:24:41 +0200 | Guest2 | (~Guest2@cpc84147-pool16-2-0-cust143.15-1.cable.virginm.net) |
2023-07-09 22:27:43 +0200 | Guest8058 | (~finn@176-151-21-224.abo.bbox.fr) |
2023-07-09 22:28:43 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::5b03) |
2023-07-09 22:30:51 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2023-07-09 22:30:57 +0200 | sm[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 +0200 | danse-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 +0200 | hugo | (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 +0200 | greentail | (~greentail@2804:214:860a:b6a7:92c9:8d84:1d9b:639c) (Changing host) |
2023-07-09 22:41:25 +0200 | greentail | (~greentail@user/clcuc) |
2023-07-09 22:42:07 +0200 | titiband1t | (~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 +0200 | nick3 | (~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 +0200 | shriekingnoise | (~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 +0200 | hugo | (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 +0200 | Tlsx | (~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 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2023-07-09 22:53:17 +0200 | hellwolf | (~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection) |
2023-07-09 22:53:29 +0200 | fun-safe-math | (~fun-safe-@c-24-21-226-85.hsd1.or.comcast.net) |
2023-07-09 22:57:50 +0200 | gmg | (~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 +0200 | nick3 | (~nick@2600:8807:9084:7800:156f:70d2:8216:3372) |
2023-07-09 22:59:08 +0200 | Guest72 | (~Guest72@p200300ef9728cc6d1ad384d4e6e1e592.dip0.t-ipconnect.de) |
2023-07-09 23:00:15 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
2023-07-09 23:01:50 +0200 | Guest8058 | (~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 +0200 | Feuermagier | (~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 +0200 | wroathe | (~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 +0200 | waleee | (~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 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e574:ea25:1127:161e) (Remote host closed the connection) |
2023-07-09 23:25:01 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 245 seconds) |
2023-07-09 23:25:15 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
2023-07-09 23:25:56 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
2023-07-09 23:28:56 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
2023-07-09 23:29:48 +0200 | michalz | (~michalz@185.246.207.218) (Remote host closed the connection) |
2023-07-09 23:32:45 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2023-07-09 23:32:51 +0200 | biberu\ | (~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 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 245 seconds) |
2023-07-09 23:35:51 +0200 | biberu\ | biberu |
2023-07-09 23:35:55 +0200 | <Guest72> | thank you! |
2023-07-09 23:37:11 +0200 | acidjnk | (~acidjnk@p200300d6e7072f931909551b2e55e54a.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2023-07-09 23:39:35 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
2023-07-09 23:40:59 +0200 | Guest2 | (~Guest2@cpc84147-pool16-2-0-cust143.15-1.cable.virginm.net) (Quit: Client closed) |
2023-07-09 23:42:18 +0200 | extor | (~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 +0200 | danse-nr3 | (~francesco@151.47.230.150) (Ping timeout: 245 seconds) |
2023-07-09 23:47:53 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-07-09 23:48:29 +0200 | disco-dave | (~disco-dav@2600:4040:7024:3300:ced3:f253:1888:e1fb) |
2023-07-09 23:49:29 +0200 | fendor | (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) (Remote host closed the connection) |
2023-07-09 23:49:34 +0200 | disco-dave | (~disco-dav@2600:4040:7024:3300:ced3:f253:1888:e1fb) (Client Quit) |
2023-07-09 23:50:23 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 264 seconds) |
2023-07-09 23:55:32 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
2023-07-09 23:56:35 +0200 | wroathe | (~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 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-183-037.46.114.pool.telefonica.de) (Ping timeout: 250 seconds) |
2023-07-09 23:57:29 +0200 | eggplantade | (~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 : ++ |