| 2023-01-28 00:05:53 +0000 | P1RATEZ | (piratez@user/p1ratez) (Remote host closed the connection) |
| 2023-01-28 00:10:18 +0000 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8) |
| 2023-01-28 00:13:26 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 255 seconds) |
| 2023-01-28 00:26:14 +0000 | jumper149 | (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.8) |
| 2023-01-28 00:28:13 +0000 | mechap | (~mechap@user/mechap) |
| 2023-01-28 00:29:34 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-28 00:29:37 +0000 | acidjnk | (~acidjnk@p200300d6e715c482e53a5abd00fe838c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-01-28 00:33:24 +0000 | opticblast | (~Thunderbi@12.129.159.196) |
| 2023-01-28 00:37:01 +0000 | opticblast1 | (~Thunderbi@12.129.159.196) |
| 2023-01-28 00:37:13 +0000 | talismanick | (~talismani@2601:200:c181:4c40::1be2) |
| 2023-01-28 00:37:44 +0000 | opticblast | (~Thunderbi@12.129.159.196) (Ping timeout: 255 seconds) |
| 2023-01-28 00:37:45 +0000 | opticblast1 | opticblast |
| 2023-01-28 00:41:27 +0000 | opticblast1 | (~Thunderbi@12.129.159.196) |
| 2023-01-28 00:41:38 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-28 00:41:38 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-28 00:41:38 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-28 00:42:15 +0000 | opticblast | (~Thunderbi@12.129.159.196) (Ping timeout: 255 seconds) |
| 2023-01-28 00:42:15 +0000 | opticblast1 | opticblast |
| 2023-01-28 00:45:05 +0000 | opticblast1 | (~Thunderbi@12.129.159.196) |
| 2023-01-28 00:46:44 +0000 | opticblast | (~Thunderbi@12.129.159.196) (Ping timeout: 255 seconds) |
| 2023-01-28 00:47:23 +0000 | opticblast1 | opticblast |
| 2023-01-28 00:48:31 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-01-28 00:51:22 +0000 | opticblast1 | (~Thunderbi@12.129.159.196) |
| 2023-01-28 00:52:08 +0000 | opticblast | (~Thunderbi@12.129.159.196) (Ping timeout: 255 seconds) |
| 2023-01-28 00:52:09 +0000 | opticblast1 | opticblast |
| 2023-01-28 00:55:18 +0000 | opticblast1 | (~Thunderbi@12.129.159.196) |
| 2023-01-28 00:56:43 +0000 | opticblast | (~Thunderbi@12.129.159.196) (Ping timeout: 252 seconds) |
| 2023-01-28 00:58:09 +0000 | opticblast | (~Thunderbi@12.129.159.196) |
| 2023-01-28 00:59:28 +0000 | opticblast1 | (~Thunderbi@12.129.159.196) (Ping timeout: 252 seconds) |
| 2023-01-28 00:59:32 +0000 | mechap1 | (~mechap@user/mechap) |
| 2023-01-28 01:01:02 +0000 | opticblast1 | (~Thunderbi@12.129.159.196) |
| 2023-01-28 01:02:46 +0000 | opticblast | (~Thunderbi@12.129.159.196) (Ping timeout: 252 seconds) |
| 2023-01-28 01:02:46 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 252 seconds) |
| 2023-01-28 01:02:46 +0000 | opticblast1 | opticblast |
| 2023-01-28 01:05:56 +0000 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2023-01-28 01:07:14 +0000 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2023-01-28 01:08:14 +0000 | Guest75 | (~Guest75@178.141.149.12) |
| 2023-01-28 01:08:17 +0000 | opticblast1 | (~Thunderbi@12.129.159.196) |
| 2023-01-28 01:09:11 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-28 01:09:11 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-28 01:09:11 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-28 01:09:22 +0000 | opticblast | (~Thunderbi@12.129.159.196) (Ping timeout: 252 seconds) |
| 2023-01-28 01:09:22 +0000 | opticblast1 | opticblast |
| 2023-01-28 01:10:11 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-01-28 01:13:01 +0000 | opticblast1 | (~Thunderbi@12.129.159.196) |
| 2023-01-28 01:13:50 +0000 | opticblast | (~Thunderbi@12.129.159.196) (Ping timeout: 260 seconds) |
| 2023-01-28 01:13:51 +0000 | opticblast1 | opticblast |
| 2023-01-28 01:15:21 +0000 | coderpath | (~coderpath@d66-183-126-83.bchsia.telus.net) |
| 2023-01-28 01:16:18 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-01-28 01:22:12 +0000 | opticblast1 | (~Thunderbi@12.129.159.196) |
| 2023-01-28 01:22:23 +0000 | coderpath | (~coderpath@d66-183-126-83.bchsia.telus.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-01-28 01:23:10 +0000 | opticblast | (~Thunderbi@12.129.159.196) (Ping timeout: 260 seconds) |
| 2023-01-28 01:23:10 +0000 | opticblast1 | opticblast |
| 2023-01-28 01:24:15 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 252 seconds) |
| 2023-01-28 01:26:06 +0000 | coderpath | (~coderpath@d66-183-126-83.bchsia.telus.net) |
| 2023-01-28 01:26:40 +0000 | coderpath | (~coderpath@d66-183-126-83.bchsia.telus.net) (Remote host closed the connection) |
| 2023-01-28 01:27:06 +0000 | coderpath | (~coderpath@d66-183-126-83.bchsia.telus.net) |
| 2023-01-28 01:28:17 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-01-28 01:31:44 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-28 01:33:15 +0000 | opticblast | (~Thunderbi@12.129.159.196) (Read error: Connection reset by peer) |
| 2023-01-28 01:33:30 +0000 | opticblast | (~Thunderbi@12.129.159.196) |
| 2023-01-28 01:37:35 +0000 | opticblast | (~Thunderbi@12.129.159.196) (Ping timeout: 248 seconds) |
| 2023-01-28 01:44:08 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-28 01:48:25 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-01-28 01:49:17 +0000 | talismanick | (~talismani@2601:200:c181:4c40::1be2) (Ping timeout: 255 seconds) |
| 2023-01-28 01:49:39 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-01-28 01:51:05 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ccbb:e6cd:6139:338f) (Ping timeout: 246 seconds) |
| 2023-01-28 01:51:30 +0000 | xff0x | (~xff0x@178.255.149.135) |
| 2023-01-28 01:54:46 +0000 | OscarZ | (~oscarz@95.175.104.141) (Quit: Leaving) |
| 2023-01-28 01:59:00 +0000 | mcglk | (~mcglk@2601:600:9f7f:e300:997b:556a:42cb:8050) (Quit: (zzz)) |
| 2023-01-28 02:02:11 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-28 02:06:56 +0000 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 248 seconds) |
| 2023-01-28 02:08:54 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ccbb:e6cd:6139:338f) |
| 2023-01-28 02:16:30 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-28 02:16:30 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-28 02:16:30 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-28 02:18:41 +0000 | razetime | (~Thunderbi@117.193.7.2) |
| 2023-01-28 02:21:12 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-01-28 02:31:39 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-01-28 02:34:19 +0000 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:4046:744:c04c:749c) |
| 2023-01-28 02:34:39 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-01-28 02:38:20 +0000 | ddellacosta | (~ddellacos@143.244.47.70) (Quit: WeeChat 3.7.1) |
| 2023-01-28 02:38:53 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-01-28 02:41:08 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-01-28 02:41:17 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-01-28 02:46:22 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 268 seconds) |
| 2023-01-28 02:47:38 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-01-28 02:47:38 +0000 | ddellacosta | (~ddellacos@143.244.47.70) |
| 2023-01-28 02:48:13 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-01-28 02:48:35 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-28 02:48:40 +0000 | Lears | (~Leary]@user/Leary/x-0910699) |
| 2023-01-28 02:48:52 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-01-28 02:50:13 +0000 | habib | (~habib@78-110-166-168.as42831.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-01-28 02:50:20 +0000 | bob | (~bob22@user/bob) |
| 2023-01-28 02:51:52 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-01-28 02:58:23 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2023-01-28 03:15:55 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-01-28 03:16:28 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2023-01-28 03:16:48 +0000 | td_ | (~td@i53870938.versanet.de) (Ping timeout: 248 seconds) |
| 2023-01-28 03:18:23 +0000 | td_ | (~td@i53870921.versanet.de) |
| 2023-01-28 03:23:14 +0000 | akshitkr | (~user@14.139.82.6) |
| 2023-01-28 03:23:31 +0000 | akshitkr | (~user@14.139.82.6) (Client Quit) |
| 2023-01-28 03:23:59 +0000 | komikat | (~user@14.139.82.6) |
| 2023-01-28 03:39:51 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-01-28 03:42:48 +0000 | ntphillyboi | (~ntpa@2600:4040:2cc3:9300:6933:890:4a54:c6d) (Quit: WeeChat 3.7.1) |
| 2023-01-28 03:43:23 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-01-28 03:43:23 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-28 03:43:23 +0000 | finn_elija | FinnElija |
| 2023-01-28 03:43:27 +0000 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-01-28 03:53:08 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2023-01-28 03:55:20 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection) |
| 2023-01-28 03:55:34 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-28 03:56:59 +0000 | <justsomeguy> | Is pure (from Functor) the same as return (from Monad)? |
| 2023-01-28 03:57:36 +0000 | <justsomeguy> | Someone told me monads are applicative functors. |
| 2023-01-28 03:58:49 +0000 | komikat | (~user@14.139.82.6) (Ping timeout: 256 seconds) |
| 2023-01-28 03:59:47 +0000 | komikat | (~user@14.139.82.6) |
| 2023-01-28 04:00:01 +0000 | talismanick | (~talismani@2601:200:c181:4c40::1be2) |
| 2023-01-28 04:00:03 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-28 04:00:27 +0000 | <monochrom> | pure is from Applicative, not Functor. But yes, same as Monad's return. |
| 2023-01-28 04:02:26 +0000 | komikat | (~user@14.139.82.6) (Remote host closed the connection) |
| 2023-01-28 04:02:39 +0000 | komikat | (~user@14.139.82.6) |
| 2023-01-28 04:02:57 +0000 | mcglk | (~mcglk@131.191.49.120) |
| 2023-01-28 04:03:24 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-01-28 04:03:28 +0000 | cheater_ | cheater |
| 2023-01-28 04:04:04 +0000 | ddellacosta | (~ddellacos@143.244.47.70) (Ping timeout: 268 seconds) |
| 2023-01-28 04:05:52 +0000 | jushur | (~human@user/jushur) (Ping timeout: 248 seconds) |
| 2023-01-28 04:05:56 +0000 | ddellacosta | (~ddellacos@89.45.224.241) |
| 2023-01-28 04:08:19 +0000 | <int-e> | `return` exists for historical reasons; the Applicative class was added after Monad and Functor were already well-established. |
| 2023-01-28 04:08:27 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-01-28 04:08:46 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-01-28 04:10:08 +0000 | razetime | (~Thunderbi@117.193.7.2) (Ping timeout: 248 seconds) |
| 2023-01-28 04:14:12 +0000 | ddellacosta | (~ddellacos@89.45.224.241) (Ping timeout: 255 seconds) |
| 2023-01-28 04:15:27 +0000 | <dsal> | I don't think anything requires `pure` and `return` to be the same, but if you find anything with a definition other than `return = pure` I'd be pretty suspicious. |
| 2023-01-28 04:22:59 +0000 | <davean> | dsal: The laws sure do! |
| 2023-01-28 04:23:13 +0000 | <davean> | dsal: If they aren't that explicitely and directly violates the class laws. |
| 2023-01-28 04:24:46 +0000 | <dsal> | I meant from a "this won't compile" perspective. People *can* do dumb things. |
| 2023-01-28 04:25:06 +0000 | komikat | (~user@14.139.82.6) (Remote host closed the connection) |
| 2023-01-28 04:25:21 +0000 | komikat | (~user@14.139.82.6) |
| 2023-01-28 04:26:17 +0000 | <davean> | Sure, but its more than suspicious - its directly wrong |
| 2023-01-28 04:30:04 +0000 | komikat | (~user@14.139.82.6) (Ping timeout: 260 seconds) |
| 2023-01-28 04:39:28 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 2023-01-28 04:41:04 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2023-01-28 04:48:19 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-01-28 04:56:16 +0000 | tlaxkit | (~hexchat@170.253.46.25) (Quit: Leaving) |
| 2023-01-28 05:02:09 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-01-28 05:08:57 +0000 | razetime | (~Thunderbi@117.193.7.2) |
| 2023-01-28 05:12:31 +0000 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:5582:a4fc:2e23:bfc5) |
| 2023-01-28 05:15:11 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Ping timeout: 248 seconds) |
| 2023-01-28 05:15:12 +0000 | use-value1 | use-value |
| 2023-01-28 05:25:39 +0000 | ddellacosta | (~ddellacos@89.45.224.124) |
| 2023-01-28 05:25:50 +0000 | razetime1 | (~Thunderbi@117.193.7.2) |
| 2023-01-28 05:27:56 +0000 | razetime | (~Thunderbi@117.193.7.2) (Ping timeout: 268 seconds) |
| 2023-01-28 05:27:57 +0000 | razetime1 | razetime |
| 2023-01-28 05:38:21 +0000 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:4046:744:c04c:749c) (Ping timeout: 252 seconds) |
| 2023-01-28 05:42:10 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2023-01-28 05:44:35 +0000 | talismanick | (~talismani@2601:200:c181:4c40::1be2) (Remote host closed the connection) |
| 2023-01-28 06:00:07 +0000 | foul_owl | (~kerry@157.97.134.62) (Read error: Connection reset by peer) |
| 2023-01-28 06:08:13 +0000 | komikat | (~user@218.185.248.66) |
| 2023-01-28 06:09:50 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-01-28 06:11:36 +0000 | Sauvin | (~sauvin@user/Sauvin) (Remote host closed the connection) |
| 2023-01-28 06:11:55 +0000 | Sauvin | (~sauvin@user/Sauvin) |
| 2023-01-28 06:14:07 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-01-28 06:17:55 +0000 | foul_owl | (~kerry@71.212.143.88) |
| 2023-01-28 06:22:32 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-01-28 06:26:31 +0000 | razetime | (~Thunderbi@117.193.7.2) (Ping timeout: 268 seconds) |
| 2023-01-28 06:28:55 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2023-01-28 06:30:19 +0000 | laalyn | (~laalyn@c-73-241-126-7.hsd1.ca.comcast.net) |
| 2023-01-28 06:31:17 +0000 | nattiestnate | (~nate@202.138.250.37) |
| 2023-01-28 06:31:53 +0000 | razetime | (~Thunderbi@117.193.7.2) |
| 2023-01-28 06:32:19 +0000 | np | (~nerdypepp@user/nerdypepper) (Remote host closed the connection) |
| 2023-01-28 06:34:09 +0000 | nerdypepper | (~nerdypepp@user/nerdypepper) |
| 2023-01-28 06:42:43 +0000 | nattiestnate | (~nate@202.138.250.37) (Quit: WeeChat 3.8) |
| 2023-01-28 06:44:52 +0000 | Vajb | (~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) (Read error: Connection reset by peer) |
| 2023-01-28 06:45:27 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2023-01-28 06:51:54 +0000 | spider_ | (~spider@vps-951ce37a.vps.ovh.ca) (Quit: WeeChat 3.5) |
| 2023-01-28 07:00:19 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2023-01-28 07:00:45 +0000 | Vajb | (~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) |
| 2023-01-28 07:18:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-28 07:30:08 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2023-01-28 07:33:17 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-01-28 07:34:41 +0000 | califax | (~califax@user/califx) |
| 2023-01-28 07:35:49 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-01-28 07:46:44 +0000 | fjMSX | (~hypni2p@89-179-32-81.broadband.corbina.ru) |
| 2023-01-28 07:47:00 +0000 | fjMSX | (~hypni2p@89-179-32-81.broadband.corbina.ru) (Remote host closed the connection) |
| 2023-01-28 07:54:22 +0000 | Oden[m] | (~iodonemat@2001:470:69fc:105::2:feb5) |
| 2023-01-28 07:54:32 +0000 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:c4e:ed56:f943:b080) |
| 2023-01-28 08:06:24 +0000 | razetime | (~Thunderbi@117.193.7.2) (Ping timeout: 255 seconds) |
| 2023-01-28 08:08:35 +0000 | thegeekinside | (~thegeekin@189.180.66.244) (Ping timeout: 260 seconds) |
| 2023-01-28 08:13:23 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-01-28 08:14:29 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2023-01-28 08:23:12 +0000 | <Inst_> | CPython is dead? Last update 2 years ago |
| 2023-01-28 08:23:26 +0000 | Inst_ | Inst |
| 2023-01-28 08:23:52 +0000 | <Inst> | I can't even get it to install on Windows, but that's my fault for using windows |
| 2023-01-28 08:24:20 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-01-28 08:24:47 +0000 | komikat | (~user@218.185.248.66) (Ping timeout: 260 seconds) |
| 2023-01-28 08:27:12 +0000 | danza | (~francesco@151.57.95.137) |
| 2023-01-28 08:28:27 +0000 | komikat | (~user@218.185.248.66) |
| 2023-01-28 08:31:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-28 08:31:59 +0000 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:c4e:ed56:f943:b080) (Ping timeout: 248 seconds) |
| 2023-01-28 08:32:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-28 08:32:54 +0000 | razetime | (~Thunderbi@117.193.7.2) |
| 2023-01-28 08:33:33 +0000 | komikat | (~user@218.185.248.66) (Ping timeout: 268 seconds) |
| 2023-01-28 08:35:16 +0000 | komikat | (~user@218.185.248.66) |
| 2023-01-28 08:37:48 +0000 | <energizer> | last update 6 hours ago https://github.com/python/cpython |
| 2023-01-28 08:42:54 +0000 | haask | (~harry@user/haask) (Remote host closed the connection) |
| 2023-01-28 08:47:34 +0000 | acidjnk | (~acidjnk@p200300d6e715c413fca66e98e589647d.dip0.t-ipconnect.de) |
| 2023-01-28 08:49:03 +0000 | danza | (~francesco@151.57.95.137) (Ping timeout: 248 seconds) |
| 2023-01-28 08:50:51 +0000 | themc47 | (~mc47@xmonad/TheMC47) |
| 2023-01-28 08:51:26 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 268 seconds) |
| 2023-01-28 08:58:15 +0000 | arkeet | (arkeet@moriya.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-01-28 08:58:26 +0000 | arkeet | (arkeet@moriya.ca) |
| 2023-01-28 09:00:03 +0000 | daveakre[m] | (~daveakrem@2001:470:69fc:105::1:88b7) (Quit: You have been kicked for being idle) |
| 2023-01-28 09:00:08 +0000 | vlkrs[m] | (~vlkrsmatr@2001:470:69fc:105::2:e806) (Quit: You have been kicked for being idle) |
| 2023-01-28 09:01:10 +0000 | <davean> | Maybe they mean https://hackage.haskell.org/package/cpython ? |
| 2023-01-28 09:01:20 +0000 | danza | (~francesco@151.57.95.137) |
| 2023-01-28 09:13:19 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 256 seconds) |
| 2023-01-28 09:18:52 +0000 | dcoutts | (~duncan@host86-167-216-160.range86-167.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2023-01-28 09:18:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-28 09:20:53 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) (Remote host closed the connection) |
| 2023-01-28 09:24:17 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-28 09:27:36 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-28 09:32:18 +0000 | aeroplane | (~user@user/aeroplane) |
| 2023-01-28 09:39:11 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-28 09:40:09 +0000 | foul_owl | (~kerry@71.212.143.88) (Ping timeout: 268 seconds) |
| 2023-01-28 09:42:44 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-01-28 09:42:47 +0000 | cheater_ | cheater |
| 2023-01-28 09:50:34 +0000 | <aeroplane> | Hi everyone, I have a simple question. since haskell uses linked list internally, so if I do this "let x=(1,(2,3))" and then "y=snd x", then does haskell creates two copies of (2,3) in the memory or their is only one single entry refrenced at two places (x and y) |
| 2023-01-28 09:51:32 +0000 | <c_wraith> | "uses linked lists internally"? |
| 2023-01-28 09:52:22 +0000 | <c_wraith> | data types use exactly the representation they're declared with. |
| 2023-01-28 09:52:38 +0000 | <gnalzo> | notice, (1,(2,3)) is not valid haskell. And is not a list. The list are denoted using [ ] |
| 2023-01-28 09:52:47 +0000 | <c_wraith> | it's valid. |
| 2023-01-28 09:52:52 +0000 | <c_wraith> | > (1, (2, 3)) |
| 2023-01-28 09:52:54 +0000 | <lambdabot> | (1,(2,3)) |
| 2023-01-28 09:53:02 +0000 | <gnalzo> | oh yes |
| 2023-01-28 09:53:05 +0000 | <c_wraith> | But it isn't a list |
| 2023-01-28 09:54:02 +0000 | foul_owl | (~kerry@157.97.134.62) |
| 2023-01-28 09:54:10 +0000 | <aeroplane> | I'm sorry i mixed haskell with lisp |
| 2023-01-28 09:54:18 +0000 | <gnalzo> | well, anyway, [1, [2, 3]] is not valid. I'm mistaken. |
| 2023-01-28 09:55:15 +0000 | <c_wraith> | anyway, ignoring all the red herrings... Immutability means free sharing. So in let x = (1,(2,3)); y = snd x in ... well, after evaluation, y will be the same pointer as the second entry in x |
| 2023-01-28 09:57:05 +0000 | <c_wraith> | (before it's evaluated, it'll be a thunk holding on to a function and its arguments) |
| 2023-01-28 09:58:17 +0000 | <aeroplane> | c_wraith: I am asking this question because, i am trying to create a tree data structure in haskell, so to insert a value into a tree you have to create a new tree entirely. |
| 2023-01-28 09:58:27 +0000 | <c_wraith> | sharing. |
| 2023-01-28 09:58:46 +0000 | <aeroplane> | sO DOES HASKELL CREATES A NEW TREE OR SHARE THE VALUES INTERNALLY |
| 2023-01-28 09:58:53 +0000 | <c_wraith> | Any subtree that is referred to by both isn't copied. |
| 2023-01-28 09:59:40 +0000 | <c_wraith> | It's literally syntactic. If you don't call a constructor, you aren't creating new elements. |
| 2023-01-28 10:00:51 +0000 | <[exa]> | aeroplane: it may not even store 2 copies of the whole thing tbh, since it's lazy it might just remember something like "snd (1,(2,3)) belongs here" |
| 2023-01-28 10:01:24 +0000 | <[exa]> | aeroplane: anyway in the end if you really read the values of (2,3) and unless something crazy happens, it's usually going to share the memory location |
| 2023-01-28 10:02:35 +0000 | <[exa]> | (and the case with actual lists as in `tail (1:(2:(3:[])))` aka `tail [1,2,3]` should behave pretty much the same, [2,3] will be shared |
| 2023-01-28 10:02:38 +0000 | <[exa]> | ) |
| 2023-01-28 10:02:41 +0000 | <Inst> | ummm, yeah, I mean the hackage package |
| 2023-01-28 10:02:47 +0000 | <c_wraith> | I can't think of any case where syntactic sharing doesn't imply runtime sharing. |
| 2023-01-28 10:03:16 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-01-28 10:03:22 +0000 | <[exa]> | c_wraith: inliner is free to duplicate the values in certain cases when it thinks it doesn't duplicate too much work |
| 2023-01-28 10:03:43 +0000 | <c_wraith> | mm. right, for top-level definitions. |
| 2023-01-28 10:03:58 +0000 | <[exa]> | yeah in that case I'd say it's super rare. |
| 2023-01-28 10:03:59 +0000 | <c_wraith> | including things that get floated to the top level |
| 2023-01-28 10:04:48 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2023-01-28 10:05:43 +0000 | <c_wraith> | anyway, that's not going to apply to any value that depends on a function argument. |
| 2023-01-28 10:09:50 +0000 | themc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-01-28 10:12:43 +0000 | <[exa]> | Inst: what's broken btw? (any error log?) |
| 2023-01-28 10:13:14 +0000 | <aeroplane> | [exa]: thanks, that's neat, "let y=snd x" will not be evaluated, and if it needS to, then the refrence to (2,3) will be shared |
| 2023-01-28 10:13:18 +0000 | <aeroplane> | am i correct |
| 2023-01-28 10:13:20 +0000 | <Inst> | PS C:\Users\Liam> cabal install cpython |
| 2023-01-28 10:13:20 +0000 | <Inst> | Resolving dependencies... |
| 2023-01-28 10:13:20 +0000 | <Inst> | Error: cabal-3.8.1.0.exe: Could not resolve dependencies: |
| 2023-01-28 10:13:20 +0000 | <Inst> | [__0] trying: cpython-3.5.1 (user goal) |
| 2023-01-28 10:13:20 +0000 | <Inst> | [__1] rejecting: cpython:-usepython38 (conflict: pkg-config package |
| 2023-01-28 10:13:21 +0000 | <Inst> | python3-any, not found in the pkg-config database) |
| 2023-01-28 10:13:25 +0000 | <Inst> | [__1] rejecting: cpython:+usepython38 (conflict: pkg-config package |
| 2023-01-28 10:13:27 +0000 | <Inst> | python-3.8-any, not found in the pkg-config database) |
| 2023-01-28 10:13:28 +0000 | <Inst> | [__1] fail (backjumping, conflict set: cpython, cpython:usepython38) |
| 2023-01-28 10:13:31 +0000 | <Inst> | After searching the rest of the dependency tree exhaustively, these were the |
| 2023-01-28 10:13:33 +0000 | <Inst> | goals I've had most trouble fulfilling: cpython, cpython:usepython38 |
| 2023-01-28 10:13:35 +0000 | <Inst> | whoops, should have used pastebin |
| 2023-01-28 10:16:20 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-01-28 10:16:51 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-28 10:21:20 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) |
| 2023-01-28 10:24:06 +0000 | mmhat | (~mmh@p200300f1c707be19ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-01-28 10:25:58 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) (Ping timeout: 252 seconds) |
| 2023-01-28 10:29:21 +0000 | <[exa]> | aeroplane: yes |
| 2023-01-28 10:30:02 +0000 | <[exa]> | Inst: yeah that looks like you need a working pkg-config with the correct version of python (I'd guess 3.5 while you have 3.8) |
| 2023-01-28 10:30:28 +0000 | <[exa]> | or maybe it doesn't have pkg-config at all which is, well, windows thing |
| 2023-01-28 10:30:35 +0000 | <Inst> | it wants 3.8, i can't get pkg-config working on windows |
| 2023-01-28 10:30:45 +0000 | <[exa]> | can you run in WSL? |
| 2023-01-28 10:30:52 +0000 | <Inst> | i don't have it installed on WSL |
| 2023-01-28 10:31:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-28 10:31:45 +0000 | <[exa]> | tbh I have no idea how the package would be able to sanely configure self in the default windows mess, even cabal working there is more of a small miracle |
| 2023-01-28 10:31:48 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-28 10:31:51 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-28 10:32:49 +0000 | <[exa]> | but maybe with the pkg-config in place it might just work |
| 2023-01-28 10:32:56 +0000 | <[exa]> | (can you check that you can run pkg-config yoursel?) |
| 2023-01-28 10:33:31 +0000 | <[exa]> | (something like: pkg-config python3 --cflags or maybe pkg-config --list-all) |
| 2023-01-28 10:34:55 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2023-01-28 10:35:04 +0000 | cheater_ | cheater |
| 2023-01-28 10:38:23 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2023-01-28 10:40:10 +0000 | razetime | (~Thunderbi@117.193.7.2) (Remote host closed the connection) |
| 2023-01-28 10:42:56 +0000 | <aeroplane> | I have one other beginner question, if I have an immutable variable "tree" and I have to update it multiple times, the do I have to declare new variables all the time, since haskell complains when i redclare "tree" variable. Below is Binary Search Tree code, I need to update variable tree at line 27 multiple times, I do not know how to do that? Please help, thanks. |
| 2023-01-28 10:42:58 +0000 | <aeroplane> | http://ix.io/4mpM/haskell |
| 2023-01-28 10:45:25 +0000 | <aeroplane> | please bear that the code is not clean |
| 2023-01-28 10:48:16 +0000 | <danza> | of course. Because of immutability, you cannot reassign a variable |
| 2023-01-28 10:48:50 +0000 | <danza> | in fact, more that a variable, we could call the constants ^^; |
| 2023-01-28 10:49:05 +0000 | <gnalzo> | you can not declare tree at the top level. |
| 2023-01-28 10:49:29 +0000 | <danza> | gnalzo, why not? |
| 2023-01-28 10:49:56 +0000 | <gnalzo> | just pass Empty to the function ins in main. |
| 2023-01-28 10:50:07 +0000 | <danza> | oh yes, that's a better idea |
| 2023-01-28 10:50:11 +0000 | <aeroplane> | i need to update tree multiple times, how to do it |
| 2023-01-28 10:51:03 +0000 | <gnalzo> | danza: I rephrase, you can of course, but it's not the best pratice imho. |
| 2023-01-28 10:52:03 +0000 | <gnalzo> | aeroplane: each function that update a Tree, can get a Tree as parameter and return a modified Tree. |
| 2023-01-28 10:52:44 +0000 | <danza> | and you can collect multiple updates (separated by $ or .) and apply them one after the other |
| 2023-01-28 10:53:25 +0000 | <gnalzo> | aeroplane: this is what you already do. |
| 2023-01-28 10:54:36 +0000 | <aeroplane> | gnalzo: then i need to store that value somewhere |
| 2023-01-28 10:54:51 +0000 | <aeroplane> | i cannot reassign it to tree variable |
| 2023-01-28 10:55:02 +0000 | <aeroplane> | line 31 |
| 2023-01-28 10:56:08 +0000 | <tomsmeding> | let tree1 = stuff tree ; tree2 = stuff2 tree1 ; ... |
| 2023-01-28 10:56:14 +0000 | <gnalzo> | yes you cannot for variable at toplevel. But you can for local variable defined with let (or where), and even for function parameters. |
| 2023-01-28 10:56:29 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-28 10:56:46 +0000 | <danza> | and yeah, to get used with the concept, adding numbers to the end is probably the easiest |
| 2023-01-28 10:59:43 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-01-28 10:59:45 +0000 | cheater_ | cheater |
| 2023-01-28 10:59:52 +0000 | <aeroplane> | gnalzo: it complaines when i add "tree1=ins 6 tree1" after line 31 |
| 2023-01-28 11:00:13 +0000 | <aeroplane> | parse error on input ‘=’ |
| 2023-01-28 11:00:38 +0000 | fjMSX | (~hypni2p@89-179-32-81.broadband.corbina.ru) |
| 2023-01-28 11:00:54 +0000 | fjMSX | (~hypni2p@89-179-32-81.broadband.corbina.ru) (Read error: Connection reset by peer) |
| 2023-01-28 11:01:41 +0000 | <aeroplane> | tomsmeding: yeah that is exactly the problem that i am asking |
| 2023-01-28 11:02:14 +0000 | <aeroplane> | do i have redclare variable everytime when i update |
| 2023-01-28 11:03:26 +0000 | <darkling> | You have to create a new variable for each new value. |
| 2023-01-28 11:04:02 +0000 | <darkling> | So the code above with "tree1=ins 6 tree1" is going to fail because you're trying to redefine tree1 -- it should be "tree2 = ins 6 tree1" |
| 2023-01-28 11:05:02 +0000 | shriekingnoise_ | (~shrieking@186.137.175.87) |
| 2023-01-28 11:07:09 +0000 | <gnalzo> | aeroplane: I said, it's possible but not this way. You can in recursive function, because let define a new variable after each call, despite they have the same name. |
| 2023-01-28 11:07:20 +0000 | <aeroplane> | darkling: that means that every time I have to make modifications to the tree, then I have to declare a new variable to store the updated tree |
| 2023-01-28 11:07:25 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-01-28 11:07:46 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
| 2023-01-28 11:16:33 +0000 | <Lears> | @pl \tree0 -> let tree1 = f tree0; tree2 = g tree1; tree3 = h tree2 in i tree3 |
| 2023-01-28 11:16:34 +0000 | <lambdabot> | i . fix . const . h . fix . const . g . fix . const . f |
| 2023-01-28 11:16:58 +0000 | <Lears> | Wow. Technically correct, but not exactly ideal. |
| 2023-01-28 11:17:03 +0000 | <Lears> | @check \x -> (fix . const) x == x |
| 2023-01-28 11:17:05 +0000 | <lambdabot> | +++ OK, passed 100 tests. |
| 2023-01-28 11:17:58 +0000 | danza | (~francesco@151.57.95.137) (Read error: Connection reset by peer) |
| 2023-01-28 11:18:22 +0000 | danza | (~francesco@151.57.95.137) |
| 2023-01-28 11:24:59 +0000 | turlando | (~turlando@user/turlando) (Ping timeout: 268 seconds) |
| 2023-01-28 11:33:01 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Write error: Connection reset by peer) |
| 2023-01-28 11:33:01 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-01-28 11:33:01 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 2023-01-28 11:33:49 +0000 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-28 11:33:52 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-01-28 11:34:02 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-01-28 11:34:41 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-28 11:43:28 +0000 | turlando | (~turlando@user/turlando) |
| 2023-01-28 11:51:37 +0000 | danza | (~francesco@151.57.95.137) (Quit: Leaving) |
| 2023-01-28 12:00:41 +0000 | <mauke> | @check \x -> length (nub x) == 1 |
| 2023-01-28 12:00:42 +0000 | <lambdabot> | error: |
| 2023-01-28 12:00:43 +0000 | <lambdabot> | Ambiguous occurrence ‘length’ It could refer to either ‘Data.List.length’, i... |
| 2023-01-28 12:01:01 +0000 | <mauke> | @check \x -> Data.List.length (nub x) <= 1 |
| 2023-01-28 12:01:03 +0000 | <lambdabot> | error: |
| 2023-01-28 12:01:03 +0000 | <lambdabot> | Ambiguous occurrence ‘nub’ It could refer to either ‘Data.List.nub’, importe... |
| 2023-01-28 12:01:24 +0000 | <mauke> | @check \x -> Data.List.length (Data.List.nub x) <= 1 |
| 2023-01-28 12:01:26 +0000 | <lambdabot> | +++ OK, passed 100 tests. |
| 2023-01-28 12:04:11 +0000 | Franciman | (~Franciman@mx1.fracta.dev) (Remote host closed the connection) |
| 2023-01-28 12:11:17 +0000 | bgt32 | (~keutoi@122.171.123.33) |
| 2023-01-28 12:15:15 +0000 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2023-01-28 12:19:41 +0000 | <tomsmeding> | aeroplane: yes |
| 2023-01-28 12:20:03 +0000 | <tomsmeding> | Though what you could do is wrap all the things you want to do to the tree in functions, say stuff1, stuff2, ..., stuff32 |
| 2023-01-28 12:20:22 +0000 | <tomsmeding> | Then the final tree is stuff32 . stuff31 . ... . stuff1 $ tree |
| 2023-01-28 12:20:50 +0000 | <tomsmeding> | Depending on how those stuff functions look, you might not even need to do the wrapping, you can just write them inline |
| 2023-01-28 12:34:07 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-28 12:36:08 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-28 12:42:26 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2023-01-28 12:47:45 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-28 12:48:44 +0000 | bgt32 | (~keutoi@122.171.123.33) (Ping timeout: 246 seconds) |
| 2023-01-28 12:51:24 +0000 | <komikat> | j |
| 2023-01-28 12:55:59 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-01-28 12:56:52 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-01-28 13:04:50 +0000 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Read error: Connection reset by peer) |
| 2023-01-28 13:06:45 +0000 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-01-28 13:11:13 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-01-28 13:12:14 +0000 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:f9fc:1a1:6793:23b6) |
| 2023-01-28 13:14:05 +0000 | nschoe | (~q@2a01:e0a:8e:a190:9cf8:877a:47d0:34b) |
| 2023-01-28 13:14:41 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-01-28 13:16:08 +0000 | <unit73e> | komikat, k. I win. |
| 2023-01-28 13:16:32 +0000 | <unit73e> | also hello |
| 2023-01-28 13:16:53 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-01-28 13:17:19 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-01-28 13:26:50 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-01-28 13:27:41 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-01-28 13:37:33 +0000 | <unit73e> | is the maintainer and license haddock still necessary in modules? because cabal already tells that. |
| 2023-01-28 13:39:41 +0000 | <unit73e> | is there a way to generate that part? |
| 2023-01-28 13:51:27 +0000 | <Hecate> | unit73e: cabal check bothers you with this? |
| 2023-01-28 13:52:54 +0000 | <unit73e> | Hecate, nah and neither does writting it down manually, just a curiosity |
| 2023-01-28 13:53:05 +0000 | troydm | (~troydm@user/troydm) |
| 2023-01-28 13:54:03 +0000 | <Hecate> | unit73e: Personally, I copy one module to create another, so the haddock metadata are written once :P |
| 2023-01-28 13:54:11 +0000 | <Hecate> | but I don't think it matters that much? |
| 2023-01-28 13:54:38 +0000 | <Hecate> | unit73e: but you're right, Haddock could infer those metadata |
| 2023-01-28 13:55:00 +0000 | <unit73e> | well if there's nothing, there's nothing I guess. not much of a problem imo |
| 2023-01-28 13:55:33 +0000 | Guest75 | (~Guest75@178.141.149.12) (Ping timeout: 260 seconds) |
| 2023-01-28 13:58:14 +0000 | mmhat | (~mmh@p200300f1c707be19ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 2023-01-28 13:59:24 +0000 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Read error: Connection reset by peer) |
| 2023-01-28 13:59:35 +0000 | qhong_ | (~qhong@rescomp-21-400677.stanford.edu) |
| 2023-01-28 14:18:16 +0000 | mechap1 | (~mechap@user/mechap) (Ping timeout: 268 seconds) |
| 2023-01-28 14:19:51 +0000 | mechap1 | (~mechap@user/mechap) |
| 2023-01-28 14:20:19 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-01-28 14:37:51 +0000 | danza | (~francesco@151.35.48.71) |
| 2023-01-28 14:38:19 +0000 | danza | (~francesco@151.35.48.71) (Client Quit) |
| 2023-01-28 14:40:41 +0000 | razetime | (~Thunderbi@117.193.7.2) |
| 2023-01-28 14:55:27 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 248 seconds) |
| 2023-01-28 15:02:43 +0000 | phma | (~phma@host-67-44-208-72.hnremote.net) (Read error: Connection reset by peer) |
| 2023-01-28 15:03:06 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2023-01-28 15:03:27 +0000 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
| 2023-01-28 15:04:00 +0000 | phma | (~phma@2001:5b0:210b:94b8:7a1f:f3bb:5a0c:334d) |
| 2023-01-28 15:24:48 +0000 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:f9fc:1a1:6793:23b6) (Ping timeout: 248 seconds) |
| 2023-01-28 15:25:49 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) |
| 2023-01-28 15:30:09 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) (Ping timeout: 252 seconds) |
| 2023-01-28 15:33:19 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 248 seconds) |
| 2023-01-28 15:38:31 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-28 15:42:37 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-01-28 15:50:49 +0000 | telser | (~quassel@user/telser) (Ping timeout: 260 seconds) |
| 2023-01-28 15:51:03 +0000 | telser | (~quassel@user/telser) |
| 2023-01-28 15:57:13 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-01-28 15:57:32 +0000 | `2jt | (~jtomas@84.78.228.192) |
| 2023-01-28 16:17:41 +0000 | nullsh | (nullsh@user/nullsh) |
| 2023-01-28 16:18:15 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-01-28 16:20:29 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-28 16:23:13 +0000 | manwithluck | (~manwithlu@194.177.28.192) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-01-28 16:26:59 +0000 | michalz | (~michalz@185.246.207.200) |
| 2023-01-28 16:31:07 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-01-28 16:33:36 +0000 | `2jt | (~jtomas@84.78.228.192) (Ping timeout: 248 seconds) |
| 2023-01-28 16:34:29 +0000 | manwithluck | (~manwithlu@194.177.28.192) |
| 2023-01-28 16:36:52 +0000 | `2jt | (~jtomas@84.78.228.192) |
| 2023-01-28 16:42:55 +0000 | `2jt | (~jtomas@84.78.228.192) (Quit: Leaving) |
| 2023-01-28 16:50:21 +0000 | gdd | (~gdd@2001:470:1f13:187:3a49:a5bc:2f91:2c4d) (Ping timeout: 265 seconds) |
| 2023-01-28 16:50:51 +0000 | gdd | (~gdd@2001:470:1f13:187:e8a5:fbff:fe29:42f5) |
| 2023-01-28 16:53:05 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-01-28 16:54:07 +0000 | ddellacosta | (~ddellacos@89.45.224.124) (Ping timeout: 252 seconds) |
| 2023-01-28 16:56:22 +0000 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-01-28 16:58:14 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-01-28 17:08:25 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-01-28 17:12:38 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-01-28 17:16:17 +0000 | razetime | (~Thunderbi@117.193.7.2) (Remote host closed the connection) |
| 2023-01-28 17:19:59 +0000 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-01-28 17:21:08 +0000 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-01-28 17:30:01 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-28 17:30:11 +0000 | Inst | (~Inst@2601:6c4:4081:54f0:1c3a:fdd1:d6ac:9fe5) (Read error: Connection reset by peer) |
| 2023-01-28 17:30:33 +0000 | Inst | (~Inst@2601:6c4:4081:54f0:1c3a:fdd1:d6ac:9fe5) |
| 2023-01-28 17:30:49 +0000 | nschoe | (~q@2a01:e0a:8e:a190:9cf8:877a:47d0:34b) (Quit: Switching off) |
| 2023-01-28 17:31:29 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-28 17:31:35 +0000 | Inst_ | (~Inst@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2023-01-28 17:33:52 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
| 2023-01-28 17:35:33 +0000 | Inst | (~Inst@2601:6c4:4081:54f0:1c3a:fdd1:d6ac:9fe5) (Ping timeout: 252 seconds) |
| 2023-01-28 17:43:01 +0000 | econo | (uid147250@user/econo) |
| 2023-01-28 17:51:25 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-01-28 17:52:06 +0000 | mmhat | (~mmh@p200300f1c707be19ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-01-28 17:52:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-28 17:54:00 +0000 | trev | (~trev@user/trev) |
| 2023-01-28 17:57:29 +0000 | mmhat | (~mmh@p200300f1c707be19ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-01-28 17:57:52 +0000 | mmhat | (~mmh@p200300f1c707bee5ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-01-28 17:57:55 +0000 | <zebrag[m]> | https://pure.strath.ac.uk/ws/portalfiles/portal/7096708/syntaxforfree.pdf, the 3rd equality, at the bottom of p. 4? Atkey is giving an interpretation of ∀α.τ... |
| 2023-01-28 17:58:30 +0000 | mmhat | (~mmh@p200300f1c707bee5ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-01-28 17:59:05 +0000 | <zebrag[m]> | I guess it is the interpretation of the type when the type variable ranges over all sets, so it's a variable set |
| 2023-01-28 17:59:28 +0000 | <zebrag[m]> | but then he is restricting that with a condition |
| 2023-01-28 17:59:47 +0000 | <zebrag[m]> | and I can't make sense of that condition |
| 2023-01-28 18:01:33 +0000 | oldfashionedcow | intel |
| 2023-01-28 18:01:43 +0000 | intel | oldfashionedcow |
| 2023-01-28 18:02:25 +0000 | <zebrag[m]> | This is the condition: ∀W, A1, A2, R : KRel(W, A1, A2), w : W. R[|τ|]W (∆γW [α ↦ R]) w (x A1) (x A2) |
| 2023-01-28 18:03:07 +0000 | <zebrag[m]> | Atkey's explanations are "These clauses are mostly straightforward" |
| 2023-01-28 18:04:00 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-01-28 18:07:55 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Quit: leaving) |
| 2023-01-28 18:08:30 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-28 18:09:01 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-01-28 18:12:29 +0000 | <smol-hors> | can someone link me to suggested up-to-date reading on the Haskell FFI? |
| 2023-01-28 18:13:47 +0000 | <sclv> | smol-hors: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/ffi.html |
| 2023-01-28 18:13:57 +0000 | <smol-hors> | thank you |
| 2023-01-28 18:15:00 +0000 | <mauke> | https://www.haskell.org/onlinereport/haskell2010/haskellch8.html#x15-1490008 |
| 2023-01-28 18:15:37 +0000 | <smol-hors> | thx |
| 2023-01-28 18:19:15 +0000 | <monochrom> | zebrag[m]: You would notice that the condition is the parametricity condition, e.g., the last equation. |
| 2023-01-28 18:20:11 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) |
| 2023-01-28 18:20:48 +0000 | <zebrag[m]> | I would? let's see |
| 2023-01-28 18:22:54 +0000 | potash | (~foghorn@user/foghorn) |
| 2023-01-28 18:24:14 +0000 | <zebrag[m]> | monochrom thanks a lot, I'm going to work on that... |
| 2023-01-28 18:25:49 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2023-01-28 18:28:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-28 18:33:14 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-28 18:33:41 +0000 | oldfashionedcow | A_Cow |
| 2023-01-28 18:36:45 +0000 | potash | (~foghorn@user/foghorn) (Read error: Connection reset by peer) |
| 2023-01-28 18:38:42 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-01-28 18:44:23 +0000 | crns | (~netcrns@user/crns) (Quit: brb) |
| 2023-01-28 18:46:33 +0000 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-01-28 18:46:43 +0000 | crns | (~netcrns@user/crns) |
| 2023-01-28 18:53:54 +0000 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-01-28 19:00:45 +0000 | _xor | (~xor@74.215.182.83) (Ping timeout: 260 seconds) |
| 2023-01-28 19:01:08 +0000 | _xor | (~xor@74.215.182.83) |
| 2023-01-28 19:02:43 +0000 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-01-28 19:03:50 +0000 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) (Ping timeout: 255 seconds) |
| 2023-01-28 19:04:54 +0000 | _xor | (~xor@74.215.182.83) (Read error: Connection reset by peer) |
| 2023-01-28 19:05:09 +0000 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) |
| 2023-01-28 19:09:59 +0000 | _xor | (~xor@74.215.182.83) |
| 2023-01-28 19:17:34 +0000 | mechap1 | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-01-28 19:26:27 +0000 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-01-28 19:31:20 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (Quit: Bye!) |
| 2023-01-28 19:35:51 +0000 | foul_owl | (~kerry@157.97.134.62) (Ping timeout: 268 seconds) |
| 2023-01-28 19:38:01 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) |
| 2023-01-28 19:43:39 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-01-28 19:44:00 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) (Remote host closed the connection) |
| 2023-01-28 19:46:46 +0000 | <stefan-_> | is there a typeclass which is a monoid and supports multiplication with a scalar? |
| 2023-01-28 19:48:33 +0000 | <geekosaur> | do you count `mtimes`/`stimes`? |
| 2023-01-28 19:48:39 +0000 | <Rembane> | stefan-_: Not really, but Product could perhaps help you. What do you want to do? |
| 2023-01-28 19:49:48 +0000 | <geekosaur> | otherwise this sounds to me like you want one of the matrix packages, maybe |
| 2023-01-28 19:51:22 +0000 | <stefan-_> | I have a record which holds three different `cost` integer fields, this cost record has a zero, can be summed and multiplied with a scalar |
| 2023-01-28 19:52:14 +0000 | <stefan-_> | (day 19 of aoc) |
| 2023-01-28 19:54:10 +0000 | <c_wraith> | that basically sounds like stimes or mitmes along with replicate. |
| 2023-01-28 19:54:32 +0000 | <c_wraith> | err. concat/sconcat |
| 2023-01-28 19:56:16 +0000 | troydm | (~troydm@user/troydm) (Ping timeout: 248 seconds) |
| 2023-01-28 19:57:38 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) |
| 2023-01-28 19:58:58 +0000 | <c_wraith> | oh. which is just stimes/mtimes |
| 2023-01-28 20:02:09 +0000 | <stefan-_> | c_wraith, stimes sounds good, thanks! |
| 2023-01-28 20:02:39 +0000 | <c_wraith> | It looks like it's part of the class so that you can provide a more efficient implementation if you desire. and this is a case where you might! |
| 2023-01-28 20:03:27 +0000 | <EvanR> | multiplication by a scalar is vector language, you just want repeated monoiding/semigrouping |
| 2023-01-28 20:04:13 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-01-28 20:05:19 +0000 | <stefan-_> | https://gist.github.com/dozed/f12791c9ed15fa6e76b50beffd8ad77c |
| 2023-01-28 20:05:23 +0000 | <stefan-_> | this is what I have currently |
| 2023-01-28 20:06:09 +0000 | <int-e> | . o O ( Ah, day 19, the day where I hardcoded everything. ) |
| 2023-01-28 20:06:41 +0000 | <stefan-_> | hm, it should probably possible to even automatically derive Semigroup/Monoid |
| 2023-01-28 20:07:00 +0000 | <stefan-_> | based on the underlying Int |
| 2023-01-28 20:07:39 +0000 | <int-e> | there's a monoid for Num a => Sum a, Sum being a newtype |
| 2023-01-28 20:10:12 +0000 | <int-e> | And the Semigroup instance does `stimes n (Sum a) = Sum (fromIntegral n * a)` so it should be fine for that optimization. Though I'm not sure whether you actually need it. |
| 2023-01-28 20:10:28 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-01-28 20:13:15 +0000 | <int-e> | "hardcoded everything" -- https://paste.tomsmeding.com/HMK3FvTI (very mild spoiler, it's just the left-hand side of my main solving function) |
| 2023-01-28 20:15:09 +0000 | Guest75 | (~Guest75@178.141.149.12) |
| 2023-01-28 20:15:59 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-28 20:16:21 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-28 20:16:27 +0000 | cheesecake | (~cheesecak@2600:6c4a:7c7f:ec9b:9cb2:b42f:48ab:b49b) |
| 2023-01-28 20:20:55 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-01-28 20:22:13 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-28 20:25:44 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-01-28 20:25:48 +0000 | cheater_ | cheater |
| 2023-01-28 20:45:56 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-28 20:47:28 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-01-28 20:47:32 +0000 | cheater_ | cheater |
| 2023-01-28 20:50:05 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-28 20:50:10 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2023-01-28 20:51:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-28 20:52:17 +0000 | troydm | (~troydm@user/troydm) |
| 2023-01-28 20:54:21 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-28 20:54:24 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-28 20:57:53 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-01-28 21:04:59 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-01-28 21:06:44 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-28 21:07:50 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-28 21:12:14 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-01-28 21:14:52 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-01-28 21:15:38 +0000 | ddellacosta | (~ddellacos@89.45.224.33) |
| 2023-01-28 21:15:45 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-28 21:15:46 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-28 21:16:53 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-28 21:25:53 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-28 21:26:02 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2023-01-28 21:26:13 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-01-28 21:26:14 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-01-28 21:28:31 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-01-28 21:28:39 +0000 | cheater_ | cheater |
| 2023-01-28 21:30:07 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-28 21:30:16 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2023-01-28 21:32:09 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2023-01-28 21:34:26 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-28 21:34:55 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-28 21:35:54 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Quit: Leaving) |
| 2023-01-28 21:37:41 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-01-28 21:39:04 +0000 | lbseale_ | (~quassel@user/ep1ctetus) (Ping timeout: 260 seconds) |
| 2023-01-28 21:39:50 +0000 | pavonia | (~user@user/siracusa) |
| 2023-01-28 21:40:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-28 21:43:34 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2023-01-28 21:44:30 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-01-28 21:47:36 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-28 21:51:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-28 21:54:21 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 256 seconds) |
| 2023-01-28 21:55:57 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-28 21:56:14 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-01-28 21:58:33 +0000 | lbseale | (~quassel@user/ep1ctetus) |
| 2023-01-28 22:00:47 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 264 seconds) |
| 2023-01-28 22:02:08 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-01-28 22:02:22 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-01-28 22:03:57 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-01-28 22:11:15 +0000 | AlexZenon | (~alzenon@178.34.160.228) (Ping timeout: 268 seconds) |
| 2023-01-28 22:12:23 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-01-28 22:14:43 +0000 | AlexNoo | (~AlexNoo@178.34.160.228) (Read error: Connection reset by peer) |
| 2023-01-28 22:15:11 +0000 | AlexZenon | (~alzenon@178.34.160.228) |
| 2023-01-28 22:15:34 +0000 | Alex_test | (~al_test@178.34.160.228) (Ping timeout: 268 seconds) |
| 2023-01-28 22:15:47 +0000 | AlexNoo | (~AlexNoo@178.34.160.228) |
| 2023-01-28 22:21:08 +0000 | Alex_test | (~al_test@178.34.160.228) |
| 2023-01-28 22:21:39 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-01-28 22:25:44 +0000 | komikat | (~user@218.185.248.66) (Ping timeout: 260 seconds) |
| 2023-01-28 22:28:36 +0000 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-01-28 22:28:42 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-28 22:28:59 +0000 | AlexZenon | (~alzenon@178.34.160.228) (Ping timeout: 260 seconds) |
| 2023-01-28 22:32:43 +0000 | Alex_test | (~al_test@178.34.160.228) (Ping timeout: 260 seconds) |
| 2023-01-28 22:33:03 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-28 22:33:46 +0000 | AlexZenon | (~alzenon@178.34.160.228) |
| 2023-01-28 22:36:43 +0000 | Alex_test | (~al_test@178.34.160.228) |
| 2023-01-28 22:37:53 +0000 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2023-01-28 22:41:19 +0000 | Alex_test | (~al_test@178.34.160.228) (Ping timeout: 252 seconds) |
| 2023-01-28 22:46:11 +0000 | Alex_test | (~al_test@178.34.160.228) |
| 2023-01-28 22:55:43 +0000 | slack1256 | (~slack1256@181.42.52.9) |
| 2023-01-28 22:59:11 +0000 | Alex_test | (~al_test@178.34.160.228) (Ping timeout: 248 seconds) |
| 2023-01-28 23:02:55 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-28 23:04:52 +0000 | Alex_test | (~al_test@178.34.160.228) |
| 2023-01-28 23:06:12 +0000 | haritz | (~hrtz@user/haritz) (Ping timeout: 252 seconds) |
| 2023-01-28 23:06:29 +0000 | manwithluck | (~manwithlu@194.177.28.192) (Remote host closed the connection) |
| 2023-01-28 23:06:32 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (Quit: Bye!) |
| 2023-01-28 23:08:14 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) |
| 2023-01-28 23:08:17 +0000 | manwithluck | (~manwithlu@194.177.28.192) |
| 2023-01-28 23:08:36 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 268 seconds) |
| 2023-01-28 23:10:35 +0000 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2023-01-28 23:10:35 +0000 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2023-01-28 23:10:35 +0000 | haritz | (~hrtz@user/haritz) |
| 2023-01-28 23:22:22 +0000 | dequbed | (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
| 2023-01-28 23:22:42 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 252 seconds) |
| 2023-01-28 23:23:27 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-28 23:24:28 +0000 | dequbed | (~dequbed@banana-new.kilobyte22.de) |
| 2023-01-28 23:27:07 +0000 | jushur | (~human@user/jushur) |
| 2023-01-28 23:29:21 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.79) |
| 2023-01-28 23:30:51 +0000 | aaronm04 | (~user@user/aaronm04) (Quit: WeeChat 3.6) |
| 2023-01-28 23:31:43 +0000 | AlexZenon | (~alzenon@178.34.160.228) (Ping timeout: 248 seconds) |
| 2023-01-28 23:32:55 +0000 | AlexNoo | (~AlexNoo@178.34.160.228) (Ping timeout: 260 seconds) |
| 2023-01-28 23:33:10 +0000 | Alex_test | (~al_test@178.34.160.228) (Ping timeout: 260 seconds) |
| 2023-01-28 23:34:13 +0000 | Guest75 | (~Guest75@178.141.149.12) (Ping timeout: 260 seconds) |
| 2023-01-28 23:35:47 +0000 | AlexZenon | (~alzenon@178.34.160.79) |
| 2023-01-28 23:37:41 +0000 | Alex_test | (~al_test@178.34.160.79) |
| 2023-01-28 23:39:02 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-28 23:43:25 +0000 | aaronm04 | (~user@user/aaronm04) |
| 2023-01-28 23:43:27 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-28 23:43:50 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2023-01-28 23:44:00 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-01-28 23:49:16 +0000 | jushur | (~human@user/jushur) (Quit: ¯\_(ツ)_/¯) |
| 2023-01-28 23:52:49 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-01-28 23:56:32 +0000 | fut | (~futar@129.234.0.191) |
| 2023-01-28 23:57:00 +0000 | fut | (~futar@129.234.0.191) () |