| 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) |
| 2025-03-09 20:12:29 +0100 | raym | (~ray@user/raym) raym |
| 2025-03-09 20:12:34 +0100 | <Inst> | at least for the list variant, subdivide into the list into smaller elements, toss rpar (iirc) on the smaller elements, get intermediate results, then use another split and merge until i end up with a list of 1 element then return that element via rseq |
| 2025-03-09 20:13:02 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-03-09 20:13:16 +0100 | <EvanR> | how many levels of splitting |
| 2025-03-09 20:13:29 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-03-09 20:14:14 +0100 | <Inst> | right now, i'm thinking hundreds |
| 2025-03-09 20:14:42 +0100 | <Inst> | ehhh, probably closer to 20 or so, if 1048576 is 2 |
| 2025-03-09 20:14:46 +0100 | <Inst> | 2^20 |
| 2025-03-09 20:15:13 +0100 | <EvanR> | since you only have like double digit cores |
| 2025-03-09 20:15:22 +0100 | <[exa]> | that's probably gonna differ a lot from machine to machine no? |
| 2025-03-09 20:15:37 +0100 | <EvanR> | it might not work if you try to mconcat over that many chunks at a time |
| 2025-03-09 20:16:17 +0100 | <EvanR> | 2^20 levels of splitting would be a very large list |
| 2025-03-09 20:16:25 +0100 | <EvanR> | 2^2^20 elements |
| 2025-03-09 20:17:07 +0100 | <Inst> | i mean if there's a million element list, it's 2^20, would be less |
| 2025-03-09 20:18:48 +0100 | <EvanR> | so how many levels of splitting |
| 2025-03-09 20:19:16 +0100 | <EvanR> | 19 would imply you're doing x*y in its own parallel computation |
| 2025-03-09 20:19:25 +0100 | <int-e> | EvanR: 20; the lone 2^20 was correcting what 1048576 is |
| 2025-03-09 20:19:27 +0100 | <EvanR> | thinking it would be the fastest possible |
| 2025-03-09 20:19:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 20:19:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 20:19:39 +0100 | <EvanR> | which I seriously doubt |
| 2025-03-09 20:20:09 +0100 | <EvanR> | one issue with parallel code is delivering on an increase in performance |
| 2025-03-09 20:20:15 +0100 | <int-e> | (personally I'd worry about splitting tasks evenly enough) |
| 2025-03-09 20:20:16 +0100 | <EvanR> | if it doesn't, or if it hurts performance, then it's not good |
| 2025-03-09 20:21:10 +0100 | <int-e> | And keeping subtasks coarse enough, which makes it hard to do this generically. Oh well. |
| 2025-03-09 20:22:05 +0100 | <Inst> | i mean, is this an actual problem? I was asking that, i.e, when I was trying parallelism for a brute force attempt at calculating blackjack's split EV, I was told, just benchmark and see what happens |
| 2025-03-09 20:23:06 +0100 | <int-e> | that's not generic |
| 2025-03-09 20:23:11 +0100 | <EvanR> | "just parallel my code" has been a promise for 30 years now |
| 2025-03-09 20:23:13 +0100 | int-e | shrugs |
| 2025-03-09 20:23:24 +0100 | <EvanR> | sun with java claimed to have done it |
| 2025-03-09 20:23:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-09 20:23:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-09 20:24:11 +0100 | <int-e> | real-time profiling data and just in time compilation make this more realistic |
| 2025-03-09 20:27:43 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-09 20:30:15 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 2025-03-09 20:34:41 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-09 20:34:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 20:35:35 +0100 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-03-09 20:36:09 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-09 20:37:36 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2025-03-09 20:38:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-03-09 20:38:30 +0100 | ljdarj1 | ljdarj |
| 2025-03-09 20:39:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-09 20:40:39 +0100 | Square | (~Square@user/square) Square |
| 2025-03-09 20:41:13 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-09 20:44:20 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-03-09 20:45:13 +0100 | alp | (~alp@2001:861:8ca0:4940:445a:f71:bdb6:b173) |
| 2025-03-09 20:45:29 +0100 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-03-09 20:45:32 +0100 | <monochrom> | EvanR: https://www.cs.utoronto.ca/~trebla/CSCC24-latest/09-semantics-1.html is one of my lecture notes where IMO my order there is better than any order accepted by Haskell. For example, after explain function application and the "interp (App f e) = ..." case, it makes no sense to procrastinate walking through static vs dynamic scoping with the example "exampleScoping = ..." until after I also finish recursion "interp (Rec ...) = ..." |
| 2025-03-09 20:46:23 +0100 | <monochrom> | I can say the same about almost every case. |
| 2025-03-09 20:47:27 +0100 | <monochrom> | Edit I can say the same about almost every case of the Expr and Value types. |
| 2025-03-09 20:48:05 +0100 | <EvanR> | you can't rearrange the order in the source file? |
| 2025-03-09 20:48:27 +0100 | abrar | (~abrar@static-96-245-187-163.phlapa.fios.verizon.net) (Quit: WeeChat 4.2.2) |
| 2025-03-09 20:48:48 +0100 | <monochrom> | Does Haskell even allow you to write "foo [] = 0; example1 = foo []; foo (x:xs) = x + foo xs"? |
| 2025-03-09 20:48:55 +0100 | abrar | (~abrar@static-96-245-187-163.phlapa.fios.verizon.net) |
| 2025-03-09 20:49:03 +0100 | <monochrom> | My lecture notes need that IMO. |
| 2025-03-09 20:49:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 20:49:46 +0100 | <monochrom> | And does Haskell allow you to write like "data T = Case1; foo Case1 = ...; data T = ... | Case2; foo Case2 = ..."? |
| 2025-03-09 20:50:05 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-03-09 20:50:54 +0100 | <EvanR> | you split the definition |
| 2025-03-09 20:51:18 +0100 | <EvanR> | to boldly go where no definition has been split before |
| 2025-03-09 20:51:25 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2025-03-09 20:51:39 +0100 | <int-e> | there's that trees that grow thing :P |
| 2025-03-09 20:52:16 +0100 | <monochrom> | Yeah right I'm going to use trees that grow in a course where students see Haskell for the first time! |
| 2025-03-09 20:53:07 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-03-09 20:54:01 +0100 | <monochrom> | I don't even have time to cover the Monad type class. |
| 2025-03-09 20:54:08 +0100 | <EvanR> | probably for the best |
| 2025-03-09 20:54:21 +0100 | <EvanR> | Basic Category Theory book also doesn't have monads |
| 2025-03-09 20:55:16 +0100 | <int-e> | I don't think a programming language needs to support the idea that code be written in the order that it's developed, one feature at a time. |
| 2025-03-09 20:56:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-09 20:56:46 +0100 | <monochrom> | A literate programming tool/environment needs that, even if we can argue how often it is used. |
| 2025-03-09 20:57:06 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-03-09 20:57:54 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-09 20:58:30 +0100 | <monochrom> | But this is actually telling me why other people like OOP more. "class Case1 extends T { foo() = ... }" "class Case2 extends T { foo() = ... }" is much more compatible to the explanation order I want. |
| 2025-03-09 20:59:27 +0100 | <monochrom> | OK I'm jumping ship to OCaml bye guys. (No, just kidding!) |
| 2025-03-09 21:01:58 +0100 | <EvanR> | can you even do that in ocaml |
| 2025-03-09 21:02:56 +0100 | <monochrom> | The class-object version yes. The ADT version no. |
| 2025-03-09 21:03:06 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-03-09 21:03:28 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-03-09 21:03:49 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
| 2025-03-09 21:04:12 +0100 | <monochrom> | Scala can furthermore add "sealed class" to the class-object version to match up the closedness of the ADT version. |
| 2025-03-09 21:05:37 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-03-09 21:06:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-09 21:06:17 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-03-09 21:07:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-09 21:07:56 +0100 | foul_owl | (~kerry@94.156.149.97) (Ping timeout: 252 seconds) |
| 2025-03-09 21:08:08 +0100 | chewybread | (~chewybrea@c-174-181-7-135.hsd1.pa.comcast.net) |
| 2025-03-09 21:08:08 +0100 | chewybread | (~chewybrea@c-174-181-7-135.hsd1.pa.comcast.net) (Changing host) |
| 2025-03-09 21:08:08 +0100 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2025-03-09 21:10:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-09 21:12:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |