2025/10/31

Newest at the top

2025-10-31 20:45:15 +0100 <tomsmeding> that's just one flavour
2025-10-31 20:45:09 +0100 <tomsmeding> merijn: though libHSghc-9.8.4-c895.a is 272 MB on my system
2025-10-31 20:44:20 +0100nek0(~nek0@user/nek0) nek0
2025-10-31 20:44:18 +0100 <merijn> there's A LOT of duplication and in the absence of linking being a thing at all in wasm you can collapse a lot of that
2025-10-31 20:43:56 +0100 <merijn> the RTS has all of those and then also debug flavour
2025-10-31 20:43:20 +0100 <tomsmeding> oh the libraries, right
2025-10-31 20:43:15 +0100 <tomsmeding> why would I need a completely separate GHC to be able to compile with profiling?
2025-10-31 20:43:15 +0100 <merijn> tomsmeding: all of base exists once per flavour
2025-10-31 20:43:01 +0100 <tomsmeding> isn't there tremendous overlap between them?
2025-10-31 20:42:49 +0100 <merijn> static, static + profiling, dynamic, dynamic + profiling
2025-10-31 20:42:38 +0100 <merijn> tomsmeding: all the different flavours are shipped together
2025-10-31 20:42:15 +0100 <tomsmeding> is it?
2025-10-31 20:42:03 +0100 <merijn> tomsmeding: to be fair, that's really like 5 GHCs in one :p
2025-10-31 20:41:06 +0100trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 20:40:52 +0100trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 20:40:21 +0100jespada(~jespada@2800:a4:2225:3b00:4824:161a:e31a:fdd3) (Quit: Textual IRC Client: www.textualapp.com)
2025-10-31 20:40:07 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-10-31 20:38:06 +0100nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2025-10-31 20:37:50 +0100Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net) (Ping timeout: 256 seconds)
2025-10-31 20:34:47 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 20:34:43 +0100fp(~Thunderbi@216-165-247-67.championbroadband.com) (Ping timeout: 260 seconds)
2025-10-31 20:34:32 +0100jmcantrell_(~weechat@user/jmcantrell) (Client Quit)
2025-10-31 20:33:46 +0100Zemy(~Zemy@2600:100c:b0a9:88fa:48c9:49ff:fe87:6a25)
2025-10-31 20:31:54 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-10-31 20:31:01 +0100bgt32(~keutoi@106.222.231.17) (Ping timeout: 256 seconds)
2025-10-31 20:28:46 +0100Zemy(~Zemy@2600:100c:b0a9:88fa:a84b:ddff:fee1:f874) (Ping timeout: 256 seconds)
2025-10-31 20:26:29 +0100Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net)
2025-10-31 20:17:25 +0100Core7800(~Zemy@syn-024-173-084-163.biz.spectrum.com) (Ping timeout: 264 seconds)
2025-10-31 20:15:03 +0100Zemy(~Zemy@2600:100c:b0a9:88fa:a84b:ddff:fee1:f874)
2025-10-31 20:12:54 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-10-31 20:11:39 +0100 <geekosaur> yes
2025-10-31 20:11:12 +0100Zemy(~Zemy@2600:100c:b0a9:88fa:5cc4:35ff:fe69:79df) (Ping timeout: 256 seconds)
2025-10-31 20:10:49 +0100Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net) (Ping timeout: 264 seconds)
2025-10-31 20:10:08 +0100 <boonochrom> Oh! Does it mean I downloaded 50MB of wasm the other day when I first tried out GHC-in-browser? :)
2025-10-31 20:10:04 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-10-31 20:08:01 +0100Core7800(~Zemy@syn-024-173-084-163.biz.spectrum.com)
2025-10-31 20:07:11 +0100 <tomsmeding> with a full local GHC installation being 2GB
2025-10-31 20:06:56 +0100tomsmedingis actually astonished it's just 50MB
2025-10-31 20:06:45 +0100 <tomsmeding> sm: yep! which means you don't have to download a 50 MB wasm payload to use it :p
2025-10-31 20:06:45 +0100Zemy(~Zemy@2600:100c:b0a9:88fa:5cc4:35ff:fe69:79df)
2025-10-31 20:06:36 +0100Zemy(~Zemy@2600:100c:b0a9:88fa:b8f4:e2ff:fe1f:601) (Read error: Connection reset by peer)
2025-10-31 20:05:55 +0100Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net)
2025-10-31 20:05:26 +0100Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net) (Read error: Connection reset by peer)
2025-10-31 20:05:01 +0100Zemy(~Zemy@2600:100c:b0a9:88fa:b8f4:e2ff:fe1f:601)
2025-10-31 20:04:50 +0100Googulator31(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 20:04:33 +0100Googulator31(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit)
2025-10-31 20:04:32 +0100Zemy(~Zemy@2600:100c:b0a9:88fa:4a1:9fff:fe09:e1d4) (Read error: Connection reset by peer)
2025-10-31 20:04:32 +0100Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net)
2025-10-31 20:03:51 +0100Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net) (Read error: Connection reset by peer)
2025-10-31 20:03:43 +0100Zemy(~Zemy@2600:100c:b0a9:88fa:4a1:9fff:fe09:e1d4)