Newest at the top
2024-05-10 19:30:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-10 19:28:57 +0200 | <int-e> | (the `nested` thing in the comment is flawed though) |
2024-05-10 19:28:40 +0200 | <int-e> | justsomeguy: nothing |
2024-05-10 19:25:01 +0200 | <justsomeguy> | What am I doing wront with my lconcat function here? https://termbin.com/krr5 |
2024-05-10 19:04:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-10 18:52:52 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.2) |
2024-05-10 18:46:04 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Ping timeout: 246 seconds) |
2024-05-10 18:43:54 +0200 | billchenchina | (~billchenc@103.152.35.21) |
2024-05-10 18:43:38 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
2024-05-10 18:40:23 +0200 | billchenchina | (~billchenc@103.152.35.21) |
2024-05-10 18:40:02 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
2024-05-10 18:38:33 +0200 | mima | (~mmh@aftr-62-216-211-252.dynamic.mnet-online.de) (Ping timeout: 255 seconds) |
2024-05-10 18:34:58 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-10 18:23:47 +0200 | __monty__ | (~toonn@user/toonn) |
2024-05-10 18:23:15 +0200 | __monty__ | (~toonn@user/toonn) (Client Quit) |
2024-05-10 18:23:08 +0200 | __monty__ | (~toonn@user/toonn) |
2024-05-10 18:22:50 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-10 18:21:47 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-10 18:21:30 +0200 | brox66 | (~Guest42@user/brox66) (Quit: Client closed) |
2024-05-10 18:21:18 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-10 18:16:46 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
2024-05-10 18:13:44 +0200 | <glguy> | I don't know of any options for stack. I think you just have to configure your network first to use it |
2024-05-10 18:13:01 +0200 | <brox66> | glguy, I guess you are right. But nevertheless, if ipv6 doen't work for whatever reason, it would be good to be able to fall back to ipv4. I have seen others having the same problem. |
2024-05-10 18:12:31 +0200 | yeitrafferin | (~user@2a04:4540:720d:c100:db27:e626:fcd2:9951) (Quit: Leaving) |
2024-05-10 18:12:21 +0200 | <raehik> | I realize I can perform a transformation early so I never have to return a Natural, so I'm more certain the reification will get inlined now. so lucky this non-issue will remain so xd |
2024-05-10 18:11:16 +0200 | <lambdabot> | 9223372036854775807 |
2024-05-10 18:11:15 +0200 | <EvanR> | > maxBound :: Int |
2024-05-10 18:11:11 +0200 | <raehik> | you make a good point lambdabot |
2024-05-10 18:10:42 +0200 | <lambdabot> | 536870912 |
2024-05-10 18:10:40 +0200 | <EvanR> | > 2^29 |
2024-05-10 18:09:26 +0200 | <raehik> | I guess realistically no one's getting past 2^16. but curious if there's a hard stop |
2024-05-10 18:09:24 +0200 | <EvanR> | if you go over max Int, you'll probably have other problems first |
2024-05-10 18:08:02 +0200 | AlexZenon | (~alzenon@178.34.162.125) |
2024-05-10 18:07:59 +0200 | <raehik> | s/number of fields in a data type/number of fields in a constructor |
2024-05-10 18:07:42 +0200 | <raehik> | Does GHC place a limit on number of fields in a data type? I'm doing some generics and want to know that I can report the index of a field as an Int or something easier than a Natural. |
2024-05-10 18:05:27 +0200 | __monty_1 | __monty__ |
2024-05-10 18:05:19 +0200 | __monty__ | (~toonn@user/toonn) (Killed (NickServ (GHOST command used by __monty_1))) |
2024-05-10 18:05:03 +0200 | AlexZenon | (~alzenon@178.34.162.125) (Ping timeout: 260 seconds) |
2024-05-10 18:04:26 +0200 | __monty_1 | (~toonn@user/toonn) |
2024-05-10 18:02:59 +0200 | <EvanR> | but that's entirely thanks to my ISP |
2024-05-10 18:02:34 +0200 | <EvanR> | I leave my IPV6 enabled and it works |
2024-05-10 18:01:32 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
2024-05-10 18:00:27 +0200 | tram | (~tram@2a02:586:7e3a:cb96:c7d7:78d4:c6de:913a) |
2024-05-10 17:59:47 +0200 | <glguy> | most network applications just assume you have a working network stack. It's relatively uncommon for them to provide workarounds individually for one |
2024-05-10 17:58:42 +0200 | <brox66> | glguy, I have previously disabled ipv6 on my system, since many appllication becomes extremely unresponsive due to it. I believe it has to do wih dns queries. I should make another attempt to make it work, but I wish I could focus on Haskell issues and not having to dig deep into ipv6 now... |
2024-05-10 17:58:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-10 17:56:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-10 17:53:22 +0200 | AlexZenon | (~alzenon@178.34.162.125) |
2024-05-10 17:51:29 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
2024-05-10 17:50:18 +0200 | <glguy> | If IPv6 is configured to be broken on your computer you should just fix that |