| 2025-11-06 00:01:12 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 00:01:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 00:03:09 +0000 | AlexZenon | (~alzenon@85.174.180.102) |
| 2025-11-06 00:07:25 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-11-06 00:09:59 +0000 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2025-11-06 00:10:07 +0000 | connrs | (~connrs@user/connrs) connrs |
| 2025-11-06 00:10:31 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 00:10:44 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 00:11:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 00:16:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 00:18:21 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 00:27:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 00:31:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 00:34:49 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-11-06 00:36:52 +0000 | trickard_ | trickard |
| 2025-11-06 00:42:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 00:49:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 00:51:09 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 00:51:22 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 00:53:48 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 01:00:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 01:05:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 01:07:17 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 01:10:19 +0000 | otto_s | (~user@p5de2fb9a.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-11-06 01:11:01 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e2f9:e1a8:ab7f:507d) (Ping timeout: 255 seconds) |
| 2025-11-06 01:12:04 +0000 | otto_s | (~user@p4ff27ba5.dip0.t-ipconnect.de) |
| 2025-11-06 01:14:15 +0000 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-06 01:14:46 +0000 | acidjnk | (~acidjnk@p200300d6e717199501855715c4be6f96.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-11-06 01:16:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 01:16:49 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 264 seconds) |
| 2025-11-06 01:19:25 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-06 01:20:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 01:23:44 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-06 01:24:06 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 01:24:31 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2025-11-06 01:28:40 +0000 | Googulator95 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 01:28:56 +0000 | Googulator95 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 01:29:37 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 01:31:29 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 01:31:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 01:32:23 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-06 01:33:32 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-06 01:36:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 01:40:08 +0000 | <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 01:40:30 +0000 | mikess | (~sam@user/mikess) (Quit: leaving) |
| 2025-11-06 01:40:37 +0000 | Googulator95 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 01:40:38 +0000 | Googulator23 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 01:44:07 +0000 | Pseudonym | (~Pseudonym@194-223-46-47.tpgi.com.au) Pseudonym |
| 2025-11-06 01:47:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 01:47:22 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 01:47:57 +0000 | Pseudonym | (~Pseudonym@194-223-46-47.tpgi.com.au) (Quit: Leaving) |
| 2025-11-06 01:48:48 +0000 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-06 01:50:55 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds) |
| 2025-11-06 01:51:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 01:56:07 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-06 02:02:00 +0000 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-11-06 02:02:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:05:35 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 02:05:39 +0000 | Googulator23 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 02:05:40 +0000 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 02:06:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 02:08:54 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-06 02:10:49 +0000 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 02:11:07 +0000 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 02:12:29 +0000 | annamalai | (~annamalai@157.32.112.75) (Remote host closed the connection) |
| 2025-11-06 02:17:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:20:48 +0000 | Googulator67 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 02:21:03 +0000 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 02:22:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 02:24:18 +0000 | annamalai | (~annamalai@157.32.112.75) annamalai |
| 2025-11-06 02:33:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:37:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-06 02:47:30 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 02:48:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:53:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 02:58:16 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-06 03:00:45 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-06 03:01:01 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 03:01:14 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 03:03:06 +0000 | democritus | (~democritu@2600:1700:72e0:4dc0:f0cb:ee18:f843:c07c) |
| 2025-11-06 03:03:37 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
| 2025-11-06 03:04:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:05:25 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 03:07:18 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 03:09:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 03:10:09 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 03:12:02 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 03:12:55 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-11-06 03:14:03 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 03:15:58 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 03:19:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:24:06 +0000 | Googulator26 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 03:24:07 +0000 | Googulator67 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 03:25:43 +0000 | Googulator26 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Client Quit) |
| 2025-11-06 03:25:44 +0000 | synchrom1 | (~john@2406:5a00:2412:2c00:5181:46b:2904:5aac) (Read error: Connection reset by peer) |
| 2025-11-06 03:25:46 +0000 | Googulator40 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 03:26:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 03:27:05 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) synchromesh |
| 2025-11-06 03:28:42 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-11-06 03:29:28 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 03:35:02 +0000 | td_ | (~td@i5387093C.versanet.de) (Ping timeout: 252 seconds) |
| 2025-11-06 03:36:00 +0000 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-11-06 03:36:37 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 264 seconds) |
| 2025-11-06 03:36:37 +0000 | td_ | (~td@i53870901.versanet.de) |
| 2025-11-06 03:37:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:40:45 +0000 | trickard_ | trickard |
| 2025-11-06 03:41:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 03:43:49 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 03:53:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:57:07 +0000 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Remote host closed the connection) |
| 2025-11-06 03:57:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 03:57:36 +0000 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-06 04:06:02 +0000 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-11-06 04:08:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 04:13:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 04:22:56 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-11-06 04:23:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 04:26:27 +0000 | Googulator40 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 04:26:41 +0000 | Googulator40 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 04:28:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 04:29:23 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-11-06 04:39:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 04:43:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 04:51:44 +0000 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-06 04:51:44 +0000 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:8cec:43ff:fe10:82e9) |
| 2025-11-06 04:52:53 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-06 04:54:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 04:55:59 +0000 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:8cec:43ff:fe10:82e9) (Ping timeout: 260 seconds) |
| 2025-11-06 04:56:46 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 246 seconds) |
| 2025-11-06 04:59:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 05:01:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 05:02:35 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-06 05:05:44 +0000 | Googulator40 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 05:05:47 +0000 | Googulator98 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 05:05:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 05:06:22 +0000 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:6490:90ff:fe3e:538) |
| 2025-11-06 05:06:23 +0000 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-06 05:07:40 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-11-06 05:08:23 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-06 05:10:25 +0000 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:6490:90ff:fe3e:538) (Ping timeout: 246 seconds) |
| 2025-11-06 05:10:52 +0000 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:982b:53ff:fe30:603d) |
| 2025-11-06 05:10:52 +0000 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-06 05:11:26 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-06 05:15:14 +0000 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:982b:53ff:fe30:603d) (Ping timeout: 260 seconds) |
| 2025-11-06 05:16:04 +0000 | Googulator44 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 05:16:23 +0000 | Googulator98 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 05:16:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 05:20:39 +0000 | Googulator44 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Client Quit) |
| 2025-11-06 05:20:45 +0000 | Googulator87 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 05:21:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 05:22:22 +0000 | matsurago | (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) |
| 2025-11-06 05:32:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 05:32:07 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-06 05:32:30 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 05:36:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-06 05:37:17 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 05:47:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 05:50:45 +0000 | Googulator57 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 05:50:47 +0000 | Googulator87 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 05:51:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 05:58:59 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-11-06 06:02:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 06:05:20 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 06:05:38 +0000 | Googulator42 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 06:05:46 +0000 | Googulator57 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 06:09:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 06:10:38 +0000 | Googulator42 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 06:10:46 +0000 | Googulator42 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 06:13:57 +0000 | jreicher | (~user@user/jreicher) (Quit: Out and about) |
| 2025-11-06 06:15:05 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-06 06:20:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 06:23:07 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 2025-11-06 06:23:40 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-11-06 06:25:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-06 06:25:23 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-11-06 06:30:38 +0000 | Googulator46 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 06:30:47 +0000 | Googulator42 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 06:35:39 +0000 | Googulator46 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 06:35:46 +0000 | Googulator1 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 06:36:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 06:40:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 06:50:19 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 06:50:32 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 06:50:40 +0000 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 06:50:47 +0000 | Googulator1 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 06:51:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 06:55:36 +0000 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 06:55:49 +0000 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 06:56:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 06:57:22 +0000 | trickard_ | trickard |
| 2025-11-06 06:59:46 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-11-06 07:02:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 07:02:51 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-11-06 07:06:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 07:10:42 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 07:17:36 +0000 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 07:17:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 07:17:50 +0000 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 07:22:06 +0000 | deployonfriday | (~user@2a01:799:1859:c100:12f1:ac5b:828f:d5a6) |
| 2025-11-06 07:22:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 07:29:51 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-06 07:33:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 07:34:24 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-06 07:37:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-06 07:39:30 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-11-06 07:48:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 07:52:25 +0000 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-06 07:53:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-06 07:58:02 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 07:58:31 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-06 08:02:23 +0000 | democritus | (~democritu@2600:1700:72e0:4dc0:f0cb:ee18:f843:c07c) (Quit: Leaving) |
| 2025-11-06 08:03:19 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 08:06:21 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-11-06 08:06:23 +0000 | annamalai | (~annamalai@157.32.112.75) (Ping timeout: 244 seconds) |
| 2025-11-06 08:07:51 +0000 | annamalai | (~annamalai@157.32.112.75) annamalai |
| 2025-11-06 08:09:45 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 08:11:15 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 08:11:30 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-06 08:12:29 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-11-06 08:12:29 +0000 | prdak1 | prdak |
| 2025-11-06 08:15:39 +0000 | Googulator77 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 08:15:47 +0000 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 08:19:07 +0000 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 08:19:32 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 08:20:48 +0000 | Googulator77 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 08:21:23 +0000 | Googulator77 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 08:23:22 +0000 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-11-06 08:23:40 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 08:25:40 +0000 | Googulator59 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 08:25:48 +0000 | Googulator77 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Client Quit) |
| 2025-11-06 08:27:23 +0000 | prdak | (~Thunderbi@user/prdak) (Client Quit) |
| 2025-11-06 08:27:50 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 08:27:50 +0000 | prdak | (~Thunderbi@user/prdak) (Client Quit) |
| 2025-11-06 08:28:10 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 08:29:31 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 08:31:16 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-06 08:32:38 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-11-06 08:32:38 +0000 | prdak1 | prdak |
| 2025-11-06 08:36:53 +0000 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 08:37:14 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 08:45:39 +0000 | Googulator8 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 08:45:42 +0000 | Googulator59 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 08:47:44 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 240 seconds) |
| 2025-11-06 08:49:10 +0000 | aforemny | (~aforemny@i59F4C61F.versanet.de) (Ping timeout: 246 seconds) |
| 2025-11-06 08:50:48 +0000 | Googulator16 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 08:50:48 +0000 | Googulator8 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 08:54:26 +0000 | acidjnk | (~acidjnk@p200300d6e717199501855715c4be6f96.dip0.t-ipconnect.de) acidjnk |
| 2025-11-06 08:55:34 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 08:58:31 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 08:59:04 +0000 | akegalj | (~akegalj@78-1-215-14.adsl.net.t-com.hr) akegalj |
| 2025-11-06 09:02:07 +0000 | <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 09:02:09 +0000 | fp1 | (~Thunderbi@wireless-86-50-140-224.open.aalto.fi) fp |
| 2025-11-06 09:02:43 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 264 seconds) |
| 2025-11-06 09:02:43 +0000 | fp1 | fp |
| 2025-11-06 09:06:33 +0000 | <merijn> | akegalj: ghc-options are per component |
| 2025-11-06 09:06:44 +0000 | <merijn> | akegalj: So L would be compiled with -O0 |
| 2025-11-06 09:07:14 +0000 | <akegalj> | merijn: thanks! |
| 2025-11-06 09:07:54 +0000 | <merijn> | Incidentally you should probably just do -O1 for both :p |
| 2025-11-06 09:08:18 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 09:08:25 +0000 | <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 09:08:41 +0000 | <akegalj> | merijn: thanks |
| 2025-11-06 09:14:35 +0000 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 09:14:53 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:19:57 +0000 | fp | (~Thunderbi@wireless-86-50-140-224.open.aalto.fi) (Remote host closed the connection) |
| 2025-11-06 09:24:03 +0000 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 09:24:21 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:26:21 +0000 | fp | (~Thunderbi@2001:708:150:10::7e06) fp |
| 2025-11-06 09:26:48 +0000 | califax_ | (~califax@user/califx) califx |
| 2025-11-06 09:27:58 +0000 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-06 09:28:03 +0000 | califax_ | califax |
| 2025-11-06 09:30:30 +0000 | AlexNoo_ | AlexNoo |
| 2025-11-06 09:30:36 +0000 | fp | (~Thunderbi@2001:708:150:10::7e06) (Ping timeout: 256 seconds) |
| 2025-11-06 09:34:18 +0000 | fp | (~Thunderbi@130.233.70.136) fp |
| 2025-11-06 09:35:19 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-06 09:37:02 +0000 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-06 09:37:05 +0000 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 09:38:29 +0000 | fp | (~Thunderbi@130.233.70.136) (Remote host closed the connection) |
| 2025-11-06 09:40:33 +0000 | Googulator16 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 09:40:37 +0000 | Googulator36 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 09:42:29 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-06 09:47:36 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-11-06 09:47:57 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 09:48:05 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 09:48:19 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 09:48:30 +0000 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-06 09:48:42 +0000 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-06 09:50:44 +0000 | DetourNe- | DetourNetworkUK |
| 2025-11-06 10:02:01 +0000 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-06 10:03:00 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2025-11-06 10:03:20 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-06 10:05:55 +0000 | Googulator61 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 10:06:15 +0000 | Googulator36 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 10:07:02 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 10:07:09 +0000 | dhil | (~dhil@5.151.29.141) dhil |
| 2025-11-06 10:12:00 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-06 10:12:19 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-06 10:20:41 +0000 | Googulator23 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 10:20:41 +0000 | Googulator61 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 10:22:15 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-11-06 10:23:26 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection) |
| 2025-11-06 10:26:35 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-11-06 10:26:59 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 10:28:49 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2025-11-06 10:29:59 +0000 | chele | (~chele@user/chele) chele |
| 2025-11-06 10:46:34 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds) |
| 2025-11-06 10:52:30 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 10:55:41 +0000 | Googulator23 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 10:55:42 +0000 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 10:59:59 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 11:00:16 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-11-06 11:06:10 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-11-06 11:12:48 +0000 | Guest66 | (~Guest66@92.241.77.126) |
| 2025-11-06 11:13:02 +0000 | Guest66 | (~Guest66@92.241.77.126) (Client Quit) |
| 2025-11-06 11:17:02 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-11-06 11:17:49 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 11:18:46 +0000 | <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 11:24:56 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-06 11:28:06 +0000 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 11:28:21 +0000 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 11:28:35 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c1bd:3ff8:8b46:e15a) |
| 2025-11-06 11:28:38 +0000 | <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 11:30:10 +0000 | <akegalj> | Leary: ah thanks. I have tried other quoting schemas but didn't try that one. |
| 2025-11-06 11:35:05 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 11:39:48 +0000 | <akegalj> | Leary: do you maybe know how to do it with hpack? It keeps removing my quotes in generated cabal file |
| 2025-11-06 11:40:13 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-06 11:43:13 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) (Read error: Connection reset by peer) |
| 2025-11-06 11:43:49 +0000 | <akegalj> | Leary: aha, made it. |
| 2025-11-06 11:44:45 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) synchromesh |
| 2025-11-06 11:45:18 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 11:45:31 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 11:46:05 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-06 11:46:07 +0000 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 11:48:13 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 11:52:25 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-06 11:52:43 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-06 11:54:39 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-06 11:55:13 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-06 11:57:48 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 12:04:06 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 12:04:19 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 12:10:21 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 12:12:52 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2025-11-06 12:14:26 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 12:15:07 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-06 12:17:37 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-06 12:17:51 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 12:17:58 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-06 12:20:31 +0000 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 12:20:44 +0000 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 12:21:11 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-11-06 12:21:48 +0000 | chiselfu1e | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-11-06 12:25:28 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-06 12:30:48 +0000 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2025-11-06 12:31:30 +0000 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2025-11-06 12:31:45 +0000 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2025-11-06 12:39:01 +0000 | Zemy | (~Zemy@2600:100c:b0ac:25f7:8012:9dff:fe87:9b9c) |
| 2025-11-06 12:39:01 +0000 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-06 12:39:36 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-06 12:43:16 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 2025-11-06 12:43:49 +0000 | Zemy | (~Zemy@2600:100c:b0ac:25f7:8012:9dff:fe87:9b9c) (Ping timeout: 260 seconds) |
| 2025-11-06 12:47:18 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-06 12:48:20 +0000 | akegalj | (~akegalj@78-1-215-14.adsl.net.t-com.hr) (Ping timeout: 265 seconds) |
| 2025-11-06 12:49:42 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 12:49:56 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 12:50:48 +0000 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 12:50:49 +0000 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 12:50:53 +0000 | Lycurgus | (~juan@user/Lycurgus) (Client Quit) |
| 2025-11-06 12:56:48 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-06 12:58:23 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-11-06 13:07:11 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-11-06 13:09:30 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-06 13:10:24 +0000 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 13:10:36 +0000 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 13:11:25 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 13:15:37 +0000 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 13:15:47 +0000 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 13:16:13 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-11-06 13:16:32 +0000 | trickard_ | trickard |
| 2025-11-06 13:23:55 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2025-11-06 13:24:54 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 13:24:57 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-11-06 13:27:41 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 13:32:34 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-06 13:33:21 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-11-06 13:34:58 +0000 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-06 13:35:13 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 13:35:31 +0000 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 13:35:36 +0000 | Googulator75 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 13:39:02 +0000 | akegalj | (~akegalj@78-1-215-14.adsl.net.t-com.hr) |
| 2025-11-06 13:43:43 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-11-06 13:43:52 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-06 13:46:17 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 13:48:38 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-06 13:50:13 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 13:52:24 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-06 13:55:36 +0000 | Googulator81 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 13:55:39 +0000 | Googulator75 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:00:38 +0000 | Googulator81 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:00:44 +0000 | Googulator61 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:09:01 +0000 | pr1sm | (~pr1sm@24.91.163.31) |
| 2025-11-06 14:09:51 +0000 | pr1sm | (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 2025-11-06 14:14:44 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-06 14:15:39 +0000 | Googulator7 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:15:47 +0000 | Googulator61 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:17:54 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-06 14:18:09 +0000 | califax | (~califax@user/califx) califx |
| 2025-11-06 14:19:44 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-06 14:20:40 +0000 | Googulator7 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:20:49 +0000 | Googulator7 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 14:23:42 +0000 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2025-11-06 14:28:43 +0000 | bggd | (~bgg@2a01:e0a:819:1510:264f:fa71:ccb5:98ac) |
| 2025-11-06 14:34:30 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 14:34:44 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 14:36:35 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 245 seconds) |
| 2025-11-06 14:40:35 +0000 | Googulator7 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:40:39 +0000 | Googulator91 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:45:45 +0000 | Googulator91 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:45:48 +0000 | Googulator39 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:49:47 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 14:50:00 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 14:50:03 +0000 | Square2 | (~Square4@user/square) Square |
| 2025-11-06 14:50:35 +0000 | trickard_ | trickard |
| 2025-11-06 14:54:47 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 14:58:04 +0000 | deployonfriday | (~user@2a01:799:1859:c100:12f1:ac5b:828f:d5a6) (Ping timeout: 244 seconds) |
| 2025-11-06 15:00:26 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 15:00:32 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-11-06 15:01:01 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 15:05:03 +0000 | matsurago | (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) (Quit: Leaving) |
| 2025-11-06 15:14:00 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-06 15:16:54 +0000 | Googulator39 | Googulator |
| 2025-11-06 15:18:23 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-06 15:23:58 +0000 | trickard_ | trickard |
| 2025-11-06 15:26:29 +0000 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-06 15:29:30 +0000 | <dutchie> | what's a better way of doing pattern matching in a MonadFail do block than `Just x <- pure $ _` |
| 2025-11-06 15:29:41 +0000 | <dutchie> | I'm sure I'm missing something obvious |
| 2025-11-06 15:31:05 +0000 | <__monty__> | dutchie: Maybe you just want `let x = _`? |
| 2025-11-06 15:32:10 +0000 | <dutchie> | does that trigger failure if it doesn't match? I tried something in ghci but maybe I messed it up |
| 2025-11-06 15:32:17 +0000 | <dutchie> | I got an exception instead of mzero |
| 2025-11-06 15:32:35 +0000 | <dutchie> | `x <- maybe mzero pure $ _` doesn't feel a whole lot better... ExceptT? |
| 2025-11-06 15:32:43 +0000 | <dutchie> | MaybeT? |
| 2025-11-06 15:33:39 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-06 15:34:37 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 15:41:46 +0000 | turlando | (~turlando@user/turlando) (Ping timeout: 256 seconds) |
| 2025-11-06 15:41:49 +0000 | turlando_ | (~turlando@user/turlando) turlando |
| 2025-11-06 15:43:58 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 15:54:16 +0000 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-06 15:58:39 +0000 | akegalj | (~akegalj@78-1-215-14.adsl.net.t-com.hr) (Ping timeout: 250 seconds) |
| 2025-11-06 16:03:26 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-06 16:04:08 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2025-11-06 16:04:33 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-06 16:06:19 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 16:08:47 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-11-06 16:11:26 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-06 16:15:35 +0000 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 16:15:41 +0000 | Googulator99 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 16:25:40 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 16:26:18 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-06 16:27:37 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-11-06 16:27:40 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-11-06 16:30:13 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-06 16:43:54 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 16:52:02 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-11-06 16:52:24 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-06 16:55:58 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-06 17:05:00 +0000 | <lyxia> | maybe mzero pure looks ok to me |
| 2025-11-06 17:08:21 +0000 | <haskellbridge> | <loonycyborg> Does that pure value come out of some action? You could pattern match on it at the point where it originally arises |
| 2025-11-06 17:08:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 17:13:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 17:15:22 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-06 17:15:37 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 17:20:55 +0000 | Square3 | (~Square@user/square) Square |
| 2025-11-06 17:24:01 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2025-11-06 17:24:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 17:29:06 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-06 17:29:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 17:40:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 17:41:32 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2025-11-06 17:44:08 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-11-06 17:47:00 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2025-11-06 17:47:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 17:49:30 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-11-06 17:50:40 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-06 17:52:20 +0000 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-06 17:58:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 17:59:02 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 18:01:54 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-06 18:02:14 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-11-06 18:03:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 18:06:28 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 18:07:48 +0000 | sherbert | (d006a0b946@2a03:6000:1812:100::155) sherbert |
| 2025-11-06 18:08:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 18:11:56 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-06 18:12:13 +0000 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
| 2025-11-06 18:13:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 18:16:28 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-06 18:21:10 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 18:21:23 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 18:24:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 18:26:54 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-06 18:29:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 18:31:25 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 255 seconds) |
| 2025-11-06 18:32:13 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-06 18:35:49 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-11-06 18:36:56 +0000 | pr1sm | (~pr1sm@24.91.163.31) |
| 2025-11-06 18:40:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 18:43:26 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-11-06 18:43:27 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-11-06 18:44:03 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Client Quit) |
| 2025-11-06 18:44:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 18:48:23 +0000 | Square3 | (~Square@user/square) (Remote host closed the connection) |
| 2025-11-06 18:54:13 +0000 | Square2 | (~Square@user/square) Square |
| 2025-11-06 18:56:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 19:00:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 19:02:12 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 19:02:35 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 19:06:19 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-11-06 19:09:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 19:14:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 19:17:10 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-11-06 19:21:26 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 19:24:25 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 19:24:39 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 19:25:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 19:29:24 +0000 | matt` | (~user@192-184-174-112.fiber.dynamic.sonic.net) |
| 2025-11-06 19:30:10 +0000 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 19:30:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 19:36:30 +0000 | deployonfriday | (~user@2a01:799:1859:c100:9a4a:2d15:6107:6048) |
| 2025-11-06 19:36:35 +0000 | opencircuit | (~quassel@user/opencircuit) (Remote host closed the connection) |
| 2025-11-06 19:36:44 +0000 | opencircuit | (~quassel@user/opencircuit) opencircuit |
| 2025-11-06 19:40:30 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-06 19:41:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 19:43:50 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 19:45:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 19:47:06 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-06 19:47:28 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-11-06 19:51:49 +0000 | pr1sm | (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 2025-11-06 19:53:26 +0000 | matt` | mcwitt |
| 2025-11-06 19:56:22 +0000 | mcwitt | (~user@192-184-174-112.fiber.dynamic.sonic.net) (Quit: k) |
| 2025-11-06 19:56:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 19:57:32 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-11-06 19:57:48 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-06 19:59:22 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-06 19:59:37 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 255 seconds) |
| 2025-11-06 20:00:36 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) (Read error: Connection reset by peer) |
| 2025-11-06 20:01:24 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) synchromesh |
| 2025-11-06 20:01:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-06 20:01:57 +0000 | dhil | (~dhil@5.151.29.141) (Quit: Leaving) |
| 2025-11-06 20:02:26 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
| 2025-11-06 20:04:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 20:05:30 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-06 20:09:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 20:10:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 20:15:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 20:18:02 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 20:21:30 +0000 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-11-06 20:26:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 20:28:54 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-06 20:28:59 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-11-06 20:32:04 +0000 | Square2 | (~Square4@user/square) Square |
| 2025-11-06 20:33:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 20:34:06 +0000 | <monochrom> | :( pattern guard doesn't introduce variables into a scope I would like. |
| 2025-11-06 20:34:48 +0000 | <monochrom> | I wanted to have: f x | Just r <- something = ... where foo = ... r ... |
| 2025-11-06 20:35:40 +0000 | <EvanR> | seems like a bug... what is where officially supposed to be able to see |
| 2025-11-06 20:36:28 +0000 | <monochrom> | I suppose the sanctioned way is: Just r <- something, let foo = ... r ... |
| 2025-11-06 20:36:29 +0000 | trickard_ | trickard |
| 2025-11-06 20:37:21 +0000 | <monochrom> | I can do that. It's OK. :) |
| 2025-11-06 20:38:12 +0000 | <monochrom> | In my example, where is supposed to see x and f only. |
| 2025-11-06 20:38:43 +0000 | <monochrom> | The converse though is wider. A guard (pattern or boolean) can see everything defined under where. |
| 2025-11-06 20:40:41 +0000 | <EvanR> | so there's a sort of event horizon |
| 2025-11-06 20:41:11 +0000 | <EvanR> | or one way mirror |
| 2025-11-06 20:41:24 +0000 | <monochrom> | And it's assymetric too. Those uni-directional films you can paste on your window :) |
| 2025-11-06 20:41:34 +0000 | <monochrom> | yeah :) |
| 2025-11-06 20:44:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 20:45:42 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 20:48:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 20:52:18 +0000 | myme | (~myme@2a01:799:d5e:5f00:ffab:db87:b0e2:97dd) (Ping timeout: 256 seconds) |
| 2025-11-06 20:53:25 +0000 | myme | (~myme@2a01:799:d5e:5f00:1a24:4c46:2ec0:9128) myme |
| 2025-11-06 21:00:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 21:05:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 21:07:48 +0000 | bggd | (~bgg@2a01:e0a:819:1510:264f:fa71:ccb5:98ac) (Ping timeout: 260 seconds) |
| 2025-11-06 21:08:38 +0000 | <__monty__> | Where ranges over all the definitions, no? So in general you can't assume an `r` would be in scope in the where. |
| 2025-11-06 21:09:54 +0000 | <EvanR> | where is attached to only 1 definition |
| 2025-11-06 21:11:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 21:13:37 +0000 | <__monty__> | Oh, you're right. It's always closer to let than I would like. I suppose it's like an outer let? |
| 2025-11-06 21:14:22 +0000 | <geekosaur> | where scopes over guards, but not independent equations |
| 2025-11-06 21:14:25 +0000 | <geekosaur> | iirc |
| 2025-11-06 21:15:19 +0000 | <__monty__> | Wait, no, that's what I meant. I shouldn't've said definitions. |
| 2025-11-06 21:15:24 +0000 | <EvanR> | one defining equation |
| 2025-11-06 21:15:40 +0000 | <__monty__> | The report calls it `gdrhs`. |
| 2025-11-06 21:15:50 +0000 | <EvanR> | catchy |
| 2025-11-06 21:16:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 21:19:45 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 250 seconds) |
| 2025-11-06 21:21:38 +0000 | deployonfriday | (~user@2a01:799:1859:c100:9a4a:2d15:6107:6048) (Ping timeout: 265 seconds) |
| 2025-11-06 21:21:44 +0000 | <jackdk> | monochrom: I don't suppose you've tried indenting the `where` further so it's within the alternative? |
| 2025-11-06 21:21:52 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2025-11-06 21:22:08 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-06 21:26:46 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-11-06 21:27:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 21:27:58 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-11-06 21:32:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 21:36:01 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-06 21:39:08 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-06 21:42:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 21:47:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 21:58:36 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-06 21:58:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 22:01:05 +0000 | <monochrom> | I tried. It's not meant to be! |
| 2025-11-06 22:03:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-06 22:07:53 +0000 | <dolio> | monochrom: You don't need let. You just need more pattern guards. |
| 2025-11-06 22:08:11 +0000 | <dolio> | Just r <- something, foo <- ... r ... = ... |
| 2025-11-06 22:08:44 +0000 | Zemy | (~Zemy@2600:100c:b021:2c99:ac43:c3ff:fe9f:ac80) |
| 2025-11-06 22:11:23 +0000 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 260 seconds) |
| 2025-11-06 22:11:35 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 22:12:40 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-06 22:12:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 22:17:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 22:18:56 +0000 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 2025-11-06 22:23:32 +0000 | ubert | (~Thunderbi@178.165.186.48.wireless.dyn.drei.com) (Quit: ubert) |
| 2025-11-06 22:23:50 +0000 | ubert | (~Thunderbi@178.165.186.48.wireless.dyn.drei.com) ubert |
| 2025-11-06 22:28:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 22:28:45 +0000 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-06 22:29:52 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 22:30:05 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 22:33:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 22:34:49 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Ping timeout: 264 seconds) |
| 2025-11-06 22:35:48 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 22:38:35 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-06 22:38:49 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-06 22:38:57 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-11-06 22:40:22 +0000 | Zemy_ | (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-11-06 22:42:01 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-06 22:42:26 +0000 | Core4520 | (~Zemy@2600:100c:b021:2c99:e8ef:cdff:fefd:214c) |
| 2025-11-06 22:42:51 +0000 | Zemy | (~Zemy@2600:100c:b021:2c99:ac43:c3ff:fe9f:ac80) (Read error: Connection reset by peer) |
| 2025-11-06 22:44:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 22:44:43 +0000 | Zemy_ | (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 244 seconds) |
| 2025-11-06 22:45:17 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2025-11-06 22:47:25 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-11-06 22:48:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 22:51:01 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2025-11-06 22:52:08 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-11-06 22:53:39 +0000 | <Square2> | Hey. Are type family instances defined as other type families encouraged? It seems to work really well. |
| 2025-11-06 22:54:13 +0000 | <Lycurgus> | then y do u care? |
| 2025-11-06 22:54:33 +0000 | <Square2> | was that for me? |
| 2025-11-06 22:54:46 +0000 | <Lycurgus> | unless u suspect it is just a seeming |
| 2025-11-06 22:55:34 +0000 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2025-11-06 22:55:36 +0000 | <geekosaur> | I can't think of any reason to avoid it as long as it's documented because it might be a bit confusing? |
| 2025-11-06 22:55:42 +0000 | <Square2> | I never seen it examples. I thought I verify it's okey to use cause I will use it for a central feature. |
| 2025-11-06 22:55:53 +0000 | <Square2> | it in* |
| 2025-11-06 22:56:40 +0000 | <Square2> | Definitely, it is alien for sure. |
| 2025-11-06 22:58:35 +0000 | Zemy | (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-11-06 22:59:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 22:59:56 +0000 | Zemy | (~Zemy@24-155-2-226.static.grandenetworks.net) (Read error: Connection reset by peer) |
| 2025-11-06 23:00:04 +0000 | Zemy | (~Zemy@2600:100c:b021:2c99:34f5:91ff:fe7f:6e5b) |
| 2025-11-06 23:00:39 +0000 | Zemy_ | (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-11-06 23:00:42 +0000 | Zemy | (~Zemy@2600:100c:b021:2c99:34f5:91ff:fe7f:6e5b) (Read error: Connection reset by peer) |
| 2025-11-06 23:00:58 +0000 | Zemy | (~Zemy@2600:100c:b021:2c99:a49a:c7ff:fe57:7568) |
| 2025-11-06 23:01:12 +0000 | Core4520 | (~Zemy@2600:100c:b021:2c99:e8ef:cdff:fefd:214c) (Ping timeout: 260 seconds) |
| 2025-11-06 23:04:07 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-06 23:04:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 23:04:54 +0000 | Zemy_ | (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 256 seconds) |
| 2025-11-06 23:05:20 +0000 | Fijxu_ | (~Fijxu@user/fijxu) (Ping timeout: 245 seconds) |
| 2025-11-06 23:08:46 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-11-06 23:13:08 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-06 23:13:09 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2025-11-06 23:13:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 23:14:13 +0000 | Zemy_ | (~Zemy@mobile-107-80-206-18.mycingular.net) |
| 2025-11-06 23:15:11 +0000 | Zemy | (~Zemy@2600:100c:b021:2c99:a49a:c7ff:fe57:7568) (Read error: Connection reset by peer) |
| 2025-11-06 23:15:31 +0000 | Zemy | (~Zemy@2600:100c:b021:2c99:3c31:bff:fe68:9247) |
| 2025-11-06 23:16:02 +0000 | <monochrom> | dolio: Haha I didn't think of that. |
| 2025-11-06 23:18:42 +0000 | Zemy_ | (~Zemy@mobile-107-80-206-18.mycingular.net) (Ping timeout: 260 seconds) |
| 2025-11-06 23:20:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 23:30:23 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-06 23:30:49 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 23:31:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 23:33:52 +0000 | Zemy | (~Zemy@2600:100c:b021:2c99:3c31:bff:fe68:9247) (Ping timeout: 260 seconds) |
| 2025-11-06 23:36:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 23:41:02 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-06 23:43:16 +0000 | Googulator99 | Googulator |
| 2025-11-06 23:43:23 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 23:43:59 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-06 23:47:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 23:49:06 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 23:52:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-06 23:53:32 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 23:57:56 +0000 | Square3 | (~Square@user/square) Square |