| 2024-02-01 00:01:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-01 00:12:06 +0100 | acidjnk_new | (~acidjnk@p200300d6e737e77604cf13b28e5a1920.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-02-01 00:13:26 +0100 | mrmr155334 | (~mrmr@user/mrmr) |
| 2024-02-01 00:14:14 +0100 | mrmr15533 | (~mrmr@user/mrmr) (Ping timeout: 260 seconds) |
| 2024-02-01 00:14:14 +0100 | mrmr155334 | mrmr15533 |
| 2024-02-01 00:19:58 +0100 | cereb | (~cereb@2a01:799:e26:7600:f519:db79:b633:401f) (Ping timeout: 276 seconds) |
| 2024-02-01 00:24:39 +0100 | <haskellbridge> | 10<maralorn> Are any of the Ord instances of Int, Text, ShortText, ByteString, ShortByteString or Word64 locale dependent? |
| 2024-02-01 00:25:17 +0100 | <haskellbridge> | 10<maralorn> I am curious about those generall types. Concretely I want to know for Version and PackageName from Cabal-syntax. |
| 2024-02-01 00:25:55 +0100 | <L29Ah> | no, why would it be? |
| 2024-02-01 00:26:13 +0100 | <L29Ah> | Ord functions are pure after all |
| 2024-02-01 00:28:19 +0100 | <haskellbridge> | 10<maralorn> Because I vaguely remember that different locales resulted in different orderings for those types. |
| 2024-02-01 00:28:59 +0100 | <haskellbridge> | 10<maralorn> And because in general ordering of strings is locale dependent. |
| 2024-02-01 00:29:26 +0100 | <haskellbridge> | 10<maralorn> Of course not for Int, that would be crazy. |
| 2024-02-01 00:30:44 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-02-01 00:30:50 +0100 | <monochrom> | Their Ord instances are not locale-dependent. |
| 2024-02-01 00:31:38 +0100 | <yushyin> | https://ircbrowse.tomsmeding.com/day/lchaskell/2024/01/08?id=1184811#trid1184811 |
| 2024-02-01 00:35:26 +0100 | <geekosaur> | I don't think that would even be meaningful: how would you, for example, compare PackageName-s for packages in different locales? |
| 2024-02-01 00:38:30 +0100 | <haskellbridge> | 10<maralorn> Oh, wow. yushyin. I completely forgot that I asked this question before. I am getting to old. |
| 2024-02-01 00:39:04 +0100 | <haskellbridge> | 10<maralorn> geekosaur: I have no clue. I will report back when I gathered more evidence that the ordering is unstable. |
| 2024-02-01 00:39:19 +0100 | <haskellbridge> | 10<maralorn> Thanks, yall. |
| 2024-02-01 00:39:41 +0100 | <yushyin> | happens! ;) |
| 2024-02-01 00:39:44 +0100 | <geekosaur> | the ordering is entirely stable, it's just lexical instead of locale-dependent |
| 2024-02-01 00:40:20 +0100 | <geekosaur> | and must be because the definition of "locale" is what's unstable there |
| 2024-02-01 00:48:27 +0100 | <geekosaur> | (and because, as mentioned, Ord is pure and therefore cannot be locale-dependent; locale information lives in IO) |
| 2024-02-01 00:50:39 +0100 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2024-02-01 00:50:58 +0100 | mud | (~mud@user/kadoban) |
| 2024-02-01 00:52:58 +0100 | cstml | (~cstml@user/cstml) |
| 2024-02-01 00:53:12 +0100 | cstml | (~cstml@user/cstml) (Client Quit) |
| 2024-02-01 00:55:32 +0100 | <sclv> | in particular Text etc are ordered in unicode byte order. their contents are _unicode_ not locale dependent |
| 2024-02-01 00:56:00 +0100 | <sclv> | it may be that you _read_ in Text from files, and the manner in which reading from those files is interpreted as text is locale dependent, but thats a function of the IO used in reading those files. |
| 2024-02-01 01:00:02 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-01 01:00:24 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-02-01 01:02:47 +0100 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2024-02-01 01:03:09 +0100 | mud | (~mud@user/kadoban) |
| 2024-02-01 01:10:22 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-02-01 01:10:22 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-02-01 01:13:45 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-02-01 01:17:50 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-01 01:49:48 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-02-01 01:58:42 +0100 | causal | (~eric@50.35.85.7) |
| 2024-02-01 01:59:05 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-02-01 02:00:59 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 260 seconds) |
| 2024-02-01 02:08:29 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2024-02-01 02:08:29 +0100 | Feuermagier | Guest5953 |
| 2024-02-01 02:08:29 +0100 | Guest5953 | (~Feuermagi@user/feuermagier) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2024-02-01 02:08:29 +0100 | Feuermagier_ | Feuermagier |
| 2024-02-01 02:18:29 +0100 | gdd | (~gdd@2001:bc8:38ee:100:c8c6:dfff:fe51:8c02) (Ping timeout: 240 seconds) |
| 2024-02-01 02:18:58 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 256 seconds) |
| 2024-02-01 02:25:46 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-5ac6-2c3c-76d5-617b-7b48.rev.sfr.net) (Ping timeout: 250 seconds) |
| 2024-02-01 02:31:06 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-01 02:37:56 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2024-02-01 02:38:56 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-02-01 02:39:29 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 2024-02-01 02:39:39 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-02-01 02:39:58 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-01 02:46:02 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-02-01 02:46:27 +0100 | Square | (~Square@user/square) |
| 2024-02-01 02:52:08 +0100 | gdd | (~gdd@2001:bc8:38ee:100:c8c6:dfff:fe51:8c02) |
| 2024-02-01 02:59:31 +0100 | thegeekinside | (~thegeekin@189.141.113.100) (Ping timeout: 268 seconds) |
| 2024-02-01 03:00:09 +0100 | thegeekinside | (~thegeekin@189.141.113.100) |
| 2024-02-01 03:07:19 +0100 | xff0x | (~xff0x@ai099196.d.east.v6connect.net) (Ping timeout: 246 seconds) |
| 2024-02-01 03:12:36 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-02-01 03:13:04 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-01 03:13:06 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-02-01 03:15:55 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-02-01 03:16:19 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-01 03:30:58 +0100 | otto_s | (~user@p5b0443c0.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-02-01 03:32:36 +0100 | otto_s | (~user@p5de2f5d1.dip0.t-ipconnect.de) |
| 2024-02-01 03:42:31 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-01 03:47:22 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-02-01 03:51:15 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-02-01 04:03:42 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-01 04:03:55 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-01 04:09:08 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2024-02-01 04:11:01 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2024-02-01 04:11:22 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6432:fd7e:104:6723) |
| 2024-02-01 04:12:54 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-02-01 04:13:35 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-02-01 04:16:38 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 2024-02-01 04:17:30 +0100 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (Remote host closed the connection) |
| 2024-02-01 04:17:42 +0100 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) |
| 2024-02-01 04:22:19 +0100 | circuitcraft | (~circuitcr@69.80.137.75) |
| 2024-02-01 04:25:44 +0100 | circuitcraft | (~circuitcr@69.80.137.75) (Client Quit) |
| 2024-02-01 04:26:22 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2024-02-01 04:34:33 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-02-01 04:44:21 +0100 | td_ | (~td@i53870937.versanet.de) (Ping timeout: 268 seconds) |
| 2024-02-01 04:45:54 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-01 04:46:04 +0100 | td_ | (~td@i53870937.versanet.de) |
| 2024-02-01 04:52:47 +0100 | thegeekinside | (~thegeekin@189.141.113.100) (Ping timeout: 264 seconds) |
| 2024-02-01 05:04:23 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 2024-02-01 05:04:52 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-01 05:05:04 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) |
| 2024-02-01 05:12:57 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-02-01 05:13:20 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-01 05:14:38 +0100 | mobivme | (~mobivme@130.105.134.228) (Ping timeout: 256 seconds) |
| 2024-02-01 05:15:27 +0100 | mobivme | (~mobivme@130.105.134.228) |
| 2024-02-01 05:38:38 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-01 05:40:33 +0100 | trev | (~trev@user/trev) |
| 2024-02-01 05:49:21 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-02-01 05:49:31 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-01 05:50:20 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-02-01 05:50:40 +0100 | aforemny | (~aforemny@i59F516F8.versanet.de) |
| 2024-02-01 05:51:41 +0100 | aforemny_ | (~aforemny@2001:9e8:6ccc:8900:501c:e264:7efa:e6e0) (Ping timeout: 240 seconds) |
| 2024-02-01 05:55:01 +0100 | myme | (~myme@2a01:799:d5e:2e00:5a9e:1be4:ba7e:eb44) (Ping timeout: 264 seconds) |
| 2024-02-01 05:55:42 +0100 | myme | (~myme@2a01:799:d5e:2e00:586c:6005:41b8:c419) |
| 2024-02-01 06:04:54 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-02-01 06:13:06 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-02-01 06:20:29 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2024-02-01 06:29:30 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-02-01 06:30:30 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-01 06:32:57 +0100 | mei | (~mei@user/mei) |
| 2024-02-01 06:34:44 +0100 | chomwitt | (~chomwitt@2a02:587:7a0b:b500:1ac0:4dff:fedb:a3f1) |
| 2024-02-01 06:48:31 +0100 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-02-01 06:49:30 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-02-01 07:06:55 +0100 | chomwitt | (~chomwitt@2a02:587:7a0b:b500:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 2024-02-01 07:16:05 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-02-01 07:17:17 +0100 | euleritian | (~euleritia@176.5.135.180) |
| 2024-02-01 07:17:38 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-02-01 07:18:23 +0100 | euleritian | (~euleritia@176.5.135.180) (Read error: Connection reset by peer) |
| 2024-02-01 07:18:41 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-01 07:22:14 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-02-01 07:27:44 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-02-01 07:28:26 +0100 | euleritian | (~euleritia@dynamic-176-005-135-180.176.5.pool.telefonica.de) |
| 2024-02-01 07:32:23 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-01 07:33:49 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-01 07:34:13 +0100 | Square2 | (~Square4@user/square) |
| 2024-02-01 07:34:33 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-01 07:35:53 +0100 | michalz | (~michalz@185.246.207.221) |
| 2024-02-01 07:38:04 +0100 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2024-02-01 07:38:14 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-02-01 07:38:30 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-01 07:41:18 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-01 07:48:59 +0100 | euleritian | (~euleritia@dynamic-176-005-135-180.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-01 07:49:16 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-01 07:50:14 +0100 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-01 07:52:58 +0100 | michalz | (~michalz@185.246.207.205) |
| 2024-02-01 07:53:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-02-01 07:53:56 +0100 | euleritian | (~euleritia@dynamic-176-005-135-180.176.5.pool.telefonica.de) |
| 2024-02-01 07:58:16 +0100 | acidjnk_new | (~acidjnk@p200300d6e737e724c4ba4b0a65630397.dip0.t-ipconnect.de) |
| 2024-02-01 08:07:29 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-02-01 08:14:52 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-01 08:18:51 +0100 | califax_ | (~califax@user/califx) |
| 2024-02-01 08:19:14 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2024-02-01 08:19:45 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-01 08:20:04 +0100 | califax_ | califax |
| 2024-02-01 08:20:41 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-02-01 08:21:09 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-02-01 08:21:34 +0100 | mei | (~mei@user/mei) |
| 2024-02-01 08:22:48 +0100 | tri_ | (~tri@2607:fb90:b11b:ccdb:8cce:c830:1cdf:c000) |
| 2024-02-01 08:27:17 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-02-01 08:27:41 +0100 | tri_ | (~tri@2607:fb90:b11b:ccdb:8cce:c830:1cdf:c000) (Remote host closed the connection) |
| 2024-02-01 08:30:54 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-01 08:35:22 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-02-01 08:36:20 +0100 | tromp | (~textual@92.110.219.57) |
| 2024-02-01 08:37:54 +0100 | pruiz | (~user@user/pruiz) |
| 2024-02-01 08:46:24 +0100 | wenzel_ | (~wenzel@dl5rzs8hfxtxc2s075t2y-3.rev.dnainternet.fi) (Remote host closed the connection) |
| 2024-02-01 08:47:37 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-01 08:51:00 +0100 | euleritian | (~euleritia@dynamic-176-005-135-180.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-01 08:51:46 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-02-01 08:55:10 +0100 | jargon | (~jargon@211.sub-174-205-230.myvzw.com) (Remote host closed the connection) |
| 2024-02-01 08:55:11 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 264 seconds) |
| 2024-02-01 08:56:31 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-01 08:56:47 +0100 | califax | (~califax@user/califx) |
| 2024-02-01 08:59:02 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-01 09:00:25 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-02-01 09:04:00 +0100 | sroso | (~sroso@user/SrOso) (Read error: Connection reset by peer) |
| 2024-02-01 09:07:15 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-02-01 09:08:09 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-01 09:08:32 +0100 | tromp | (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-01 09:08:35 +0100 | califax | (~califax@user/califx) |
| 2024-02-01 09:10:41 +0100 | kuribas | (~user@ptr-17d51emsrwgm3g4fo4u.18120a2.ip6.access.telenet.be) |
| 2024-02-01 09:11:14 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-01 09:16:42 +0100 | danse-nr3 | (~danse@151.47.161.152) |
| 2024-02-01 09:19:35 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-02-01 09:22:39 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-01 09:24:27 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-01 09:34:37 +0100 | CiaoSen | (~Jura@2a05:5800:281:7e00:e6b9:7aff:fe80:3d03) |
| 2024-02-01 09:37:03 +0100 | ubert | (~Thunderbi@p200300ecdf1f1724d46abdbc3e26c256.dip0.t-ipconnect.de) |
| 2024-02-01 09:38:43 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 2024-02-01 09:40:37 +0100 | <haskellbridge> | 10<maralorn> Ah, that’s a good point. |
| 2024-02-01 09:43:24 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-02-01 09:49:05 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2024-02-01 09:51:05 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2024-02-01 09:51:37 +0100 | zetef | (~quassel@86.121.125.186) |
| 2024-02-01 09:56:25 +0100 | zetef | (~quassel@86.121.125.186) (Ping timeout: 255 seconds) |
| 2024-02-01 09:57:10 +0100 | mima | (~mmh@aftr-62-216-211-230.dynamic.mnet-online.de) |
| 2024-02-01 09:57:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-01 09:58:38 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-01 09:59:49 +0100 | Guest|28 | (~Guest|28@27.71.130.71) |
| 2024-02-01 10:02:19 +0100 | Guest|28 | (~Guest|28@27.71.130.71) (Client Quit) |
| 2024-02-01 10:09:25 +0100 | foul_owl | (~kerry@157.97.134.164) (Ping timeout: 246 seconds) |
| 2024-02-01 10:13:19 +0100 | <cheater> | what do you call this technique? you look at a code base, and look at a value somewhere within that code base. say return foo. you copy "return foo" to a new text file. then in the code base you go up, possibly through function calls, and look at what was assigned to foo. that's an expression that contains some other variables. so you look up those variables as well. you keep going until you hit well known library functions, or user input. you end up |
| 2024-02-01 10:13:19 +0100 | <cheater> | with one giant expression, or possibly a couple big ones, e.g. if expression1 is used a few times in expression2 (it makes more sense to do things like that for readability). you simplify the code as much as you can and, where functions are called, you get rid of arguments that don't do anything important (like eg arguments set to reasonable defaults, paths to config files, etc). you get rid of trivial functions like eg converting a Text to ByteString |
| 2024-02-01 10:13:19 +0100 | <cheater> | or converting a Float to Double, fromEnum, and the likes, to simplify the code to the absolute gist of it. |
| 2024-02-01 10:13:52 +0100 | <cheater> | i call it "reverse evaluation", but maybe someone has seen it somewhere else. |
| 2024-02-01 10:14:44 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-02-01 10:19:31 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2024-02-01 10:21:29 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-01 10:21:55 +0100 | foul_owl | (~kerry@157.97.134.168) |
| 2024-02-01 10:21:56 +0100 | califax | (~califax@user/califx) |
| 2024-02-01 10:26:23 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 256 seconds) |
| 2024-02-01 10:31:03 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2024-02-01 10:32:14 +0100 | <kuribas> | cheater: inlining? |
| 2024-02-01 10:32:43 +0100 | <kuribas> | well, inlining and partial evaluation. |
| 2024-02-01 10:32:52 +0100 | <kuribas> | Maybe reduction to normal form. |
| 2024-02-01 10:32:57 +0100 | <cheater> | it's not really inlining, because yeah |
| 2024-02-01 10:33:21 +0100 | <cheater> | normal form implies an AST-style data structure and there being a normal form |
| 2024-02-01 10:33:43 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-01 10:34:32 +0100 | <kuribas> | well, depends on your definition of normal form :) |
| 2024-02-01 10:34:48 +0100 | <kuribas> | You can also evaluate known functions and known variables. |
| 2024-02-01 10:35:48 +0100 | <lortabac> | it's a form of partial evaluation |
| 2024-02-01 10:36:22 +0100 | <lortabac> | there is something called "constant folding" which is related to what you are describing |
| 2024-02-01 10:38:14 +0100 | <lortabac> | but more generally I would just say "partial evaluation" |
| 2024-02-01 10:40:33 +0100 | yeahitsme | (~bob@user/yeahitsme) |
| 2024-02-01 10:41:03 +0100 | <cheater> | what do you call it when you have a sentence written in denotational semantics, and you have a "tower of interpreters" or "tower of compilers", each of which denotates a new level of semantics for the same universal statement, and you take your original sentence, and you lift/drop it across that tower? |
| 2024-02-01 10:45:32 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-01 10:45:47 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-02-01 10:46:35 +0100 | <cheater> | https://en.wikipedia.org/wiki/Denotational_semantics#Denotational_semantics_as_source-to-source_tr… |
| 2024-02-01 10:46:42 +0100 | <cheater> | "denotational translation"? |
| 2024-02-01 10:47:59 +0100 | mei | (~mei@user/mei) |
| 2024-02-01 10:48:45 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-02-01 10:48:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-01 10:50:12 +0100 | athan | (~athan@173-042-095-241.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-02-01 10:50:19 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-02-01 10:53:31 +0100 | <cheater> | it's also not decomplecting |
| 2024-02-01 10:53:48 +0100 | ft | (~ft@p508dbdf9.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-02-01 11:04:20 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-02-01 11:08:26 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-01 11:11:43 +0100 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2024-02-01 11:11:58 +0100 | iteratee | (~kyle@162.218.222.207) |
| 2024-02-01 11:13:37 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 2024-02-01 11:19:41 +0100 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-01 11:21:53 +0100 | <cheater> | "derecursion"? |
| 2024-02-01 11:22:04 +0100 | <cheater> | "full resolution"? |
| 2024-02-01 11:22:25 +0100 | <cheater> | "full dereferencing"? |
| 2024-02-01 11:26:07 +0100 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) |
| 2024-02-01 11:35:03 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-02-01 11:45:33 +0100 | theInvertedFunct | (~theInvert@2a02-a446-fea2-0-6c0e-8fd3-303d-82a1.fixed6.kpn.net) |
| 2024-02-01 11:46:00 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-01 11:49:08 +0100 | danse-nr3 | (~danse@151.47.161.152) (Read error: Connection reset by peer) |
| 2024-02-01 11:49:37 +0100 | danse-nr3 | (~danse@151.57.132.207) |
| 2024-02-01 11:50:00 +0100 | mmhat | (~mmh@p200300f1c73bf4c7ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-02-01 11:50:43 +0100 | mmhat | (~mmh@p200300f1c73bf4c7ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2024-02-01 11:58:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-01 12:05:16 +0100 | CiaoSen | (~Jura@2a05:5800:281:7e00:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-02-01 12:06:35 +0100 | danse-nr3 | (~danse@151.57.132.207) (Ping timeout: 264 seconds) |
| 2024-02-01 12:08:20 +0100 | xff0x | (~xff0x@ai099196.d.east.v6connect.net) |
| 2024-02-01 12:08:23 +0100 | foul_owl | (~kerry@157.97.134.168) (Ping timeout: 256 seconds) |
| 2024-02-01 12:08:33 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-02-01 12:09:29 +0100 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) |
| 2024-02-01 12:10:25 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-02-01 12:14:08 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 255 seconds) |
| 2024-02-01 12:14:47 +0100 | <cheater> | mmmmh |
| 2024-02-01 12:15:15 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-02-01 12:16:10 +0100 | rosco | (~rosco@175.136.156.77) (Remote host closed the connection) |
| 2024-02-01 12:17:12 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-02-01 12:22:17 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-02-01 12:22:18 +0100 | foul_owl | (~kerry@185.216.231.180) |
| 2024-02-01 12:25:22 +0100 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 276 seconds) |
| 2024-02-01 12:51:43 +0100 | danse-nr3 | (~danse@151.43.218.141) |
| 2024-02-01 12:53:22 +0100 | mal1 | lieven |
| 2024-02-01 13:02:12 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-01 13:25:21 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-02-01 13:26:02 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-02-01 13:30:01 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Quit: The Lounge - https://thelounge.chat) |
| 2024-02-01 13:32:04 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
| 2024-02-01 13:35:39 +0100 | theInvertedFunct | (~theInvert@2a02-a446-fea2-0-6c0e-8fd3-303d-82a1.fixed6.kpn.net) (Quit: Leaving) |
| 2024-02-01 13:35:56 +0100 | son0p | (~ff@152.203.124.215) (Quit: Bye) |
| 2024-02-01 13:36:38 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-01 13:39:05 +0100 | mei | (~mei@user/mei) |
| 2024-02-01 13:48:23 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection) |
| 2024-02-01 13:48:43 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-02-01 13:54:39 +0100 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-02-01 13:55:46 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-01 13:58:03 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-02-01 13:58:53 +0100 | mobivme | (~mobivme@130.105.134.228) (Remote host closed the connection) |
| 2024-02-01 13:59:58 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-02-01 14:01:38 +0100 | son0p | (~ff@152.203.124.215) |
| 2024-02-01 14:03:09 +0100 | mobivme | (~mobivme@130.105.134.228) |
| 2024-02-01 14:12:32 +0100 | mima | (~mmh@aftr-62-216-211-230.dynamic.mnet-online.de) (Ping timeout: 252 seconds) |
| 2024-02-01 14:13:01 +0100 | yeahitsme | (~bob@user/yeahitsme) (Read error: Connection reset by peer) |
| 2024-02-01 14:13:24 +0100 | yeahitsme | (~bob@2a01:799:15e7:a300:e39d:52a9:ef69:ac) |
| 2024-02-01 14:14:24 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-9d22-fc11-b601-f8b5-7f31.rev.sfr.net) |
| 2024-02-01 14:23:13 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-9d22-fc11-b601-f8b5-7f31.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-01 14:23:34 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-9d22-fc11-b601-f8b5-7f31.rev.sfr.net) |
| 2024-02-01 14:24:35 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-9d22-fc11-b601-f8b5-7f31.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-01 14:24:54 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-9d22-fc11-b601-f8b5-7f31.rev.sfr.net) |
| 2024-02-01 14:26:56 +0100 | kimiamania4648 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-02-01 14:27:50 +0100 | kimiamania4648 | (~65804703@user/kimiamania) |
| 2024-02-01 14:34:13 +0100 | CiaoSen | (~Jura@2a05:5800:281:7e00:e6b9:7aff:fe80:3d03) |
| 2024-02-01 14:38:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-02-01 14:42:19 +0100 | yeahitsme | (~bob@2a01:799:15e7:a300:e39d:52a9:ef69:ac) (Changing host) |
| 2024-02-01 14:42:19 +0100 | yeahitsme | (~bob@user/yeahitsme) |
| 2024-02-01 14:49:25 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-02-01 14:54:47 +0100 | ulvarrefr | (~user@188.124.56.153) (Remote host closed the connection) |
| 2024-02-01 14:54:55 +0100 | ulvarrefr | (~user@188.124.56.153) |
| 2024-02-01 14:55:08 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-01 14:58:50 +0100 | <tomsmeding> | cheater: yeah for your first question: first extraction (factoring out, perhaps) and then partial evaluation |
| 2024-02-01 14:59:10 +0100 | <tomsmeding> | partial evaluation includes both inlining definitions and specialising those definitions to the actual arguments being supplied, keeping some abstract/symbolic |
| 2024-02-01 15:00:00 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-01 15:07:03 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-02-01 15:07:20 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-01 15:08:28 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-01 15:10:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-01 15:10:33 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-01 15:19:05 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2024-02-01 15:20:19 +0100 | <danse-nr3> | huh... a clue about a lens that changes the last element of a list please? I grew some ... worry about directly approaching Lens' doc |
| 2024-02-01 15:21:34 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-01 15:21:50 +0100 | <ncf> | :t _last |
| 2024-02-01 15:21:51 +0100 | <lambdabot> | (Snoc s s a a, Applicative f) => (a -> f a) -> s -> f s |
| 2024-02-01 15:22:20 +0100 | <danse-nr3> | cool i am good with the final answer. Cheers |
| 2024-02-01 15:22:21 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2024-02-01 15:31:04 +0100 | akegalj | (~akegalj@95.168.118.75) |
| 2024-02-01 15:32:24 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) |
| 2024-02-01 15:36:29 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-02-01 15:37:25 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-02-01 15:38:09 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 2024-02-01 15:41:31 +0100 | athan | (~athan@173.42.95.241) |
| 2024-02-01 15:42:50 +0100 | athan | (~athan@173.42.95.241) (Client Quit) |
| 2024-02-01 15:43:25 +0100 | athan | (~athan@173.42.95.241) |
| 2024-02-01 15:44:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Ping timeout: 252 seconds) |
| 2024-02-01 15:47:16 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-02-01 15:47:25 +0100 | euleritian | (~euleritia@dynamic-176-005-132-128.176.5.pool.telefonica.de) |
| 2024-02-01 15:49:10 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) (Ping timeout: 250 seconds) |
| 2024-02-01 15:49:26 +0100 | danse-nr3 | (~danse@151.43.218.141) (Ping timeout: 260 seconds) |
| 2024-02-01 15:52:06 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) |
| 2024-02-01 15:53:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-01 15:55:32 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-01 15:58:27 +0100 | euleritian | (~euleritia@dynamic-176-005-132-128.176.5.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-02-01 16:02:47 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-01 16:03:10 +0100 | mei | (~mei@user/mei) (Quit: mei) |
| 2024-02-01 16:04:49 +0100 | chomwitt | (~chomwitt@2a02:587:7a0b:b500:1ac0:4dff:fedb:a3f1) |
| 2024-02-01 16:05:14 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-02-01 16:05:53 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-02-01 16:07:01 +0100 | mei | (~mei@user/mei) |
| 2024-02-01 16:13:02 +0100 | <cheater> | tomsmeding: right... but that doesn't include the elision of superfluous details |
| 2024-02-01 16:17:56 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-02-01 16:18:44 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-02-01 16:21:03 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-02-01 16:23:08 +0100 | chomwitt | (~chomwitt@2a02:587:7a0b:b500:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2024-02-01 16:25:26 +0100 | <tomsmeding> | cheater: fair, but that kind of elision is dangerous in any case, because you can only really determine what's superfluous once you understand the code :p |
| 2024-02-01 16:25:30 +0100 | sorrowbird | (~hexcat@5.0.176.72) |
| 2024-02-01 16:25:59 +0100 | <tomsmeding> | what if some later expansion uncovers some ad-hoc polymorphism on a type distinction that you considered superfluous |
| 2024-02-01 16:26:18 +0100 | <cheater> | typeshit doesn't have ad-hoc polymorphism |
| 2024-02-01 16:26:21 +0100 | <cheater> | sorry typescript |
| 2024-02-01 16:26:43 +0100 | <tomsmeding> | nice typo |
| 2024-02-01 16:26:50 +0100 | <cheater> | it never was |
| 2024-02-01 16:27:01 +0100 | <tomsmeding> | but I see |
| 2024-02-01 16:27:14 +0100 | <tomsmeding> | (makes sense given the compilation target and compilation method) |
| 2024-02-01 16:27:43 +0100 | <tomsmeding> | okay I have a name for you |
| 2024-02-01 16:27:54 +0100 | <tomsmeding> | "fuck your abstraction, what does it do" |
| 2024-02-01 16:28:36 +0100 | <cheater> | how about "first-principle derivation" |
| 2024-02-01 16:29:10 +0100 | <cheater> | the final formula for foo is a "first-principle derivation" of foo |
| 2024-02-01 16:34:02 +0100 | <haskellbridge> | 06<sm> concretising ? deabstracting ? instantiating ? |
| 2024-02-01 16:35:25 +0100 | <sorrowbird> | wow this channel truly is interesting just like the lanagugage xD |
| 2024-02-01 16:35:33 +0100 | <sorrowbird> | hello people of the internet |
| 2024-02-01 16:36:24 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) (Ping timeout: 250 seconds) |
| 2024-02-01 16:37:28 +0100 | <haskellbridge> | 06<sm> hello sorrowbird |
| 2024-02-01 16:38:19 +0100 | <haskellbridge> | 06<sm> concretising ? deabstracting ? instantiating ? applying ? |
| 2024-02-01 16:39:41 +0100 | Square | (~Square@user/square) |
| 2024-02-01 16:39:47 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-02-01 16:40:06 +0100 | Square | (~Square@user/square) |
| 2024-02-01 16:41:14 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 268 seconds) |
| 2024-02-01 16:50:56 +0100 | sorrowbird | (~hexcat@5.0.176.72) (Read error: Connection reset by peer) |
| 2024-02-01 16:51:25 +0100 | sorrowbird | (~hexcat@5.0.176.72) |
| 2024-02-01 16:56:53 +0100 | chomwitt | (~chomwitt@2a02:587:7a0b:b500:1ac0:4dff:fedb:a3f1) |
| 2024-02-01 16:56:55 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-02-01 17:06:39 +0100 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2024-02-01 17:07:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-01 17:07:32 +0100 | sefidel | (~sefidel@user/sefidel) |
| 2024-02-01 17:12:02 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2024-02-01 17:19:34 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-01 17:23:04 +0100 | ubert | (~Thunderbi@p200300ecdf1f1724d46abdbc3e26c256.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2024-02-01 17:25:38 +0100 | <haskellbridge> | 15<Jade> hiya |
| 2024-02-01 17:27:26 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-02-01 17:28:43 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-02-01 17:30:28 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-01 17:30:47 +0100 | ubert | (~Thunderbi@p200300ecdf1f17240450275ffdb3cdae.dip0.t-ipconnect.de) |
| 2024-02-01 17:32:53 +0100 | mei | (~mei@user/mei) |
| 2024-02-01 17:35:12 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-9d22-fc11-b601-f8b5-7f31.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-01 17:35:20 +0100 | sorrowbird | (~hexcat@5.0.176.72) (Quit: Leaving) |
| 2024-02-01 17:35:32 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-9d22-fc11-b601-f8b5-7f31.rev.sfr.net) |
| 2024-02-01 17:36:55 +0100 | CiaoSen | (~Jura@2a05:5800:281:7e00:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds) |
| 2024-02-01 17:37:42 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-02-01 17:40:10 +0100 | pruiz | (~user@user/pruiz) (Remote host closed the connection) |
| 2024-02-01 17:41:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-01 17:43:39 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-01 17:45:42 +0100 | akegalj | (~akegalj@95.168.118.75) (Ping timeout: 260 seconds) |
| 2024-02-01 17:46:00 +0100 | euleritian | (~euleritia@dynamic-176-006-185-112.176.6.pool.telefonica.de) |
| 2024-02-01 17:47:20 +0100 | akegalj | (~akegalj@78-2-181-173.adsl.net.t-com.hr) |
| 2024-02-01 17:49:46 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2024-02-01 17:49:58 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-02-01 17:50:04 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Client Quit) |
| 2024-02-01 17:51:01 +0100 | euleritian | (~euleritia@dynamic-176-006-185-112.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2024-02-01 17:51:58 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-02-01 17:55:54 +0100 | drrzmr | (~Eder@179.113.240.37) |
| 2024-02-01 18:00:28 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2024-02-01 18:00:46 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2024-02-01 18:01:10 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-02-01 18:07:28 +0100 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2024-02-01 18:08:10 +0100 | sefidel | (~sefidel@user/sefidel) |
| 2024-02-01 18:13:51 +0100 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2024-02-01 18:14:22 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) |
| 2024-02-01 18:15:57 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) (Client Quit) |
| 2024-02-01 18:16:15 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) |
| 2024-02-01 18:21:02 +0100 | trnry | (~nate@c-67-169-255-59.hsd1.ut.comcast.net) |
| 2024-02-01 18:21:20 +0100 | sefidel | (~sefidel@user/sefidel) |
| 2024-02-01 18:23:26 +0100 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2024-02-01 18:30:14 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-02-01 18:30:23 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) |
| 2024-02-01 18:30:48 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) (Ping timeout: 250 seconds) |
| 2024-02-01 18:34:40 +0100 | <trnry> | So I've been away from Haskell for a number of years, and now I'm struggling to compile something I used to do all the time. I used to always copy the source for reflex-gloss when I needed to make a visualization tool and build off of it. But what is basically the hello world of what I am doing is failing to build when I turn on GHC2021 instead of Haskell2010. I have narrowed the offending |
| 2024-02-01 18:34:42 +0100 | <trnry> | extension down to PolyKinds. I don't think I know anything about kind polymorphism, so could someone help me understand why this breaks when PolyKinds is on? |
| 2024-02-01 18:34:50 +0100 | <trnry> | This is my file: https://paste.debian.net/1306028/ |
| 2024-02-01 18:34:55 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-01 18:35:00 +0100 | <trnry> | And this is the error: https://paste.debian.net/1306029/ |
| 2024-02-01 18:39:26 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
| 2024-02-01 18:45:12 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-02-01 18:45:58 +0100 | danse-nr3 | (~danse@151.43.129.204) |
| 2024-02-01 18:46:33 +0100 | <EvanR> | trnry, your handleTrigger helper function in the where clause might need a type signature if it would refer to type variables |
| 2024-02-01 18:46:36 +0100 | <EvanR> | just a guess |
| 2024-02-01 18:47:44 +0100 | <EvanR> | another way to bumble ahead is to break out your functions into dedicated top level functions (with extra params for the closed over variables) and make sure they type check |
| 2024-02-01 18:48:33 +0100 | <EvanR> | just putting a type signature on `network' might also help the error message |
| 2024-02-01 18:49:22 +0100 | moixa | (~moixa@customer-178-16-208-85.stosn.net) |
| 2024-02-01 18:50:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-01 18:50:44 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-9d22-fc11-b601-f8b5-7f31.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-01 18:50:59 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-02-01 18:51:04 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-9d22-fc11-b601-f8b5-7f31.rev.sfr.net) |
| 2024-02-01 18:51:20 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-01 18:54:41 +0100 | drrzmr | (~Eder@179.113.240.37) (Remote host closed the connection) |
| 2024-02-01 18:55:05 +0100 | drrzmr | (~Eder@179.113.240.37) |
| 2024-02-01 18:56:19 +0100 | qqq | (~qqq@92.43.167.61) |
| 2024-02-01 19:01:17 +0100 | mmaruseacph2 | (~mihai@mihai.page) (Ping timeout: 252 seconds) |
| 2024-02-01 19:01:32 +0100 | mmaruseacph2 | (~mihai@mihai.page) |
| 2024-02-01 19:01:40 +0100 | pavonia | (~user@user/siracusa) |
| 2024-02-01 19:02:16 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-01 19:02:31 +0100 | <[Leary]> | trnry: I'm not 100%, but I think the issue is that the polymorphism for the type `t` and it's kind `k1` are divorced. Due to the polymorphic `network` argument, the implementor of `playReflex` gets to choose any convenient `t` ... or so you would, but you're blocked by the fact that the /caller/ of `playReflex` chooses `k1`. |
| 2024-02-01 19:03:28 +0100 | <[Leary]> | Try changing the type of the argument to `(forall k (t :: k) m. GlossApp t m)`. |
| 2024-02-01 19:04:10 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-02-01 19:04:40 +0100 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-01 19:06:11 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-02-01 19:08:07 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 255 seconds) |
| 2024-02-01 19:08:28 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2024-02-01 19:08:38 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-02-01 19:13:57 +0100 | chomwitt | (~chomwitt@2a02:587:7a0b:b500:1ac0:4dff:fedb:a3f1) (Read error: Connection reset by peer) |
| 2024-02-01 19:17:39 +0100 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-02-01 19:21:20 +0100 | akegalj | (~akegalj@78-2-181-173.adsl.net.t-com.hr) (Quit: leaving) |
| 2024-02-01 19:34:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-01 19:34:37 +0100 | kuribas | (~user@ptr-17d51emsrwgm3g4fo4u.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-02-01 19:35:11 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-02-01 19:35:49 +0100 | mima | (~mmh@aftr-62-216-211-188.dynamic.mnet-online.de) |
| 2024-02-01 19:38:02 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-02-01 19:39:50 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-9d22-fc11-b601-f8b5-7f31.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-01 19:40:10 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-9d22-fc11-b601-f8b5-7f31.rev.sfr.net) |
| 2024-02-01 19:42:41 +0100 | telser | (~quassel@user/telser) |
| 2024-02-01 19:50:02 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-02-01 19:50:51 +0100 | average | (uid473595@user/average) |
| 2024-02-01 19:50:58 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-9d22-fc11-b601-f8b5-7f31.rev.sfr.net) (Ping timeout: 250 seconds) |
| 2024-02-01 19:53:38 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-02-01 20:01:36 +0100 | tri | (~tri@24.187.239.26) |
| 2024-02-01 20:03:25 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-02-01 20:16:31 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2024-02-01 20:22:28 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 276 seconds) |
| 2024-02-01 20:23:44 +0100 | causal | (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 2024-02-01 20:25:19 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-02-01 20:30:53 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-01 20:41:56 +0100 | tri | (~tri@24.187.239.26) (Remote host closed the connection) |
| 2024-02-01 20:45:07 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-02-01 20:46:03 +0100 | ubert | (~Thunderbi@p200300ecdf1f17240450275ffdb3cdae.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-02-01 20:46:03 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-01 20:48:53 +0100 | ubert | (~Thunderbi@p200300ecdf1f1724697032497dfae953.dip0.t-ipconnect.de) |
| 2024-02-01 20:50:16 +0100 | <trnry> | [Leary]: That did it, thanks a bunch |
| 2024-02-01 20:50:38 +0100 | <trnry> | I'm surprised at how much I feel like I don't know what I'm doing now that it's been a couple years |
| 2024-02-01 20:51:12 +0100 | nitrix | (~nitrix@user/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-01 20:51:25 +0100 | systemhalted | (~systemhal@172.59.192.22) |
| 2024-02-01 20:52:23 +0100 | nitrix | (~nitrix@user/nitrix) |
| 2024-02-01 20:56:10 +0100 | <[Leary]> | Blame implicit binders. If you /had/ to bind `k` explicitly, you probably would have done so in the right place. |
| 2024-02-01 20:56:34 +0100 | systemhalted | (~systemhal@172.59.192.22) (Ping timeout: 246 seconds) |
| 2024-02-01 20:56:54 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-01 21:01:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-01 21:01:20 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-9d22-fc11-b601-f8b5-7f31.rev.sfr.net) |
| 2024-02-01 21:02:31 +0100 | synapse | (~synapse@176.254.244.83) (Ping timeout: 246 seconds) |
| 2024-02-01 21:04:52 +0100 | synapse | (~synapse@176.254.244.83) |
| 2024-02-01 21:09:23 +0100 | danse-nr3 | (~danse@151.43.129.204) (Read error: Connection reset by peer) |
| 2024-02-01 21:10:02 +0100 | ubert | (~Thunderbi@p200300ecdf1f1724697032497dfae953.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-02-01 21:10:18 +0100 | danse-nr3 | (~danse@151.57.148.146) |
| 2024-02-01 21:10:25 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-01 21:12:20 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-9d22-fc11-b601-f8b5-7f31.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-01 21:12:49 +0100 | mei | (~mei@user/mei) |
| 2024-02-01 21:15:29 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6432:fd7e:104:6723) (Remote host closed the connection) |
| 2024-02-01 21:15:55 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-01 21:26:00 +0100 | ft | (~ft@p508dbdf9.dip0.t-ipconnect.de) |
| 2024-02-01 21:31:08 +0100 | danse-nr3 | (~danse@151.57.148.146) (Remote host closed the connection) |
| 2024-02-01 21:33:50 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2024-02-01 21:36:47 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-9d22-fc11-b601-f8b5-7f31.rev.sfr.net) |
| 2024-02-01 21:37:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-01 21:41:51 +0100 | APic | (~apic@apic.name) (Ping timeout: 268 seconds) |
| 2024-02-01 21:44:41 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-9d22-fc11-b601-f8b5-7f31.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-01 21:53:52 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:297e:a163:e05a:2925) |
| 2024-02-01 21:56:29 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-02-01 21:56:56 +0100 | euleritian | (~euleritia@dynamic-176-002-142-068.176.2.pool.telefonica.de) |
| 2024-02-01 21:57:57 +0100 | qqq | (~qqq@92.43.167.61) (Quit: Lost terminal) |
| 2024-02-01 22:00:37 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-02-01 22:03:35 +0100 | qqq | (~qqq@92.43.167.61) |
| 2024-02-01 22:05:56 +0100 | drrzmr | (~Eder@179.113.240.37) (Remote host closed the connection) |
| 2024-02-01 22:06:20 +0100 | drrzmr | (~Eder@179.113.240.37) |
| 2024-02-01 22:26:37 +0100 | drrzmr | (~Eder@179.113.240.37) (Remote host closed the connection) |
| 2024-02-01 22:27:00 +0100 | drrzmr | (~Eder@179.113.240.37) |
| 2024-02-01 22:30:55 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-02-01 22:36:22 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-02-01 22:38:32 +0100 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-01 22:41:08 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2024-02-01 22:43:49 +0100 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2024-02-01 22:45:03 +0100 | turlando | (~turlando@user/turlando) |
| 2024-02-01 22:45:04 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-01 22:46:01 +0100 | biberu | (~biberu@user/biberu) (Ping timeout: 264 seconds) |
| 2024-02-01 22:46:48 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-02-01 22:46:51 +0100 | flounders | (~flounders@24.246.176.178) |
| 2024-02-01 22:47:17 +0100 | drrzmr | (~Eder@179.113.240.37) (Remote host closed the connection) |
| 2024-02-01 22:47:40 +0100 | drrzmr | (~Eder@179.113.240.37) |
| 2024-02-01 22:47:49 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-01 22:51:27 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-01 22:53:13 +0100 | anderson | (lossy@user/anderson) (Ping timeout: 260 seconds) |
| 2024-02-01 22:53:20 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-02-01 22:53:51 +0100 | mei | (~mei@user/mei) |
| 2024-02-01 22:56:32 +0100 | dunj3 | (~dunj3@kingdread.de) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2024-02-01 22:57:52 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.1.3) |
| 2024-02-01 22:58:22 +0100 | mechap | (~mechap@user/mechap) |
| 2024-02-01 22:58:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-01 22:59:58 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 264 seconds) |
| 2024-02-01 23:00:16 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-02-01 23:00:39 +0100 | APic | (apic@apic.name) |
| 2024-02-01 23:02:15 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-01 23:03:39 +0100 | biberu | (~biberu@user/biberu) |
| 2024-02-01 23:07:03 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2024-02-01 23:07:58 +0100 | drrzmr | (~Eder@179.113.240.37) (Remote host closed the connection) |
| 2024-02-01 23:08:20 +0100 | drrzmr | (~Eder@179.113.240.37) |
| 2024-02-01 23:16:55 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-01 23:22:56 +0100 | CiaoSen | (~Jura@2a05:5800:281:7e00:e6b9:7aff:fe80:3d03) |
| 2024-02-01 23:24:29 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 260 seconds) |
| 2024-02-01 23:28:38 +0100 | drrzmr | (~Eder@179.113.240.37) (Remote host closed the connection) |
| 2024-02-01 23:28:56 +0100 | Guest62 | (~Guest62@210.142.79.188.dynamic.jazztel.es) |
| 2024-02-01 23:29:23 +0100 | drrzmr | (~Eder@179.113.240.37) |
| 2024-02-01 23:34:27 +0100 | rscastilho2024 | (rscastilho@189.61.140.215) |
| 2024-02-01 23:35:12 +0100 | rscastilho2024 | (rscastilho@189.61.140.215) (Remote host closed the connection) |
| 2024-02-01 23:39:17 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-01 23:42:29 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-02-01 23:45:25 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-02-01 23:45:37 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-01 23:45:39 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-02-01 23:48:14 +0100 | acidjnk_new | (~acidjnk@p200300d6e737e724c4ba4b0a65630397.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-02-01 23:56:09 +0100 | Guest62 | (~Guest62@210.142.79.188.dynamic.jazztel.es) (Quit: Client closed) |