| 2025-03-09 00:01:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 00:09:31 +0100 | tromp | (~textual@2a02:a210:cba:8500:d904:ecda:6ce1:ab96) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-03-09 00:12:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 00:16:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-09 00:18:40 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f77d4f03e9b38e9034b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-03-09 00:20:53 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f12d4f03e9b38e9034b.dip0.t-ipconnect.de) acidjnk |
| 2025-03-09 00:23:05 +0100 | yegorc | (~yegorc@user/yegorc) (Quit: Leaving) |
| 2025-03-09 00:23:06 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 00:27:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 00:28:10 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-09 00:28:46 +0100 | shrewd | (~shrewd@user/shrewd) (Quit: shrewd) |
| 2025-03-09 00:31:07 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2025-03-09 00:32:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 00:38:52 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-03-09 00:41:18 +0100 | malte | (~malte@mal.tc) (Ping timeout: 276 seconds) |
| 2025-03-09 00:41:46 +0100 | malte | (~malte@mal.tc) malte |
| 2025-03-09 00:43:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 00:46:38 +0100 | JuanDaugherty | ColinRobinson |
| 2025-03-09 00:49:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 00:50:00 +0100 | sim590 | (~simon@209-15-185-101.resi.cgocable.ca) sim590 |
| 2025-03-09 00:56:35 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-03-09 01:01:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 01:05:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 01:08:49 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 01:10:26 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:7cd1:151c:fbdf:7ff1) (Read error: Connection reset by peer) |
| 2025-03-09 01:12:17 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:2c10:fc12:82b5:9bd) |
| 2025-03-09 01:13:15 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-09 01:13:57 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 2025-03-09 01:16:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 01:21:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 01:21:38 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-03-09 01:23:14 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-03-09 01:31:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 01:35:56 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-09 01:36:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-09 01:36:34 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f12d4f03e9b38e9034b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-03-09 01:38:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-03-09 01:38:39 +0100 | ljdarj1 | ljdarj |
| 2025-03-09 01:47:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 01:52:12 +0100 | sprotte24 | (~sprotte24@p200300d16f353f0070ac0cad6419771e.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-03-09 01:54:34 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 01:54:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 01:55:14 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-09 01:56:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-03-09 01:58:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-03-09 02:03:13 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-09 02:04:53 +0100 | adamCS | (~adamCS@pool-162-83-166-113.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-03-09 02:05:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 02:07:48 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 2025-03-09 02:07:57 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-03-09 02:10:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 02:21:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 02:27:50 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-03-09 02:28:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-09 02:31:33 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:2c10:fc12:82b5:9bd) (Read error: Connection reset by peer) |
| 2025-03-09 02:32:27 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-03-09 02:33:24 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:b92f:7ecd:cdb7:cf01) |
| 2025-03-09 02:33:32 +0100 | califax | (~califax@user/califx) califx |
| 2025-03-09 02:34:38 +0100 | lortal | (~Thunderbi@61-245-149-213.3df595.adl.nbn.aussiebb.net) Lortal |
| 2025-03-09 02:39:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 02:40:17 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 02:43:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-09 02:44:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-09 02:54:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 02:59:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-09 03:02:33 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 246 seconds) |
| 2025-03-09 03:08:38 +0100 | sTraTis | (~textual@2a02:85f:e49a:7200:206e:9fb8:1957:f48) (Ping timeout: 244 seconds) |
| 2025-03-09 03:10:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 03:14:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-09 03:18:07 +0100 | T0NN | (~T0NN@2404:c0:2a10::e82:71a1) |
| 2025-03-09 03:19:02 +0100 | T0NN | (~T0NN@2404:c0:2a10::e82:71a1) (Client Quit) |
| 2025-03-09 03:25:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 03:26:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 03:28:57 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-03-09 03:30:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-09 03:30:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-09 03:39:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-03-09 03:39:27 +0100 | bilegeek | (~bilegeek@2600:1008:b06c:dc66:6585:b1c9:9e49:17ad) bilegeek |
| 2025-03-09 03:40:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 03:45:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-09 03:48:04 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 268 seconds) |
| 2025-03-09 03:51:04 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-03-09 03:55:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-09 03:56:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 04:01:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-09 04:05:02 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-03-09 04:05:32 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-03-09 04:11:27 +0100 | arkeet | (~arkeet@moriya.ca) (Ping timeout: 252 seconds) |
| 2025-03-09 04:11:46 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 04:12:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 04:12:44 +0100 | arkeet | (~arkeet@moriya.ca) |
| 2025-03-09 04:15:56 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-09 04:16:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-09 04:18:15 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-09 04:25:06 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-03-09 04:26:33 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-03-09 04:27:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 04:28:01 +0100 | tavare | (~tavare@150.129.88.189) |
| 2025-03-09 04:28:01 +0100 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-03-09 04:28:01 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-03-09 04:32:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-09 04:43:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 04:47:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 04:52:14 +0100 | prasad | (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) (Remote host closed the connection) |
| 2025-03-09 04:52:15 +0100 | adamCS | (~adamCS@pool-100-38-122-63.nycmny.fios.verizon.net) adamCS |
| 2025-03-09 04:54:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-03-09 04:56:58 +0100 | yegorc | (~yegorc@user/yegorc) yegorc |
| 2025-03-09 04:57:29 +0100 | T0NN | (~T0NN@45.135.228.226) |
| 2025-03-09 04:57:50 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 04:58:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 05:02:07 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-09 05:03:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 05:03:54 +0100 | bilegeek | (~bilegeek@2600:1008:b06c:dc66:6585:b1c9:9e49:17ad) (Quit: Leaving) |
| 2025-03-09 05:06:54 +0100 | T0NN | (~T0NN@45.135.228.226) (Ping timeout: 240 seconds) |
| 2025-03-09 05:07:04 +0100 | bilegeek | (~bilegeek@2600:1008:b06c:dc66:6585:b1c9:9e49:17ad) bilegeek |
| 2025-03-09 05:13:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 05:18:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-09 05:22:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 05:26:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-09 05:37:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 05:42:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-09 05:43:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 05:46:47 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-09 05:48:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-09 05:52:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 05:53:45 +0100 | down200 | (~down200@shell.lug.mtu.edu) (Ping timeout: 244 seconds) |
| 2025-03-09 05:57:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-09 06:08:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 06:12:05 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-03-09 06:14:35 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:b92f:7ecd:cdb7:cf01) (Read error: Connection reset by peer) |
| 2025-03-09 06:15:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-09 06:18:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-03-09 06:20:52 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-09 06:26:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 06:27:19 +0100 | zlqrvx | (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) |
| 2025-03-09 06:28:30 +0100 | zlqrvx | (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Killed buffer) |
| 2025-03-09 06:28:37 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 06:29:08 +0100 | zlqrvx | (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) |
| 2025-03-09 06:31:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-09 06:33:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-09 06:36:35 +0100 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-03-09 06:41:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 06:42:26 +0100 | down200 | (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in) |
| 2025-03-09 06:42:51 +0100 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-03-09 06:46:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-09 06:56:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 07:00:30 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-03-09 07:01:28 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-03-09 07:01:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-09 07:08:24 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-09 07:12:18 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 2025-03-09 07:12:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 07:14:42 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 07:17:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-09 07:19:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-09 07:23:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 07:28:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-09 07:30:24 +0100 | down200 | (~down200@shell.lug.mtu.edu) (Ping timeout: 260 seconds) |
| 2025-03-09 07:32:02 +0100 | takuan | (~takuan@141.134.182.1) |
| 2025-03-09 07:38:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 07:38:44 +0100 | bilegeek | (~bilegeek@2600:1008:b06c:dc66:6585:b1c9:9e49:17ad) (Quit: Leaving) |
| 2025-03-09 07:43:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-09 07:53:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 08:00:05 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2025-03-09 08:00:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-09 08:00:46 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 08:04:40 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2025-03-09 08:05:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-09 08:11:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 08:12:24 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-03-09 08:14:19 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-03-09 08:15:06 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-03-09 08:16:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-09 08:24:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 08:24:44 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-03-09 08:28:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-09 08:31:03 +0100 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-03-09 08:39:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 08:40:20 +0100 | tromp | (~textual@2a02:a210:cba:8500:d904:ecda:6ce1:ab96) |
| 2025-03-09 08:43:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-09 08:46:10 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 08:49:57 +0100 | Square | (~Square@user/square) Square |
| 2025-03-09 08:50:27 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-09 08:54:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 08:59:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-09 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-09 09:00:58 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-09 09:08:55 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-03-09 09:09:19 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-03-09 09:10:10 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-09 09:10:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 09:10:31 +0100 | tromp | (~textual@2a02:a210:cba:8500:d904:ecda:6ce1:ab96) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-03-09 09:11:51 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-03-09 09:14:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 09:18:11 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-03-09 09:22:45 +0100 | tromp | (~textual@2a02:a210:cba:8500:d904:ecda:6ce1:ab96) |
| 2025-03-09 09:24:33 +0100 | eL_Bart0 | (eL_Bart0@185.37.146.20) |
| 2025-03-09 09:25:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 09:25:51 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:a683:8cb:e9a2:d46f) ash3en |
| 2025-03-09 09:26:26 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-03-09 09:29:12 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-03-09 09:29:51 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-03-09 09:31:55 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 09:32:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-09 09:36:02 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-09 09:40:53 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:a683:8cb:e9a2:d46f) (Ping timeout: 248 seconds) |
| 2025-03-09 09:43:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 09:47:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-09 09:58:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 09:59:13 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f12d4f03e9b38e9034b.dip0.t-ipconnect.de) |
| 2025-03-09 10:02:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-09 10:05:08 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-03-09 10:06:52 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-03-09 10:07:08 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-03-09 10:11:50 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-03-09 10:17:59 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 10:18:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 10:22:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-09 10:23:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 10:26:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 10:29:28 +0100 | tromp | (~textual@2a02:a210:cba:8500:d904:ecda:6ce1:ab96) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-03-09 10:30:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 10:31:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-09 10:41:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 10:43:14 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-03-09 10:45:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-09 10:50:53 +0100 | tromp | (~textual@2a02:a210:cba:8500:d904:ecda:6ce1:ab96) |
| 2025-03-09 10:56:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 11:02:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-09 11:02:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-03-09 11:03:19 +0100 | anpad | (~pandeyan@user/anpad) (Ping timeout: 260 seconds) |
| 2025-03-09 11:04:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 11:04:26 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-09 11:04:57 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-03-09 11:06:44 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-03-09 11:08:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-09 11:12:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 11:16:22 +0100 | malte | (~malte@mal.tc) (Ping timeout: 244 seconds) |
| 2025-03-09 11:18:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 11:26:25 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 2025-03-09 11:27:25 +0100 | sprotte24 | (~sprotte24@p200300d16f317300a85c86300bea5737.dip0.t-ipconnect.de) |
| 2025-03-09 11:30:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 11:34:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 11:43:28 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-03-09 11:45:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 11:49:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 11:49:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-09 11:50:18 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 2025-03-09 11:51:22 +0100 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-03-09 11:51:45 +0100 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) kilolympus |
| 2025-03-09 11:52:31 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-09 11:53:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-09 11:59:29 +0100 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-03-09 12:00:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 12:05:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-09 12:08:12 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-09 12:16:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 12:21:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-09 12:22:39 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f12d4f03e9b38e9034b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-03-09 12:23:09 +0100 | Inst | (~Inst@user/Inst) Inst |
| 2025-03-09 12:30:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-03-09 12:31:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 12:31:58 +0100 | lortal | (~Thunderbi@61-245-149-213.3df595.adl.nbn.aussiebb.net) (Quit: lortal) |
| 2025-03-09 12:33:00 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-03-09 12:35:11 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 12:36:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-09 12:36:26 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2025-03-09 12:36:35 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Client Quit) |
| 2025-03-09 12:36:48 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-03-09 12:36:52 +0100 | <[exa]> | is it just me or there's really no name for (flip const) in the std libraries? (Is there a reason to avoid that?) |
| 2025-03-09 12:39:22 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-09 12:42:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 12:45:15 +0100 | Digit | (~user@user/digit) Digit |
| 2025-03-09 12:45:52 +0100 | <Rembane> | :t flip const |
| 2025-03-09 12:45:53 +0100 | <lambdabot> | b -> c -> c |
| 2025-03-09 12:46:14 +0100 | <Rembane> | :t (&) |
| 2025-03-09 12:46:15 +0100 | <lambdabot> | a -> (a -> b) -> b |
| 2025-03-09 12:46:40 +0100 | <Rembane> | Maybe flip const is the name for it? |
| 2025-03-09 12:47:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-09 12:48:39 +0100 | <mauke> | :t const id |
| 2025-03-09 12:48:40 +0100 | <lambdabot> | b -> a -> a |
| 2025-03-09 12:49:02 +0100 | <[exa]> | nah well, I'm mainly trying to avoid a parenthesis around the 2-word name for it |
| 2025-03-09 12:49:26 +0100 | <Rembane> | Create a fancy operator! Or flipConst = flip const |
| 2025-03-09 12:50:08 +0100 | <[exa]> | yeah I've got my own alias pretty much everywhere (const' usually) just was wondering if people don't miss this more generally, or maybe if I'm missing it for reason of not seeing something obvious |
| 2025-03-09 12:53:31 +0100 | <[exa]> | (or maybe if the standard library got creative with naming as with other cases... but I see no tsnoc or such) |
| 2025-03-09 12:55:04 +0100 | <Rembane> | Got it! How are functions added to the standard library? Because I would love to see this discussion in that context. |
| 2025-03-09 12:56:39 +0100 | <[exa]> | like, in that context I guess the reply might as well be "hey the library is bloated already" |
| 2025-03-09 12:57:22 +0100 | <[exa]> | I somehow really think there's a reason for not using this, which I'm missing. :D |
| 2025-03-09 12:57:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-09 12:57:57 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3503-ad9b-c507-6c79-f124-e77c.rev.sfr.net) alexherbo2 |
| 2025-03-09 12:58:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 12:59:19 +0100 | <Rembane> | When I run into these kinds of discussions in my code it's usually because I'm being really fancy with pointfree code, is this the case in this case too? :) |
| 2025-03-09 13:00:18 +0100 | <[exa]> | beyond that |
| 2025-03-09 13:00:20 +0100 | <[exa]> | parenthesis-free |
| 2025-03-09 13:01:29 +0100 | <[exa]> | like, this ain't a super practical question, right. :D |
| 2025-03-09 13:02:11 +0100 | <Rembane> | Muaha! But it's fun! :D |
| 2025-03-09 13:02:35 +0100 | <[exa]> | yeah, full forth mode or so |
| 2025-03-09 13:02:42 +0100 | <Rembane> | I think you simply need to create a library called parenthesis-free that contains all of these lovely functions. |
| 2025-03-09 13:02:53 +0100 | <Rembane> | Or maybe even a prelude! |
| 2025-03-09 13:03:02 +0100 | <[exa]> | next year in ICFP: Parenthesis-free for free for free |
| 2025-03-09 13:03:52 +0100 | <[exa]> | ok, this is the point when I should just go back to coding |
| 2025-03-09 13:05:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-09 13:05:12 +0100 | <Rembane> | I'm looking forward to it! |
| 2025-03-09 13:05:14 +0100 | <Rembane> | Good luck! |
| 2025-03-09 13:13:00 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-03-09 13:14:07 +0100 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2025-03-09 13:14:14 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2025-03-09 13:15:00 +0100 | Digit | (~user@user/digit) Digit |
| 2025-03-09 13:16:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 13:19:03 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f1249641ffefe30c9cd.dip0.t-ipconnect.de) acidjnk |
| 2025-03-09 13:20:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-09 13:22:09 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:a683:8cb:e9a2:d46f) ash3en |
| 2025-03-09 13:22:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 13:26:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-09 13:31:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 13:35:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-09 13:43:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 13:46:03 +0100 | tromp | (~textual@2a02:a210:cba:8500:d904:ecda:6ce1:ab96) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-03-09 13:48:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 13:49:40 +0100 | <__monty__> | [exa]: It's because real programmers use `const id`. |
| 2025-03-09 13:52:32 +0100 | tromp | (~textual@2a02:a210:cba:8500:d904:ecda:6ce1:ab96) |
| 2025-03-09 13:59:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 13:59:21 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-03-09 14:00:46 +0100 | fp | (~Thunderbi@89-27-29-68.bb.dnainternet.fi) fp |
| 2025-03-09 14:03:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 14:09:39 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 14:13:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-03-09 14:14:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 14:16:14 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-03-09 14:19:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-09 14:20:11 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3503-ad9b-c507-6c79-f124-e77c.rev.sfr.net) (Remote host closed the connection) |
| 2025-03-09 14:21:00 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3503-ad9b-2ccd-cea2-1270-216b.rev.sfr.net) alexherbo2 |
| 2025-03-09 14:22:19 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-09 14:24:25 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3503-ad9b-2ccd-cea2-1270-216b.rev.sfr.net) (Remote host closed the connection) |
| 2025-03-09 14:25:53 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3503-ad9b-20b4-8d66-e4f3-3e79.rev.sfr.net) alexherbo2 |
| 2025-03-09 14:25:59 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:a683:8cb:e9a2:d46f) (Ping timeout: 244 seconds) |
| 2025-03-09 14:28:25 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-03-09 14:29:25 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3503-ad9b-20b4-8d66-e4f3-3e79.rev.sfr.net) (Remote host closed the connection) |
| 2025-03-09 14:29:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 14:34:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-09 14:44:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 14:45:47 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-03-09 14:48:41 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2025-03-09 14:51:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-09 14:53:38 +0100 | yin | (~z@user/zero) (Quit: quit) |
| 2025-03-09 14:54:03 +0100 | yin | (~z@user/zero) zero |
| 2025-03-09 14:55:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 15:00:16 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-09 15:02:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 15:07:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-09 15:18:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 15:22:21 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-03-09 15:22:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-09 15:24:32 +0100 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) rubin55 |
| 2025-03-09 15:25:25 +0100 | fp | (~Thunderbi@89-27-29-68.bb.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2025-03-09 15:31:03 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-09 15:32:18 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-03-09 15:33:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 15:34:39 +0100 | yegorc | (~yegorc@user/yegorc) (Leaving) |
| 2025-03-09 15:37:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-09 15:38:51 +0100 | fp | (~Thunderbi@89-27-29-68.bb.dnainternet.fi) fp |
| 2025-03-09 15:41:07 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 15:42:02 +0100 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2025-03-09 15:43:18 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-03-09 15:44:03 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3503-ad9b-6c02-09ca-ab36-b845.rev.sfr.net) alexherbo2 |
| 2025-03-09 15:45:16 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-09 15:45:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 15:49:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-09 16:01:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 16:05:19 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-09 16:05:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 16:09:12 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-03-09 16:09:36 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-03-09 16:16:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 16:21:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-09 16:28:31 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 16:31:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 16:32:56 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-09 16:37:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-09 16:45:24 +0100 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Read error: Connection reset by peer) |
| 2025-03-09 16:45:37 +0100 | yaroot | (~yaroot@p3747022-ipxg13101souka.saitama.ocn.ne.jp) yaroot |
| 2025-03-09 16:46:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 16:49:24 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-03-09 16:50:00 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f1249641ffefe30c9cd.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-03-09 16:51:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-09 16:56:46 +0100 | fp | (~Thunderbi@89-27-29-68.bb.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-03-09 17:02:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 17:07:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-09 17:09:13 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3503-ad9b-6c02-09ca-ab36-b845.rev.sfr.net) (Remote host closed the connection) |
| 2025-03-09 17:09:16 +0100 | abrar | (~abrar@static-96-245-187-162.phlapa.fios.verizon.net) |
| 2025-03-09 17:09:39 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-09 17:14:35 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 17:17:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 17:18:24 +0100 | abrar | (~abrar@static-96-245-187-162.phlapa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-03-09 17:18:59 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-09 17:21:35 +0100 | abrar | (~abrar@static-96-245-187-162.phlapa.fios.verizon.net) |
| 2025-03-09 17:21:51 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f1249641ffefe30c9cd.dip0.t-ipconnect.de) |
| 2025-03-09 17:22:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-09 17:27:38 +0100 | abrar | (~abrar@static-96-245-187-162.phlapa.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-03-09 17:29:54 +0100 | abrar | (~abrar@static-96-245-187-163.phlapa.fios.verizon.net) |
| 2025-03-09 17:29:58 +0100 | Inst | (~Inst@user/Inst) Inst |
| 2025-03-09 17:32:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 17:39:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 17:40:16 +0100 | euandreh | (~Thunderbi@2804:d59:896c:b400:be5c:fe42:c5ff:26b3) (Quit: euandreh) |
| 2025-03-09 17:47:02 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-03-09 17:47:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 17:52:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-09 17:54:30 +0100 | acondolu | (~acondolu@2a01:e0a:88d:3f90:a153:524a:a50f:edbe) |
| 2025-03-09 17:56:30 +0100 | acondolu | (~acondolu@2a01:e0a:88d:3f90:a153:524a:a50f:edbe) (Changing host) |
| 2025-03-09 17:56:30 +0100 | acondolu | (~acondolu@user/acondolu) acondolu |
| 2025-03-09 18:00:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 18:03:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 18:04:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-09 18:07:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-09 18:09:43 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Quit: Quit.) |
| 2025-03-09 18:10:17 +0100 | T0NN | (~T0NN@185.21.252.14) |
| 2025-03-09 18:16:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 18:17:31 +0100 | T0NN | (~T0NN@185.21.252.14) (Quit: Client closed) |
| 2025-03-09 18:17:52 +0100 | T0NN | (~T0NN@185.21.252.14) |
| 2025-03-09 18:18:37 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-03-09 18:19:50 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:1556:f2dc:d221:a969) |
| 2025-03-09 18:20:02 +0100 | <T0NN> | hi |
| 2025-03-09 18:20:03 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-03-09 18:20:29 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-03-09 18:20:29 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-03-09 18:21:00 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-09 18:21:01 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-03-09 18:21:06 +0100 | <Rembane> | Hi T0NN ! |
| 2025-03-09 18:21:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-09 18:22:14 +0100 | <int-e> | . o O ( .o .hi .hs ) |
| 2025-03-09 18:22:55 +0100 | <Rembane> | .lhs <3 |
| 2025-03-09 18:23:50 +0100 | <T0NN> | hii Rembane |
| 2025-03-09 18:24:09 +0100 | <T0NN> | can i friends with u? |
| 2025-03-09 18:24:13 +0100 | fp | (~Thunderbi@89-27-29-68.bb.dnainternet.fi) fp |
| 2025-03-09 18:24:19 +0100 | <int-e> | Rembane: somehow I never liked lhs, neither flavor |
| 2025-03-09 18:24:41 +0100 | acondolu | (~acondolu@user/acondolu) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-03-09 18:24:54 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-03-09 18:24:58 +0100 | <int-e> | Even GHC switched away from it so I guess I'm not alone. |
| 2025-03-09 18:25:47 +0100 | <Rembane> | int-e: Interesting. I had a good time with it for a while, but come to think of it I've stopped coding in it now... |
| 2025-03-09 18:25:58 +0100 | <Rembane> | int-e: Have you tried working with Jupyter notebooks? |
| 2025-03-09 18:28:33 +0100 | <int-e> | Not really. But I imagine the dedicated UI and the interactive nature of what you're presenting makes a big difference; it's not pure programming. |
| 2025-03-09 18:29:31 +0100 | <T0NN> | guys, are you interested to data leak? |
| 2025-03-09 18:29:55 +0100 | <T0NN> | I have something interesting for funny |
| 2025-03-09 18:29:57 +0100 | <int-e> | T0NN: this channel is about Haskell, a pure functional programming language. |
| 2025-03-09 18:30:05 +0100 | <int-e> | (That's a no.) |
| 2025-03-09 18:30:07 +0100 | <T0NN> | okay sorry |
| 2025-03-09 18:31:03 +0100 | <monochrom> | lhs lacks the more fundamental feature of literal programming. In Knuth's web and Ramsey's noweb, for-human order can be different from for-compiler order. |
| 2025-03-09 18:31:44 +0100 | <Rembane> | monochrom: Oh, that's disappointing. |
| 2025-03-09 18:32:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 18:32:10 +0100 | <int-e> | monochrom: but for the most part you can abstract so heavily in Haskell that you don't need that |
| 2025-03-09 18:32:26 +0100 | <Rembane> | int-e: Got it. I think it could be interesting and even fun to work with Haskell in a Jupyter notebook. |
| 2025-03-09 18:32:27 +0100 | <int-e> | well, that's my opinion |
| 2025-03-09 18:32:27 +0100 | <monochrom> | Look at all blogs written in lhs. They have to all begin with 10 lines of "> import Control.Lens". In web and noweb, you can put it at the end, and add annotation to say "for compiler, move this to the beginning". |
| 2025-03-09 18:33:06 +0100 | <int-e> | right, I didn't consider boilerplate |
| 2025-03-09 18:33:53 +0100 | <monochrom> | Yeah but there are times (I ran into one) where between "foo [] = ..." and "foo (x:xs) = ...", for explaining to humans, it is really best to insert a helper function. |
| 2025-03-09 18:33:57 +0100 | <int-e> | (Which is a minor nuisance for the most part; you just skip over it when editing a file. Note that I usually have no intention of turning a program into a typeset document.) |
| 2025-03-09 18:33:59 +0100 | acondolu | (~acondolu@user/acondolu) acondolu |
| 2025-03-09 18:34:12 +0100 | michalz | (~michalz@185.246.207.221) |
| 2025-03-09 18:34:12 +0100 | <monochrom> | (And the helper function really needs to be top level.) |
| 2025-03-09 18:34:26 +0100 | <int-e> | anyway. none of this applies to lhs anyway |
| 2025-03-09 18:36:27 +0100 | <Inst> | we don't have Data.Foldable.Parallel, right? or is that in Async? |
| 2025-03-09 18:36:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-09 18:45:32 +0100 | acondolu | (~acondolu@user/acondolu) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-03-09 18:46:04 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 18:47:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 18:47:33 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-03-09 18:49:36 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-09 18:50:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-09 18:51:06 +0100 | <Inst> | actually, I don't think it's implementable because Data.Foldable doesn't include functions in its typeclass to create parts of the data structure :( |
| 2025-03-09 18:52:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-09 18:53:20 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 2025-03-09 18:56:15 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2025-03-09 18:57:46 +0100 | Inst | (~Inst@user/Inst) Inst |
| 2025-03-09 18:58:09 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-09 19:00:16 +0100 | acondolu | (~acondolu@user/acondolu) acondolu |
| 2025-03-09 19:02:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 19:03:42 +0100 | T0NN | (~T0NN@185.21.252.14) (Ping timeout: 240 seconds) |
| 2025-03-09 19:07:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-09 19:09:01 +0100 | acondolu | (~acondolu@user/acondolu) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-03-09 19:15:07 +0100 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2025-03-09 19:15:07 +0100 | fmira | (~user@user/fmira) (Read error: Connection reset by peer) |
| 2025-03-09 19:15:26 +0100 | califax | (~califax@user/califx) califx |
| 2025-03-09 19:15:35 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-03-09 19:18:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 19:23:13 +0100 | down200 | (~down200@shell.lug.mtu.edu) (Ping timeout: 248 seconds) |
| 2025-03-09 19:24:22 +0100 | <EvanR> | monochrom, that reminds me of old "tutorials" for coding which talk, then show a small snippet of code, then talk more, then show a small snippet of code, and the order of code is not in the right order, and you have to wonder if they didn't show any code. The only way to know is to open the actual source file (hopefully included) |
| 2025-03-09 19:24:27 +0100 | <EvanR> | so I found it hard to follow |
| 2025-03-09 19:25:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-09 19:25:15 +0100 | <EvanR> | Inst, because it's foldable, not buildable |
| 2025-03-09 19:26:45 +0100 | <Inst> | EvanR: fold :: (Foldable t, Monoid a) => t a -> a; foldMap :: (Foldable t, Monoid b) => (a -> b) -> t a -> b |
| 2025-03-09 19:27:57 +0100 | <EvanR> | both of these produce a summary |
| 2025-03-09 19:28:08 +0100 | <EvanR> | the original structure is lost |
| 2025-03-09 19:30:51 +0100 | <Inst> | I don't see the problem! The idea is that monoids are natural candidates for parallelization, might as well have a library for that |
| 2025-03-09 19:31:45 +0100 | <Inst> | splittable / sliceable (generalization of splitAt) is missing as well |
| 2025-03-09 19:32:33 +0100 | <Inst> | (and honestly it belongs in base because it's pretty no-brainer) |
| 2025-03-09 19:32:46 +0100 | <Inst> | time for me to finally make it onto Hackage |
| 2025-03-09 19:32:49 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 19:33:02 +0100 | <Inst> | remember my 70% non GC non-fizzled thunk code? |
| 2025-03-09 19:33:15 +0100 | <[exa]> | Inst: might be the case that just monoids (semigroups) by themselves are a little bit too weak to parallelize well (note the stuff is supposed to be associative which should in effect kill your structure) |
| 2025-03-09 19:33:25 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f1249641ffefe30c9cd.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-03-09 19:33:28 +0100 | <[exa]> | OTOH any shot in that direction is certainly welcome |
| 2025-03-09 19:33:44 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 2025-03-09 19:35:39 +0100 | <EvanR> | Inst, I was referring to the observation that Foldable has to way to rebuild the structure |
| 2025-03-09 19:35:46 +0100 | <EvanR> | which makes sense |
| 2025-03-09 19:35:51 +0100 | <EvanR> | no way* |
| 2025-03-09 19:36:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 19:36:21 +0100 | <Inst> | You can always use foldable to rebuild a structure |
| 2025-03-09 19:36:29 +0100 | <Inst> | just a question of how efficient it is |
| 2025-03-09 19:36:30 +0100 | <EvanR> | you cannot |
| 2025-03-09 19:36:45 +0100 | <[exa]> | Inst: Foldable is basically a representation of `toList`, you can rebuild the order but not the structure |
| 2025-03-09 19:36:46 +0100 | <Inst> | foldr (:) [] ls |
| 2025-03-09 19:36:58 +0100 | <EvanR> | there are other structures besides list |
| 2025-03-09 19:37:02 +0100 | <EvanR> | that are Foldable |
| 2025-03-09 19:37:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-09 19:37:12 +0100 | <EvanR> | so you can't always get it back |
| 2025-03-09 19:37:15 +0100 | <Inst> | I'm just trying to think of a foldable that can't be rebuilt |
| 2025-03-09 19:37:21 +0100 | <EvanR> | binary tree |
| 2025-03-09 19:37:42 +0100 | <[exa]> | (to rebuild stuff there's Traversable) |
| 2025-03-09 19:38:24 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-03-09 19:38:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-09 19:38:42 +0100 | <EvanR> | a long list of Monoid b might be ammenable to parallizing |
| 2025-03-09 19:38:51 +0100 | <EvanR> | to get the mconcat of it |
| 2025-03-09 19:38:58 +0100 | <[exa]> | btw guys is there some easy modern way to have a clean unnamed "virtual environment" with cabal without making it a package directory |
| 2025-03-09 19:39:09 +0100 | <EvanR> | but the correct way to split that up without making it worse would depend on details |
| 2025-03-09 19:39:37 +0100 | <[exa]> | (free monoid on `par` ?) |
| 2025-03-09 19:40:17 +0100 | <EvanR> | lol |
| 2025-03-09 19:40:21 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2025-03-09 19:40:29 +0100 | <Inst> | that's cool, fold has to have an explicit import, mconcat is in the prelude |
| 2025-03-09 19:40:38 +0100 | <Inst> | free monoid? |
| 2025-03-09 19:40:51 +0100 | krei-se | (~krei-se@p200300f1cf4e8f002411defffe902013.dip0.t-ipconnect.de) (Excess Flood) |
| 2025-03-09 19:41:06 +0100 | <[exa]> | Inst: (one that doesn't really do anything, just preserves the structure) |
| 2025-03-09 19:41:17 +0100 | krei-se | (~krei-se@p3ee0f37e.dip0.t-ipconnect.de) krei-se |
| 2025-03-09 19:41:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-09 19:41:53 +0100 | <[exa]> | which is kinda what `par` does in normal haskell, it doesn't do much to the code, just splits it into possibly paralellizable compartments |
| 2025-03-09 19:42:28 +0100 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2025-03-09 19:42:49 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2025-03-09 19:47:40 +0100 | Inst | (~Inst@user/Inst) Inst |
| 2025-03-09 19:48:13 +0100 | <Inst> | honestly I think i don't even need a splittable superclass, I just need the ability to convert an existing structure with toList |
| 2025-03-09 19:48:44 +0100 | <EvanR> | :t toList |
| 2025-03-09 19:48:45 +0100 | <lambdabot> | Foldable t => t a -> [a] |
| 2025-03-09 19:48:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 19:49:14 +0100 | <Inst> | oh. lol |
| 2025-03-09 19:51:31 +0100 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-03-09 19:52:40 +0100 | <c_wraith> | [exa]: if you're willing to maintain them, you can use environment files. https://ghc.gitlab.haskell.org/ghc/doc/users_guide/packages.html#package-environments |
| 2025-03-09 19:53:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-09 19:54:17 +0100 | <[exa]> | Inst: yeah depending on what you aim to do there I guess it might be super straightforward |
| 2025-03-09 19:54:25 +0100 | <[exa]> | c_wraith: oh whew okay, cool |
| 2025-03-09 19:58:09 +0100 | <Inst> | it's not, tbh |
| 2025-03-09 19:58:20 +0100 | <Inst> | since lists are O(n) |
| 2025-03-09 19:58:23 +0100 | <Inst> | for length |
| 2025-03-09 19:58:59 +0100 | <EvanR> | what's the biggest number n might be, realistically |
| 2025-03-09 20:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-09 20:00:42 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-09 20:02:25 +0100 | <Inst> | is the reason no one's done this already because it relies too much on the specifics of the operation and is dangerous to generalize? |
| 2025-03-09 20:04:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 20:04:32 +0100 | <Inst> | at the very least, i can see a problem, I want to unsafePerformIO getNumCapabilities |
| 2025-03-09 20:04:56 +0100 | <Inst> | but that implies it'll cache, and getNumCapabilities' bind value can change |
| 2025-03-09 20:05:22 +0100 | <EvanR> | what are you actually trying to do again |
| 2025-03-09 20:06:15 +0100 | <[exa]> | Inst: maybe check out https://hackage.haskell.org/package/parallel-3.2.2.0/docs/Control-Parallel-Strategies.html |
| 2025-03-09 20:08:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-09 20:08:38 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f122c9d6c56f23204e7.dip0.t-ipconnect.de) |
| 2025-03-09 20:08:57 +0100 | <Inst> | just make a dumb foldPar and foldMapPar function |
| 2025-03-09 20:10:20 +0100 | <EvanR> | how? |
| 2025-03-09 20:10:35 +0100 | <EvanR> | exactly |
| 2025-03-09 20:12:09 +0100 | raym | (~ray@user/raym) (Ping timeout: 244 seconds) |