2025/04/20

2025-04-20 00:09:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 00:13:37 +0200merijn(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 00:23:13 +0200merijn(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 00:40:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 00:44:21 +0200nacation(~m-3l4s76@user/nacation) (Ping timeout: 252 seconds)
2025-04-20 00:46:42 +0200nacation(~m-3l4s76@user/nacation) nacation
2025-04-20 00:54:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 00:58:27 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-04-20 00:58:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-20 01:01:44 +0200fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 272 seconds)
2025-04-20 01:03:56 +0200nacation(~m-3l4s76@user/nacation) (Ping timeout: 244 seconds)
2025-04-20 01:11:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 01:15:54 +0200euleritian(~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-04-20 01:18:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 01:19:29 +0200euleritian(~euleritia@dynamic-176-006-129-143.176.6.pool.telefonica.de)
2025-04-20 01:24:52 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-04-20 01:28:48 +0200tromp(~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66)
2025-04-20 01:29:10 +0200tromp(~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 +0200inca_(~inca@71.30.233.213)
2025-04-20 01:33:30 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds)
2025-04-20 01:36:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 01:36:04 +0200inca_(~inca@71.30.233.213) (Ping timeout: 252 seconds)
2025-04-20 01:37:13 +0200haritzondo(~hrtz@152.37.68.178)
2025-04-20 01:37:14 +0200haritz(~hrtz@user/haritz) (Ping timeout: 252 seconds)
2025-04-20 01:40:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 01:41:44 +0200hiredman(~hiredman@frontier1.downey.family) (Quit: Lost terminal)
2025-04-20 01:45:23 +0200hidjgr(~hidjgr@user/hidjgr) (Ping timeout: 265 seconds)
2025-04-20 01:46:02 +0200aaronv__(~aaronv@user/aaronv) aaronv
2025-04-20 01:47:28 +0200inca(~inca@71.30.233.213)
2025-04-20 01:47:29 +0200nacation(~m-3l4s76@user/nacation) nacation
2025-04-20 01:51:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 01:56:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-20 01:58:20 +0200aaronv__(~aaronv@user/aaronv) (Remote host closed the connection)
2025-04-20 01:58:44 +0200aaronv__(~aaronv@user/aaronv) aaronv
2025-04-20 02:09:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 02:11:47 +0200d34db33f(~d34db33f@user/d34db33f) d34db33f
2025-04-20 02:16:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 02:25:41 +0200pavonia(~user@user/siracusa) siracusa
2025-04-20 02:26:09 +0200haritzondo(~hrtz@152.37.68.178) (Changing host)
2025-04-20 02:26:09 +0200haritzondo(~hrtz@user/haritz) haritz
2025-04-20 02:26:56 +0200sprotte24(~sprotte24@p200300d16f156200195212cdf88de3f6.dip0.t-ipconnect.de) (Quit: Leaving)
2025-04-20 02:28:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 02:32:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-20 02:33:21 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-20 02:43:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 02:47:24 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-04-20 02:48:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 02:49:40 +0200otto_s(~user@p5de2f342.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-04-20 02:50:57 +0200otto_s(~user@p4ff27d26.dip0.t-ipconnect.de)
2025-04-20 02:51:09 +0200notdabs(~Owner@2600:1700:69cf:9000:9d19:fe87:a9a8:9d05)
2025-04-20 02:51:55 +0200inca(~inca@71.30.233.213) (Ping timeout: 244 seconds)
2025-04-20 02:59:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 03:01:07 +0200hgolden(~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 +0200inca(~inca@71.30.233.213)
2025-04-20 03:04:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-20 03:05:04 +0200DragonMaus(~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-04-20 03:05:54 +0200DragonMaus(~dragonmau@user/dragonmaus) DragonMaus
2025-04-20 03:08:27 +0200inca(~inca@71.30.233.213) (Ping timeout: 244 seconds)
2025-04-20 03:10:09 +0200d34db33f(~d34db33f@user/d34db33f) (Remote host closed the connection)
2025-04-20 03:15:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 03:20:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 03:25:02 +0200haritzondo(~hrtz@user/haritz) (Ping timeout: 268 seconds)
2025-04-20 03:27:01 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-04-20 03:28:46 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-04-20 03:28:46 +0200haritz(~hrtz@user/haritz) haritz
2025-04-20 03:29:30 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-20 03:32:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 03:38:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-20 03:46:17 +0200travgm(~travgm@184-155-73-83.cpe.sparklight.net)
2025-04-20 03:46:57 +0200travgm(~travgm@184-155-73-83.cpe.sparklight.net) (Changing host)
2025-04-20 03:46:57 +0200travgm(~travgm@fsf/member/travgm) travgm
2025-04-20 03:48:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 03:51:11 +0200travgm(~travgm@fsf/member/travgm) (Quit: Leaving)
2025-04-20 03:55:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 04:05:02 +0200op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2025-04-20 04:05:33 +0200op_4(~tslil@user/op-4/x-9116473) op_4
2025-04-20 04:05:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-04-20 04:09:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 04:13:12 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-20 04:13:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-20 04:13:38 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-04-20 04:21:11 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in)
2025-04-20 04:21:23 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-04-20 04:22:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 04:22:58 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2025-04-20 04:27:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-20 04:34:20 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-04-20 04:36:11 +0200euleritian(~euleritia@dynamic-176-006-129-143.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-20 04:36:25 +0200euleritian(~euleritia@p5b00a7f4.dip0.t-ipconnect.de)
2025-04-20 04:38:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 04:43:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-20 04:49:42 +0200hammond(proscan@gateway04.insomnia247.nl) (Changing host)
2025-04-20 04:49:42 +0200hammond(proscan@user/hammond2) hammond2
2025-04-20 04:51:19 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-04-20 04:52:39 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-20 04:55:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 05:00:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-20 05:03:14 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-04-20 05:04:36 +0200notdabs(~Owner@2600:1700:69cf:9000:9d19:fe87:a9a8:9d05) (Quit: Leaving)
2025-04-20 05:06:17 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-04-20 05:06:17 +0200euleritian(~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-04-20 05:07:06 +0200euleritian(~euleritia@p5b00a7f4.dip0.t-ipconnect.de)
2025-04-20 05:08:10 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 260 seconds)
2025-04-20 05:08:15 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-04-20 05:12:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 05:13:28 +0200aaronv__(~aaronv@user/aaronv) (Quit: Leaving)
2025-04-20 05:16:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-20 05:21:13 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-04-20 05:26:47 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-04-20 05:30:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 05:33:27 +0200aforemny_(~aforemny@2001:9e8:6cc5:7e00:c2ee:f0f2:a86a:9c12) aforemny
2025-04-20 05:33:49 +0200aforemny(~aforemny@2001:9e8:6cee:1800:c0f9:494c:b1de:77a) (Ping timeout: 276 seconds)
2025-04-20 05:37:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 05:42:13 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-04-20 05:46:25 +0200dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2025-04-20 05:47:27 +0200dutchie(~dutchie@user/dutchie) dutchie
2025-04-20 05:49:35 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 05:50:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 05:54:18 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds)
2025-04-20 05:54:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 06:01:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 06:03:39 +0200rekahsoft(~rekahsoft@174.95.4.83) (Remote host closed the connection)
2025-04-20 06:04:51 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-04-20 06:05:51 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-04-20 06:06:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 06:08:54 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection)
2025-04-20 06:16:03 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-20 06:17:30 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-20 06:17:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 06:19:55 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds)
2025-04-20 06:21:17 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-04-20 06:22:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-20 06:24:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-04-20 06:27:54 +0200jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed)
2025-04-20 06:32:03 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-20 06:32:58 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-04-20 06:34:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 06:39:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-20 06:45:16 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection)
2025-04-20 06:45:51 +0200rekahsoft(~rekahsoft@174.95.4.83) rekahsoft
2025-04-20 06:46:28 +0200rekahsoft(~rekahsoft@174.95.4.83) (Remote host closed the connection)
2025-04-20 06:46:37 +0200inca(~inca@71.30.233.213)
2025-04-20 06:47:45 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-04-20 06:48:17 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection)
2025-04-20 06:50:29 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-04-20 06:52:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 06:54:34 +0200inca(~inca@71.30.233.213) (Ping timeout: 245 seconds)
2025-04-20 06:57:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-20 07:09:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 07:16:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-20 07:29:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 07:33:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-20 07:47:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 07:51:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-20 08:02:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 08:07:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-20 08:08:44 +0200cawfee(root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.0)
2025-04-20 08:09:05 +0200cawfee(root@2001:19f0:4400:79a1::babe) qjqqyy
2025-04-20 08:12:39 +0200tromp(~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66)
2025-04-20 08:20:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 08:22:33 +0200rekahsoft(~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 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-04-20 08:25:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-20 08:30:03 +0200tromp(~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-20 08:35:18 +0200cawfee(root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.1)
2025-04-20 08:35:27 +0200cawfee(root@2001:19f0:4400:79a1::babe) qjqqyy
2025-04-20 08:35:47 +0200cawfee(root@2001:19f0:4400:79a1::babe) (Client Quit)
2025-04-20 08:36:30 +0200Square3(~Square@user/square) Square
2025-04-20 08:39:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 08:42:01 +0200jle`(~jle`@2603:8001:3b00:11:2d8b:3abc:251d:2a6) (Ping timeout: 265 seconds)
2025-04-20 08:42:30 +0200jle`(~jle`@2603:8001:3b00:11:311f:eba9:dcc6:2b36) jle`
2025-04-20 08:43:12 +0200gmg(~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 +0200cawfee(root@2001:19f0:4400:79a1::babe)
2025-04-20 08:44:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-20 08:45:59 +0200tromp(~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66)
2025-04-20 08:51:24 +0200amadaluzia(~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 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-04-20 08:52:34 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 08:55:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 08:57:14 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds)
2025-04-20 09:00:00 +0200caconym(~caconym@user/caconym) (Quit: bye)
2025-04-20 09:00:59 +0200caconym(~caconym@user/caconym) caconym
2025-04-20 09:02:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-20 09:03:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 09:04:07 +0200tt12310978324354(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231
2025-04-20 09:08:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-20 09:13:46 +0200srazkvt(~sarah@user/srazkvt) srazkvt
2025-04-20 09:20:41 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-04-20 09:20:57 +0200rvalue-(~rvalue@user/rvalue) rvalue
2025-04-20 09:21:19 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2025-04-20 09:21:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 09:21:58 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 276 seconds)
2025-04-20 09:22:07 +0200Lord_of_Life_Lord_of_Life
2025-04-20 09:25:46 +0200rvalue-rvalue
2025-04-20 09:26:00 +0200merijn(~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 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-04-20 09:37:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 09:38:17 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 252 seconds)
2025-04-20 09:42:25 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-20 09:42:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-20 09:54:18 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-04-20 09:54:32 +0200merijn(~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 +0200kh0d(~kh0d@212.200.181.148) kh0d
2025-04-20 09:59:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-20 10:03:29 +0200fp(~Thunderbi@hof1.kyla.fi) fp
2025-04-20 10:04:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 10:08:46 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-04-20 10:09:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-20 10:13:25 +0200kh0d(~kh0d@212.200.181.148) (Quit: Leaving...)
2025-04-20 10:17:57 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-04-20 10:18:06 +0200courtney_lol(~im@user/courtney-lol:66091) courtney_lol
2025-04-20 10:18:12 +0200petrichor(~znc-user@user/petrichor) (Ping timeout: 268 seconds)
2025-04-20 10:19:16 +0200courtney_lol(~im@user/courtney-lol:66091) (The Lounge - https://thelounge.chat)
2025-04-20 10:20:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 10:25:30 +0200merijn(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 10:41:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 10:45:02 +0200fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds)
2025-04-20 10:49:00 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-04-20 10:50:20 +0200img(~img@user/img) img
2025-04-20 10:54:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 11:01:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-20 11:05:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 11:09:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 11:22:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 11:25:32 +0200Digitteknohippie(~user@user/digit) Digit
2025-04-20 11:26:51 +0200Digit(~user@user/digit) (Ping timeout: 272 seconds)
2025-04-20 11:27:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-20 11:34:10 +0200fp(~Thunderbi@hof1.kyla.fi) fp
2025-04-20 11:39:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 11:39:10 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-04-20 11:44:19 +0200merijn(~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 +0200sprotte24(~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 +0200merijn(~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 +0200euleritian(~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 +0200euleritian(~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de)
2025-04-20 12:03:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-20 12:06:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 12:10:02 +0200euleritian(~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-20 12:11:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-20 12:12:05 +0200euleritian(~euleritia@p5b00a7f4.dip0.t-ipconnect.de)
2025-04-20 12:21:39 +0200hidjgr(~hidjgr@68.52.120.78.rev.sfr.net)
2025-04-20 12:22:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 12:25:08 +0200fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds)
2025-04-20 12:26:17 +0200euleritian(~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-04-20 12:26:50 +0200euleritian(~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de)
2025-04-20 12:26:52 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-04-20 12:27:15 +0200merijn(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 12:40:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-20 12:44:43 +0200acidjnk_new(~acidjnk@p200300d6e71c4f4141e5f13fd358117c.dip0.t-ipconnect.de) acidjnk
2025-04-20 12:47:30 +0200inca(~inca@71.30.233.213)
2025-04-20 12:51:15 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-20 12:52:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 12:52:39 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-04-20 12:52:59 +0200inca(~inca@71.30.233.213) (Ping timeout: 268 seconds)
2025-04-20 12:57:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-20 13:01:51 +0200inca(~inca@71.30.233.213)
2025-04-20 13:03:37 +0200nacation(~m-3l4s76@user/nacation) (Ping timeout: 276 seconds)
2025-04-20 13:06:40 +0200sprotte24(~sprotte24@p200300d16f1d26001d5e77771a72051c.dip0.t-ipconnect.de) (Quit: Leaving)
2025-04-20 13:07:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 13:07:31 +0200inca(~inca@71.30.233.213) (Ping timeout: 276 seconds)
2025-04-20 13:12:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-20 13:23:44 +0200tremon(~tremon@83.80.159.219) tremon
2025-04-20 13:24:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 13:25:33 +0200acidjnk_new(~acidjnk@p200300d6e71c4f4141e5f13fd358117c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-04-20 13:28:26 +0200nacation(~m-3l4s76@user/nacation) nacation
2025-04-20 13:29:00 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2025-04-20 13:29:40 +0200DigitteknohippieDigit
2025-04-20 13:29:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-20 13:32:51 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-04-20 13:37:54 +0200euleritian(~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Ping timeout: 245 seconds)
2025-04-20 13:38:36 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2025-04-20 13:41:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 13:46:26 +0200tromp(~textual@2001:1c00:3487:1b00:a4eb:8f22:33e1:cb66) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-20 13:48:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-20 13:56:14 +0200Digitteknohippie(~user@user/digit) Digit
2025-04-20 13:57:15 +0200Digit(~user@user/digit) (Ping timeout: 260 seconds)
2025-04-20 14:00:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 14:04:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-20 14:07:49 +0200acidjnk_new(~acidjnk@p200300d6e71c4f41701d725ce218d9de.dip0.t-ipconnect.de)
2025-04-20 14:08:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 14:13:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-20 14:14:57 +0200weary-traveler(~user@user/user363627) user363627
2025-04-20 14:22:28 +0200septimi(~sepi@87-92-72-195.bb.dnainternet.fi)
2025-04-20 14:23:45 +0200inca(~inca@71.30.233.213)
2025-04-20 14:23:52 +0200sprotte24(~sprotte24@p200300d16f1d26001d5e77771a72051c.dip0.t-ipconnect.de)
2025-04-20 14:24:40 +0200sprotte24_(~sprotte24@p200300d16f1d2600548a4c6cd24df652.dip0.t-ipconnect.de)
2025-04-20 14:25:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 14:28:46 +0200inca(~inca@71.30.233.213) (Ping timeout: 276 seconds)
2025-04-20 14:29:25 +0200sprotte24(~sprotte24@p200300d16f1d26001d5e77771a72051c.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-20 14:29:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 14:33:03 +0200euleritian(~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de)
2025-04-20 14:33:04 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-04-20 14:33:35 +0200rvalue(~rvalue@user/rvalue) rvalue
2025-04-20 14:43:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 14:49:30 +0200acidjnk_new(~acidjnk@p200300d6e71c4f41701d725ce218d9de.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-04-20 14:50:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-20 14:55:01 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 14:58:58 +0200tromp(~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252)
2025-04-20 15:01:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 15:02:47 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds)
2025-04-20 15:06:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-20 15:09:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 15:14:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-20 15:24:08 +0200tromp(~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-20 15:25:53 +0200inca(~inca@71.30.233.213)
2025-04-20 15:32:04 +0200inca(~inca@71.30.233.213) (Ping timeout: 245 seconds)
2025-04-20 15:41:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 15:45:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-20 15:52:03 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 15:57:41 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 248 seconds)
2025-04-20 15:58:34 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 15:59:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 16:03:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-20 16:06:21 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 276 seconds)
2025-04-20 16:10:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 16:12:09 +0200DigitteknohippieDigit
2025-04-20 16:13:02 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-20 16:13:51 +0200fp(~Thunderbi@hof1.kyla.fi) fp
2025-04-20 16:13:52 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-04-20 16:14:27 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-04-20 16:15:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 16:16:05 +0200inca(~inca@71.30.233.213)
2025-04-20 16:20:24 +0200tromp(~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252)
2025-04-20 16:22:16 +0200inca(~inca@71.30.233.213) (Ping timeout: 244 seconds)
2025-04-20 16:22:57 +0200hidjgr(~hidjgr@68.52.120.78.rev.sfr.net) (Changing host)
2025-04-20 16:22:57 +0200hidjgr(~hidjgr@user/hidjgr) hidjgr
2025-04-20 16:26:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 16:27:20 +0200haritz(~hrtz@152.37.68.178)
2025-04-20 16:27:20 +0200haritz(~hrtz@152.37.68.178) (Changing host)
2025-04-20 16:27:20 +0200haritz(~hrtz@user/haritz) haritz
2025-04-20 16:33:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 16:41:02 +0200alethkit(23bd17ddc6@sourcehut/user/alethkit) alethkit
2025-04-20 16:43:29 +0200Me-me(~me-me@user/me-me) (Ping timeout: 248 seconds)
2025-04-20 16:44:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 16:45:37 +0200inca(~inca@71.30.233.213)
2025-04-20 16:49:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-20 16:50:50 +0200Me-me(~me-me@kc.randomserver.name)
2025-04-20 16:50:59 +0200inca(~inca@71.30.233.213) (Ping timeout: 244 seconds)
2025-04-20 16:51:38 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-20 16:52:04 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-04-20 16:59:53 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 17:00:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 17:00:53 +0200fp(~Thunderbi@hof1.kyla.fi) (Quit: fp)
2025-04-20 17:01:11 +0200fp(~Thunderbi@hof1.kyla.fi) fp
2025-04-20 17:04:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 17:10:44 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 272 seconds)
2025-04-20 17:11:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 17:12:54 +0200tromp(~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-20 17:16:30 +0200acidjnk_new(~acidjnk@p200300d6e71c4f41e9f566b821fe98d2.dip0.t-ipconnect.de)
2025-04-20 17:16:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-20 17:19:56 +0200cheater(~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com))
2025-04-20 17:25:28 +0200Googulator43(~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu)
2025-04-20 17:26:32 +0200fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds)
2025-04-20 17:28:54 +0200Googulator77(~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2025-04-20 17:28:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 17:32:41 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 17:33:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-20 17:37:33 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds)
2025-04-20 17:39:42 +0200inca(~inca@71.30.233.213)
2025-04-20 17:40:48 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection)
2025-04-20 17:44:34 +0200tromp(~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252)
2025-04-20 17:44:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 17:44:59 +0200inca(~inca@71.30.233.213) (Ping timeout: 245 seconds)
2025-04-20 17:46:50 +0200dolio(~dolio@130.44.140.168) dolio
2025-04-20 17:48:44 +0200krei-se(~krei-se@p50829a06.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-04-20 17:48:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-20 17:48:57 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-04-20 17:50:00 +0200dolio(~dolio@130.44.140.168) (Client Quit)
2025-04-20 17:50:22 +0200krei-se(~krei-se@p50829bce.dip0.t-ipconnect.de) krei-se
2025-04-20 17:53:17 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 17:58:06 +0200hidjgr(~hidjgr@user/hidjgr) (Quit: WeeChat 4.4.2)
2025-04-20 17:58:42 +0200tromp(~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-20 18:01:51 +0200tromp(~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252)
2025-04-20 18:02:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 18:03:01 +0200acidjnk_new(~acidjnk@p200300d6e71c4f41e9f566b821fe98d2.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-04-20 18:03:17 +0200dolio(~dolio@130.44.140.168) dolio
2025-04-20 18:04:42 +0200dolio(~dolio@130.44.140.168) (Client Quit)
2025-04-20 18:05:20 +0200Googulator92(~Googulato@94-21-172-228.pool.digikabel.hu)
2025-04-20 18:05:44 +0200dolio(~dolio@130.44.140.168) dolio
2025-04-20 18:05:46 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds)
2025-04-20 18:07:21 +0200krei-se-(~krei-se@p200300f1cfff35bada9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se
2025-04-20 18:08:29 +0200krei-se(~krei-se@p50829bce.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-04-20 18:08:30 +0200Googulator43(~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2025-04-20 18:10:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-20 18:12:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 18:15:23 +0200inca(~inca@71.30.233.213)
2025-04-20 18:16:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-20 18:17:08 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-04-20 18:19:49 +0200inca(~inca@71.30.233.213) (Ping timeout: 268 seconds)
2025-04-20 18:21:55 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 18:23:33 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Read error: Connection reset by peer)
2025-04-20 18:24:43 +0200dolio(~dolio@130.44.140.168) (Ping timeout: 276 seconds)
2025-04-20 18:24:44 +0200tomku(~tomku@user/tomku) (Remote host closed the connection)
2025-04-20 18:24:59 +0200tomku(~tomku@user/tomku) tomku
2025-04-20 18:26:56 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 18:27:23 +0200euleritian(~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-20 18:28:35 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2025-04-20 18:30:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 18:30:44 +0200euleritian(~euleritia@p5b00a7f4.dip0.t-ipconnect.de)
2025-04-20 18:35:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-20 18:38:23 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds)
2025-04-20 18:39:01 +0200septimi(~sepi@87-92-72-195.bb.dnainternet.fi) (Ping timeout: 276 seconds)
2025-04-20 18:46:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 18:47:19 +0200acidjnk_new(~acidjnk@p200300d6e71c4f41e9f566b821fe98d2.dip0.t-ipconnect.de) acidjnk
2025-04-20 18:47:19 +0200euleritian(~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-04-20 18:47:56 +0200euleritian(~euleritia@p5b00a7f4.dip0.t-ipconnect.de)
2025-04-20 18:50:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 18:52:49 +0200euleritian(~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-04-20 18:53:17 +0200euleritian(~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de)
2025-04-20 18:56:13 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 18:58:17 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-04-20 19:03:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 19:06:38 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds)
2025-04-20 19:08:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 19:10:40 +0200inca(~inca@71.30.233.213)
2025-04-20 19:11:03 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-04-20 19:12:01 +0200acidjnk_new(~acidjnk@p200300d6e71c4f41e9f566b821fe98d2.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-04-20 19:13:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 19:16:04 +0200inca(~inca@71.30.233.213) (Ping timeout: 276 seconds)
2025-04-20 19:17:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-20 19:26:57 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 19:27:26 +0200srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-04-20 19:27:29 +0200pera(~pera@user/pera) pera
2025-04-20 19:29:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 19:34:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 19:35:47 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 272 seconds)
2025-04-20 19:36:27 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 19:41:07 +0200sepi2(~sepi@87-92-72-195.bb.dnainternet.fi)
2025-04-20 19:44:00 +0200pera(~pera@user/pera) (Ping timeout: 272 seconds)
2025-04-20 19:45:29 +0200sepi2(~sepi@87-92-72-195.bb.dnainternet.fi) (Ping timeout: 252 seconds)
2025-04-20 19:45:31 +0200pera(~pera@user/pera) pera
2025-04-20 19:45:38 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds)
2025-04-20 19:46:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 19:53:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 20:00:05 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 20:05:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 20:06:46 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds)
2025-04-20 20:07:05 +0200notdabs(~Owner@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf)
2025-04-20 20:09:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 20:13:12 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 20:13:22 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-04-20 20:14:22 +0200euleritian(~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-20 20:14:34 +0200euleritian(~euleritia@p5b00a7f4.dip0.t-ipconnect.de)
2025-04-20 20:17:35 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds)
2025-04-20 20:21:47 +0200notdabs(~Owner@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf) (Read error: Connection reset by peer)
2025-04-20 20:25:39 +0200jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net)
2025-04-20 20:25:41 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-04-20 20:25:42 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-04-20 20:25:42 +0200chiselfuse(~chiselfus@user/chiselfuse) (Read error: Connection reset by peer)
2025-04-20 20:26:04 +0200califax(~califax@user/califx) califx
2025-04-20 20:26:23 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-04-20 20:26:26 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-04-20 20:27:05 +0200JuanDaughertyColinRobinson
2025-04-20 20:30:16 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds)
2025-04-20 20:32:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 20:34:46 +0200rvalue-(~rvalue@user/rvalue) rvalue
2025-04-20 20:35:01 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 248 seconds)
2025-04-20 20:37:47 +0200prdak(~Thunderbi@user/prdak) prdak
2025-04-20 20:37:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-20 20:38:37 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 20:41:29 +0200rvalue-rvalue
2025-04-20 20:42:04 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 245 seconds)
2025-04-20 20:42:55 +0200notdabs(~Owner@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf)
2025-04-20 20:45:35 +0200euleritian(~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-04-20 20:45:48 +0200euleritian(~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de)
2025-04-20 20:46:14 +0200prdak(~Thunderbi@user/prdak) prdak
2025-04-20 20:47:29 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-20 20:47:42 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-04-20 20:47:48 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-20 20:48:28 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 265 seconds)
2025-04-20 20:48:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 20:54:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-20 20:54:42 +0200ColinRobinson(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-04-20 20:55:50 +0200sam113101(~sam@modemcable220.199-203-24.mc.videotron.ca) (Ping timeout: 268 seconds)
2025-04-20 20:56:15 +0200sam113101(~sam@modemcable232.166-202-24.mc.videotron.ca) sam113101
2025-04-20 20:58:07 +0200sepi2(~sepi@87-92-72-195.bb.dnainternet.fi)
2025-04-20 21:00:04 +0200caconym(~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 +0200caconym(~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 +0200sepi2septimi
2025-04-20 21:03:35 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-20 21:04:15 +0200j1n37(~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 +0200merijn(~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 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-20 21:08:00 +0200j1n37(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-20 21:10:39 +0200euleritian(~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-20 21:10:51 +0200euleritian(~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 +0200j1n37(~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 +0200merijn(~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 +0200merijn(~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 +0200inca(~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 +0200inca(~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 +0200euleritian(~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 +0200takuan(~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 +0200euleritian(~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de)
2025-04-20 21:32:31 +0200merijn(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-20 21:38:11 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-20 21:38:18 +0200ljdarj1(~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 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-04-20 21:41:34 +0200ljdarj1ljdarj
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 +0200j1n37(~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 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-20 21:50:37 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-20 21:50:47 +0200merijn(~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 +0200j1n37(~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 +0200merijn(~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 +0200haritz(~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 +0200haritz(~hrtz@152.37.68.178)
2025-04-20 22:09:56 +0200haritz(~hrtz@152.37.68.178) (Changing host)
2025-04-20 22:09:56 +0200haritz(~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 +0200merijn(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-20 22:16:19 +0200merijn(~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 +0200Square3(~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 +0200merijn(~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 +0200haritz(~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 +0200haritz(~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 +0200haritz(~hrtz@152.37.68.178) (Changing host)
2025-04-20 22:27:45 +0200haritz(~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 +0200ChanServ+o monochrom
2025-04-20 22:31:39 +0200alx741(~alx741@186.33.188.229)
2025-04-20 22:31:44 +0200monochrom+b *!*@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf
2025-04-20 22:31:44 +0200notdabsmonochrom (notdabs)
2025-04-20 22:31:50 +0200monochrom-o monochrom
2025-04-20 22:31:51 +0200alx741(~alx741@186.33.188.229) (Client Quit)
2025-04-20 22:33:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 22:36:40 +0200 <monochrom> @type sequence
2025-04-20 22:36:41 +0200 <lambdabot> (Traversable t, Monad m) => t (m a) -> m (t a)
2025-04-20 22:37:02 +0200 <monochrom> Oh traverse, not fold. That's why!
2025-04-20 22:37:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 22:43:11 +0200srazkvt(~sarah@user/srazkvt) srazkvt
2025-04-20 22:45:12 +0200euleritian(~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-20 22:46:07 +0200euleritian(~euleritia@p5b00a7f4.dip0.t-ipconnect.de)
2025-04-20 22:50:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 22:51:59 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 260 seconds)
2025-04-20 22:53:18 +0200jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Ping timeout: 240 seconds)
2025-04-20 22:55:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-20 22:56:33 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-04-20 22:59:51 +0200srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-04-20 23:00:01 +0200septimi(~sepi@87-92-72-195.bb.dnainternet.fi) (Remote host closed the connection)
2025-04-20 23:00:23 +0200septimi(~sepi@87-92-72-195.bb.dnainternet.fi)
2025-04-20 23:06:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 23:07:25 +0200tromp(~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-20 23:08:37 +0200pera(~pera@user/pera) (Ping timeout: 252 seconds)
2025-04-20 23:08:41 +0200septimi(~sepi@87-92-72-195.bb.dnainternet.fi) (Quit: WeeChat 4.6.1)
2025-04-20 23:10:33 +0200pera(~pera@user/pera) pera
2025-04-20 23:12:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-20 23:12:27 +0200tromp(~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252)
2025-04-20 23:17:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 23:19:18 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-04-20 23:20:49 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 248 seconds)
2025-04-20 23:21:28 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
2025-04-20 23:22:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-20 23:23:36 +0200inca(~inca@71.30.233.213)
2025-04-20 23:28:09 +0200nefercheprure(tma@twin.jikos.cz) TMA
2025-04-20 23:29:20 +0200inca(~inca@71.30.233.213) (Ping timeout: 244 seconds)
2025-04-20 23:32:54 +0200tromp(~textual@2001:1c00:3487:1b00:357c:72be:1a77:d252) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-20 23:34:11 +0200KicksonButt(~quassel@187.21.174.221)
2025-04-20 23:34:16 +0200prdak(~Thunderbi@user/prdak) prdak
2025-04-20 23:35:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-20 23:36:44 +0200hidjgr(~hidjgr@68.52.120.78.rev.sfr.net)
2025-04-20 23:36:50 +0200hidjgr(~hidjgr@68.52.120.78.rev.sfr.net) (Changing host)
2025-04-20 23:36:50 +0200hidjgr(~hidjgr@user/hidjgr) hidjgr