Newest at the top
| 2025-10-17 11:26:43 +0200 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-10-17 11:25:53 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 11:25:39 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 11:23:32 +0200 | petrichor | (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-10-17 11:23:32 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-17 11:05:43 +0200 | acidjnk | (~acidjnk@p200300d6e71719070129677a31b7bc88.dip0.t-ipconnect.de) acidjnk |
| 2025-10-17 11:05:11 +0200 | chenjf | (~chenjf@68.64.178.54) (Quit: WeeChat 4.7.1) |
| 2025-10-17 10:57:21 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-17 10:57:09 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-10-17 10:50:09 +0200 | craunts795335385 | (~craunts@175.176.17.164) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-17 10:49:33 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-17 10:48:00 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2025-10-17 10:47:34 +0200 | n0um3n4 | (~n0um3n4@104.30.133.59) |
| 2025-10-17 10:46:50 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-17 10:43:20 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-17 10:43:17 +0200 | chenjf | (~chenjf@68.64.178.54) |
| 2025-10-17 10:38:26 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 10:31:56 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 10:30:44 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-17 10:27:49 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 10:27:36 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 10:21:49 +0200 | kenran | (~void@user/kenran) (Remote host closed the connection) |
| 2025-10-17 10:18:02 +0200 | Zemy | (~Zemy@2600:100c:b0a4:d984:e881:2dff:fe8d:7adc) (Ping timeout: 248 seconds) |
| 2025-10-17 10:15:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 10:12:04 +0200 | kenran | (~void@user/kenran) kenran |
| 2025-10-17 10:09:09 +0200 | annamalai | (~annamalai@157.32.220.158) annamalai |
| 2025-10-17 10:08:49 +0200 | annamalai | (~annamalai@157.32.220.158) (Remote host closed the connection) |
| 2025-10-17 10:04:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-17 10:02:07 +0200 | chele | (~chele@user/chele) chele |
| 2025-10-17 10:01:34 +0200 | phma | (~phma@2605:59c8:6211:ff08::6d1) |
| 2025-10-17 10:00:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 09:55:47 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-17 09:54:51 +0200 | FANTOM | (~fantom@90.244.165.37) (Ping timeout: 256 seconds) |
| 2025-10-17 09:52:52 +0200 | <tomsmeding> | I have no idea, but libHSbase.so is 12 MB |
| 2025-10-17 09:52:51 +0200 | annamalai | (~annamalai@157.32.220.158) annamalai |
| 2025-10-17 09:51:05 +0200 | a_fantom | (~fantom@90.244.165.37) |
| 2025-10-17 09:50:45 +0200 | <[exa]> | not that they'd be super big, esp. not w.r.t. to the other pop compilers, but still curious |
| 2025-10-17 09:50:09 +0200 | <[exa]> | just curious, did anyone do some rigorous analysis of what's packed in the ghc-produced binaries (i.e., what's making them big?) |
| 2025-10-17 09:49:47 +0200 | FANTOM | (~fantom@90.244.165.37) |
| 2025-10-17 09:49:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 09:48:37 +0200 | FANTOM | (~fantom@90.244.168.178) (Ping timeout: 256 seconds) |
| 2025-10-17 09:45:59 +0200 | trickard_ | trickard |
| 2025-10-17 09:45:19 +0200 | tomsmeding_ | tomsmeding |
| 2025-10-17 09:44:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 09:42:43 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-17 09:41:03 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-17 09:40:30 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 09:40:16 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 09:38:23 +0200 | n0um3n4 | (~n0um3n4@104.30.133.59) (Remote host closed the connection) |
| 2025-10-17 09:37:00 +0200 | kukimik | (~kukimik@93-159-13-148.cgnat.inetia.pl) |