2025/12/05

2025-12-05 00:00:47 +0100omidmash(~omidmash@user/omidmash) (Ping timeout: 244 seconds)
2025-12-05 00:20:46 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 255 seconds)
2025-12-05 00:21:28 +0100tromp(~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-05 00:30:16 +0100Googulator58Googulator
2025-12-05 00:36:38 +0100tjbc_(~tjbc@user/fliife) (Quit: ZNC - https://znc.in)
2025-12-05 00:38:35 +0100omidmash(~omidmash@user/omidmash) omidmash
2025-12-05 00:39:03 +0100lambda_gibbon(~lambda_gi@208.83.175.39) (Ping timeout: 265 seconds)
2025-12-05 00:39:23 +0100emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-12-05 00:39:50 +0100merijn(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-05 00:45:19 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 240 seconds)
2025-12-05 00:45:47 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-05 00:47:48 +0100lambda_gibbon(~lambda_gi@208.83.175.39)
2025-12-05 00:52:49 +0100lambda_gibbon(~lambda_gi@208.83.175.39) (Ping timeout: 264 seconds)
2025-12-05 00:55:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 01:00:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-05 01:05:42 +0100Googulator(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-05 01:05:43 +0100Googulator25(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-05 01:08:09 +0100tjbc(~tjbc@user/fliife) fliife
2025-12-05 01:11:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 01:11:16 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-12-05 01:16:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-05 01:27:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 01:27:55 +0100annamalai(~annamalai@117.246.122.240) (Ping timeout: 264 seconds)
2025-12-05 01:28:23 +0100annamalai(~annamalai@117.246.67.130) annamalai
2025-12-05 01:31:11 +0100Tuplanolla(~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.)
2025-12-05 01:32:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-05 01:33:24 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-05 01:33:38 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-05 01:35:44 +0100Googulator25(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-05 01:35:46 +0100Googulator68(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-05 01:42:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 01:47:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-05 01:52:40 +0100Lord_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 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-12-05 01:58:18 +0100merijn(~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 +0100ttybitnik(~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 +0100xff0x(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-05 02:09:08 +0100iqubic(~sophia@2601:602:9203:1660:6858:25a9:5635:3842) iqubic
2025-12-05 02:10:46 +0100Googulator68(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-05 02:10:54 +0100Googulator19(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-05 02:14:53 +0100ephemient(uid407513@user/ephemient) (Quit: Connection closed for inactivity)
2025-12-05 02:18:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 02:22:58 +0100acidjnk(~acidjnk@p200300d6e71719824d363649e1e7df87.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-12-05 02:23:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-05 02:32:17 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-12-05 02:33:37 +0100wbooze(~wbooze@2001-4dd4-1daa-0-dd66-75b6-3dbd-fc23.ipv6dyn.netcologne.de) (Quit: Leaving)
2025-12-05 02:34:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 02:37:33 +0100wbooze(~wbooze@2001-4dd4-1daa-0-dd66-75b6-3dbd-fc23.ipv6dyn.netcologne.de) Inline
2025-12-05 02:38:15 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-05 02:38:29 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-05 02:38:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-05 02:40:54 +0100Googulator19(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-05 02:40:57 +0100Googulator98(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-05 02:41:23 +0100omidmash8(~omidmash@user/omidmash) omidmash
2025-12-05 02:43:27 +0100omidmash(~omidmash@user/omidmash) (Ping timeout: 252 seconds)
2025-12-05 02:43:27 +0100omidmash8omidmash
2025-12-05 02:44:18 +0100califax(~califax@user/califx) califx
2025-12-05 02:49:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 02:52:32 +0100Googulator98(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-05 02:52:50 +0100Googulator98(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-05 02:54:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-05 03:05:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 03:07:57 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-12-05 03:10:00 +0100wbooze(~wbooze@2001-4dd4-1daa-0-dd66-75b6-3dbd-fc23.ipv6dyn.netcologne.de) (Quit: Leaving)
2025-12-05 03:10:46 +0100Googulator82(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-05 03:10:47 +0100Googulator98(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-05 03:12:09 +0100wbooze(~wbooze@2001-4dd4-1daa-0-bd80-483d-7252-5b60.ipv6dyn.netcologne.de) Inline
2025-12-05 03:12:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-05 03:16:28 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-12-05 03:20:45 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds)
2025-12-05 03:23:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 03:28:09 +0100trickard_trickard
2025-12-05 03:28:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-05 03:35:10 +0100Googulator82(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-05 03:35:13 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-12-05 03:35:26 +0100Googulator82(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-05 03:37:36 +0100user363627(~user@user/user363627) (Remote host closed the connection)
2025-12-05 03:39:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 03:43:03 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-12-05 03:43:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-05 03:49:13 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds)
2025-12-05 03:52:04 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-12-05 03:52:21 +0100inline__(~wbooze@cgn-195-14-220-195.nc.de) Inline
2025-12-05 03:52:44 +0100amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 256 seconds)
2025-12-05 03:54:24 +0100traxex(traxex@user/traxex) (Ping timeout: 252 seconds)
2025-12-05 03:54:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 03:55:25 +0100wbooze(~wbooze@2001-4dd4-1daa-0-bd80-483d-7252-5b60.ipv6dyn.netcologne.de) (Ping timeout: 255 seconds)
2025-12-05 03:55:58 +0100inline__wbooze
2025-12-05 03:58:57 +0100deptype(~deptype@2406:b400:3a:9d2f:6d37:9395:81dd:6672)
2025-12-05 04:00:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-05 04:03:11 +0100qqe(~qqq@185.54.20.98)
2025-12-05 04:06:14 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-05 04:09:01 +0100annamalai(~annamalai@117.246.67.130) (Ping timeout: 264 seconds)
2025-12-05 04:09:27 +0100annamalai(~annamalai@157.32.195.50) annamalai
2025-12-05 04:10:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 04:14:25 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-12-05 04:15:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-05 04:17:12 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-05 04:23:56 +0100chencheng(~chencheng@user/chencheng) chencheng
2025-12-05 04:26:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 04:27:57 +0100td_(~td@i5387090C.versanet.de) (Ping timeout: 252 seconds)
2025-12-05 04:29:49 +0100td_(~td@i5387091D.versanet.de)
2025-12-05 04:31:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-05 04:33:38 +0100chencheng(~chencheng@user/chencheng) (Quit: Client closed)
2025-12-05 04:35:30 +0100trickard_trickard
2025-12-05 04:35:35 +0100chencheng(~chencheng@38.207.158.7)
2025-12-05 04:38:31 +0100chencheng(~chencheng@38.207.158.7) (Changing host)
2025-12-05 04:38:31 +0100chencheng(~chencheng@user/chencheng) chencheng
2025-12-05 04:41:01 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 250 seconds)
2025-12-05 04:41:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 04:42:49 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-12-05 04:45:45 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds)
2025-12-05 04:46:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-05 04:47:12 +0100img(~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2025-12-05 04:48:25 +0100img(~img@user/img) img
2025-12-05 04:57:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 04:59:35 +0100mikess(~sam@user/mikess) (Ping timeout: 240 seconds)
2025-12-05 05:03:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-05 05:10:52 +0100Googulator82(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-12-05 05:10:57 +0100Googulator27(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu)
2025-12-05 05:13:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 05:18:37 +0100merijn(~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 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11)
2025-12-05 05:25:11 +0100divlamir_(~divlamir@user/divlamir) divlamir
2025-12-05 05:29:25 +0100divlamir(~divlamir@user/divlamir) (Ping timeout: 264 seconds)
2025-12-05 05:29:26 +0100divlamir_divlamir
2025-12-05 05:29:32 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 265 seconds)
2025-12-05 05:30:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 05:31:02 +0100chencheng(~chencheng@user/chencheng) (Quit: Client closed)
2025-12-05 05:31:33 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2025-12-05 05:33:22 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-12-05 05:35:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-05 05:46:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 05:52:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-05 05:55:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 05:58:13 +0100michalz(~michalz@185.246.207.215)
2025-12-05 06:00:04 +0100amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-12-05 06:00:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-05 06:01:24 +0100deptype_(~deptype@2406:b400:3a:9d2f:6d37:9395:81dd:6672)
2025-12-05 06:07:29 +0100deptype_(~deptype@2406:b400:3a:9d2f:6d37:9395:81dd:6672) (Quit: Leaving)
2025-12-05 06:11:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 06:11:33 +0100ridcully(~ridcully@p57b52b68.dip0.t-ipconnect.de) (Quit: WeeChat 4.7.1)
2025-12-05 06:11:57 +0100ridcully(~ridcully@p57b52b68.dip0.t-ipconnect.de) ridcully
2025-12-05 06:16:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-05 06:26:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 06:29:18 +0100Lord_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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-12-05 06:42:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 06:47:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-05 06:49:07 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-12-05 06:53:19 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Client Quit)
2025-12-05 06:56:53 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-12-05 06:58:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 07:04:26 +0100haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-12-05 07:05:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-05 07:07:46 +0100Square2(~Square4@user/square) Square
2025-12-05 07:11:28 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-12-05 07:13:26 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-05 07:13:39 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-05 07:14:39 +0100chencheng(~chencheng@38.207.158.7)
2025-12-05 07:16:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 07:21:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-05 07:29:11 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11)
2025-12-05 07:31:13 +0100annamalai(~annamalai@157.32.195.50) (Ping timeout: 264 seconds)
2025-12-05 07:31:48 +0100mikess(~sam@user/mikess) mikess
2025-12-05 07:32:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 07:33:44 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 256 seconds)
2025-12-05 07:37:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-05 07:44:44 +0100deptype(~deptype@2406:b400:3a:9d2f:6d37:9395:81dd:6672) (Ping timeout: 260 seconds)
2025-12-05 07:48:05 +0100trickard_trickard
2025-12-05 07:48:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 07:48:37 +0100annamalai(~annamalai@157.32.199.183) annamalai
2025-12-05 07:51:18 +0100mikess(~sam@user/mikess) (Ping timeout: 256 seconds)
2025-12-05 07:53:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-05 07:55:01 +0100deptype(~deptype@2406:b400:3a:9d2f:bea8:630a:dd01:23de)
2025-12-05 08:03:08 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11)
2025-12-05 08:03:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 08:08:04 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 265 seconds)
2025-12-05 08:09:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-05 08:19:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 08:24:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-05 08:28:53 +0100ft(~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving)
2025-12-05 08:30:37 +0100annamalai(~annamalai@157.32.199.183) (Ping timeout: 264 seconds)
2025-12-05 08:35:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 08:40:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-05 08:44:46 +0100deptype(~deptype@2406:b400:3a:9d2f:bea8:630a:dd01:23de) (Ping timeout: 255 seconds)
2025-12-05 08:47:53 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2025-12-05 08:51:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 08:54:20 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11)
2025-12-05 08:56:10 +0100deptype(~deptype@124.123.133.153)
2025-12-05 08:57:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-05 08:58:40 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 246 seconds)
2025-12-05 09:02:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-05 09:06:20 +0100Googulator27Googulator
2025-12-05 09:06:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-05 09:08:15 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds)
2025-12-05 09:10:11 +0100chencheng(~chencheng@38.207.158.7) (Ping timeout: 250 seconds)
2025-12-05 09:10:11 +0100xff0x(~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 +0100Googulator(~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-12-05 09:11:23 +0100divlamir(~divlamir@user/divlamir) (Ping timeout: 265 seconds)
2025-12-05 09:12:13 +0100annamalai(~annamalai@157.32.204.27) annamalai
2025-12-05 09:12:28 +0100Sgeo(~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 +0100merijn(~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