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. |
2025-04-20 21:22:13 +0200 | <int-e> | hellwolf: no, both of them reduce to WHNF. the difference is that `pseq` is artificially lazy in its second argument so the compiler gets less freedom for the order in which the arguments are evaluated. |
2025-04-20 21:22:20 +0200 | inca | (~inca@71.30.233.213) |
2025-04-20 21:22:53 +0200 | <monochrom> | Nice, I haven't thought of putting it that way. |
2025-04-20 21:24:33 +0200 | <haskellbridge> | <hellwolf> > so the compiler gets less freedom for the order in which the arguments are evaluated. |
2025-04-20 21:24:33 +0200 | <haskellbridge> | Okay. So the "sparks" triggered in "a" gets the chance it deserves, right? |
2025-04-20 21:27:53 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 268 seconds) |
2025-04-20 21:29:12 +0200 | <int-e> | Hmm, close enough. (There's a specific pattern here where `b` is a full result and `a` is used to create sparks that work towards fully evaluating `b`... usually in connection with the `parallel` package) |
2025-04-20 21:30:09 +0200 | <int-e> | Still, I'm pretty sure that the idea when naming `seq` was to sequentialize evaluation. |
2025-04-20 21:30:39 +0200 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-04-20 21:30:45 +0200 | <monochrom> | I agree. |
2025-04-20 21:30:47 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
2025-04-20 21:31:09 +0200 | <haskellbridge> | <hellwolf> "strict evaluation quirk" I am making stuff up for fun. |
2025-04-20 21:31:50 +0200 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
2025-04-20 21:32:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 21:33:48 +0200 | <monochrom> | John Hughes said, in an interview, that his contribution was adding one thing to fix the problem like foldl using up too much space because pointlessly lazy. That must be seq. And yet, for the purpose of saving space, you must talk dirty about evaluation order and not hide behind clean denotational strictness "oh order is not guaranteed". |
2025-04-20 21:35:02 +0200 | <monochrom> | For example, suppose a sick compiler decides that "seq x y" means evaluate y first, then evaluate x, then return the result of y. Then it satisfies the strictness requirement but totally defeats John Hughes's contribution. |
2025-04-20 21:35:58 +0200 | <monochrom> | Or even downright evil, spawn two threads to evaluate x and y concurrently, and wait for both. Just to try bringing down your computer. |
2025-04-20 21:37:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-20 21:38:11 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
2025-04-20 21:38:18 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-04-20 21:39:07 +0200 | <haskellbridge> | <hellwolf> What makes encoding timeliness in computation as logic less "clean" than timeless denotational meanings? I used to be a "conalist", too. But now I am questioning and want to understand more. |
2025-04-20 21:40:03 +0200 | <haskellbridge> | <hellwolf> all the answer I got from denotational conalists are usually about "simple and elegance" |
2025-04-20 21:40:22 +0200 | <haskellbridge> | <hellwolf> almost a pure aesthetic preference. |
2025-04-20 21:40:28 +0200 | <int-e> | sounds subjective to me, so there is no good answer |
2025-04-20 21:40:56 +0200 | <monochrom> | I won't defend "low level is direct, high level abstract is clean", although I am mathematically inclined and I feel that way. But then I am happy to get low level, unless when I'm too lazy to. |
2025-04-20 21:41:33 +0200 | <haskellbridge> | <hellwolf> This is my linear-time temporal logic take on the meaning of "par", "pseq phi psi": $\neg \psi_{whnf}\ \mathcal{U}\ \phi_{whnf}$ This is mathematics, too, you know, why this is less "simple and elegant". |
2025-04-20 21:41:34 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-04-20 21:41:34 +0200 | ljdarj1 | ljdarj |
2025-04-20 21:42:32 +0200 | <haskellbridge> | <hellwolf> Somehow when it involves "sequence" and timeliness, it becomes dirty. I cannot justify it anymore. |
2025-04-20 21:42:51 +0200 | <monochrom> | (not serious answer) Even physics is now trying to get rid of time from really fundamental theories >:) |
2025-04-20 21:43:51 +0200 | <monochrom> | Then don't. |