| 2025-11-06 00:00:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 00:01:52 +0100 | <pie_> | sm: huh |
| 2025-11-06 00:12:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 00:15:25 +0100 | comonad | (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-11-06 00:15:32 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-11-06 00:16:49 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 264 seconds) |
| 2025-11-06 00:18:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 00:18:52 +0100 | comonad | (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 2025-11-06 00:21:45 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 00:25:12 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-06 00:25:16 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 00:26:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 00:26:59 +0100 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2025-11-06 00:27:26 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-06 00:28:06 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 00:28:42 +0100 | mwnaylor | (~user@2601:5cf:837e:2bb0:8f48:1249:bca4:3647) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-11-06 00:30:42 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 260 seconds) |
| 2025-11-06 00:31:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 00:31:37 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-06 00:34:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 00:35:43 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-06 00:38:37 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-11-06 00:42:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 00:42:12 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-06 00:42:34 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 00:46:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 00:54:33 +0100 | AlexNoo_ | (~AlexNoo@85.174.180.102) |
| 2025-11-06 00:56:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 00:57:31 +0100 | AlexZenon | (~alzenon@178.34.151.83) (Ping timeout: 244 seconds) |
| 2025-11-06 00:58:08 +0100 | AlexNoo | (~AlexNoo@178.34.151.83) (Ping timeout: 244 seconds) |
| 2025-11-06 01:01:12 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 01:01:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 01:03:09 +0100 | AlexZenon | (~alzenon@85.174.180.102) |
| 2025-11-06 01:07:25 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-11-06 01:09:59 +0100 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2025-11-06 01:10:07 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-11-06 01:10:31 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 01:10:44 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 01:11:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 01:16:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 01:18:21 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 01:27:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 01:31:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 01:34:49 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-11-06 01:36:52 +0100 | trickard_ | trickard |
| 2025-11-06 01:42:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 01:49:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 01:51:09 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 01:51:22 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 01:53:48 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 02:00:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:05:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 02:07:17 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 02:10:19 +0100 | otto_s | (~user@p5de2fb9a.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-11-06 02:11:01 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e2f9:e1a8:ab7f:507d) (Ping timeout: 255 seconds) |
| 2025-11-06 02:12:04 +0100 | otto_s | (~user@p4ff27ba5.dip0.t-ipconnect.de) |
| 2025-11-06 02:14:15 +0100 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-06 02:14:46 +0100 | acidjnk | (~acidjnk@p200300d6e717199501855715c4be6f96.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-11-06 02:16:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:16:49 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 264 seconds) |
| 2025-11-06 02:19:25 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-06 02:20:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 02:23:44 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-06 02:24:06 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 02:24:31 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2025-11-06 02:28:40 +0100 | Googulator95 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 02:28:56 +0100 | Googulator95 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 02:29:37 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 02:31:29 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 02:31:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:32:23 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-06 02:33:32 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-06 02:36:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 02:40:08 +0100 | <Square> | Sweet, you can define a type family member to be another type family. Please warn me if this is a no go zone. |
| 2025-11-06 02:40:30 +0100 | mikess | (~sam@user/mikess) (Quit: leaving) |
| 2025-11-06 02:40:37 +0100 | Googulator95 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 02:40:38 +0100 | Googulator23 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 02:44:07 +0100 | Pseudonym | (~Pseudonym@194-223-46-47.tpgi.com.au) Pseudonym |
| 2025-11-06 02:47:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:47:22 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 02:47:57 +0100 | Pseudonym | (~Pseudonym@194-223-46-47.tpgi.com.au) (Quit: Leaving) |
| 2025-11-06 02:48:48 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-06 02:50:55 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds) |
| 2025-11-06 02:51:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 02:56:07 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-06 03:02:00 +0100 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-11-06 03:02:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:05:35 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 03:05:39 +0100 | Googulator23 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 03:05:40 +0100 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 03:06:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 03:08:54 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-06 03:10:49 +0100 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 03:11:07 +0100 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 03:12:29 +0100 | annamalai | (~annamalai@157.32.112.75) (Remote host closed the connection) |
| 2025-11-06 03:17:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:20:48 +0100 | Googulator67 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 03:21:03 +0100 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 03:22:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 03:24:18 +0100 | annamalai | (~annamalai@157.32.112.75) annamalai |
| 2025-11-06 03:33:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:37:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-06 03:47:30 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 03:48:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:53:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 03:58:16 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-06 04:00:45 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-06 04:01:01 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 04:01:14 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 04:03:06 +0100 | democritus | (~democritu@2600:1700:72e0:4dc0:f0cb:ee18:f843:c07c) |
| 2025-11-06 04:03:37 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
| 2025-11-06 04:04:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 04:05:25 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 04:07:18 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 04:09:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 04:10:09 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 04:12:02 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 04:12:55 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-11-06 04:14:03 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 04:15:58 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 04:19:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 04:24:06 +0100 | Googulator26 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 04:24:07 +0100 | Googulator67 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 04:25:43 +0100 | Googulator26 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Client Quit) |
| 2025-11-06 04:25:44 +0100 | synchrom1 | (~john@2406:5a00:2412:2c00:5181:46b:2904:5aac) (Read error: Connection reset by peer) |
| 2025-11-06 04:25:46 +0100 | Googulator40 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 04:26:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 04:27:05 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) synchromesh |
| 2025-11-06 04:28:42 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-11-06 04:29:28 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 04:35:02 +0100 | td_ | (~td@i5387093C.versanet.de) (Ping timeout: 252 seconds) |
| 2025-11-06 04:36:00 +0100 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-11-06 04:36:37 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 264 seconds) |
| 2025-11-06 04:36:37 +0100 | td_ | (~td@i53870901.versanet.de) |
| 2025-11-06 04:37:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 04:40:45 +0100 | trickard_ | trickard |
| 2025-11-06 04:41:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 04:43:49 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 04:53:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 04:57:07 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Remote host closed the connection) |
| 2025-11-06 04:57:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 04:57:36 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-06 05:06:02 +0100 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-11-06 05:08:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 05:13:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 05:22:56 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-11-06 05:23:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 05:26:27 +0100 | Googulator40 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 05:26:41 +0100 | Googulator40 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 05:28:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 05:29:23 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-11-06 05:39:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 05:43:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 05:51:44 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-06 05:51:44 +0100 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:8cec:43ff:fe10:82e9) |
| 2025-11-06 05:52:53 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-06 05:54:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 05:55:59 +0100 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:8cec:43ff:fe10:82e9) (Ping timeout: 260 seconds) |
| 2025-11-06 05:56:46 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 246 seconds) |
| 2025-11-06 05:59:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 06:01:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 06:02:35 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-06 06:05:44 +0100 | Googulator40 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 06:05:47 +0100 | Googulator98 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 06:05:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 06:06:22 +0100 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:6490:90ff:fe3e:538) |
| 2025-11-06 06:06:23 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-06 06:07:40 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-11-06 06:08:23 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-06 06:10:25 +0100 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:6490:90ff:fe3e:538) (Ping timeout: 246 seconds) |
| 2025-11-06 06:10:52 +0100 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:982b:53ff:fe30:603d) |
| 2025-11-06 06:10:52 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-06 06:11:26 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-06 06:15:14 +0100 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:982b:53ff:fe30:603d) (Ping timeout: 260 seconds) |
| 2025-11-06 06:16:04 +0100 | Googulator44 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 06:16:23 +0100 | Googulator98 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 06:16:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 06:20:39 +0100 | Googulator44 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Client Quit) |
| 2025-11-06 06:20:45 +0100 | Googulator87 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 06:21:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 06:22:22 +0100 | matsurago | (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) |
| 2025-11-06 06:32:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 06:32:07 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-06 06:32:30 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 06:36:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-06 06:37:17 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 06:47:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 06:50:45 +0100 | Googulator57 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 06:50:47 +0100 | Googulator87 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 06:51:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 06:58:59 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-11-06 07:02:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 07:05:20 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 07:05:38 +0100 | Googulator42 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 07:05:46 +0100 | Googulator57 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 07:09:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 07:10:38 +0100 | Googulator42 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 07:10:46 +0100 | Googulator42 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 07:13:57 +0100 | jreicher | (~user@user/jreicher) (Quit: Out and about) |
| 2025-11-06 07:15:05 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-06 07:20:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 07:23:07 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 2025-11-06 07:23:40 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-11-06 07:25:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-06 07:25:23 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-11-06 07:30:38 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 07:30:47 +0100 | Googulator42 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 07:35:39 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 07:35:46 +0100 | Googulator1 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 07:36:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 07:40:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 07:50:19 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 07:50:32 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 07:50:40 +0100 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 07:50:47 +0100 | Googulator1 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 07:51:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 07:55:36 +0100 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 07:55:49 +0100 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 07:56:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 07:57:22 +0100 | trickard_ | trickard |
| 2025-11-06 07:59:46 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-11-06 08:02:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 08:02:51 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-11-06 08:06:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 08:10:42 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 08:17:36 +0100 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 08:17:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 08:17:50 +0100 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 08:22:06 +0100 | deployonfriday | (~user@2a01:799:1859:c100:12f1:ac5b:828f:d5a6) |
| 2025-11-06 08:22:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 08:29:51 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-06 08:33:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 08:34:24 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-06 08:37:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-06 08:39:30 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-11-06 08:48:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 08:52:25 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-06 08:53:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-06 08:58:02 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 08:58:31 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-06 09:02:23 +0100 | democritus | (~democritu@2600:1700:72e0:4dc0:f0cb:ee18:f843:c07c) (Quit: Leaving) |
| 2025-11-06 09:03:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 09:06:21 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-11-06 09:06:23 +0100 | annamalai | (~annamalai@157.32.112.75) (Ping timeout: 244 seconds) |
| 2025-11-06 09:07:51 +0100 | annamalai | (~annamalai@157.32.112.75) annamalai |
| 2025-11-06 09:09:45 +0100 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:11:15 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 09:11:30 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-06 09:12:29 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-11-06 09:12:29 +0100 | prdak1 | prdak |
| 2025-11-06 09:15:39 +0100 | Googulator77 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 09:15:47 +0100 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 09:19:07 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 09:19:32 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:20:48 +0100 | Googulator77 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 09:21:23 +0100 | Googulator77 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 09:23:22 +0100 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-11-06 09:23:40 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:25:40 +0100 | Googulator59 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 09:25:48 +0100 | Googulator77 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Client Quit) |
| 2025-11-06 09:27:23 +0100 | prdak | (~Thunderbi@user/prdak) (Client Quit) |
| 2025-11-06 09:27:50 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:27:50 +0100 | prdak | (~Thunderbi@user/prdak) (Client Quit) |
| 2025-11-06 09:28:10 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:29:31 +0100 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:31:16 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-06 09:32:38 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-11-06 09:32:38 +0100 | prdak1 | prdak |
| 2025-11-06 09:36:53 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 09:37:14 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:45:39 +0100 | Googulator8 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 09:45:42 +0100 | Googulator59 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 09:47:44 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 240 seconds) |
| 2025-11-06 09:49:10 +0100 | aforemny | (~aforemny@i59F4C61F.versanet.de) (Ping timeout: 246 seconds) |
| 2025-11-06 09:50:48 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 09:50:48 +0100 | Googulator8 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 09:54:26 +0100 | acidjnk | (~acidjnk@p200300d6e717199501855715c4be6f96.dip0.t-ipconnect.de) acidjnk |
| 2025-11-06 09:55:34 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:58:31 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 09:59:04 +0100 | akegalj | (~akegalj@78-1-215-14.adsl.net.t-com.hr) akegalj |
| 2025-11-06 10:02:07 +0100 | <akegalj> | Lets say that my cabal file defines library L and executable E. E has dependency on L. if L has ghc-options -O0 and E has ghc-options -O2 , will compiled binary be compiled with optimizations or will just modules defined with E be compiled with optimization and L will be compiled without optimization and they will be linked that way (partially optimized)? |
| 2025-11-06 10:02:09 +0100 | fp1 | (~Thunderbi@wireless-86-50-140-224.open.aalto.fi) fp |
| 2025-11-06 10:02:43 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 264 seconds) |
| 2025-11-06 10:02:43 +0100 | fp1 | fp |
| 2025-11-06 10:06:33 +0100 | <merijn> | akegalj: ghc-options are per component |
| 2025-11-06 10:06:44 +0100 | <merijn> | akegalj: So L would be compiled with -O0 |
| 2025-11-06 10:07:14 +0100 | <akegalj> | merijn: thanks! |
| 2025-11-06 10:07:54 +0100 | <merijn> | Incidentally you should probably just do -O1 for both :p |
| 2025-11-06 10:08:18 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 10:08:25 +0100 | <merijn> | because O0 is kinda bad and O2 takes quite a bit more compilation time and often has no significant impact over -O2 (but, you know, benchmark to be sure) |
| 2025-11-06 10:08:41 +0100 | <akegalj> | merijn: thanks |
| 2025-11-06 10:14:35 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 10:14:53 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 10:19:57 +0100 | fp | (~Thunderbi@wireless-86-50-140-224.open.aalto.fi) (Remote host closed the connection) |
| 2025-11-06 10:24:03 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 10:24:21 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 10:26:21 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) fp |
| 2025-11-06 10:26:48 +0100 | califax_ | (~califax@user/califx) califx |
| 2025-11-06 10:27:58 +0100 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-06 10:28:03 +0100 | califax_ | califax |
| 2025-11-06 10:30:30 +0100 | AlexNoo_ | AlexNoo |
| 2025-11-06 10:30:36 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) (Ping timeout: 256 seconds) |
| 2025-11-06 10:34:18 +0100 | fp | (~Thunderbi@130.233.70.136) fp |
| 2025-11-06 10:35:19 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-06 10:37:02 +0100 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-06 10:37:05 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 10:38:29 +0100 | fp | (~Thunderbi@130.233.70.136) (Remote host closed the connection) |
| 2025-11-06 10:40:33 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 10:40:37 +0100 | Googulator36 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 10:42:29 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-06 10:47:36 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-11-06 10:47:57 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 10:48:05 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 10:48:19 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 10:48:30 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-06 10:48:42 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-06 10:50:44 +0100 | DetourNe- | DetourNetworkUK |
| 2025-11-06 11:02:01 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-06 11:03:00 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2025-11-06 11:03:20 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-06 11:05:55 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 11:06:15 +0100 | Googulator36 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 11:07:02 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 11:07:09 +0100 | dhil | (~dhil@5.151.29.141) dhil |
| 2025-11-06 11:12:00 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-06 11:12:19 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-06 11:20:41 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 11:20:41 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 11:22:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-11-06 11:23:26 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection) |
| 2025-11-06 11:26:35 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-11-06 11:26:59 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 11:28:49 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2025-11-06 11:29:59 +0100 | chele | (~chele@user/chele) chele |
| 2025-11-06 11:46:34 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds) |
| 2025-11-06 11:52:30 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 11:55:41 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 11:55:42 +0100 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 11:59:59 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 12:00:16 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-11-06 12:06:10 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-11-06 12:12:48 +0100 | Guest66 | (~Guest66@92.241.77.126) |
| 2025-11-06 12:13:02 +0100 | Guest66 | (~Guest66@92.241.77.126) (Client Quit) |
| 2025-11-06 12:17:02 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-11-06 12:17:49 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 12:18:46 +0100 | <akegalj> | I have tried to define rts options in compilation with adding `ghc-options: -with-rtsopts="-N -A128m -n2m -qg"` as I got impression that this should work https://ghc.gitlab.haskell.org/ghc/doc/users_guide/runtime_control.html#setting-rts-options-at-com… but I get "ghc-9.10.3: unrecognised flag: -A128m" . Is it possible to do this? |
| 2025-11-06 12:24:56 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-06 12:28:06 +0100 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 12:28:21 +0100 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 12:28:35 +0100 | xff0x | (~xff0x@2405:6580:b080:900:c1bd:3ff8:8b46:e15a) |
| 2025-11-06 12:28:38 +0100 | <Leary> | akegalj: What's written there will work in the shell, but in a cabal file you have to quote differently: `ghc-options: "-with-rtsopts=-N -A128m -n2m -qg"` |
| 2025-11-06 12:30:10 +0100 | <akegalj> | Leary: ah thanks. I have tried other quoting schemas but didn't try that one. |
| 2025-11-06 12:35:05 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 12:39:48 +0100 | <akegalj> | Leary: do you maybe know how to do it with hpack? It keeps removing my quotes in generated cabal file |
| 2025-11-06 12:40:13 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-06 12:43:13 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) (Read error: Connection reset by peer) |
| 2025-11-06 12:43:49 +0100 | <akegalj> | Leary: aha, made it. |
| 2025-11-06 12:44:45 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) synchromesh |
| 2025-11-06 12:45:18 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 12:45:31 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 12:46:05 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-06 12:46:07 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 12:48:13 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 12:52:25 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-06 12:52:43 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-06 12:54:39 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-06 12:55:13 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-06 12:57:48 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 13:04:06 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 13:04:19 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 13:10:21 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 13:12:52 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2025-11-06 13:14:26 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 13:15:07 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-06 13:17:37 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-06 13:17:51 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 13:17:58 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-06 13:20:31 +0100 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 13:20:44 +0100 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 13:21:11 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-11-06 13:21:48 +0100 | chiselfu1e | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-11-06 13:25:28 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-06 13:30:48 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2025-11-06 13:31:30 +0100 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2025-11-06 13:31:45 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2025-11-06 13:39:01 +0100 | Zemy | (~Zemy@2600:100c:b0ac:25f7:8012:9dff:fe87:9b9c) |
| 2025-11-06 13:39:01 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-06 13:39:36 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-06 13:43:16 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 2025-11-06 13:43:49 +0100 | Zemy | (~Zemy@2600:100c:b0ac:25f7:8012:9dff:fe87:9b9c) (Ping timeout: 260 seconds) |
| 2025-11-06 13:47:18 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-06 13:48:20 +0100 | akegalj | (~akegalj@78-1-215-14.adsl.net.t-com.hr) (Ping timeout: 265 seconds) |
| 2025-11-06 13:49:42 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 13:49:56 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 13:50:48 +0100 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 13:50:49 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 13:50:53 +0100 | Lycurgus | (~juan@user/Lycurgus) (Client Quit) |
| 2025-11-06 13:56:48 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-06 13:58:23 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-11-06 14:07:11 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-11-06 14:09:30 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-06 14:10:24 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:10:36 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:11:25 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 14:15:37 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:15:47 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:16:13 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-11-06 14:16:32 +0100 | trickard_ | trickard |
| 2025-11-06 14:23:55 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2025-11-06 14:24:54 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 14:24:57 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-11-06 14:27:41 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 14:32:34 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-06 14:33:21 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-11-06 14:34:58 +0100 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-06 14:35:13 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 14:35:31 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:35:36 +0100 | Googulator75 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:39:02 +0100 | akegalj | (~akegalj@78-1-215-14.adsl.net.t-com.hr) |
| 2025-11-06 14:43:43 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-11-06 14:43:52 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-06 14:46:17 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 14:48:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-06 14:50:13 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 14:52:24 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-06 14:55:36 +0100 | Googulator81 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:55:39 +0100 | Googulator75 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 15:00:38 +0100 | Googulator81 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 15:00:44 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 15:09:01 +0100 | pr1sm | (~pr1sm@24.91.163.31) |
| 2025-11-06 15:09:51 +0100 | pr1sm | (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 2025-11-06 15:14:44 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-06 15:15:39 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 15:15:47 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 15:17:54 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-06 15:18:09 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-06 15:19:44 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-06 15:20:40 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 15:20:49 +0100 | Googulator7 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 15:23:42 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2025-11-06 15:28:43 +0100 | bggd | (~bgg@2a01:e0a:819:1510:264f:fa71:ccb5:98ac) |
| 2025-11-06 15:34:30 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 15:34:44 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 15:36:35 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 245 seconds) |
| 2025-11-06 15:40:35 +0100 | Googulator7 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 15:40:39 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 15:45:45 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 15:45:48 +0100 | Googulator39 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 15:49:47 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 15:50:00 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 15:50:03 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-06 15:50:35 +0100 | trickard_ | trickard |
| 2025-11-06 15:54:47 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 15:58:04 +0100 | deployonfriday | (~user@2a01:799:1859:c100:12f1:ac5b:828f:d5a6) (Ping timeout: 244 seconds) |
| 2025-11-06 16:00:26 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 16:00:32 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-11-06 16:01:01 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 16:05:03 +0100 | matsurago | (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) (Quit: Leaving) |