| 2023-05-16 00:00:00 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-16 00:04:23 +0200 | ddellacosta | (~ddellacos@143.244.47.71) (Ping timeout: 256 seconds) |
| 2023-05-16 00:04:23 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 2023-05-16 00:05:31 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-16 00:13:13 +0200 | qhong_ | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) |
| 2023-05-16 00:16:11 +0200 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Ping timeout: 246 seconds) |
| 2023-05-16 00:17:36 +0200 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Ping timeout: 248 seconds) |
| 2023-05-16 00:17:42 +0200 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
| 2023-05-16 00:17:48 +0200 | Angelz | (Angelz@angelz.oddprotocol.org) (Ping timeout: 240 seconds) |
| 2023-05-16 00:18:33 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-16 00:22:20 +0200 | Patternmaster | (~georg@user/Patternmaster) |
| 2023-05-16 00:22:26 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-05-16 00:23:01 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-16 00:27:31 +0200 | JimL | (~quassel@89.162.16.26) (Ping timeout: 240 seconds) |
| 2023-05-16 00:27:31 +0200 | zeenk2 | (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 2023-05-16 00:28:05 +0200 | rf | (~rf@2605:59c8:179c:f610:97bf:e844:d780:7181) |
| 2023-05-16 00:28:12 +0200 | tan00kee | (~paul@pauloliver.dev) (Quit: WeeChat 3.8) |
| 2023-05-16 00:29:49 +0200 | JimL | (~quassel@89.162.16.26) |
| 2023-05-16 00:33:25 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 265 seconds) |
| 2023-05-16 00:36:52 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-05-16 00:38:21 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-16 00:38:48 +0200 | mmhat | (~mmh@p200300f1c70668f7ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 2023-05-16 00:38:56 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-05-16 00:39:41 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) |
| 2023-05-16 00:43:44 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2023-05-16 00:44:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) (Ping timeout: 240 seconds) |
| 2023-05-16 00:47:31 +0200 | nattiestnate | (~nate@202.138.250.9) (Quit: WeeChat 3.8) |
| 2023-05-16 00:49:05 +0200 | mechap | (~mechap@user/mechap) |
| 2023-05-16 00:50:29 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-05-16 00:51:44 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2023-05-16 00:52:06 +0200 | Guest|15 | (~Guest|15@181.46.139.177) |
| 2023-05-16 00:52:29 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-16 00:52:38 +0200 | Guest|15 | (~Guest|15@181.46.139.177) (Client Quit) |
| 2023-05-16 00:54:28 +0200 | acidjnk | (~acidjnk@p200300d6e7072f49e923159d5e1d01b5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-16 00:54:44 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-05-16 00:55:18 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-16 00:55:45 +0200 | emergence | (thelounge@2607:5300:60:5910:dcad:beff:feef:5bc) (Quit: Ping timeout (120 seconds)) |
| 2023-05-16 00:55:59 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-05-16 00:56:00 +0200 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2023-05-16 00:57:56 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-05-16 00:58:03 +0200 | cheater_ | cheater |
| 2023-05-16 01:01:01 +0200 | gurkenglas | (~user@dynamic-046-114-177-094.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-16 01:02:47 +0200 | pyook | (~puke@user/puke) (Ping timeout: 240 seconds) |
| 2023-05-16 01:02:58 +0200 | gurkenglas | (~user@dynamic-046-114-178-145.46.114.pool.telefonica.de) |
| 2023-05-16 01:03:01 +0200 | ddellacosta | (~ddellacos@143.244.47.84) |
| 2023-05-16 01:09:44 +0200 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) (Ping timeout: 246 seconds) |
| 2023-05-16 01:10:02 +0200 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2023-05-16 01:10:31 +0200 | gurkenglas | (~user@dynamic-046-114-178-145.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-16 01:10:31 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-16 01:11:30 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-05-16 01:13:39 +0200 | qhong_ | qhong |
| 2023-05-16 01:14:39 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-16 01:16:10 +0200 | Everything | (~Everythin@46.185.124.65) |
| 2023-05-16 01:17:24 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 01:20:41 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-16 01:21:01 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-05-16 01:21:59 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 2023-05-16 01:22:23 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 2023-05-16 01:22:23 +0200 | mauke_ | mauke |
| 2023-05-16 01:22:45 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-16 01:22:46 +0200 | cheater_ | cheater |
| 2023-05-16 01:26:10 +0200 | <jackdk> | Other options: aim for warning-cleanliness only with latest GHC, provide project-specific prelude. |
| 2023-05-16 01:26:48 +0200 | rf | (~rf@2605:59c8:179c:f610:97bf:e844:d780:7181) (Ping timeout: 240 seconds) |
| 2023-05-16 01:27:59 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 2023-05-16 01:28:36 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-16 01:29:45 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-16 01:30:36 +0200 | cheater__ | (~Username@user/cheater) |
| 2023-05-16 01:33:03 +0200 | cheater___ | (~Username@user/cheater) |
| 2023-05-16 01:33:03 +0200 | cheater___ | cheater |
| 2023-05-16 01:33:32 +0200 | cheater_ | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-05-16 01:34:45 +0200 | cheater__ | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-16 01:46:43 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-16 01:47:18 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 01:49:17 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-05-16 01:49:18 +0200 | cheater_ | cheater |
| 2023-05-16 01:53:59 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 01:56:17 +0200 | nickhs | (~nickhs@23.158.16.17) |
| 2023-05-16 01:57:06 +0200 | nickhs | (~nickhs@23.158.16.17) (Remote host closed the connection) |
| 2023-05-16 02:02:56 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-05-16 02:03:58 +0200 | califax | (~califax@user/califx) |
| 2023-05-16 02:06:59 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-16 02:11:35 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-16 02:14:31 +0200 | vandita | (~vandit@94-21-108-18.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-16 02:15:56 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 02:16:17 +0200 | vandita | (~vandit@85-238-93-102.pool.digikabel.hu) |
| 2023-05-16 02:16:29 +0200 | drdo | (~drdo@bl8-153-185.dsl.telepac.pt) (Quit: Ping timeout (120 seconds)) |
| 2023-05-16 02:16:48 +0200 | drdo | (~drdo@bl8-153-185.dsl.telepac.pt) |
| 2023-05-16 02:20:08 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 02:27:11 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2023-05-16 02:27:41 +0200 | inversed | (~inversed@bcdcac82.skybroadband.com) |
| 2023-05-16 02:28:55 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 02:33:11 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 02:36:57 +0200 | rf | (~rf@2605:59c8:179c:f610:15fe:b2b8:39be:acc9) |
| 2023-05-16 02:38:09 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-05-16 02:38:23 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 2023-05-16 02:38:49 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-05-16 02:42:24 +0200 | oo_miguel | (~Thunderbi@77.252.47.78) (Ping timeout: 250 seconds) |
| 2023-05-16 02:46:34 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-16 02:47:11 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-16 02:47:28 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds) |
| 2023-05-16 02:47:34 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-16 02:51:44 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-05-16 02:52:31 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-16 02:54:42 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-05-16 02:59:18 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-16 03:03:35 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-16 03:09:15 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-16 03:10:52 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-16 03:11:50 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 03:14:54 +0200 | pyook | (~puke@user/puke) |
| 2023-05-16 03:15:59 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 03:17:00 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-16 03:24:01 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-16 03:27:18 +0200 | Vajb | (~Vajb@2001:999:489:9fc7:2a48:2fed:ac18:a255) |
| 2023-05-16 03:34:35 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 03:35:35 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 240 seconds) |
| 2023-05-16 03:35:40 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-16 03:38:47 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-16 03:38:48 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-16 03:38:48 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-16 03:44:35 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 264 seconds) |
| 2023-05-16 03:46:40 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 03:48:16 +0200 | freeside1 | (~mengwong@185.223.152.159) (Ping timeout: 248 seconds) |
| 2023-05-16 03:48:28 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-16 03:48:47 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-16 03:50:49 +0200 | bilegeek | (~bilegeek@2600:1008:b064:de63:98f1:d281:fbd5:fb30) |
| 2023-05-16 03:51:41 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-16 04:09:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-16 04:09:26 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 04:14:47 +0200 | td_ | (~td@i5387092B.versanet.de) (Ping timeout: 240 seconds) |
| 2023-05-16 04:15:09 +0200 | jargon | (~jargon@184.101.78.160) (Remote host closed the connection) |
| 2023-05-16 04:16:47 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 04:16:48 +0200 | td_ | (~td@i5387090E.versanet.de) |
| 2023-05-16 04:22:20 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-05-16 04:23:17 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-05-16 04:23:31 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-05-16 04:28:13 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-05-16 04:30:08 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-05-16 04:31:11 +0200 | vandita | (~vandit@85-238-93-102.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-16 04:33:05 +0200 | vandita | (~vandit@92-249-141-212.pool.digikabel.hu) |
| 2023-05-16 04:33:09 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-05-16 04:38:45 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-05-16 04:40:08 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 2023-05-16 04:41:19 +0200 | jargon | (~jargon@184.101.78.160) |
| 2023-05-16 04:42:00 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-05-16 04:43:38 +0200 | monix | (~quassel@a85-138-255-115.cpe.netcabo.pt) (Ping timeout: 268 seconds) |
| 2023-05-16 04:43:39 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2023-05-16 04:46:31 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-16 04:54:34 +0200 | <yin> | jackdk: what's special about the latest GHC? |
| 2023-05-16 04:55:55 +0200 | <jackdk> | yin: In the context of warning management, it is the one that has the longest expected lifespan |
| 2023-05-16 04:56:25 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-05-16 05:00:26 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 05:01:17 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-05-16 05:03:11 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 2023-05-16 05:05:01 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 05:09:50 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-05-16 05:15:39 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 05:19:10 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-16 05:19:59 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 05:22:17 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 256 seconds) |
| 2023-05-16 05:22:27 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 05:26:47 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 05:33:42 +0200 | bilegeek_ | (~bilegeek@2600:1008:b064:de63:98f1:d281:fbd5:fb30) |
| 2023-05-16 05:33:42 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 05:34:01 +0200 | bilegeek | (~bilegeek@2600:1008:b064:de63:98f1:d281:fbd5:fb30) (Read error: Connection reset by peer) |
| 2023-05-16 05:37:01 +0200 | rf | (~rf@2605:59c8:179c:f610:15fe:b2b8:39be:acc9) (Ping timeout: 240 seconds) |
| 2023-05-16 05:39:01 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 05:39:22 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 265 seconds) |
| 2023-05-16 05:45:21 +0200 | <Clinton[m]> | I vaguely recall someone saying that instead of writing:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/9b18dba8f26bd6de23e61e4717b9a52f4ce0…>) |
| 2023-05-16 05:45:44 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-16 05:50:19 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 05:50:51 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-05-16 05:53:01 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-16 05:55:28 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 06:02:23 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 06:05:56 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-16 06:09:31 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-16 06:09:43 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-05-16 06:10:05 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 06:22:31 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-16 06:26:01 +0200 | michalz | (~michalz@185.246.207.200) |
| 2023-05-16 06:26:31 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-16 06:32:13 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-05-16 06:38:22 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 06:40:44 +0200 | <geekosaur> | https://hackage.haskell.org/package/sop-core/docs/Data-SOP-Constraint.html#t:And ? |
| 2023-05-16 06:43:38 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 246 seconds) |
| 2023-05-16 06:48:47 +0200 | vandita | (~vandit@92-249-141-212.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-16 06:49:44 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-16 06:50:53 +0200 | vandita | (~vandit@77-234-92-239.pool.digikabel.hu) |
| 2023-05-16 06:54:46 +0200 | vglfr | (~vglfr@209.198.137.226) (Remote host closed the connection) |
| 2023-05-16 06:55:56 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:c1b6:6fd:e6a9:715a) |
| 2023-05-16 06:58:25 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:c1b6:6fd:e6a9:715a) (Read error: Connection reset by peer) |
| 2023-05-16 06:58:39 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:c1b6:6fd:e6a9:715a) |
| 2023-05-16 07:01:27 +0200 | zinguane | (~zinguane@p54af86ca.dip0.t-ipconnect.de) |
| 2023-05-16 07:04:15 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-05-16 07:05:06 +0200 | biberu | (~biberu@user/biberu) |
| 2023-05-16 07:12:05 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:17dd:1c4:8522:e5d8) (Remote host closed the connection) |
| 2023-05-16 07:12:59 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-16 07:20:36 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-16 07:20:53 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-05-16 07:21:47 +0200 | biberu | (~biberu@user/biberu) |
| 2023-05-16 07:22:18 +0200 | Everything | (~Everythin@46.185.124.65) (Quit: leaving) |
| 2023-05-16 07:22:27 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-05-16 07:22:56 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2023-05-16 07:23:35 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-05-16 07:24:11 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-05-16 07:40:22 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-05-16 07:40:53 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-05-16 07:43:05 +0200 | Helle | (~helle@user/Helle) (Ping timeout: 268 seconds) |
| 2023-05-16 07:44:14 +0200 | Helle | (~helle@user/Helle) |
| 2023-05-16 07:45:45 +0200 | Sauvin | (~sauvin@user/Sauvin) (Quit: Leaving) |
| 2023-05-16 07:55:04 +0200 | Sauvin | (~sauvin@user/Sauvin) |
| 2023-05-16 08:01:02 +0200 | acidjnk | (~acidjnk@p200300d6e7072f26edc37016ab40feea.dip0.t-ipconnect.de) |
| 2023-05-16 08:07:12 +0200 | potash | (~potash@ptr-7tzn4e7c3o75dg5jx18.18120a2.ip6.access.telenet.be) |
| 2023-05-16 08:07:12 +0200 | potash | (~potash@ptr-7tzn4e7c3o75dg5jx18.18120a2.ip6.access.telenet.be) (Changing host) |
| 2023-05-16 08:07:12 +0200 | potash | (~potash@user/foghorn) |
| 2023-05-16 08:09:20 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-05-16 08:18:49 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-16 08:19:04 +0200 | ubert | (~Thunderbi@p548c8bbe.dip0.t-ipconnect.de) (Quit: ubert) |
| 2023-05-16 08:19:30 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-16 08:19:59 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-05-16 08:20:18 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-16 08:21:34 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-16 08:22:27 +0200 | ubert | (~Thunderbi@p200300ecdf18b6c43adba9aa6565c50f.dip0.t-ipconnect.de) |
| 2023-05-16 08:22:44 +0200 | trev | (~trev@user/trev) |
| 2023-05-16 08:22:53 +0200 | ubert | (~Thunderbi@p200300ecdf18b6c43adba9aa6565c50f.dip0.t-ipconnect.de) (Client Quit) |
| 2023-05-16 08:23:42 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-05-16 08:25:35 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-16 08:34:54 +0200 | bilegeek_ | (~bilegeek@2600:1008:b064:de63:98f1:d281:fbd5:fb30) (Quit: Leaving) |
| 2023-05-16 08:34:55 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-16 08:36:26 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-05-16 08:41:14 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:948f:148:b116:d454) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2023-05-16 08:41:33 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:89a5:6020:579e:71c0) |
| 2023-05-16 08:42:55 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 08:43:05 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-16 08:44:45 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Read error: Connection reset by peer) |
| 2023-05-16 08:44:47 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 2023-05-16 08:45:45 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-05-16 08:47:16 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 250 seconds) |
| 2023-05-16 08:49:56 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-05-16 08:51:11 +0200 | pyook | (~puke@user/puke) (Ping timeout: 240 seconds) |
| 2023-05-16 08:51:59 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-16 09:02:07 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 09:02:24 +0200 | <Inst> | so wait, (.) and ($) are CPS to an extent? |
| 2023-05-16 09:02:31 +0200 | <Inst> | :t flip (.) |
| 2023-05-16 09:02:32 +0200 | <lambdabot> | (a -> b) -> (b -> c) -> a -> c |
| 2023-05-16 09:07:25 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 09:07:57 +0200 | <[exa]> | depends on the extent |
| 2023-05-16 09:08:19 +0200 | <Inst> | i still don't get how CPS forces tail recursion |
| 2023-05-16 09:08:47 +0200 | oo_miguel | (~Thunderbi@77.252.47.78) |
| 2023-05-16 09:09:32 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 09:09:48 +0200 | <[exa]> | you can hard-convert non-CPS `f` to a poor man's CPS version as (.f) but that's it I guess |
| 2023-05-16 09:10:36 +0200 | <[exa]> | how do you mean "forces"? as in evaluates or enforces? |
| 2023-05-16 09:12:23 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-16 09:13:49 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2023-05-16 09:14:21 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 2023-05-16 09:16:44 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:c1b6:6fd:e6a9:715a) (Read error: Connection reset by peer) |
| 2023-05-16 09:17:59 +0200 | vandita | (~vandit@77-234-92-239.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-16 09:18:12 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:c1b6:6fd:e6a9:715a) |
| 2023-05-16 09:19:53 +0200 | vandita | (~vandit@80-95-82-45.pool.digikabel.hu) |
| 2023-05-16 09:21:33 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-16 09:28:13 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-16 09:29:17 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-16 09:37:23 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-16 09:39:42 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-05-16 09:39:46 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2023-05-16 09:41:28 +0200 | cheater_ | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-16 09:42:24 +0200 | <merijn> | Any experts have any life hacks to get GHC to stop complaining about unused imports? |
| 2023-05-16 09:43:19 +0200 | chomwitt | (~chomwitt@2a02:587:7a0a:e700:1ac0:4dff:fedb:a3f1) |
| 2023-05-16 09:44:33 +0200 | <jade[m]> | -Wno-unused-imports? |
| 2023-05-16 09:44:51 +0200 | <_________> | or just add some parens: "the form import M() is never reported as an unused import" ;) |
| 2023-05-16 09:44:51 +0200 | <merijn> | jade[m]: obviously, but I mean a single one |
| 2023-05-16 09:45:17 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c232:d320:bfea:8adf) |
| 2023-05-16 09:45:23 +0200 | <merijn> | The problem is that I have an explicit import that, annoyingly was moved to Prelude in recent base, so now it bitches about the import being unused |
| 2023-05-16 09:45:33 +0200 | <merijn> | But if I remove the import everything breaks on older GHC |
| 2023-05-16 09:45:56 +0200 | <jade[m]> | can you use a base-version if-pragma thingy? |
| 2023-05-16 09:46:00 +0200 | <jade[m]> | I think that's a thing? |
| 2023-05-16 09:46:19 +0200 | <merijn> | jade[m]: If you enable CPP and then I need to that everywhere, yeah, which is also annoying :\ |
| 2023-05-16 09:46:56 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-16 09:47:02 +0200 | <Hecate> | CPP is not that bad |
| 2023-05-16 09:47:12 +0200 | <Hecate> | less worse than the annoying warning at least :P |
| 2023-05-16 09:47:13 +0200 | <merijn> | I mean, it kinda is :p |
| 2023-05-16 09:47:17 +0200 | <Hecate> | merijn: how big is your project? |
| 2023-05-16 09:47:22 +0200 | chele | (~chele@user/chele) |
| 2023-05-16 09:47:32 +0200 | <Hecate> | you could consider a custom prelude that gathers all your CPP |
| 2023-05-16 09:47:37 +0200 | <Hecate> | and re-export tricks |
| 2023-05-16 09:47:38 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-16 09:47:38 +0200 | cheater_ | cheater |
| 2023-05-16 09:47:42 +0200 | <merijn> | 15-20k LOC |
| 2023-05-16 09:47:53 +0200 | <Hecate> | so not a 3-files library |
| 2023-05-16 09:47:54 +0200 | <merijn> | Hecate: Yeah, I was kinda considering that |
| 2023-05-16 09:47:58 +0200 | <Hecate> | aye perhaps it's the best |
| 2023-05-16 09:48:24 +0200 | <merijn> | Hecate: I just wish unused-import ignored duplicate from Prelude so people continually adding shit to Prelude doesn't break everything |
| 2023-05-16 09:48:47 +0200 | <merijn> | Since, apparently, "shoving everything into Prelude" is what "we" want nowadays |
| 2023-05-16 09:49:23 +0200 | <Hecate> | merijn: what's the item that bothers you? |
| 2023-05-16 09:49:51 +0200 | <merijn> | Hecate: this time it's asum that was moved from Data.Foldable into both Control.Applicative and Prelude, apparently |
| 2023-05-16 09:50:05 +0200 | <Hecate> | ok |
| 2023-05-16 09:50:08 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 09:50:09 +0200 | <merijn> | but this isn't the first time this happens |
| 2023-05-16 09:50:32 +0200 | <Hecate> | so qualified imports can't really help you here |
| 2023-05-16 09:50:35 +0200 | <jade[m]> | I wonder if we would be better of if there was no prelude whatsoever, and all imports would be explicit |
| 2023-05-16 09:50:38 +0200 | <Hecate> | weird I wonder when it happened |
| 2023-05-16 09:50:41 +0200 | <jade[m]> | probably not |
| 2023-05-16 09:50:52 +0200 | <merijn> | Hecate: All my imports are always using either qualifications or explicit import lists |
| 2023-05-16 09:51:06 +0200 | <merijn> | Hecate: So generally "stuff going into Prelude" is the only thing that affects me |
| 2023-05-16 09:51:31 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-16 09:51:47 +0200 | <Hecate> | jade[m]: some stuff you really want accessible, but I agree prelude is too big. The problem is that we also have to explicitly import every module we need, instead of being able to reference them |
| 2023-05-16 09:51:49 +0200 | <merijn> | Hecate: Which is why I'm now considering if changing unused-imports to ignore duplicates from Prelude and adding a more pedantic warning that includes even Prelude would be worth it |
| 2023-05-16 09:52:10 +0200 | <Hecate> | I miss Elixir on that point |
| 2023-05-16 09:52:10 +0200 | <Hecate> | just being able to write List.map |
| 2023-05-16 09:52:22 +0200 | <merijn> | Hecate: Then I can just disable the Prelude warning and keep everything else |
| 2023-05-16 09:54:04 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-05-16 09:54:47 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 264 seconds) |
| 2023-05-16 09:56:47 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-05-16 09:57:39 +0200 | <merijn> | Hecate: ugh, actually re-exporting it is just gonna make me have to use CPP in a different module and still modify everything else too |
| 2023-05-16 09:58:59 +0200 | <_________> | merijn: what if you add dummy, unused function e.g. '_ = Prelude.map' ? ghc doesn't seem to complain about it. |
| 2023-05-16 09:59:21 +0200 | <merijn> | GHC absolutely does complain about unused functions |
| 2023-05-16 09:59:31 +0200 | <merijn> | It only does not if you don't have an export list |
| 2023-05-16 10:05:02 +0200 | <_________> | merijn: https://paste.tomsmeding.com/gjxeoRlW - for me ghc doesn't complain about Prelude not being used in M.hs nor about _ being unused. |
| 2023-05-16 10:05:19 +0200 | gurkenglas | (~user@dynamic-046-114-178-145.46.114.pool.telefonica.de) |
| 2023-05-16 10:06:23 +0200 | <merijn> | You're import Prelude qualified there, though? |
| 2023-05-16 10:06:32 +0200 | <merijn> | *importing |
| 2023-05-16 10:06:39 +0200 | <_________> | yeah, to be sure I'm not using it anywhere else |
| 2023-05-16 10:07:21 +0200 | <_________> | if I remove "_ = P.map" ghc complains |
| 2023-05-16 10:07:45 +0200 | <_________> | so it might count as a hack to silence unused import, imo ;) |
| 2023-05-16 10:08:42 +0200 | <merijn> | _________: Yeah, but you can't do that if Prelude isn't imported qualified and that's, uh, a rather invasive change with 0 change of happening :p |
| 2023-05-16 10:09:20 +0200 | <_________> | ok, right, hmm |
| 2023-05-16 10:10:04 +0200 | <_________> | when Prelude is not qualified it also works ;) |
| 2023-05-16 10:12:09 +0200 | <_________> | just try adding `_ = map` at the top to silence the unused import |
| 2023-05-16 10:12:45 +0200 | <merijn> | _________: My problem is that Prelude is providing a name that I am *also* importing from Data.Foldable |
| 2023-05-16 10:13:24 +0200 | <merijn> | The name *is* actually used, but it complains because it already has it from Prelude, so the Data.Foldable import is "unused" (except on the previous base versions Prelude doesn't export it, so I *need* the Data.Foldable import) |
| 2023-05-16 10:23:43 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-05-16 10:27:11 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 264 seconds) |
| 2023-05-16 10:32:42 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-16 10:35:11 +0200 | mmhat | (~mmh@p200300f1c7066850ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-05-16 10:35:32 +0200 | mmhat | (~mmh@p200300f1c7066850ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-05-16 10:37:21 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:c1b6:6fd:e6a9:715a) (Ping timeout: 256 seconds) |
| 2023-05-16 10:37:44 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-16 10:39:11 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-05-16 10:39:20 +0200 | cheater_ | cheater |
| 2023-05-16 10:39:56 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) (Ping timeout: 250 seconds) |
| 2023-05-16 10:40:13 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-16 10:40:31 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-16 10:40:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) |
| 2023-05-16 10:40:58 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-05-16 10:41:35 +0200 | vglfr | (~vglfr@209.198.137.226) (Read error: Connection reset by peer) |
| 2023-05-16 10:42:43 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-16 10:45:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) (Ping timeout: 248 seconds) |
| 2023-05-16 10:45:28 +0200 | vglfr | (~vglfr@209.198.137.226) (Read error: Connection reset by peer) |
| 2023-05-16 10:45:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-05-16 10:45:39 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-16 10:45:50 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-05-16 10:45:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-05-16 10:47:09 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-05-16 10:51:33 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-16 10:52:43 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) |
| 2023-05-16 10:55:01 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-16 10:57:47 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-05-16 10:57:56 +0200 | cheater_ | cheater |
| 2023-05-16 11:00:26 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 11:01:06 +0200 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) (Remote host closed the connection) |
| 2023-05-16 11:02:17 +0200 | acidjnk | (~acidjnk@p200300d6e7072f26edc37016ab40feea.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-05-16 11:04:59 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 264 seconds) |
| 2023-05-16 11:12:09 +0200 | acidjnk | (~acidjnk@p200300d6e7072f26edc37016ab40feea.dip0.t-ipconnect.de) |
| 2023-05-16 11:13:54 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 11:18:24 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 248 seconds) |
| 2023-05-16 11:35:48 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-05-16 11:37:05 +0200 | akegalj | (~akegalj@78-0-131-87.adsl.net.t-com.hr) |
| 2023-05-16 11:39:18 +0200 | vandita | (~vandit@80-95-82-45.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-05-16 11:40:15 +0200 | steviant | (~o@user/steviant) |
| 2023-05-16 11:41:06 +0200 | vandita | (~vandit@91-83-1-235.pool.digikabel.hu) |
| 2023-05-16 11:41:34 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-05-16 11:41:55 +0200 | steviant | (~o@user/steviant) () |
| 2023-05-16 11:50:05 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) (Ping timeout: 265 seconds) |
| 2023-05-16 11:55:03 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-05-16 12:01:21 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-16 12:03:15 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) |
| 2023-05-16 12:11:02 +0200 | <tomsmeding> | merijn: https://github.com/haskell/core-libraries-committee/issues/167 |
| 2023-05-16 12:12:31 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2023-05-16 12:13:25 +0200 | <merijn> | tomsmeding: Bodigrim is incorrect |
| 2023-05-16 12:13:37 +0200 | <merijn> | because the "hiding" will trigger another warning in earlier base versions |
| 2023-05-16 12:13:57 +0200 | <merijn> | "import Prelude hiding (asum)" gives a warning that Prelude doesn't export asum in older base |
| 2023-05-16 12:14:46 +0200 | <tomsmeding> | merijn: in the case of #167 it will work, right, because Prelude does export some parts of Foldable even in earlier version |
| 2023-05-16 12:14:46 +0200 | <tomsmeding> | s |
| 2023-05-16 12:15:04 +0200 | <tomsmeding> | just wanted to send this to you because it sounded relevant and to see you get angry :p |
| 2023-05-16 12:21:18 +0200 | quintasan | (~quassel@quintasan.pl) () |
| 2023-05-16 12:21:29 +0200 | quintasan | (~quassel@quintasan.pl) |
| 2023-05-16 12:21:35 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 12:23:00 +0200 | <probie> | The Foldable type class always seemed a bit weird to me. The name implies that it's "things you can fold over", but the expectation is that it's "things you can fold over as if they were list", then with things like `foldr'` thrown in just in case you can _also_ fold over it in a different way |
| 2023-05-16 12:24:51 +0200 | <tomsmeding> | probie: foldMap does exhibit your expected structure |
| 2023-05-16 12:25:05 +0200 | <tomsmeding> | but you're right that it's quite specialised to lists |
| 2023-05-16 12:25:36 +0200 | <tomsmeding> | ah, unless you interpret "fold" in the catamorphism sense, in which case the name is indeed weird |
| 2023-05-16 12:26:12 +0200 | <tomsmeding> | but a general typeclass with the "simplicity" of Foldable for general catamorphisms is not going to fly |
| 2023-05-16 12:26:45 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 2023-05-16 12:28:19 +0200 | <probie> | One day recursion-schemes will be more mainstream |
| 2023-05-16 12:28:57 +0200 | <tomsmeding> | probie: I mean, having to get base functors into the picture in the first place already makes the whole thing quite a bit more complex |
| 2023-05-16 12:32:12 +0200 | <probie> | I can still dream |
| 2023-05-16 12:37:35 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-05-16 12:40:01 +0200 | <probie> | but my belief is that what is currently known as `Foldable` should have had a name that was less to do with folds, and more to do with lists (not that I'm suggesting changing it at this point) |
| 2023-05-16 12:41:37 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) |
| 2023-05-16 12:42:02 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-05-16 12:42:47 +0200 | akegalj | (~akegalj@78-0-131-87.adsl.net.t-com.hr) (Ping timeout: 240 seconds) |
| 2023-05-16 12:47:07 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) (Ping timeout: 256 seconds) |
| 2023-05-16 12:49:27 +0200 | monix | (~quassel@a85-138-255-115.cpe.netcabo.pt) |
| 2023-05-16 12:58:36 +0200 | akegalj | (~akegalj@141-136-166-90.dsl.iskon.hr) |
| 2023-05-16 13:00:06 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-05-16 13:02:40 +0200 | mechap | (~mechap@user/mechap) |
| 2023-05-16 13:10:32 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 268 seconds) |
| 2023-05-16 13:12:11 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-05-16 13:16:05 +0200 | vglfr | (~vglfr@209.198.137.226) (Ping timeout: 268 seconds) |
| 2023-05-16 13:20:33 +0200 | CiaoSen | (~Jura@dynamic-046-114-221-157.46.114.pool.telefonica.de) |
| 2023-05-16 13:23:13 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:642d:5ce5:4887:9199) |
| 2023-05-16 13:30:17 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 13:32:12 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-05-16 13:34:56 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 248 seconds) |
| 2023-05-16 13:41:03 +0200 | pandeyan | (~pandeyan@135-180-53-134.fiber.dynamic.sonic.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-05-16 13:42:57 +0200 | anpad | (~pandeyan@user/anpad) |
| 2023-05-16 13:44:08 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-05-16 13:45:35 +0200 | vandita | (~vandit@91-83-1-235.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-16 13:47:40 +0200 | vandita | (~vandit@94-21-48-45.pool.digikabel.hu) |
| 2023-05-16 13:48:26 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-16 13:53:05 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-16 13:53:22 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:b0a5:d562:30d8:fcbb) (Remote host closed the connection) |
| 2023-05-16 13:53:41 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-05-16 13:55:47 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 2023-05-16 13:55:51 +0200 | <merijn> | What are people using as their "default" GHC version atm? I finally managed to untangle myself from 8.10, but not sure whether I should be going for 9.4 or 9.6 as default starting point now |
| 2023-05-16 13:58:42 +0200 | <geekosaur> | I'm still on 9.2.7 |
| 2023-05-16 13:58:48 +0200 | <_________> | fedora has ghc 9.2, gentoo and debian 9.0 |
| 2023-05-16 13:58:51 +0200 | <geekosaur> | will consider 9.6.2 when it comes out |
| 2023-05-16 13:59:03 +0200 | <merijn> | geekosaur: Yeah, I was thinking of maybe 9.2 too, but I was thinking that was maybe too old |
| 2023-05-16 13:59:14 +0200 | <merijn> | _________: 9.0 is a bit of a "ick" release :p |
| 2023-05-16 13:59:51 +0200 | <merijn> | Usually I lag the most recent GHC by one release (so that'd be 9.4), but 9.6 has been out for a while and 9.8 will come this summer, so I was thinking maybe I should just go straight for 9.6 now |
| 2023-05-16 14:00:29 +0200 | <geekosaur> | of late I've just been doing every second release and skipping .1 |
| 2023-05-16 14:00:51 +0200 | <geekosaur> | so I went 8.6 -> 8.10 -> 9.2 and will do 9.6 |
| 2023-05-16 14:01:20 +0200 | <merijn> | Maybe I should check the 9.6 release notes and see if there's anything sexy |
| 2023-05-16 14:01:39 +0200 | <geekosaur> | not really, it seems to mostly be a bugfix release |
| 2023-05-16 14:02:22 +0200 | <merijn> | bah |
| 2023-05-16 14:02:33 +0200 | <merijn> | 9.6 has a warning for * as type by default, ick |
| 2023-05-16 14:05:20 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:2492:e200:561f:c4dd:78fa:8040) |
| 2023-05-16 14:10:09 +0200 | zinguane2 | (~zinguane@pd9e856a3.dip0.t-ipconnect.de) |
| 2023-05-16 14:11:13 +0200 | zinguane | (~zinguane@p54af86ca.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2023-05-16 14:21:41 +0200 | juano | (~juano@149.19.168.227) |
| 2023-05-16 14:24:50 +0200 | juano | (~juano@149.19.168.227) (K-Lined) |
| 2023-05-16 14:28:31 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-16 14:32:08 +0200 | acidjnk | (~acidjnk@p200300d6e7072f26edc37016ab40feea.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-16 14:40:27 +0200 | mud | (~mud@user/kadoban) |
| 2023-05-16 14:42:47 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-16 14:44:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) |
| 2023-05-16 14:48:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) (Ping timeout: 250 seconds) |
| 2023-05-16 14:53:45 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 14:57:59 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 15:03:04 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-16 15:08:14 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-16 15:09:46 +0200 | mncheck | (~mncheck@193.224.205.254) (Read error: Connection reset by peer) |
| 2023-05-16 15:16:16 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 2023-05-16 15:16:18 +0200 | tomsmeding | is on 9.4 |
| 2023-05-16 15:20:29 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-16 15:20:29 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-16 15:20:29 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-16 15:20:32 +0200 | captnemo | (~captnemo@193.32.127.232) |
| 2023-05-16 15:25:58 +0200 | <dminuoso> | merijn: Oh I know! We could rename Foldable to something with the words Free and Monoid in it! |
| 2023-05-16 15:26:05 +0200 | <dminuoso> | That might make it clearer. |
| 2023-05-16 15:26:55 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 15:31:31 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 15:31:32 +0200 | kuribas | (~user@ptr-17d51epufhfqyjsws3y.18120a2.ip6.access.telenet.be) |
| 2023-05-16 15:31:36 +0200 | <byorgey> | =D |
| 2023-05-16 15:34:10 +0200 | gurkenglas | (~user@dynamic-046-114-178-145.46.114.pool.telefonica.de) (Ping timeout: 250 seconds) |
| 2023-05-16 15:39:08 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 240 seconds) |
| 2023-05-16 15:40:12 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:30e0:dc16:93:df06) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2023-05-16 15:40:34 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:f423:c4f2:ff81:26d4) |
| 2023-05-16 15:42:54 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-16 15:43:57 +0200 | <Hecate> | hahaha |
| 2023-05-16 15:44:14 +0200 | gurkenglas | (~user@dynamic-046-114-178-145.46.114.pool.telefonica.de) |
| 2023-05-16 15:47:09 +0200 | <carbolymer> | chatgpt has failed me - how can I get constructor name of a Typeable ? |
| 2023-05-16 15:47:27 +0200 | <carbolymer> | `tyConName . typeRepTyCon . typeOf` returns type name |
| 2023-05-16 15:47:29 +0200 | <merijn> | Data.Data.Data or something, probably? |
| 2023-05-16 15:47:41 +0200 | <merijn> | carbolymer: Typeable only knows about types |
| 2023-05-16 15:47:55 +0200 | <carbolymer> | merijn: why there's `tyConName` then? |
| 2023-05-16 15:48:07 +0200 | <merijn> | type constructor name? |
| 2023-05-16 15:48:18 +0200 | <merijn> | That clearly returns the name of the type constructor? |
| 2023-05-16 15:48:28 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-05-16 15:48:33 +0200 | <merijn> | You want Data.Data.Data |
| 2023-05-16 15:48:39 +0200 | <carbolymer> | idk, there's no doc |
| 2023-05-16 15:48:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c232:d320:bfea:8adf) (Quit: WeeChat 2.8) |
| 2023-05-16 15:48:53 +0200 | <merijn> | or uniplate or something |
| 2023-05-16 15:49:39 +0200 | <merijn> | I'm sure Hecate would love to know about these missing docs :) |
| 2023-05-16 15:49:46 +0200 | merijn | runs and hides |
| 2023-05-16 15:50:21 +0200 | texasmynsted | faceplam --> chatgpt |
| 2023-05-16 15:50:49 +0200 | <carbolymer> | https://stackoverflow.com/a/18297508 wow, `head . words . show` |
| 2023-05-16 15:51:03 +0200 | <dminuoso> | carbolymer: toConstr |
| 2023-05-16 15:51:38 +0200 | <carbolymer> | merijn, dminuoso, thanks, Data.Data seems the best option here |
| 2023-05-16 15:53:41 +0200 | vandita | (~vandit@94-21-48-45.pool.digikabel.hu) (Ping timeout: 265 seconds) |
| 2023-05-16 15:55:13 +0200 | vandita | (~vandit@fibhost-66-208-163.fibernet.hu) |
| 2023-05-16 15:55:18 +0200 | ames | (~amelia@offtopia/offtopian/amelia) (Quit: Bye!) |
| 2023-05-16 15:55:33 +0200 | <jean-paul[m]> | I'm looking for a way to clean up these offset calculations for a Data.Binary.Binary instance - https://whetstone.private.storage/privatestorage/tahoe-ssk/-/blob/5.decoding-and-decryption/src/Ta… - it would be great if Put exposed how many bytes have been put, or did some other tracking to help. Since it doesn't ... is there a way to do this more nicely? |
| 2023-05-16 15:55:38 +0200 | ames | (~amelia@offtopia/offtopian/amelia) |
| 2023-05-16 15:56:16 +0200 | manwithl- | (manwithluc@hoeven.dossingday.ml) (Quit: ZNC - https://znc.in) |
| 2023-05-16 15:56:54 +0200 | <dminuoso> | carbolymer: Yup. Roughly `Data` is runtime Generic stuff |
| 2023-05-16 15:56:54 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:642d:5ce5:4887:9199) (Read error: Connection reset by peer) |
| 2023-05-16 15:57:05 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-05-16 15:57:14 +0200 | manwithluck | (manwithluc@hoeven.dossingday.ml) |
| 2023-05-16 15:57:32 +0200 | <dminuoso> | The documentation of it all is very lacking. |
| 2023-05-16 15:58:00 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-16 15:58:17 +0200 | <merijn> | jean-paul[m]: I mean, dumb suggestion: You can just "runPut" (or whatever it was called), get a ByteString and query it's size, then "serialise" the ByteString? :p |
| 2023-05-16 15:59:05 +0200 | <merijn> | Not super efficient, but probably efficient enough unless this is some hot loop |
| 2023-05-16 16:01:11 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-16 16:01:14 +0200 | manwithluck | (manwithluc@hoeven.dossingday.ml) (Remote host closed the connection) |
| 2023-05-16 16:01:29 +0200 | manwithluck | (manwithluc@hoeven.dossingday.ml) |
| 2023-05-16 16:02:39 +0200 | <Hecate> | merijn: <3 <3 |
| 2023-05-16 16:02:52 +0200 | manwithluck | (manwithluc@hoeven.dossingday.ml) (Remote host closed the connection) |
| 2023-05-16 16:03:49 +0200 | manwithluck | (manwithluc@hoeven.dossingday.ml) |
| 2023-05-16 16:05:01 +0200 | manwithluck | (manwithluc@hoeven.dossingday.ml) (Remote host closed the connection) |
| 2023-05-16 16:05:16 +0200 | manwithluck | (manwithluc@2406:da14:b37:1300:8c42:7d16:8950:6c74) |
| 2023-05-16 16:06:20 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-16 16:10:30 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 16:12:21 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-05-16 16:14:47 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 16:16:01 +0200 | manwithluck | (manwithluc@2406:da14:b37:1300:8c42:7d16:8950:6c74) (Ping timeout: 240 seconds) |
| 2023-05-16 16:18:54 +0200 | manwithluck | (manwithluc@hoeven.dossingday.ml) |
| 2023-05-16 16:19:06 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-05-16 16:22:43 +0200 | akegalj | (~akegalj@141-136-166-90.dsl.iskon.hr) (Quit: leaving) |
| 2023-05-16 16:23:35 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-05-16 16:30:42 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-05-16 16:30:55 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-05-16 16:35:17 +0200 | elain4 | (~textual@static-71-251-226-194.rcmdva.fios.verizon.net) |
| 2023-05-16 16:42:50 +0200 | acidjnk | (~acidjnk@p200300d6e7072f26a02f55797abeb791.dip0.t-ipconnect.de) |
| 2023-05-16 16:46:59 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2023-05-16 16:47:22 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-05-16 16:51:29 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 16:52:31 +0200 | gurkenglas | (~user@dynamic-046-114-178-145.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-16 16:56:01 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 16:56:04 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-05-16 16:58:28 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-16 17:01:07 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-16 17:04:31 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-16 17:04:32 +0200 | cheater_ | cheater |
| 2023-05-16 17:08:09 +0200 | <jean-paul[m]> | is there a good reason Data.ByteString.Lazy lengths are represented as Int64 instead of Word64? |
| 2023-05-16 17:08:48 +0200 | <merijn> | jean-paul[m]: Yes |
| 2023-05-16 17:08:58 +0200 | <merijn> | jean-paul[m]: Because you, inevitably, want to do math on their lengths |
| 2023-05-16 17:09:07 +0200 | <merijn> | and converting every time and in every API is annoying as shit |
| 2023-05-16 17:09:48 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-16 17:09:51 +0200 | <merijn> | jean-paul[m]: I've tried using purely unsigned in C++ a few things that indicated length and it's just so impractical |
| 2023-05-16 17:10:26 +0200 | <merijn> | And, errors are easier to detect, since underflow won't wrap around |
| 2023-05-16 17:13:04 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 248 seconds) |
| 2023-05-16 17:14:27 +0200 | dsrt^ | (~dsrt@73.237.206.60) (Remote host closed the connection) |
| 2023-05-16 17:19:23 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2023-05-16 17:22:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) |
| 2023-05-16 17:23:03 +0200 | <jean-paul[m]> | Okay, sounds plausible, thanks. |
| 2023-05-16 17:24:17 +0200 | <merijn> | jean-paul[m]: As an experiment, you could compare Vector (which uses Int for indices) and Array indexed with Word and write some code in both to compare the UX :) |
| 2023-05-16 17:25:33 +0200 | <geekosaur> | we (xmonad) do a lot of stuff with X11 types, some of which are unsigned and some of which are signed. we end up using `fromIntegral` so much that we have an alias `fi` for it |
| 2023-05-16 17:25:47 +0200 | <jean-paul[m]> | That sounds like it would be educational, indeed. At the moment I am dealing with a specific case where I have a data format that represents a lot of values as unsigned, including the length of some fields. It would have been convenient here, I think, for ByteString length to have a matching type ... but maybe not more generally. |
| 2023-05-16 17:26:18 +0200 | <jean-paul[m]> | Heh. And right now I am combing through a PR removing all of the unsafe fromIntegrals :) |
| 2023-05-16 17:26:23 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) |
| 2023-05-16 17:27:00 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-05-16 17:27:27 +0200 | <jean-paul[m]> | It would probably be a good excuse to finally look at https://hackage.haskell.org/package/witch |
| 2023-05-16 17:27:51 +0200 | <merijn> | ooh |
| 2023-05-16 17:28:10 +0200 | <merijn> | I need to look at that and see if I can either integrate it into or pilfer some techniques for validated-literals :p |
| 2023-05-16 17:30:46 +0200 | <merijn> | Although witch has to many dependencies to depend on it, I think |
| 2023-05-16 17:35:11 +0200 | <merijn> | I don't suppose there's a good for a function with polymorphic input to force monomorphisation of polymorphic literals? i.e. polymorphic function 'foo' applied to literal 2.0 creates ambiguity due to '2.0 :: Fractional a => a' that I want to avoid |
| 2023-05-16 17:35:24 +0200 | mauke | (~mauke@user/mauke) |
| 2023-05-16 17:38:40 +0200 | yin | zzz |
| 2023-05-16 17:41:35 +0200 | AlexZenon | (~alzenon@178.34.151.85) (Ping timeout: 264 seconds) |
| 2023-05-16 17:41:52 +0200 | Alex_test | (~al_test@178.34.151.85) (Ping timeout: 268 seconds) |
| 2023-05-16 17:42:58 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-05-16 17:45:28 +0200 | Vajb | (~Vajb@2001:999:489:9fc7:2a48:2fed:ac18:a255) (Ping timeout: 240 seconds) |
| 2023-05-16 17:45:55 +0200 | Vajb | (~Vajb@2001:999:58c:d84b:ffab:e4c9:3dfc:b199) |
| 2023-05-16 17:46:28 +0200 | Alex_test | (~al_test@178.34.151.85) |
| 2023-05-16 17:49:57 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-16 17:50:31 +0200 | CiaoSen | (~Jura@dynamic-046-114-221-157.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-16 17:50:43 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 17:52:01 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-16 17:52:19 +0200 | Everything | (~Everythin@46.185.124.65) |
| 2023-05-16 17:54:15 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2023-05-16 17:55:59 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2023-05-16 17:58:23 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 18:00:19 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 18:02:05 +0200 | ozkutuk[m] | (~ozkutuk@2001:470:69fc:105::2:9af8) (Remote host closed the connection) |
| 2023-05-16 18:02:15 +0200 | AlexZenon | (~alzenon@178.34.151.85) |
| 2023-05-16 18:02:55 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-05-16 18:04:31 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 18:07:48 +0200 | aavogt[m] | (~aavogtmat@2001:470:69fc:105::3:4007) (Remote host closed the connection) |
| 2023-05-16 18:08:39 +0200 | phma | (~phma@host-67-44-208-44.hnremote.net) (Read error: Connection reset by peer) |
| 2023-05-16 18:09:56 +0200 | phma | (phma@2001:5b0:215a:8268:c7a7:f34c:bb4f:1f1d) |
| 2023-05-16 18:15:09 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-16 18:15:27 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-05-16 18:16:34 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-05-16 18:19:59 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 240 seconds) |
| 2023-05-16 18:21:32 +0200 | <maralorn> | I have a problem debugging a space leak: When I use -hT it primarily says "THUNK" or "THUNK_1_0" but I have no clue what type that thunk has or where in the code it is. When I use infotable profiling and -hi I see the entries which are the thunks but they don’t get any type or source annotations. |
| 2023-05-16 18:21:45 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-05-16 18:25:00 +0200 | biberu | (~biberu@user/biberu) |
| 2023-05-16 18:28:32 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-16 18:29:48 +0200 | econo | (uid147250@user/econo) |
| 2023-05-16 18:30:31 +0200 | mbuf | (~Shakthi@49.207.178.186) (Ping timeout: 240 seconds) |
| 2023-05-16 18:31:49 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 18:33:28 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:2492:e200:561f:c4dd:78fa:8040) (Ping timeout: 240 seconds) |
| 2023-05-16 18:37:59 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 18:43:27 +0200 | <Inst> | can i get some help with windows? |
| 2023-05-16 18:43:57 +0200 | <Inst> | it seems that when there's too many netsing levels, my builder fails :( |
| 2023-05-16 18:44:07 +0200 | vandita | (~vandit@fibhost-66-208-163.fibernet.hu) (Ping timeout: 256 seconds) |
| 2023-05-16 18:44:57 +0200 | <Inst> | erm, when my directory filepath is too long |
| 2023-05-16 18:45:28 +0200 | vandita | (~vandit@fibhost-66-208-163.fibernet.hu) |
| 2023-05-16 18:48:44 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-05-16 18:50:01 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-16 18:52:47 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 18:53:46 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 18:55:17 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-05-16 18:55:31 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Ping timeout: 240 seconds) |
| 2023-05-16 18:55:36 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-05-16 18:57:25 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 19:00:32 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-05-16 19:05:13 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-05-16 19:05:13 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-05-16 19:05:44 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 2023-05-16 19:08:54 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 19:12:32 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-16 19:13:47 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 265 seconds) |
| 2023-05-16 19:20:57 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-16 19:22:09 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 19:26:28 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 19:35:22 +0200 | vglfr | (~vglfr@209.198.137.226) (Read error: Connection reset by peer) |
| 2023-05-16 19:35:43 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-16 19:39:56 +0200 | michalz | (~michalz@185.246.207.200) (Ping timeout: 246 seconds) |
| 2023-05-16 19:41:19 +0200 | michalz | (~michalz@185.246.204.73) |
| 2023-05-16 19:43:48 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-16 19:45:08 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 19:47:44 +0200 | vglfr | (~vglfr@209.198.137.226) (Remote host closed the connection) |
| 2023-05-16 19:49:23 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 246 seconds) |
| 2023-05-16 19:53:52 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-16 19:56:16 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d893-fabe-7f46-e59e.rev.sfr.net) |
| 2023-05-16 19:58:03 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-16 20:02:07 +0200 | bcmiller | (~bm3719@66.42.95.185) |
| 2023-05-16 20:05:26 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-16 20:10:49 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2023-05-16 20:20:13 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 20:24:25 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 20:26:46 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-16 20:27:19 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-05-16 20:30:41 +0200 | mechap | (~mechap@user/mechap) |
| 2023-05-16 20:30:49 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-05-16 20:32:44 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-16 20:33:47 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 264 seconds) |
| 2023-05-16 20:36:53 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d893-fabe-7f46-e59e.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-16 20:37:12 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d893-fabe-7f46-e59e.rev.sfr.net) |
| 2023-05-16 20:47:29 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-05-16 20:59:25 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-16 21:04:30 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-16 21:05:38 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d893-fabe-7f46-e59e.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-16 21:05:57 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d893-fabe-7f46-e59e.rev.sfr.net) |
| 2023-05-16 21:10:23 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-05-16 21:10:45 +0200 | foul_owl | (~kerry@94.140.8.141) (Ping timeout: 240 seconds) |
| 2023-05-16 21:13:01 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-05-16 21:13:25 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-16 21:13:25 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-16 21:13:25 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-16 21:14:19 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-16 21:14:36 +0200 | <sm> | g'day Inst. There have been a lot of fixes for this (sad!) issue over the years, so a general recommendation would be to try newest versions of things and see if it helps. Or at least check their changelogs. |
| 2023-05-16 21:15:57 +0200 | rf | (~rf@142.99.241.246) |
| 2023-05-16 21:16:31 +0200 | simendsjo | (~user@84.211.91.241) |
| 2023-05-16 21:16:55 +0200 | <[exa]> | Inst: tbh windows may not be very good for doing software, there are spikey traps like this everywhere |
| 2023-05-16 21:16:58 +0200 | fryguybob | (~fryguybob@cpe-24-94-50-22.stny.res.rr.com) |
| 2023-05-16 21:24:07 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-05-16 21:25:06 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 268 seconds) |
| 2023-05-16 21:28:07 +0200 | bilegeek | (~bilegeek@2600:1008:b05f:85d9:37ae:29a:60b8:7b43) |
| 2023-05-16 21:28:27 +0200 | EvanR | (~EvanR@user/evanr) |
| 2023-05-16 21:30:37 +0200 | mechap | (~mechap@user/mechap) |
| 2023-05-16 21:31:25 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 240 seconds) |
| 2023-05-16 21:33:20 +0200 | briandaed | (~briandaed@185.234.210.211.r.toneticgroup.pl) |
| 2023-05-16 21:35:19 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-05-16 21:36:34 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 21:37:12 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-16 21:37:25 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-05-16 21:37:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) (Remote host closed the connection) |
| 2023-05-16 21:41:01 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-16 21:44:41 +0200 | <Artem[m]> | maralorn: I also didn't have too much luck with my attempts at infotable profiling, but just to double check: do you compile with `-finfo-table-map` **and** `-fdistinct-constructor-tables`? |
| 2023-05-16 21:45:34 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 21:47:19 +0200 | pavonia | (~user@user/siracusa) |
| 2023-05-16 21:47:55 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-05-16 21:49:20 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-05-16 21:49:47 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 246 seconds) |
| 2023-05-16 21:51:26 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-16 21:51:31 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 21:51:44 +0200 | econo | (uid147250@user/econo) |
| 2023-05-16 21:54:45 +0200 | <maralorn> | <Artem[m]> "maralorn: I also didn't have too..." <- Yes, I do. It was actually already helpful to me. |
| 2023-05-16 21:55:20 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-05-16 21:55:59 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 264 seconds) |
| 2023-05-16 21:56:13 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2023-05-16 21:56:15 +0200 | <Artem[m]> | Good to know. I wish there was more blog posts showing off this feature |
| 2023-05-16 21:56:46 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-05-16 21:57:05 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-05-16 22:01:50 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 2023-05-16 22:03:19 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-05-16 22:09:57 +0200 | chomwitt | (~chomwitt@2a02:587:7a0a:e700:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2023-05-16 22:12:23 +0200 | kuribas | (~user@ptr-17d51epufhfqyjsws3y.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-05-16 22:14:34 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 250 seconds) |
| 2023-05-16 22:18:24 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 22:18:38 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-05-16 22:18:38 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-05-16 22:18:38 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-16 22:18:50 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-d893-fabe-7f46-e59e.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-16 22:21:11 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-16 22:24:18 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 2023-05-16 22:26:20 +0200 | strugglingCrab | (~strugglin@2a02:a03f:acfa:b800:4bb1:2b03:6a62:c174) |
| 2023-05-16 22:26:21 +0200 | vglfr | (~vglfr@209.198.137.226) (Read error: Connection reset by peer) |
| 2023-05-16 22:28:33 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-16 22:30:47 +0200 | vglfr | (~vglfr@209.198.137.226) (Read error: Connection reset by peer) |
| 2023-05-16 22:31:20 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-16 22:32:01 +0200 | vglfr | (~vglfr@209.198.137.226) (Read error: Connection reset by peer) |
| 2023-05-16 22:32:36 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-16 22:32:38 +0200 | vglfr | (~vglfr@209.198.137.226) (Read error: Connection reset by peer) |
| 2023-05-16 22:33:05 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-16 22:35:11 +0200 | vglfr | (~vglfr@209.198.137.226) (Read error: Connection reset by peer) |
| 2023-05-16 22:35:37 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-16 22:35:40 +0200 | vglfr | (~vglfr@209.198.137.226) (Read error: Connection reset by peer) |
| 2023-05-16 22:36:21 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-16 22:38:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) |
| 2023-05-16 22:40:41 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-16 22:42:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) (Ping timeout: 240 seconds) |
| 2023-05-16 22:43:25 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-05-16 22:43:26 +0200 | cheater_ | cheater |
| 2023-05-16 22:44:20 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 22:44:26 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-16 22:44:39 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-05-16 22:45:59 +0200 | nick4 | (~nick@2600:8807:9103:b700:304f:94eb:f397:5ed) |
| 2023-05-16 22:48:52 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 265 seconds) |
| 2023-05-16 22:50:31 +0200 | nick4 | (~nick@2600:8807:9103:b700:304f:94eb:f397:5ed) (Ping timeout: 240 seconds) |
| 2023-05-16 22:50:35 +0200 | briandaed | (~briandaed@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection) |
| 2023-05-16 22:52:20 +0200 | rf | (~rf@142.99.241.246) (Remote host closed the connection) |
| 2023-05-16 22:52:44 +0200 | rf | (~rf@142.99.241.246) |
| 2023-05-16 22:53:14 +0200 | foul_owl | (~kerry@71.212.137.212) |
| 2023-05-16 22:56:27 +0200 | rf | (~rf@142.99.241.246) (Remote host closed the connection) |
| 2023-05-16 22:56:39 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-05-16 22:58:33 +0200 | vandita | (~vandit@fibhost-66-208-163.fibernet.hu) (Ping timeout: 256 seconds) |
| 2023-05-16 22:59:38 +0200 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
| 2023-05-16 23:00:01 +0200 | vglfr | (~vglfr@209.198.137.226) (Read error: Connection reset by peer) |
| 2023-05-16 23:00:06 +0200 | vandita | (~vandit@213-197-76-88.pool.digikabel.hu) |
| 2023-05-16 23:00:22 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-16 23:00:24 +0200 | vglfr | (~vglfr@209.198.137.226) (Read error: Connection reset by peer) |
| 2023-05-16 23:00:41 +0200 | captnemo | (~captnemo@193.32.127.232) |
| 2023-05-16 23:01:05 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-16 23:01:16 +0200 | captnemo | (~captnemo@193.32.127.232) (Client Quit) |
| 2023-05-16 23:01:40 +0200 | captnemo | (~captnemo@193.32.127.232) |
| 2023-05-16 23:01:55 +0200 | captnemo | (~captnemo@193.32.127.232) (Client Quit) |
| 2023-05-16 23:02:34 +0200 | captnemo | (~captnemo@193.32.127.232) |
| 2023-05-16 23:05:37 +0200 | oo_miguel | (~Thunderbi@77.252.47.78) (Ping timeout: 268 seconds) |
| 2023-05-16 23:08:23 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 23:13:01 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 2023-05-16 23:14:12 +0200 | td_ | (~td@i5387090E.versanet.de) (Quit: waking up from the american dream ...) |
| 2023-05-16 23:15:49 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-05-16 23:18:31 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-16 23:18:36 +0200 | td_ | (~td@i5387090E.versanet.de) |
| 2023-05-16 23:20:44 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-05-16 23:22:25 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2023-05-16 23:23:30 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2023-05-16 23:25:40 +0200 | michalz | (~michalz@185.246.204.73) (Remote host closed the connection) |
| 2023-05-16 23:29:03 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2023-05-16 23:30:06 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-16 23:33:16 +0200 | gurkenglas | (~user@dynamic-046-114-168-241.46.114.pool.telefonica.de) |
| 2023-05-16 23:42:11 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-05-16 23:45:21 +0200 | gurkenglas | (~user@dynamic-046-114-168-241.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-05-16 23:48:58 +0200 | strugglingCrab | (~strugglin@2a02:a03f:acfa:b800:4bb1:2b03:6a62:c174) (Ping timeout: 245 seconds) |
| 2023-05-16 23:50:42 +0200 | gurkenglas | (~user@dynamic-046-114-178-145.46.114.pool.telefonica.de) |
| 2023-05-16 23:53:34 +0200 | <Inst> | finally got continuations working in Haskell, but I can't write a good pure CPS function |
| 2023-05-16 23:53:35 +0200 | <Inst> | :( |
| 2023-05-16 23:54:05 +0200 | <Inst> | ContT Identity is almost performing as well as recursive accumulators, though, so now I want to know whether or not ContT IO is a useful type performance-wise |
| 2023-05-16 23:58:21 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-16 23:58:23 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
| 2023-05-16 23:58:26 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |