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 :( |