Newest at the top
| 2024-06-26 03:03:51 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 264 seconds) |
| 2024-06-26 03:03:36 +0200 | sudden | (~cat@user/sudden) |
| 2024-06-26 03:02:58 +0200 | puke | (~puke@user/puke) |
| 2024-06-26 03:01:57 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-06-26 03:01:20 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2024-06-26 02:58:28 +0200 | <edrx> | what would you use instead? suggestions? |
| 2024-06-26 02:58:18 +0200 | <edrx> | but the "=>" looks ugly - i.e., the \textsf{=>} looks ugly. |
| 2024-06-26 02:57:44 +0200 | <edrx> | I wrote a program to help me typeset type inferences using underbrace diagrams - it generates figures like this: https://i.ibb.co/8mZ2VVp/sshot.png |
| 2024-06-26 02:57:01 +0200 | <edrx> | hi all! gmorning! |
| 2024-06-26 02:55:39 +0200 | edrx | (~Eduardo@170-233-51-85.static.sumicity.net.br) |
| 2024-06-26 02:52:31 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-06-26 02:51:18 +0200 | sudden | (~cat@user/sudden) (Ping timeout: 255 seconds) |
| 2024-06-26 02:48:50 +0200 | safinaskar | (~quassel@212.73.77.104) () |
| 2024-06-26 02:48:39 +0200 | safinaskar | (~quassel@212.73.77.104) |
| 2024-06-26 02:44:27 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-06-26 02:42:39 +0200 | safinaskar | (~quassel@212.73.77.104) () |
| 2024-06-26 02:42:36 +0200 | <safinaskar> | bye |
| 2024-06-26 02:37:14 +0200 | <joeyadams> | Thanks, jackdk, looking at it now. |
| 2024-06-26 02:35:36 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-26 02:35:17 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:c9:f4bd:32a:187d) |
| 2024-06-26 02:35:10 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-26 02:33:32 +0200 | <lambdabot> | Consider it noted. |
| 2024-06-26 02:33:31 +0200 | <safinaskar> | @tell joeyadams also try self-unpacking binaries :) |
| 2024-06-26 02:27:09 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-26 02:22:38 +0200 | <Axman6> | also ping EvanR since you were looking into it too |
| 2024-06-26 02:22:18 +0200 | <Axman6> | yeah that came to mind for me too |
| 2024-06-26 02:22:05 +0200 | <lambdabot> | Consider it noted. |
| 2024-06-26 02:22:05 +0200 | <jackdk> | @tell joeyadams https://well-typed.com/blog/2021/08/large-records/ might be relevant here |
| 2024-06-26 02:19:29 +0200 | euleritian | (~euleritia@dynamic-176-000-205-223.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-06-26 02:18:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-06-26 02:08:21 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-06-26 02:08:11 +0200 | joeyadams | (~joeyadams@2607:fb91:1617:1400:929b:26f0:654:cc5a) (Quit: Leaving) |
| 2024-06-26 02:04:54 +0200 | <joeyadams> | Thanks. Maybe I should just create a single record and derive FromJSON, and look at the assembly. I'm mainly curious why it takes so much code to do (what should be) so little. |
| 2024-06-26 02:00:47 +0200 | <EvanR> | there might be some more you could try https://stackoverflow.com/questions/6115459/small-haskell-program-compiled-with-ghc-into-huge-bina… |
| 2024-06-26 01:59:55 +0200 | <joeyadams> | (the "program" is just a single .hs file where I copied some of my records over and pruned them. It references aeson, uuid-types, scientific, text, and bytestring. |
| 2024-06-26 01:58:52 +0200 | <joeyadams> | strip takes the program from 24M to 14M, and the .o file from 2.3M to 1.2M. Better, but still a lot. |
| 2024-06-26 01:58:31 +0200 | <EvanR> | guess not... |
| 2024-06-26 01:57:50 +0200 | <EvanR> | -Os |
| 2024-06-26 01:57:41 +0200 | <joeyadams> | Same size with -O2. Does GHC have something like -Os ? |
| 2024-06-26 01:56:51 +0200 | <EvanR> | also you can try to strip the binary after the fact |
| 2024-06-26 01:56:16 +0200 | <EvanR> | what about -O2 |
| 2024-06-26 01:56:06 +0200 | <joeyadams> | I looked into some flags a while back, it didn't help much. My results are with -O1. If I use ghc -O0 it makes the binary even bigger. |
| 2024-06-26 01:55:27 +0200 | <EvanR> | you can issue flags to optimize for speed or size... -Os ? |
| 2024-06-26 01:55:08 +0200 | <EvanR> | template haskell and generics does have a compile time cost, but you were asking about binary size |
| 2024-06-26 01:54:20 +0200 | <joeyadams> | I'm just using GHC 9.4.8 installed through ghcup, not sure what that compiled in. I also tried with later GHC versions and saw similar results (slow compiles and large binaries). |
| 2024-06-26 01:53:14 +0200 | <EvanR> | are you compiling in profiling support |
| 2024-06-26 01:53:00 +0200 | <EvanR> | joeyadams, did you try flags to reduce the binary size, did you try to strip the binary |
| 2024-06-26 01:52:06 +0200 | <safinaskar> | EvanR: okay :( |
| 2024-06-26 01:51:40 +0200 | <joeyadams> | I should try writing the instances manually to see how big the code footprint is. |
| 2024-06-26 01:51:39 +0200 | <EvanR> | Hi can you not respond to a haskell question by saying use rust |
