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. |
2025-04-20 21:48:35 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-20 21:48:51 +0200 | <monochrom> | OK here is why my preference, but I can't speak for others. It is easier to do compositional reasoning in denotational semantics than in operational semantics. |
2025-04-20 21:48:53 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-20 21:50:37 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-20 21:50:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 21:50:48 +0200 | <haskellbridge> | <hellwolf> You sure? |
2025-04-20 21:50:48 +0200 | <haskellbridge> | linear-logic and symmetric monoidal category can represent operations in quite simple diagrams. |
2025-04-20 21:50:58 +0200 | <monochrom> | Compositional reasoning means if I want to prove "foo . bar" correct for example, I can break it down into proving a statement about foo, a statement about bar, and a combination of them to obtain overall correctness. |
2025-04-20 21:51:02 +0200 | <haskellbridge> | <hellwolf> it's just boxes and wires with very rigorous rules. |
2025-04-20 21:53:03 +0200 | <haskellbridge> | <hellwolf> I am still conceiving this idea. And I am puching above my weight: |
2025-04-20 21:53:03 +0200 | <haskellbridge> | In some cases, when timeless equations are of advantage, denotational semantics is really great; but the moment you want to deal with performance, or worse, side effects, inevitably you need the help from the "timely" logic. |
2025-04-20 21:53:33 +0200 | <monochrom> | That is tautological. |
2025-04-20 21:54:41 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-20 21:54:46 +0200 | <haskellbridge> | <hellwolf> At least you didn't say it's false. I feel relieved :D |
2025-04-20 21:57:36 +0200 | <monochrom> | People like eager languages because running times are compositional. The running time of "take 0 . repeat" is factorable to (time of take 0) + (time of repeat) = infinity. |
2025-04-20 21:57:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-20 21:59:17 +0200 | <monochrom> | How do you prove that in Haskell "take 0 (repeat ())" is O(1)-time, without a whole-program analysis of the the "take 0 (repeat ())"? Can you just prove one statement about "take 0", and one statement about "repeat ()", and combine them to deduce O(1)-time? |
2025-04-20 22:00:30 +0200 | <monochrom> | (I did, it's my PhD thesis: https://www.cs.utoronto.ca/~trebla/albert-thesis-ut.pdf ) |
2025-04-20 22:01:25 +0200 | <mauke> | > take 0 undefined |
2025-04-20 22:01:26 +0200 | <lambdabot> | [] |
2025-04-20 22:01:35 +0200 | <mauke> | why do I need a statement about repeat ()? |
2025-04-20 22:01:59 +0200 | <monochrom> | Sure! Now "take n (repeat ())" takes Theta(n)-time. |
2025-04-20 22:02:03 +0200 | <haskellbridge> | <hellwolf> Do you assume laziness cannot be obtained from linear temporal logic? |
2025-04-20 22:02:29 +0200 | <monochrom> | Maybe I did. |
2025-04-20 22:03:53 +0200 | <monochrom> | Or maybe I assumed it didn't matter. The question I would ask: Can I obtain compositional reasoning from linear temporal logic? |
2025-04-20 22:03:55 +0200 | <haskellbridge> | <hellwolf> I am curious. I don't know the answer. |
2025-04-20 22:05:55 +0200 | <haskellbridge> | <hellwolf> why not? it's just lambda with linear arrows. You would need to take care of dup/ignore data to produce valid diagrams; the type system forces you anyways. |
2025-04-20 22:06:46 +0200 | haritz | (~hrtz@user/haritz) (Ping timeout: 265 seconds) |
2025-04-20 22:07:06 +0200 | <haskellbridge> | <hellwolf> maybe you give an example, and let me give it a try and learn? |
2025-04-20 22:09:02 +0200 | <haskellbridge> | <hellwolf> GHC's LinearTypes only says "A function f is linear if: when its result is consumed exactly once, then its argument is consumed exactly once." |
2025-04-20 22:09:04 +0200 | <haskellbridge> | So I'd say nothing prevents you from having lazy semantics, since you don't have to consume. |
2025-04-20 22:09:17 +0200 | <haskellbridge> | <hellwolf> Instead, it helps you to have a type safe way to build linear temporal logic. |
2025-04-20 22:09:31 +0200 | haritz | (~hrtz@152.37.68.178) |
2025-04-20 22:09:56 +0200 | haritz | (~hrtz@152.37.68.178) (Changing host) |
2025-04-20 22:09:56 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-04-20 22:10:35 +0200 | <haskellbridge> | <hellwolf> Contrary to some common held understanding, I believe, LinearTypes in GHC does more than managing uniqueness of resources; which people may easily dismiss and say ST does it more or less, with less type safety but probably equal or better performance. |
2025-04-20 22:11:11 +0200 | <haskellbridge> | <hellwolf> Managing resource uniqueness + Ur pattern <-- this is how linear arrows typically are used in GHC. That's my understanding. |
2025-04-20 22:11:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 22:12:19 +0200 | <monochrom> | Ur pattern is nice, yes. |
2025-04-20 22:12:48 +0200 | <monochrom> | More than nice. :) |
2025-04-20 22:15:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-20 22:16:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-20 22:16:26 +0200 | <monochrom> | Wait a second. Back to previous topic. Does any temporal logic count time? I thought they only order events and say "eventually" but can never say "within 10 steps". |
2025-04-20 22:16:51 +0200 | <haskellbridge> | <hellwolf> But if you want to say, the data you obtained is "outdated", do not use it in the current labeled state, Ur becomes inadequate. |
2025-04-20 22:18:22 +0200 | <haskellbridge> | <hellwolf> > but can never say "within 10 steps". |
2025-04-20 22:18:22 +0200 | <haskellbridge> | My half-arse LTL skill suggests me that should be easily expressible, it seems rather trivial. |
2025-04-20 22:18:31 +0200 | <haskellbridge> | <hellwolf> But "10 steps" needs to be defined properly too, since in a labeled state transition diagram, it can be a tree, not a linear line. |
2025-04-20 22:19:30 +0200 | Square3 | (~Square@user/square) (Ping timeout: 252 seconds) |
2025-04-20 22:21:11 +0200 | <monochrom> | On every path, after 10 transitions or less? |
2025-04-20 22:21:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-20 22:21:52 +0200 | <haskellbridge> | <hellwolf> up to you, but I don't find there is a limit in the expression of LTL itself. |
2025-04-20 22:22:10 +0200 | <haskellbridge> | <hellwolf> How can you do that in GHC/Haskell is another matter. |
2025-04-20 22:22:15 +0200 | <haskellbridge> | <hellwolf> Which I am working on. |
2025-04-20 22:24:00 +0200 | haritz | (~hrtz@user/haritz) (Ping timeout: 276 seconds) |
2025-04-20 22:24:30 +0200 | <monochrom> | Also 10 is only a beginning example. I'm going to keep moving the goalpost. But eventually (pun!) it is going to be "for all n. `take n (repeat ())` takes O(n) time". You can write one LTL formula for n=10. You can write one LTL formula for n=11. Etc etc. You won't have one LTL formula for the "forall n" version. |
2025-04-20 22:25:20 +0200 | <monochrom> | OK I won't be moving the goalpost past ω so there is a limit. >:) |
2025-04-20 22:26:00 +0200 | haritz | (~hrtz@152.37.68.178) |
2025-04-20 22:26:09 +0200 | <monochrom> | But similarly for s/LTL/CTL/ for example. Maybe even mu-calculus itself. |
2025-04-20 22:27:45 +0200 | haritz | (~hrtz@152.37.68.178) (Changing host) |
2025-04-20 22:27:45 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-04-20 22:30:59 +0200 | <notdabs> | fam thinks he is a robot and is talking to himself |
2025-04-20 22:31:08 +0200 | <haskellbridge> | <hellwolf> I don't fully know. I am mildly excited if I can express a robust ATM in GHC as an exercise |
2025-04-20 22:31:37 +0200 | ChanServ | +o monochrom |
2025-04-20 22:31:39 +0200 | alx741 | (~alx741@186.33.188.229) |
2025-04-20 22:31:44 +0200 | monochrom | +b *!*@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf |
2025-04-20 22:31:44 +0200 | notdabs | monochrom (notdabs) |
2025-04-20 22:31:50 +0200 | monochrom | -o monochrom |
2025-04-20 22:31:51 +0200 | alx741 | (~alx741@186.33.188.229) (Client Quit) |
2025-04-20 22:33:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |