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