2025-04-20 00:09:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 00:13:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-20 00:14:11 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
2025-04-20 00:18:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 00:23:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-20 00:35:29 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
2025-04-20 00:36:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 00:40:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 00:44:21 +0200 | nacation | (~m-3l4s76@user/nacation) (Ping timeout: 252 seconds) |
2025-04-20 00:46:42 +0200 | nacation | (~m-3l4s76@user/nacation) nacation |
2025-04-20 00:54:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 00:58:27 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-04-20 00:58:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-20 01:01:44 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 272 seconds) |
2025-04-20 01:03:56 +0200 | nacation | (~m-3l4s76@user/nacation) (Ping timeout: 244 seconds) |
2025-04-20 01:11:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 01:15:54 +0200 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2025-04-20 01:18:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 01:19:29 +0200 | euleritian | (~euleritia@dynamic-176-006-129-143.176.6.pool.telefonica.de) |
2025-04-20 01:24:52 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-04-20 01:28:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66) |
2025-04-20 01:29:10 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66) (Client Quit) |
2025-04-20 01:31:12 +0200 | <haskellbridge> | <Liamzee> sort of makes you wonder how Verse's parser combinators are designed |
2025-04-20 01:31:39 +0200 | inca_ | (~inca@71.30.233.213) |
2025-04-20 01:33:30 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
2025-04-20 01:36:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 01:36:04 +0200 | inca_ | (~inca@71.30.233.213) (Ping timeout: 252 seconds) |
2025-04-20 01:37:13 +0200 | haritzondo | (~hrtz@152.37.68.178) |
2025-04-20 01:37:14 +0200 | haritz | (~hrtz@user/haritz) (Ping timeout: 252 seconds) |
2025-04-20 01:40:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 01:41:44 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
2025-04-20 01:45:23 +0200 | hidjgr | (~hidjgr@user/hidjgr) (Ping timeout: 265 seconds) |
2025-04-20 01:46:02 +0200 | aaronv__ | (~aaronv@user/aaronv) aaronv |
2025-04-20 01:47:28 +0200 | inca | (~inca@71.30.233.213) |
2025-04-20 01:47:29 +0200 | nacation | (~m-3l4s76@user/nacation) nacation |
2025-04-20 01:51:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 01:56:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-20 01:58:20 +0200 | aaronv__ | (~aaronv@user/aaronv) (Remote host closed the connection) |
2025-04-20 01:58:44 +0200 | aaronv__ | (~aaronv@user/aaronv) aaronv |
2025-04-20 02:09:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 02:11:47 +0200 | d34db33f | (~d34db33f@user/d34db33f) d34db33f |
2025-04-20 02:16:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 02:25:41 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-04-20 02:26:09 +0200 | haritzondo | (~hrtz@152.37.68.178) (Changing host) |
2025-04-20 02:26:09 +0200 | haritzondo | (~hrtz@user/haritz) haritz |
2025-04-20 02:26:56 +0200 | sprotte24 | (~sprotte24@p200300d16f156200195212cdf88de3f6.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-04-20 02:28:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 02:32:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-20 02:33:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-20 02:43:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 02:47:24 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-04-20 02:48:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 02:49:40 +0200 | otto_s | (~user@p5de2f342.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2025-04-20 02:50:57 +0200 | otto_s | (~user@p4ff27d26.dip0.t-ipconnect.de) |
2025-04-20 02:51:09 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:9d19:fe87:a9a8:9d05) |
2025-04-20 02:51:55 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
2025-04-20 02:59:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 03:01:07 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
2025-04-20 03:02:41 +0200 | <haskellbridge> | <dmjio> ReadP is underrated |
2025-04-20 03:04:17 +0200 | inca | (~inca@71.30.233.213) |
2025-04-20 03:04:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-20 03:05:04 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2025-04-20 03:05:54 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
2025-04-20 03:08:27 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
2025-04-20 03:10:09 +0200 | d34db33f | (~d34db33f@user/d34db33f) (Remote host closed the connection) |
2025-04-20 03:15:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 03:20:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 03:25:02 +0200 | haritzondo | (~hrtz@user/haritz) (Ping timeout: 268 seconds) |
2025-04-20 03:27:01 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-04-20 03:28:46 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
2025-04-20 03:28:46 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-04-20 03:29:30 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
2025-04-20 03:32:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 03:38:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-20 03:46:17 +0200 | travgm | (~travgm@184-155-73-83.cpe.sparklight.net) |
2025-04-20 03:46:57 +0200 | travgm | (~travgm@184-155-73-83.cpe.sparklight.net) (Changing host) |
2025-04-20 03:46:57 +0200 | travgm | (~travgm@fsf/member/travgm) travgm |
2025-04-20 03:48:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 03:51:11 +0200 | travgm | (~travgm@fsf/member/travgm) (Quit: Leaving) |
2025-04-20 03:55:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 04:05:02 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2025-04-20 04:05:33 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2025-04-20 04:05:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-04-20 04:09:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 04:13:12 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-20 04:13:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-20 04:13:38 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
2025-04-20 04:21:11 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in) |
2025-04-20 04:21:23 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-04-20 04:22:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 04:22:58 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
2025-04-20 04:27:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-20 04:34:20 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-04-20 04:36:11 +0200 | euleritian | (~euleritia@dynamic-176-006-129-143.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-20 04:36:25 +0200 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
2025-04-20 04:38:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 04:43:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-20 04:49:42 +0200 | hammond | (proscan@gateway04.insomnia247.nl) (Changing host) |
2025-04-20 04:49:42 +0200 | hammond | (proscan@user/hammond2) hammond2 |
2025-04-20 04:51:19 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-04-20 04:52:39 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-20 04:55:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 05:00:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-20 05:03:14 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
2025-04-20 05:04:36 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:9d19:fe87:a9a8:9d05) (Quit: Leaving) |
2025-04-20 05:06:17 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-04-20 05:06:17 +0200 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-04-20 05:07:06 +0200 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
2025-04-20 05:08:10 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 260 seconds) |
2025-04-20 05:08:15 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-04-20 05:12:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 05:13:28 +0200 | aaronv__ | (~aaronv@user/aaronv) (Quit: Leaving) |
2025-04-20 05:16:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-20 05:21:13 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-04-20 05:26:47 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-04-20 05:30:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 05:33:27 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc5:7e00:c2ee:f0f2:a86a:9c12) aforemny |
2025-04-20 05:33:49 +0200 | aforemny | (~aforemny@2001:9e8:6cee:1800:c0f9:494c:b1de:77a) (Ping timeout: 276 seconds) |
2025-04-20 05:37:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 05:42:13 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
2025-04-20 05:46:25 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
2025-04-20 05:47:27 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
2025-04-20 05:49:35 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 05:50:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 05:54:18 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
2025-04-20 05:54:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 06:01:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 06:03:39 +0200 | rekahsoft | (~rekahsoft@174.95.4.83) (Remote host closed the connection) |
2025-04-20 06:04:51 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
2025-04-20 06:05:51 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-04-20 06:06:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 06:08:54 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
2025-04-20 06:16:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-20 06:17:30 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-04-20 06:17:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 06:19:55 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
2025-04-20 06:21:17 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
2025-04-20 06:22:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-20 06:24:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-04-20 06:27:54 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
2025-04-20 06:32:03 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-20 06:32:58 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
2025-04-20 06:34:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 06:39:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-20 06:45:16 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
2025-04-20 06:45:51 +0200 | rekahsoft | (~rekahsoft@174.95.4.83) rekahsoft |
2025-04-20 06:46:28 +0200 | rekahsoft | (~rekahsoft@174.95.4.83) (Remote host closed the connection) |
2025-04-20 06:46:37 +0200 | inca | (~inca@71.30.233.213) |
2025-04-20 06:47:45 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
2025-04-20 06:48:17 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
2025-04-20 06:50:29 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
2025-04-20 06:52:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 06:54:34 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 245 seconds) |
2025-04-20 06:57:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-20 07:09:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 07:16:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-20 07:29:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 07:33:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-20 07:47:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 07:51:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-20 08:02:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 08:07:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-20 08:08:44 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.0) |
2025-04-20 08:09:05 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) qjqqyy |
2025-04-20 08:12:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66) |
2025-04-20 08:20:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 08:22:33 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Read error: Connection reset by peer) |
2025-04-20 08:23:11 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
2025-04-20 08:25:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-20 08:30:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-20 08:35:18 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.1) |
2025-04-20 08:35:27 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) qjqqyy |
2025-04-20 08:35:47 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) (Client Quit) |
2025-04-20 08:36:30 +0200 | Square3 | (~Square@user/square) Square |
2025-04-20 08:39:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 08:42:01 +0200 | jle` | (~jle`@2603:8001:3b00:11:2d8b:3abc:251d:2a6) (Ping timeout: 265 seconds) |
2025-04-20 08:42:30 +0200 | jle` | (~jle`@2603:8001:3b00:11:311f:eba9:dcc6:2b36) jle` |
2025-04-20 08:43:12 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-04-20 08:43:33 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1) |
2025-04-20 08:43:33 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) |
2025-04-20 08:44:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-20 08:45:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66) |
2025-04-20 08:51:24 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.) |
2025-04-20 08:51:53 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-04-20 08:52:34 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 08:55:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 08:57:14 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
2025-04-20 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-04-20 09:00:59 +0200 | caconym | (~caconym@user/caconym) caconym |
2025-04-20 09:02:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-20 09:03:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 09:04:07 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
2025-04-20 09:08:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-20 09:13:46 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
2025-04-20 09:20:41 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-04-20 09:20:57 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
2025-04-20 09:21:19 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
2025-04-20 09:21:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 09:21:58 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 276 seconds) |
2025-04-20 09:22:07 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-04-20 09:25:46 +0200 | rvalue- | rvalue |
2025-04-20 09:26:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-20 09:28:23 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-04-20 09:34:22 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-04-20 09:37:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 09:38:17 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 252 seconds) |
2025-04-20 09:42:25 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-04-20 09:42:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-20 09:54:18 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-04-20 09:54:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 09:57:59 +0200 | <haskellbridge> | <Liamzee> Do people do library reviews? |
2025-04-20 09:58:13 +0200 | <haskellbridge> | <Liamzee> crypton / cryptonite seems really fun! |
2025-04-20 09:59:02 +0200 | kh0d | (~kh0d@212.200.181.148) kh0d |
2025-04-20 09:59:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-20 10:03:29 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
2025-04-20 10:04:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 10:08:46 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-04-20 10:09:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-20 10:13:25 +0200 | kh0d | (~kh0d@212.200.181.148) (Quit: Leaving...) |
2025-04-20 10:17:57 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
2025-04-20 10:18:06 +0200 | courtney_lol | (~im@user/courtney-lol:66091) courtney_lol |
2025-04-20 10:18:12 +0200 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 268 seconds) |
2025-04-20 10:19:16 +0200 | courtney_lol | (~im@user/courtney-lol:66091) (The Lounge - https://thelounge.chat) |
2025-04-20 10:20:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 10:25:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-20 10:30:15 +0200 | <haskellbridge> | <Liamzee> https://hackage-content.haskell.org/package/crypton-1.0.4/docs/src/Crypto.KDF.Argon2.html#hash |
2025-04-20 10:30:17 +0200 | <haskellbridge> | <Liamzee> happy easter, but also |
2025-04-20 10:30:23 +0200 | <haskellbridge> | <Liamzee> here, should there be a specialize pragma? :( |
2025-04-20 10:37:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 10:41:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 10:45:02 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
2025-04-20 10:49:00 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-04-20 10:50:20 +0200 | img | (~img@user/img) img |
2025-04-20 10:54:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 11:01:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-20 11:05:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 11:09:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 11:22:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 11:25:32 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2025-04-20 11:26:51 +0200 | Digit | (~user@user/digit) (Ping timeout: 272 seconds) |
2025-04-20 11:27:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-20 11:34:10 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
2025-04-20 11:39:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 11:39:10 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-04-20 11:44:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-20 11:44:39 +0200 | <davean> | Liamzee: A specialize prgama? |
2025-04-20 11:45:58 +0200 | <davean> | what there would notably benefit? |
2025-04-20 11:48:20 +0200 | <davean> | You have to dispatch on an abstract type for SPECIALIZE to help |
2025-04-20 11:48:43 +0200 | sprotte24 | (~sprotte24@p200300d16f1d26001d5e77771a72051c.dip0.t-ipconnect.de) |
2025-04-20 11:52:36 +0200 | <haskellbridge> | <Liamzee> https://hackage-content.haskell.org/package/crypton-1.0.4/docs/Crypto-KDF-Argon2.html |
2025-04-20 11:52:40 +0200 | <haskellbridge> | <Liamzee> what is an abstract type? |
2025-04-20 11:52:47 +0200 | <haskellbridge> | <Liamzee> do you mean AbDT a la C? |
2025-04-20 11:53:06 +0200 | <haskellbridge> | <Liamzee> there's tons of typeclasses, I'd imagine specialization would avoid passing around type dictionaries |
2025-04-20 11:54:04 +0200 | <davean> | passing around class dictionaries isn't a problem unless you're calling a number of times. You'd lose more having a second version of the code. At first glance I see exactly a maximum of 4 abstract dispatches |
2025-04-20 11:54:41 +0200 | <davean> | and none of that is relivent if it is inlined |
2025-04-20 11:56:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 11:57:45 +0200 | <davean> | I would expect a specialize to potentially slow the code down here. |
2025-04-20 11:58:04 +0200 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-04-20 11:58:47 +0200 | <davean> | and sorry, its 5 not 4 |
2025-04-20 12:00:08 +0200 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
2025-04-20 12:03:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-20 12:06:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 12:10:02 +0200 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-20 12:11:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-20 12:12:05 +0200 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
2025-04-20 12:21:39 +0200 | hidjgr | (~hidjgr@68.52.120.78.rev.sfr.net) |
2025-04-20 12:22:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 12:25:08 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
2025-04-20 12:26:17 +0200 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2025-04-20 12:26:50 +0200 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
2025-04-20 12:26:52 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-04-20 12:27:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-20 12:28:47 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-04-20 12:35:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 12:40:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-20 12:44:43 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f4141e5f13fd358117c.dip0.t-ipconnect.de) acidjnk |
2025-04-20 12:47:30 +0200 | inca | (~inca@71.30.233.213) |
2025-04-20 12:51:15 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-20 12:52:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 12:52:39 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-04-20 12:52:59 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 268 seconds) |
2025-04-20 12:57:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-20 13:01:51 +0200 | inca | (~inca@71.30.233.213) |
2025-04-20 13:03:37 +0200 | nacation | (~m-3l4s76@user/nacation) (Ping timeout: 276 seconds) |
2025-04-20 13:06:40 +0200 | sprotte24 | (~sprotte24@p200300d16f1d26001d5e77771a72051c.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-04-20 13:07:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 13:07:31 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
2025-04-20 13:12:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-20 13:23:44 +0200 | tremon | (~tremon@83.80.159.219) tremon |
2025-04-20 13:24:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 13:25:33 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f4141e5f13fd358117c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-04-20 13:28:26 +0200 | nacation | (~m-3l4s76@user/nacation) nacation |
2025-04-20 13:29:00 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
2025-04-20 13:29:40 +0200 | Digitteknohippie | Digit |
2025-04-20 13:29:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-20 13:32:51 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-04-20 13:37:54 +0200 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Ping timeout: 245 seconds) |
2025-04-20 13:38:36 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
2025-04-20 13:41:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 13:46:26 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-20 13:48:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-20 13:56:14 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2025-04-20 13:57:15 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
2025-04-20 14:00:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 14:04:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-20 14:07:49 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f41701d725ce218d9de.dip0.t-ipconnect.de) |
2025-04-20 14:08:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 14:13:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-20 14:14:57 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-04-20 14:22:28 +0200 | septimi | (~sepi@87-92-72-195.bb.dnainternet.fi) |
2025-04-20 14:23:45 +0200 | inca | (~inca@71.30.233.213) |
2025-04-20 14:23:52 +0200 | sprotte24 | (~sprotte24@p200300d16f1d26001d5e77771a72051c.dip0.t-ipconnect.de) |
2025-04-20 14:24:40 +0200 | sprotte24_ | (~sprotte24@p200300d16f1d2600548a4c6cd24df652.dip0.t-ipconnect.de) |
2025-04-20 14:25:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 14:28:46 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
2025-04-20 14:29:25 +0200 | sprotte24 | (~sprotte24@p200300d16f1d26001d5e77771a72051c.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2025-04-20 14:29:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 14:33:03 +0200 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
2025-04-20 14:33:04 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-04-20 14:33:35 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-04-20 14:43:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 14:49:30 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f41701d725ce218d9de.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2025-04-20 14:50:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-20 14:55:01 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 14:58:58 +0200 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) |
2025-04-20 15:01:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 15:02:47 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-20 15:06:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-20 15:09:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 15:14:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-20 15:24:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-20 15:25:53 +0200 | inca | (~inca@71.30.233.213) |
2025-04-20 15:32:04 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 245 seconds) |
2025-04-20 15:41:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 15:45:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-20 15:52:03 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 15:57:41 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 248 seconds) |
2025-04-20 15:58:34 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 15:59:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 16:03:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-20 16:06:21 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 276 seconds) |
2025-04-20 16:10:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 16:12:09 +0200 | Digitteknohippie | Digit |
2025-04-20 16:13:02 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-20 16:13:51 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
2025-04-20 16:13:52 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-04-20 16:14:27 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-04-20 16:15:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 16:16:05 +0200 | inca | (~inca@71.30.233.213) |
2025-04-20 16:20:24 +0200 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) |
2025-04-20 16:22:16 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
2025-04-20 16:22:57 +0200 | hidjgr | (~hidjgr@68.52.120.78.rev.sfr.net) (Changing host) |
2025-04-20 16:22:57 +0200 | hidjgr | (~hidjgr@user/hidjgr) hidjgr |
2025-04-20 16:26:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 16:27:20 +0200 | haritz | (~hrtz@152.37.68.178) |
2025-04-20 16:27:20 +0200 | haritz | (~hrtz@152.37.68.178) (Changing host) |
2025-04-20 16:27:20 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-04-20 16:33:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 16:41:02 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) alethkit |
2025-04-20 16:43:29 +0200 | Me-me | (~me-me@user/me-me) (Ping timeout: 248 seconds) |
2025-04-20 16:44:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 16:45:37 +0200 | inca | (~inca@71.30.233.213) |
2025-04-20 16:49:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-20 16:50:50 +0200 | Me-me | (~me-me@kc.randomserver.name) |
2025-04-20 16:50:59 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
2025-04-20 16:51:38 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-20 16:52:04 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-04-20 16:59:53 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 17:00:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 17:00:53 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Quit: fp) |
2025-04-20 17:01:11 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
2025-04-20 17:04:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 17:10:44 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 272 seconds) |
2025-04-20 17:11:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 17:12:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-20 17:16:30 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f41e9f566b821fe98d2.dip0.t-ipconnect.de) |
2025-04-20 17:16:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-20 17:19:56 +0200 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
2025-04-20 17:25:28 +0200 | Googulator43 | (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) |
2025-04-20 17:26:32 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
2025-04-20 17:28:54 +0200 | Googulator77 | (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
2025-04-20 17:28:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 17:32:41 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 17:33:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-20 17:37:33 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
2025-04-20 17:39:42 +0200 | inca | (~inca@71.30.233.213) |
2025-04-20 17:40:48 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
2025-04-20 17:44:34 +0200 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) |
2025-04-20 17:44:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 17:44:59 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 245 seconds) |
2025-04-20 17:46:50 +0200 | dolio | (~dolio@130.44.140.168) dolio |
2025-04-20 17:48:44 +0200 | krei-se | (~krei-se@p50829a06.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2025-04-20 17:48:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-20 17:48:57 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
2025-04-20 17:50:00 +0200 | dolio | (~dolio@130.44.140.168) (Client Quit) |
2025-04-20 17:50:22 +0200 | krei-se | (~krei-se@p50829bce.dip0.t-ipconnect.de) krei-se |
2025-04-20 17:53:17 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 17:58:06 +0200 | hidjgr | (~hidjgr@user/hidjgr) (Quit: WeeChat 4.4.2) |
2025-04-20 17:58:42 +0200 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-20 18:01:51 +0200 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) |
2025-04-20 18:02:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 18:03:01 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f41e9f566b821fe98d2.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-04-20 18:03:17 +0200 | dolio | (~dolio@130.44.140.168) dolio |
2025-04-20 18:04:42 +0200 | dolio | (~dolio@130.44.140.168) (Client Quit) |
2025-04-20 18:05:20 +0200 | Googulator92 | (~Googulato@94-21-172-228.pool.digikabel.hu) |
2025-04-20 18:05:44 +0200 | dolio | (~dolio@130.44.140.168) dolio |
2025-04-20 18:05:46 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-20 18:07:21 +0200 | krei-se- | (~krei-se@p200300f1cfff35bada9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se |
2025-04-20 18:08:29 +0200 | krei-se | (~krei-se@p50829bce.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2025-04-20 18:08:30 +0200 | Googulator43 | (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
2025-04-20 18:10:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-20 18:12:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 18:15:23 +0200 | inca | (~inca@71.30.233.213) |
2025-04-20 18:16:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-20 18:17:08 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-04-20 18:19:49 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 268 seconds) |
2025-04-20 18:21:55 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 18:23:33 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Read error: Connection reset by peer) |
2025-04-20 18:24:43 +0200 | dolio | (~dolio@130.44.140.168) (Ping timeout: 276 seconds) |
2025-04-20 18:24:44 +0200 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
2025-04-20 18:24:59 +0200 | tomku | (~tomku@user/tomku) tomku |
2025-04-20 18:26:56 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 18:27:23 +0200 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-20 18:28:35 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2025-04-20 18:30:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 18:30:44 +0200 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
2025-04-20 18:35:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-20 18:38:23 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-20 18:39:01 +0200 | septimi | (~sepi@87-92-72-195.bb.dnainternet.fi) (Ping timeout: 276 seconds) |
2025-04-20 18:46:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 18:47:19 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f41e9f566b821fe98d2.dip0.t-ipconnect.de) acidjnk |
2025-04-20 18:47:19 +0200 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-04-20 18:47:56 +0200 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
2025-04-20 18:50:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 18:52:49 +0200 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-04-20 18:53:17 +0200 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
2025-04-20 18:56:13 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 18:58:17 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-04-20 19:03:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 19:06:38 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-20 19:08:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 19:10:40 +0200 | inca | (~inca@71.30.233.213) |
2025-04-20 19:11:03 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-04-20 19:12:01 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f41e9f566b821fe98d2.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-04-20 19:13:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 19:16:04 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
2025-04-20 19:17:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-20 19:26:57 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 19:27:26 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
2025-04-20 19:27:29 +0200 | pera | (~pera@user/pera) pera |
2025-04-20 19:29:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 19:34:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 19:35:47 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 272 seconds) |
2025-04-20 19:36:27 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 19:41:07 +0200 | sepi2 | (~sepi@87-92-72-195.bb.dnainternet.fi) |
2025-04-20 19:44:00 +0200 | pera | (~pera@user/pera) (Ping timeout: 272 seconds) |
2025-04-20 19:45:29 +0200 | sepi2 | (~sepi@87-92-72-195.bb.dnainternet.fi) (Ping timeout: 252 seconds) |
2025-04-20 19:45:31 +0200 | pera | (~pera@user/pera) pera |
2025-04-20 19:45:38 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
2025-04-20 19:46:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 19:53:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 20:00:05 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 20:05:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 20:06:46 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
2025-04-20 20:07:05 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf) |
2025-04-20 20:09:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 20:13:12 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 20:13:22 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-04-20 20:14:22 +0200 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-20 20:14:34 +0200 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
2025-04-20 20:17:35 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
2025-04-20 20:21:47 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf) (Read error: Connection reset by peer) |
2025-04-20 20:25:39 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
2025-04-20 20:25:41 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-04-20 20:25:42 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-04-20 20:25:42 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
2025-04-20 20:26:04 +0200 | califax | (~califax@user/califx) califx |
2025-04-20 20:26:23 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-04-20 20:26:26 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-04-20 20:27:05 +0200 | JuanDaugherty | ColinRobinson |
2025-04-20 20:30:16 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
2025-04-20 20:32:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 20:34:46 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
2025-04-20 20:35:01 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
2025-04-20 20:37:47 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-04-20 20:37:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-20 20:38:37 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 20:41:29 +0200 | rvalue- | rvalue |
2025-04-20 20:42:04 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
2025-04-20 20:42:55 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf) |
2025-04-20 20:45:35 +0200 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-04-20 20:45:48 +0200 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
2025-04-20 20:46:14 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-04-20 20:47:29 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-20 20:47:42 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-04-20 20:47:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-20 20:48:28 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
2025-04-20 20:48:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 20:54:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-20 20:54:42 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-04-20 20:55:50 +0200 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Ping timeout: 268 seconds) |
2025-04-20 20:56:15 +0200 | sam113101 | (~sam@modemcable232.166-202-24.mc.videotron.ca) sam113101 |
2025-04-20 20:58:07 +0200 | sepi2 | (~sepi@87-92-72-195.bb.dnainternet.fi) |
2025-04-20 21:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-04-20 21:00:35 +0200 | <energizer> | is there any relationship between sequence :: t (m a) -> m (t a); seq :: f (a -> b) -> f a -> f b; ? i ask because the names are similar |
2025-04-20 21:00:46 +0200 | caconym | (~caconym@user/caconym) caconym |
2025-04-20 21:01:24 +0200 | <ncf> | no |
2025-04-20 21:01:48 +0200 | <ncf> | also that's not seq |
2025-04-20 21:03:20 +0200 | sepi2 | septimi |
2025-04-20 21:03:35 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-04-20 21:04:15 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-20 21:05:29 +0200 | <monochrom> | sequence can be implemented as a fold using seq and pure. Does that count? And yes we don't call that seq. Who calls it seq? |
2025-04-20 21:05:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 21:06:16 +0200 | <energizer> | what do you call (<*>) |
2025-04-20 21:06:26 +0200 | <monochrom> | app, ap |
2025-04-20 21:06:44 +0200 | <haskellbridge> | <hellwolf> seq, pseq, lseq, etc. are a family of magic spells that hints the evaluation order to the GHC runtime. |
2025-04-20 21:07:07 +0200 | <monochrom> | Or, this is IRC, there is no need to use voice messages. I call it <*>. |
2025-04-20 21:07:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-20 21:08:00 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-20 21:08:37 +0200 | <energizer> | i guess these folks call it seq https://leanprover-community.github.io/mathlib4_docs/Init/Prelude.html#Seq.seq |
2025-04-20 21:09:22 +0200 | <monochrom> | They also call it <*> |
2025-04-20 21:10:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-20 21:10:39 +0200 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-20 21:10:51 +0200 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
2025-04-20 21:10:58 +0200 | <energizer> | "sequence can be implemented as a fold using seq and pure. Does that count?" is that a significant relationship that i can think about to understand them better, and why they're both called seq*? |
2025-04-20 21:12:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-20 21:13:06 +0200 | <monochrom> | 1. You brought up relationship, so you should be the one defining it. I tried to be less unhelpful by not beginning with "what does relationship mean?", hoping that you know what you're asking for so you can be the judge. |
2025-04-20 21:13:44 +0200 | <monochrom> | 2. I disagree with naming it "seq", and I think most of us here too. So aren't we the wrong people to ask why someone else chose "seq"? |
2025-04-20 21:14:50 +0200 | <energizer> | ok |
2025-04-20 21:15:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 21:17:44 +0200 | <int-e> | "this captures evaluation order" -- funnily enough that also applies to Haskell's `seq` |
2025-04-20 21:17:47 +0200 | <int-e> | :t seq |
2025-04-20 21:17:48 +0200 | <lambdabot> | a -> b -> b |
2025-04-20 21:18:53 +0200 | <monochrom> | But then the context is "When thinking about f as possible side effects". |
2025-04-20 21:18:59 +0200 | <int-e> | Anyway my main complaint about the question would be that it didn't establish the minimum context: that it was about Lean. |
2025-04-20 21:19:01 +0200 | <haskellbridge> | <hellwolf> seq doesn't guarantee evaluation order. It only forces WHNF on "a", right? |
2025-04-20 21:19:01 +0200 | <haskellbridge> | pseq guarantees, on the contrary |
2025-04-20 21:20:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-20 21:20:28 +0200 | <monochrom> | But then^2 that is a mess to argue over, given that we painstakingly keep effects out of "evaluation" and use another word entirely for effect order. |