2024/12/23

2024-12-23 00:02:56 +0100Everything(~Everythin@195.138.86.118) (Quit: leaving)
2024-12-23 00:02:57 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2024-12-23 00:03:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-23 00:04:18 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 246 seconds)
2024-12-23 00:04:18 +0100tnt2tnt1
2024-12-23 00:11:34 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-12-23 00:12:20 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2024-12-23 00:12:21 +0100xal(~xal@mx1.xal.systems) (Quit: bye)
2024-12-23 00:12:56 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 244 seconds)
2024-12-23 00:12:56 +0100tnt2tnt1
2024-12-23 00:13:11 +0100xal(~xal@mx1.xal.systems) xal
2024-12-23 00:13:54 +0100weary-traveler(~user@user/user363627) user363627
2024-12-23 00:14:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 00:19:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-12-23 00:24:31 +0100yaroot(~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Read error: Connection reset by peer)
2024-12-23 00:24:45 +0100yaroot(~yaroot@p3031163-ipngn4701souka.saitama.ocn.ne.jp) yaroot
2024-12-23 00:25:18 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-12-23 00:30:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 00:32:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-12-23 00:35:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-23 00:36:33 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2024-12-23 00:45:55 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 00:50:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-12-23 00:50:49 +0100zenmov(~zenmov@user/zenmov) zenmov
2024-12-23 01:01:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 01:06:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-23 01:17:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 01:18:31 +0100xff0x(~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp)
2024-12-23 01:18:33 +0100sprotte24(~sprotte24@p200300d16f236f0034c2c833107a461e.dip0.t-ipconnect.de) (Quit: Leaving)
2024-12-23 01:22:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-23 01:32:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 01:37:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-23 01:37:46 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-12-23 01:40:03 +0100weary-traveler(~user@user/user363627) user363627
2024-12-23 01:48:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 01:52:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-23 02:04:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 02:09:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-23 02:15:15 +0100acidjnk_new(~acidjnk@p200300d6e7283f49b5be3bacf47f1ed3.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-12-23 02:20:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 02:23:06 +0100 <haskellbridge> <thirdofmay18081814goya> hm
2024-12-23 02:23:15 +0100 <haskellbridge> <thirdofmay18081814goya> seems the above model is incorrect but I'm not sure
2024-12-23 02:23:34 +0100 <haskellbridge> <thirdofmay18081814goya> does anyone know if FRP GUIs delegate rendering to individual components instead of having a centralized rendering function?
2024-12-23 02:25:36 +0100 <geekosaur> depends on the specific FRP implementation, I'm pretty sure. each of them has its own model and most of them vary widely if not wildly from each other
2024-12-23 02:25:48 +0100 <geekosaur> "FRP" is not even close to being a monolith
2024-12-23 02:26:08 +0100 <haskellbridge> <thirdofmay18081814goya> hm I should check out project implemented in the different libraries, ty good idea
2024-12-23 02:26:16 +0100 <haskellbridge> <thirdofmay18081814goya> * projects
2024-12-23 02:27:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-23 02:33:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 02:39:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-23 02:40:44 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-12-23 02:48:40 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 244 seconds)
2024-12-23 02:50:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 02:54:44 +0100xff0x(~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 265 seconds)
2024-12-23 02:55:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-23 03:01:20 +0100rachelambda8(~rachelamb@cust-95-80-25-71.csbnet.se) (Ping timeout: 260 seconds)
2024-12-23 03:05:04 +0100 <EvanR> I have this cool non-answer to your question about FRP components from way back in the day https://apfelmus.nfshost.com/blog/2012/03/29-frp-three-principles-bidirectional-gui.html#the-three…
2024-12-23 03:05:14 +0100 <EvanR> thirdofmay18081814goya ^
2024-12-23 03:05:28 +0100 <EvanR> less about low level rendering and more high level responsibilities
2024-12-23 03:05:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 03:09:02 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds)
2024-12-23 03:09:28 +0100 <haskellbridge> <thirdofmay18081814goya> neato! thanks for the article
2024-12-23 03:10:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-23 03:19:54 +0100user363627(~user@user/user363627) user363627
2024-12-23 03:20:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 03:23:44 +0100weary-traveler(~user@user/user363627) (Ping timeout: 245 seconds)
2024-12-23 03:24:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-23 03:35:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 03:35:56 +0100Jeanne-Kamikaze(~Jeanne-Ka@79.127.217.36) Jeanne-Kamikaze
2024-12-23 03:41:22 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-12-23 03:42:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-23 03:48:19 +0100zenmov(~zenmov@user/zenmov) (Quit: Lost terminal)
2024-12-23 03:52:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 03:58:19 +0100sympt(~sympt@user/sympt) (Ping timeout: 245 seconds)
2024-12-23 04:00:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-23 04:04:20 +0100ystael(~ystael@user/ystael) (Ping timeout: 260 seconds)
2024-12-23 04:04:57 +0100ystael(~ystael@user/ystael) ystael
2024-12-23 04:11:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 04:18:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-23 04:27:12 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2024-12-23 04:27:39 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2024-12-23 04:29:30 +0100Jeanne-Kamikaze(~Jeanne-Ka@79.127.217.36) (Quit: Leaving)
2024-12-23 04:29:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 04:36:45 +0100cptaffe`(~cptaffe@user/cptaffe) cptaffe
2024-12-23 04:37:10 +0100cptaffe(~cptaffe@user/cptaffe) (Ping timeout: 244 seconds)
2024-12-23 04:38:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-23 04:42:17 +0100cptaffe`cptaffe
2024-12-23 04:42:38 +0100td_(~td@i5387092A.versanet.de) (Ping timeout: 244 seconds)
2024-12-23 04:44:24 +0100td_(~td@i53870924.versanet.de) td_
2024-12-23 04:49:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 04:50:07 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-12-23 04:53:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-23 05:04:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 05:05:59 +0100cptaffe`(~cptaffe@user/cptaffe) cptaffe
2024-12-23 05:06:25 +0100cptaffe(~cptaffe@user/cptaffe) (Ping timeout: 252 seconds)
2024-12-23 05:09:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-12-23 05:10:54 +0100hsw_(~hsw@2001:b030:2303:104:172:25:12:132) hsw
2024-12-23 05:10:54 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer)
2024-12-23 05:10:59 +0100hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Read error: Connection reset by peer)
2024-12-23 05:11:06 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2024-12-23 05:11:31 +0100cptaffe`cptaffe
2024-12-23 05:12:31 +0100DragonMaus(~dragonmau@user/dragonmaus) (Quit: No Ping reply in 180 seconds.)
2024-12-23 05:13:35 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft
2024-12-23 05:13:59 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection)
2024-12-23 05:14:16 +0100_xor3(~xor@ip-66-42-132-175.dynamic.fuse.net) _xor
2024-12-23 05:14:21 +0100DragonMaus(~dragonmau@user/dragonmaus) DragonMaus
2024-12-23 05:14:24 +0100_xor(~xor@ip-66-42-132-175.dynamic.fuse.net) (Quit: Ping timeout (120 seconds))
2024-12-23 05:14:24 +0100_xor3_xor
2024-12-23 05:20:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 05:24:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-23 05:25:10 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-12-23 05:25:48 +0100rvalue(~rvalue@user/rvalue) rvalue
2024-12-23 05:26:59 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 265 seconds)
2024-12-23 05:27:12 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2024-12-23 05:35:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 05:36:03 +0100weary-traveler(~user@user/user363627) user363627
2024-12-23 05:37:41 +0100weary-traveler(~user@user/user363627) (Client Quit)
2024-12-23 05:37:58 +0100user363628(~user@user/user363627) user363627
2024-12-23 05:39:28 +0100user363627(~user@user/user363627) (Ping timeout: 244 seconds)
2024-12-23 05:39:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-23 05:52:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 05:56:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-23 05:57:37 +0100sonolin(~michael@user/sonolin) (Quit: WeeChat 4.4.4)
2024-12-23 06:04:09 +0100Square2(~Square4@user/square) (Remote host closed the connection)
2024-12-23 06:04:54 +0100Guest64(~Guest64@2600:1014:b0a1:97bd:e859:e7ea:4803:dd73)
2024-12-23 06:07:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 06:11:05 +0100danza(~danza@user/danza) danza
2024-12-23 06:14:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-23 06:25:37 +0100Guest64(~Guest64@2600:1014:b0a1:97bd:e859:e7ea:4803:dd73) (Quit: Client closed)
2024-12-23 06:29:35 +0100orangeflu(~flu@240-100-179-143.ftth.glasoperator.nl) (Quit: Lost terminal)
2024-12-23 06:30:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 06:35:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-23 06:36:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 06:41:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-23 06:53:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 06:56:14 +0100hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 4.2.2)
2024-12-23 06:56:33 +0100hughjfchen(~hughjfche@vmi556545.contaboserver.net) hughjfchen
2024-12-23 06:57:01 +0100danza(~danza@user/danza) (Quit: overflow)
2024-12-23 06:58:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-23 07:06:59 +0100hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 4.2.2)
2024-12-23 07:08:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 07:10:01 +0100hughjfchen(~hughjfche@vmi556545.contaboserver.net) hughjfchen
2024-12-23 07:13:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-23 07:17:44 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2024-12-23 07:24:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 07:28:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-23 07:37:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 07:39:49 +0100youthlic(~Thunderbi@user/youthlic) youthlic
2024-12-23 07:41:24 +0100xff0x(~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp)
2024-12-23 07:41:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-23 07:46:15 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-12-23 07:46:23 +0100mari23720(~mari-este@user/mari-estel) mari-estel
2024-12-23 07:47:02 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2024-12-23 07:48:03 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 246 seconds)
2024-12-23 07:48:06 +0100tnt2tnt1
2024-12-23 07:48:36 +0100mari-estel(~mari-este@user/mari-estel) (Ping timeout: 252 seconds)
2024-12-23 07:52:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 07:57:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-23 08:01:38 +0100mari23720(~mari-este@user/mari-estel) (Ping timeout: 272 seconds)
2024-12-23 08:04:54 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-12-23 08:08:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 08:13:43 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-23 08:15:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-23 08:17:14 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2024-12-23 08:18:48 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2024-12-23 08:19:46 +0100user363628(~user@user/user363627) (Remote host closed the connection)
2024-12-23 08:24:57 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-12-23 08:26:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 08:26:20 +0100CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-12-23 08:29:00 +0100CrunchyFlakes(~CrunchyFl@31.19.233.78)
2024-12-23 08:29:27 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2024-12-23 08:30:20 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 260 seconds)
2024-12-23 08:30:20 +0100tnt2tnt1
2024-12-23 08:30:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-12-23 08:34:41 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 248 seconds)
2024-12-23 08:34:47 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2024-12-23 08:37:04 +0100tnt2tnt1
2024-12-23 08:38:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 08:38:58 +0100mari95597(~mari-este@user/mari-estel) mari-estel
2024-12-23 08:40:54 +0100mari-estel(~mari-este@user/mari-estel) (Ping timeout: 246 seconds)
2024-12-23 08:43:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-23 08:46:36 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2024-12-23 08:49:01 +0100mari95597(~mari-este@user/mari-estel) (Ping timeout: 265 seconds)
2024-12-23 08:50:15 +0100mari54408(~mari-este@user/mari-estel) mari-estel
2024-12-23 08:51:20 +0100flupe25(~flupe@2a01:e0a:e2:2f10:3319:e177:2674:ea8f)
2024-12-23 08:52:20 +0100flupe25(~flupe@2a01:e0a:e2:2f10:3319:e177:2674:ea8f) (Client Quit)
2024-12-23 08:53:05 +0100mari-estel(~mari-este@user/mari-estel) (Ping timeout: 260 seconds)
2024-12-23 08:53:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 08:58:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-23 08:59:50 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-23 09:00:01 +0100caconym(~caconym@user/caconym) (Quit: bye)
2024-12-23 09:00:38 +0100caconym(~caconym@user/caconym) caconym
2024-12-23 09:02:59 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2024-12-23 09:04:38 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-12-23 09:05:27 +0100mari54408(~mari-este@user/mari-estel) (Ping timeout: 265 seconds)
2024-12-23 09:05:39 +0100mari73685(~mari-este@user/mari-estel) mari-estel
2024-12-23 09:07:47 +0100mari73685(~mari-este@user/mari-estel) (Client Quit)
2024-12-23 09:08:33 +0100bheesham(3aa22d8375@2a03:6000:1812:100::e40) bheesham
2024-12-23 09:08:39 +0100mari-estel(~mari-este@user/mari-estel) (Ping timeout: 260 seconds)
2024-12-23 09:09:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 09:13:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-23 09:24:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 09:29:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-23 09:38:45 +0100youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-12-23 09:39:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 09:43:04 +0100hc(~hc@mail.hce.li) (Remote host closed the connection)
2024-12-23 09:46:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-23 09:54:48 +0100acidjnk_new(~acidjnk@p200300d6e7283f25e9e9d221c37061e3.dip0.t-ipconnect.de) acidjnk
2024-12-23 09:57:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 09:59:09 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2024-12-23 09:59:31 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
2024-12-23 10:00:29 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2024-12-23 10:00:29 +0100tnt2tnt1
2024-12-23 10:02:09 +0100Guest33(~Guest33@2001:1600:13:101::60e)
2024-12-23 10:02:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-12-23 10:02:42 +0100 <Guest33> Hi, is there a way to produce a native cont monad with just function arrows?
2024-12-23 10:02:57 +0100 <Guest33> Assume you can type it properly:
2024-12-23 10:03:39 +0100 <Guest33> type Cont r a = (a -> r) -> r
2024-12-23 10:04:01 +0100 <Guest33> instance Functor (Cont r)
2024-12-23 10:10:51 +0100 <Guest33> Or for that matter, type State s a...
2024-12-23 10:12:27 +0100 <Guest33> And honestly it'd result in overlapping instances, so...
2024-12-23 10:12:40 +0100 <int-e> you can't even match that instance head
2024-12-23 10:12:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 10:13:25 +0100 <Guest33> I know, that's what I'm asking about
2024-12-23 10:13:37 +0100 <int-e> This would amount to a type-level lambda which we don't have.
2024-12-23 10:15:25 +0100 <Guest33> So there's no way to create an instance for (a -> r) -> r and s -> (s,a), right?
2024-12-23 10:16:29 +0100 <int-e> right. Well, I suppose you can try instance r ~ s => Foo ((a -> r) -> s)
2024-12-23 10:16:53 +0100 <Guest33> Without newtypes of course, but that's just ContT identity and StateT identity
2024-12-23 10:16:54 +0100 <int-e> But that's not what you'd want for Functor.
2024-12-23 10:17:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-23 10:17:50 +0100 <int-e> Anyway, use a newtype and that solves this problem. You can think of naming that newtype in your code as hinting to the compiler to introduce the right type-level lambda if you like.
2024-12-23 10:18:30 +0100 <Guest33> I mean if you go to newtype, just get Control.Monad.Trans and call it a day
2024-12-23 10:18:38 +0100 <int-e> Sure.
2024-12-23 10:18:55 +0100 <Guest33> The curiosity is more about naked reader having an instance in base
2024-12-23 10:19:37 +0100 <Guest33> Naked cont and naked state apparently can't have an instance, and it's probably a good thing due to overlapping instances
2024-12-23 10:23:38 +0100Guest33(~Guest33@2001:1600:13:101::60e) (Quit: Client closed)
2024-12-23 10:24:40 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-12-23 10:28:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 10:32:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-23 10:34:54 +0100xff0x(~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 272 seconds)
2024-12-23 10:35:28 +0100manwithluck(~manwithlu@194.177.28.164) manwithluck
2024-12-23 10:36:38 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2024-12-23 10:38:19 +0100__monty__(~toonn@user/toonn) toonn
2024-12-23 10:38:50 +0100Guest33(~Guest33@2001:1600:13:101::60e)
2024-12-23 10:40:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 10:40:33 +0100Guest33(~Guest33@2001:1600:13:101::60e) (Client Quit)
2024-12-23 10:45:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-23 10:55:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 10:56:26 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-12-23 11:00:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-23 11:08:04 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net)
2024-12-23 11:10:50 +0100mange(~user@user/mange) mange
2024-12-23 11:11:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 11:11:10 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-12-23 11:15:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-23 11:20:45 +0100ash3en(~Thunderbi@185.224.57.162) ash3en
2024-12-23 11:25:12 +0100ash3en(~Thunderbi@185.224.57.162) (Ping timeout: 252 seconds)
2024-12-23 11:26:07 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-12-23 11:26:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 11:27:24 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-12-23 11:27:42 +0100gentauro(~gentauro@user/gentauro) (Ping timeout: 244 seconds)
2024-12-23 11:32:13 +0100gentauro(~gentauro@user/gentauro) gentauro
2024-12-23 11:45:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-23 11:46:31 +0100Guest78(~Guest78@2a02:8084:1:6500::db) (Quit: Client closed)
2024-12-23 11:46:45 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds)
2024-12-23 11:50:17 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-12-23 11:56:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 11:57:56 +0100sawilagar_(~sawilagar@user/sawilagar) sawilagar
2024-12-23 11:59:45 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds)
2024-12-23 12:01:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-23 12:01:37 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 252 seconds)
2024-12-23 12:02:11 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-12-23 12:03:34 +0100__monty__(~toonn@user/toonn) (Ping timeout: 244 seconds)
2024-12-23 12:03:42 +0100Guest78(~Guest78@2a02:8084:1:6500::db)
2024-12-23 12:09:19 +0100sawilagar_(~sawilagar@user/sawilagar) (Remote host closed the connection)
2024-12-23 12:09:27 +0100pseudonymous__(~sawilagar@user/sawilagar) sawilagar
2024-12-23 12:11:12 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2024-12-23 12:11:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 12:16:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-23 12:17:21 +0100ft(~ft@p508db070.dip0.t-ipconnect.de) (Quit: leaving)
2024-12-23 12:20:37 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 244 seconds)
2024-12-23 12:20:53 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-12-23 12:22:06 +0100xff0x(~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp)
2024-12-23 12:22:33 +0100__monty__(~toonn@user/toonn) toonn
2024-12-23 12:26:32 +0100smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-12-23 12:27:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 12:32:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-23 12:35:09 +0100rvalue-(~rvalue@user/rvalue) rvalue
2024-12-23 12:35:49 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 248 seconds)
2024-12-23 12:41:22 +0100rvalue-rvalue
2024-12-23 12:42:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 12:46:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-23 12:57:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 13:02:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-23 13:06:34 +0100sand-witch(~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection)
2024-12-23 13:07:53 +0100sand-witch(~m-mzmz6l@vmi833741.contaboserver.net)
2024-12-23 13:10:17 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2024-12-23 13:11:40 +0100billchenchina(~billchenc@2408:824e:d26:18f1:98a0:1e45:78d8:dfaa) billchenchina
2024-12-23 13:13:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 13:13:21 +0100billchenchina-(~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) billchenchina
2024-12-23 13:15:17 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2024-12-23 13:16:45 +0100billchenchina(~billchenc@2408:824e:d26:18f1:98a0:1e45:78d8:dfaa) (Ping timeout: 276 seconds)
2024-12-23 13:17:01 +0100Guest33(~Guest33@2001:1600:13:101::60e)
2024-12-23 13:18:15 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2024-12-23 13:19:19 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 264 seconds)
2024-12-23 13:19:20 +0100tnt2tnt1
2024-12-23 13:19:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-12-23 13:21:22 +0100jero98772(~jero98772@2a00:1fa0:48a8:106e:59c5:719e:9cd2:863)
2024-12-23 13:24:01 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 272 seconds)
2024-12-23 13:24:12 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2024-12-23 13:26:10 +0100Guest33(~Guest33@2001:1600:13:101::60e) (Ping timeout: 240 seconds)
2024-12-23 13:30:22 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2024-12-23 13:31:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 13:31:36 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 272 seconds)
2024-12-23 13:31:37 +0100tnt2tnt1
2024-12-23 13:32:20 +0100hc(~hc@mail.hce.li) hc
2024-12-23 13:35:05 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2024-12-23 13:35:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-23 13:35:49 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 245 seconds)
2024-12-23 13:41:36 +0100forell(~forell@user/forell) (Ping timeout: 252 seconds)
2024-12-23 13:43:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 13:44:49 +0100troydm(~troydm@user/troydm) (Ping timeout: 265 seconds)
2024-12-23 13:49:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-23 13:52:05 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2024-12-23 13:53:24 +0100tnt2(~Thunderbi@user/tnt1) (Ping timeout: 244 seconds)
2024-12-23 13:58:49 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2024-12-23 13:59:22 +0100madhavanmiui(~madhavanm@2409:40f4:102a:b29d:8000::)
2024-12-23 14:00:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 14:05:16 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2024-12-23 14:05:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-23 14:06:37 +0100Digitteknohippie(~user@user/digit) Digit
2024-12-23 14:07:32 +0100Digit(~user@user/digit) (Ping timeout: 265 seconds)
2024-12-23 14:12:14 +0100madhavanmiui(~madhavanm@2409:40f4:102a:b29d:8000::) (Quit: Quit)
2024-12-23 14:14:25 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-12-23 14:14:43 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-12-23 14:16:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 14:20:26 +0100jero98772(~jero98772@2a00:1fa0:48a8:106e:59c5:719e:9cd2:863) (Read error: Connection reset by peer)
2024-12-23 14:22:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-23 14:24:41 +0100rvalue-(~rvalue@user/rvalue) rvalue
2024-12-23 14:25:13 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2024-12-23 14:25:43 +0100ensyde(~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde
2024-12-23 14:32:45 +0100rvalue-rvalue
2024-12-23 14:33:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 14:33:51 +0100forell(~forell@user/forell) forell
2024-12-23 14:38:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-12-23 14:38:27 +0100manny_(~manny@45.134.142.209)
2024-12-23 14:39:15 +0100jero98772(~jero98772@31.130.32.65)
2024-12-23 14:41:21 +0100mange(~user@user/mange) (Quit: Zzz...)
2024-12-23 14:42:25 +0100systemhalted(~systemhal@130.51.137.77) systemhalted
2024-12-23 14:42:26 +0100systemhalted(~systemhal@130.51.137.77) (Read error: Connection reset by peer)
2024-12-23 14:43:37 +0100hseg(~gesh@46.120.21.36)
2024-12-23 14:44:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 14:49:08 +0100manny_(~manny@45.134.142.209) (Quit: Quit)
2024-12-23 14:51:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-12-23 14:52:40 +0100manny_(~quassel@45.134.142.209)
2024-12-23 14:55:00 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-12-23 14:55:15 +0100manny_(~quassel@45.134.142.209) (Client Quit)
2024-12-23 14:55:39 +0100manny_(~quassel@45.134.142.209)
2024-12-23 14:57:46 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2024-12-23 15:02:10 +0100 <haskellbridge> <magic_rb> I need suggestions, i want to eventually make a small prototype of a terraform like tool. Not sure what actual adjective id use, but the gist is that the tool would get the current state, in this case filesystem layout, get the desired state from a config file, compare the two, produce a plan, execute said plan
2024-12-23 15:02:56 +0100 <haskellbridge> <magic_rb> The compare sounds like a good use case for gdiff. Then if i can make sense of the patch data type, i could form a plan by that
2024-12-23 15:03:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-23 15:06:35 +0100 <haskellbridge> <magic_rb> So for those familiar with tmpfilesd, something like that, a bit less stupid and 100% less C
2024-12-23 15:07:06 +0100 <JuanDaugherty> and ur gonna use haskell, right?
2024-12-23 15:07:12 +0100 <haskellbridge> <magic_rb> Ofc
2024-12-23 15:07:16 +0100manny_(~quassel@45.134.142.209) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-12-23 15:07:26 +0100 <haskellbridge> <magic_rb> Isnt this the haskell irc room (:
2024-12-23 15:07:46 +0100 <JuanDaugherty> absolutely, just checking
2024-12-23 15:08:55 +0100 <JuanDaugherty> i dunno from terraform so cant say; often in such cases a related name is used
2024-12-23 15:09:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-23 15:10:31 +0100 <haskellbridge> <magic_rb> Id call it a "given a current state of a system and a desired out, hammer it into shape"
2024-12-23 15:10:33 +0100 <haskellbridge> <magic_rb> System
2024-12-23 15:11:03 +0100 <JuanDaugherty> maxwell them maybe (silverhammer)
2024-12-23 15:11:08 +0100 <JuanDaugherty> *then
2024-12-23 15:11:20 +0100 <JuanDaugherty> as a monicker not an adjective
2024-12-23 15:11:32 +0100son0p(~ff@186.121.98.118) son0p
2024-12-23 15:12:04 +0100 <JuanDaugherty> or just silverhammer, but u might wanna rethink hammering on ppls fs
2024-12-23 15:12:28 +0100manny_(~manny@45.134.142.209)
2024-12-23 15:13:06 +0100 <JuanDaugherty> a plethora of tolls exist for most fs tasks