| 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 |
| 2025-12-05 09:55:39 +0100 | <lucabtz> | though i agree it would make more sense to keep it a separate function |
| 2025-12-05 09:57:45 +0100 | acidjnk | (~acidjnk@p200300d6e7171916e981ce74d2c64e2e.dip0.t-ipconnect.de) acidjnk |
| 2025-12-05 10:01:19 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-05 10:01:33 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 10:03:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 10:03:12 +0100 | fp | (~Thunderbi@130.233.70.22) fp |
| 2025-12-05 10:03:21 +0100 | bggd | (~bgg@2a01:e0a:fd5:f510:b178:c96:453a:4d0f) |
| 2025-12-05 10:08:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 10:08:28 +0100 | <ski> | u <*> (v <*> w) = pure (.) <*> u <*> v <*> w -- <https://wiki.haskell.org/Typeclassopedia#Laws_2> |
| 2025-12-05 10:08:40 +0100 | <ski> | that law is a kind of associativity law |
| 2025-12-05 10:09:00 +0100 | chele | (~chele@user/chele) chele |
| 2025-12-05 10:09:33 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-05 10:10:50 +0100 | <lucabtz> | if you mean that it does satisfy it i believe, the constraint becomes for each width and height that all the ones that are not equal to each other are 1 |
| 2025-12-05 10:12:43 +0100 | <ski> | (do note that `pure (.) <*> u <*> v <*> w' means `((pure (.) <*> u) <*> v) <*> w', so that that side is left-associated) |
| 2025-12-05 10:13:05 +0100 | <ski> | liftA2 (\a (b,c) -> (a,b,c)) ia (liftA2 (,) ib ic) = liftA2 (\(a,b) c -> (a,b,c)) (liftA2 (,) ia ib) ic -- same law, in terms of `liftA2', and tuples, might make the name "associativity" more reasonable |
| 2025-12-05 10:13:16 +0100 | <lucabtz> | yeah i get what you mean |
| 2025-12-05 10:14:47 +0100 | <ski> | liftA2 (uncurry . f) ia (liftA2 (,) ib ic) = liftA2 (uncurry f) (liftA2 (,) ia ib) ic -- or, with an arbitrary function `f', rather than triples |
| 2025-12-05 10:15:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 10:15:38 +0100 | <lucabtz> | it's okay i understood already from u <*> (v <*> w) = pure (.) <*> u <*> v <*> w |
| 2025-12-05 10:16:16 +0100 | <lucabtz> | it's not literal associativity of <*> but i get it makes sense to call is associativity |
| 2025-12-05 10:16:53 +0100 | <lucabtz> | literal associativity of <*> makes no sense because the domains of the operator on the left and right are different |
| 2025-12-05 10:17:38 +0100 | <ski> | anyway, the question is whether in `(M * N) * O' and `M * (N * O)', where `*' is some operation doing this kind of broadcasting, whether `M * N' and then `(M * N) * O' is well-defined is equivalent to `N * O' and then `M * (N * O)' being well-defined |
| 2025-12-05 10:19:03 +0100 | <lucabtz> | i still think it is satified by broadcasting, for example say in order you have (w, 1) <*> (1, h) <*> (w, h), associating on the left you have (w, 1) <*> (1, h) = (w, h) and then (w, h) <*> (w, h) = (w, h), on the right (1, h) <*> (w, h) = (w, h) and then (w, 1) <*> (w, h) = (w, h) |
| 2025-12-05 10:19:49 +0100 | <ski> | (yea .. in terms of `liftA2 (,) :: Applicative i => i a -> i b -> i (a,b)', we're asking whether this operation is associative, up to reassociating the `((a,b),c)' vs. `(a,(b,c))' in the result. it's just that we then have rexpressed this (not "on the nose") associative law in terms of its equivalent condition in terms of `(<*>)') |
| 2025-12-05 10:20:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-05 10:22:21 +0100 | <ski> | hm, yea, i think you're right (after pondering the conditions) |
| 2025-12-05 10:22:24 +0100 | <lucabtz> | i dont see why associativity wouldnt be satified here because this is just about tiling up the grids to match the bigger grid, if the grids are all equal then associativity is a consequence of associativity of ., if some have dimension 1 it shouldn't matter when you tile them bigger |
| 2025-12-05 10:23:01 +0100 | <lucabtz> | though honestly idk if it is so trivial to come up with an actual proof, maybe it is |
| 2025-12-05 10:23:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 10:28:10 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-05 10:28:35 +0100 | <ski> | you just have to handle all the cases |
| 2025-12-05 10:28:58 +0100 | <lucabtz> | i suppose maybe it can be shown for 1D grids where there a are few cases and then handled inductively for all dimensions |
| 2025-12-05 10:29:45 +0100 | <ski> | since it is uniform in the dimensions, you only need to consider an arbitrary dimension, yes |
| 2025-12-05 10:32:36 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 252 seconds) |
| 2025-12-05 10:33:37 +0100 | trickard_ | trickard |
| 2025-12-05 10:43:15 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-05 10:44:11 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-05 10:44:56 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-05 10:52:31 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2025-12-05 11:06:26 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-05 11:20:13 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4ec:c6c9:2447:6676) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-05 11:23:10 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-05 11:23:24 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 11:23:50 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4ec:c6c9:2447:6676) |
| 2025-12-05 11:24:30 +0100 | chencheng | (~chencheng@38.207.158.7) |
| 2025-12-05 11:24:44 +0100 | chencheng | (~chencheng@38.207.158.7) (Changing host) |
| 2025-12-05 11:24:44 +0100 | chencheng | (~chencheng@user/chencheng) chencheng |
| 2025-12-05 11:33:25 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-05 11:33:37 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-12-05 11:34:08 +0100 | chencheng | (~chencheng@user/chencheng) (Quit: Client closed) |
| 2025-12-05 11:34:40 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 11:37:02 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-05 11:37:55 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 246 seconds) |
| 2025-12-05 11:48:46 +0100 | jyf | (~jyf@user/jyf) jyf |
| 2025-12-05 11:50:45 +0100 | mulk | (~mulk@pd9514972.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-12-05 11:51:38 +0100 | jyf | (~jyf@user/jyf) () |
| 2025-12-05 11:52:13 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 2025-12-05 11:57:19 +0100 | fp | (~Thunderbi@130.233.70.22) (Ping timeout: 260 seconds) |
| 2025-12-05 12:00:28 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-05 12:02:46 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-05 12:06:30 +0100 | acidjnk | (~acidjnk@p200300d6e7171916e981ce74d2c64e2e.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-12-05 12:11:07 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-12-05 12:11:37 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-05 12:15:01 +0100 | Enrico63 | (~Enrico63@host-212-171-79-170.retail.telecomitalia.it) Enrico63 |
| 2025-12-05 12:18:19 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-05 12:18:44 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-05 12:20:41 +0100 | kuribas | (~user@2a02-1810-2825-6000-c670-8bfa-1a59-2007.ip6.access.telenet.be) kuribas |
| 2025-12-05 12:21:49 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-05 12:23:48 +0100 | fp | (~Thunderbi@130.233.70.22) fp |
| 2025-12-05 12:29:07 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 264 seconds) |
| 2025-12-05 12:29:39 +0100 | HY17 | (~HY17@203.255.19.99) |
| 2025-12-05 12:32:46 +0100 | Enrico63 | (~Enrico63@host-212-171-79-170.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-12-05 12:33:00 +0100 | Enrico63 | (~Enrico63@host-212-171-79-170.retail.telecomitalia.it) Enrico63 |
| 2025-12-05 12:33:48 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-05 12:36:34 +0100 | acidjnk | (~acidjnk@p200300d6e7171916e981ce74d2c64e2e.dip0.t-ipconnect.de) acidjnk |
| 2025-12-05 12:37:48 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 244 seconds) |
| 2025-12-05 12:42:46 +0100 | Jackneill_ | (~Jackneill@94-21-15-191.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-12-05 12:42:56 +0100 | Jackneill | (~Jackneill@94-21-15-191.pool.digikabel.hu) Jackneill |
| 2025-12-05 12:50:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 12:53:15 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-12-05 12:53:40 +0100 | Square | (~Square4@user/square) Square |
| 2025-12-05 12:57:04 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) (Quit: Leaving) |
| 2025-12-05 13:00:59 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-05 13:02:55 +0100 | fp | (~Thunderbi@130.233.70.22) (Quit: fp) |
| 2025-12-05 13:03:43 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 13:06:20 +0100 | Enrico63 | (~Enrico63@host-212-171-79-170.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-12-05 13:10:37 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) Inline |
| 2025-12-05 13:10:41 +0100 | HY17 | (~HY17@203.255.19.99) (Ping timeout: 250 seconds) |
| 2025-12-05 13:13:04 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) (Read error: Connection reset by peer) |
| 2025-12-05 13:13:06 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4ec:c6c9:2447:6676) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-05 13:14:17 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) Inline |
| 2025-12-05 13:18:15 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7967:e26:4b29:6339) |
| 2025-12-05 13:21:27 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4ec:c6c9:2447:6676) |
| 2025-12-05 13:21:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 13:25:20 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-05 13:26:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-05 13:29:58 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 265 seconds) |
| 2025-12-05 13:30:32 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-05 13:30:46 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 13:37:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 13:40:38 +0100 | qqe | (~qqq@185.54.20.98) (Remote host closed the connection) |
| 2025-12-05 13:44:12 +0100 | Enrico63 | (~Enrico63@host-212-171-79-170.retail.telecomitalia.it) Enrico63 |
| 2025-12-05 13:45:04 +0100 | Googulator | (~Googulato@team.broadbit.hu) |
| 2025-12-05 13:48:27 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-05 13:48:40 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 13:59:46 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-05 14:04:13 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 246 seconds) |
| 2025-12-05 14:04:40 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-05 14:04:41 +0100 | traxex | (traxex@user/traxex) traxex |
| 2025-12-05 14:05:03 +0100 | Enrico63 | (~Enrico63@host-212-171-79-170.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-12-05 14:13:57 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-12-05 14:15:35 +0100 | jreicher | (~user@user/jreicher) (Ping timeout: 240 seconds) |
| 2025-12-05 14:19:28 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-05 14:24:41 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-05 14:24:49 +0100 | qqe | (~qqq@185.54.20.98) |
| 2025-12-05 14:34:30 +0100 | xnyhps | (~xnyhps@s.xnyhps.nl) |
| 2025-12-05 14:39:55 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 240 seconds) |
| 2025-12-05 14:43:45 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-05 14:51:01 +0100 | mikess | (~sam@user/mikess) mikess |
| 2025-12-05 14:51:44 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-05 14:52:01 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-05 14:54:03 +0100 | qqe | (~qqq@185.54.20.98) (Quit: Lost terminal) |
| 2025-12-05 14:56:26 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) (Read error: Connection reset by peer) |
| 2025-12-05 14:57:05 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) Inline |
| 2025-12-05 14:57:37 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 2025-12-05 14:59:25 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) (Read error: Connection reset by peer) |
| 2025-12-05 14:59:36 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4ec:c6c9:2447:6676) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-05 15:01:50 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4ec:c6c9:2447:6676) |
| 2025-12-05 15:02:22 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) Inline |
| 2025-12-05 15:02:32 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
| 2025-12-05 15:12:08 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-12-05 15:12:27 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-12-05 15:12:50 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-12-05 15:14:13 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-05 15:14:28 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-12-05 15:14:42 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 15:20:43 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 264 seconds) |
| 2025-12-05 15:26:38 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-05 15:32:32 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-12-05 15:39:40 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 272 seconds) |
| 2025-12-05 15:41:10 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-05 15:45:44 +0100 | krei-se | (~krei-se@p3ee0fbea.dip0.t-ipconnect.de) krei-se |
| 2025-12-05 15:46:39 +0100 | krei-se- | (~krei-se@p200300f1cf1d55010000000000009569.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-12-05 15:50:42 +0100 | Googulator | (~Googulato@team.broadbit.hu) |
| 2025-12-05 15:53:41 +0100 | Enrico63 | (~Enrico63@host-212-171-79-170.pool212171.interbusiness.it) Enrico63 |
| 2025-12-05 16:01:24 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/) |
| 2025-12-05 16:13:51 +0100 | Enrico63 | (~Enrico63@host-212-171-79-170.pool212171.interbusiness.it) (Quit: Client closed) |
| 2025-12-05 16:16:29 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-05 16:23:00 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-12-05 16:26:40 +0100 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2025-12-05 16:31:13 +0100 | Googulator71 | (~Googulato@team.broadbit.hu) |
| 2025-12-05 16:34:21 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-12-05 16:34:33 +0100 | Googulator71 | Googulator |
| 2025-12-05 16:34:54 +0100 | humasect | (~humasect@192.249.132.90) humasect |
| 2025-12-05 16:36:47 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-12-05 16:39:01 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-12-05 16:39:37 +0100 | humasect | (~humasect@192.249.132.90) (Ping timeout: 264 seconds) |
| 2025-12-05 16:39:50 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-05 16:41:04 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) ft |
| 2025-12-05 16:41:23 +0100 | humasect | (~humasect@192.249.132.90) humasect |
| 2025-12-05 16:49:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 16:59:30 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-12-05 17:00:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 17:00:27 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-12-05 17:01:06 +0100 | <iqubic> | Does using the HLint HLS plugin require the HLint package to be on my path? |
| 2025-12-05 17:01:07 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-12-05 17:02:02 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-12-05 17:02:06 +0100 | noctux | (~noctux@user/noctux) (Ping timeout: 256 seconds) |
| 2025-12-05 17:03:23 +0100 | noctux | (~noctux@user/noctux) noctux |
| 2025-12-05 17:03:53 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 244 seconds) |
| 2025-12-05 17:04:22 +0100 | DetourNe- | DetourNetworkUK |
| 2025-12-05 17:05:25 +0100 | RMSBach | (~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) RMSBach |
| 2025-12-05 17:05:27 +0100 | humasect | (~humasect@192.249.132.90) (Quit: Leaving...) |
| 2025-12-05 17:06:18 +0100 | RSBach | (~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) (Read error: Connection reset by peer) |
| 2025-12-05 17:07:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 17:07:18 +0100 | img_ | (~img@user/img) img |
| 2025-12-05 17:08:32 +0100 | img | (~img@user/img) (Ping timeout: 244 seconds) |
| 2025-12-05 17:09:15 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-05 17:09:35 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-05 17:13:43 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-05 17:14:06 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-05 17:17:12 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-05 17:18:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 17:18:40 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 245 seconds) |
| 2025-12-05 17:18:46 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4ec:c6c9:2447:6676) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-05 17:23:10 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-12-05 17:23:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-05 17:26:39 +0100 | <tomsmeding> | iqubic: hlint should be linked into HLS already, no need to separately install hlint |
| 2025-12-05 17:28:10 +0100 | <tomsmeding> | it uses hlint as a library https://github.com/haskell/haskell-language-server/blob/master/plugins/hls-hlint-plugin/src/Ide/Pl… |
| 2025-12-05 17:30:05 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) Inline |
| 2025-12-05 17:30:24 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-05 17:30:47 +0100 | Googulator47 | (~Googulato@team.broadbit.hu) |
| 2025-12-05 17:31:12 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-12-05 17:31:49 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-12-05 17:32:45 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-12-05 17:34:09 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-12-05 17:34:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 17:39:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-05 17:40:04 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-05 17:41:47 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-05 17:42:03 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-12-05 17:43:05 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4ec:c6c9:2447:6676) |
| 2025-12-05 17:43:57 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-05 17:46:09 +0100 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-12-05 17:50:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 17:52:26 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-05 17:54:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-05 18:05:31 +0100 | <haskellbridge> | <Zemyla> My brain has been whirring on how to create strict unboxed Sequences, the way there are strict unboxed Vectors in the vector library. |
| 2025-12-05 18:05:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 18:08:05 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-05 18:08:44 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/) |
| 2025-12-05 18:08:45 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 18:10:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 18:11:46 +0100 | kuribas | (~user@2a02-1810-2825-6000-c670-8bfa-1a59-2007.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-12-05 18:15:19 +0100 | annamalai | (~annamalai@157.32.204.27) (Ping timeout: 264 seconds) |
| 2025-12-05 18:15:27 +0100 | <c_wraith> | With what constraints? |
| 2025-12-05 18:15:50 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) () |
| 2025-12-05 18:16:40 +0100 | annamalai | (~annamalai@157.32.204.27) annamalai |
| 2025-12-05 18:19:22 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-05 18:19:36 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-12-05 18:20:06 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
