| 2025-04-20 00:09:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 00:11:47 +0000 | d34db33f | (~d34db33f@user/d34db33f) d34db33f |
| 2025-04-20 00:16:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 00:25:41 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-04-20 00:26:09 +0000 | haritzondo | (~hrtz@152.37.68.178) (Changing host) |
| 2025-04-20 00:26:09 +0000 | haritzondo | (~hrtz@user/haritz) haritz |
| 2025-04-20 00:26:56 +0000 | sprotte24 | (~sprotte24@p200300d16f156200195212cdf88de3f6.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-20 00:28:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 00:32:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-20 00:33:21 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-20 00:43:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 00:47:24 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-04-20 00:48:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 00:49:40 +0000 | otto_s | (~user@p5de2f342.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-04-20 00:50:57 +0000 | otto_s | (~user@p4ff27d26.dip0.t-ipconnect.de) |
| 2025-04-20 00:51:09 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:9d19:fe87:a9a8:9d05) |
| 2025-04-20 00:51:55 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 2025-04-20 00:59:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 01:01:07 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
| 2025-04-20 01:02:41 +0000 | <haskellbridge> | <dmjio> ReadP is underrated |
| 2025-04-20 01:04:17 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-20 01:04:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-20 01:05:04 +0000 | DragonMaus | (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-04-20 01:05:54 +0000 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-04-20 01:08:27 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 2025-04-20 01:10:09 +0000 | d34db33f | (~d34db33f@user/d34db33f) (Remote host closed the connection) |
| 2025-04-20 01:15:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 01:20:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 01:25:02 +0000 | haritzondo | (~hrtz@user/haritz) (Ping timeout: 268 seconds) |
| 2025-04-20 01:27:01 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-04-20 01:28:46 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-04-20 01:28:46 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-20 01:29:30 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-20 01:32:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 01:38:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-20 01:46:17 +0000 | travgm | (~travgm@184-155-73-83.cpe.sparklight.net) |
| 2025-04-20 01:46:57 +0000 | travgm | (~travgm@184-155-73-83.cpe.sparklight.net) (Changing host) |
| 2025-04-20 01:46:57 +0000 | travgm | (~travgm@fsf/member/travgm) travgm |
| 2025-04-20 01:48:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 01:51:11 +0000 | travgm | (~travgm@fsf/member/travgm) (Quit: Leaving) |
| 2025-04-20 01:55:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 02:05:02 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-04-20 02:05:33 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-04-20 02:05:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-04-20 02:09:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 02:13:12 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-20 02:13:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-20 02:13:38 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-04-20 02:21:11 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in) |
| 2025-04-20 02:21:23 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-20 02:22:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 02:22:58 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-04-20 02:27:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-20 02:34:20 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-20 02:36:11 +0000 | euleritian | (~euleritia@dynamic-176-006-129-143.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-20 02:36:25 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-20 02:38:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 02:43:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-20 02:49:42 +0000 | hammond | (proscan@gateway04.insomnia247.nl) (Changing host) |
| 2025-04-20 02:49:42 +0000 | hammond | (proscan@user/hammond2) hammond2 |
| 2025-04-20 02:51:19 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-20 02:52:39 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-20 02:55:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 03:00:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-20 03:03:14 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-04-20 03:04:36 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:9d19:fe87:a9a8:9d05) (Quit: Leaving) |
| 2025-04-20 03:06:17 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-04-20 03:06:17 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-04-20 03:07:06 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-20 03:08:10 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 260 seconds) |
| 2025-04-20 03:08:15 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-04-20 03:12:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 03:13:28 +0000 | aaronv__ | (~aaronv@user/aaronv) (Quit: Leaving) |
| 2025-04-20 03:16:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-20 03:21:13 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-04-20 03:26:47 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-04-20 03:30:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 03:33:27 +0000 | aforemny_ | (~aforemny@2001:9e8:6cc5:7e00:c2ee:f0f2:a86a:9c12) aforemny |
| 2025-04-20 03:33:49 +0000 | aforemny | (~aforemny@2001:9e8:6cee:1800:c0f9:494c:b1de:77a) (Ping timeout: 276 seconds) |
| 2025-04-20 03:37:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 03:42:13 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-04-20 03:46:25 +0000 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-04-20 03:47:27 +0000 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-04-20 03:49:35 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 03:50:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 03:54:18 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
| 2025-04-20 03:54:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 04:01:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 04:03:39 +0000 | rekahsoft | (~rekahsoft@174.95.4.83) (Remote host closed the connection) |
| 2025-04-20 04:04:51 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
| 2025-04-20 04:05:51 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-20 04:06:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 04:08:54 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 2025-04-20 04:16:03 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-20 04:17:30 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-20 04:17:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 04:19:55 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-04-20 04:21:17 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
| 2025-04-20 04:22:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-20 04:24:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-04-20 04:27:54 +0000 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 2025-04-20 04:32:03 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-20 04:32:58 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-04-20 04:34:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 04:39:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-20 04:45:16 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 2025-04-20 04:45:51 +0000 | rekahsoft | (~rekahsoft@174.95.4.83) rekahsoft |
| 2025-04-20 04:46:28 +0000 | rekahsoft | (~rekahsoft@174.95.4.83) (Remote host closed the connection) |
| 2025-04-20 04:46:37 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-20 04:47:45 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
| 2025-04-20 04:48:17 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 2025-04-20 04:50:29 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
| 2025-04-20 04:52:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 04:54:34 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 245 seconds) |
| 2025-04-20 04:57:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-20 05:09:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 05:16:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-20 05:29:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 05:33:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-20 05:47:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 05:51:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-20 06:02:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 06:07:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-20 06:08:44 +0000 | cawfee | (root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.0) |
| 2025-04-20 06:09:05 +0000 | cawfee | (root@2001:19f0:4400:79a1::babe) qjqqyy |
| 2025-04-20 06:12:39 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66) |
| 2025-04-20 06:20:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 06:22:33 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2025-04-20 06:23:11 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
| 2025-04-20 06:25:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-20 06:30:03 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-20 06:35:18 +0000 | cawfee | (root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.1) |
| 2025-04-20 06:35:27 +0000 | cawfee | (root@2001:19f0:4400:79a1::babe) qjqqyy |
| 2025-04-20 06:35:47 +0000 | cawfee | (root@2001:19f0:4400:79a1::babe) (Client Quit) |
| 2025-04-20 06:36:30 +0000 | Square3 | (~Square@user/square) Square |
| 2025-04-20 06:39:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 06:42:01 +0000 | jle` | (~jle`@2603:8001:3b00:11:2d8b:3abc:251d:2a6) (Ping timeout: 265 seconds) |
| 2025-04-20 06:42:30 +0000 | jle` | (~jle`@2603:8001:3b00:11:311f:eba9:dcc6:2b36) jle` |
| 2025-04-20 06:43:12 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-20 06:43:33 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1) |
| 2025-04-20 06:43:33 +0000 | cawfee | (root@2001:19f0:4400:79a1::babe) |
| 2025-04-20 06:44:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-20 06:45:59 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66) |
| 2025-04-20 06:51:24 +0000 | 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 06:51:53 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-20 06:52:34 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 06:55:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 06:57:14 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
| 2025-04-20 07:00:00 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-20 07:00:59 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-20 07:02:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-20 07:03:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 07:04:07 +0000 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2025-04-20 07:08:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-20 07:13:46 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-04-20 07:20:41 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-20 07:20:57 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-04-20 07:21:19 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2025-04-20 07:21:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 07:21:58 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 276 seconds) |
| 2025-04-20 07:22:07 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-04-20 07:25:46 +0000 | rvalue- | rvalue |
| 2025-04-20 07:26:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-20 07:28:23 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-04-20 07:34:22 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-04-20 07:37:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 07:38:17 +0000 | TMA | (tma@twin.jikos.cz) (Ping timeout: 252 seconds) |
| 2025-04-20 07:42:25 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-20 07:42:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-20 07:54:18 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-04-20 07:54:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 07:57:59 +0000 | <haskellbridge> | <Liamzee> Do people do library reviews? |
| 2025-04-20 07:58:13 +0000 | <haskellbridge> | <Liamzee> crypton / cryptonite seems really fun! |
| 2025-04-20 07:59:02 +0000 | kh0d | (~kh0d@212.200.181.148) kh0d |
| 2025-04-20 07:59:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-20 08:03:29 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-04-20 08:04:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 08:08:46 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-20 08:09:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-20 08:13:25 +0000 | kh0d | (~kh0d@212.200.181.148) (Quit: Leaving...) |
| 2025-04-20 08:17:57 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-04-20 08:18:06 +0000 | courtney_lol | (~im@user/courtney-lol:66091) courtney_lol |
| 2025-04-20 08:18:12 +0000 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 268 seconds) |
| 2025-04-20 08:19:16 +0000 | courtney_lol | (~im@user/courtney-lol:66091) (The Lounge - https://thelounge.chat) |
| 2025-04-20 08:20:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 08:25:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-20 08:30:15 +0000 | <haskellbridge> | <Liamzee> https://hackage-content.haskell.org/package/crypton-1.0.4/docs/src/Crypto.KDF.Argon2.html#hash |
| 2025-04-20 08:30:17 +0000 | <haskellbridge> | <Liamzee> happy easter, but also |
| 2025-04-20 08:30:23 +0000 | <haskellbridge> | <Liamzee> here, should there be a specialize pragma? :( |
| 2025-04-20 08:37:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 08:41:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 08:45:02 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 2025-04-20 08:49:00 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-04-20 08:50:20 +0000 | img | (~img@user/img) img |
| 2025-04-20 08:54:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 09:01:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-20 09:05:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 09:09:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 09:22:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 09:25:32 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-04-20 09:26:51 +0000 | Digit | (~user@user/digit) (Ping timeout: 272 seconds) |
| 2025-04-20 09:27:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-20 09:34:10 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-04-20 09:39:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 09:39:10 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-04-20 09:44:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-20 09:44:39 +0000 | <davean> | Liamzee: A specialize prgama? |
| 2025-04-20 09:45:58 +0000 | <davean> | what there would notably benefit? |
| 2025-04-20 09:48:20 +0000 | <davean> | You have to dispatch on an abstract type for SPECIALIZE to help |
| 2025-04-20 09:48:43 +0000 | sprotte24 | (~sprotte24@p200300d16f1d26001d5e77771a72051c.dip0.t-ipconnect.de) |
| 2025-04-20 09:52:36 +0000 | <haskellbridge> | <Liamzee> https://hackage-content.haskell.org/package/crypton-1.0.4/docs/Crypto-KDF-Argon2.html |
| 2025-04-20 09:52:40 +0000 | <haskellbridge> | <Liamzee> what is an abstract type? |
| 2025-04-20 09:52:47 +0000 | <haskellbridge> | <Liamzee> do you mean AbDT a la C? |
| 2025-04-20 09:53:06 +0000 | <haskellbridge> | <Liamzee> there's tons of typeclasses, I'd imagine specialization would avoid passing around type dictionaries |
| 2025-04-20 09:54:04 +0000 | <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 09:54:41 +0000 | <davean> | and none of that is relivent if it is inlined |
| 2025-04-20 09:56:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 09:57:45 +0000 | <davean> | I would expect a specialize to potentially slow the code down here. |
| 2025-04-20 09:58:04 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-20 09:58:47 +0000 | <davean> | and sorry, its 5 not 4 |
| 2025-04-20 10:00:08 +0000 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
| 2025-04-20 10:03:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-20 10:06:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 10:10:02 +0000 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-20 10:11:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-20 10:12:05 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-20 10:21:39 +0000 | hidjgr | (~hidjgr@68.52.120.78.rev.sfr.net) |
| 2025-04-20 10:22:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 10:25:08 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 2025-04-20 10:26:17 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-04-20 10:26:50 +0000 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
| 2025-04-20 10:26:52 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-04-20 10:27:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-20 10:28:47 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-20 10:35:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 10:40:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-20 10:44:43 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f4141e5f13fd358117c.dip0.t-ipconnect.de) acidjnk |
| 2025-04-20 10:47:30 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-20 10:51:15 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-20 10:52:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 10:52:39 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-20 10:52:59 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 268 seconds) |
| 2025-04-20 10:57:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-20 11:01:51 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-20 11:03:37 +0000 | nacation | (~m-3l4s76@user/nacation) (Ping timeout: 276 seconds) |
| 2025-04-20 11:06:40 +0000 | sprotte24 | (~sprotte24@p200300d16f1d26001d5e77771a72051c.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-20 11:07:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 11:07:31 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
| 2025-04-20 11:12:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-20 11:23:44 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-04-20 11:24:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 11:25:33 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f4141e5f13fd358117c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-20 11:28:26 +0000 | nacation | (~m-3l4s76@user/nacation) nacation |
| 2025-04-20 11:29:00 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-04-20 11:29:40 +0000 | Digitteknohippie | Digit |
| 2025-04-20 11:29:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-20 11:32:51 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-20 11:37:54 +0000 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2025-04-20 11:38:36 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-04-20 11:41:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 11:46:26 +0000 | tromp | (~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-20 11:48:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-20 11:56:14 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-04-20 11:57:15 +0000 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-04-20 12:00:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 12:04:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-20 12:07:49 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f41701d725ce218d9de.dip0.t-ipconnect.de) |
| 2025-04-20 12:08:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 12:13:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-20 12:14:57 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-20 12:22:28 +0000 | septimi | (~sepi@87-92-72-195.bb.dnainternet.fi) |
| 2025-04-20 12:23:45 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-20 12:23:52 +0000 | sprotte24 | (~sprotte24@p200300d16f1d26001d5e77771a72051c.dip0.t-ipconnect.de) |
| 2025-04-20 12:24:40 +0000 | sprotte24_ | (~sprotte24@p200300d16f1d2600548a4c6cd24df652.dip0.t-ipconnect.de) |
| 2025-04-20 12:25:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 12:28:46 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
| 2025-04-20 12:29:25 +0000 | sprotte24 | (~sprotte24@p200300d16f1d26001d5e77771a72051c.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-20 12:29:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 12:33:03 +0000 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
| 2025-04-20 12:33:04 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-04-20 12:33:35 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-04-20 12:43:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 12:49:30 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f41701d725ce218d9de.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-04-20 12:50:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-20 12:55:01 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 12:58:58 +0000 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) |
| 2025-04-20 13:01:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 13:02:47 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 2025-04-20 13:06:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-20 13:09:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 13:14:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-20 13:24:08 +0000 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-20 13:25:53 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-20 13:32:04 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 245 seconds) |
| 2025-04-20 13:41:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 13:45:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-20 13:52:03 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 13:57:41 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 248 seconds) |
| 2025-04-20 13:58:34 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 13:59:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 14:03:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-20 14:06:21 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 276 seconds) |
| 2025-04-20 14:10:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 14:12:09 +0000 | Digitteknohippie | Digit |
| 2025-04-20 14:13:02 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-20 14:13:51 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-04-20 14:13:52 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-20 14:14:27 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-20 14:15:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 14:16:05 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-20 14:20:24 +0000 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) |
| 2025-04-20 14:22:16 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 2025-04-20 14:22:57 +0000 | hidjgr | (~hidjgr@68.52.120.78.rev.sfr.net) (Changing host) |
| 2025-04-20 14:22:57 +0000 | hidjgr | (~hidjgr@user/hidjgr) hidjgr |
| 2025-04-20 14:26:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 14:27:20 +0000 | haritz | (~hrtz@152.37.68.178) |
| 2025-04-20 14:27:20 +0000 | haritz | (~hrtz@152.37.68.178) (Changing host) |
| 2025-04-20 14:27:20 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-20 14:33:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 14:41:02 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) alethkit |
| 2025-04-20 14:43:29 +0000 | Me-me | (~me-me@user/me-me) (Ping timeout: 248 seconds) |
| 2025-04-20 14:44:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 14:45:37 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-20 14:49:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-20 14:50:50 +0000 | Me-me | (~me-me@kc.randomserver.name) |
| 2025-04-20 14:50:59 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 2025-04-20 14:51:38 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-20 14:52:04 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-04-20 14:59:53 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 15:00:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 15:00:53 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Quit: fp) |
| 2025-04-20 15:01:11 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-04-20 15:04:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 15:10:44 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 272 seconds) |
| 2025-04-20 15:11:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 15:12:54 +0000 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-20 15:16:30 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f41e9f566b821fe98d2.dip0.t-ipconnect.de) |
| 2025-04-20 15:16:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-20 15:19:56 +0000 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2025-04-20 15:25:28 +0000 | Googulator43 | (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) |
| 2025-04-20 15:26:32 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 2025-04-20 15:28:54 +0000 | Googulator77 | (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-04-20 15:28:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 15:32:41 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 15:33:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-20 15:37:33 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
| 2025-04-20 15:39:42 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-20 15:40:48 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 2025-04-20 15:44:34 +0000 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) |
| 2025-04-20 15:44:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 15:44:59 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 245 seconds) |
| 2025-04-20 15:46:50 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-04-20 15:48:44 +0000 | krei-se | (~krei-se@p50829a06.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-04-20 15:48:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-20 15:48:57 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
| 2025-04-20 15:50:00 +0000 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2025-04-20 15:50:22 +0000 | krei-se | (~krei-se@p50829bce.dip0.t-ipconnect.de) krei-se |
| 2025-04-20 15:53:17 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 15:58:06 +0000 | hidjgr | (~hidjgr@user/hidjgr) (Quit: WeeChat 4.4.2) |
| 2025-04-20 15:58:42 +0000 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-20 16:01:51 +0000 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) |
| 2025-04-20 16:02:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 16:03:01 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f41e9f566b821fe98d2.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-20 16:03:17 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-04-20 16:04:42 +0000 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2025-04-20 16:05:20 +0000 | Googulator92 | (~Googulato@94-21-172-228.pool.digikabel.hu) |
| 2025-04-20 16:05:44 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-04-20 16:05:46 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 2025-04-20 16:07:21 +0000 | krei-se- | (~krei-se@p200300f1cfff35bada9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se |
| 2025-04-20 16:08:29 +0000 | krei-se | (~krei-se@p50829bce.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-04-20 16:08:30 +0000 | Googulator43 | (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-04-20 16:10:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-20 16:12:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 16:15:23 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-20 16:16:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-20 16:17:08 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-20 16:19:49 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 268 seconds) |
| 2025-04-20 16:21:55 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 16:23:33 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Read error: Connection reset by peer) |
| 2025-04-20 16:24:43 +0000 | dolio | (~dolio@130.44.140.168) (Ping timeout: 276 seconds) |
| 2025-04-20 16:24:44 +0000 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2025-04-20 16:24:59 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2025-04-20 16:26:56 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 16:27:23 +0000 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-20 16:28:35 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-04-20 16:30:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 16:30:44 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-20 16:35:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-20 16:38:23 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 2025-04-20 16:39:01 +0000 | septimi | (~sepi@87-92-72-195.bb.dnainternet.fi) (Ping timeout: 276 seconds) |
| 2025-04-20 16:46:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 16:47:19 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f41e9f566b821fe98d2.dip0.t-ipconnect.de) acidjnk |
| 2025-04-20 16:47:19 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-04-20 16:47:56 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-20 16:50:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 16:52:49 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-20 16:53:17 +0000 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
| 2025-04-20 16:56:13 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 16:58:17 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-04-20 17:03:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 17:06:38 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 2025-04-20 17:08:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 17:10:40 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-20 17:11:03 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-20 17:12:01 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f41e9f566b821fe98d2.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-04-20 17:13:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 17:16:04 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
| 2025-04-20 17:17:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-20 17:26:57 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 17:27:26 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-04-20 17:27:29 +0000 | pera | (~pera@user/pera) pera |
| 2025-04-20 17:29:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 17:34:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 17:35:47 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 272 seconds) |
| 2025-04-20 17:36:27 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 17:41:07 +0000 | sepi2 | (~sepi@87-92-72-195.bb.dnainternet.fi) |
| 2025-04-20 17:44:00 +0000 | pera | (~pera@user/pera) (Ping timeout: 272 seconds) |
| 2025-04-20 17:45:29 +0000 | sepi2 | (~sepi@87-92-72-195.bb.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-04-20 17:45:31 +0000 | pera | (~pera@user/pera) pera |
| 2025-04-20 17:45:38 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
| 2025-04-20 17:46:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 17:53:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 18:00:05 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 18:05:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 18:06:46 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 2025-04-20 18:07:05 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf) |
| 2025-04-20 18:09:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 18:13:12 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 18:13:22 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-20 18:14:22 +0000 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-20 18:14:34 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-20 18:17:35 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
| 2025-04-20 18:21:47 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf) (Read error: Connection reset by peer) |
| 2025-04-20 18:25:39 +0000 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-04-20 18:25:41 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-04-20 18:25:42 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-20 18:25:42 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
| 2025-04-20 18:26:04 +0000 | califax | (~califax@user/califx) califx |
| 2025-04-20 18:26:23 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-04-20 18:26:26 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-20 18:27:05 +0000 | JuanDaugherty | ColinRobinson |
| 2025-04-20 18:30:16 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-04-20 18:32:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 18:34:46 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-04-20 18:35:01 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2025-04-20 18:37:47 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-20 18:37:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-20 18:38:37 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 18:41:29 +0000 | rvalue- | rvalue |
| 2025-04-20 18:42:04 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2025-04-20 18:42:55 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf) |
| 2025-04-20 18:45:35 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-20 18:45:48 +0000 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
| 2025-04-20 18:46:14 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-20 18:47:29 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-20 18:47:42 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-04-20 18:47:48 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-20 18:48:28 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
| 2025-04-20 18:48:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 18:54:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-20 18:54:42 +0000 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-20 18:55:50 +0000 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Ping timeout: 268 seconds) |
| 2025-04-20 18:56:15 +0000 | sam113101 | (~sam@modemcable232.166-202-24.mc.videotron.ca) sam113101 |
| 2025-04-20 18:58:07 +0000 | sepi2 | (~sepi@87-92-72-195.bb.dnainternet.fi) |
| 2025-04-20 19:00:04 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-20 19:00:35 +0000 | <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 19:00:46 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-20 19:01:24 +0000 | <ncf> | no |
| 2025-04-20 19:01:48 +0000 | <ncf> | also that's not seq |
| 2025-04-20 19:03:20 +0000 | sepi2 | septimi |
| 2025-04-20 19:03:35 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-20 19:04:15 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-20 19:05:29 +0000 | <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 19:05:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 19:06:16 +0000 | <energizer> | what do you call (<*>) |
| 2025-04-20 19:06:26 +0000 | <monochrom> | app, ap |
| 2025-04-20 19:06:44 +0000 | <haskellbridge> | <hellwolf> seq, pseq, lseq, etc. are a family of magic spells that hints the evaluation order to the GHC runtime. |
| 2025-04-20 19:07:07 +0000 | <monochrom> | Or, this is IRC, there is no need to use voice messages. I call it <*>. |
| 2025-04-20 19:07:31 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-20 19:08:00 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-20 19:08:37 +0000 | <energizer> | i guess these folks call it seq https://leanprover-community.github.io/mathlib4_docs/Init/Prelude.html#Seq.seq |
| 2025-04-20 19:09:22 +0000 | <monochrom> | They also call it <*> |
| 2025-04-20 19:10:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-20 19:10:39 +0000 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-20 19:10:51 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-20 19:10:58 +0000 | <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 19:12:48 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-20 19:13:06 +0000 | <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 19:13:44 +0000 | <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 19:14:50 +0000 | <energizer> | ok |
| 2025-04-20 19:15:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 19:17:44 +0000 | <int-e> | "this captures evaluation order" -- funnily enough that also applies to Haskell's `seq` |
| 2025-04-20 19:17:47 +0000 | <int-e> | :t seq |
| 2025-04-20 19:17:48 +0000 | <lambdabot> | a -> b -> b |
| 2025-04-20 19:18:53 +0000 | <monochrom> | But then the context is "When thinking about f as possible side effects". |
| 2025-04-20 19:18:59 +0000 | <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 19:19:01 +0000 | <haskellbridge> | <hellwolf> seq doesn't guarantee evaluation order. It only forces WHNF on "a", right? |
| 2025-04-20 19:19:01 +0000 | <haskellbridge> | pseq guarantees, on the contrary |
| 2025-04-20 19:20:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-20 19:20:28 +0000 | <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 19:22:13 +0000 | <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 19:22:20 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-20 19:22:53 +0000 | <monochrom> | Nice, I haven't thought of putting it that way. |
| 2025-04-20 19:24:33 +0000 | <haskellbridge> | <hellwolf> > so the compiler gets less freedom for the order in which the arguments are evaluated. |
| 2025-04-20 19:24:33 +0000 | <haskellbridge> | Okay. So the "sparks" triggered in "a" gets the chance it deserves, right? |
| 2025-04-20 19:27:53 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 268 seconds) |
| 2025-04-20 19:29:12 +0000 | <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 19:30:09 +0000 | <int-e> | Still, I'm pretty sure that the idea when naming `seq` was to sequentialize evaluation. |
| 2025-04-20 19:30:39 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-20 19:30:45 +0000 | <monochrom> | I agree. |
| 2025-04-20 19:30:47 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-04-20 19:31:09 +0000 | <haskellbridge> | <hellwolf> "strict evaluation quirk" I am making stuff up for fun. |
| 2025-04-20 19:31:50 +0000 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
| 2025-04-20 19:32:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 19:33:48 +0000 | <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 19:35:02 +0000 | <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 19:35:58 +0000 | <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 19:37:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-20 19:38:11 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 19:38:18 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-20 19:39:07 +0000 | <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 19:40:03 +0000 | <haskellbridge> | <hellwolf> all the answer I got from denotational conalists are usually about "simple and elegance" |
| 2025-04-20 19:40:22 +0000 | <haskellbridge> | <hellwolf> almost a pure aesthetic preference. |
| 2025-04-20 19:40:28 +0000 | <int-e> | sounds subjective to me, so there is no good answer |
| 2025-04-20 19:40:56 +0000 | <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 19:41:33 +0000 | <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 19:41:34 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-04-20 19:41:34 +0000 | ljdarj1 | ljdarj |
| 2025-04-20 19:42:32 +0000 | <haskellbridge> | <hellwolf> Somehow when it involves "sequence" and timeliness, it becomes dirty. I cannot justify it anymore. |
| 2025-04-20 19:42:51 +0000 | <monochrom> | (not serious answer) Even physics is now trying to get rid of time from really fundamental theories >:) |
| 2025-04-20 19:43:51 +0000 | <monochrom> | Then don't. |
| 2025-04-20 19:48:35 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-20 19:48:51 +0000 | <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 19:48:53 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-20 19:50:37 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-20 19:50:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 19:50:48 +0000 | <haskellbridge> | <hellwolf> You sure? |
| 2025-04-20 19:50:48 +0000 | <haskellbridge> | linear-logic and symmetric monoidal category can represent operations in quite simple diagrams. |
| 2025-04-20 19:50:58 +0000 | <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 19:51:02 +0000 | <haskellbridge> | <hellwolf> it's just boxes and wires with very rigorous rules. |
| 2025-04-20 19:53:03 +0000 | <haskellbridge> | <hellwolf> I am still conceiving this idea. And I am puching above my weight: |
| 2025-04-20 19:53:03 +0000 | <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 19:53:33 +0000 | <monochrom> | That is tautological. |
| 2025-04-20 19:54:41 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-20 19:54:46 +0000 | <haskellbridge> | <hellwolf> At least you didn't say it's false. I feel relieved :D |
| 2025-04-20 19:57:36 +0000 | <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 19:57:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 19:59:17 +0000 | <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 20:00:30 +0000 | <monochrom> | (I did, it's my PhD thesis: https://www.cs.utoronto.ca/~trebla/albert-thesis-ut.pdf ) |
| 2025-04-20 20:01:25 +0000 | <mauke> | > take 0 undefined |
| 2025-04-20 20:01:26 +0000 | <lambdabot> | [] |
| 2025-04-20 20:01:35 +0000 | <mauke> | why do I need a statement about repeat ()? |
| 2025-04-20 20:01:59 +0000 | <monochrom> | Sure! Now "take n (repeat ())" takes Theta(n)-time. |
| 2025-04-20 20:02:03 +0000 | <haskellbridge> | <hellwolf> Do you assume laziness cannot be obtained from linear temporal logic? |
| 2025-04-20 20:02:29 +0000 | <monochrom> | Maybe I did. |
| 2025-04-20 20:03:53 +0000 | <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 20:03:55 +0000 | <haskellbridge> | <hellwolf> I am curious. I don't know the answer. |
| 2025-04-20 20:05:55 +0000 | <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 20:06:46 +0000 | haritz | (~hrtz@user/haritz) (Ping timeout: 265 seconds) |
| 2025-04-20 20:07:06 +0000 | <haskellbridge> | <hellwolf> maybe you give an example, and let me give it a try and learn? |
| 2025-04-20 20:09:02 +0000 | <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 20:09:04 +0000 | <haskellbridge> | So I'd say nothing prevents you from having lazy semantics, since you don't have to consume. |
| 2025-04-20 20:09:17 +0000 | <haskellbridge> | <hellwolf> Instead, it helps you to have a type safe way to build linear temporal logic. |
| 2025-04-20 20:09:31 +0000 | haritz | (~hrtz@152.37.68.178) |
| 2025-04-20 20:09:56 +0000 | haritz | (~hrtz@152.37.68.178) (Changing host) |
| 2025-04-20 20:09:56 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-20 20:10:35 +0000 | <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 20:11:11 +0000 | <haskellbridge> | <hellwolf> Managing resource uniqueness + Ur pattern <-- this is how linear arrows typically are used in GHC. That's my understanding. |
| 2025-04-20 20:11:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 20:12:19 +0000 | <monochrom> | Ur pattern is nice, yes. |
| 2025-04-20 20:12:48 +0000 | <monochrom> | More than nice. :) |
| 2025-04-20 20:15:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-20 20:16:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 20:16:26 +0000 | <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 20:16:51 +0000 | <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 20:18:22 +0000 | <haskellbridge> | <hellwolf> > but can never say "within 10 steps". |
| 2025-04-20 20:18:22 +0000 | <haskellbridge> | My half-arse LTL skill suggests me that should be easily expressible, it seems rather trivial. |
| 2025-04-20 20:18:31 +0000 | <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 20:19:30 +0000 | Square3 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-04-20 20:21:11 +0000 | <monochrom> | On every path, after 10 transitions or less? |
| 2025-04-20 20:21:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-20 20:21:52 +0000 | <haskellbridge> | <hellwolf> up to you, but I don't find there is a limit in the expression of LTL itself. |
| 2025-04-20 20:22:10 +0000 | <haskellbridge> | <hellwolf> How can you do that in GHC/Haskell is another matter. |
| 2025-04-20 20:22:15 +0000 | <haskellbridge> | <hellwolf> Which I am working on. |
| 2025-04-20 20:24:00 +0000 | haritz | (~hrtz@user/haritz) (Ping timeout: 276 seconds) |
| 2025-04-20 20:24:30 +0000 | <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 20:25:20 +0000 | <monochrom> | OK I won't be moving the goalpost past ω so there is a limit. >:) |
| 2025-04-20 20:26:00 +0000 | haritz | (~hrtz@152.37.68.178) |
| 2025-04-20 20:26:09 +0000 | <monochrom> | But similarly for s/LTL/CTL/ for example. Maybe even mu-calculus itself. |
| 2025-04-20 20:27:45 +0000 | haritz | (~hrtz@152.37.68.178) (Changing host) |
| 2025-04-20 20:27:45 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-20 20:30:59 +0000 | <notdabs> | fam thinks he is a robot and is talking to himself |
| 2025-04-20 20:31:08 +0000 | <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 20:31:37 +0000 | ChanServ | +o monochrom |
| 2025-04-20 20:31:39 +0000 | alx741 | (~alx741@186.33.188.229) |
| 2025-04-20 20:31:44 +0000 | monochrom | +b *!*@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf |
| 2025-04-20 20:31:44 +0000 | notdabs | monochrom (notdabs) |
| 2025-04-20 20:31:50 +0000 | monochrom | -o monochrom |
| 2025-04-20 20:31:51 +0000 | alx741 | (~alx741@186.33.188.229) (Client Quit) |
| 2025-04-20 20:33:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 20:36:40 +0000 | <monochrom> | @type sequence |
| 2025-04-20 20:36:41 +0000 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2025-04-20 20:37:02 +0000 | <monochrom> | Oh traverse, not fold. That's why! |
| 2025-04-20 20:37:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 20:43:11 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-04-20 20:45:12 +0000 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-20 20:46:07 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-20 20:50:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 20:51:59 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 260 seconds) |
| 2025-04-20 20:53:18 +0000 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2025-04-20 20:55:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-20 20:56:33 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-20 20:59:51 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-04-20 21:00:01 +0000 | septimi | (~sepi@87-92-72-195.bb.dnainternet.fi) (Remote host closed the connection) |
| 2025-04-20 21:00:23 +0000 | septimi | (~sepi@87-92-72-195.bb.dnainternet.fi) |
| 2025-04-20 21:06:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 21:07:25 +0000 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-20 21:08:37 +0000 | pera | (~pera@user/pera) (Ping timeout: 252 seconds) |
| 2025-04-20 21:08:41 +0000 | septimi | (~sepi@87-92-72-195.bb.dnainternet.fi) (Quit: WeeChat 4.6.1) |
| 2025-04-20 21:10:33 +0000 | pera | (~pera@user/pera) pera |
| 2025-04-20 21:12:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-20 21:12:27 +0000 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) |
| 2025-04-20 21:17:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 21:19:18 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-04-20 21:20:49 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 248 seconds) |
| 2025-04-20 21:21:28 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-04-20 21:22:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 21:23:36 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-20 21:28:09 +0000 | nefercheprure | (tma@twin.jikos.cz) TMA |
| 2025-04-20 21:29:20 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 2025-04-20 21:32:54 +0000 | tromp | (~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-20 21:34:11 +0000 | KicksonButt | (~quassel@187.21.174.221) |
| 2025-04-20 21:34:16 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-20 21:35:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 21:36:44 +0000 | hidjgr | (~hidjgr@68.52.120.78.rev.sfr.net) |
| 2025-04-20 21:36:50 +0000 | hidjgr | (~hidjgr@68.52.120.78.rev.sfr.net) (Changing host) |
| 2025-04-20 21:36:50 +0000 | hidjgr | (~hidjgr@user/hidjgr) hidjgr |
| 2025-04-20 21:38:24 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-20 21:38:51 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-04-20 21:42:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-20 21:47:01 +0000 | nefercheprure | TMA |
| 2025-04-20 21:50:19 +0000 | <haskellbridge> | <Liamzee> ugggh |
| 2025-04-20 21:50:47 +0000 | <haskellbridge> | <Liamzee> 8 hours, enough time spent, how do you convert a bytestring hash from Crypton to a literal for insertion to PostgreSQL? |
| 2025-04-20 21:50:58 +0000 | <haskellbridge> | <Liamzee> via postgresql simple |
| 2025-04-20 21:54:20 +0000 | <haskellbridge> | <Liamzee> forget it, i give up, Julie Moronuki and Chris Martin's Mission Valley Software to the rescue |
| 2025-04-20 21:54:21 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 2025-04-20 21:55:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 21:55:53 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-04-20 22:00:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-20 22:02:30 +0000 | <monochrom> | I would look for a blob way. Then I would look for a base64 way. |
| 2025-04-20 22:04:09 +0000 | <monochrom> | Then I would look for a uuencode way haha. (Remember that one?) |
| 2025-04-20 22:08:26 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-20 22:12:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 22:16:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-20 22:18:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 22:19:40 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-04-20 22:21:04 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-20 22:23:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-20 22:26:29 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ca3b:798b:8bc0:807d) (Ping timeout: 248 seconds) |
| 2025-04-20 22:27:29 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5015:f99f:d5b4:74f7) |
| 2025-04-20 22:28:37 +0000 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 248 seconds) |
| 2025-04-20 22:29:14 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-04-20 22:34:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 22:39:21 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f4138062549a387e2a7.dip0.t-ipconnect.de) acidjnk |
| 2025-04-20 22:39:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-20 22:39:45 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 248 seconds) |
| 2025-04-20 22:39:51 +0000 | <haskellbridge> | <Liamzee> also, nice gossip from the miso channel, dmjio wants to go isomorphic multiplatform |
| 2025-04-20 22:40:03 +0000 | <haskellbridge> | <Liamzee> i have a react native book coming in the mail |
| 2025-04-20 22:40:31 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-04-20 22:42:07 +0000 | <haskellbridge> | <Liamzee> maybe one day i'll have a miso book coming in the mail (although honestly the need for a book suggests some level of failure) |
| 2025-04-20 22:42:48 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-20 22:45:52 +0000 | KicksonButt | (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-04-20 22:47:21 +0000 | <geekosaur> | not necessarily, it just means someone saw a potential profit opportunity |
| 2025-04-20 22:47:45 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-20 22:47:54 +0000 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) |
| 2025-04-20 22:48:13 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-20 22:49:22 +0000 | <geekosaur> | also I don't think you can claim "failure" on a developer's part for "if it can't be copy-pasted from the web then it's too hard" on lazy coders' parts |
| 2025-04-20 22:50:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 22:50:42 +0000 | <haskellbridge> | <Liamzee> iirc that's more symptomatic what went wrong with react |
| 2025-04-20 22:51:27 +0000 | <haskellbridge> | <Liamzee> i.e, it used to be simple, then react hooks (whatever that is) got added, and eventually the ecosystem became verbose and difficult to understand, contrary to its original goals |
| 2025-04-20 22:52:29 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-04-20 22:52:53 +0000 | <haskellbridge> | <Liamzee> not sure whether it's a good thing or a bad thing that i'm falling in love, slowly, with monadic do :( |
| 2025-04-20 22:52:55 +0000 | <geekosaur> | "programming complexity tends toward a maximum" 😛 |
| 2025-04-20 22:53:06 +0000 | <haskellbridge> | <Liamzee> hahaha |
| 2025-04-20 22:54:27 +0000 | <haskellbridge> | <Liamzee> i just realized today you can get rid of liftIO by instead of liftIO-ing every line in the block, you create a subsidiary do block and liftIO the do block |
| 2025-04-20 22:54:33 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-20 22:55:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-20 22:55:28 +0000 | <haskellbridge> | <Liamzee> and honestly being able to lisp-format (i.e, arguments are on separate lines) in a sig-whitespace language using ML syntax is delicious |
| 2025-04-20 23:00:35 +0000 | <haskellbridge> | <hellwolf> re formatting, how do y'all handle indentation? I use emacs and typing tab will cycle through possible indentation positions, but sometimes it is not the prettiest option I am getting and I haven't bothered to fix them. |
| 2025-04-20 23:00:38 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/pkkDJUpyhVGomXGaeRvsiDbe/t50EK87prhk (5 lines) |
| 2025-04-20 23:03:24 +0000 | <monochrom> | I also use emacs haskell-mode, it gives me what I want most of the time, and I just manually override for the minority of times. |
| 2025-04-20 23:05:09 +0000 | <monochrom> | It is not that much manual overriding because for example if I want 10 lines consecutively to be indented by 12, at most the 1st line needs manual override. |
| 2025-04-20 23:06:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 23:07:10 +0000 | <EvanR> | hellwolf: I'm operating under a definition of "indentation" which makes the position irrelevant, so if something needs to be indented more it goes at the next tab stop |
| 2025-04-20 23:07:37 +0000 | <EvanR> | while attempt to align the next line with something on the previous line is not filed under indentation |
| 2025-04-20 23:08:12 +0000 | <monochrom> | heh |
| 2025-04-20 23:08:16 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-20 23:08:23 +0000 | <EvanR> | and if you allow autoformatters, is impossible |
| 2025-04-20 23:09:01 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5015:f99f:d5b4:74f7) (Quit: xff0x) |
| 2025-04-20 23:09:41 +0000 | <EvanR> | how to redefine your way out of a problem |
| 2025-04-20 23:09:50 +0000 | <haskellbridge> | <hellwolf> that's what emacs haskell-mode does, effectively |
| 2025-04-20 23:10:27 +0000 | <JuanDaugherty> | outdent, align, indent |
| 2025-04-20 23:10:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-20 23:11:01 +0000 | <EvanR> | insert outsert |
| 2025-04-20 23:11:28 +0000 | <monochrom> | Yeah I don't even write like "f x y do print foo". I make it "f x y do" one line, "print foo" next line indented +4. BTW it also eliminates the "looks like string of words" problem. |
| 2025-04-20 23:12:07 +0000 | <JuanDaugherty> | god forbind hs should read like st |
| 2025-04-20 23:12:12 +0000 | <JuanDaugherty> | *forbid |
| 2025-04-20 23:12:31 +0000 | <haskellbridge> | <hellwolf> st? |
| 2025-04-20 23:12:39 +0000 | <JuanDaugherty> | smalltalk |
| 2025-04-20 23:12:42 +0000 | <EvanR> | haskell poetry? |
| 2025-04-20 23:12:44 +0000 | xff0x | (~xff0x@2405:6580:b080:900:38fd:c123:25a:a4e9) |
| 2025-04-20 23:13:15 +0000 | <haskellbridge> | <hellwolf> Haskell code visual looks quite dense though. Sometimes I find it overwhelming |
| 2025-04-20 23:13:18 +0000 | <monochrom> | Eh, I am not against reading like other languages. Except COBOL. |
| 2025-04-20 23:13:31 +0000 | <monochrom> | Haskell reads like Curry too, you know. |
| 2025-04-20 23:14:16 +0000 | <JuanDaugherty> | yeah was thinking cobol and st are the ones and both rurn up noses |
| 2025-04-20 23:14:21 +0000 | <haskellbridge> | <hellwolf> Do you really use "do" with blockarguments on |
| 2025-04-20 23:14:41 +0000 | <JuanDaugherty> | as old and wierd |
| 2025-04-20 23:14:57 +0000 | <JuanDaugherty> | and worse than that for cobol igess |
| 2025-04-20 23:15:09 +0000 | <EvanR> | old, weird, and worse |
| 2025-04-20 23:15:20 +0000 | <monochrom> | I do. |
| 2025-04-20 23:15:23 +0000 | <JuanDaugherty> | but i've seen hs that read well |
| 2025-04-20 23:15:44 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-04-20 23:15:49 +0000 | <monochrom> | But really 99% of the time it's more like "withFile name mode \h -> do" |
| 2025-04-20 23:15:53 +0000 | <JuanDaugherty> | prosey |
| 2025-04-20 23:16:17 +0000 | <monochrom> | (I happen to not need runST all that often.) |
| 2025-04-20 23:16:34 +0000 | <EvanR> | algorithms that can be written in equational form end up really nice in haskell |
| 2025-04-20 23:16:56 +0000 | <EvanR> | like the signed binary real number arthimetic algorithms |
| 2025-04-20 23:17:16 +0000 | <EvanR> | or many other examples |
| 2025-04-20 23:17:49 +0000 | <JuanDaugherty> | it's definitely not a popular style |
| 2025-04-20 23:19:06 +0000 | <JuanDaugherty> | in hs, whereas its intrinsic in cobol and st |
| 2025-04-20 23:19:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 23:19:55 +0000 | <haskellbridge> | <hellwolf> I mean, you can always write in brackets and pretend to be popular style |
| 2025-04-20 23:20:23 +0000 | <monochrom> | > map(f)(repeat(0)) |
| 2025-04-20 23:20:24 +0000 | <lambdabot> | error: |
| 2025-04-20 23:20:24 +0000 | <lambdabot> | • Ambiguous type variable ‘b0’ arising from a use of ‘show_M516857686844... |
| 2025-04-20 23:20:24 +0000 | <lambdabot> | prevents the constraint ‘(Show b0)’ from being solved. |
| 2025-04-20 23:20:35 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
| 2025-04-20 23:20:43 +0000 | <monochrom> | Oops. should have deleted the "> " |
| 2025-04-20 23:20:52 +0000 | <haskellbridge> | <hellwolf> I mean curly brackets too |
| 2025-04-20 23:21:12 +0000 | <monochrom> | Did you know: Landin's paper really wrote like "f(x)(y)". :) |
| 2025-04-20 23:21:53 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 248 seconds) |
| 2025-04-20 23:21:57 +0000 | <haskellbridge> | <hellwolf> the next 700 brackets |
| 2025-04-20 23:22:05 +0000 | <monochrom> | I think old Moggi papers, old Gordon papers, etc., too. Basically the theoretical functional people back then. |
| 2025-04-20 23:22:10 +0000 | <monochrom> | hehe |
| 2025-04-20 23:23:17 +0000 | <monochrom> | hahaha that's brilliant |
| 2025-04-20 23:26:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-20 23:33:38 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds) |
| 2025-04-20 23:35:05 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-04-20 23:37:09 +0000 | sprotte24_ | (~sprotte24@p200300d16f1d2600548a4c6cd24df652.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-20 23:37:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 23:38:36 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-20 23:42:34 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-20 23:42:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-20 23:43:39 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-20 23:45:26 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-20 23:45:55 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2025-04-20 23:47:44 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-20 23:49:26 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-20 23:53:39 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-20 23:55:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-20 23:56:49 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-20 23:59:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |