| 2023-09-23 00:00:17 +0200 | ulysses4ever | (~artem@73.145.240.11) |
| 2023-09-23 00:02:09 +0200 | dsrt^ | (~cd@c-66-56-7-24.hsd1.ga.comcast.net) |
| 2023-09-23 00:03:51 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-23 00:03:55 +0200 | troydm | (~troydm@user/troydm) |
| 2023-09-23 00:05:58 +0200 | troydm1 | (~troydm@host-176-37-53-238.b025.la.net.ua) (Ping timeout: 244 seconds) |
| 2023-09-23 00:07:20 +0200 | bardman | (~bardman@45-18-203-174.lightspeed.lsvlky.sbcglobal.net) |
| 2023-09-23 00:07:37 +0200 | bardman | (~bardman@45-18-203-174.lightspeed.lsvlky.sbcglobal.net) () |
| 2023-09-23 00:20:22 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-09-23 00:22:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-09-23 00:26:13 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-23 00:26:28 +0200 | ulysses4ever | (~artem@73.145.240.11) (Read error: Connection reset by peer) |
| 2023-09-23 00:26:33 +0200 | artem | (~artem@73.145.240.11) |
| 2023-09-23 00:28:45 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-23 00:30:35 +0200 | artem | (~artem@73.145.240.11) (Ping timeout: 240 seconds) |
| 2023-09-23 00:31:31 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-09-23 00:34:49 +0200 | danza | (~francesco@rm-19-3-110.service.infuturo.it) |
| 2023-09-23 00:35:14 +0200 | cptaffe | (~cptaffe@user/cptaffe) |
| 2023-09-23 00:50:29 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-23 00:55:33 +0200 | ulysses4ever | (~artem@96.79.69.121) |
| 2023-09-23 00:58:32 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 01:00:10 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-23 01:02:14 +0200 | danza | (~francesco@rm-19-3-110.service.infuturo.it) (Ping timeout: 258 seconds) |
| 2023-09-23 01:02:40 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-23 01:02:51 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-09-23 01:03:23 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-09-23 01:04:21 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds) |
| 2023-09-23 01:12:07 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-09-23 01:13:12 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2023-09-23 01:13:30 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Client Quit) |
| 2023-09-23 01:15:23 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2023-09-23 01:15:57 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-23 01:23:22 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-09-23 01:24:05 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 255 seconds) |
| 2023-09-23 01:43:00 +0200 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:cfc:f4df:a815:fcce) |
| 2023-09-23 01:45:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:182a:8598:da7e:1049) (Ping timeout: 240 seconds) |
| 2023-09-23 01:46:04 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3build2 - https://znc.in) |
| 2023-09-23 01:48:38 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-23 01:50:11 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::848d) |
| 2023-09-23 01:53:07 +0200 | monochrom | (trebla@216.138.220.146) |
| 2023-09-23 01:55:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-09-23 01:56:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-09-23 01:57:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-09-23 02:00:21 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-09-23 02:01:06 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2023-09-23 02:02:40 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-09-23 02:04:45 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 02:08:02 +0200 | mysl_ | (~mysl@user/mysl) |
| 2023-09-23 02:08:27 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 260 seconds) |
| 2023-09-23 02:09:52 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-09-23 02:11:51 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-23 02:15:16 +0200 | Tesfe2321 | (~School@2001:1970:5199:fa00::a4bf) (Remote host closed the connection) |
| 2023-09-23 02:15:19 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 264 seconds) |
| 2023-09-23 02:15:37 +0200 | Tesfe2321 | (~School@2001:1970:5199:fa00::a4bf) |
| 2023-09-23 02:16:51 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 2023-09-23 02:17:00 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2023-09-23 02:18:35 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-09-23 02:18:51 +0200 | Tesfe2321 | (~School@2001:1970:5199:fa00::a4bf) (Remote host closed the connection) |
| 2023-09-23 02:19:11 +0200 | Tesfe2321 | (~School@2001:1970:5199:fa00::a4bf) |
| 2023-09-23 02:19:20 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-23 02:20:17 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-09-23 02:24:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds) |
| 2023-09-23 02:26:32 +0200 | ulysses4ever | (~artem@96.79.69.121) (Ping timeout: 260 seconds) |
| 2023-09-23 02:35:30 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-09-23 02:38:04 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 2023-09-23 02:39:05 +0200 | maulinux | (~maulinux@103.144.170.135) |
| 2023-09-23 02:39:26 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-09-23 02:40:01 +0200 | maulinux | (~maulinux@103.144.170.135) (Client Quit) |
| 2023-09-23 02:41:02 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 255 seconds) |
| 2023-09-23 02:41:07 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-23 02:41:08 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-23 02:41:08 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-23 02:41:31 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-09-23 02:44:23 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Quit: Quit) |
| 2023-09-23 02:54:55 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 244 seconds) |
| 2023-09-23 02:55:40 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::848d) (Quit: Going elsewhere) |
| 2023-09-23 02:59:12 +0200 | hyiltiz2 | (~hyiltiz@2620:149:13d1:100::138) (Ping timeout: 246 seconds) |
| 2023-09-23 03:01:46 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-23 03:02:24 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-09-23 03:12:19 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2023-09-23 03:13:34 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-23 03:22:19 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-09-23 03:27:49 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2023-09-23 03:28:39 +0200 | jargon | (~jargon@184.101.67.95) (Remote host closed the connection) |
| 2023-09-23 03:30:07 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-09-23 03:31:27 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::138) |
| 2023-09-23 03:36:05 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::138) (Ping timeout: 240 seconds) |
| 2023-09-23 03:44:00 +0200 | otto_s | (~user@p4ff27dc1.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2023-09-23 03:45:57 +0200 | otto_s | (~user@p4ff27c82.dip0.t-ipconnect.de) |
| 2023-09-23 03:52:38 +0200 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:cfc:f4df:a815:fcce) (Remote host closed the connection) |
| 2023-09-23 03:52:53 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cfc:f4df:a815:fcce) |
| 2023-09-23 03:55:07 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-09-23 03:55:23 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 04:03:15 +0200 | edr | (~edr@user/edr) (Quit: Leaving) |
| 2023-09-23 04:04:15 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-23 04:09:35 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-09-23 04:15:18 +0200 | td_ | (~td@i5387090B.versanet.de) (Ping timeout: 252 seconds) |
| 2023-09-23 04:16:09 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) () |
| 2023-09-23 04:16:23 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-23 04:16:50 +0200 | td_ | (~td@i5387093D.versanet.de) |
| 2023-09-23 04:21:49 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-23 04:25:46 +0200 | zincy | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Remote host closed the connection) |
| 2023-09-23 04:25:48 +0200 | tom_ | (~tom@host86-132-186-152.range86-132.btcentralplus.com) |
| 2023-09-23 04:26:17 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds) |
| 2023-09-23 04:26:46 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-23 04:27:41 +0200 | img | (~img@user/img) |
| 2023-09-23 04:27:47 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-23 04:28:28 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-23 04:29:37 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2023-09-23 04:31:32 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-09-23 04:32:54 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-09-23 04:49:40 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-09-23 04:50:30 +0200 | califax | (~califax@user/califx) |
| 2023-09-23 04:50:53 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-23 04:54:34 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-23 05:14:56 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2023-09-23 05:16:56 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-23 05:27:50 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 05:32:01 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-09-23 05:32:37 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-09-23 05:35:35 +0200 | abrantesasf | (~abrantesa@179.217.48.72) |
| 2023-09-23 05:43:00 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-09-23 05:46:28 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 05:47:04 +0200 | seeg123456 | (~seeg12345@64.176.64.83) (Quit: Gateway shutdown) |
| 2023-09-23 05:49:05 +0200 | seeg123456 | (~seeg12345@64.176.64.83) |
| 2023-09-23 05:49:53 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 05:50:15 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-09-23 05:50:31 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 258 seconds) |
| 2023-09-23 05:54:43 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-09-23 05:55:04 +0200 | aforemny | (~aforemny@2001:9e8:6cd8:8a00:99a8:9435:f04:65fe) (Ping timeout: 245 seconds) |
| 2023-09-23 05:55:34 +0200 | aforemny | (~aforemny@2001:9e8:6cff:bd00:8bde:c93:4a0a:81b5) |
| 2023-09-23 05:58:26 +0200 | bilegeek | (~bilegeek@2600:1008:b01c:9012:fb9d:4986:3d5a:32c8) |
| 2023-09-23 05:59:10 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-23 06:00:07 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 06:12:56 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Quit: WeeChat 4.0.3) |
| 2023-09-23 06:14:59 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-09-23 06:16:58 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-09-23 06:19:31 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2023-09-23 06:20:43 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-09-23 06:20:48 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 2023-09-23 06:22:37 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-23 06:25:56 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-23 06:34:30 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2023-09-23 06:37:15 +0200 | Inst | (~Inst@120.244.192.250) (Quit: Leaving) |
| 2023-09-23 06:37:45 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-23 06:38:18 +0200 | abrantesasf | (~abrantesa@179.217.48.72) (Remote host closed the connection) |
| 2023-09-23 06:40:59 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-09-23 06:41:34 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-09-23 06:41:41 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 06:49:27 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-09-23 06:53:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-23 06:56:24 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-09-23 07:07:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-23 07:08:44 +0200 | puke | (~puke@user/puke) |
| 2023-09-23 07:10:12 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 2023-09-23 07:11:43 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-23 07:11:46 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3build2 - https://znc.in) |
| 2023-09-23 07:14:09 +0200 | phma | (~phma@2001:5b0:212a:dfd8:7461:70e8:4780:de84) (Read error: Connection reset by peer) |
| 2023-09-23 07:15:08 +0200 | phma | (phma@2001:5b0:210d:9478:bc47:d0f:e755:6447) |
| 2023-09-23 07:21:08 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f46d81613739564c366.dip0.t-ipconnect.de) |
| 2023-09-23 07:22:02 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 244 seconds) |
| 2023-09-23 07:27:20 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) |
| 2023-09-23 07:37:15 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 07:47:25 +0200 | monochrom | (trebla@216.138.220.146) |
| 2023-09-23 07:57:31 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-09-23 08:01:48 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-23 08:04:55 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-23 08:06:35 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-09-23 08:11:24 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-23 08:15:52 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-23 08:17:48 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 08:19:35 +0200 | Tesfe2321 | (~School@2001:1970:5199:fa00::a4bf) (Ping timeout: 240 seconds) |
| 2023-09-23 08:22:00 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-23 08:23:56 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-09-23 08:24:38 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-23 08:29:30 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-23 08:32:09 +0200 | Inst | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 2023-09-23 08:32:17 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 08:34:53 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-09-23 08:36:47 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-09-23 08:38:22 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-23 08:39:08 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 08:43:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-23 08:47:57 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-09-23 08:55:21 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 08:57:57 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f46d81613739564c366.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-09-23 09:04:12 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-09-23 09:06:36 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-09-23 09:10:51 +0200 | Inst | (~Inst@120.244.192.250) (Remote host closed the connection) |
| 2023-09-23 09:11:16 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-23 09:15:19 +0200 | drdo3 | (~drdo@2a0b:b800:2:31e6::1) (Ping timeout: 264 seconds) |
| 2023-09-23 09:15:32 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-09-23 09:15:52 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Read error: Connection reset by peer) |
| 2023-09-23 09:16:30 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3build2 - https://znc.in) |
| 2023-09-23 09:17:25 +0200 | monochrom | (trebla@216.138.220.146) |
| 2023-09-23 09:17:37 +0200 | monochrom | (trebla@216.138.220.146) (Client Quit) |
| 2023-09-23 09:19:41 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-09-23 09:35:38 +0200 | caubert | (~caubert@user/caubert) (Quit: WeeChat 4.0.1) |
| 2023-09-23 09:35:48 +0200 | caubert | (~caubert@user/caubert) |
| 2023-09-23 09:38:29 +0200 | monochrom | (trebla@216.138.220.146) |
| 2023-09-23 09:42:45 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-23 09:43:38 +0200 | <Inst> | Just curious, but, umm, is eff dead? |
| 2023-09-23 09:44:04 +0200 | <Inst> | The GHC changes are in, but I think the last commit was around a year ago? |
| 2023-09-23 09:48:45 +0200 | michalz | (~michalz@185.246.207.215) |
| 2023-09-23 09:52:36 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-09-23 09:55:08 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-09-23 09:56:05 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-23 09:57:43 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cfc:f4df:a815:fcce) (Remote host closed the connection) |
| 2023-09-23 10:01:27 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 240 seconds) |
| 2023-09-23 10:02:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-09-23 10:02:48 +0200 | <int-e> | now what is eff |
| 2023-09-23 10:03:55 +0200 | <int-e> | https://github.com/hasura/eff I guess |
| 2023-09-23 10:04:36 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-23 10:18:35 +0200 | jackneill__ | (~Jackneill@20014C4E1E0E960013CBACC2D224F9CC.dsl.pool.telekom.hu) |
| 2023-09-23 10:20:01 +0200 | <[exa]> | Inst: looks like 3 years to me |
| 2023-09-23 10:20:37 +0200 | <Inst> | Thanks, just checking, not going to make the derived point, oh hell, why not |
| 2023-09-23 10:20:44 +0200 | <Inst> | Actually, not going to make it. |
| 2023-09-23 10:21:19 +0200 | <Inst> | That said, I hear the flatparse author (Andras Kovacs) is considering using the delimited continuations primops to increase the flexibility of his library. |
| 2023-09-23 10:21:39 +0200 | <[exa]> | people have considerations™ |
| 2023-09-23 10:21:59 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-23 10:23:29 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-23 10:25:55 +0200 | pony | (sid524992@smol/hors) |
| 2023-09-23 10:29:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-23 10:30:49 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-09-23 10:31:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cfc:f4df:a815:fcce) |
| 2023-09-23 10:33:29 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 10:38:52 +0200 | bilegeek | (~bilegeek@2600:1008:b01c:9012:fb9d:4986:3d5a:32c8) (Quit: Leaving) |
| 2023-09-23 10:39:27 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2023-09-23 10:41:29 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-23 10:41:45 +0200 | hiyori | dweiwin |
| 2023-09-23 10:44:17 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) |
| 2023-09-23 10:44:55 +0200 | dweiwin | hiyori |
| 2023-09-23 10:46:32 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Quit: smoothdev) |
| 2023-09-23 10:48:27 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-09-23 10:50:07 +0200 | mfg | (~user@2a02:908:d13:e3e0:6a54:5aff:fe66:a805) |
| 2023-09-23 10:56:43 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-23 11:00:49 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-09-23 11:01:02 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2023-09-23 11:01:56 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-23 11:02:00 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-09-23 11:06:09 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2023-09-23 11:07:25 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-23 11:08:04 +0200 | mmhat | (~mmh@p200300f1c70f849dee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-09-23 11:09:31 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-09-23 11:09:44 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-23 11:16:12 +0200 | Techcable | (~Techcable@user/Techcable) |
| 2023-09-23 11:20:45 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2023-09-23 11:20:47 +0200 | danza | (~francesco@151.47.91.99) |
| 2023-09-23 11:22:39 +0200 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 240 seconds) |
| 2023-09-23 11:22:53 +0200 | mmhat | (~mmh@p200300f1c70f849dee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.4) |
| 2023-09-23 11:27:02 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-23 11:27:53 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) (Quit: Leaving) |
| 2023-09-23 11:29:17 +0200 | danza_ | (~francesco@na-19-87-144.service.infuturo.it) |
| 2023-09-23 11:29:51 +0200 | danza | (~francesco@151.47.91.99) (Read error: Connection reset by peer) |
| 2023-09-23 11:30:05 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-23 11:30:35 +0200 | mmhat | (~mmh@p200300f1c70f849dee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-09-23 11:31:17 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds) |
| 2023-09-23 11:32:44 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 11:45:21 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-23 11:45:43 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-23 11:52:18 +0200 | mysl_ | mysl |
| 2023-09-23 11:52:35 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2023-09-23 11:52:42 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-23 11:55:17 +0200 | mmhat | (~mmh@p200300f1c70f849dee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.4) |
| 2023-09-23 11:57:32 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2023-09-23 11:57:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-23 11:58:07 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-23 12:05:00 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2023-09-23 12:05:07 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2023-09-23 12:06:05 +0200 | cpressey | (~cpressey@host-80-47-0-72.as13285.net) |
| 2023-09-23 12:07:12 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 252 seconds) |
| 2023-09-23 12:09:49 +0200 | Inst | (~Inst@120.244.192.250) (Remote host closed the connection) |
| 2023-09-23 12:10:13 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-23 12:13:17 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-23 12:17:29 +0200 | vglfr | (~vglfr@188.239.201.89) (Remote host closed the connection) |
| 2023-09-23 12:17:40 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds) |
| 2023-09-23 12:18:28 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-23 12:20:34 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-09-23 12:21:17 +0200 | vglfr | (~vglfr@188.239.201.89) |
| 2023-09-23 12:22:23 +0200 | <Inst> | do you know if effectful will automatically handle IO exceptions via the filesystem effect? |
| 2023-09-23 12:25:58 +0200 | cpressey | (~cpressey@host-80-47-0-72.as13285.net) (Ping timeout: 245 seconds) |
| 2023-09-23 12:26:42 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-23 12:26:54 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 12:31:15 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-23 12:31:31 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-23 12:36:18 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-23 12:48:18 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 12:52:56 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-09-23 12:54:07 +0200 | razetime | (razetime@sd202148.hung.ab.nthu.edu.tw) |
| 2023-09-23 12:55:32 +0200 | razetime | (razetime@sd202148.hung.ab.nthu.edu.tw) (Client Quit) |
| 2023-09-23 12:55:41 +0200 | razetime | (razetime@sd202148.hung.ab.nthu.edu.tw) |
| 2023-09-23 12:55:49 +0200 | razetime | (razetime@sd202148.hung.ab.nthu.edu.tw) (Client Quit) |
| 2023-09-23 13:03:25 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-09-23 13:11:08 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 13:12:38 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2023-09-23 13:13:36 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-09-23 13:15:11 +0200 | cpressey | (~cpressey@host-80-47-0-72.as13285.net) |
| 2023-09-23 13:15:33 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-09-23 13:15:56 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-09-23 13:16:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-23 13:20:52 +0200 | <danza_> | nope, sorry Inst |
| 2023-09-23 13:22:07 +0200 | <Inst> | Someone tried to claim that Haskell's exception handling was exceptional to a Rustacaean who was asking around, who was just plain disappointed that readFile wasn't IO (Either a b) |
| 2023-09-23 13:22:21 +0200 | <Inst> | when the Haskell exceptions system is powerful enough to do so |
| 2023-09-23 13:22:46 +0200 | <Inst> | apparently in Rust, you just get a Result back, with the error code embedded in the Left (Error) type. |
| 2023-09-23 13:23:59 +0200 | <Inst> | Ehhh, I sort of wish HF would back a NeoPrelude and be done with it |
| 2023-09-23 13:24:14 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-23 13:25:48 +0200 | <Lears> | Making it IO of Either would force you to immediately deal with every exception every time---that's not an improvement. As is, you can instead choose to catch and handle exceptions in as fine or coarse a manner as is appropriate to the circumstances. |
| 2023-09-23 13:26:43 +0200 | <Rembane> | Maybe adding a readFileEither function would be a reasonably useful middle road? |
| 2023-09-23 13:26:46 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 13:26:58 +0200 | <Lears> | Though I do think an effort to expose the possible exceptions of an IO action in the type could bear dividends. |
| 2023-09-23 13:27:07 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-23 13:27:20 +0200 | <mauke> | I think it would be a big improvement |
| 2023-09-23 13:27:58 +0200 | <mauke> | also, open() failing is not an exceptional situation |
| 2023-09-23 13:28:12 +0200 | <danza_> | i agree with Inst, and if that applies to IO functions, imagine non-monadic functions. We still have errorful `head` and friends as defaults. But i argued in favour of more type safety here in the past and people did not seem to care enough, found that is just an annoyance |
| 2023-09-23 13:30:26 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2023-09-23 13:31:17 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 2023-09-23 13:32:51 +0200 | kmein | (~weechat@user/kmein) |
| 2023-09-23 13:36:12 +0200 | <danza_> | as i wrote before, it would also help with learning, as people would interact earlier with more maybes or eithers that are easy monads |
| 2023-09-23 13:37:27 +0200 | <Inst> | I think the more important thing is for an official Prelude2 or AltPrelude attempt, because when Rustacaeans come in, they just see the weight of years. |
| 2023-09-23 13:38:00 +0200 | <Inst> | It's not good when we have to try to dissemble around the fact that Prelude is footgunny. |
| 2023-09-23 13:38:02 +0200 | <Rembane> | RustPrelude? |
| 2023-09-23 13:38:39 +0200 | <Inst> | But w/e, end of the day, I'd bet HF doesn't have the resources to contrive and support such an endeavour. |
| 2023-09-23 13:39:18 +0200 | <Rembane> | Inst: Ask them! |
| 2023-09-23 13:39:54 +0200 | <danza_> | why would the foundation support something without community consensus? And the consensus, at least in this channel, has been that people like the status quo |
| 2023-09-23 13:40:13 +0200 | <Lears> | It's not that hard to write an alternative prelude. The real stopper is that there are an endless number of bikesheds within, and few obviously correct changes that can't just go through the CLC. |
| 2023-09-23 13:40:40 +0200 | <Lears> | So you'll just get three new alternatives with different opinions and tradeoffs. |
| 2023-09-23 13:40:46 +0200 | <Inst> | I mean the reason I think they wouldn't have the resources for AltPrelude |
| 2023-09-23 13:40:54 +0200 | <Inst> | would be because Haskell community would have to support two preludes at the same time |
| 2023-09-23 13:41:26 +0200 | <Inst> | keep the old prelude as is, make the educational community happy, or make sure you have proto-backwards compatibility, work on alt prelude for future projects |
| 2023-09-23 13:43:33 +0200 | <danza_> | not sure why giving up on small changes in the "old" prelude. Trying to map the reasons about those changes would probably show that there is not enough momentum to write alternative ones |
| 2023-09-23 13:44:06 +0200 | <danza_> | and i mean _more_ alternative ones |
| 2023-09-23 13:46:49 +0200 | <Inst> | so post to discourse? I'm too busy to write readFileEither |
| 2023-09-23 13:46:55 +0200 | <Inst> | readFileEither' |
| 2023-09-23 13:46:57 +0200 | <Inst> | hahahaha |
| 2023-09-23 13:48:44 +0200 | <danza_> | my haskell "community" is this channel here at the moment. Probably the haskell cafe would be more representative, but after the opinions i gathered here i assume there is no will to change. By the way i am not proposing adding headMaybe or readFileEither, but changing the defaults |
| 2023-09-23 13:48:54 +0200 | <int-e> | if you have a strict readFile you can wrap it in `try`? |
| 2023-09-23 14:02:48 +0200 | <int-e> | Heck, you don't even have to like the Prelude to come out in favor of not changing it... all you have to do is look at how much existing code that would break. |
| 2023-09-23 14:03:41 +0200 | <int-e> | And how easy it is to have your own custom prelude. Yes, it's a silly-looking import (or a language extension) but you'll often have dozens of imports anyway. |
| 2023-09-23 14:04:28 +0200 | mmhat | (~mmh@p200300f1c70f849dee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-09-23 14:04:40 +0200 | mmhat | (~mmh@p200300f1c70f849dee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-09-23 14:05:09 +0200 | <danza_> | yeah, development seems a serious thing until people give up doing it properly. If one does not give up, problems and solution arise. I am not interested in alternatives in this conversations, just why the heck would one live with a partial head while the alternative seems way better |
| 2023-09-23 14:05:34 +0200 | <danza_> | *solutions |
| 2023-09-23 14:06:17 +0200 | <danza_> | we can laugh about python releasing incompatible versions, but not if the price for looking cool is becoming a fossil |
| 2023-09-23 14:06:55 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2023-09-23 14:08:12 +0200 | <probie> | danza_: Is the alternative actually much better? |
| 2023-09-23 14:08:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-23 14:09:42 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-09-23 14:09:56 +0200 | <danza_> | according to this channel, it does not seem so. In my personal experience, i wish i had met an `[a] -> Maybe a` when i started using `head` |
| 2023-09-23 14:10:16 +0200 | <probie> | in practice you might just be replacing `IO a` with `IO (Either SomeException a)`, which doesn't actually seem much better and has a concrete performance hit |
| 2023-09-23 14:10:57 +0200 | <hpc> | something like java's checked exceptions maybe? |
| 2023-09-23 14:11:16 +0200 | <hpc> | although then catching exceptions needs to be easier for new people |
| 2023-09-23 14:12:23 +0200 | <haskellbridge> | <tewuzij> Why exceptions though? |
| 2023-09-23 14:13:28 +0200 | <danza_> | it helps avoiding the discussion about people finding it annoying to return Either or Maybe |
| 2023-09-23 14:15:55 +0200 | todi | (~todi@pd957150f.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2023-09-23 14:16:47 +0200 | <probie> | They don't compose nicely. If I have an `Either e1 (a -> b -> c)`, an `Either e2 a` and an `Either e3 b` I end up with an `Either (Either (Either e1 e2) e3) c` |
| 2023-09-23 14:18:17 +0200 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2023-09-23 14:22:26 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 14:24:13 +0200 | privacy | (~privacy@47.219.84.6) (Remote host closed the connection) |
| 2023-09-23 14:25:51 +0200 | <Inst> | I'm in favor of making considered, balanced additions to the existing prelude. readFileEither' is fine by me, but I wouldn't push for it |
| 2023-09-23 14:26:21 +0200 | <Inst> | as far as changing the Prelude goes, I'd rather just keep it as a legacy option, then have an official new Prelude sponsored by Haskell Foundation |
| 2023-09-23 14:26:41 +0200 | <danza_> | sounds like a plan for a transition |
| 2023-09-23 14:26:55 +0200 | <Lears> | % :t try . readFile' |
| 2023-09-23 14:26:55 +0200 | <yahb2> | try . readFile' :: Exception e => FilePath -> IO (Either e String) |
| 2023-09-23 14:27:05 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-23 14:27:14 +0200 | <Lears> | As int-e pointed out, you /can/ just use try. |
| 2023-09-23 14:28:54 +0200 | <Inst> | yeah, it is, but is there the will and resources to do so? |
| 2023-09-23 14:29:19 +0200 | <Inst> | i don't mess around a lot with exceptions, sadly enough |
| 2023-09-23 14:29:33 +0200 | <Inst> | the one time I tried messing around with exceptions, I tried to cast every possible IO exception into my own type |
| 2023-09-23 14:29:55 +0200 | <Inst> | while educational (except that it was incomplete), it was also irritating |
| 2023-09-23 14:29:55 +0200 | <danza_> | yeah i can also use headMay from classy prelude. A difficult development path + small improvements = no evolution |
| 2023-09-23 14:30:10 +0200 | <int-e> | :t listToMaybe |
| 2023-09-23 14:30:11 +0200 | <lambdabot> | [a] -> Maybe a |
| 2023-09-23 14:30:46 +0200 | <Inst> | the name's a problem, no? |
| 2023-09-23 14:31:02 +0200 | <danza_> | oh that was already discussed in the other conversation ... not sure i want to summarise the points again, people clearly do not care enough int-e |
| 2023-09-23 14:31:47 +0200 | <int-e> | I find the partial head useful anyway. |
| 2023-09-23 14:32:04 +0200 | <Inst> | and imo, the priorities i'd expect from Haskell Foundation would be more focusing on the tooling and ecosystem |
| 2023-09-23 14:32:09 +0200 | todi | (~todi@pd957150f.dip0.t-ipconnect.de) |
| 2023-09-23 14:32:10 +0200 | <danza_> | it definitely is. I am arguing it should not be the default int-e |
| 2023-09-23 14:32:15 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-09-23 14:32:31 +0200 | <Inst> | curious, which is more footgunny, head or !! 0? |
| 2023-09-23 14:32:40 +0200 | <int-e> | If I pattern match on the result of listToMaybe (by whatever name) I can just pattern match on the original list instead |
| 2023-09-23 14:32:58 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-23 14:32:58 +0200 | <danza_> | there is a long list Inst, `head` is just a strawman |
| 2023-09-23 14:33:15 +0200 | <int-e> | So the only reason to use listToMaybe is when I specifically want to process a Maybe, and then that name is actually *good*. |
| 2023-09-23 14:33:17 +0200 | <hpc> | Inst: the safest way is to unsafeCoerce and match on the Maybe |
| 2023-09-23 14:33:32 +0200 | <haskellbridge> | <tewuzij> What is Prelude in Haskell? |
| 2023-09-23 14:33:47 +0200 | <jackdk> | I prefer `base:Data.List.NonEmpty.NonEmpty` |
| 2023-09-23 14:34:00 +0200 | <danza_> | there are many reasons to wrap a pattern match in a function to turn it in a very common type int-e |
| 2023-09-23 14:34:10 +0200 | <hpc> | tewuzij: Prelude is the automatically imported module |
| 2023-09-23 14:34:13 +0200 | <Inst> | Prelude is the part of standard libraries that come loaded with every Haskell file, unless you import Prelude (), or use {-# LANGUAGE NoExplicitPrelude #-} |
| 2023-09-23 14:34:17 +0200 | <hpc> | it's what has all the stuff you uuse all the time |
| 2023-09-23 14:34:22 +0200 | <Inst> | erm, {-# LANGUAGE NoImplicitPrelude #-} |
| 2023-09-23 14:34:54 +0200 | <Inst> | https://hackage.haskell.org/package/base-4.18.1.0/docs/Prelude.html |
| 2023-09-23 14:35:11 +0200 | <danza_> | and most of all a partial function is a footgun most of the times |
| 2023-09-23 14:35:16 +0200 | <Inst> | on GHCI, try using :set -XNoImplicitPrelude, then type :r to reload your file |
| 2023-09-23 14:36:29 +0200 | <Inst> | This is pretty cool @hpc |
| 2023-09-23 14:36:41 +0200 | <Inst> | even though you're probalby being sarcastic by suggesting unsafeCoerce |
| 2023-09-23 14:37:03 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-09-23 14:37:39 +0200 | <Inst> | btw, while people are here, am I making any progress in understanding Cabal? I just skimmed the entire library yesterday, and was supposed to do so again today |
| 2023-09-23 14:37:59 +0200 | <hpc> | Inst: yeah, unsafeCoerce tricks are always entertaining |
| 2023-09-23 14:40:41 +0200 | mrmr15 | (~mrmr@user/mrmr) |
| 2023-09-23 14:41:03 +0200 | <Inst> | got sent this video |
| 2023-09-23 14:41:05 +0200 | <Inst> | trying this now |
| 2023-09-23 14:41:06 +0200 | <Inst> | https://www.youtube.com/watch?v=XfTinQPjDQw |
| 2023-09-23 14:41:36 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-23 14:42:04 +0200 | <Inst> | i'm sort of thinking of ADHD-ing out temporarily, I already made up my mind to try to learn optparse-applicative instead |
| 2023-09-23 14:44:25 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-09-23 14:45:52 +0200 | <Inst> | but i keep on someone telling me that going over warp, you could optimize it further |
| 2023-09-23 14:46:33 +0200 | Guest67 | (~Guest67@70.19.76.200) |
| 2023-09-23 14:46:39 +0200 | <Inst> | and it needs new primitives |
| 2023-09-23 14:47:32 +0200 | <Inst> | if you go by the line "mildly optimized haskell can reach 50% rust" (currently 35-40%), we might be able to beat Go again in TechEmpower benchmarks |
| 2023-09-23 14:52:08 +0200 | <Guest67> | I don't understand Haskell implementations of backtrack recursion |
| 2023-09-23 14:52:36 +0200 | <Guest67> | to find permutations |
| 2023-09-23 14:53:16 +0200 | <Guest67> | change :: Integer -> [Integer] -> [[Integer]] |
| 2023-09-23 14:53:17 +0200 | <Guest67> | change _ [] = [] |
| 2023-09-23 14:53:18 +0200 | <Guest67> | change 0 _ = [[]] |
| 2023-09-23 14:53:18 +0200 | <Guest67> | change t (c:cs) = case t < 0 of |
| 2023-09-23 14:53:18 +0200 | <Guest67> | True -> [] |
| 2023-09-23 14:53:19 +0200 | <Guest67> | False -> change t cs <> ((c:) <$> change (t-c) (c:cs)) |
| 2023-09-23 14:53:33 +0200 | <Guest67> | I don't know if there is an easier way to get a mental model of this, I tried tracing |
| 2023-09-23 14:54:04 +0200 | danza_ | (~francesco@na-19-87-144.service.infuturo.it) (Ping timeout: 248 seconds) |
| 2023-09-23 14:57:10 +0200 | <int-e> | well the first two cases are in the wrong order... you don't need any coins to make 0 change |
| 2023-09-23 14:57:30 +0200 | <int-e> | so change 0 [] should return a solution, that is [[]]. |
| 2023-09-23 14:59:55 +0200 | <Guest67> | ok well the the order of those pattern matches don't make a difference with any tests I've made |
| 2023-09-23 15:00:30 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 15:00:32 +0200 | <Guest67> | It's more the recursion here that I don't have a clear comprehension of |
| 2023-09-23 15:02:33 +0200 | <int-e> | well the last case here is... if t >= 0 and the first coin is c, then either we make change with the remaining coins... that's the `change t cs` part, or we use the coin `c` once, and make the remaining change possibly reusing that coin (so we keep it in the list when doing `change (t-c) (c:cs)`. the (c:) <$> takes the results of that call and preprens c to each result. |
| 2023-09-23 15:05:00 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-23 15:07:15 +0200 | <Guest67> | maybe if I could see the process with a simple example, I'm not sure how to go about it, hence why I was trying to use trace to actually see the values |
| 2023-09-23 15:08:00 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-09-23 15:08:08 +0200 | cpressey | (~cpressey@host-80-47-0-72.as13285.net) () |
| 2023-09-23 15:08:48 +0200 | <int-e> | hmm |
| 2023-09-23 15:09:09 +0200 | <int-e> | do you want to understand why that code works or how it is executed? |
| 2023-09-23 15:09:48 +0200 | <Guest67> | both, If I saw how it was executed I'd understand how it works |
| 2023-09-23 15:09:54 +0200 | <int-e> | The latter isn't all that helpful for the former; for the former you can mostly treat the recursive calls as black boxes that solve the problem according to its specification. |
| 2023-09-23 15:13:37 +0200 | <int-e> | To compute `change 3 [1,2]`, compute `change 3 [2]` and `change 2 [1,2]`. Prepend 1 to each element of the second result, and then append the results. |
| 2023-09-23 15:14:33 +0200 | <int-e> | Do the same thing for `change 3 [2]` and `change 2 [1,2]`. You'll get a tree of recursive calls this way, until you eventually arrive at the base cases with no recursive calls. |
| 2023-09-23 15:15:53 +0200 | <int-e> | And yeah I guess the order of the first cases really only matters if you ask for `change 0 []`. The story would be different if you couldn't use coins multiple times. |
| 2023-09-23 15:20:41 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-09-23 15:21:00 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 15:21:22 +0200 | <jackdk> | Guest67: You may have some luck rearranging the code so that https://pbv.github.io/haskelite/index.html will accept it, and exploring its execution trace. I found it pretty noisy but it might help you; pastebin to follow |
| 2023-09-23 15:21:47 +0200 | <jackdk> | Guest67: This equivalent function is accepted by Haskelite https://www.irccloud.com/pastebin/sTeopqfi/Change.hs |
| 2023-09-23 15:25:16 +0200 | <Guest67> | Thank you, I may just have to take the time to write this out until I understand what's going on, Haskelite is helpful |
| 2023-09-23 15:25:42 +0200 | <jackdk> | Guest67: I have done exactly that in order to understand things. I hope it helps you as it did me. |
| 2023-09-23 15:25:46 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-09-23 15:25:48 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-23 15:30:02 +0200 | <Guest67> | That function and this lazy sieve of Eratosthenes currently boggle my mind |
| 2023-09-23 15:30:03 +0200 | <Guest67> | primes = 2 : filter (\x -> all (\y -> mod x y /= 0) $ takeWhile (\y -> x >= y * y) primes) [3,5..] |
| 2023-09-23 15:30:43 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-09-23 15:31:15 +0200 | <Guest67> | I'll trace it out though and see if I can make sense of it, thanks again |
| 2023-09-23 15:31:16 +0200 | <Inst> | is that lazy sieve or trial division? |
| 2023-09-23 15:31:49 +0200 | <Inst> | just curious, where did you get it from, and from which context? |
| 2023-09-23 15:32:01 +0200 | <Inst> | **and it what context? |
| 2023-09-23 15:32:04 +0200 | <Guest67> | might be trial division, I had a sieve of eratosthenes that I was working on for an Exercism exercise and it was too slow |
| 2023-09-23 15:32:26 +0200 | <Guest67> | ChatGPT showed me this more efficient method |
| 2023-09-23 15:32:41 +0200 | <Inst> | https://www.cs.hmc.edu/~oneill/papers/Sieve-JFP.pdf |
| 2023-09-23 15:33:11 +0200 | <Guest67> | nth :: Int -> Maybe Integer |
| 2023-09-23 15:33:12 +0200 | <Guest67> | nth 0 = Nothing |
| 2023-09-23 15:33:12 +0200 | <Guest67> | nth n = Just . head . reverse . take n $ 2 : nth' [3,5..] |
| 2023-09-23 15:33:13 +0200 | <Guest67> | nth' (n:ns) = n : filter (\x -> mod x n /= 0) (nth' ns) |
| 2023-09-23 15:33:20 +0200 | <Guest67> | that was mine but it timed out |
| 2023-09-23 15:35:21 +0200 | <Guest67> | thanks for the article, I'll take a look |
| 2023-09-23 15:39:50 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-09-23 15:40:12 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-09-23 15:41:44 +0200 | Guest67 | (~Guest67@70.19.76.200) (Quit: Client closed) |
| 2023-09-23 15:42:37 +0200 | Guest67 | (~Guest67@70.19.76.200) |
| 2023-09-23 15:43:15 +0200 | Guest67 | (~Guest67@70.19.76.200) (Client Quit) |
| 2023-09-23 15:47:03 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 15:47:16 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-09-23 15:47:44 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Ping timeout: 258 seconds) |
| 2023-09-23 15:48:11 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f46d81613739564c366.dip0.t-ipconnect.de) |
| 2023-09-23 15:49:54 +0200 | smoothdev_ | (~smoothdev@37.165.180.152) |
| 2023-09-23 15:51:21 +0200 | malte | (~malte@mal.tc) |
| 2023-09-23 15:52:47 +0200 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) |
| 2023-09-23 15:54:03 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-23 15:56:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cfc:f4df:a815:fcce) (Ping timeout: 246 seconds) |
| 2023-09-23 15:56:28 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2023-09-23 15:58:45 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-23 15:58:47 +0200 | malte_ | (~malte@mal.tc) |
| 2023-09-23 16:00:09 +0200 | malte | (~malte@mal.tc) (Ping timeout: 255 seconds) |
| 2023-09-23 16:00:10 +0200 | malte_ | malte |
| 2023-09-23 16:00:24 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 16:02:28 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-09-23 16:03:19 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 264 seconds) |
| 2023-09-23 16:03:36 +0200 | malte | (~malte@mal.tc) |
| 2023-09-23 16:03:46 +0200 | raym | (~ray@user/raym) |
| 2023-09-23 16:07:56 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-09-23 16:08:54 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-09-23 16:09:22 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2023-09-23 16:10:02 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 16:14:35 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-23 16:18:09 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-23 16:19:13 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2023-09-23 16:19:21 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-09-23 16:19:54 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-23 16:20:26 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2023-09-23 16:20:27 +0200 | malte | (~malte@mal.tc) |
| 2023-09-23 16:20:36 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-09-23 16:22:16 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-09-23 16:23:29 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2023-09-23 16:23:29 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2023-09-23 16:23:57 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2023-09-23 16:28:35 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-09-23 16:32:16 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-23 16:32:22 +0200 | vglfr | (~vglfr@188.239.201.89) (Ping timeout: 260 seconds) |
| 2023-09-23 16:36:22 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-23 16:38:06 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-09-23 16:39:12 +0200 | malte | (~malte@mal.tc) |
| 2023-09-23 16:41:25 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-09-23 16:42:37 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 244 seconds) |
| 2023-09-23 16:47:25 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-23 16:52:12 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 16:56:44 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-09-23 17:00:09 +0200 | eo371 | (~eo371@user/eo371) |
| 2023-09-23 17:05:07 +0200 | Inst | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 2023-09-23 17:09:38 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-09-23 17:11:19 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-23 17:13:23 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 17:18:35 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-23 17:24:14 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-23 17:25:18 +0200 | chomwitt | (~chomwitt@2a02:587:7a2f:d000:1ac0:4dff:fedb:a3f1) |
| 2023-09-23 17:25:44 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2023-09-23 17:35:12 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) |
| 2023-09-23 17:35:30 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) (Client Quit) |
| 2023-09-23 17:35:41 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::2d0) |
| 2023-09-23 17:36:15 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::2d0) (Read error: Connection reset by peer) |
| 2023-09-23 17:39:38 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-23 17:42:37 +0200 | tremon | (~tremon@83.80.159.219) |
| 2023-09-23 17:44:27 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 17:45:13 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 17:45:15 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-09-23 17:45:25 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 2023-09-23 17:49:41 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2023-09-23 17:50:09 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-09-23 17:56:51 +0200 | raym | (~ray@user/raym) (Quit: server upgrade to FreeBSD 14.0-BETA2) |
| 2023-09-23 17:57:34 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2023-09-23 18:04:45 +0200 | Tesfe2321 | (~School@2001:1970:5199:fa00::a4bf) |
| 2023-09-23 18:05:17 +0200 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) (Remote host closed the connection) |
| 2023-09-23 18:05:32 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) |
| 2023-09-23 18:06:03 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-09-23 18:06:36 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 18:11:11 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-09-23 18:13:22 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-09-23 18:14:58 +0200 | raym | (~ray@user/raym) |
| 2023-09-23 18:17:03 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-23 18:17:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) (Remote host closed the connection) |
| 2023-09-23 18:19:05 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-23 18:21:56 +0200 | sabino | (~sabino@user/sabino) |
| 2023-09-23 18:21:56 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) |
| 2023-09-23 18:23:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-23 18:29:09 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-23 18:30:51 +0200 | stefan-__ | (uid620054@id-620054.lymington.irccloud.com) () |
| 2023-09-23 18:32:03 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2023-09-23 18:32:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-23 18:33:44 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-23 18:38:52 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-09-23 18:40:55 +0200 | Ranhir | (~Ranhir@157.97.53.139) |
| 2023-09-23 18:41:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 2023-09-23 18:41:40 +0200 | stefan-__ | (~m-ohzqow@42dots.de) |
| 2023-09-23 18:44:15 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-23 18:51:30 +0200 | Tesfe2321 | (~School@2001:1970:5199:fa00::a4bf) (Quit: Leaving) |
| 2023-09-23 18:54:25 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-09-23 18:56:24 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 252 seconds) |
| 2023-09-23 18:57:58 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 18:58:14 +0200 | todi | (~todi@pd957150f.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2023-09-23 18:58:58 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-23 18:59:47 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 258 seconds) |
| 2023-09-23 19:02:15 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-23 19:02:15 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-09-23 19:02:43 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-09-23 19:03:01 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2023-09-23 19:03:43 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds) |
| 2023-09-23 19:06:40 +0200 | stefan-__ | (~m-ohzqow@42dots.de) (Remote host closed the connection) |
| 2023-09-23 19:07:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-23 19:07:43 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) |
| 2023-09-23 19:11:01 +0200 | stefan-__ | (~m-ohzqow@42dots.de) |
| 2023-09-23 19:11:47 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-09-23 19:13:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2023-09-23 19:14:32 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Ping timeout: 260 seconds) |
| 2023-09-23 19:16:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-09-23 19:19:12 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-5d4d-2f87-63e2-3b09.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-09-23 19:19:23 +0200 | <hololeap> | Left /var/tmp/portage/dev-haskell/.haskell-language-server-2.0.0.1.portage_lockfile/temp/build.log: getPermissions:getFileStatus: inappropriate type (Not a directory) |
| 2023-09-23 19:19:57 +0200 | <hololeap> | I'm confused by this. why does getPermissions fail with "inappropriate type (Not a directory)" |
| 2023-09-23 19:20:07 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 264 seconds) |
| 2023-09-23 19:20:26 +0200 | <hololeap> | oh, nvm |
| 2023-09-23 19:20:30 +0200 | <hololeap> | I see the problem |
| 2023-09-23 19:20:47 +0200 | <hololeap> | (the lockfile is not a directory :p ) |
| 2023-09-23 19:22:48 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-09-23 19:22:48 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-09-23 19:22:48 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-23 19:29:19 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-09-23 19:30:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-09-23 19:33:28 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 19:38:02 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-09-23 19:38:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-23 19:48:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) (Remote host closed the connection) |
| 2023-09-23 19:55:22 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2023-09-23 19:57:27 +0200 | jackneill__ | (~Jackneill@20014C4E1E0E960013CBACC2D224F9CC.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 2023-09-23 19:58:28 +0200 | wroathe_ | (~wroathe@50.205.197.50) |
| 2023-09-23 19:58:39 +0200 | smoothdev_ | (~smoothdev@37.165.180.152) (Ping timeout: 255 seconds) |
| 2023-09-23 19:59:04 +0200 | wroathe | (~wroathe@user/wroathe) (Killed (NickServ (GHOST command used by wroathe_!~wroathe@50.205.197.50))) |
| 2023-09-23 19:59:07 +0200 | wroathe_ | wroathe |
| 2023-09-23 19:59:22 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-09-23 19:59:31 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-09-23 19:59:31 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-23 19:59:59 +0200 | mmhat | (~mmh@p200300f1c74e6f0bee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-09-23 19:59:59 +0200 | mmhat | (~mmh@p200300f1c74e6f0bee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-09-23 20:00:35 +0200 | smoothdev | (~smoothdev@37.174.229.54) |
| 2023-09-23 20:02:15 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-09-23 20:04:37 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-09-23 20:04:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) |
| 2023-09-23 20:14:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-09-23 20:15:13 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-23 20:15:16 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-09-23 20:15:32 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-23 20:15:46 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-23 20:21:09 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-09-23 20:22:39 +0200 | Vajb | (~Vajb@2001:999:500:7771:18aa:c4e5:e7a9:f44b) (Ping timeout: 240 seconds) |
| 2023-09-23 20:24:53 +0200 | smoothdev | (~smoothdev@37.174.229.54) (Ping timeout: 258 seconds) |
| 2023-09-23 20:25:13 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-23 20:25:54 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-09-23 20:31:10 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-23 20:32:34 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Ping timeout: 258 seconds) |
| 2023-09-23 20:32:49 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-23 20:33:02 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-23 20:33:23 +0200 | Guest23 | (~Guest23@p200300ca7f1f0500dae1bdfb891b843d.dip0.t-ipconnect.de) |
| 2023-09-23 20:36:35 +0200 | <madnight> | What is the connection between Control.Category and Hask? |
| 2023-09-23 20:39:17 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-23 20:42:02 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-23 20:43:17 +0200 | <Noinia> | question: any advice on how to model/represent A data type that has an optional field, and whether or not the field is there controlled by some phantom type? I made a little example of what I would more or less want I think here https://play.haskell.org/saved/tfqyvHsi but it's not entirely clear to me it does what I would want. |
| 2023-09-23 20:46:40 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 2023-09-23 20:46:44 +0200 | <Cale> | madnight: It's... strange. Control.Category is for defining categories that have the same objects as Hask, but different arrows, but of course, you're doing that with definitions of terms that are in some way internal to Hask, but I don't know how to formalize that relationship. |
| 2023-09-23 20:47:33 +0200 | <Lears> | Noinia: You don't want `VoidF`, but `UnitF`/`Proxy`. |
| 2023-09-23 20:48:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-09-23 20:48:33 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-23 20:48:52 +0200 | <Cale> | (also that type parameter isn't phantom, you're actually controlling the structure of the data type with it) |
| 2023-09-23 20:48:53 +0200 | <Noinia> | but that would still represent the bar field with some pointer right? (I mean I guess I could live with that, but still) |
| 2023-09-23 20:49:01 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-23 20:49:15 +0200 | <Cale> | Yes, it would |
| 2023-09-23 20:49:34 +0200 | <Cale> | You could make a type/data family, but that would typically be worse in terms of convenience. |
| 2023-09-23 20:50:01 +0200 | <Noinia> | yes that was what I kind of expected |
| 2023-09-23 20:50:38 +0200 | <Cale> | (I think it's good to always view type families with a good measure of suspicion -- almost always when someone has made a mess with the type system, they are hanging around.) |
| 2023-09-23 20:52:23 +0200 | <Cale> | Personally, I wouldn't be worried about sometimes carrying around a pointer to a boring value. Unless that data structure ends up in a really hot loop, you're not going to feel a performance impact from it. |
| 2023-09-23 20:52:43 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Client Quit) |
| 2023-09-23 20:53:32 +0200 | <Cale> | (and there's almost always something which is actually complexity-changing that you could do) |
| 2023-09-23 20:53:48 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-23 20:55:48 +0200 | <madnight> | Cale: You say Control.Category is for defining categories, then how about instance Category (->) isn't that instance just Hask? |
| 2023-09-23 20:56:55 +0200 | <geekosaur> | Hask's (->) is a specialization of arrows in categories |
| 2023-09-23 20:57:25 +0200 | td_ | (~td@i5387093D.versanet.de) (Quit: waking up from the american dream ...) |
| 2023-09-23 20:58:10 +0200 | <Cale> | madnight: Oh, yes, pretty much. |
| 2023-09-23 20:59:59 +0200 | td_ | (~td@i5387093D.versanet.de) |
| 2023-09-23 21:01:14 +0200 | <madnight> | Cale: Okay, but every Functor in Haskell is an Endofunctor from Hask to Hask right? |
| 2023-09-23 21:01:25 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 21:02:37 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-09-23 21:05:08 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-09-23 21:06:12 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-23 21:07:04 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-23 21:07:24 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-09-23 21:07:27 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-09-23 21:07:32 +0200 | <Cale> | madnight: yeah |
| 2023-09-23 21:07:48 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 2023-09-23 21:10:07 +0200 | <madnight> | Cale: Okay, but if Control.Category allows us to define different instances, hence different Categories with its own Functors, then how can everything be Hask? |
| 2023-09-23 21:10:25 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-23 21:12:04 +0200 | talismanick | (~user@76.133.152.122) |
| 2023-09-23 21:13:21 +0200 | <ncf> | same objects (types), different morphisms (not functions) |
| 2023-09-23 21:16:23 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Quit: Leaving) |
| 2023-09-23 21:16:42 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 2023-09-23 21:19:13 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-09-23 21:20:42 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Client Quit) |
| 2023-09-23 21:21:25 +0200 | Vajb | (~Vajb@2001:999:500:e10e:a7c3:c5df:e9c:b812) |
| 2023-09-23 21:25:39 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-23 21:30:31 +0200 | <EvanR> | also there can multiple right ways to look at things and identify math patterns |
| 2023-09-23 21:31:58 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds) |
| 2023-09-23 21:33:30 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 2023-09-23 21:42:25 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-23 21:46:32 +0200 | mrmr15 | (~mrmr@user/mrmr) (Ping timeout: 258 seconds) |
| 2023-09-23 21:46:38 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Read error: Connection reset by peer) |
| 2023-09-23 21:46:58 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-09-23 21:47:59 +0200 | johnw | (~johnw@69.62.242.138) |
| 2023-09-23 21:47:59 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-09-23 21:48:31 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-23 21:49:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-23 21:49:42 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-09-23 21:49:50 +0200 | mrmr15 | (~mrmr@user/mrmr) |
| 2023-09-23 21:56:03 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) |
| 2023-09-23 21:57:06 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-23 21:57:45 +0200 | shapr | (~user@2600:1700:c640:3100:cd69:69ab:9143:deea) (Remote host closed the connection) |
| 2023-09-23 21:58:04 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-09-23 21:58:17 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-09-23 21:58:39 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-09-23 22:00:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-23 22:01:35 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-23 22:01:48 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-23 22:02:15 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-09-23 22:02:18 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-09-23 22:02:35 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-09-23 22:02:49 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-23 22:03:14 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-09-23 22:03:41 +0200 | Guest23 | (~Guest23@p200300ca7f1f0500dae1bdfb891b843d.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2023-09-23 22:05:30 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-23 22:06:16 +0200 | <Lears> | Control.Category categories aren't restricted to `* -> * -> *`, they can be of any kind `k -> k -> *`---the instances don't necessarily share objects with "Hask". |
| 2023-09-23 22:09:48 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-23 22:10:26 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-09-23 22:11:02 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-09-23 22:12:39 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-09-23 22:13:34 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-09-23 22:14:47 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-09-23 22:14:53 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-09-23 22:20:20 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-09-23 22:21:00 +0200 | ph88 | (~ph88@2a01:598:a05b:24ec:7636:9a74:ad43:9ec3) |
| 2023-09-23 22:24:48 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-23 22:25:43 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-09-23 22:26:13 +0200 | caubert | (~caubert@user/caubert) (Quit: WeeChat 4.0.1) |
| 2023-09-23 22:26:23 +0200 | caubert | (~caubert@user/caubert) |
| 2023-09-23 22:29:34 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-23 22:30:26 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-23 22:30:57 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-23 22:31:38 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-23 22:32:56 +0200 | privacy | (~privacy@47.219.84.6) |
| 2023-09-23 22:34:06 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-09-23 22:35:57 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-23 22:38:12 +0200 | jargon | (~jargon@184.101.67.95) |
| 2023-09-23 22:39:27 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Ping timeout: 240 seconds) |
| 2023-09-23 22:40:01 +0200 | smoothdev | (~smoothdev@2a01:e0a:279:fb20:49ff:ae3e:b559:74e6) |
| 2023-09-23 22:41:11 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-09-23 22:44:25 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 258 seconds) |
| 2023-09-23 22:44:44 +0200 | vglfr | (~vglfr@188.239.201.89) |
| 2023-09-23 22:44:58 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Read error: Connection reset by peer) |
| 2023-09-23 22:45:19 +0200 | ph88 | (~ph88@2a01:598:a05b:24ec:7636:9a74:ad43:9ec3) (Ping timeout: 264 seconds) |
| 2023-09-23 22:46:58 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-23 22:48:12 +0200 | smoothdev | (~smoothdev@2a01:e0a:279:fb20:49ff:ae3e:b559:74e6) (Ping timeout: 240 seconds) |
| 2023-09-23 22:48:19 +0200 | smoothdev_ | (~smoothdev@2a01:e0a:279:fb20:6d80:c1eb:8ee0:d389) |
| 2023-09-23 22:52:35 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 240 seconds) |
| 2023-09-23 22:59:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-23 23:01:56 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-23 23:02:43 +0200 | mfg | (~user@2a02:908:d13:e3e0:6a54:5aff:fe66:a805) (Ping timeout: 264 seconds) |
| 2023-09-23 23:04:15 +0200 | ph88 | (~ph88@2a01:598:d030:659b:b550:a1b2:9351:6a58) |
| 2023-09-23 23:09:02 +0200 | Vajb | (~Vajb@2001:999:500:e10e:a7c3:c5df:e9c:b812) (Ping timeout: 260 seconds) |
| 2023-09-23 23:09:17 +0200 | Vajb | (~Vajb@2001:999:600:d99a:29f6:ab4c:ef8c:3e1b) |
| 2023-09-23 23:15:27 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 260 seconds) |
| 2023-09-23 23:15:29 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f46d81613739564c366.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-09-23 23:16:02 +0200 | troydm | (~troydm@user/troydm) |
| 2023-09-23 23:16:44 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-23 23:17:12 +0200 | Vajb | (~Vajb@2001:999:600:d99a:29f6:ab4c:ef8c:3e1b) (Ping timeout: 260 seconds) |
| 2023-09-23 23:21:14 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-23 23:27:18 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-23 23:28:17 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-23 23:30:30 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-09-23 23:31:02 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-23 23:31:26 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 2023-09-23 23:35:11 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-23 23:35:11 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-23 23:35:11 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-23 23:35:33 +0200 | migas | (~migas@astra4961.startdedicated.net) (Quit: Ping timeout (120 seconds)) |
| 2023-09-23 23:35:49 +0200 | migas | (~migas@astra4961.startdedicated.net) |
| 2023-09-23 23:39:16 +0200 | sagax | (~sagax_nb@user/sagax) |
| 2023-09-23 23:41:43 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 2023-09-23 23:48:09 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-23 23:50:09 +0200 | captnemo | (~captnemo@193.32.127.239) |
| 2023-09-23 23:50:09 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-09-23 23:50:43 +0200 | captnemo | (~captnemo@193.32.127.239) (Client Quit) |
| 2023-09-23 23:56:45 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-23 23:56:48 +0200 | eo371 | (~eo371@user/eo371) (Ping timeout: 245 seconds) |
| 2023-09-23 23:57:33 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-09-23 23:57:40 +0200 | xmachina | (xmachina@gateway/vpn/protonvpn/xmachina) |
| 2023-09-23 23:58:14 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-23 23:58:39 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2023-09-23 23:58:44 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2023-09-23 23:59:40 +0200 | ai5lk | shef |