Logs: liberachat/#haskell
| 2025-10-17 07:44:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 07:45:19 | tomsmeding_ | is now known as tomsmeding |
| 2025-10-17 07:45:59 | trickard_ | is now known as trickard |
| 2025-10-17 07:48:37 | × | FANTOM quits (~fantom@90.244.168.178) (Ping timeout: 256 seconds) |
| 2025-10-17 07:49:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 07:49:47 | → | FANTOM joins (~fantom@90.244.165.37) |
| 2025-10-17 07:50:09 | <[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 07:50:45 | <[exa]> | not that they'd be super big, esp. not w.r.t. to the other pop compilers, but still curious |
| 2025-10-17 07:51:05 | → | a_fantom joins (~fantom@90.244.165.37) |
| 2025-10-17 07:52:51 | → | annamalai joins (~annamalai@157.32.220.158) |
| 2025-10-17 07:52:52 | <tomsmeding> | I have no idea, but libHSbase.so is 12 MB |
| 2025-10-17 07:54:51 | × | FANTOM quits (~fantom@90.244.165.37) (Ping timeout: 256 seconds) |
| 2025-10-17 07:55:47 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-17 08:00:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 08:01:34 | → | phma joins (~phma@2605:59c8:6211:ff08::6d1) |
| 2025-10-17 08:02:07 | → | chele joins (~chele@user/chele) |
| 2025-10-17 08:04:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-17 08:08:49 | × | annamalai quits (~annamalai@157.32.220.158) (Remote host closed the connection) |
| 2025-10-17 08:09:09 | → | annamalai joins (~annamalai@157.32.220.158) |
| 2025-10-17 08:12:04 | → | kenran joins (~void@user/kenran) |
| 2025-10-17 08:15:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 08:18:02 | × | Zemy quits (~Zemy@2600:100c:b0a4:d984:e881:2dff:fe8d:7adc) (Ping timeout: 248 seconds) |
| 2025-10-17 08:21:49 | × | kenran quits (~void@user/kenran) (Remote host closed the connection) |
| 2025-10-17 08:27:36 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 08:27:49 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 08:30:44 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-10-17 08:31:56 | × | trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 08:38:26 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 08:43:17 | → | chenjf joins (~chenjf@68.64.178.54) |
| 2025-10-17 08:43:20 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-17 08:46:50 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-10-17 08:47:34 | → | n0um3n4 joins (~n0um3n4@104.30.133.59) |
| 2025-10-17 08:48:00 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2025-10-17 08:49:33 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-17 08:50:09 | × | craunts795335385 quits (~craunts@175.176.17.164) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-17 08:57:09 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-10-17 08:57:21 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2025-10-17 09:05:11 | × | chenjf quits (~chenjf@68.64.178.54) (Quit: WeeChat 4.7.1) |
| 2025-10-17 09:05:43 | → | acidjnk joins (~acidjnk@p200300d6e71719070129677a31b7bc88.dip0.t-ipconnect.de) |
| 2025-10-17 09:23:32 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-10-17 09:23:32 | × | petrichor quits (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-10-17 09:25:39 | × | trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 09:25:53 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 09:26:43 | → | petrichor joins (~jez@user/petrichor) |
| 2025-10-17 09:41:49 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-17 09:43:00 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-17 09:43:06 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-17 09:43:39 | × | kukimik quits (~kukimik@93-159-13-148.cgnat.inetia.pl) (Remote host closed the connection) |
| 2025-10-17 09:44:03 | → | yappy joins (~adi@86.123.72.40) |
| 2025-10-17 09:44:29 | × | yappy quits (~adi@86.123.72.40) (Remote host closed the connection) |
| 2025-10-17 09:47:26 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-17 09:50:02 | <[exa]> | tomsmeding: ah well that might be a part of it :) |
| 2025-10-17 09:50:04 | <[exa]> | ok |
| 2025-10-17 09:50:16 | × | trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 09:51:38 | <[exa]> | just wondering, is there any semantic difference between doing a function with normal guards and going for the `case () { _ | theGuard -> ...}` shortcut? I've fixed a bug that shouldn't have been fixed by rewriting that, which is weird. |
| 2025-10-17 09:54:58 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-10-17 09:55:33 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 2025-10-17 10:00:33 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-10-17 10:01:47 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-10-17 10:07:49 | × | karenw_ quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2025-10-17 10:09:45 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-10-17 10:13:54 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 10:20:55 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-10-17 10:23:12 | → | Googulator joins (~Googulato@team.broadbit.hu) |
| 2025-10-17 10:23:22 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2025-10-17 10:28:20 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-10-17 10:29:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-17 10:30:36 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 2025-10-17 10:33:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 10:36:59 | → | jreicher joins (~user@user/jreicher) |
| 2025-10-17 10:39:52 | × | trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 10:40:06 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 10:44:38 | trickard_ | is now known as trickard |
| 2025-10-17 11:00:51 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-10-17 11:01:51 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-10-17 11:02:35 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-17 11:03:47 | × | pie__ quits (~pie_bnc@user/pie/x-2818909) (Ping timeout: 250 seconds) |
| 2025-10-17 11:11:51 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-10-17 11:12:38 | → | pie_ joins (~pie_bnc@user/pie/x-2818909) |
| 2025-10-17 11:31:59 | × | tromp quits (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-17 11:36:42 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-10-17 11:36:43 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2025-10-17 11:38:02 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-10-17 11:41:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 11:45:50 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-10-17 11:46:18 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-17 11:51:42 | AlexZenon_2 | is now known as AlexZenon |
| 2025-10-17 11:52:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 11:56:42 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
| 2025-10-17 11:59:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-17 12:01:43 | → | Jackneill_ joins (~Jackneill@94-21-95-227.pool.digikabel.hu) |
| 2025-10-17 12:03:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 12:03:38 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-17 12:04:28 | × | jackneill__ quits (~Jackneill@94-21-46-168.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2025-10-17 12:08:31 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-17 12:08:51 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-17 12:08:55 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-17 12:10:02 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
| 2025-10-17 12:10:14 | → | img joins (~img@user/img) |
| 2025-10-17 12:11:51 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
All times are in UTC.