| 2025-12-05 00:00:47 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2025-12-05 00:20:46 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 255 seconds) |
| 2025-12-05 00:21:28 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-05 00:30:16 +0100 | Googulator58 | Googulator |
| 2025-12-05 00:36:38 +0100 | tjbc_ | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2025-12-05 00:38:35 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2025-12-05 00:39:03 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) (Ping timeout: 265 seconds) |
| 2025-12-05 00:39:23 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-12-05 00:39:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 00:42:32 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-05 00:44:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 00:45:19 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-12-05 00:45:47 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 00:47:48 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) |
| 2025-12-05 00:52:49 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) (Ping timeout: 264 seconds) |
| 2025-12-05 00:55:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 01:00:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 01:05:42 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-05 01:05:43 +0100 | Googulator25 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-05 01:08:09 +0100 | tjbc | (~tjbc@user/fliife) fliife |
| 2025-12-05 01:11:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 01:11:16 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-05 01:16:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 01:27:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 01:27:55 +0100 | annamalai | (~annamalai@117.246.122.240) (Ping timeout: 264 seconds) |
| 2025-12-05 01:28:23 +0100 | annamalai | (~annamalai@117.246.67.130) annamalai |
| 2025-12-05 01:31:11 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-05 01:32:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-05 01:33:24 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-05 01:33:38 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 01:35:44 +0100 | Googulator25 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-05 01:35:46 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-05 01:42:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 01:47:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-05 01:52:40 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-05 01:54:12 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-05 01:58:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 02:01:13 +0100 | <Axman6> | iqubic: you probably want :load not :module |
| 2025-12-05 02:01:32 +0100 | <Axman6> | uh.... apparently I was very scrolled up, oops |
| 2025-12-05 02:02:34 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-05 02:04:01 +0100 | <geekosaur> | not with cabal repl, that'll unload the whole component |
| 2025-12-05 02:04:31 +0100 | xff0x | (~xff0x@2405:6580:b080:900:d454:e7ea:27f9:454f) (Ping timeout: 264 seconds) |
| 2025-12-05 02:04:31 +0100 | <geekosaur> | they wanted to select a particular module out of the loaded modules |
| 2025-12-05 02:07:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 02:09:08 +0100 | iqubic | (~sophia@2601:602:9203:1660:6858:25a9:5635:3842) iqubic |
| 2025-12-05 02:10:46 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-05 02:10:54 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-05 02:14:53 +0100 | ephemient | (uid407513@user/ephemient) (Quit: Connection closed for inactivity) |
| 2025-12-05 02:18:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 02:22:58 +0100 | acidjnk | (~acidjnk@p200300d6e71719824d363649e1e7df87.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-12-05 02:23:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 02:32:17 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-05 02:33:37 +0100 | wbooze | (~wbooze@2001-4dd4-1daa-0-dd66-75b6-3dbd-fc23.ipv6dyn.netcologne.de) (Quit: Leaving) |
| 2025-12-05 02:34:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 02:37:33 +0100 | wbooze | (~wbooze@2001-4dd4-1daa-0-dd66-75b6-3dbd-fc23.ipv6dyn.netcologne.de) Inline |
| 2025-12-05 02:38:15 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-05 02:38:29 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 02:38:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-05 02:40:54 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-05 02:40:57 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-05 02:41:23 +0100 | omidmash8 | (~omidmash@user/omidmash) omidmash |
| 2025-12-05 02:43:27 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 252 seconds) |
| 2025-12-05 02:43:27 +0100 | omidmash8 | omidmash |
| 2025-12-05 02:44:18 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-05 02:49:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 02:52:32 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-05 02:52:50 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-05 02:54:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-05 03:05:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 03:07:57 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-05 03:10:00 +0100 | wbooze | (~wbooze@2001-4dd4-1daa-0-dd66-75b6-3dbd-fc23.ipv6dyn.netcologne.de) (Quit: Leaving) |
| 2025-12-05 03:10:46 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-05 03:10:47 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-05 03:12:09 +0100 | wbooze | (~wbooze@2001-4dd4-1daa-0-bd80-483d-7252-5b60.ipv6dyn.netcologne.de) Inline |
| 2025-12-05 03:12:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 03:16:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-05 03:20:45 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds) |
| 2025-12-05 03:23:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 03:28:09 +0100 | trickard_ | trickard |
| 2025-12-05 03:28:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 03:35:10 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-05 03:35:13 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-05 03:35:26 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-05 03:37:36 +0100 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-05 03:39:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 03:43:03 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-12-05 03:43:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 03:49:13 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-12-05 03:52:04 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-05 03:52:21 +0100 | inline__ | (~wbooze@cgn-195-14-220-195.nc.de) Inline |
| 2025-12-05 03:52:44 +0100 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 256 seconds) |
| 2025-12-05 03:54:24 +0100 | traxex | (traxex@user/traxex) (Ping timeout: 252 seconds) |
| 2025-12-05 03:54:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 03:55:25 +0100 | wbooze | (~wbooze@2001-4dd4-1daa-0-bd80-483d-7252-5b60.ipv6dyn.netcologne.de) (Ping timeout: 255 seconds) |
| 2025-12-05 03:55:58 +0100 | inline__ | wbooze |
| 2025-12-05 03:58:57 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:6d37:9395:81dd:6672) |
| 2025-12-05 04:00:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 04:03:11 +0100 | qqe | (~qqq@185.54.20.98) |
| 2025-12-05 04:06:14 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 04:09:01 +0100 | annamalai | (~annamalai@117.246.67.130) (Ping timeout: 264 seconds) |
| 2025-12-05 04:09:27 +0100 | annamalai | (~annamalai@157.32.195.50) annamalai |
| 2025-12-05 04:10:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 04:14:25 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-12-05 04:15:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 04:17:12 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 04:23:56 +0100 | chencheng | (~chencheng@user/chencheng) chencheng |
| 2025-12-05 04:26:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 04:27:57 +0100 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 252 seconds) |
| 2025-12-05 04:29:49 +0100 | td_ | (~td@i5387091D.versanet.de) |
| 2025-12-05 04:31:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-05 04:33:38 +0100 | chencheng | (~chencheng@user/chencheng) (Quit: Client closed) |
| 2025-12-05 04:35:30 +0100 | trickard_ | trickard |
| 2025-12-05 04:35:35 +0100 | chencheng | (~chencheng@38.207.158.7) |
| 2025-12-05 04:38:31 +0100 | chencheng | (~chencheng@38.207.158.7) (Changing host) |
| 2025-12-05 04:38:31 +0100 | chencheng | (~chencheng@user/chencheng) chencheng |
| 2025-12-05 04:41:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 250 seconds) |
| 2025-12-05 04:41:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 04:42:49 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-05 04:45:45 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-12-05 04:46:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 04:47:12 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-05 04:48:25 +0100 | img | (~img@user/img) img |
| 2025-12-05 04:57:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 04:59:35 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 240 seconds) |
| 2025-12-05 05:03:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 05:10:52 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-05 05:10:57 +0100 | Googulator27 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-05 05:13:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 05:18:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 05:20:40 +0100 | <haskellbridge> | <zoil> https://kf8nh.com/_heisenbridge/media/matrix.org/rhUxMwxtLNxEouwGoREUnbyb/Yv5YLdaJbOA/image.png |
| 2025-12-05 05:20:42 +0100 | <haskellbridge> | <zoil> someone sends me 15 btc then i will share my code with them |
| 2025-12-05 05:24:39 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-05 05:25:11 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-12-05 05:29:25 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 2025-12-05 05:29:26 +0100 | divlamir_ | divlamir |
| 2025-12-05 05:29:32 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 265 seconds) |
| 2025-12-05 05:30:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 05:31:02 +0100 | chencheng | (~chencheng@user/chencheng) (Quit: Client closed) |
| 2025-12-05 05:31:33 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-12-05 05:33:22 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-05 05:35:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-05 05:46:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 05:52:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-05 05:55:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 05:58:13 +0100 | michalz | (~michalz@185.246.207.215) |
| 2025-12-05 06:00:04 +0100 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-12-05 06:00:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-05 06:01:24 +0100 | deptype_ | (~deptype@2406:b400:3a:9d2f:6d37:9395:81dd:6672) |
| 2025-12-05 06:07:29 +0100 | deptype_ | (~deptype@2406:b400:3a:9d2f:6d37:9395:81dd:6672) (Quit: Leaving) |
| 2025-12-05 06:11:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 06:11:33 +0100 | ridcully | (~ridcully@p57b52b68.dip0.t-ipconnect.de) (Quit: WeeChat 4.7.1) |
| 2025-12-05 06:11:57 +0100 | ridcully | (~ridcully@p57b52b68.dip0.t-ipconnect.de) ridcully |
| 2025-12-05 06:16:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 06:26:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 06:29:18 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-05 06:31:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-05 06:42:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 06:47:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 06:49:07 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-05 06:53:19 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 2025-12-05 06:56:53 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-05 06:58:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 07:04:26 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-05 07:05:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-05 07:07:46 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-12-05 07:11:28 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-05 07:13:26 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-05 07:13:39 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 07:14:39 +0100 | chencheng | (~chencheng@38.207.158.7) |
| 2025-12-05 07:16:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 07:21:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-05 07:29:11 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-05 07:31:13 +0100 | annamalai | (~annamalai@157.32.195.50) (Ping timeout: 264 seconds) |
| 2025-12-05 07:31:48 +0100 | mikess | (~sam@user/mikess) mikess |
| 2025-12-05 07:32:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 07:33:44 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 256 seconds) |
| 2025-12-05 07:37:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 07:44:44 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:6d37:9395:81dd:6672) (Ping timeout: 260 seconds) |
| 2025-12-05 07:48:05 +0100 | trickard_ | trickard |
| 2025-12-05 07:48:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 07:48:37 +0100 | annamalai | (~annamalai@157.32.199.183) annamalai |
| 2025-12-05 07:51:18 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 256 seconds) |
| 2025-12-05 07:53:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-05 07:55:01 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:bea8:630a:dd01:23de) |
| 2025-12-05 08:03:08 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-05 08:03:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 08:08:04 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 265 seconds) |
| 2025-12-05 08:09:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 08:19:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 08:24:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-05 08:28:53 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-05 08:30:37 +0100 | annamalai | (~annamalai@157.32.199.183) (Ping timeout: 264 seconds) |
| 2025-12-05 08:35:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 08:40:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-05 08:44:46 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:bea8:630a:dd01:23de) (Ping timeout: 255 seconds) |
| 2025-12-05 08:47:53 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-05 08:51:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 08:54:20 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-05 08:56:10 +0100 | deptype | (~deptype@124.123.133.153) |
| 2025-12-05 08:57:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-05 08:58:40 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 246 seconds) |
| 2025-12-05 09:02:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 09:06:20 +0100 | Googulator27 | Googulator |
| 2025-12-05 09:06:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-05 09:08:15 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2025-12-05 09:10:11 +0100 | chencheng | (~chencheng@38.207.158.7) (Ping timeout: 250 seconds) |
| 2025-12-05 09:10:11 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-05 09:10:20 +0100 | <lucabtz> | is it fine to have an Applicative instance be partial? or it is better i just make separate functions with same signatures as Applicative |
| 2025-12-05 09:10:37 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-12-05 09:11:23 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 265 seconds) |
| 2025-12-05 09:12:13 +0100 | annamalai | (~annamalai@157.32.204.27) annamalai |
| 2025-12-05 09:12:28 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-05 09:13:34 +0100 | <dminuoso> | lucabtz: Do you just intend to define <*> but not pure? |
| 2025-12-05 09:14:21 +0100 | <dminuoso> | https://hackage.haskell.org/package/semigroupoids-6.0.1/docs/Data-Functor-Apply.html#t:Apply |
| 2025-12-05 09:14:53 +0100 | <dminuoso> | And in case you just care about pure, https://hackage.haskell.org/package/pointed-5.0.5/docs/Data-Pointed.html#t:Pointed |
| 2025-12-05 09:16:01 +0100 | <[exa]> | reading the wiki here https://wiki.haskell.org/index.php?title=Top_level_mutable_state it says "In contrast, other 'approved' uses of unsafePerformIO are perfectly safe." |
| 2025-12-05 09:16:08 +0100 | <[exa]> | ...is that a joke? (can't tell) |
| 2025-12-05 09:16:54 +0100 | <[exa]> | lucabtz: probably depends on how much partial |
| 2025-12-05 09:17:44 +0100 | <dminuoso> | [exa]: Of course "approved" is quite a nebulous term. If "approved" means "perfectly safe", that statement is absolutely correct. |
| 2025-12-05 09:17:54 +0100 | <jackdk> | lucabtz: I would write code against a different typeclass (class Apply from semigroupoids, for example) or provide a different named function. The benefit of a programming culture where people only write complete and lawful instances, is that anyone writing polymorphic code can expect their code to work for any instance, instead of for "any instance except a growing list of exceptions" |
| 2025-12-05 09:18:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 09:18:57 +0100 | <dminuoso> | Plus, you may later refactor and reuse some other library that imposes a `Applicative` constraint - it may not even be obvious that you're tapping into a bottom. It's a mine waiting to be stepped on. |
| 2025-12-05 09:19:24 +0100 | <jackdk> | I personally also shy away from using `class Pointed`, for reasons Ed writes about at https://wiki.haskell.org/Why_not_Pointed%3F |
| 2025-12-05 09:21:53 +0100 | <ski> | > (0 :: Natural) - 1 |
| 2025-12-05 09:21:57 +0100 | <lambdabot> | *Exception: arithmetic underflow |
| 2025-12-05 09:22:10 +0100 | <[exa]> | naturally... |
| 2025-12-05 09:22:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 09:24:43 +0100 | <[exa]> | dminuoso: well that gives kinda circular definition of approved :D |
| 2025-12-05 09:24:53 +0100 | <dminuoso> | Of course. |
| 2025-12-05 09:25:12 +0100 | <[exa]> | "it works" |
| 2025-12-05 09:30:11 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4ec:c6c9:2447:6676) |
| 2025-12-05 09:30:55 +0100 | <lucabtz> | dminuoso no both pure and <*>, but <*> will be a partial function |
| 2025-12-05 09:32:19 +0100 | <lucabtz> | i have a type Grid a which is a grid of data and i want something similar to numpy's broadcasting |
| 2025-12-05 09:33:26 +0100 | <lucabtz> | i need a function Grid (a -> b) -> Grid a -> Grid b which is <*>, but this needs to work only if broadcasting is possible (so for some conditions over the grids width and height) |
| 2025-12-05 09:33:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 09:33:36 +0100 | <lucabtz> | pure can just embed in a 1x1 Grid |
| 2025-12-05 09:35:02 +0100 | <lucabtz> | by partial i mean it will call error if broadcasting is not possible |
| 2025-12-05 09:35:41 +0100 | <lucabtz> | maybe it is just better to have another function for all of this so i can put HasCallStack too, even if it will have the same signature as <*> |
| 2025-12-05 09:37:29 +0100 | <ski> | when is it possible/impossible ? |
| 2025-12-05 09:38:20 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-05 09:39:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 09:39:07 +0100 | <lucabtz> | either widths are equal or some are 1 and same for height |
| 2025-12-05 09:39:53 +0100 | <lucabtz> | if you have say (w, 1) (w, h) the result is (w, h) and the first one is broadcasted to (w, h) by repeating the row h times over the columns |
| 2025-12-05 09:40:28 +0100 | <lucabtz> | technically i suppose you could weaken the constraint with divisibility instead of 1, but it is not like that in numpy |
| 2025-12-05 09:40:41 +0100 | <lucabtz> | *instead of equality to 1 |
| 2025-12-05 09:40:49 +0100 | <ski> | (m0 == m1 || any (1 ==) [m0,m1]) && (n0 == n1 || any (1 ==) [n0,n1]) -- ? |
| 2025-12-05 09:41:05 +0100 | <lucabtz> | yep |
| 2025-12-05 09:42:24 +0100 | <ski> | if you take assocative law, such that all applications on one side satisfies this condition, do the ones on the other side also satisfy it ? |
| 2025-12-05 09:42:56 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 256 seconds) |
| 2025-12-05 09:43:44 +0100 | <ski> | (and similarly for the other laws) |
| 2025-12-05 09:44:39 +0100 | <ski> | it'd be annoying, if rewriting a total use, with one of the laws, would give a partial use |
| 2025-12-05 09:45:16 +0100 | <ski> | btw, i'd probably just define a separate function |
| 2025-12-05 09:45:49 +0100 | <ski> | (i don't much like this kind of implicit broadcasting) |
| 2025-12-05 09:49:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 09:52:46 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-05 09:53:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-05 09:54:32 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-12-05 09:55:06 +0100 | <lucabtz> | im a bit confused by what associative law you are speaking about |
| 2025-12-05 09:55:18 +0100 | <lucabtz> | <*> is not associative |
