| 2024-12-23 00:02:56 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: leaving) |
| 2024-12-23 00:02:57 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 00:03:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 00:04:18 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2024-12-23 00:04:18 +0100 | tnt2 | tnt1 |
| 2024-12-23 00:11:34 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-12-23 00:12:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 00:12:21 +0100 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2024-12-23 00:12:56 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2024-12-23 00:12:56 +0100 | tnt2 | tnt1 |
| 2024-12-23 00:13:11 +0100 | xal | (~xal@mx1.xal.systems) xal |
| 2024-12-23 00:13:54 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-23 00:14:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 00:19:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-23 00:24:31 +0100 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Read error: Connection reset by peer) |
| 2024-12-23 00:24:45 +0100 | yaroot | (~yaroot@p3031163-ipngn4701souka.saitama.ocn.ne.jp) yaroot |
| 2024-12-23 00:25:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-23 00:30:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 00:32:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-23 00:35:06 +0100 | merijn | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 00:50:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-23 00:50:49 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-12-23 01:01:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 01:06:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 01:17:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 01:18:31 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) |
| 2024-12-23 01:18:33 +0100 | sprotte24 | (~sprotte24@p200300d16f236f0034c2c833107a461e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-12-23 01:22:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 01:32:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 01:37:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-23 01:37:46 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-23 01:40:03 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-23 01:48:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 01:52:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 02:04:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 02:09:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 02:15:15 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f49b5be3bacf47f1ed3.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-12-23 02:20:06 +0100 | merijn | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 02:33:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 02:39:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 02:40:44 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-12-23 02:48:40 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
| 2024-12-23 02:50:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 02:54:44 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 265 seconds) |
| 2024-12-23 02:55:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 03:01:20 +0100 | rachelambda8 | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 03:09:02 +0100 | ljdarj | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 03:19:54 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2024-12-23 03:20:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 03:23:44 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 245 seconds) |
| 2024-12-23 03:24:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 03:35:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 03:35:56 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.36) Jeanne-Kamikaze |
| 2024-12-23 03:41:22 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-12-23 03:42:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-23 03:48:19 +0100 | zenmov | (~zenmov@user/zenmov) (Quit: Lost terminal) |
| 2024-12-23 03:52:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 03:58:19 +0100 | sympt | (~sympt@user/sympt) (Ping timeout: 245 seconds) |
| 2024-12-23 04:00:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 04:04:20 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2024-12-23 04:04:57 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2024-12-23 04:11:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 04:18:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 04:27:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2024-12-23 04:27:39 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-23 04:29:30 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.36) (Quit: Leaving) |
| 2024-12-23 04:29:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 04:36:45 +0100 | cptaffe` | (~cptaffe@user/cptaffe) cptaffe |
| 2024-12-23 04:37:10 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 244 seconds) |
| 2024-12-23 04:38:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 04:42:17 +0100 | cptaffe` | cptaffe |
| 2024-12-23 04:42:38 +0100 | td_ | (~td@i5387092A.versanet.de) (Ping timeout: 244 seconds) |
| 2024-12-23 04:44:24 +0100 | td_ | (~td@i53870924.versanet.de) td_ |
| 2024-12-23 04:49:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 04:50:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-23 04:53:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 05:04:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 05:05:59 +0100 | cptaffe` | (~cptaffe@user/cptaffe) cptaffe |
| 2024-12-23 05:06:25 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 252 seconds) |
| 2024-12-23 05:09:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-23 05:10:54 +0100 | hsw_ | (~hsw@2001:b030:2303:104:172:25:12:132) hsw |
| 2024-12-23 05:10:54 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2024-12-23 05:10:59 +0100 | hsw | (~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 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-12-23 05:11:31 +0100 | cptaffe` | cptaffe |
| 2024-12-23 05:12:31 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) (Quit: No Ping reply in 180 seconds.) |
| 2024-12-23 05:13:35 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-23 05:13:59 +0100 | rekahsoft | (~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 +0100 | DragonMaus | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 05:24:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-23 05:25:10 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-12-23 05:25:48 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-23 05:26:59 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2024-12-23 05:27:12 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 05:35:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 05:36:03 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-23 05:37:41 +0100 | weary-traveler | (~user@user/user363627) (Client Quit) |
| 2024-12-23 05:37:58 +0100 | user363628 | (~user@user/user363627) user363627 |
| 2024-12-23 05:39:28 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 244 seconds) |
| 2024-12-23 05:39:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-23 05:52:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 05:56:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 05:57:37 +0100 | sonolin | (~michael@user/sonolin) (Quit: WeeChat 4.4.4) |
| 2024-12-23 06:04:09 +0100 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
| 2024-12-23 06:04:54 +0100 | Guest64 | (~Guest64@2600:1014:b0a1:97bd:e859:e7ea:4803:dd73) |
| 2024-12-23 06:07:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 06:11:05 +0100 | danza | (~danza@user/danza) danza |
| 2024-12-23 06:14:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-23 06:25:37 +0100 | Guest64 | (~Guest64@2600:1014:b0a1:97bd:e859:e7ea:4803:dd73) (Quit: Client closed) |
| 2024-12-23 06:29:35 +0100 | orangeflu | (~flu@240-100-179-143.ftth.glasoperator.nl) (Quit: Lost terminal) |
| 2024-12-23 06:30:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 06:35:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-23 06:36:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 06:41:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-23 06:53:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 06:56:14 +0100 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 4.2.2) |
| 2024-12-23 06:56:33 +0100 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) hughjfchen |
| 2024-12-23 06:57:01 +0100 | danza | (~danza@user/danza) (Quit: overflow) |
| 2024-12-23 06:58:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 07:06:59 +0100 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 4.2.2) |
| 2024-12-23 07:08:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 07:10:01 +0100 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) hughjfchen |
| 2024-12-23 07:13:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 07:17:44 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 07:24:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 07:28:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 07:37:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 07:39:49 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-12-23 07:41:24 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) |
| 2024-12-23 07:41:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 07:46:15 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-12-23 07:46:23 +0100 | mari23720 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 07:47:02 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 07:48:03 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2024-12-23 07:48:06 +0100 | tnt2 | tnt1 |
| 2024-12-23 07:48:36 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2024-12-23 07:52:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 07:57:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-23 08:01:38 +0100 | mari23720 | (~mari-este@user/mari-estel) (Ping timeout: 272 seconds) |
| 2024-12-23 08:04:54 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-12-23 08:08:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 08:13:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-23 08:15:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 08:17:14 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 08:18:48 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-12-23 08:19:46 +0100 | user363628 | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-23 08:24:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-23 08:26:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 08:26:20 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-23 08:29:00 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-12-23 08:29:27 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 08:30:20 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2024-12-23 08:30:20 +0100 | tnt2 | tnt1 |
| 2024-12-23 08:30:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-23 08:34:41 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2024-12-23 08:34:47 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 08:37:04 +0100 | tnt2 | tnt1 |
| 2024-12-23 08:38:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 08:38:58 +0100 | mari95597 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 08:40:54 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 246 seconds) |
| 2024-12-23 08:43:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-23 08:46:36 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 08:49:01 +0100 | mari95597 | (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 2024-12-23 08:50:15 +0100 | mari54408 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 08:51:20 +0100 | flupe25 | (~flupe@2a01:e0a:e2:2f10:3319:e177:2674:ea8f) |
| 2024-12-23 08:52:20 +0100 | flupe25 | (~flupe@2a01:e0a:e2:2f10:3319:e177:2674:ea8f) (Client Quit) |
| 2024-12-23 08:53:05 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2024-12-23 08:53:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 08:58:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 08:59:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-23 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-23 09:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-23 09:02:59 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 09:04:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-12-23 09:05:27 +0100 | mari54408 | (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 2024-12-23 09:05:39 +0100 | mari73685 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 09:07:47 +0100 | mari73685 | (~mari-este@user/mari-estel) (Client Quit) |
| 2024-12-23 09:08:33 +0100 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) bheesham |
| 2024-12-23 09:08:39 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2024-12-23 09:09:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 09:13:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 09:24:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 09:29:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-23 09:38:45 +0100 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-12-23 09:39:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 09:43:04 +0100 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2024-12-23 09:46:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 09:54:48 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f25e9e9d221c37061e3.dip0.t-ipconnect.de) acidjnk |
| 2024-12-23 09:57:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 09:59:09 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 09:59:31 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-23 10:00:29 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2024-12-23 10:00:29 +0100 | tnt2 | tnt1 |
| 2024-12-23 10:02:09 +0100 | Guest33 | (~Guest33@2001:1600:13:101::60e) |
| 2024-12-23 10:02:36 +0100 | merijn | (~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 +0100 | merijn | (~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 +0100 | merijn | (~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 +0100 | Guest33 | (~Guest33@2001:1600:13:101::60e) (Quit: Client closed) |
| 2024-12-23 10:24:40 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-12-23 10:28:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 10:32:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 10:34:54 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 272 seconds) |
| 2024-12-23 10:35:28 +0100 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2024-12-23 10:36:38 +0100 | lortabac | (~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 +0100 | Guest33 | (~Guest33@2001:1600:13:101::60e) |
| 2024-12-23 10:40:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 10:40:33 +0100 | Guest33 | (~Guest33@2001:1600:13:101::60e) (Client Quit) |
| 2024-12-23 10:45:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-23 10:55:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 10:56:26 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-12-23 11:00:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 11:08:04 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-23 11:10:50 +0100 | mange | (~user@user/mange) mange |
| 2024-12-23 11:11:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 11:11:10 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-12-23 11:15:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 11:20:45 +0100 | ash3en | (~Thunderbi@185.224.57.162) ash3en |
| 2024-12-23 11:25:12 +0100 | ash3en | (~Thunderbi@185.224.57.162) (Ping timeout: 252 seconds) |
| 2024-12-23 11:26:07 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-23 11:26:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 11:27:24 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-23 11:27:42 +0100 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 244 seconds) |
| 2024-12-23 11:32:13 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-12-23 11:45:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-23 11:46:31 +0100 | Guest78 | (~Guest78@2a02:8084:1:6500::db) (Quit: Client closed) |
| 2024-12-23 11:46:45 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 2024-12-23 11:50:17 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-23 11:56:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 11:57:56 +0100 | sawilagar_ | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-23 11:59:45 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 2024-12-23 12:01:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-23 12:01:37 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2024-12-23 12:02:11 +0100 | lortabac | (~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 +0100 | Guest78 | (~Guest78@2a02:8084:1:6500::db) |
| 2024-12-23 12:09:19 +0100 | sawilagar_ | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-12-23 12:09:27 +0100 | pseudonymous__ | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-23 12:11:12 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-12-23 12:11:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 12:16:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-23 12:17:21 +0100 | ft | (~ft@p508db070.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-12-23 12:20:37 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 244 seconds) |
| 2024-12-23 12:20:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-23 12:22:06 +0100 | xff0x | (~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 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-23 12:27:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 12:32:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 12:35:09 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-12-23 12:35:49 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2024-12-23 12:41:22 +0100 | rvalue- | rvalue |
| 2024-12-23 12:42:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 12:46:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 12:57:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 13:02:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 13:06:34 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
| 2024-12-23 13:07:53 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2024-12-23 13:10:17 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-12-23 13:11:40 +0100 | billchenchina | (~billchenc@2408:824e:d26:18f1:98a0:1e45:78d8:dfaa) billchenchina |
| 2024-12-23 13:13:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 13:13:21 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) billchenchina |
| 2024-12-23 13:15:17 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-12-23 13:16:45 +0100 | billchenchina | (~billchenc@2408:824e:d26:18f1:98a0:1e45:78d8:dfaa) (Ping timeout: 276 seconds) |
| 2024-12-23 13:17:01 +0100 | Guest33 | (~Guest33@2001:1600:13:101::60e) |
| 2024-12-23 13:18:15 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 13:19:19 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 264 seconds) |
| 2024-12-23 13:19:20 +0100 | tnt2 | tnt1 |
| 2024-12-23 13:19:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-23 13:21:22 +0100 | jero98772 | (~jero98772@2a00:1fa0:48a8:106e:59c5:719e:9cd2:863) |
| 2024-12-23 13:24:01 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2024-12-23 13:24:12 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 13:26:10 +0100 | Guest33 | (~Guest33@2001:1600:13:101::60e) (Ping timeout: 240 seconds) |
| 2024-12-23 13:30:22 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 13:31:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 13:31:36 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2024-12-23 13:31:37 +0100 | tnt2 | tnt1 |
| 2024-12-23 13:32:20 +0100 | hc | (~hc@mail.hce.li) hc |
| 2024-12-23 13:35:05 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 13:35:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-23 13:35:49 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2024-12-23 13:41:36 +0100 | forell | (~forell@user/forell) (Ping timeout: 252 seconds) |
| 2024-12-23 13:43:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 13:44:49 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 265 seconds) |
| 2024-12-23 13:49:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-23 13:52:05 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 13:53:24 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2024-12-23 13:58:49 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2024-12-23 13:59:22 +0100 | madhavanmiui | (~madhavanm@2409:40f4:102a:b29d:8000::) |
| 2024-12-23 14:00:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 14:05:16 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 14:05:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 14:06:37 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-23 14:07:32 +0100 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2024-12-23 14:12:14 +0100 | madhavanmiui | (~madhavanm@2409:40f4:102a:b29d:8000::) (Quit: Quit) |
| 2024-12-23 14:14:25 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-23 14:14:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-23 14:16:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 14:20:26 +0100 | jero98772 | (~jero98772@2a00:1fa0:48a8:106e:59c5:719e:9cd2:863) (Read error: Connection reset by peer) |
| 2024-12-23 14:22:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 14:24:41 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-12-23 14:25:13 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-12-23 14:25:43 +0100 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde |
| 2024-12-23 14:32:45 +0100 | rvalue- | rvalue |
| 2024-12-23 14:33:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 14:33:51 +0100 | forell | (~forell@user/forell) forell |
| 2024-12-23 14:38:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-23 14:38:27 +0100 | manny_ | (~manny@45.134.142.209) |
| 2024-12-23 14:39:15 +0100 | jero98772 | (~jero98772@31.130.32.65) |
| 2024-12-23 14:41:21 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2024-12-23 14:42:25 +0100 | systemhalted | (~systemhal@130.51.137.77) systemhalted |
| 2024-12-23 14:42:26 +0100 | systemhalted | (~systemhal@130.51.137.77) (Read error: Connection reset by peer) |
| 2024-12-23 14:43:37 +0100 | hseg | (~gesh@46.120.21.36) |
| 2024-12-23 14:44:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 14:49:08 +0100 | manny_ | (~manny@45.134.142.209) (Quit: Quit) |
| 2024-12-23 14:51:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-23 14:52:40 +0100 | manny_ | (~quassel@45.134.142.209) |
| 2024-12-23 14:55:00 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-23 14:55:15 +0100 | manny_ | (~quassel@45.134.142.209) (Client Quit) |
| 2024-12-23 14:55:39 +0100 | manny_ | (~quassel@45.134.142.209) |
| 2024-12-23 14:57:46 +0100 | simplystuart | (~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 +0100 | merijn | (~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 +0100 | manny_ | (~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 +0100 | merijn | (~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 +0100 | son0p | (~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 +0100 | manny_ | (~manny@45.134.142.209) |
| 2024-12-23 15:13:06 +0100 | <JuanDaugherty> | a plethora of tolls exist for most fs tasks |
| 2024-12-23 15:13:16 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-23 15:13:45 +0100 | <haskellbridge> | <magic_rb> Oh yeah but this is like a general problem |
| 2024-12-23 15:14:02 +0100 | <haskellbridge> | <magic_rb> A lot of my project fall into the same category but slightly different context |
| 2024-12-23 15:14:13 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 248 seconds) |
| 2024-12-23 15:15:22 +0100 | jero98772 | (~jero98772@31.130.32.65) (Quit: leaving) |
| 2024-12-23 15:15:22 +0100 | <JuanDaugherty> | a nice UI for rsnapshot would be great |
| 2024-12-23 15:17:11 +0100 | <JuanDaugherty> | u could do plans for backup generations |
| 2024-12-23 15:17:41 +0100 | <JuanDaugherty> | less hazard more benefit |
| 2024-12-23 15:17:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-23 15:18:59 +0100 | <JuanDaugherty> | u could easily do better than apple timemachine |
| 2024-12-23 15:20:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 15:21:31 +0100 | <JuanDaugherty> | an issue with the bridge: part/leave doesn show |
| 2024-12-23 15:25:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 15:33:08 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-23 15:35:01 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-23 15:35:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 15:40:35 +0100 | manny_ | (~manny@45.134.142.209) (Quit: Quit) |
| 2024-12-23 15:40:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 15:41:53 +0100 | manny_ | (~manny@45.134.142.209) |
| 2024-12-23 15:43:14 +0100 | <JuanDaugherty> | and even better plans for a given restore where u would produce the command for a specified action (cp or rsync), doable, straightforward, safe and useful |
| 2024-12-23 15:44:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-23 15:45:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 15:48:48 +0100 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:540c:c3f1:d127:c67e) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2024-12-23 15:49:08 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog |
| 2024-12-23 15:50:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 15:52:41 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2024-12-23 15:54:18 +0100 | <haskellbridge> | <magic_rb> I want to have be able to manage a whole linux rootfs |
| 2024-12-23 15:54:30 +0100 | <haskellbridge> | <magic_rb> For nixos and rsync is not expressive enough probably |
| 2024-12-23 15:54:35 +0100 | <haskellbridge> | <magic_rb> Or itll be a pain |
| 2024-12-23 15:59:19 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-12-23 16:00:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2024-12-23 16:01:54 +0100 | Digitteknohippie | Digit |
| 2024-12-23 16:03:47 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-12-23 16:06:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 16:10:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-23 16:12:20 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2024-12-23 16:15:29 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34 |
| 2024-12-23 16:18:08 +0100 | manwithluck | (~manwithlu@194.177.28.164) (Read error: Connection reset by peer) |
| 2024-12-23 16:21:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 16:22:42 +0100 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2024-12-23 16:27:49 +0100 | manwithluck | (~manwithlu@194.177.28.164) (Remote host closed the connection) |
| 2024-12-23 16:28:27 +0100 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2024-12-23 16:28:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 16:30:07 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-12-23 16:30:37 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-12-23 16:36:30 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-12-23 16:37:10 +0100 | manny_ | (~manny@45.134.142.209) (Quit: Quit) |
| 2024-12-23 16:37:27 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-12-23 16:39:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 16:41:43 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-12-23 16:45:51 +0100 | manny__ | (~manny@static-68-235-46-164.cust.tzulo.com) |
| 2024-12-23 16:46:32 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) (Remote host closed the connection) |
| 2024-12-23 16:50:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 16:51:10 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-12-23 16:57:15 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2024-12-23 17:00:53 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-23 17:01:09 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 2024-12-23 17:01:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 17:03:45 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-23 17:03:52 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34 |
| 2024-12-23 17:06:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 17:06:19 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-23 17:06:51 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-23 17:06:51 +0100 | ljdarj1 | ljdarj |
| 2024-12-23 17:09:39 +0100 | pseudonymous__ | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-12-23 17:10:06 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-23 17:12:28 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 2024-12-23 17:16:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 17:19:52 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-23 17:21:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-23 17:27:27 +0100 | Me-me | (~me-me@user/me-me) (Quit: Disconnecting on purpose.) |
| 2024-12-23 17:27:33 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 248 seconds) |
| 2024-12-23 17:31:04 +0100 | Me-me | (~me-me@kc.randomserver.name) |
| 2024-12-23 17:32:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 17:33:59 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-23 17:37:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 17:39:12 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-23 17:47:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 17:52:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 17:55:00 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2024-12-23 18:02:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 18:07:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 18:18:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 18:22:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-23 18:23:32 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2024-12-23 18:29:17 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-12-23 18:33:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 18:38:02 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-23 18:39:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-23 18:40:16 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2024-12-23 18:40:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 18:43:15 +0100 | manwithluck | (~manwithlu@194.177.28.164) (Ping timeout: 244 seconds) |
| 2024-12-23 18:43:28 +0100 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2024-12-23 18:43:59 +0100 | <hellwolf> | mapM (compile_fn_dispatcher ind') fns <&> catMaybes |
| 2024-12-23 18:43:59 +0100 | <hellwolf> | ^-- is there way to rewrite this using mapMaybe |
| 2024-12-23 18:46:45 +0100 | <c_wraith> | not in base. |
| 2024-12-23 18:47:06 +0100 | <c_wraith> | you're looking for the wither function from the witherable package |
| 2024-12-23 18:48:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 18:48:36 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 18:48:50 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2024-12-23 18:48:50 +0100 | tnt2 | tnt1 |
| 2024-12-23 18:50:47 +0100 | <hellwolf> | huh, I can't tell what does that package do just from its name. |
| 2024-12-23 18:51:30 +0100 | <hololeap> | it generalizes mapMaybe to other applicatives besides lists |
| 2024-12-23 18:52:14 +0100 | <hellwolf> | i see |
| 2024-12-23 18:52:40 +0100 | <hellwolf> | btw, I just finished the latest haskell interlude podcast: https://haskell.foundation/podcast/60/ . good talk, recommended to listen in. |